019ba8a5-4c80-73d9-85e2-ab1c4f2c7270
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 |
|---|---|---|---|---|
| 32474 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32475 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32476 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32477 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32478 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32479 | detector.run | complete | 1 / 3 | 3 months ago |
| 32480 | 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 0x0113 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7cd0c9b6 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x93d00123 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x93d00123 0000002e: EQ 0000002f: PUSH2 0x034f 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa48c5eb1 00000039: EQ 0000003a: PUSH2 0x0385 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xbc43cbaf 00000044: EQ 00000045: PUSH2 0x03a4 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc89701a2 0000004f: EQ 00000050: PUSH2 0x03c3 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xe11013dd 0000005a: EQ 0000005b: PUSH2 0x03e2 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x7cd0c9b6 00000069: EQ 0000006a: PUSH2 0x0297 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x7f46ddb2 00000074: EQ 00000075: PUSH2 0x02b6 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x87087623 0000007f: EQ 00000080: PUSH2 0x02d3 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8f601f66 0000008a: EQ 0000008b: PUSH2 0x02f2 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x927ede2d 00000095: EQ 00000096: PUSH2 0x0332 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x3cb747bf 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x3cb747bf 000000af: EQ 000000b0: PUSH2 0x01dc 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x485cc955 000000ba: EQ 000000bb: PUSH2 0x01fb 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x540abf73 000000c5: EQ 000000c6: PUSH2 0x021a 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x54fd4d50 000000d0: EQ 000000d1: PUSH2 0x0239 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x5c975abb 000000db: EQ 000000dc: PUSH2 0x0276 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x0166a07a 000000ea: EQ 000000eb: PUSH2 0x0168 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x09fc8843 000000f5: EQ 000000f6: PUSH2 0x0187 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x1635f5fd 00000100: EQ 00000101: PUSH2 0x019a 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x35e80ab3 0000010b: EQ 0000010c: PUSH2 0x01ad 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x0164 00000118: JUMPI 00000119: PUSH2 0x0120 0000011c: PUSH2 0x03f5 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH2 0x0145 00000124: JUMPI 00000125: PUSH1 0x40 00000127: MLOAD 00000128: PUSH3 0x461bcd 0000012c: PUSH1 0xe5 0000012e: SHL 0000012f: DUP2 00000130: MSTORE 00000131: PUSH1 0x04 00000133: ADD 00000134: PUSH2 0x013c 00000137: SWAP1 00000138: PUSH2 0x1d10 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: DUP1 00000141: SWAP2 00000142: SUB 00000143: SWAP1 00000144: REVERT 00000145: JUMPDEST 00000146: PUSH2 0x0162 00000149: CALLER 0000014a: CALLER 0000014b: PUSH3 0x030d40 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: PUSH1 0x20 00000155: ADD 00000156: PUSH1 0x40 00000158: MSTORE 00000159: DUP1 0000015a: PUSH0 0000015b: DUP2 0000015c: MSTORE 0000015d: POP 0000015e: PUSH2 0x042f 00000161: JUMP 00000162: JUMPDEST 00000163: STOP 00000164: JUMPDEST 00000165: PUSH0 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0173 0000016f: JUMPI 00000170: PUSH0 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x0162 00000178: PUSH2 0x0182 0000017b: CALLDATASIZE 0000017c: PUSH1 0x04 0000017e: PUSH2 0x1dac 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x0442 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH2 0x0162 0000018b: PUSH2 0x0195 0000018e: CALLDATASIZE 0000018f: PUSH1 0x04 00000191: PUSH2 0x1e66 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH2 0x0658 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x0162 0000019e: PUSH2 0x01a8 000001a1: CALLDATASIZE 000001a2: PUSH1 0x04 000001a4: PUSH2 0x1ebc 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH2 0x06c3 000001ac: JUMP 000001ad: JUMPDEST 000001ae: CALLVALUE 000001af: DUP1 000001b0: ISZERO 000001b1: PUSH2 0x01b8 000001b4: JUMPI 000001b5: PUSH0 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH1 0x03 000001bc: SLOAD 000001bd: PUSH1 0x01 000001bf: PUSH1 0x01 000001c1: PUSH1 0xa0 000001c3: SHL 000001c4: SUB 000001c5: AND 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: PUSH2 0x01d3 000001cd: SWAP2 000001ce: SWAP1 000001cf: PUSH2 0x1f76 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: SWAP2 000001d9: SUB 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e7 000001e3: JUMPI 000001e4: PUSH0 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH1 0x01 000001eb: SLOAD 000001ec: PUSH2 0x01c6 000001ef: SWAP1 000001f0: PUSH1 0x01 000001f2: PUSH1 0x01 000001f4: PUSH1 0xa0 000001f6: SHL 000001f7: SUB 000001f8: AND 000001f9: DUP2 000001fa: JUMP 000001fb: JUMPDEST 000001fc: CALLVALUE 000001fd: DUP1 000001fe: ISZERO 000001ff: PUSH2 0x0206 00000202: JUMPI 00000203: PUSH0 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x0162 0000020b: PUSH2 0x0215 0000020e: CALLDATASIZE 0000020f: PUSH1 0x04 00000211: PUSH2 0x1fa2 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x088f 00000219: JUMP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0225 00000221: JUMPI 00000222: PUSH0 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: POP 00000227: PUSH2 0x0162 0000022a: PUSH2 0x0234 0000022d: CALLDATASIZE 0000022e: PUSH1 0x04 00000230: PUSH2 0x1fdc 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH2 0x09d9 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0244 00000240: JUMPI 00000241: PUSH0 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: POP 00000246: PUSH2 0x0269 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: PUSH1 0x40 0000024f: ADD 00000250: PUSH1 0x40 00000252: MSTORE 00000253: DUP1 00000254: PUSH1 0x05 00000256: DUP2 00000257: MSTORE 00000258: PUSH1 0x20 0000025a: ADD 0000025b: PUSH5 0x0322e332e3 00000261: PUSH1 0xdc 00000263: SHL 00000264: DUP2 00000265: MSTORE 00000266: POP 00000267: DUP2 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH2 0x01d3 00000270: SWAP2 00000271: SWAP1 00000272: PUSH2 0x2099 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0281 0000027d: JUMPI 0000027e: PUSH0 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x028a 00000286: PUSH2 0x0a1d 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: PUSH2 0x01d3 00000291: SWAP2 00000292: SWAP1 00000293: PUSH2 0x20b2 00000296: JUMP 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a2 0000029e: JUMPI 0000029f: PUSH0 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x0162 000002a7: PUSH2 0x02b1 000002aa: CALLDATASIZE 000002ab: PUSH1 0x04 000002ad: PUSH2 0x2132 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH2 0x0a8d 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c1 000002bd: JUMPI 000002be: PUSH0 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH1 0x02 000002c5: SLOAD 000002c6: PUSH1 0x01 000002c8: PUSH1 0x01 000002ca: PUSH1 0xa0 000002cc: SHL 000002cd: SUB 000002ce: AND 000002cf: PUSH2 0x01c6 000002d2: JUMP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02de 000002da: JUMPI 000002db: PUSH0 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x0162 000002e3: PUSH2 0x02ed 000002e6: CALLDATASIZE 000002e7: PUSH1 0x04 000002e9: PUSH2 0x221c 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0c2e 000002f1: JUMP 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: DUP1 000002f5: ISZERO 000002f6: PUSH2 0x02fd 000002f9: JUMPI 000002fa: PUSH0 000002fb: DUP1 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: PUSH2 0x0325 00000302: PUSH2 0x030c 00000305: CALLDATASIZE 00000306: PUSH1 0x04 00000308: PUSH2 0x22ab 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH0 0000030e: PUSH1 0x20 00000310: DUP2 00000311: DUP2 00000312: MSTORE 00000313: SWAP3 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x40 00000318: DUP1 00000319: DUP3 0000031a: KECCAK256 0000031b: SWAP1 0000031c: SWAP4 0000031d: MSTORE 0000031e: SWAP1 0000031f: DUP2 00000320: MSTORE 00000321: KECCAK256 00000322: SLOAD 00000323: DUP2 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x40 00000328: MLOAD 00000329: PUSH2 0x01d3 0000032c: SWAP2 0000032d: SWAP1 0000032e: PUSH2 0x22e1 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033d 00000339: JUMPI 0000033a: PUSH0 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: POP 0000033f: PUSH1 0x01 00000341: SLOAD 00000342: PUSH1 0x01 00000344: PUSH1 0x01 00000346: PUSH1 0xa0 00000348: SHL 00000349: SUB 0000034a: AND 0000034b: PUSH2 0x01c6 0000034e: JUMP 0000034f: JUMPDEST 00000350: CALLVALUE 00000351: DUP1 00000352: ISZERO 00000353: PUSH2 0x035a 00000356: JUMPI 00000357: PUSH0 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x0325 0000035f: PUSH2 0x0369 00000362: CALLDATASIZE 00000363: PUSH1 0x04 00000365: PUSH2 0x22ab 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH1 0x3f 0000036c: PUSH1 0x20 0000036e: SWAP1 0000036f: DUP2 00000370: MSTORE 00000371: PUSH0 00000372: SWAP3 00000373: DUP4 00000374: MSTORE 00000375: PUSH1 0x40 00000377: DUP1 00000378: DUP5 00000379: KECCAK256 0000037a: SWAP1 0000037b: SWAP2 0000037c: MSTORE 0000037d: SWAP1 0000037e: DUP3 0000037f: MSTORE 00000380: SWAP1 00000381: KECCAK256 00000382: SLOAD 00000383: DUP2 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: DUP1 00000388: ISZERO 00000389: PUSH2 0x0390 0000038c: JUMPI 0000038d: PUSH0 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH2 0x0162 00000395: PUSH2 0x039f 00000398: CALLDATASIZE 00000399: PUSH1 0x04 0000039b: PUSH2 0x2302 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x0c96 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03af 000003ab: JUMPI 000003ac: PUSH0 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH1 0x03 000003b3: SLOAD 000003b4: PUSH2 0x01c6 000003b7: SWAP1 000003b8: PUSH1 0x01 000003ba: PUSH1 0x01 000003bc: PUSH1 0xa0 000003be: SHL 000003bf: SUB 000003c0: AND 000003c1: DUP2 000003c2: JUMP 000003c3: JUMPDEST 000003c4: CALLVALUE 000003c5: DUP1 000003c6: ISZERO 000003c7: PUSH2 0x03ce 000003ca: JUMPI 000003cb: PUSH0 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH1 0x02 000003d2: SLOAD 000003d3: PUSH2 0x01c6 000003d6: SWAP1 000003d7: PUSH1 0x01 000003d9: PUSH1 0x01 000003db: PUSH1 0xa0 000003dd: SHL 000003de: SUB 000003df: AND 000003e0: DUP2 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH2 0x0162 000003e6: PUSH2 0x03f0 000003e9: CALLDATASIZE 000003ea: PUSH1 0x04 000003ec: PUSH2 0x2419 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH2 0x0ff0 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH0 000003f7: ORIGIN 000003f8: CALLER 000003f9: SUB 000003fa: PUSH2 0x0403 000003fd: JUMPI 000003fe: POP 000003ff: PUSH1 0x01 00000401: SWAP1 00000402: JUMP 00000403: JUMPDEST 00000404: CALLER 00000405: EXTCODESIZE 00000406: PUSH1 0x17 00000408: SUB 00000409: PUSH2 0x042a 0000040c: JUMPI 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: PUSH1 0x20 00000412: DUP2 00000413: ADD 00000414: PUSH1 0x40 00000416: MSTORE 00000417: PUSH1 0x20 00000419: PUSH0 0000041a: DUP3 0000041b: CALLER 0000041c: EXTCODECOPY 0000041d: MLOAD 0000041e: PUSH1 0xe8 00000420: SHR 00000421: PUSH3 0xef0100 00000425: EQ 00000426: SWAP1 00000427: POP 00000428: SWAP1 00000429: JUMP 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH0 0000042d: SWAP1 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x043c 00000433: DUP5 00000434: DUP5 00000435: CALLVALUE 00000436: DUP6 00000437: DUP6 00000438: PUSH2 0x1032 0000043b: JUMP 0000043c: JUMPDEST 0000043d: POP 0000043e: POP 0000043f: POP 00000440: POP 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x01 00000445: SLOAD 00000446: PUSH1 0x01 00000448: PUSH1 0x01 0000044a: PUSH1 0xa0 0000044c: SHL 0000044d: SUB 0000044e: AND 0000044f: CALLER 00000450: EQ 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x04d5 00000456: JUMPI 00000457: POP 00000458: PUSH1 0x02 0000045a: SLOAD 0000045b: PUSH1 0x01 0000045d: SLOAD 0000045e: PUSH1 0x40 00000460: DUP1 00000461: MLOAD 00000462: PUSH4 0x6e296e45 00000467: PUSH1 0xe0 00000469: SHL 0000046a: DUP2 0000046b: MSTORE 0000046c: SWAP1 0000046d: MLOAD 0000046e: PUSH1 0x01 00000470: PUSH1 0x01 00000472: PUSH1 0xa0 00000474: SHL 00000475: SUB 00000476: SWAP4 00000477: DUP5 00000478: AND 00000479: SWAP4 0000047a: SWAP1 0000047b: SWAP3 0000047c: AND 0000047d: SWAP2 0000047e: PUSH4 0x6e296e45 00000483: SWAP2 00000484: PUSH1 0x04 00000486: DUP1 00000487: DUP3 00000488: ADD 00000489: SWAP3 0000048a: PUSH1 0x20 0000048c: SWAP3 0000048d: SWAP1 0000048e: SWAP2 0000048f: SWAP1 00000490: DUP3 00000491: SWAP1 00000492: SUB 00000493: ADD 00000494: DUP2 00000495: DUP7 00000496: GAS 00000497: STATICCALL 00000498: ISZERO 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a6 0000049e: JUMPI 0000049f: RETURNDATASIZE 000004a0: PUSH0 000004a1: DUP1 000004a2: RETURNDATACOPY 000004a3: RETURNDATASIZE 000004a4: PUSH0 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: RETURNDATASIZE 000004af: PUSH1 0x1f 000004b1: NOT 000004b2: PUSH1 0x1f 000004b4: DUP3 000004b5: ADD 000004b6: AND 000004b7: DUP3 000004b8: ADD 000004b9: DUP1 000004ba: PUSH1 0x40 000004bc: MSTORE 000004bd: POP 000004be: DUP2 000004bf: ADD 000004c0: SWAP1 000004c1: PUSH2 0x04ca 000004c4: SWAP2 000004c5: SWAP1 000004c6: PUSH2 0x248c 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x01 000004cd: PUSH1 0x01 000004cf: PUSH1 0xa0 000004d1: SHL 000004d2: SUB 000004d3: AND 000004d4: EQ 000004d5: JUMPDEST 000004d6: PUSH2 0x04f1 000004d9: JUMPI 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: PUSH3 0x461bcd 000004e1: PUSH1 0xe5 000004e3: SHL 000004e4: DUP2 000004e5: MSTORE 000004e6: PUSH1 0x04 000004e8: ADD 000004e9: PUSH2 0x013c 000004ec: SWAP1 000004ed: PUSH2 0x2510 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH2 0x04f9 000004f5: PUSH2 0x0a1d 000004f8: JUMP 000004f9: JUMPDEST 000004fa: ISZERO 000004fb: PUSH2 0x0516 000004fe: JUMPI 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: PUSH3 0x461bcd 00000506: PUSH1 0xe5 00000508: SHL 00000509: DUP2 0000050a: MSTORE 0000050b: PUSH1 0x04 0000050d: ADD 0000050e: PUSH2 0x013c 00000511: SWAP1 00000512: PUSH2 0x2520 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH2 0x051f 0000051a: DUP8 0000051b: PUSH2 0x110b 0000051e: JUMP 0000051f: JUMPDEST 00000520: ISZERO 00000521: PUSH2 0x05aa 00000524: JUMPI 00000525: PUSH2 0x052e 00000528: DUP8 00000529: DUP8 0000052a: PUSH2 0x1123 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH2 0x054a 00000532: JUMPI 00000533: PUSH1 0x40 00000535: MLOAD 00000536: PUSH3 0x461bcd 0000053a: PUSH1 0xe5 0000053c: SHL 0000053d: DUP2 0000053e: MSTORE 0000053f: PUSH1 0x04 00000541: ADD 00000542: PUSH2 0x013c 00000545: SWAP1 00000546: PUSH2 0x25c0 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: PUSH4 0x40c10f19 00000553: PUSH1 0xe0 00000555: SHL 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x01 0000055a: PUSH1 0x01 0000055c: PUSH1 0xa0 0000055e: SHL 0000055f: SUB 00000560: DUP9 00000561: AND 00000562: SWAP1 00000563: PUSH4 0x40c10f19 00000568: SWAP1 00000569: PUSH2 0x0578 0000056c: SWAP1 0000056d: DUP8 0000056e: SWAP1 0000056f: DUP8 00000570: SWAP1 00000571: PUSH1 0x04 00000573: ADD 00000574: PUSH2 0x25d9 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH0 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: DUP4 0000057f: SUB 00000580: DUP2 00000581: PUSH0 00000582: DUP8 00000583: DUP1 00000584: EXTCODESIZE 00000585: ISZERO 00000586: DUP1 00000587: ISZERO 00000588: PUSH2 0x058f 0000058b: JUMPI 0000058c: PUSH0 0000058d: DUP1 0000058e: REVERT 0000058f: JUMPDEST 00000590: POP 00000591: GAS 00000592: CALL 00000593: ISZERO 00000594: DUP1 00000595: ISZERO 00000596: PUSH2 0x05a1 00000599: JUMPI 0000059a: RETURNDATASIZE 0000059b: PUSH0 0000059c: DUP1 0000059d: RETURNDATACOPY 0000059e: RETURNDATASIZE 0000059f: PUSH0 000005a0: REVERT 000005a1: JUMPDEST 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: PUSH2 0x060c 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x01 000005ad: PUSH1 0x01 000005af: PUSH1 0xa0 000005b1: SHL 000005b2: SUB 000005b3: DUP1 000005b4: DUP9 000005b5: AND 000005b6: PUSH0 000005b7: SWAP1 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: DUP2 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH1 0x40 000005c1: DUP1 000005c2: DUP4 000005c3: KECCAK256 000005c4: SWAP4 000005c5: DUP11 000005c6: AND 000005c7: DUP4 000005c8: MSTORE 000005c9: SWAP3 000005ca: SWAP1 000005cb: MSTORE 000005cc: KECCAK256 000005cd: SLOAD 000005ce: PUSH2 0x05d8 000005d1: SWAP1 000005d2: DUP5 000005d3: SWAP1 000005d4: PUSH2 0x2608 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x01 000005db: PUSH1 0x01 000005dd: PUSH1 0xa0 000005df: SHL 000005e0: SUB 000005e1: DUP1 000005e2: DUP10 000005e3: AND 000005e4: PUSH0 000005e5: DUP2 000005e6: DUP2 000005e7: MSTORE 000005e8: PUSH1 0x20 000005ea: DUP2 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x40 000005ef: DUP1 000005f0: DUP4 000005f1: KECCAK256 000005f2: SWAP5 000005f3: DUP13 000005f4: AND 000005f5: DUP4 000005f6: MSTORE 000005f7: SWAP4 000005f8: SWAP1 000005f9: MSTORE 000005fa: SWAP2 000005fb: SWAP1 000005fc: SWAP2 000005fd: KECCAK256 000005fe: SWAP2 000005ff: SWAP1 00000600: SWAP2 00000601: SSTORE 00000602: PUSH2 0x060c 00000605: SWAP1 00000606: DUP6 00000607: DUP6 00000608: PUSH2 0x11a0 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH2 0x064f 00000610: DUP8 00000611: DUP8 00000612: DUP8 00000613: DUP8 00000614: DUP8 00000615: DUP8 00000616: DUP8 00000617: DUP1 00000618: DUP1 00000619: PUSH1 0x1f 0000061b: ADD 0000061c: PUSH1 0x20 0000061e: DUP1 0000061f: SWAP2 00000620: DIV 00000621: MUL 00000622: PUSH1 0x20 00000624: ADD 00000625: PUSH1 0x40 00000627: MLOAD 00000628: SWAP1 00000629: DUP2 0000062a: ADD 0000062b: PUSH1 0x40 0000062d: MSTORE 0000062e: DUP1 0000062f: SWAP4 00000630: SWAP3 00000631: SWAP2 00000632: SWAP1 00000633: DUP2 00000634: DUP2 00000635: MSTORE 00000636: PUSH1 0x20 00000638: ADD 00000639: DUP4 0000063a: DUP4 0000063b: DUP1 0000063c: DUP3 0000063d: DUP5 0000063e: CALLDATACOPY 0000063f: PUSH0 00000640: SWAP3 00000641: ADD 00000642: SWAP2 00000643: SWAP1 00000644: SWAP2 00000645: MSTORE 00000646: POP 00000647: PUSH2 0x11f8 0000064a: SWAP3 0000064b: POP 0000064c: POP 0000064d: POP 0000064e: JUMP 0000064f: JUMPDEST 00000650: POP 00000651: POP 00000652: POP 00000653: POP 00000654: POP 00000655: POP 00000656: POP 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH2 0x0660 0000065c: PUSH2 0x03f5 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH2 0x067c 00000664: JUMPI 00000665: PUSH1 0x40 00000667: MLOAD 00000668: PUSH3 0x461bcd 0000066c: PUSH1 0xe5 0000066e: SHL 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x04 00000673: ADD 00000674: PUSH2 0x013c 00000677: SWAP1 00000678: PUSH2 0x1d10 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH2 0x06be 00000680: CALLER 00000681: CALLER 00000682: CALLVALUE 00000683: DUP7 00000684: DUP7 00000685: DUP7 00000686: DUP1 00000687: DUP1 00000688: PUSH1 0x1f 0000068a: ADD 0000068b: PUSH1 0x20 0000068d: DUP1 0000068e: SWAP2 0000068f: DIV 00000690: MUL 00000691: PUSH1 0x20 00000693: ADD 00000694: PUSH1 0x40 00000696: MLOAD 00000697: SWAP1 00000698: DUP2 00000699: ADD 0000069a: PUSH1 0x40 0000069c: MSTORE 0000069d: DUP1 0000069e: SWAP4 0000069f: SWAP3 000006a0: SWAP2 000006a1: SWAP1 000006a2: DUP2 000006a3: DUP2 000006a4: MSTORE 000006a5: PUSH1 0x20 000006a7: ADD 000006a8: DUP4 000006a9: DUP4 000006aa: DUP1 000006ab: DUP3 000006ac: DUP5 000006ad: CALLDATACOPY 000006ae: PUSH0 000006af: SWAP3 000006b0: ADD 000006b1: SWAP2 000006b2: SWAP1 000006b3: SWAP2 000006b4: MSTORE 000006b5: POP 000006b6: PUSH2 0x1032 000006b9: SWAP3 000006ba: POP 000006bb: POP 000006bc: POP 000006bd: JUMP 000006be: JUMPDEST 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x01 000006c6: SLOAD 000006c7: PUSH1 0x01 000006c9: PUSH1 0x01 000006cb: PUSH1 0xa0 000006cd: SHL 000006ce: SUB 000006cf: AND 000006d0: CALLER 000006d1: EQ 000006d2: DUP1 000006d3: ISZERO 000006d4: PUSH2 0x0756 000006d7: JUMPI 000006d8: POP 000006d9: PUSH1 0x02 000006db: SLOAD 000006dc: PUSH1 0x01 000006de: SLOAD 000006df: PUSH1 0x40 000006e1: DUP1 000006e2: MLOAD 000006e3: PUSH4 0x6e296e45 000006e8: PUSH1 0xe0 000006ea: SHL 000006eb: DUP2 000006ec: MSTORE 000006ed: SWAP1 000006ee: MLOAD 000006ef: PUSH1 0x01 000006f1: PUSH1 0x01 000006f3: PUSH1 0xa0 000006f5: SHL 000006f6: SUB 000006f7: SWAP4 000006f8: DUP5 000006f9: AND 000006fa: SWAP4 000006fb: SWAP1 000006fc: SWAP3 000006fd: AND 000006fe: SWAP2 000006ff: PUSH4 0x6e296e45 00000704: SWAP2 00000705: PUSH1 0x04 00000707: DUP1 00000708: DUP3 00000709: ADD 0000070a: SWAP3 0000070b: PUSH1 0x20 0000070d: SWAP3 0000070e: SWAP1 0000070f: SWAP2 00000710: SWAP1 00000711: DUP3 00000712: SWAP1 00000713: SUB 00000714: ADD 00000715: DUP2 00000716: DUP7 00000717: GAS 00000718: STATICCALL 00000719: ISZERO 0000071a: DUP1 0000071b: ISZERO 0000071c: PUSH2 0x0727 0000071f: JUMPI 00000720: RETURNDATASIZE 00000721: PUSH0 00000722: DUP1 00000723: RETURNDATACOPY 00000724: RETURNDATASIZE 00000725: PUSH0 00000726: REVERT 00000727: JUMPDEST 00000728: POP 00000729: POP 0000072a: POP 0000072b: POP 0000072c: PUSH1 0x40 0000072e: MLOAD 0000072f: RETURNDATASIZE 00000730: PUSH1 0x1f 00000732: NOT 00000733: PUSH1 0x1f 00000735: DUP3 00000736: ADD 00000737: AND 00000738: DUP3 00000739: ADD 0000073a: DUP1 0000073b: PUSH1 0x40 0000073d: MSTORE 0000073e: POP 0000073f: DUP2 00000740: ADD 00000741: SWAP1 00000742: PUSH2 0x074b 00000745: SWAP2 00000746: SWAP1 00000747: PUSH2 0x248c 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x01 0000074e: PUSH1 0x01 00000750: PUSH1 0xa0 00000752: SHL 00000753: SUB 00000754: AND 00000755: EQ 00000756: JUMPDEST 00000757: PUSH2 0x0772 0000075a: JUMPI 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: PUSH3 0x461bcd 00000762: PUSH1 0xe5 00000764: SHL 00000765: DUP2 00000766: MSTORE 00000767: PUSH1 0x04 00000769: ADD 0000076a: PUSH2 0x013c 0000076d: SWAP1 0000076e: PUSH2 0x2510 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH2 0x077a 00000776: PUSH2 0x0a1d 00000779: JUMP 0000077a: JUMPDEST 0000077b: ISZERO 0000077c: PUSH2 0x0797 0000077f: JUMPI 00000780: PUSH1 0x40 00000782: MLOAD 00000783: PUSH3 0x461bcd 00000787: PUSH1 0xe5 00000789: SHL 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x04 0000078e: ADD 0000078f: PUSH2 0x013c 00000792: SWAP1 00000793: PUSH2 0x2520 00000796: JUMP 00000797: JUMPDEST 00000798: DUP3 00000799: CALLVALUE 0000079a: EQ 0000079b: PUSH2 0x07b6 0000079e: JUMPI 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: PUSH3 0x461bcd 000007a6: PUSH1 0xe5 000007a8: SHL 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x04 000007ad: ADD 000007ae: PUSH2 0x013c 000007b1: SWAP1 000007b2: PUSH2 0x2674 000007b5: JUMP 000007b6: JUMPDEST 000007b7: ADDRESS 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: DUP6 000007c1: AND 000007c2: SUB 000007c3: PUSH2 0x07de 000007c6: JUMPI 000007c7: PUSH1 0x40 000007c9: MLOAD 000007ca: PUSH3 0x461bcd 000007ce: PUSH1 0xe5 000007d0: SHL 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x04 000007d5: ADD 000007d6: PUSH2 0x013c 000007d9: SWAP1 000007da: PUSH2 0x26c3 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x01 000007e1: SLOAD 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: SUB 000007ea: SWAP1 000007eb: DUP2 000007ec: AND 000007ed: SWAP1 000007ee: DUP6 000007ef: AND 000007f0: SUB 000007f1: PUSH2 0x080c 000007f4: JUMPI 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: PUSH3 0x461bcd 000007fc: PUSH1 0xe5 000007fe: SHL 000007ff: DUP2 00000800: MSTORE 00000801: PUSH1 0x04 00000803: ADD 00000804: PUSH2 0x013c 00000807: SWAP1 00000808: PUSH2 0x2717 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH2 0x084d 00000810: DUP6 00000811: DUP6 00000812: DUP6 00000813: DUP6 00000814: DUP6 00000815: DUP1 00000816: DUP1 00000817: PUSH1 0x1f 00000819: ADD 0000081a: PUSH1 0x20 0000081c: DUP1 0000081d: SWAP2 0000081e: DIV 0000081f: MUL 00000820: PUSH1 0x20 00000822: ADD 00000823: PUSH1 0x40 00000825: MLOAD 00000826: SWAP1 00000827: DUP2 00000828: ADD 00000829: PUSH1 0x40 0000082b: MSTORE 0000082c: DUP1 0000082d: SWAP4 0000082e: SWAP3 0000082f: SWAP2 00000830: SWAP1 00000831: DUP2 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x20 00000836: ADD 00000837: DUP4 00000838: DUP4 00000839: DUP1 0000083a: DUP3 0000083b: DUP5 0000083c: CALLDATACOPY 0000083d: PUSH0 0000083e: SWAP3 0000083f: ADD 00000840: SWAP2 00000841: SWAP1 00000842: SWAP2 00000843: MSTORE 00000844: POP 00000845: PUSH2 0x1259 00000848: SWAP3 00000849: POP 0000084a: POP 0000084b: POP 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH0 0000084f: PUSH2 0x0868 00000852: DUP6 00000853: GAS 00000854: DUP7 00000855: PUSH1 0x40 00000857: MLOAD 00000858: DUP1 00000859: PUSH1 0x20 0000085b: ADD 0000085c: PUSH1 0x40 0000085e: MSTORE 0000085f: DUP1 00000860: PUSH0 00000861: DUP2 00000862: MSTORE 00000863: POP 00000864: PUSH2 0x12ac 00000867: JUMP 00000868: JUMPDEST 00000869: SWAP1 0000086a: POP 0000086b: DUP1 0000086c: PUSH2 0x0887 0000086f: JUMPI 00000870: PUSH1 0x40 00000872: MLOAD 00000873: PUSH3 0x461bcd 00000877: PUSH1 0xe5 00000879: SHL 0000087a: DUP2 0000087b: MSTORE 0000087c: PUSH1 0x04 0000087e: ADD 0000087f: PUSH2 0x013c 00000882: SWAP1 00000883: PUSH2 0x2766 00000886: JUMP 00000887: JUMPDEST 00000888: POP 00000889: POP 0000088a: POP 0000088b: POP 0000088c: POP 0000088d: POP 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 000008b1: DUP1 000008b2: SLOAD 000008b3: PUSH1 0x01 000008b5: PUSH1 0x40 000008b7: SHL 000008b8: DUP2 000008b9: DIV 000008ba: PUSH1 0xff 000008bc: AND 000008bd: ISZERO 000008be: SWAP1 000008bf: PUSH1 0x01 000008c1: PUSH1 0x01 000008c3: PUSH1 0x40 000008c5: SHL 000008c6: SUB 000008c7: AND 000008c8: PUSH0 000008c9: DUP2 000008ca: ISZERO 000008cb: DUP1 000008cc: ISZERO 000008cd: PUSH2 0x08d3 000008d0: JUMPI 000008d1: POP 000008d2: DUP3 000008d3: JUMPDEST 000008d4: SWAP1 000008d5: POP 000008d6: PUSH0 000008d7: DUP3 000008d8: PUSH1 0x01 000008da: PUSH1 0x01 000008dc: PUSH1 0x40 000008de: SHL 000008df: SUB 000008e0: AND 000008e1: PUSH1 0x01 000008e3: EQ 000008e4: DUP1 000008e5: ISZERO 000008e6: PUSH2 0x08ee 000008e9: JUMPI 000008ea: POP 000008eb: ADDRESS 000008ec: EXTCODESIZE 000008ed: ISZERO 000008ee: JUMPDEST 000008ef: SWAP1 000008f0: POP 000008f1: DUP2 000008f2: ISZERO 000008f3: DUP1 000008f4: ISZERO 000008f5: PUSH2 0x08fc 000008f8: JUMPI 000008f9: POP 000008fa: DUP1 000008fb: ISZERO 000008fc: JUMPDEST 000008fd: ISZERO 000008fe: PUSH2 0x091a 00000901: JUMPI 00000902: PUSH1 0x40 00000904: MLOAD 00000905: PUSH4 0xf92ee8a9 0000090a: PUSH1 0xe0 0000090c: SHL 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x04 00000911: ADD 00000912: PUSH1 0x40 00000914: MLOAD 00000915: DUP1 00000916: SWAP2 00000917: SUB 00000918: SWAP1 00000919: REVERT 0000091a: JUMPDEST 0000091b: DUP5 0000091c: SLOAD 0000091d: PUSH8 0xffffffffffffffff 00000926: NOT 00000927: AND 00000928: PUSH1 0x01 0000092a: OR 0000092b: DUP6 0000092c: SSTORE 0000092d: DUP4 0000092e: ISZERO 0000092f: PUSH2 0x0944 00000932: JUMPI 00000933: DUP5 00000934: SLOAD 00000935: PUSH1 0xff 00000937: PUSH1 0x40 00000939: SHL 0000093a: NOT 0000093b: AND 0000093c: PUSH1 0x01 0000093e: PUSH1 0x40 00000940: SHL 00000941: OR 00000942: DUP6 00000943: SSTORE 00000944: JUMPDEST 00000945: PUSH1 0x01 00000947: DUP1 00000948: SLOAD 00000949: PUSH1 0x01 0000094b: PUSH1 0x01 0000094d: PUSH1 0xa0 0000094f: SHL 00000950: SUB 00000951: DUP10 00000952: DUP2 00000953: AND 00000954: PUSH1 0x01 00000956: PUSH1 0x01 00000958: PUSH1 0xa0 0000095a: SHL 0000095b: SUB 0000095c: NOT 0000095d: SWAP3 0000095e: DUP4 0000095f: AND 00000960: OR 00000961: SWAP1 00000962: SWAP3 00000963: SSTORE 00000964: PUSH1 0x02 00000966: DUP1 00000967: SLOAD 00000968: PUSH1 0x10 0000096a: PUSH1 0x21 0000096c: PUSH1 0x99 0000096e: SHL 0000096f: ADD 00000970: SWAP1 00000971: DUP4 00000972: AND 00000973: OR 00000974: SWAP1 00000975: SSTORE 00000976: PUSH1 0x03 00000978: DUP1 00000979: SLOAD 0000097a: SWAP3 0000097b: DUP10 0000097c: AND 0000097d: SWAP3 0000097e: SWAP1 0000097f: SWAP2 00000980: AND 00000981: SWAP2 00000982: SWAP1 00000983: SWAP2 00000984: OR 00000985: SWAP1 00000986: SSTORE 00000987: DUP4 00000988: ISZERO 00000989: PUSH2 0x064f 0000098c: JUMPI 0000098d: DUP5 0000098e: SLOAD 0000098f: PUSH1 0xff 00000991: PUSH1 0x40 00000993: SHL 00000994: NOT 00000995: AND 00000996: DUP6 00000997: SSTORE 00000998: PUSH1 0x40 0000099a: MLOAD 0000099b: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 000009bc: SWAP1 000009bd: PUSH2 0x09c8 000009c0: SWAP1 000009c1: PUSH1 0x01 000009c3: SWAP1 000009c4: PUSH2 0x2790 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: DUP1 000009cd: SWAP2 000009ce: SUB 000009cf: SWAP1 000009d0: LOG1 000009d1: POP 000009d2: POP 000009d3: POP 000009d4: POP 000009d5: POP 000009d6: POP 000009d7: POP 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH2 0x064f 000009dd: DUP8 000009de: DUP8 000009df: CALLER 000009e0: DUP9 000009e1: DUP9 000009e2: DUP9 000009e3: DUP9 000009e4: DUP9 000009e5: DUP1 000009e6: DUP1 000009e7: PUSH1 0x1f 000009e9: ADD 000009ea: PUSH1 0x20 000009ec: DUP1 000009ed: SWAP2 000009ee: DIV 000009ef: MUL 000009f0: PUSH1 0x20 000009f2: ADD 000009f3: PUSH1 0x40 000009f5: MLOAD 000009f6: SWAP1 000009f7: DUP2 000009f8: ADD 000009f9: PUSH1 0x40 000009fb: MSTORE 000009fc: DUP1 000009fd: SWAP4 000009fe: SWAP3 000009ff: SWAP2 00000a00: SWAP1 00000a01: DUP2 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x20 00000a06: ADD 00000a07: DUP4 00000a08: DUP4 00000a09: DUP1 00000a0a: DUP3 00000a0b: DUP5 00000a0c: CALLDATACOPY 00000a0d: PUSH0 00000a0e: SWAP3 00000a0f: ADD 00000a10: SWAP2 00000a11: SWAP1 00000a12: SWAP2 00000a13: MSTORE 00000a14: POP 00000a15: PUSH2 0x12c6 00000a18: SWAP3 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x03 00000a20: SLOAD 00000a21: PUSH1 0x40 00000a23: DUP1 00000a24: MLOAD 00000a25: PUSH4 0x5c975abb 00000a2a: PUSH1 0xe0 00000a2c: SHL 00000a2d: DUP2 00000a2e: MSTORE 00000a2f: SWAP1 00000a30: MLOAD 00000a31: PUSH0 00000a32: SWAP3 00000a33: PUSH1 0x01 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: SHL 00000a3a: SUB 00000a3b: AND 00000a3c: SWAP2 00000a3d: PUSH4 0x5c975abb 00000a42: SWAP2 00000a43: PUSH1 0x04 00000a45: DUP1 00000a46: DUP4 00000a47: ADD 00000a48: SWAP3 00000a49: PUSH1 0x20 00000a4b: SWAP3 00000a4c: SWAP2 00000a4d: SWAP1 00000a4e: DUP3 00000a4f: SWAP1 00000a50: SUB 00000a51: ADD 00000a52: DUP2 00000a53: DUP7 00000a54: GAS 00000a55: STATICCALL 00000a56: ISZERO 00000a57: DUP1 00000a58: ISZERO 00000a59: PUSH2 0x0a64 00000a5c: JUMPI 00000a5d: RETURNDATASIZE 00000a5e: PUSH0 00000a5f: DUP1 00000a60: RETURNDATACOPY 00000a61: RETURNDATASIZE 00000a62: PUSH0 00000a63: REVERT 00000a64: JUMPDEST 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: RETURNDATASIZE 00000a6d: PUSH1 0x1f 00000a6f: NOT 00000a70: PUSH1 0x1f 00000a72: DUP3 00000a73: ADD 00000a74: AND 00000a75: DUP3 00000a76: ADD 00000a77: DUP1 00000a78: PUSH1 0x40 00000a7a: MSTORE 00000a7b: POP 00000a7c: DUP2 00000a7d: ADD 00000a7e: SWAP1 00000a7f: PUSH2 0x0a88 00000a82: SWAP2 00000a83: SWAP1 00000a84: PUSH2 0x27a9 00000a87: JUMP 00000a88: JUMPDEST 00000a89: SWAP1 00000a8a: POP 00000a8b: SWAP1 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: PUSH2 0x0a95 00000a91: PUSH2 0x147d 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH2 0x0a9e 00000a99: DUP8 00000a9a: PUSH2 0x14c7 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH2 0x0ab7 00000aa2: DUP10 00000aa3: DUP8 00000aa4: PUSH2 0x0aad 00000aa7: DUP8 00000aa8: DUP10 00000aa9: PUSH2 0x294d 00000aac: JUMP 00000aad: JUMPDEST 00000aae: DUP11 00000aaf: PUSH1 0x20 00000ab1: ADD 00000ab2: CALLDATALOAD 00000ab3: PUSH2 0x166f 00000ab6: JUMP 00000ab7: JUMPDEST 00000ab8: PUSH0 00000ab9: PUSH2 0x0ac2 00000abc: CALLER 00000abd: DUP11 00000abe: PUSH2 0x1707 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: SWAP1 00000ac4: POP 00000ac5: PUSH2 0x0add 00000ac8: DUP2 00000ac9: DUP6 00000aca: PUSH2 0x0ad3 00000acd: DUP6 00000ace: DUP8 00000acf: PUSH2 0x294d 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: DUP11 00000ad5: PUSH1 0x40 00000ad7: ADD 00000ad8: CALLDATALOAD 00000ad9: PUSH2 0x1783 00000adc: JUMP 00000add: JUMPDEST 00000ade: CALLER 00000adf: PUSH0 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x3f 00000ae5: PUSH1 0x20 00000ae7: SWAP1 00000ae8: DUP2 00000ae9: MSTORE 00000aea: PUSH1 0x40 00000aec: DUP1 00000aed: DUP4 00000aee: KECCAK256 00000aef: PUSH1 0x01 00000af1: PUSH1 0x01 00000af3: PUSH1 0xa0 00000af5: SHL 00000af6: SUB 00000af7: DUP15 00000af8: AND 00000af9: DUP5 00000afa: MSTORE 00000afb: SWAP1 00000afc: SWAP2 00000afd: MSTORE 00000afe: DUP2 00000aff: KECCAK256 00000b00: DUP1 00000b01: SLOAD 00000b02: DUP7 00000b03: SWAP3 00000b04: SWAP1 00000b05: PUSH2 0x0b0f 00000b08: SWAP1 00000b09: DUP5 00000b0a: SWAP1 00000b0b: PUSH2 0x2959 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: SWAP1 00000b11: SWAP2 00000b12: SSTORE 00000b13: POP 00000b14: POP 00000b15: CALLER 00000b16: PUSH0 00000b17: SWAP1 00000b18: DUP2 00000b19: MSTORE 00000b1a: PUSH1 0x3f 00000b1c: PUSH1 0x20 00000b1e: SWAP1 00000b1f: DUP2 00000b20: MSTORE 00000b21: PUSH1 0x40 00000b23: DUP1 00000b24: DUP4 00000b25: KECCAK256 00000b26: PUSH1 0x01 00000b28: PUSH1 0x01 00000b2a: PUSH1 0xa0 00000b2c: SHL 00000b2d: SUB 00000b2e: DUP15 00000b2f: AND 00000b30: DUP5 00000b31: MSTORE 00000b32: SWAP1 00000b33: SWAP2 00000b34: MSTORE 00000b35: SWAP1 00000b36: KECCAK256 00000b37: SLOAD 00000b38: DUP5 00000b39: EQ 00000b3a: PUSH2 0x0b55 00000b3d: JUMPI 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: PUSH3 0x461bcd 00000b45: PUSH1 0xe5 00000b47: SHL 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH1 0x04 00000b4c: ADD 00000b4d: PUSH2 0x013c 00000b50: SWAP1 00000b51: PUSH2 0x29b1 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x01 00000b58: PUSH1 0x01 00000b5a: PUSH1 0xa0 00000b5c: SHL 00000b5d: SUB 00000b5e: DUP1 00000b5f: DUP13 00000b60: AND 00000b61: PUSH0 00000b62: SWAP1 00000b63: DUP2 00000b64: MSTORE 00000b65: PUSH1 0x20 00000b67: DUP2 00000b68: DUP2 00000b69: MSTORE 00000b6a: PUSH1 0x40 00000b6c: DUP1 00000b6d: DUP4 00000b6e: KECCAK256 00000b6f: SWAP4 00000b70: DUP15 00000b71: AND 00000b72: DUP4 00000b73: MSTORE 00000b74: SWAP3 00000b75: SWAP1 00000b76: MSTORE 00000b77: SWAP1 00000b78: DUP2 00000b79: KECCAK256 00000b7a: DUP1 00000b7b: SLOAD 00000b7c: DUP7 00000b7d: SWAP3 00000b7e: SWAP1 00000b7f: PUSH2 0x0b89 00000b82: SWAP1 00000b83: DUP5 00000b84: SWAP1 00000b85: PUSH2 0x2608 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: SWAP1 00000b8b: SWAP2 00000b8c: SSTORE 00000b8d: POP 00000b8e: PUSH2 0x0ba3 00000b91: SWAP1 00000b92: POP 00000b93: PUSH1 0x01 00000b95: PUSH1 0x01 00000b97: PUSH1 0xa0 00000b99: SHL 00000b9a: SUB 00000b9b: DUP13 00000b9c: AND 00000b9d: CALLER 00000b9e: DUP7 00000b9f: PUSH2 0x11a0 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: DUP10 00000ba5: PUSH1 0x01 00000ba7: PUSH1 0x01 00000ba9: PUSH1 0xa0 00000bab: SHL 00000bac: SUB 00000bad: AND 00000bae: DUP12 00000baf: PUSH1 0x01 00000bb1: PUSH1 0x01 00000bb3: PUSH1 0xa0 00000bb5: SHL 00000bb6: SUB 00000bb7: AND 00000bb8: CALLER 00000bb9: PUSH1 0x01 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0xa0 00000bbf: SHL 00000bc0: SUB 00000bc1: AND 00000bc2: PUSH32 0x652680593818ce2767e3068aa2ca7b3946bb4fc772840f22294d2984580c12c5 00000be3: DUP8 00000be4: PUSH1 0x40 00000be6: MLOAD 00000be7: PUSH2 0x0bf0 00000bea: SWAP2 00000beb: SWAP1 00000bec: PUSH2 0x22e1 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH1 0x40 00000bf3: MLOAD 00000bf4: DUP1 00000bf5: SWAP2 00000bf6: SUB 00000bf7: SWAP1 00000bf8: LOG4 00000bf9: POP 00000bfa: PUSH2 0x0c22 00000bfd: PUSH1 0x01 00000bff: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000c20: SSTORE 00000c21: JUMP 00000c22: JUMPDEST 00000c23: POP 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: POP 00000c28: POP 00000c29: POP 00000c2a: POP 00000c2b: POP 00000c2c: POP 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH2 0x0c36 00000c32: PUSH2 0x03f5 00000c35: JUMP 00000c36: JUMPDEST 00000c37: PUSH2 0x0c52 00000c3a: JUMPI 00000c3b: PUSH1 0x40 00000c3d: MLOAD 00000c3e: PUSH3 0x461bcd 00000c42: PUSH1 0xe5 00000c44: SHL 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x04 00000c49: ADD 00000c4a: PUSH2 0x013c 00000c4d: SWAP1 00000c4e: PUSH2 0x1d10 00000c51: JUMP 00000c52: JUMPDEST 00000c53: PUSH2 0x0887 00000c56: DUP7 00000c57: DUP7 00000c58: CALLER 00000c59: CALLER 00000c5a: DUP9 00000c5b: DUP9 00000c5c: DUP9 00000c5d: DUP9 00000c5e: DUP1 00000c5f: DUP1 00000c60: PUSH1 0x1f 00000c62: ADD 00000c63: PUSH1 0x20 00000c65: DUP1 00000c66: SWAP2 00000c67: DIV 00000c68: MUL 00000c69: PUSH1 0x20 00000c6b: ADD 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: SWAP1 00000c70: DUP2 00000c71: ADD 00000c72: PUSH1 0x40 00000c74: MSTORE 00000c75: DUP1 00000c76: SWAP4 00000c77: SWAP3 00000c78: SWAP2 00000c79: SWAP1 00000c7a: DUP2 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x20 00000c7f: ADD 00000c80: DUP4 00000c81: DUP4 00000c82: DUP1 00000c83: DUP3 00000c84: DUP5 00000c85: CALLDATACOPY 00000c86: PUSH0 00000c87: SWAP3 00000c88: ADD 00000c89: SWAP2 00000c8a: SWAP1 00000c8b: SWAP2 00000c8c: MSTORE 00000c8d: POP 00000c8e: PUSH2 0x12c6 00000c91: SWAP3 00000c92: POP 00000c93: POP 00000c94: POP 00000c95: JUMP 00000c96: JUMPDEST 00000c97: PUSH2 0x0c9e 00000c9a: PUSH2 0x147d 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH2 0x0ca7 00000ca2: DUP9 00000ca3: PUSH2 0x14c7 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: PUSH2 0x0cc0 00000cab: DUP11 00000cac: DUP9 00000cad: PUSH2 0x0cb6 00000cb0: DUP9 00000cb1: DUP11 00000cb2: PUSH2 0x294d 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: DUP12 00000cb8: PUSH1 0x20 00000cba: ADD 00000cbb: CALLDATALOAD 00000cbc: PUSH2 0x166f 00000cbf: JUMP 00000cc0: JUMPDEST 00000cc1: PUSH2 0x0ce4 00000cc4: PUSH2 0x0cd9 00000cc7: PUSH2 0x0cd3 00000cca: PUSH1 0x20 00000ccc: DUP5 00000ccd: ADD 00000cce: DUP5 00000ccf: PUSH2 0x29c1 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: DUP12 00000cd5: PUSH2 0x1707 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: DUP6 00000cdb: PUSH2 0x0ad3 00000cde: DUP6 00000cdf: DUP8 00000ce0: PUSH2 0x294d 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: PUSH0 00000ce6: DUP1 00000ce7: PUSH2 0x0cee 00000cea: PUSH2 0x181b 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x01 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0xa0 00000cf5: SHL 00000cf6: SUB 00000cf7: AND 00000cf8: PUSH4 0xb93793e9 00000cfd: PUSH2 0x0d09 00000d00: PUSH1 0x20 00000d02: DUP7 00000d03: ADD 00000d04: DUP7 00000d05: PUSH2 0x29c1 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x40 00000d0c: MLOAD 00000d0d: DUP3 00000d0e: PUSH4 0xffffffff 00000d13: AND 00000d14: PUSH1 0xe0 00000d16: SHL 00000d17: DUP2 00000d18: MSTORE 00000d19: PUSH1 0x04 00000d1b: ADD 00000d1c: PUSH2 0x0d25 00000d1f: SWAP2 00000d20: SWAP1 00000d21: PUSH2 0x29df 00000d24: JUMP 00000d25: JUMPDEST 00000d26: PUSH1 0x20 00000d28: PUSH1 0x40 00000d2a: MLOAD 00000d2b: DUP1 00000d2c: DUP4 00000d2d: SUB 00000d2e: DUP2 00000d2f: DUP7 00000d30: GAS 00000d31: STATICCALL 00000d32: ISZERO 00000d33: DUP1 00000d34: ISZERO 00000d35: PUSH2 0x0d40 00000d38: JUMPI 00000d39: RETURNDATASIZE 00000d3a: PUSH0 00000d3b: DUP1 00000d3c: RETURNDATACOPY 00000d3d: RETURNDATASIZE 00000d3e: PUSH0 00000d3f: REVERT 00000d40: JUMPDEST 00000d41: POP 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: PUSH1 0x40 00000d47: MLOAD 00000d48: RETURNDATASIZE 00000d49: PUSH1 0x1f 00000d4b: NOT 00000d4c: PUSH1 0x1f 00000d4e: DUP3 00000d4f: ADD 00000d50: AND 00000d51: DUP3 00000d52: ADD 00000d53: DUP1 00000d54: PUSH1 0x40 00000d56: MSTORE 00000d57: POP 00000d58: DUP2 00000d59: ADD 00000d5a: SWAP1 00000d5b: PUSH2 0x0d64 00000d5e: SWAP2 00000d5f: SWAP1 00000d60: PUSH2 0x248c 00000d63: JUMP 00000d64: JUMPDEST 00000d65: SWAP1 00000d66: POP 00000d67: PUSH1 0x01 00000d69: PUSH1 0x01 00000d6b: PUSH1 0xa0 00000d6d: SHL 00000d6e: SUB 00000d6f: DUP2 00000d70: AND 00000d71: PUSH2 0x0d8c 00000d74: JUMPI 00000d75: PUSH1 0x40 00000d77: MLOAD 00000d78: PUSH3 0x461bcd 00000d7c: PUSH1 0xe5 00000d7e: SHL 00000d7f: DUP2 00000d80: MSTORE 00000d81: PUSH1 0x04 00000d83: ADD 00000d84: PUSH2 0x013c 00000d87: SWAP1 00000d88: PUSH2 0x2a3a 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: PUSH1 0x01 00000d8f: PUSH1 0x01 00000d91: PUSH1 0xa0 00000d93: SHL 00000d94: SUB 00000d95: DUP2 00000d96: AND 00000d97: PUSH4 0x4ce3d5c5 00000d9c: CALLER 00000d9d: DUP15 00000d9e: PUSH1 0x20 00000da0: DUP1 00000da1: DUP16 00000da2: ADD 00000da3: CALLDATALOAD 00000da4: SWAP1 00000da5: PUSH2 0x0db0 00000da8: SWAP1 00000da9: DUP10 00000daa: ADD 00000dab: DUP10 00000dac: PUSH2 0x2a4a 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x40 00000db3: MLOAD 00000db4: DUP7 00000db5: PUSH4 0xffffffff 00000dba: AND 00000dbb: PUSH1 0xe0 00000dbd: SHL 00000dbe: DUP2 00000dbf: MSTORE 00000dc0: PUSH1 0x04 00000dc2: ADD 00000dc3: PUSH2 0x0dd0 00000dc6: SWAP6 00000dc7: SWAP5 00000dc8: SWAP4 00000dc9: SWAP3 00000dca: SWAP2 00000dcb: SWAP1 00000dcc: PUSH2 0x2ac6 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: PUSH1 0x20 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: DUP1 00000dd7: DUP4 00000dd8: SUB 00000dd9: DUP2 00000dda: PUSH0 00000ddb: DUP8 00000ddc: GAS 00000ddd: CALL 00000dde: ISZERO 00000ddf: DUP1 00000de0: ISZERO 00000de1: PUSH2 0x0dec 00000de4: JUMPI 00000de5: RETURNDATASIZE 00000de6: PUSH0 00000de7: DUP1 00000de8: RETURNDATACOPY 00000de9: RETURNDATASIZE 00000dea: PUSH0 00000deb: REVERT 00000dec: JUMPDEST 00000ded: POP 00000dee: POP 00000def: POP 00000df0: POP 00000df1: PUSH1 0x40 00000df3: MLOAD 00000df4: RETURNDATASIZE 00000df5: PUSH1 0x1f 00000df7: NOT 00000df8: PUSH1 0x1f 00000dfa: DUP3 00000dfb: ADD 00000dfc: AND 00000dfd: DUP3 00000dfe: ADD 00000dff: DUP1 00000e00: PUSH1 0x40 00000e02: MSTORE 00000e03: POP 00000e04: DUP2 00000e05: ADD 00000e06: SWAP1 00000e07: PUSH2 0x0e10 00000e0a: SWAP2 00000e0b: SWAP1 00000e0c: PUSH2 0x2b0c 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: SWAP2 00000e12: POP 00000e13: DUP2 00000e14: SWAP1 00000e15: POP 00000e16: PUSH1 0x3f 00000e18: PUSH0 00000e19: PUSH2 0x0e25 00000e1c: PUSH1 0x20 00000e1e: DUP7 00000e1f: ADD 00000e20: DUP7 00000e21: PUSH2 0x29c1 00000e24: JUMP 00000e25: JUMPDEST 00000e26: PUSH1 0x01 00000e28: PUSH1 0x01 00000e2a: PUSH1 0xa0 00000e2c: SHL 00000e2d: SUB 00000e2e: AND 00000e2f: PUSH1 0x01 00000e31: PUSH1 0x01 00000e33: PUSH1 0xa0 00000e35: SHL 00000e36: SUB 00000e37: AND 00000e38: DUP2 00000e39: MSTORE 00000e3a: PUSH1 0x20 00000e3c: ADD 00000e3d: SWAP1 00000e3e: DUP2 00000e3f: MSTORE 00000e40: PUSH1 0x20 00000e42: ADD 00000e43: PUSH0 00000e44: KECCAK256 00000e45: PUSH0 00000e46: DUP14 00000e47: PUSH1 0x01 00000e49: PUSH1 0x01 00000e4b: PUSH1 0xa0 00000e4d: SHL 00000e4e: SUB 00000e4f: AND 00000e50: PUSH1 0x01 00000e52: PUSH1 0x01 00000e54: PUSH1 0xa0 00000e56: SHL 00000e57: SUB 00000e58: AND 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x20 00000e5d: ADD 00000e5e: SWAP1 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x20 00000e63: ADD 00000e64: PUSH0 00000e65: KECCAK256 00000e66: PUSH0 00000e67: DUP3 00000e68: DUP3 00000e69: SLOAD 00000e6a: PUSH2 0x0e73 00000e6d: SWAP2 00000e6e: SWAP1 00000e6f: PUSH2 0x2959 00000e72: JUMP 00000e73: JUMPDEST 00000e74: SWAP1 00000e75: SWAP2 00000e76: SSTORE 00000e77: POP 00000e78: POP 00000e79: DUP5 00000e7a: DUP2 00000e7b: GT 00000e7c: ISZERO 00000e7d: PUSH2 0x0e98 00000e80: JUMPI 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: PUSH3 0x461bcd 00000e88: PUSH1 0xe5 00000e8a: SHL 00000e8b: DUP2 00000e8c: MSTORE 00000e8d: PUSH1 0x04 00000e8f: ADD 00000e90: PUSH2 0x013c 00000e93: SWAP1 00000e94: PUSH2 0x2b74 00000e97: JUMP 00000e98: JUMPDEST 00000e99: DUP5 00000e9a: PUSH1 0x3f 00000e9c: PUSH0 00000e9d: PUSH2 0x0ea9 00000ea0: PUSH1 0x20 00000ea2: DUP7 00000ea3: ADD 00000ea4: DUP7 00000ea5: PUSH2 0x29c1 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x01 00000eac: PUSH1 0x01 00000eae: PUSH1 0xa0 00000eb0: SHL 00000eb1: SUB 00000eb2: AND 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0xa0 00000eb9: SHL 00000eba: SUB 00000ebb: AND 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x20 00000ec0: ADD 00000ec1: SWAP1 00000ec2: DUP2 00000ec3: MSTORE 00000ec4: PUSH1 0x20 00000ec6: ADD 00000ec7: PUSH0 00000ec8: KECCAK256 00000ec9: PUSH0 00000eca: DUP14 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0x01 00000ecf: PUSH1 0xa0 00000ed1: SHL 00000ed2: SUB 00000ed3: AND 00000ed4: PUSH1 0x01 00000ed6: PUSH1 0x01 00000ed8: PUSH1 0xa0 00000eda: SHL 00000edb: SUB 00000edc: AND 00000edd: DUP2 00000ede: MSTORE 00000edf: PUSH1 0x20 00000ee1: ADD 00000ee2: SWAP1 00000ee3: DUP2 00000ee4: MSTORE 00000ee5: PUSH1 0x20 00000ee7: ADD 00000ee8: PUSH0 00000ee9: KECCAK256 00000eea: SLOAD 00000eeb: GT 00000eec: ISZERO 00000eed: PUSH2 0x0f08 00000ef0: JUMPI 00000ef1: PUSH1 0x40 00000ef3: MLOAD 00000ef4: PUSH3 0x461bcd 00000ef8: PUSH1 0xe5 00000efa: SHL 00000efb: DUP2 00000efc: MSTORE 00000efd: PUSH1 0x04 00000eff: ADD 00000f00: PUSH2 0x013c 00000f03: SWAP1 00000f04: PUSH2 0x29b1 00000f07: JUMP 00000f08: JUMPDEST 00000f09: PUSH1 0x01 00000f0b: PUSH1 0x01 00000f0d: PUSH1 0xa0 00000f0f: SHL 00000f10: SUB 00000f11: DUP1 00000f12: DUP14 00000f13: AND 00000f14: PUSH0 00000f15: SWAP1 00000f16: DUP2 00000f17: MSTORE 00000f18: PUSH1 0x20 00000f1a: DUP2 00000f1b: DUP2 00000f1c: MSTORE 00000f1d: PUSH1 0x40 00000f1f: DUP1 00000f20: DUP4 00000f21: KECCAK256 00000f22: SWAP4 00000f23: DUP16 00000f24: AND 00000f25: DUP4 00000f26: MSTORE 00000f27: SWAP3 00000f28: SWAP1 00000f29: MSTORE 00000f2a: SWAP1 00000f2b: DUP2 00000f2c: KECCAK256 00000f2d: DUP1 00000f2e: SLOAD 00000f2f: DUP4 00000f30: SWAP3 00000f31: SWAP1 00000f32: PUSH2 0x0f3c 00000f35: SWAP1 00000f36: DUP5 00000f37: SWAP1 00000f38: PUSH2 0x2608 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: SWAP1 00000f3e: SWAP2 00000f3f: SSTORE 00000f40: POP 00000f41: PUSH2 0x0f56 00000f44: SWAP1 00000f45: POP 00000f46: PUSH1 0x01 00000f48: PUSH1 0x01 00000f4a: PUSH1 0xa0 00000f4c: SHL 00000f4d: SUB 00000f4e: DUP14 00000f4f: AND 00000f50: CALLER 00000f51: DUP4 00000f52: PUSH2 0x11a0 00000f55: JUMP 00000f56: JUMPDEST 00000f57: PUSH1 0x01 00000f59: PUSH1 0x01 00000f5b: PUSH1 0xa0 00000f5d: SHL 00000f5e: SUB 00000f5f: DUP13 00000f60: AND 00000f61: PUSH2 0x0f6d 00000f64: PUSH1 0x20 00000f66: DUP5 00000f67: ADD 00000f68: DUP5 00000f69: PUSH2 0x29c1 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: PUSH1 0x01 00000f70: PUSH1 0x01 00000f72: PUSH1 0xa0 00000f74: SHL 00000f75: SUB 00000f76: AND 00000f77: CALLER 00000f78: PUSH1 0x01 00000f7a: PUSH1 0x01 00000f7c: PUSH1 0xa0 00000f7e: SHL 00000f7f: SUB 00000f80: AND 00000f81: PUSH32 0xd5b60084fa1b7e17f3a8a160c5ab0eaa4cdf2c5b95254e49f1f10397fb129c52 00000fa2: DUP15 00000fa3: DUP6 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: PUSH2 0x0fb1 00000faa: SWAP3 00000fab: SWAP2 00000fac: SWAP1 00000fad: PUSH2 0x25d9 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH1 0x40 00000fb4: MLOAD 00000fb5: DUP1 00000fb6: SWAP2 00000fb7: SUB 00000fb8: SWAP1 00000fb9: LOG4 00000fba: POP 00000fbb: PUSH2 0x0fe3 00000fbe: PUSH1 0x01 00000fc0: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000fe1: SSTORE 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: POP 00000fe5: POP 00000fe6: POP 00000fe7: POP 00000fe8: POP 00000fe9: POP 00000fea: POP 00000feb: POP 00000fec: POP 00000fed: POP 00000fee: POP 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH2 0x043c 00000ff4: CALLER 00000ff5: DUP6 00000ff6: CALLVALUE 00000ff7: DUP7 00000ff8: DUP7 00000ff9: DUP7 00000ffa: DUP1 00000ffb: DUP1 00000ffc: PUSH1 0x1f 00000ffe: ADD 00000fff: PUSH1 0x20 00001001: DUP1 00001002: SWAP2 00001003: DIV 00001004: MUL 00001005: PUSH1 0x20 00001007: ADD 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: SWAP1 0000100c: DUP2 0000100d: ADD 0000100e: PUSH1 0x40 00001010: MSTORE 00001011: DUP1 00001012: SWAP4 00001013: SWAP3 00001014: SWAP2 00001015: SWAP1 00001016: DUP2 00001017: DUP2 00001018: MSTORE 00001019: PUSH1 0x20 0000101b: ADD 0000101c: DUP4 0000101d: DUP4 0000101e: DUP1 0000101f: DUP3 00001020: DUP5 00001021: CALLDATACOPY 00001022: PUSH0 00001023: SWAP3 00001024: ADD 00001025: SWAP2 00001026: SWAP1 00001027: SWAP2 00001028: MSTORE 00001029: POP 0000102a: PUSH2 0x1032 0000102d: SWAP3 0000102e: POP 0000102f: POP 00001030: POP 00001031: JUMP 00001032: JUMPDEST 00001033: DUP3 00001034: CALLVALUE 00001035: EQ 00001036: PUSH2 0x1051 00001039: JUMPI 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: PUSH3 0x461bcd 00001041: PUSH1 0xe5 00001043: SHL 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x04 00001048: ADD 00001049: PUSH2 0x013c 0000104c: SWAP1 0000104d: PUSH2 0x2bdd 00001050: JUMP 00001051: JUMPDEST 00001052: PUSH2 0x105d 00001055: DUP6 00001056: DUP6 00001057: DUP6 00001058: DUP5 00001059: PUSH2 0x18e5 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x01 00001060: SLOAD 00001061: PUSH1 0x02 00001063: SLOAD 00001064: PUSH1 0x40 00001066: MLOAD 00001067: PUSH1 0x01 00001069: PUSH1 0x01 0000106b: PUSH1 0xa0 0000106d: SHL 0000106e: SUB 0000106f: SWAP3 00001070: DUP4 00001071: AND 00001072: SWAP3 00001073: PUSH4 0x3dbb202b 00001078: SWAP3 00001079: DUP8 0000107a: SWAP3 0000107b: SWAP2 0000107c: AND 0000107d: SWAP1 0000107e: PUSH4 0x1635f5fd 00001083: PUSH1 0xe0 00001085: SHL 00001086: SWAP1 00001087: PUSH2 0x109a 0000108a: SWAP1 0000108b: DUP12 0000108c: SWAP1 0000108d: DUP12 0000108e: SWAP1 0000108f: DUP7 00001090: SWAP1 00001091: DUP11 00001092: SWAP1 00001093: PUSH1 0x24 00001095: ADD 00001096: PUSH2 0x2bed 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH1 0x40 0000109d: DUP1 0000109e: MLOAD 0000109f: PUSH1 0x1f 000010a1: NOT 000010a2: DUP2 000010a3: DUP5 000010a4: SUB 000010a5: ADD 000010a6: DUP2 000010a7: MSTORE 000010a8: SWAP2 000010a9: DUP2 000010aa: MSTORE 000010ab: PUSH1 0x20 000010ad: DUP3 000010ae: ADD 000010af: DUP1 000010b0: MLOAD 000010b1: PUSH1 0x01 000010b3: PUSH1 0x01 000010b5: PUSH1 0xe0 000010b7: SHL 000010b8: SUB 000010b9: AND 000010ba: PUSH1 0x01 000010bc: PUSH1 0x01 000010be: PUSH1 0xe0 000010c0: SHL 000010c1: SUB 000010c2: NOT 000010c3: SWAP5 000010c4: DUP6 000010c5: AND 000010c6: OR 000010c7: SWAP1 000010c8: MSTORE 000010c9: MLOAD 000010ca: PUSH1 0xe0 000010cc: DUP7 000010cd: SWAP1 000010ce: SHL 000010cf: SWAP1 000010d0: SWAP3 000010d1: AND 000010d2: DUP3 000010d3: MSTORE 000010d4: PUSH2 0x10e2 000010d7: SWAP3 000010d8: SWAP2 000010d9: DUP9 000010da: SWAP1 000010db: PUSH1 0x04 000010dd: ADD 000010de: PUSH2 0x2c33 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH0 000010e4: PUSH1 0x40 000010e6: MLOAD 000010e7: DUP1 000010e8: DUP4 000010e9: SUB 000010ea: DUP2 000010eb: DUP6 000010ec: DUP9 000010ed: DUP1 000010ee: EXTCODESIZE 000010ef: ISZERO 000010f0: DUP1 000010f1: ISZERO 000010f2: PUSH2 0x10f9 000010f5: JUMPI 000010f6: PUSH0 000010f7: DUP1 000010f8: REVERT 000010f9: JUMPDEST 000010fa: POP 000010fb: GAS 000010fc: CALL 000010fd: ISZERO 000010fe: DUP1 000010ff: ISZERO 00001100: PUSH2 0x0c22 00001103: JUMPI 00001104: RETURNDATASIZE 00001105: PUSH0 00001106: DUP1 00001107: RETURNDATACOPY 00001108: RETURNDATASIZE 00001109: PUSH0 0000110a: REVERT 0000110b: JUMPDEST 0000110c: PUSH0 0000110d: PUSH2 0x111d 00001110: DUP3 00001111: PUSH4 0xec4fc8e3 00001116: PUSH1 0xe0 00001118: SHL 00001119: PUSH2 0x192a 0000111c: JUMP 0000111d: JUMPDEST 0000111e: SWAP3 0000111f: SWAP2 00001120: POP 00001121: POP 00001122: JUMP 00001123: JUMPDEST 00001124: PUSH0 00001125: DUP3 00001126: PUSH1 0x01 00001128: PUSH1 0x01 0000112a: PUSH1 0xa0 0000112c: SHL 0000112d: SUB 0000112e: AND 0000112f: PUSH4 0xd6c0b2c4 00001134: PUSH1 0x40 00001136: MLOAD 00001137: DUP2 00001138: PUSH4 0xffffffff 0000113d: AND 0000113e: PUSH1 0xe0 00001140: SHL 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x04 00001145: ADD 00001146: PUSH1 0x20 00001148: PUSH1 0x40 0000114a: MLOAD 0000114b: DUP1 0000114c: DUP4 0000114d: SUB 0000114e: DUP2 0000114f: DUP7 00001150: GAS 00001151: STATICCALL 00001152: ISZERO 00001153: DUP1 00001154: ISZERO 00001155: PUSH2 0x1160 00001158: JUMPI 00001159: RETURNDATASIZE 0000115a: PUSH0 0000115b: DUP1 0000115c: RETURNDATACOPY 0000115d: RETURNDATASIZE 0000115e: PUSH0 0000115f: REVERT 00001160: JUMPDEST 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: PUSH1 0x40 00001167: MLOAD 00001168: RETURNDATASIZE 00001169: PUSH1 0x1f 0000116b: NOT 0000116c: PUSH1 0x1f 0000116e: DUP3 0000116f: ADD 00001170: AND 00001171: DUP3 00001172: ADD 00001173: DUP1 00001174: PUSH1 0x40 00001176: MSTORE 00001177: POP 00001178: DUP2 00001179: ADD 0000117a: SWAP1 0000117b: PUSH2 0x1184 0000117e: SWAP2 0000117f: SWAP1 00001180: PUSH2 0x248c 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x01 00001187: PUSH1 0x01 00001189: PUSH1 0xa0 0000118b: SHL 0000118c: SUB 0000118d: AND 0000118e: DUP3 0000118f: PUSH1 0x01 00001191: PUSH1 0x01 00001193: PUSH1 0xa0 00001195: SHL 00001196: SUB 00001197: AND 00001198: EQ 00001199: SWAP1 0000119a: POP 0000119b: SWAP3 0000119c: SWAP2 0000119d: POP 0000119e: POP 0000119f: JUMP 000011a0: JUMPDEST 000011a1: PUSH2 0x06be 000011a4: DUP4 000011a5: DUP5 000011a6: PUSH1 0x01 000011a8: PUSH1 0x01 000011aa: PUSH1 0xa0 000011ac: SHL 000011ad: SUB 000011ae: AND 000011af: PUSH4 0xa9059cbb 000011b4: DUP6 000011b5: DUP6 000011b6: PUSH1 0x40 000011b8: MLOAD 000011b9: PUSH1 0x24 000011bb: ADD 000011bc: PUSH2 0x11c6 000011bf: SWAP3 000011c0: SWAP2 000011c1: SWAP1 000011c2: PUSH2 0x25d9 000011c5: JUMP 000011c6: JUMPDEST 000011c7: PUSH1 0x40 000011c9: MLOAD 000011ca: PUSH1 0x20 000011cc: DUP2 000011cd: DUP4 000011ce: SUB 000011cf: SUB 000011d0: DUP2 000011d1: MSTORE 000011d2: SWAP1 000011d3: PUSH1 0x40 000011d5: MSTORE 000011d6: SWAP2 000011d7: POP 000011d8: PUSH1 0xe0 000011da: SHL 000011db: PUSH1 0x20 000011dd: DUP3 000011de: ADD 000011df: DUP1 000011e0: MLOAD 000011e1: PUSH1 0x01 000011e3: PUSH1 0x01 000011e5: PUSH1 0xe0 000011e7: SHL 000011e8: SUB 000011e9: DUP4 000011ea: DUP2 000011eb: DUP4 000011ec: AND 000011ed: OR 000011ee: DUP4 000011ef: MSTORE 000011f0: POP 000011f1: POP 000011f2: POP 000011f3: POP 000011f4: PUSH2 0x194c 000011f7: JUMP 000011f8: JUMPDEST 000011f9: DUP4 000011fa: PUSH1 0x01 000011fc: PUSH1 0x01 000011fe: PUSH1 0xa0 00001200: SHL 00001201: SUB 00001202: AND 00001203: DUP6 00001204: PUSH1 0x01 00001206: PUSH1 0x01 00001208: PUSH1 0xa0 0000120a: SHL 0000120b: SUB 0000120c: AND 0000120d: DUP8 0000120e: PUSH1 0x01 00001210: PUSH1 0x01 00001212: PUSH1 0xa0 00001214: SHL 00001215: SUB 00001216: AND 00001217: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd 00001238: DUP7 00001239: DUP7 0000123a: DUP7 0000123b: PUSH1 0x40 0000123d: MLOAD 0000123e: PUSH2 0x1249 00001241: SWAP4 00001242: SWAP3 00001243: SWAP2 00001244: SWAP1 00001245: PUSH2 0x2c62 00001248: JUMP 00001249: JUMPDEST 0000124a: PUSH1 0x40 0000124c: MLOAD 0000124d: DUP1 0000124e: SWAP2 0000124f: SUB 00001250: SWAP1 00001251: LOG4 00001252: POP 00001253: POP 00001254: POP 00001255: POP 00001256: POP 00001257: POP 00001258: JUMP 00001259: JUMPDEST 0000125a: DUP3 0000125b: PUSH1 0x01 0000125d: PUSH1 0x01 0000125f: PUSH1 0xa0 00001261: SHL 00001262: SUB 00001263: AND 00001264: DUP5 00001265: PUSH1 0x01 00001267: PUSH1 0x01 00001269: PUSH1 0xa0 0000126b: SHL 0000126c: SUB 0000126d: AND 0000126e: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d 0000128f: DUP5 00001290: DUP5 00001291: PUSH1 0x40 00001293: MLOAD 00001294: PUSH2 0x129e 00001297: SWAP3 00001298: SWAP2 00001299: SWAP1 0000129a: PUSH2 0x2c98 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH1 0x40 000012a1: MLOAD 000012a2: DUP1 000012a3: SWAP2 000012a4: SUB 000012a5: SWAP1 000012a6: LOG3 000012a7: POP 000012a8: POP 000012a9: POP 000012aa: POP 000012ab: JUMP 000012ac: JUMPDEST 000012ad: PUSH0 000012ae: DUP1 000012af: PUSH0 000012b0: DUP1 000012b1: DUP5 000012b2: MLOAD 000012b3: PUSH1 0x20 000012b5: DUP7 000012b6: ADD 000012b7: DUP8 000012b8: DUP11 000012b9: DUP11 000012ba: CALL 000012bb: SWAP2 000012bc: POP 000012bd: POP 000012be: JUMPDEST 000012bf: SWAP5 000012c0: SWAP4 000012c1: POP 000012c2: POP 000012c3: POP 000012c4: POP 000012c5: JUMP 000012c6: JUMPDEST 000012c7: PUSH2 0x12cf 000012ca: DUP8 000012cb: PUSH2 0x110b 000012ce: JUMP 000012cf: JUMPDEST 000012d0: ISZERO 000012d1: PUSH2 0x135a 000012d4: JUMPI 000012d5: PUSH2 0x12de 000012d8: DUP8 000012d9: DUP8 000012da: PUSH2 0x1123 000012dd: JUMP 000012de: JUMPDEST 000012df: PUSH2 0x12fa 000012e2: JUMPI 000012e3: PUSH1 0x40 000012e5: MLOAD 000012e6: PUSH3 0x461bcd 000012ea: PUSH1 0xe5 000012ec: SHL 000012ed: DUP2 000012ee: MSTORE 000012ef: PUSH1 0x04 000012f1: ADD 000012f2: PUSH2 0x013c 000012f5: SWAP1 000012f6: PUSH2 0x25c0 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x40 000012fd: MLOAD 000012fe: PUSH4 0x2770a7eb 00001303: PUSH1 0xe2 00001305: SHL 00001306: DUP2 00001307: MSTORE 00001308: PUSH1 0x01 0000130a: PUSH1 0x01 0000130c: PUSH1 0xa0 0000130e: SHL 0000130f: SUB 00001310: DUP9 00001311: AND 00001312: SWAP1 00001313: PUSH4 0x9dc29fac 00001318: SWAP1 00001319: PUSH2 0x1328 0000131c: SWAP1 0000131d: DUP9 0000131e: SWAP1 0000131f: DUP8 00001320: SWAP1 00001321: PUSH1 0x04 00001323: ADD 00001324: PUSH2 0x25d9 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH0 0000132a: PUSH1 0x40 0000132c: MLOAD 0000132d: DUP1 0000132e: DUP4 0000132f: SUB 00001330: DUP2 00001331: PUSH0 00001332: DUP8 00001333: DUP1 00001334: EXTCODESIZE 00001335: ISZERO 00001336: DUP1 00001337: ISZERO 00001338: PUSH2 0x133f 0000133b: JUMPI 0000133c: PUSH0 0000133d: DUP1 0000133e: REVERT 0000133f: JUMPDEST 00001340: POP 00001341: GAS 00001342: CALL 00001343: ISZERO 00001344: DUP1 00001345: ISZERO 00001346: PUSH2 0x1351 00001349: JUMPI 0000134a: RETURNDATASIZE 0000134b: PUSH0 0000134c: DUP1 0000134d: RETURNDATACOPY 0000134e: RETURNDATASIZE 0000134f: PUSH0 00001350: REVERT 00001351: JUMPDEST 00001352: POP 00001353: POP 00001354: POP 00001355: POP 00001356: PUSH2 0x13c1 00001359: JUMP 0000135a: JUMPDEST 0000135b: PUSH2 0x136f 0000135e: PUSH1 0x01 00001360: PUSH1 0x01 00001362: PUSH1 0xa0 00001364: SHL 00001365: SUB 00001366: DUP9 00001367: AND 00001368: DUP7 00001369: ADDRESS 0000136a: DUP7 0000136b: PUSH2 0x19a4 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x01 00001372: PUSH1 0x01 00001374: PUSH1 0xa0 00001376: SHL 00001377: SUB 00001378: DUP1 00001379: DUP9 0000137a: AND 0000137b: PUSH0 0000137c: SWAP1 0000137d: DUP2 0000137e: MSTORE 0000137f: PUSH1 0x20 00001381: DUP2 00001382: DUP2 00001383: MSTORE 00001384: PUSH1 0x40 00001386: DUP1 00001387: DUP4 00001388: KECCAK256 00001389: SWAP4 0000138a: DUP11 0000138b: AND 0000138c: DUP4 0000138d: MSTORE 0000138e: SWAP3 0000138f: SWAP1 00001390: MSTORE 00001391: KECCAK256 00001392: SLOAD 00001393: PUSH2 0x139d 00001396: SWAP1 00001397: DUP5 00001398: SWAP1 00001399: PUSH2 0x2959 0000139c: JUMP 0000139d: JUMPDEST 0000139e: PUSH1 0x01 000013a0: PUSH1 0x01 000013a2: PUSH1 0xa0 000013a4: SHL 000013a5: SUB 000013a6: DUP1 000013a7: DUP10 000013a8: AND 000013a9: PUSH0 000013aa: SWAP1 000013ab: DUP2 000013ac: MSTORE 000013ad: PUSH1 0x20 000013af: DUP2 000013b0: DUP2 000013b1: MSTORE 000013b2: PUSH1 0x40 000013b4: DUP1 000013b5: DUP4 000013b6: KECCAK256 000013b7: SWAP4 000013b8: DUP12 000013b9: AND 000013ba: DUP4 000013bb: MSTORE 000013bc: SWAP3 000013bd: SWAP1 000013be: MSTORE 000013bf: KECCAK256 000013c0: SSTORE 000013c1: JUMPDEST 000013c2: PUSH2 0x13cf 000013c5: DUP8 000013c6: DUP8 000013c7: DUP8 000013c8: DUP8 000013c9: DUP8 000013ca: DUP7 000013cb: PUSH2 0x19cc 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH1 0x01 000013d2: SLOAD 000013d3: PUSH1 0x02 000013d5: SLOAD 000013d6: PUSH1 0x40 000013d8: MLOAD 000013d9: PUSH1 0x01 000013db: PUSH1 0x01 000013dd: PUSH1 0xa0 000013df: SHL 000013e0: SUB 000013e1: SWAP3 000013e2: DUP4 000013e3: AND 000013e4: SWAP3 000013e5: PUSH4 0x3dbb202b 000013ea: SWAP3 000013eb: AND 000013ec: SWAP1 000013ed: PUSH3 0xb3503d 000013f1: PUSH1 0xe1 000013f3: SHL 000013f4: SWAP1 000013f5: PUSH2 0x140c 000013f8: SWAP1 000013f9: DUP12 000013fa: SWAP1 000013fb: DUP14 000013fc: SWAP1 000013fd: DUP13 000013fe: SWAP1 000013ff: DUP13 00001400: SWAP1 00001401: DUP13 00001402: SWAP1 00001403: DUP12 00001404: SWAP1 00001405: PUSH1 0x24 00001407: ADD 00001408: PUSH2 0x2cb8 0000140b: JUMP 0000140c: JUMPDEST 0000140d: PUSH1 0x40 0000140f: DUP1 00001410: MLOAD 00001411: PUSH1 0x1f 00001413: NOT 00001414: DUP2 00001415: DUP5 00001416: SUB 00001417: ADD 00001418: DUP2 00001419: MSTORE 0000141a: SWAP2 0000141b: DUP2 0000141c: MSTORE 0000141d: PUSH1 0x20 0000141f: DUP3 00001420: ADD 00001421: DUP1 00001422: MLOAD 00001423: PUSH1 0x01 00001425: PUSH1 0x01 00001427: PUSH1 0xe0 00001429: SHL 0000142a: SUB 0000142b: AND 0000142c: PUSH1 0x01 0000142e: PUSH1 0x01 00001430: PUSH1 0xe0 00001432: SHL 00001433: SUB 00001434: NOT 00001435: SWAP5 00001436: DUP6 00001437: AND 00001438: OR 00001439: SWAP1 0000143a: MSTORE 0000143b: MLOAD 0000143c: PUSH1 0xe0 0000143e: DUP6 0000143f: SWAP1 00001440: SHL 00001441: SWAP1 00001442: SWAP3 00001443: AND 00001444: DUP3 00001445: MSTORE 00001446: PUSH2 0x1454 00001449: SWAP3 0000144a: SWAP2 0000144b: DUP8 0000144c: SWAP1 0000144d: PUSH1 0x04 0000144f: ADD 00001450: PUSH2 0x2c33 00001453: JUMP 00001454: JUMPDEST 00001455: PUSH0 00001456: PUSH1 0x40 00001458: MLOAD 00001459: DUP1 0000145a: DUP4 0000145b: SUB 0000145c: DUP2 0000145d: PUSH0 0000145e: DUP8 0000145f: DUP1 00001460: EXTCODESIZE 00001461: ISZERO 00001462: DUP1 00001463: ISZERO 00001464: PUSH2 0x146b 00001467: JUMPI 00001468: PUSH0 00001469: DUP1 0000146a: REVERT 0000146b: JUMPDEST 0000146c: POP 0000146d: GAS 0000146e: CALL 0000146f: ISZERO 00001470: DUP1 00001471: ISZERO 00001472: PUSH2 0x0fe3 00001475: JUMPI 00001476: RETURNDATASIZE 00001477: PUSH0 00001478: DUP1 00001479: RETURNDATACOPY 0000147a: RETURNDATASIZE 0000147b: PUSH0 0000147c: REVERT 0000147d: JUMPDEST 0000147e: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 0000149f: DUP1 000014a0: SLOAD 000014a1: PUSH1 0x01 000014a3: NOT 000014a4: ADD 000014a5: PUSH2 0x14c1 000014a8: JUMPI 000014a9: PUSH1 0x40 000014ab: MLOAD 000014ac: PUSH4 0x3ee5aeb5 000014b1: PUSH1 0xe0 000014b3: SHL 000014b4: DUP2 000014b5: MSTORE 000014b6: PUSH1 0x04 000014b8: ADD 000014b9: PUSH1 0x40 000014bb: MLOAD 000014bc: DUP1 000014bd: SWAP2 000014be: SUB 000014bf: SWAP1 000014c0: REVERT 000014c1: JUMPDEST 000014c2: PUSH1 0x02 000014c4: SWAP1 000014c5: SSTORE 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH0 000014c9: PUSH2 0x14d0 000014cc: PUSH2 0x1a1d 000014cf: JUMP 000014d0: JUMPDEST 000014d1: SWAP1 000014d2: POP 000014d3: PUSH0 000014d4: DUP2 000014d5: PUSH1 0x01 000014d7: PUSH1 0x01 000014d9: PUSH1 0xa0 000014db: SHL 000014dc: SUB 000014dd: AND 000014de: PUSH4 0xa25ae557 000014e3: DUP4 000014e4: PUSH1 0x01 000014e6: PUSH1 0x01 000014e8: PUSH1 0xa0 000014ea: SHL 000014eb: SUB 000014ec: AND 000014ed: PUSH4 0x69f16eec 000014f2: PUSH1 0x40 000014f4: MLOAD 000014f5: DUP2 000014f6: PUSH4 0xffffffff 000014fb: AND 000014fc: PUSH1 0xe0 000014fe: SHL 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x04 00001503: ADD 00001504: PUSH1 0x20 00001506: PUSH1 0x40 00001508: MLOAD 00001509: DUP1 0000150a: DUP4 0000150b: SUB 0000150c: DUP2 0000150d: DUP7 0000150e: GAS 0000150f: STATICCALL 00001510: ISZERO 00001511: DUP1 00001512: ISZERO 00001513: PUSH2 0x151e 00001516: JUMPI 00001517: RETURNDATASIZE 00001518: PUSH0 00001519: DUP1 0000151a: RETURNDATACOPY 0000151b: RETURNDATASIZE 0000151c: PUSH0 0000151d: REVERT 0000151e: JUMPDEST 0000151f: POP 00001520: POP 00001521: POP 00001522: POP 00001523: PUSH1 0x40 00001525: MLOAD 00001526: RETURNDATASIZE 00001527: PUSH1 0x1f 00001529: NOT 0000152a: PUSH1 0x1f 0000152c: DUP3 0000152d: ADD 0000152e: AND 0000152f: DUP3 00001530: ADD 00001531: DUP1 00001532: PUSH1 0x40 00001534: MSTORE 00001535: POP 00001536: DUP2 00001537: ADD 00001538: SWAP1 00001539: PUSH2 0x1542 0000153c: SWAP2 0000153d: SWAP1 0000153e: PUSH2 0x2b0c 00001541: JUMP 00001542: JUMPDEST 00001543: PUSH1 0x40 00001545: MLOAD 00001546: DUP3 00001547: PUSH4 0xffffffff 0000154c: AND 0000154d: PUSH1 0xe0 0000154f: SHL 00001550: DUP2 00001551: MSTORE 00001552: PUSH1 0x04 00001554: ADD 00001555: PUSH2 0x155e 00001558: SWAP2 00001559: SWAP1 0000155a: PUSH2 0x22e1 0000155d: JUMP 0000155e: JUMPDEST 0000155f: PUSH1 0x60 00001561: PUSH1 0x40 00001563: MLOAD 00001564: DUP1 00001565: DUP4 00001566: SUB 00001567: DUP2 00001568: DUP7 00001569: GAS 0000156a: STATICCALL 0000156b: ISZERO 0000156c: DUP1 0000156d: ISZERO 0000156e: PUSH2 0x1579 00001571: JUMPI 00001572: RETURNDATASIZE 00001573: PUSH0 00001574: DUP1 00001575: RETURNDATACOPY 00001576: RETURNDATASIZE 00001577: PUSH0 00001578: REVERT 00001579: JUMPDEST 0000157a: POP 0000157b: POP 0000157c: POP 0000157d: POP 0000157e: PUSH1 0x40 00001580: MLOAD 00001581: RETURNDATASIZE 00001582: PUSH1 0x1f 00001584: NOT 00001585: PUSH1 0x1f 00001587: DUP3 00001588: ADD 00001589: AND 0000158a: DUP3 0000158b: ADD 0000158c: DUP1 0000158d: PUSH1 0x40 0000158f: MSTORE 00001590: POP 00001591: DUP2 00001592: ADD 00001593: SWAP1 00001594: PUSH2 0x159d 00001597: SWAP2 00001598: SWAP1 00001599: PUSH2 0x2d8d 0000159c: JUMP 0000159d: JUMPDEST 0000159e: SWAP1 0000159f: POP 000015a0: PUSH0 000015a1: DUP3 000015a2: PUSH1 0x01 000015a4: PUSH1 0x01 000015a6: PUSH1 0xa0 000015a8: SHL 000015a9: SUB 000015aa: AND 000015ab: PUSH4 0x46ade58e 000015b0: PUSH1 0x40 000015b2: MLOAD 000015b3: DUP2 000015b4: PUSH4 0xffffffff 000015b9: AND 000015ba: PUSH1 0xe0 000015bc: SHL 000015bd: DUP2 000015be: MSTORE 000015bf: PUSH1 0x04 000015c1: ADD 000015c2: PUSH1 0x20 000015c4: PUSH1 0x40 000015c6: MLOAD 000015c7: DUP1 000015c8: DUP4 000015c9: SUB 000015ca: DUP2 000015cb: DUP7 000015cc: GAS 000015cd: STATICCALL 000015ce: ISZERO 000015cf: DUP1 000015d0: ISZERO 000015d1: PUSH2 0x15dc 000015d4: JUMPI 000015d5: RETURNDATASIZE 000015d6: PUSH0 000015d7: DUP1 000015d8: RETURNDATACOPY 000015d9: RETURNDATASIZE 000015da: PUSH0 000015db: REVERT 000015dc: JUMPDEST 000015dd: POP 000015de: POP 000015df: POP 000015e0: POP 000015e1: PUSH1 0x40 000015e3: MLOAD 000015e4: RETURNDATASIZE 000015e5: PUSH1 0x1f 000015e7: NOT 000015e8: PUSH1 0x1f 000015ea: DUP3 000015eb: ADD 000015ec: AND 000015ed: DUP3 000015ee: ADD 000015ef: DUP1 000015f0: PUSH1 0x40 000015f2: MSTORE 000015f3: POP 000015f4: DUP2 000015f5: ADD 000015f6: SWAP1 000015f7: PUSH2 0x1600 000015fa: SWAP2 000015fb: SWAP1 000015fc: PUSH2 0x2b0c 000015ff: JUMP 00001600: JUMPDEST 00001601: SWAP1 00001602: POP 00001603: TIMESTAMP 00001604: DUP2 00001605: DUP4 00001606: PUSH1 0x20 00001608: ADD 00001609: MLOAD 0000160a: PUSH1 0x01 0000160c: PUSH1 0x01 0000160e: PUSH1 0x80 00001610: SHL 00001611: SUB 00001612: AND 00001613: PUSH2 0x161c 00001616: SWAP2 00001617: SWAP1 00001618: PUSH2 0x2959 0000161b: JUMP 0000161c: JUMPDEST 0000161d: LT 0000161e: PUSH2 0x1639 00001621: JUMPI 00001622: PUSH1 0x40 00001624: MLOAD 00001625: PUSH3 0x461bcd 00001629: PUSH1 0xe5 0000162b: SHL 0000162c: DUP2 0000162d: MSTORE 0000162e: PUSH1 0x04 00001630: ADD 00001631: PUSH2 0x013c 00001634: SWAP1 00001635: PUSH2 0x2e04 00001638: JUMP 00001639: JUMPDEST 0000163a: PUSH2 0x1650 0000163d: PUSH2 0x164b 00001640: CALLDATASIZE 00001641: DUP7 00001642: SWAP1 00001643: SUB 00001644: DUP7 00001645: ADD 00001646: DUP7 00001647: PUSH2 0x2e83 0000164a: JUMP 0000164b: JUMPDEST 0000164c: PUSH2 0x1ac3 0000164f: JUMP 00001650: JUMPDEST 00001651: DUP3 00001652: MLOAD 00001653: EQ 00001654: PUSH2 0x043c 00001657: JUMPI 00001658: PUSH1 0x40 0000165a: MLOAD 0000165b: PUSH3 0x461bcd 0000165f: PUSH1 0xe5 00001661: SHL 00001662: DUP2 00001663: MSTORE 00001664: PUSH1 0x04 00001666: ADD 00001667: PUSH2 0x013c 0000166a: SWAP1 0000166b: PUSH2 0x2ee8 0000166e: JUMP 0000166f: JUMPDEST 00001670: PUSH1 0x40 00001672: MLOAD 00001673: PUSH4 0x15518b3f 00001678: PUSH1 0xe1 0000167a: SHL 0000167b: DUP2 0000167c: MSTORE 0000167d: PUSH20 0xb60f4a5964a6d332d1780fedefd339cf6b021bb7 00001692: SWAP1 00001693: PUSH4 0x2aa3167e 00001698: SWAP1 00001699: PUSH2 0x16ac 0000169c: SWAP1 0000169d: DUP8 0000169e: SWAP1 0000169f: DUP8 000016a0: SWAP1 000016a1: DUP8 000016a2: SWAP1 000016a3: DUP8 000016a4: SWAP1 000016a5: PUSH1 0x04 000016a7: ADD 000016a8: PUSH2 0x2fde 000016ab: JUMP 000016ac: JUMPDEST 000016ad: PUSH1 0x20 000016af: PUSH1 0x40 000016b1: MLOAD 000016b2: DUP1 000016b3: DUP4 000016b4: SUB 000016b5: DUP2 000016b6: DUP7 000016b7: GAS 000016b8: DELEGATECALL 000016b9: ISZERO 000016ba: DUP1 000016bb: ISZERO 000016bc: PUSH2 0x16c7 000016bf: JUMPI 000016c0: RETURNDATASIZE 000016c1: PUSH0 000016c2: DUP1 000016c3: RETURNDATACOPY 000016c4: RETURNDATASIZE 000016c5: PUSH0 000016c6: REVERT 000016c7: JUMPDEST 000016c8: POP 000016c9: POP 000016ca: POP 000016cb: POP 000016cc: PUSH1 0x40 000016ce: MLOAD 000016cf: RETURNDATASIZE 000016d0: PUSH1 0x1f 000016d2: NOT 000016d3: PUSH1 0x1f 000016d5: DUP3 000016d6: ADD 000016d7: AND 000016d8: DUP3 000016d9: ADD 000016da: DUP1 000016db: PUSH1 0x40 000016dd: MSTORE 000016de: POP 000016df: DUP2 000016e0: ADD 000016e1: SWAP1 000016e2: PUSH2 0x16eb 000016e5: SWAP2 000016e6: SWAP1 000016e7: PUSH2 0x27a9 000016ea: JUMP 000016eb: JUMPDEST 000016ec: PUSH2 0x043c 000016ef: JUMPI 000016f0: PUSH1 0x40 000016f2: MLOAD 000016f3: PUSH3 0x461bcd 000016f7: PUSH1 0xe5 000016f9: SHL 000016fa: DUP2 000016fb: MSTORE 000016fc: PUSH1 0x04 000016fe: ADD 000016ff: PUSH2 0x013c 00001702: SWAP1 00001703: PUSH2 0x305c 00001706: JUMP 00001707: JUMPDEST 00001708: PUSH0 00001709: DUP2 0000170a: ISZERO 0000170b: PUSH2 0x1767 0000170e: JUMPI 0000170f: DUP3 00001710: PUSH1 0x01 00001712: PUSH1 0x01 00001714: PUSH1 0xa0 00001716: SHL 00001717: SUB 00001718: AND 00001719: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00 0000173a: PUSH1 0x40 0000173c: MLOAD 0000173d: PUSH1 0x20 0000173f: ADD 00001740: PUSH2 0x174a 00001743: SWAP3 00001744: SWAP2 00001745: SWAP1 00001746: PUSH2 0x306c 00001749: JUMP 0000174a: JUMPDEST 0000174b: PUSH1 0x40 0000174d: MLOAD 0000174e: PUSH1 0x20 00001750: DUP2 00001751: DUP4 00001752: SUB 00001753: SUB 00001754: DUP2 00001755: MSTORE 00001756: SWAP1 00001757: PUSH1 0x40 00001759: MSTORE 0000175a: DUP1 0000175b: MLOAD 0000175c: SWAP1 0000175d: PUSH1 0x20 0000175f: ADD 00001760: KECCAK256 00001761: SWAP1 00001762: POP 00001763: PUSH2 0x111d 00001766: JUMP 00001767: JUMPDEST 00001768: DUP3 00001769: PUSH1 0x01 0000176b: PUSH1 0x01 0000176d: PUSH1 0xa0 0000176f: SHL 00001770: SUB 00001771: AND 00001772: PUSH0 00001773: PUSH1 0x40 00001775: MLOAD 00001776: PUSH1 0x20 00001778: ADD 00001779: PUSH2 0x174a 0000177c: SWAP3 0000177d: SWAP2 0000177e: SWAP1 0000177f: PUSH2 0x306c 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH1 0x40 00001786: MLOAD 00001787: PUSH4 0x6f7dac43 0000178c: PUSH1 0xe0 0000178e: SHL 0000178f: DUP2 00001790: MSTORE 00001791: PUSH20 0xb60f4a5964a6d332d1780fedefd339cf6b021bb7 000017a6: SWAP1 000017a7: PUSH4 0x6f7dac43 000017ac: SWAP1 000017ad: PUSH2 0x17c0 000017b0: SWAP1 000017b1: DUP8 000017b2: SWAP1 000017b3: DUP8 000017b4: SWAP1 000017b5: DUP8 000017b6: SWAP1 000017b7: DUP8 000017b8: SWAP1 000017b9: PUSH1 0x04 000017bb: ADD 000017bc: PUSH2 0x307a 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0x20 000017c3: PUSH1 0x40 000017c5: MLOAD 000017c6: DUP1 000017c7: DUP4 000017c8: SUB 000017c9: DUP2 000017ca: DUP7 000017cb: GAS 000017cc: DELEGATECALL 000017cd: ISZERO 000017ce: DUP1 000017cf: ISZERO 000017d0: PUSH2 0x17db 000017d3: JUMPI 000017d4: RETURNDATASIZE 000017d5: PUSH0 000017d6: DUP1 000017d7: RETURNDATACOPY 000017d8: RETURNDATASIZE 000017d9: PUSH0 000017da: REVERT 000017db: JUMPDEST 000017dc: POP 000017dd: POP 000017de: POP 000017df: POP 000017e0: PUSH1 0x40 000017e2: MLOAD 000017e3: RETURNDATASIZE 000017e4: PUSH1 0x1f 000017e6: NOT 000017e7: PUSH1 0x1f 000017e9: DUP3 000017ea: ADD 000017eb: AND 000017ec: DUP3 000017ed: ADD 000017ee: DUP1 000017ef: PUSH1 0x40 000017f1: MSTORE 000017f2: POP 000017f3: DUP2 000017f4: ADD 000017f5: SWAP1 000017f6: PUSH2 0x17ff 000017f9: SWAP2 000017fa: SWAP1 000017fb: PUSH2 0x27a9 000017fe: JUMP 000017ff: JUMPDEST 00001800: PUSH2 0x043c 00001803: JUMPI 00001804: PUSH1 0x40 00001806: MLOAD 00001807: PUSH3 0x461bcd 0000180b: PUSH1 0xe5 0000180d: SHL 0000180e: DUP2 0000180f: MSTORE 00001810: PUSH1 0x04 00001812: ADD 00001813: PUSH2 0x013c 00001816: SWAP1 00001817: PUSH2 0x30fa 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH1 0x01 0000181e: SLOAD 0000181f: PUSH1 0x40 00001821: DUP1 00001822: MLOAD 00001823: PUSH4 0x6425666b 00001828: PUSH1 0xe0 0000182a: SHL 0000182b: DUP2 0000182c: MSTORE 0000182d: SWAP1 0000182e: MLOAD 0000182f: PUSH0 00001830: SWAP3 00001831: PUSH1 0x01 00001833: PUSH1 0x01 00001835: PUSH1 0xa0 00001837: SHL 00001838: SUB 00001839: AND 0000183a: SWAP2 0000183b: PUSH4 0x6425666b 00001840: SWAP2 00001841: PUSH1 0x04 00001843: DUP1 00001844: DUP4 00001845: ADD 00001846: SWAP3 00001847: PUSH1 0x20 00001849: SWAP3 0000184a: SWAP2 0000184b: SWAP1 0000184c: DUP3 0000184d: SWAP1 0000184e: SUB 0000184f: ADD 00001850: DUP2 00001851: DUP7 00001852: GAS 00001853: STATICCALL 00001854: ISZERO 00001855: DUP1 00001856: ISZERO 00001857: PUSH2 0x1862 0000185a: JUMPI 0000185b: RETURNDATASIZE 0000185c: PUSH0 0000185d: DUP1 0000185e: RETURNDATACOPY 0000185f: RETURNDATASIZE 00001860: PUSH0 00001861: REVERT 00001862: JUMPDEST 00001863: POP 00001864: POP 00001865: POP 00001866: POP 00001867: PUSH1 0x40 00001869: MLOAD 0000186a: RETURNDATASIZE 0000186b: PUSH1 0x1f 0000186d: NOT 0000186e: PUSH1 0x1f 00001870: DUP3 00001871: ADD 00001872: AND 00001873: DUP3 00001874: ADD 00001875: DUP1 00001876: PUSH1 0x40 00001878: MSTORE 00001879: POP 0000187a: DUP2 0000187b: ADD 0000187c: SWAP1 0000187d: PUSH2 0x1886 00001880: SWAP2 00001881: SWAP1 00001882: PUSH2 0x3115 00001885: JUMP 00001886: JUMPDEST 00001887: PUSH1 0x01 00001889: PUSH1 0x01 0000188b: PUSH1 0xa0 0000188d: SHL 0000188e: SUB 0000188f: AND 00001890: PUSH4 0x54c594b6 00001895: PUSH1 0x40 00001897: MLOAD 00001898: DUP2 00001899: PUSH4 0xffffffff 0000189e: AND 0000189f: PUSH1 0xe0 000018a1: SHL 000018a2: DUP2 000018a3: MSTORE 000018a4: PUSH1 0x04 000018a6: ADD 000018a7: PUSH1 0x20 000018a9: PUSH1 0x40 000018ab: MLOAD 000018ac: DUP1 000018ad: DUP4 000018ae: SUB 000018af: DUP2 000018b0: DUP7 000018b1: GAS 000018b2: STATICCALL 000018b3: ISZERO 000018b4: DUP1 000018b5: ISZERO 000018b6: PUSH2 0x18c1 000018b9: JUMPI 000018ba: RETURNDATASIZE 000018bb: PUSH0 000018bc: DUP1 000018bd: RETURNDATACOPY 000018be: RETURNDATASIZE 000018bf: PUSH0 000018c0: REVERT 000018c1: JUMPDEST 000018c2: POP 000018c3: POP 000018c4: POP 000018c5: POP 000018c6: PUSH1 0x40 000018c8: MLOAD 000018c9: RETURNDATASIZE 000018ca: PUSH1 0x1f 000018cc: NOT 000018cd: PUSH1 0x1f 000018cf: DUP3 000018d0: ADD 000018d1: AND 000018d2: DUP3 000018d3: ADD 000018d4: DUP1 000018d5: PUSH1 0x40 000018d7: MSTORE 000018d8: POP 000018d9: DUP2 000018da: ADD 000018db: SWAP1 000018dc: PUSH2 0x0a88 000018df: SWAP2 000018e0: SWAP1 000018e1: PUSH2 0x3115 000018e4: JUMP 000018e5: JUMPDEST 000018e6: DUP3 000018e7: PUSH1 0x01 000018e9: PUSH1 0x01 000018eb: PUSH1 0xa0 000018ed: SHL 000018ee: SUB 000018ef: AND 000018f0: DUP5 000018f1: PUSH1 0x01 000018f3: PUSH1 0x01 000018f5: PUSH1 0xa0 000018f7: SHL 000018f8: SUB 000018f9: AND 000018fa: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5 0000191b: DUP5 0000191c: DUP5 0000191d: PUSH1 0x40 0000191f: MLOAD 00001920: PUSH2 0x129e 00001923: SWAP3 00001924: SWAP2 00001925: SWAP1 00001926: PUSH2 0x2c98 00001929: JUMP 0000192a: JUMPDEST 0000192b: PUSH0 0000192c: PUSH2 0x1934 0000192f: DUP4 00001930: PUSH2 0x1b07 00001933: JUMP 00001934: JUMPDEST 00001935: DUP1 00001936: ISZERO 00001937: PUSH2 0x1945 0000193a: JUMPI 0000193b: POP 0000193c: PUSH2 0x1945 0000193f: DUP4 00001940: DUP4 00001941: PUSH2 0x1b39 00001944: JUMP 00001945: JUMPDEST 00001946: SWAP4 00001947: SWAP3 00001948: POP 00001949: POP 0000194a: POP 0000194b: JUMP 0000194c: JUMPDEST 0000194d: PUSH0 0000194e: PUSH2 0x1960 00001951: PUSH1 0x01 00001953: PUSH1 0x01 00001955: PUSH1 0xa0 00001957: SHL 00001958: SUB 00001959: DUP5 0000195a: AND 0000195b: DUP4 0000195c: PUSH2 0x1bb8 0000195f: JUMP 00001960: JUMPDEST 00001961: SWAP1 00001962: POP 00001963: DUP1 00001964: MLOAD 00001965: PUSH0 00001966: EQ 00001967: ISZERO 00001968: DUP1 00001969: ISZERO 0000196a: PUSH2 0x1984 0000196d: JUMPI 0000196e: POP 0000196f: DUP1 00001970: DUP1 00001971: PUSH1 0x20 00001973: ADD 00001974: SWAP1 00001975: MLOAD 00001976: DUP2 00001977: ADD 00001978: SWAP1 00001979: PUSH2 0x1982 0000197c: SWAP2 0000197d: SWAP1 0000197e: PUSH2 0x27a9 00001981: JUMP 00001982: JUMPDEST 00001983: ISZERO 00001984: JUMPDEST 00001985: ISZERO 00001986: PUSH2 0x06be 00001989: JUMPI 0000198a: DUP3 0000198b: PUSH1 0x40 0000198d: MLOAD 0000198e: PUSH4 0x5274afe7 00001993: PUSH1 0xe0 00001995: SHL 00001996: DUP2 00001997: MSTORE 00001998: PUSH1 0x04 0000199a: ADD 0000199b: PUSH2 0x013c 0000199e: SWAP2 0000199f: SWAP1 000019a0: PUSH2 0x29df 000019a3: JUMP 000019a4: JUMPDEST 000019a5: PUSH2 0x043c 000019a8: DUP5 000019a9: DUP6 000019aa: PUSH1 0x01 000019ac: PUSH1 0x01 000019ae: PUSH1 0xa0 000019b0: SHL 000019b1: SUB 000019b2: AND 000019b3: PUSH4 0x23b872dd 000019b8: DUP7 000019b9: DUP7 000019ba: DUP7 000019bb: PUSH1 0x40 000019bd: MLOAD 000019be: PUSH1 0x24 000019c0: ADD 000019c1: PUSH2 0x11c6 000019c4: SWAP4 000019c5: SWAP3 000019c6: SWAP2 000019c7: SWAP1 000019c8: PUSH2 0x3133 000019cb: JUMP 000019cc: JUMPDEST 000019cd: DUP4 000019ce: PUSH1 0x01 000019d0: PUSH1 0x01 000019d2: PUSH1 0xa0 000019d4: SHL 000019d5: SUB 000019d6: AND 000019d7: DUP6 000019d8: PUSH1 0x01 000019da: PUSH1 0x01 000019dc: PUSH1 0xa0 000019de: SHL 000019df: SUB 000019e0: AND 000019e1: DUP8 000019e2: PUSH1 0x01 000019e4: PUSH1 0x01 000019e6: PUSH1 0xa0 000019e8: SHL 000019e9: SUB 000019ea: AND 000019eb: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf 00001a0c: DUP7 00001a0d: DUP7 00001a0e: DUP7 00001a0f: PUSH1 0x40 00001a11: MLOAD 00001a12: PUSH2 0x1249 00001a15: SWAP4 00001a16: SWAP3 00001a17: SWAP2 00001a18: SWAP1 00001a19: PUSH2 0x2c62 00001a1c: JUMP 00001a1d: JUMPDEST 00001a1e: PUSH1 0x01 00001a20: SLOAD 00001a21: PUSH1 0x40 00001a23: DUP1 00001a24: MLOAD 00001a25: PUSH4 0x6425666b 00001a2a: PUSH1 0xe0 00001a2c: SHL 00001a2d: DUP2 00001a2e: MSTORE 00001a2f: SWAP1 00001a30: MLOAD 00001a31: PUSH0 00001a32: SWAP3 00001a33: PUSH1 0x01 00001a35: PUSH1 0x01 00001a37: PUSH1 0xa0 00001a39: SHL 00001a3a: SUB 00001a3b: AND 00001a3c: SWAP2 00001a3d: PUSH4 0x6425666b 00001a42: SWAP2 00001a43: PUSH1 0x04 00001a45: DUP1 00001a46: DUP4 00001a47: ADD 00001a48: SWAP3 00001a49: PUSH1 0x20 00001a4b: SWAP3 00001a4c: SWAP2 00001a4d: SWAP1 00001a4e: DUP3 00001a4f: SWAP1 00001a50: SUB 00001a51: ADD 00001a52: DUP2 00001a53: DUP7 00001a54: GAS 00001a55: STATICCALL 00001a56: ISZERO 00001a57: DUP1 00001a58: ISZERO 00001a59: PUSH2 0x1a64 00001a5c: JUMPI 00001a5d: RETURNDATASIZE 00001a5e: PUSH0 00001a5f: DUP1 00001a60: RETURNDATACOPY 00001a61: RETURNDATASIZE 00001a62: PUSH0 00001a63: REVERT 00001a64: JUMPDEST 00001a65: POP 00001a66: POP 00001a67: POP 00001a68: POP 00001a69: PUSH1 0x40 00001a6b: MLOAD 00001a6c: RETURNDATASIZE 00001a6d: PUSH1 0x1f 00001a6f: NOT 00001a70: PUSH1 0x1f 00001a72: DUP3 00001a73: ADD 00001a74: AND 00001a75: DUP3 00001a76: ADD 00001a77: DUP1 00001a78: PUSH1 0x40 00001a7a: MSTORE 00001a7b: POP 00001a7c: DUP2 00001a7d: ADD 00001a7e: SWAP1 00001a7f: PUSH2 0x1a88 00001a82: SWAP2 00001a83: SWAP1 00001a84: PUSH2 0x3115 00001a87: JUMP 00001a88: JUMPDEST 00001a89: PUSH1 0x01 00001a8b: PUSH1 0x01 00001a8d: PUSH1 0xa0 00001a8f: SHL 00001a90: SUB 00001a91: AND 00001a92: PUSH4 0x9b5f694a 00001a97: PUSH1 0x40 00001a99: MLOAD 00001a9a: DUP2 00001a9b: PUSH4 0xffffffff 00001aa0: AND 00001aa1: PUSH1 0xe0 00001aa3: SHL 00001aa4: DUP2 00001aa5: MSTORE 00001aa6: PUSH1 0x04 00001aa8: ADD 00001aa9: PUSH1 0x20 00001aab: PUSH1 0x40 00001aad: MLOAD 00001aae: DUP1 00001aaf: DUP4 00001ab0: SUB 00001ab1: DUP2 00001ab2: DUP7 00001ab3: GAS 00001ab4: STATICCALL 00001ab5: ISZERO 00001ab6: DUP1 00001ab7: ISZERO 00001ab8: PUSH2 0x18c1 00001abb: JUMPI 00001abc: RETURNDATASIZE 00001abd: PUSH0 00001abe: DUP1 00001abf: RETURNDATACOPY 00001ac0: RETURNDATASIZE 00001ac1: PUSH0 00001ac2: REVERT 00001ac3: JUMPDEST 00001ac4: PUSH0 00001ac5: DUP2 00001ac6: PUSH0 00001ac7: ADD 00001ac8: MLOAD 00001ac9: DUP3 00001aca: PUSH1 0x20 00001acc: ADD 00001acd: MLOAD 00001ace: DUP4 00001acf: PUSH1 0x40 00001ad1: ADD 00001ad2: MLOAD 00001ad3: DUP5 00001ad4: PUSH1 0x60 00001ad6: ADD 00001ad7: MLOAD 00001ad8: PUSH1 0x40 00001ada: MLOAD 00001adb: PUSH1 0x20 00001add: ADD 00001ade: PUSH2 0x1aea 00001ae1: SWAP5 00001ae2: SWAP4 00001ae3: SWAP3 00001ae4: SWAP2 00001ae5: SWAP1 00001ae6: PUSH2 0x315b 00001ae9: JUMP 00001aea: JUMPDEST 00001aeb: PUSH1 0x40 00001aed: MLOAD 00001aee: PUSH1 0x20 00001af0: DUP2 00001af1: DUP4 00001af2: SUB 00001af3: SUB 00001af4: DUP2 00001af5: MSTORE 00001af6: SWAP1 00001af7: PUSH1 0x40 00001af9: MSTORE 00001afa: DUP1 00001afb: MLOAD 00001afc: SWAP1 00001afd: PUSH1 0x20 00001aff: ADD 00001b00: KECCAK256 00001b01: SWAP1 00001b02: POP 00001b03: SWAP2 00001b04: SWAP1 00001b05: POP 00001b06: JUMP 00001b07: JUMPDEST 00001b08: PUSH0 00001b09: PUSH2 0x1b19 00001b0c: DUP3 00001b0d: PUSH4 0x01ffc9a7 00001b12: PUSH1 0xe0 00001b14: SHL 00001b15: PUSH2 0x1b39 00001b18: JUMP 00001b19: JUMPDEST 00001b1a: DUP1 00001b1b: ISZERO 00001b1c: PUSH2 0x111d 00001b1f: JUMPI 00001b20: POP 00001b21: PUSH2 0x1b32 00001b24: DUP3 00001b25: PUSH1 0x01 00001b27: PUSH1 0x01 00001b29: PUSH1 0xe0 00001b2b: SHL 00001b2c: SUB 00001b2d: NOT 00001b2e: PUSH2 0x1b39 00001b31: JUMP 00001b32: JUMPDEST 00001b33: ISZERO 00001b34: SWAP3 00001b35: SWAP2 00001b36: POP 00001b37: POP 00001b38: JUMP 00001b39: JUMPDEST 00001b3a: PUSH0 00001b3b: DUP1 00001b3c: DUP3 00001b3d: PUSH1 0x40 00001b3f: MLOAD 00001b40: PUSH1 0x24 00001b42: ADD 00001b43: PUSH2 0x1b4c 00001b46: SWAP2 00001b47: SWAP1 00001b48: PUSH2 0x31a0 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: PUSH1 0x40 00001b4f: DUP1 00001b50: MLOAD 00001b51: PUSH1 0x1f 00001b53: NOT 00001b54: DUP2 00001b55: DUP5 00001b56: SUB 00001b57: ADD 00001b58: DUP2 00001b59: MSTORE 00001b5a: SWAP2 00001b5b: SWAP1 00001b5c: MSTORE 00001b5d: PUSH1 0x20 00001b5f: DUP1 00001b60: DUP3 00001b61: ADD 00001b62: DUP1 00001b63: MLOAD 00001b64: PUSH1 0x01 00001b66: PUSH1 0x01 00001b68: PUSH1 0xe0 00001b6a: SHL 00001b6b: SUB 00001b6c: AND 00001b6d: PUSH4 0x01ffc9a7 00001b72: PUSH1 0xe0 00001b74: SHL 00001b75: OR 00001b76: DUP2 00001b77: MSTORE 00001b78: DUP3 00001b79: MLOAD 00001b7a: SWAP3 00001b7b: SWAP4 00001b7c: POP 00001b7d: PUSH0 00001b7e: SWAP3 00001b7f: DUP4 00001b80: SWAP3 00001b81: DUP4 00001b82: SWAP3 00001b83: SWAP1 00001b84: SWAP2 00001b85: DUP4 00001b86: SWAP2 00001b87: DUP11 00001b88: PUSH2 0x7530 00001b8b: STATICCALL 00001b8c: SWAP3 00001b8d: POP 00001b8e: RETURNDATASIZE 00001b8f: SWAP2 00001b90: POP 00001b91: PUSH0 00001b92: MLOAD 00001b93: SWAP1 00001b94: POP 00001b95: DUP3 00001b96: DUP1 00001b97: ISZERO 00001b98: PUSH2 0x1ba2 00001b9b: JUMPI 00001b9c: POP 00001b9d: PUSH1 0x20 00001b9f: DUP3 00001ba0: LT 00001ba1: ISZERO 00001ba2: JUMPDEST 00001ba3: DUP1 00001ba4: ISZERO 00001ba5: PUSH2 0x1bad 00001ba8: JUMPI 00001ba9: POP 00001baa: PUSH0 00001bab: DUP2 00001bac: GT 00001bad: JUMPDEST 00001bae: SWAP8 00001baf: SWAP7 00001bb0: POP 00001bb1: POP 00001bb2: POP 00001bb3: POP 00001bb4: POP 00001bb5: POP 00001bb6: POP 00001bb7: JUMP 00001bb8: JUMPDEST 00001bb9: PUSH1 0x60 00001bbb: PUSH2 0x1945 00001bbe: DUP4 00001bbf: DUP4 00001bc0: PUSH0 00001bc1: DUP5 00001bc2: PUSH0 00001bc3: DUP1 00001bc4: DUP6 00001bc5: PUSH1 0x01 00001bc7: PUSH1 0x01 00001bc9: PUSH1 0xa0 00001bcb: SHL 00001bcc: SUB 00001bcd: AND 00001bce: DUP5 00001bcf: DUP7 00001bd0: PUSH1 0x40 00001bd2: MLOAD 00001bd3: PUSH2 0x1bdc 00001bd6: SWAP2 00001bd7: SWAP1 00001bd8: PUSH2 0x31cf 00001bdb: JUMP 00001bdc: JUMPDEST 00001bdd: PUSH0 00001bde: PUSH1 0x40 00001be0: MLOAD 00001be1: DUP1 00001be2: DUP4 00001be3: SUB 00001be4: DUP2 00001be5: DUP6 00001be6: DUP8 00001be7: GAS 00001be8: CALL 00001be9: SWAP3 00001bea: POP 00001beb: POP 00001bec: POP 00001bed: RETURNDATASIZE 00001bee: DUP1 00001bef: PUSH0 00001bf0: DUP2 00001bf1: EQ 00001bf2: PUSH2 0x1c16 00001bf5: JUMPI 00001bf6: PUSH1 0x40 00001bf8: MLOAD 00001bf9: SWAP2 00001bfa: POP 00001bfb: PUSH1 0x1f 00001bfd: NOT 00001bfe: PUSH1 0x3f 00001c00: RETURNDATASIZE 00001c01: ADD 00001c02: AND 00001c03: DUP3 00001c04: ADD 00001c05: PUSH1 0x40 00001c07: MSTORE 00001c08: RETURNDATASIZE 00001c09: DUP3 00001c0a: MSTORE 00001c0b: RETURNDATASIZE 00001c0c: PUSH0 00001c0d: PUSH1 0x20 00001c0f: DUP5 00001c10: ADD 00001c11: RETURNDATACOPY 00001c12: PUSH2 0x1c1b 00001c15: JUMP 00001c16: JUMPDEST 00001c17: PUSH1 0x60 00001c19: SWAP2 00001c1a: POP 00001c1b: JUMPDEST 00001c1c: POP 00001c1d: SWAP2 00001c1e: POP 00001c1f: SWAP2 00001c20: POP 00001c21: PUSH2 0x1c2b 00001c24: DUP7 00001c25: DUP4 00001c26: DUP4 00001c27: PUSH2 0x1c35 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: SWAP7 00001c2d: SWAP6 00001c2e: POP 00001c2f: POP 00001c30: POP 00001c31: POP 00001c32: POP 00001c33: POP 00001c34: JUMP 00001c35: JUMPDEST 00001c36: PUSH1 0x60 00001c38: DUP3 00001c39: PUSH2 0x1c4a 00001c3c: JUMPI 00001c3d: PUSH2 0x1c45 00001c40: DUP3 00001c41: PUSH2 0x1c88 00001c44: JUMP 00001c45: JUMPDEST 00001c46: PUSH2 0x1945 00001c49: JUMP 00001c4a: JUMPDEST 00001c4b: DUP2 00001c4c: MLOAD 00001c4d: ISZERO 00001c4e: DUP1 00001c4f: ISZERO 00001c50: PUSH2 0x1c61 00001c53: JUMPI 00001c54: POP 00001c55: PUSH1 0x01 00001c57: PUSH1 0x01 00001c59: PUSH1 0xa0 00001c5b: SHL 00001c5c: SUB 00001c5d: DUP5 00001c5e: AND 00001c5f: EXTCODESIZE 00001c60: ISZERO 00001c61: JUMPDEST 00001c62: ISZERO 00001c63: PUSH2 0x1c81 00001c66: JUMPI 00001c67: DUP4 00001c68: PUSH1 0x40 00001c6a: MLOAD 00001c6b: PUSH4 0x9996b315 00001c70: PUSH1 0xe0 00001c72: SHL 00001c73: DUP2 00001c74: MSTORE 00001c75: PUSH1 0x04 00001c77: ADD 00001c78: PUSH2 0x013c 00001c7b: SWAP2 00001c7c: SWAP1 00001c7d: PUSH2 0x29df 00001c80: JUMP 00001c81: JUMPDEST 00001c82: POP 00001c83: DUP1 00001c84: PUSH2 0x1945 00001c87: JUMP 00001c88: JUMPDEST 00001c89: DUP1 00001c8a: MLOAD 00001c8b: ISZERO 00001c8c: PUSH2 0x1c98 00001c8f: JUMPI 00001c90: DUP1 00001c91: MLOAD 00001c92: DUP1 00001c93: DUP3 00001c94: PUSH1 0x20 00001c96: ADD 00001c97: REVERT 00001c98: JUMPDEST 00001c99: PUSH1 0x40 00001c9b: MLOAD 00001c9c: PUSH4 0x0a12f521 00001ca1: PUSH1 0xe1 00001ca3: SHL 00001ca4: DUP2 00001ca5: MSTORE 00001ca6: PUSH1 0x04 00001ca8: ADD 00001ca9: PUSH1 0x40 00001cab: MLOAD 00001cac: DUP1 00001cad: SWAP2 00001cae: SUB 00001caf: SWAP1 00001cb0: REVERT 00001cb1: JUMPDEST 00001cb2: POP 00001cb3: JUMP 00001cb4: JUMPDEST 00001cb5: PUSH1 0x37 00001cb7: DUP2 00001cb8: MSTORE 00001cb9: PUSH0 00001cba: PUSH1 0x20 00001cbc: DUP3 00001cbd: ADD 00001cbe: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00001d02: PUSH1 0x20 00001d04: DUP3 00001d05: ADD 00001d06: MSTORE 00001d07: SWAP2 00001d08: POP 00001d09: JUMPDEST 00001d0a: POP 00001d0b: PUSH1 0x40 00001d0d: ADD 00001d0e: SWAP1 00001d0f: JUMP 00001d10: JUMPDEST 00001d11: PUSH1 0x20 00001d13: DUP1 00001d14: DUP3 00001d15: MSTORE 00001d16: DUP2 00001d17: ADD 00001d18: PUSH2 0x111d 00001d1b: DUP2 00001d1c: PUSH2 0x1cb4 00001d1f: JUMP 00001d20: JUMPDEST 00001d21: PUSH0 00001d22: PUSH1 0x01 00001d24: PUSH1 0x01 00001d26: PUSH1 0xa0 00001d28: SHL 00001d29: SUB 00001d2a: DUP3 00001d2b: AND 00001d2c: PUSH2 0x111d 00001d2f: JUMP 00001d30: JUMPDEST 00001d31: PUSH2 0x1d39 00001d34: DUP2 00001d35: PUSH2 0x1d20 00001d38: JUMP 00001d39: JUMPDEST 00001d3a: DUP2 00001d3b: EQ 00001d3c: PUSH2 0x1cb1 00001d3f: JUMPI 00001d40: PUSH0 00001d41: DUP1 00001d42: REVERT 00001d43: JUMPDEST 00001d44: DUP1 00001d45: CALLDATALOAD 00001d46: PUSH2 0x111d 00001d49: DUP2 00001d4a: PUSH2 0x1d30 00001d4d: JUMP 00001d4e: JUMPDEST 00001d4f: DUP1 00001d50: PUSH2 0x1d39 00001d53: JUMP 00001d54: JUMPDEST 00001d55: DUP1 00001d56: CALLDATALOAD 00001d57: PUSH2 0x111d 00001d5a: DUP2 00001d5b: PUSH2 0x1d4e 00001d5e: JUMP 00001d5f: JUMPDEST 00001d60: PUSH0 00001d61: DUP1 00001d62: DUP4 00001d63: PUSH1 0x1f 00001d65: DUP5 00001d66: ADD 00001d67: SLT 00001d68: PUSH2 0x1d72 00001d6b: JUMPI 00001d6c: PUSH2 0x1d72 00001d6f: PUSH0 00001d70: DUP1 00001d71: REVERT 00001d72: JUMPDEST 00001d73: POP 00001d74: DUP2 00001d75: CALLDATALOAD 00001d76: PUSH1 0x01 00001d78: PUSH1 0x01 00001d7a: PUSH1 0x40 00001d7c: SHL 00001d7d: SUB 00001d7e: DUP2 00001d7f: GT 00001d80: ISZERO 00001d81: PUSH2 0x1d8b 00001d84: JUMPI 00001d85: PUSH2 0x1d8b 00001d88: PUSH0 00001d89: DUP1 00001d8a: REVERT 00001d8b: JUMPDEST 00001d8c: PUSH1 0x20 00001d8e: DUP4 00001d8f: ADD 00001d90: SWAP2 00001d91: POP 00001d92: DUP4 00001d93: PUSH1 0x01 00001d95: DUP3 00001d96: MUL 00001d97: DUP4 00001d98: ADD 00001d99: GT 00001d9a: ISZERO 00001d9b: PUSH2 0x1da5 00001d9e: JUMPI 00001d9f: PUSH2 0x1da5 00001da2: PUSH0 00001da3: DUP1 00001da4: REVERT 00001da5: JUMPDEST 00001da6: SWAP3 00001da7: POP 00001da8: SWAP3 00001da9: SWAP1 00001daa: POP 00001dab: JUMP 00001dac: JUMPDEST 00001dad: PUSH0 00001dae: DUP1 00001daf: PUSH0 00001db0: DUP1 00001db1: PUSH0 00001db2: DUP1 00001db3: PUSH0 00001db4: PUSH1 0xc0 00001db6: DUP9 00001db7: DUP11 00001db8: SUB 00001db9: SLT 00001dba: ISZERO 00001dbb: PUSH2 0x1dc5 00001dbe: JUMPI 00001dbf: PUSH2 0x1dc5 00001dc2: PUSH0 00001dc3: DUP1 00001dc4: REVERT 00001dc5: JUMPDEST 00001dc6: PUSH0 00001dc7: PUSH2 0x1dd0 00001dca: DUP11 00001dcb: DUP11 00001dcc: PUSH2 0x1d43 00001dcf: JUMP 00001dd0: JUMPDEST 00001dd1: SWAP8 00001dd2: POP 00001dd3: POP 00001dd4: PUSH1 0x20 00001dd6: PUSH2 0x1de1 00001dd9: DUP11 00001dda: DUP3 00001ddb: DUP12 00001ddc: ADD 00001ddd: PUSH2 0x1d43 00001de0: JUMP 00001de1: JUMPDEST 00001de2: SWAP7 00001de3: POP 00001de4: POP 00001de5: PUSH1 0x40 00001de7: PUSH2 0x1df2 00001dea: DUP11 00001deb: DUP3 00001dec: DUP12 00001ded: ADD 00001dee: PUSH2 0x1d43 00001df1: JUMP 00001df2: JUMPDEST 00001df3: SWAP6 00001df4: POP 00001df5: POP 00001df6: PUSH1 0x60 00001df8: PUSH2 0x1e03 00001dfb: DUP11 00001dfc: DUP3 00001dfd: DUP12 00001dfe: ADD 00001dff: PUSH2 0x1d43 00001e02: JUMP 00001e03: JUMPDEST 00001e04: SWAP5 00001e05: POP 00001e06: POP 00001e07: PUSH1 0x80 00001e09: PUSH2 0x1e14 00001e0c: DUP11 00001e0d: DUP3 00001e0e: DUP12 00001e0f: ADD 00001e10: PUSH2 0x1d54 00001e13: JUMP 00001e14: JUMPDEST 00001e15: SWAP4 00001e16: POP 00001e17: POP 00001e18: PUSH1 0xa0 00001e1a: DUP9 00001e1b: ADD 00001e1c: CALLDATALOAD 00001e1d: PUSH1 0x01 00001e1f: PUSH1 0x01 00001e21: PUSH1 0x40 00001e23: SHL 00001e24: SUB 00001e25: DUP2 00001e26: GT 00001e27: ISZERO 00001e28: PUSH2 0x1e32 00001e2b: JUMPI 00001e2c: PUSH2 0x1e32 00001e2f: PUSH0 00001e30: DUP1 00001e31: REVERT 00001e32: JUMPDEST 00001e33: PUSH2 0x1e3e 00001e36: DUP11 00001e37: DUP3 00001e38: DUP12 00001e39: ADD 00001e3a: PUSH2 0x1d5f 00001e3d: JUMP 00001e3e: JUMPDEST 00001e3f: SWAP3 00001e40: POP 00001e41: SWAP3 00001e42: POP 00001e43: POP 00001e44: SWAP3 00001e45: SWAP6 00001e46: SWAP9 00001e47: SWAP2 00001e48: SWAP5 00001e49: SWAP8 00001e4a: POP 00001e4b: SWAP3 00001e4c: SWAP6 00001e4d: POP 00001e4e: JUMP 00001e4f: JUMPDEST 00001e50: PUSH4 0xffffffff 00001e55: DUP2 00001e56: AND 00001e57: PUSH2 0x1d39 00001e5a: JUMP 00001e5b: JUMPDEST 00001e5c: DUP1 00001e5d: CALLDATALOAD 00001e5e: PUSH2 0x111d 00001e61: DUP2 00001e62: PUSH2 0x1e4f 00001e65: JUMP 00001e66: JUMPDEST 00001e67: PUSH0 00001e68: DUP1 00001e69: PUSH0 00001e6a: PUSH1 0x40 00001e6c: DUP5 00001e6d: DUP7 00001e6e: SUB 00001e6f: SLT 00001e70: ISZERO 00001e71: PUSH2 0x1e7b 00001e74: JUMPI 00001e75: PUSH2 0x1e7b 00001e78: PUSH0 00001e79: DUP1 00001e7a: REVERT 00001e7b: JUMPDEST 00001e7c: PUSH0 00001e7d: PUSH2 0x1e86 00001e80: DUP7 00001e81: DUP7 00001e82: PUSH2 0x1e5b 00001e85: JUMP 00001e86: JUMPDEST 00001e87: SWAP4 00001e88: POP 00001e89: POP 00001e8a: PUSH1 0x20 00001e8c: DUP5 00001e8d: ADD 00001e8e: CALLDATALOAD 00001e8f: PUSH1 0x01 00001e91: PUSH1 0x01 00001e93: PUSH1 0x40 00001e95: SHL 00001e96: SUB 00001e97: DUP2 00001e98: GT 00001e99: ISZERO 00001e9a: PUSH2 0x1ea4 00001e9d: JUMPI 00001e9e: PUSH2 0x1ea4 00001ea1: PUSH0 00001ea2: DUP1 00001ea3: REVERT 00001ea4: JUMPDEST 00001ea5: PUSH2 0x1eb0 00001ea8: DUP7 00001ea9: DUP3 00001eaa: DUP8 00001eab: ADD 00001eac: PUSH2 0x1d5f 00001eaf: JUMP 00001eb0: JUMPDEST 00001eb1: SWAP3 00001eb2: POP 00001eb3: SWAP3 00001eb4: POP 00001eb5: POP 00001eb6: SWAP3 00001eb7: POP 00001eb8: SWAP3 00001eb9: POP 00001eba: SWAP3 00001ebb: JUMP 00001ebc: JUMPDEST 00001ebd: PUSH0 00001ebe: DUP1 00001ebf: PUSH0 00001ec0: DUP1 00001ec1: PUSH0 00001ec2: PUSH1 0x80 00001ec4: DUP7 00001ec5: DUP9 00001ec6: SUB 00001ec7: SLT 00001ec8: ISZERO 00001ec9: PUSH2 0x1ed3 00001ecc: JUMPI 00001ecd: PUSH2 0x1ed3 00001ed0: PUSH0 00001ed1: DUP1 00001ed2: REVERT 00001ed3: JUMPDEST 00001ed4: PUSH0 00001ed5: PUSH2 0x1ede 00001ed8: DUP9 00001ed9: DUP9 00001eda: PUSH2 0x1d43 00001edd: JUMP 00001ede: JUMPDEST 00001edf: SWAP6 00001ee0: POP 00001ee1: POP 00001ee2: PUSH1 0x20 00001ee4: PUSH2 0x1eef 00001ee7: DUP9 00001ee8: DUP3 00001ee9: DUP10 00001eea: ADD 00001eeb: PUSH2 0x1d43 00001eee: JUMP 00001eef: JUMPDEST 00001ef0: SWAP5 00001ef1: POP 00001ef2: POP 00001ef3: PUSH1 0x40 00001ef5: PUSH2 0x1f00 00001ef8: DUP9 00001ef9: DUP3 00001efa: DUP10 00001efb: ADD 00001efc: PUSH2 0x1d54 00001eff: JUMP 00001f00: JUMPDEST 00001f01: SWAP4 00001f02: POP 00001f03: POP 00001f04: PUSH1 0x60 00001f06: DUP7 00001f07: ADD 00001f08: CALLDATALOAD 00001f09: PUSH1 0x01 00001f0b: PUSH1 0x01 00001f0d: PUSH1 0x40 00001f0f: SHL 00001f10: SUB 00001f11: DUP2 00001f12: GT 00001f13: ISZERO 00001f14: PUSH2 0x1f1e 00001f17: JUMPI 00001f18: PUSH2 0x1f1e 00001f1b: PUSH0 00001f1c: DUP1 00001f1d: REVERT 00001f1e: JUMPDEST 00001f1f: PUSH2 0x1f2a 00001f22: DUP9 00001f23: DUP3 00001f24: DUP10 00001f25: ADD 00001f26: PUSH2 0x1d5f 00001f29: JUMP 00001f2a: JUMPDEST 00001f2b: SWAP3 00001f2c: POP 00001f2d: SWAP3 00001f2e: POP 00001f2f: POP 00001f30: SWAP3 00001f31: SWAP6 00001f32: POP 00001f33: SWAP3 00001f34: SWAP6 00001f35: SWAP1 00001f36: SWAP4 00001f37: POP 00001f38: JUMP 00001f39: JUMPDEST 00001f3a: PUSH1 0x01 00001f3c: PUSH1 0x01 00001f3e: PUSH1 0xa0 00001f40: SHL 00001f41: SUB 00001f42: AND 00001f43: SWAP1 00001f44: JUMP 00001f45: JUMPDEST 00001f46: PUSH0 00001f47: PUSH2 0x111d 00001f4a: DUP3 00001f4b: PUSH0 00001f4c: PUSH2 0x111d 00001f4f: PUSH1 0x01 00001f51: PUSH1 0x01 00001f53: PUSH1 0xa0 00001f55: SHL 00001f56: SUB 00001f57: DUP4 00001f58: AND 00001f59: PUSH2 0x1f39 00001f5c: JUMP 00001f5d: JUMPDEST 00001f5e: PUSH0 00001f5f: PUSH2 0x111d 00001f62: DUP3 00001f63: PUSH2 0x1f45 00001f66: JUMP 00001f67: JUMPDEST 00001f68: PUSH2 0x1f70 00001f6b: DUP2 00001f6c: PUSH2 0x1f5d 00001f6f: JUMP 00001f70: JUMPDEST 00001f71: DUP3 00001f72: MSTORE 00001f73: POP 00001f74: POP 00001f75: JUMP 00001f76: JUMPDEST 00001f77: PUSH1 0x20 00001f79: DUP2 00001f7a: ADD 00001f7b: PUSH2 0x111d 00001f7e: DUP3 00001f7f: DUP5 00001f80: PUSH2 0x1f67 00001f83: JUMP 00001f84: JUMPDEST 00001f85: PUSH0 00001f86: PUSH2 0x111d 00001f89: DUP3 00001f8a: PUSH2 0x1d20 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: PUSH2 0x1d39 00001f92: DUP2 00001f93: PUSH2 0x1f84 00001f96: JUMP 00001f97: JUMPDEST 00001f98: DUP1 00001f99: CALLDATALOAD 00001f9a: PUSH2 0x111d 00001f9d: DUP2 00001f9e: PUSH2 0x1f8e 00001fa1: JUMP 00001fa2: JUMPDEST 00001fa3: PUSH0 00001fa4: DUP1 00001fa5: PUSH1 0x40 00001fa7: DUP4 00001fa8: DUP6 00001fa9: SUB 00001faa: SLT 00001fab: ISZERO 00001fac: PUSH2 0x1fb6 00001faf: JUMPI 00001fb0: PUSH2 0x1fb6 00001fb3: PUSH0 00001fb4: DUP1 00001fb5: REVERT 00001fb6: JUMPDEST 00001fb7: PUSH0 00001fb8: PUSH2 0x1fc1 00001fbb: DUP6 00001fbc: DUP6 00001fbd: PUSH2 0x1f97 00001fc0: JUMP 00001fc1: JUMPDEST 00001fc2: SWAP3 00001fc3: POP 00001fc4: POP 00001fc5: PUSH1 0x20 00001fc7: PUSH2 0x1fd2 00001fca: DUP6 00001fcb: DUP3 00001fcc: DUP7 00001fcd: ADD 00001fce: PUSH2 0x1f97 00001fd1: JUMP 00001fd2: JUMPDEST 00001fd3: SWAP2 00001fd4: POP 00001fd5: POP 00001fd6: SWAP3 00001fd7: POP 00001fd8: SWAP3 00001fd9: SWAP1 00001fda: POP 00001fdb: JUMP 00001fdc: JUMPDEST 00001fdd: PUSH0 00001fde: DUP1 00001fdf: PUSH0 00001fe0: DUP1 00001fe1: PUSH0 00001fe2: DUP1 00001fe3: PUSH0 00001fe4: PUSH1 0xc0 00001fe6: DUP9 00001fe7: DUP11 00001fe8: SUB 00001fe9: SLT 00001fea: ISZERO 00001feb: PUSH2 0x1ff5 00001fee: JUMPI 00001fef: PUSH2 0x1ff5 00001ff2: PUSH0 00001ff3: DUP1 00001ff4: REVERT 00001ff5: JUMPDEST 00001ff6: PUSH0 00001ff7: PUSH2 0x2000 00001ffa: DUP11 00001ffb: DUP11 00001ffc: PUSH2 0x1d43 00001fff: JUMP 00002000: JUMPDEST 00002001: SWAP8 00002002: POP 00002003: POP 00002004: PUSH1 0x20 00002006: PUSH2 0x2011 00002009: DUP11 0000200a: DUP3 0000200b: DUP12 0000200c: ADD 0000200d: PUSH2 0x1d43 00002010: JUMP 00002011: JUMPDEST 00002012: SWAP7 00002013: POP 00002014: POP 00002015: PUSH1 0x40 00002017: PUSH2 0x2022 0000201a: DUP11 0000201b: DUP3 0000201c: DUP12 0000201d: ADD 0000201e: PUSH2 0x1d43 00002021: JUMP 00002022: JUMPDEST 00002023: SWAP6 00002024: POP 00002025: POP 00002026: PUSH1 0x60 00002028: PUSH2 0x2033 0000202b: DUP11 0000202c: DUP3 0000202d: DUP12 0000202e: ADD 0000202f: PUSH2 0x1d54 00002032: JUMP 00002033: JUMPDEST 00002034: SWAP5 00002035: POP 00002036: POP 00002037: PUSH1 0x80 00002039: PUSH2 0x1e14 0000203c: DUP11 0000203d: DUP3 0000203e: DUP12 0000203f: ADD 00002040: PUSH2 0x1e5b 00002043: JUMP 00002044: JUMPDEST 00002045: PUSH0 00002046: JUMPDEST 00002047: DUP4 00002048: DUP2 00002049: LT 0000204a: ISZERO 0000204b: PUSH2 0x205e 0000204e: JUMPI 0000204f: DUP2 00002050: DUP2 00002051: ADD 00002052: MLOAD 00002053: DUP4 00002054: DUP3 00002055: ADD 00002056: MSTORE 00002057: PUSH1 0x20 00002059: ADD 0000205a: PUSH2 0x2046 0000205d: JUMP 0000205e: JUMPDEST 0000205f: POP 00002060: POP 00002061: PUSH0 00002062: SWAP2 00002063: ADD 00002064: MSTORE 00002065: JUMP 00002066: JUMPDEST 00002067: PUSH0 00002068: PUSH2 0x206f 0000206b: DUP3 0000206c: MLOAD 0000206d: SWAP1 0000206e: JUMP 0000206f: JUMPDEST 00002070: DUP1 00002071: DUP5 00002072: MSTORE 00002073: PUSH1 0x20 00002075: DUP5 00002076: ADD 00002077: SWAP4 00002078: POP 00002079: PUSH2 0x2086 0000207c: DUP2 0000207d: DUP6 0000207e: PUSH1 0x20 00002080: DUP7 00002081: ADD 00002082: PUSH2 0x2044 00002085: JUMP 00002086: JUMPDEST 00002087: PUSH1 0x1f 00002089: NOT 0000208a: PUSH1 0x1f 0000208c: DUP3 0000208d: ADD 0000208e: AND 0000208f: JUMPDEST 00002090: SWAP1 00002091: SWAP4 00002092: ADD 00002093: SWAP4 00002094: SWAP3 00002095: POP 00002096: POP 00002097: POP 00002098: JUMP 00002099: JUMPDEST 0000209a: PUSH1 0x20 0000209c: DUP1 0000209d: DUP3 0000209e: MSTORE 0000209f: DUP2 000020a0: ADD 000020a1: PUSH2 0x1945 000020a4: DUP2 000020a5: DUP5 000020a6: PUSH2 0x2066 000020a9: JUMP 000020aa: JUMPDEST 000020ab: DUP1 000020ac: ISZERO 000020ad: ISZERO 000020ae: PUSH2 0x1f70 000020b1: JUMP 000020b2: JUMPDEST 000020b3: PUSH1 0x20 000020b5: DUP2 000020b6: ADD 000020b7: PUSH2 0x111d 000020ba: DUP3 000020bb: DUP5 000020bc: PUSH2 0x20aa 000020bf: JUMP 000020c0: JUMPDEST 000020c1: DUP1 000020c2: ISZERO 000020c3: ISZERO 000020c4: PUSH2 0x1d39 000020c7: JUMP 000020c8: JUMPDEST 000020c9: DUP1 000020ca: CALLDATALOAD 000020cb: PUSH2 0x111d 000020ce: DUP2 000020cf: PUSH2 0x20c0 000020d2: JUMP 000020d3: JUMPDEST 000020d4: PUSH0 000020d5: PUSH1 0x80 000020d7: DUP3 000020d8: DUP5 000020d9: SUB 000020da: SLT 000020db: ISZERO 000020dc: PUSH2 0x20e6 000020df: JUMPI 000020e0: PUSH2 0x20e6 000020e3: PUSH0 000020e4: DUP1 000020e5: REVERT 000020e6: JUMPDEST 000020e7: POP 000020e8: SWAP2 000020e9: SWAP1 000020ea: POP 000020eb: JUMP 000020ec: JUMPDEST 000020ed: PUSH0 000020ee: DUP1 000020ef: DUP4 000020f0: PUSH1 0x1f 000020f2: DUP5 000020f3: ADD 000020f4: SLT 000020f5: PUSH2 0x20ff 000020f8: JUMPI 000020f9: PUSH2 0x20ff 000020fc: PUSH0 000020fd: DUP1 000020fe: REVERT 000020ff: JUMPDEST 00002100: POP 00002101: DUP2 00002102: CALLDATALOAD 00002103: PUSH1 0x01 00002105: PUSH1 0x01 00002107: PUSH1 0x40 00002109: SHL 0000210a: SUB 0000210b: DUP2 0000210c: GT 0000210d: ISZERO 0000210e: PUSH2 0x2118 00002111: JUMPI 00002112: PUSH2 0x2118 00002115: PUSH0 00002116: DUP1 00002117: REVERT 00002118: JUMPDEST 00002119: PUSH1 0x20 0000211b: DUP4 0000211c: ADD 0000211d: SWAP2 0000211e: POP 0000211f: DUP4 00002120: PUSH1 0x20 00002122: DUP3 00002123: MUL 00002124: DUP4 00002125: ADD 00002126: GT 00002127: ISZERO 00002128: PUSH2 0x1da5 0000212b: JUMPI 0000212c: PUSH2 0x1da5 0000212f: PUSH0 00002130: DUP1 00002131: REVERT 00002132: JUMPDEST 00002133: PUSH0 00002134: DUP1 00002135: PUSH0 00002136: DUP1 00002137: PUSH0 00002138: DUP1 00002139: PUSH0 0000213a: DUP1 0000213b: PUSH0 0000213c: DUP1 0000213d: PUSH2 0x01c0 00002140: DUP12 00002141: DUP14 00002142: SUB 00002143: SLT 00002144: ISZERO 00002145: PUSH2 0x214f 00002148: JUMPI 00002149: PUSH2 0x214f 0000214c: PUSH0 0000214d: DUP1 0000214e: REVERT 0000214f: JUMPDEST 00002150: PUSH0 00002151: PUSH2 0x215a 00002154: DUP14 00002155: DUP14 00002156: PUSH2 0x1d43 00002159: JUMP 0000215a: JUMPDEST 0000215b: SWAP11 0000215c: POP 0000215d: POP 0000215e: PUSH1 0x20 00002160: PUSH2 0x216b 00002163: DUP14 00002164: DUP3 00002165: DUP15 00002166: ADD 00002167: PUSH2 0x1d43 0000216a: JUMP 0000216b: JUMPDEST 0000216c: SWAP10 0000216d: POP 0000216e: POP 0000216f: PUSH1 0x40 00002171: PUSH2 0x217c 00002174: DUP14 00002175: DUP3 00002176: DUP15 00002177: ADD 00002178: PUSH2 0x20c8 0000217b: JUMP 0000217c: JUMPDEST 0000217d: SWAP9 0000217e: POP 0000217f: POP 00002180: PUSH1 0x60 00002182: PUSH2 0x218d 00002185: DUP14 00002186: DUP3 00002187: DUP15 00002188: ADD 00002189: PUSH2 0x20d3 0000218c: JUMP 0000218d: JUMPDEST 0000218e: SWAP8 0000218f: POP 00002190: POP 00002191: PUSH1 0xe0 00002193: PUSH2 0x219e 00002196: DUP14 00002197: DUP3 00002198: DUP15 00002199: ADD 0000219a: PUSH2 0x20d3 0000219d: JUMP 0000219e: JUMPDEST 0000219f: SWAP7 000021a0: POP 000021a1: POP 000021a2: PUSH2 0x0160 000021a5: DUP12 000021a6: ADD 000021a7: CALLDATALOAD 000021a8: PUSH1 0x01 000021aa: PUSH1 0x01 000021ac: PUSH1 0x40 000021ae: SHL 000021af: SUB 000021b0: DUP2 000021b1: GT 000021b2: ISZERO 000021b3: PUSH2 0x21bd 000021b6: JUMPI 000021b7: PUSH2 0x21bd 000021ba: PUSH0 000021bb: DUP1 000021bc: REVERT 000021bd: JUMPDEST 000021be: PUSH2 0x21c9 000021c1: DUP14 000021c2: DUP3 000021c3: DUP15 000021c4: ADD 000021c5: PUSH2 0x20ec 000021c8: JUMP 000021c9: JUMPDEST 000021ca: SWAP6 000021cb: POP 000021cc: SWAP6 000021cd: POP 000021ce: POP 000021cf: PUSH2 0x0180 000021d2: PUSH2 0x21dd 000021d5: DUP14 000021d6: DUP3 000021d7: DUP15 000021d8: ADD 000021d9: PUSH2 0x1d54 000021dc: JUMP 000021dd: JUMPDEST 000021de: SWAP4 000021df: POP 000021e0: POP 000021e1: PUSH2 0x01a0 000021e4: DUP12 000021e5: ADD 000021e6: CALLDATALOAD 000021e7: PUSH1 0x01 000021e9: PUSH1 0x01 000021eb: PUSH1 0x40 000021ed: SHL 000021ee: SUB 000021ef: DUP2 000021f0: GT 000021f1: ISZERO 000021f2: PUSH2 0x21fc 000021f5: JUMPI 000021f6: PUSH2 0x21fc 000021f9: PUSH0 000021fa: DUP1 000021fb: REVERT 000021fc: JUMPDEST 000021fd: PUSH2 0x2208 00002200: DUP14 00002201: DUP3 00002202: DUP15 00002203: ADD 00002204: PUSH2 0x20ec 00002207: JUMP 00002208: JUMPDEST 00002209: SWAP3 0000220a: POP 0000220b: SWAP3 0000220c: POP 0000220d: POP 0000220e: SWAP3 0000220f: SWAP6 00002210: SWAP9 00002211: SWAP12 00002212: SWAP2 00002213: SWAP5 00002214: SWAP8 00002215: SWAP11 00002216: POP 00002217: SWAP3 00002218: SWAP6 00002219: SWAP9 0000221a: POP 0000221b: JUMP 0000221c: JUMPDEST 0000221d: PUSH0 0000221e: DUP1 0000221f: PUSH0 00002220: DUP1 00002221: PUSH0 00002222: DUP1 00002223: PUSH1 0xa0 00002225: DUP8 00002226: DUP10 00002227: SUB 00002228: SLT 00002229: ISZERO 0000222a: PUSH2 0x2234 0000222d: JUMPI 0000222e: PUSH2 0x2234 00002231: PUSH0 00002232: DUP1 00002233: REVERT 00002234: JUMPDEST 00002235: PUSH0 00002236: PUSH2 0x223f 00002239: DUP10 0000223a: DUP10 0000223b: PUSH2 0x1d43 0000223e: JUMP 0000223f: JUMPDEST 00002240: SWAP7 00002241: POP 00002242: POP 00002243: PUSH1 0x20 00002245: PUSH2 0x2250 00002248: DUP10 00002249: DUP3 0000224a: DUP11 0000224b: ADD 0000224c: PUSH2 0x1d43 0000224f: JUMP 00002250: JUMPDEST 00002251: SWAP6 00002252: POP 00002253: POP 00002254: PUSH1 0x40 00002256: PUSH2 0x2261 00002259: DUP10 0000225a: DUP3 0000225b: DUP11 0000225c: ADD 0000225d: PUSH2 0x1d54 00002260: JUMP 00002261: JUMPDEST 00002262: SWAP5 00002263: POP 00002264: POP 00002265: PUSH1 0x60 00002267: PUSH2 0x2272 0000226a: DUP10 0000226b: DUP3 0000226c: DUP11 0000226d: ADD 0000226e: PUSH2 0x1e5b 00002271: JUMP 00002272: JUMPDEST 00002273: SWAP4 00002274: POP 00002275: POP 00002276: PUSH1 0x80 00002278: DUP8 00002279: ADD 0000227a: CALLDATALOAD 0000227b: PUSH1 0x01 0000227d: PUSH1 0x01 0000227f: PUSH1 0x40 00002281: SHL 00002282: SUB 00002283: DUP2 00002284: GT 00002285: ISZERO 00002286: PUSH2 0x2290 00002289: JUMPI 0000228a: PUSH2 0x2290 0000228d: PUSH0 0000228e: DUP1 0000228f: REVERT 00002290: JUMPDEST 00002291: PUSH2 0x229c 00002294: DUP10 00002295: DUP3 00002296: DUP11 00002297: ADD 00002298: PUSH2 0x1d5f 0000229b: JUMP 0000229c: JUMPDEST 0000229d: SWAP3 0000229e: POP 0000229f: SWAP3 000022a0: POP 000022a1: POP 000022a2: SWAP3 000022a3: SWAP6 000022a4: POP 000022a5: SWAP3 000022a6: SWAP6 000022a7: POP 000022a8: SWAP3 000022a9: SWAP6 000022aa: JUMP 000022ab: JUMPDEST 000022ac: PUSH0 000022ad: DUP1 000022ae: PUSH1 0x40 000022b0: DUP4 000022b1: DUP6 000022b2: SUB 000022b3: SLT 000022b4: ISZERO 000022b5: PUSH2 0x22bf 000022b8: JUMPI 000022b9: PUSH2 0x22bf 000022bc: PUSH0 000022bd: DUP1 000022be: REVERT 000022bf: JUMPDEST 000022c0: PUSH0 000022c1: PUSH2 0x22ca 000022c4: DUP6 000022c5: DUP6 000022c6: PUSH2 0x1d43 000022c9: JUMP 000022ca: JUMPDEST 000022cb: SWAP3 000022cc: POP 000022cd: POP 000022ce: PUSH1 0x20 000022d0: PUSH2 0x1fd2 000022d3: DUP6 000022d4: DUP3 000022d5: DUP7 000022d6: ADD 000022d7: PUSH2 0x1d43 000022da: JUMP 000022db: JUMPDEST 000022dc: DUP1 000022dd: PUSH2 0x1f70 000022e0: JUMP 000022e1: JUMPDEST 000022e2: PUSH1 0x20 000022e4: DUP2 000022e5: ADD 000022e6: PUSH2 0x111d 000022e9: DUP3 000022ea: DUP5 000022eb: PUSH2 0x22db 000022ee: JUMP 000022ef: JUMPDEST 000022f0: PUSH0 000022f1: PUSH1 0x40 000022f3: DUP3 000022f4: DUP5 000022f5: SUB 000022f6: SLT 000022f7: ISZERO 000022f8: PUSH2 0x20e6 000022fb: JUMPI 000022fc: PUSH2 0x20e6 000022ff: PUSH0 00002300: DUP1 00002301: REVERT 00002302: JUMPDEST 00002303: PUSH0 00002304: DUP1 00002305: PUSH0 00002306: DUP1 00002307: PUSH0 00002308: DUP1 00002309: PUSH0 0000230a: DUP1 0000230b: PUSH0 0000230c: DUP1 0000230d: PUSH0 0000230e: PUSH2 0x01e0 00002311: DUP13 00002312: DUP15 00002313: SUB 00002314: SLT 00002315: ISZERO 00002316: PUSH2 0x2320 00002319: JUMPI 0000231a: PUSH2 0x2320 0000231d: PUSH0 0000231e: DUP1 0000231f: REVERT 00002320: JUMPDEST 00002321: PUSH0 00002322: PUSH2 0x232b 00002325: DUP15 00002326: DUP15 00002327: PUSH2 0x1d43 0000232a: JUMP 0000232b: JUMPDEST 0000232c: SWAP12 0000232d: POP 0000232e: POP 0000232f: PUSH1 0x20 00002331: PUSH2 0x233c 00002334: DUP15 00002335: DUP3 00002336: DUP16 00002337: ADD 00002338: PUSH2 0x1d43 0000233b: JUMP 0000233c: JUMPDEST 0000233d: SWAP11 0000233e: POP 0000233f: POP 00002340: PUSH1 0x40 00002342: PUSH2 0x234d 00002345: DUP15 00002346: DUP3 00002347: DUP16 00002348: ADD 00002349: PUSH2 0x20c8 0000234c: JUMP 0000234d: JUMPDEST 0000234e: SWAP10 0000234f: POP 00002350: POP 00002351: PUSH1 0x60 00002353: PUSH2 0x235e 00002356: DUP15 00002357: DUP3 00002358: DUP16 00002359: ADD 0000235a: PUSH2 0x20d3 0000235d: JUMP 0000235e: JUMPDEST 0000235f: SWAP9 00002360: POP 00002361: POP 00002362: PUSH1 0xe0 00002364: PUSH2 0x236f 00002367: DUP15 00002368: DUP3 00002369: DUP16 0000236a: ADD 0000236b: PUSH2 0x20d3 0000236e: JUMP 0000236f: JUMPDEST 00002370: SWAP8 00002371: POP 00002372: POP 00002373: PUSH2 0x0160 00002376: DUP13 00002377: ADD 00002378: CALLDATALOAD 00002379: PUSH1 0x01 0000237b: PUSH1 0x01 0000237d: PUSH1 0x40 0000237f: SHL 00002380: SUB 00002381: DUP2 00002382: GT 00002383: ISZERO 00002384: PUSH2 0x238e 00002387: JUMPI 00002388: PUSH2 0x238e 0000238b: PUSH0 0000238c: DUP1 0000238d: REVERT 0000238e: JUMPDEST 0000238f: PUSH2 0x239a 00002392: DUP15 00002393: DUP3 00002394: DUP16 00002395: ADD 00002396: PUSH2 0x20ec 00002399: JUMP 0000239a: JUMPDEST 0000239b: SWAP7 0000239c: POP 0000239d: SWAP7 0000239e: POP 0000239f: POP 000023a0: PUSH2 0x0180 000023a3: PUSH2 0x23ae 000023a6: DUP15 000023a7: DUP3 000023a8: DUP16 000023a9: ADD 000023aa: PUSH2 0x1d54 000023ad: JUMP 000023ae: JUMPDEST 000023af: SWAP5 000023b0: POP 000023b1: POP 000023b2: PUSH2 0x01a0 000023b5: DUP13 000023b6: ADD 000023b7: CALLDATALOAD 000023b8: PUSH1 0x01 000023ba: PUSH1 0x01 000023bc: PUSH1 0x40 000023be: SHL 000023bf: SUB 000023c0: DUP2 000023c1: GT 000023c2: ISZERO 000023c3: PUSH2 0x23cd 000023c6: JUMPI 000023c7: PUSH2 0x23cd 000023ca: PUSH0 000023cb: DUP1 000023cc: REVERT 000023cd: JUMPDEST 000023ce: PUSH2 0x23d9 000023d1: DUP15 000023d2: DUP3 000023d3: DUP16 000023d4: ADD 000023d5: PUSH2 0x20ec 000023d8: JUMP 000023d9: JUMPDEST 000023da: SWAP4 000023db: POP 000023dc: SWAP4 000023dd: POP 000023de: POP 000023df: PUSH2 0x01c0 000023e2: DUP13 000023e3: ADD 000023e4: CALLDATALOAD 000023e5: PUSH1 0x01 000023e7: PUSH1 0x01 000023e9: PUSH1 0x40 000023eb: SHL 000023ec: SUB 000023ed: DUP2 000023ee: GT 000023ef: ISZERO 000023f0: PUSH2 0x23fa 000023f3: JUMPI 000023f4: PUSH2 0x23fa 000023f7: PUSH0 000023f8: DUP1 000023f9: REVERT 000023fa: JUMPDEST 000023fb: PUSH2 0x2406 000023fe: DUP15 000023ff: DUP3 00002400: DUP16 00002401: ADD 00002402: PUSH2 0x22ef 00002405: JUMP 00002406: JUMPDEST 00002407: SWAP2 00002408: POP 00002409: POP 0000240a: SWAP3 0000240b: SWAP6 0000240c: SWAP9 0000240d: SWAP12 0000240e: POP 0000240f: SWAP3 00002410: SWAP6 00002411: SWAP9 00002412: SWAP12 00002413: SWAP1 00002414: SWAP4 00002415: SWAP7 00002416: SWAP10 00002417: POP 00002418: JUMP 00002419: JUMPDEST 0000241a: PUSH0 0000241b: DUP1 0000241c: PUSH0 0000241d: DUP1 0000241e: PUSH1 0x60 00002420: DUP6 00002421: DUP8 00002422: SUB 00002423: SLT 00002424: ISZERO 00002425: PUSH2 0x242f 00002428: JUMPI 00002429: PUSH2 0x242f 0000242c: PUSH0 0000242d: DUP1 0000242e: REVERT 0000242f: JUMPDEST 00002430: PUSH0 00002431: PUSH2 0x243a 00002434: DUP8 00002435: DUP8 00002436: PUSH2 0x1d43 00002439: JUMP 0000243a: JUMPDEST 0000243b: SWAP5 0000243c: POP 0000243d: POP 0000243e: PUSH1 0x20 00002440: PUSH2 0x244b 00002443: DUP8 00002444: DUP3 00002445: DUP9 00002446: ADD 00002447: PUSH2 0x1e5b 0000244a: JUMP 0000244b: JUMPDEST 0000244c: SWAP4 0000244d: POP 0000244e: POP 0000244f: PUSH1 0x40 00002451: DUP6 00002452: ADD 00002453: CALLDATALOAD 00002454: PUSH1 0x01 00002456: PUSH1 0x01 00002458: PUSH1 0x40 0000245a: SHL 0000245b: SUB 0000245c: DUP2 0000245d: GT 0000245e: ISZERO 0000245f: PUSH2 0x2469 00002462: JUMPI 00002463: PUSH2 0x2469 00002466: PUSH0 00002467: DUP1 00002468: REVERT 00002469: JUMPDEST 0000246a: PUSH2 0x2475 0000246d: DUP8 0000246e: DUP3 0000246f: DUP9 00002470: ADD 00002471: PUSH2 0x1d5f 00002474: JUMP 00002475: JUMPDEST 00002476: SWAP6 00002477: SWAP9 00002478: SWAP5 00002479: SWAP8 0000247a: POP 0000247b: SWAP6 0000247c: POP 0000247d: POP 0000247e: POP 0000247f: POP 00002480: JUMP 00002481: JUMPDEST 00002482: DUP1 00002483: MLOAD 00002484: PUSH2 0x111d 00002487: DUP2 00002488: PUSH2 0x1d30 0000248b: JUMP 0000248c: JUMPDEST 0000248d: PUSH0 0000248e: PUSH1 0x20 00002490: DUP3 00002491: DUP5 00002492: SUB 00002493: SLT 00002494: ISZERO 00002495: PUSH2 0x249f 00002498: JUMPI 00002499: PUSH2 0x249f 0000249c: PUSH0 0000249d: DUP1 0000249e: REVERT 0000249f: JUMPDEST 000024a0: PUSH0 000024a1: PUSH2 0x12be 000024a4: DUP5 000024a5: DUP5 000024a6: PUSH2 0x2481 000024a9: JUMP 000024aa: JUMPDEST 000024ab: PUSH1 0x41 000024ad: DUP2 000024ae: MSTORE 000024af: PUSH0 000024b0: PUSH1 0x20 000024b2: DUP3 000024b3: ADD 000024b4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000024d5: DUP2 000024d6: MSTORE 000024d7: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 000024f8: PUSH1 0x20 000024fa: DUP3 000024fb: ADD 000024fc: MSTORE 000024fd: PUSH1 0x65 000024ff: PUSH1 0xf8 00002501: SHL 00002502: PUSH1 0x40 00002504: DUP3 00002505: ADD 00002506: MSTORE 00002507: SWAP2 00002508: POP 00002509: JUMPDEST 0000250a: POP 0000250b: PUSH1 0x60 0000250d: ADD 0000250e: SWAP1 0000250f: JUMP 00002510: JUMPDEST 00002511: PUSH1 0x20 00002513: DUP1 00002514: DUP3 00002515: MSTORE 00002516: DUP2 00002517: ADD 00002518: PUSH2 0x111d 0000251b: DUP2 0000251c: PUSH2 0x24aa 0000251f: JUMP 00002520: JUMPDEST 00002521: PUSH1 0x20 00002523: DUP1 00002524: DUP3 00002525: MSTORE 00002526: DUP2 00002527: ADD 00002528: PUSH2 0x111d 0000252b: DUP2 0000252c: PUSH1 0x16 0000252e: DUP2 0000252f: MSTORE 00002530: PUSH22 0x14dd185b99185c99109c9a5919d94e881c185d5cd959 00002547: PUSH1 0x52 00002549: SHL 0000254a: PUSH1 0x20 0000254c: DUP3 0000254d: ADD 0000254e: MSTORE 0000254f: PUSH1 0x40 00002551: ADD 00002552: SWAP1 00002553: JUMP 00002554: JUMPDEST 00002555: PUSH1 0x4a 00002557: DUP2 00002558: MSTORE 00002559: PUSH0 0000255a: PUSH1 0x20 0000255c: DUP3 0000255d: ADD 0000255e: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 0000257f: DUP2 00002580: MSTORE 00002581: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c 000025a2: PUSH1 0x20 000025a4: DUP3 000025a5: ADD 000025a6: MSTORE 000025a7: PUSH10 0x37b1b0b6103a37b5b2b7 000025b2: PUSH1 0xb1 000025b4: SHL 000025b5: PUSH1 0x40 000025b7: DUP3 000025b8: ADD 000025b9: MSTORE 000025ba: SWAP2 000025bb: POP 000025bc: PUSH2 0x2509 000025bf: JUMP 000025c0: JUMPDEST 000025c1: PUSH1 0x20 000025c3: DUP1 000025c4: DUP3 000025c5: MSTORE 000025c6: DUP2 000025c7: ADD 000025c8: PUSH2 0x111d 000025cb: DUP2 000025cc: PUSH2 0x2554 000025cf: JUMP 000025d0: JUMPDEST 000025d1: PUSH2 0x1f70 000025d4: DUP2 000025d5: PUSH2 0x1d20 000025d8: JUMP 000025d9: JUMPDEST 000025da: PUSH1 0x40 000025dc: DUP2 000025dd: ADD 000025de: PUSH2 0x25e7 000025e1: DUP3 000025e2: DUP6 000025e3: PUSH2 0x25d0 000025e6: JUMP 000025e7: JUMPDEST 000025e8: PUSH2 0x1945 000025eb: PUSH1 0x20 000025ed: DUP4 000025ee: ADD 000025ef: DUP5 000025f0: PUSH2 0x22db 000025f3: JUMP 000025f4: JUMPDEST 000025f5: PUSH4 0x4e487b71 000025fa: PUSH1 0xe0 000025fc: SHL 000025fd: PUSH0 000025fe: MSTORE 000025ff: PUSH1 0x11 00002601: PUSH1 0x04 00002603: MSTORE 00002604: PUSH1 0x24 00002606: PUSH0 00002607: REVERT 00002608: JUMPDEST 00002609: DUP2 0000260a: DUP2 0000260b: SUB 0000260c: DUP2 0000260d: DUP2 0000260e: GT 0000260f: ISZERO 00002610: PUSH2 0x111d 00002613: JUMPI 00002614: PUSH2 0x111d 00002617: PUSH2 0x25f4 0000261a: JUMP 0000261b: JUMPDEST 0000261c: PUSH1 0x3a 0000261e: DUP2 0000261f: MSTORE 00002620: PUSH0 00002621: PUSH1 0x20 00002623: DUP3 00002624: ADD 00002625: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573 00002646: DUP2 00002647: MSTORE 00002648: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000 00002669: PUSH1 0x20 0000266b: DUP3 0000266c: ADD 0000266d: MSTORE 0000266e: SWAP2 0000266f: POP 00002670: PUSH2 0x1d09 00002673: JUMP 00002674: JUMPDEST 00002675: PUSH1 0x20 00002677: DUP1 00002678: DUP3 00002679: MSTORE 0000267a: DUP2 0000267b: ADD 0000267c: PUSH2 0x111d 0000267f: DUP2 00002680: PUSH2 0x261b 00002683: JUMP 00002684: JUMPDEST 00002685: PUSH1 0x23 00002687: DUP2 00002688: MSTORE 00002689: PUSH0 0000268a: PUSH1 0x20 0000268c: DUP3 0000268d: ADD 0000268e: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073 000026af: DUP2 000026b0: MSTORE 000026b1: PUSH3 0x32b633 000026b5: PUSH1 0xe9 000026b7: SHL 000026b8: PUSH1 0x20 000026ba: DUP3 000026bb: ADD 000026bc: MSTORE 000026bd: SWAP2 000026be: POP 000026bf: PUSH2 0x1d09 000026c2: JUMP 000026c3: JUMPDEST 000026c4: PUSH1 0x20 000026c6: DUP1 000026c7: DUP3 000026c8: MSTORE 000026c9: DUP2 000026ca: ADD 000026cb: PUSH2 0x111d 000026ce: DUP2 000026cf: PUSH2 0x2684 000026d2: JUMP 000026d3: JUMPDEST 000026d4: PUSH1 0x28 000026d6: DUP2 000026d7: MSTORE 000026d8: PUSH0 000026d9: PUSH1 0x20 000026db: DUP3 000026dc: ADD 000026dd: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d 000026fe: DUP2 000026ff: MSTORE 00002700: PUSH8 0x32b9b9b2b733b2b9 00002709: PUSH1 0xc1 0000270b: SHL 0000270c: PUSH1 0x20 0000270e: DUP3 0000270f: ADD 00002710: MSTORE 00002711: SWAP2 00002712: POP 00002713: PUSH2 0x1d09 00002716: JUMP 00002717: JUMPDEST 00002718: PUSH1 0x20 0000271a: DUP1 0000271b: DUP3 0000271c: MSTORE 0000271d: DUP2 0000271e: ADD 0000271f: PUSH2 0x111d 00002722: DUP2 00002723: PUSH2 0x26d3 00002726: JUMP 00002727: JUMPDEST 00002728: PUSH1 0x23 0000272a: DUP2 0000272b: MSTORE 0000272c: PUSH0 0000272d: PUSH1 0x20 0000272f: DUP3 00002730: ADD 00002731: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169 00002752: DUP2 00002753: MSTORE 00002754: PUSH3 0x1b1959 00002758: PUSH1 0xea 0000275a: SHL 0000275b: PUSH1 0x20 0000275d: DUP3 0000275e: ADD 0000275f: MSTORE 00002760: SWAP2 00002761: POP 00002762: PUSH2 0x1d09 00002765: JUMP 00002766: JUMPDEST 00002767: PUSH1 0x20 00002769: DUP1 0000276a: DUP3 0000276b: MSTORE 0000276c: DUP2 0000276d: ADD 0000276e: PUSH2 0x111d 00002771: DUP2 00002772: PUSH2 0x2727 00002775: JUMP 00002776: JUMPDEST 00002777: PUSH1 0x01 00002779: PUSH1 0x01 0000277b: PUSH1 0x40 0000277d: SHL 0000277e: SUB 0000277f: AND 00002780: SWAP1 00002781: JUMP 00002782: JUMPDEST 00002783: PUSH2 0x1f70 00002786: DUP2 00002787: PUSH0 00002788: PUSH2 0x111d 0000278b: DUP3 0000278c: PUSH2 0x2776 0000278f: JUMP 00002790: JUMPDEST 00002791: PUSH1 0x20 00002793: DUP2 00002794: ADD 00002795: PUSH2 0x111d 00002798: DUP3 00002799: DUP5 0000279a: PUSH2 0x2782 0000279d: JUMP 0000279e: JUMPDEST 0000279f: DUP1 000027a0: MLOAD 000027a1: PUSH2 0x111d 000027a4: DUP2 000027a5: PUSH2 0x20c0 000027a8: JUMP 000027a9: JUMPDEST 000027aa: PUSH0 000027ab: PUSH1 0x20 000027ad: DUP3 000027ae: DUP5 000027af: SUB 000027b0: SLT 000027b1: ISZERO 000027b2: PUSH2 0x27bc 000027b5: JUMPI 000027b6: PUSH2 0x27bc 000027b9: PUSH0 000027ba: DUP1 000027bb: REVERT 000027bc: JUMPDEST 000027bd: PUSH0 000027be: PUSH2 0x12be 000027c1: DUP5 000027c2: DUP5 000027c3: PUSH2 0x279e 000027c6: JUMP 000027c7: JUMPDEST 000027c8: PUSH4 0x4e487b71 000027cd: PUSH1 0xe0 000027cf: SHL 000027d0: PUSH0 000027d1: MSTORE 000027d2: PUSH1 0x41 000027d4: PUSH1 0x04 000027d6: MSTORE 000027d7: PUSH1 0x24 000027d9: PUSH0 000027da: REVERT 000027db: JUMPDEST 000027dc: PUSH1 0x1f 000027de: NOT 000027df: PUSH1 0x1f 000027e1: DUP4 000027e2: ADD 000027e3: AND 000027e4: DUP2 000027e5: ADD 000027e6: DUP2 000027e7: DUP2 000027e8: LT 000027e9: PUSH1 0x01 000027eb: PUSH1 0x01 000027ed: PUSH1 0x40 000027ef: SHL 000027f0: SUB 000027f1: DUP3 000027f2: GT 000027f3: OR 000027f4: ISZERO 000027f5: PUSH2 0x2800 000027f8: JUMPI 000027f9: PUSH2 0x2800 000027fc: PUSH2 0x27c7 000027ff: JUMP 00002800: JUMPDEST 00002801: PUSH1 0x40 00002803: MSTORE 00002804: POP 00002805: POP 00002806: JUMP 00002807: JUMPDEST 00002808: PUSH0 00002809: PUSH2 0x2811 0000280c: PUSH1 0x40 0000280e: MLOAD 0000280f: SWAP1 00002810: JUMP 00002811: JUMPDEST 00002812: SWAP1 00002813: POP 00002814: PUSH2 0x281d 00002817: DUP3 00002818: DUP3 00002819: PUSH2 0x27db 0000281c: JUMP 0000281d: JUMPDEST 0000281e: SWAP2 0000281f: SWAP1 00002820: POP 00002821: JUMP 00002822: JUMPDEST 00002823: PUSH0 00002824: PUSH1 0x01 00002826: PUSH1 0x01 00002828: PUSH1 0x40 0000282a: SHL 0000282b: SUB 0000282c: DUP3 0000282d: GT 0000282e: ISZERO 0000282f: PUSH2 0x283a 00002832: JUMPI 00002833: PUSH2 0x283a 00002836: PUSH2 0x27c7 00002839: JUMP 0000283a: JUMPDEST 0000283b: POP 0000283c: PUSH1 0x20 0000283e: SWAP1 0000283f: DUP2 00002840: MUL 00002841: ADD 00002842: SWAP1 00002843: JUMP 00002844: JUMPDEST 00002845: PUSH0 00002846: PUSH1 0x01 00002848: PUSH1 0x01 0000284a: PUSH1 0x40 0000284c: SHL 0000284d: SUB 0000284e: DUP3 0000284f: GT 00002850: ISZERO 00002851: PUSH2 0x285c 00002854: JUMPI 00002855: PUSH2 0x285c 00002858: PUSH2 0x27c7 0000285b: JUMP 0000285c: JUMPDEST 0000285d: PUSH1 0x1f 0000285f: NOT 00002860: PUSH1 0x1f 00002862: DUP4 00002863: ADD 00002864: AND 00002865: PUSH1 0x20 00002867: ADD 00002868: SWAP3 00002869: SWAP2 0000286a: POP 0000286b: POP 0000286c: JUMP 0000286d: JUMPDEST 0000286e: DUP3 0000286f: DUP2 00002870: DUP4 00002871: CALLDATACOPY 00002872: POP 00002873: PUSH0 00002874: SWAP2 00002875: ADD 00002876: MSTORE 00002877: JUMP 00002878: JUMPDEST 00002879: PUSH0 0000287a: PUSH2 0x288a 0000287d: PUSH2 0x2885 00002880: DUP5 00002881: PUSH2 0x2844 00002884: JUMP 00002885: JUMPDEST 00002886: PUSH2 0x2807 00002889: JUMP 0000288a: JUMPDEST 0000288b: SWAP1 0000288c: POP 0000288d: DUP3 0000288e: DUP2 0000288f: MSTORE 00002890: PUSH1 0x20 00002892: DUP2 00002893: ADD 00002894: DUP5 00002895: DUP5 00002896: DUP5 00002897: ADD 00002898: GT 00002899: ISZERO 0000289a: PUSH2 0x28a4 0000289d: JUMPI 0000289e: PUSH2 0x28a4 000028a1: PUSH0 000028a2: DUP1 000028a3: REVERT 000028a4: JUMPDEST 000028a5: PUSH2 0x28af 000028a8: DUP5 000028a9: DUP3 000028aa: DUP6 000028ab: PUSH2 0x286d 000028ae: JUMP 000028af: JUMPDEST 000028b0: POP 000028b1: SWAP4 000028b2: SWAP3 000028b3: POP 000028b4: POP 000028b5: POP 000028b6: JUMP 000028b7: JUMPDEST 000028b8: PUSH0 000028b9: DUP3 000028ba: PUSH1 0x1f 000028bc: DUP4 000028bd: ADD 000028be: SLT 000028bf: PUSH2 0x28c9 000028c2: JUMPI 000028c3: PUSH2 0x28c9 000028c6: PUSH0 000028c7: DUP1 000028c8: REVERT 000028c9: JUMPDEST 000028ca: DUP2 000028cb: CALLDATALOAD 000028cc: PUSH2 0x12be 000028cf: DUP5 000028d0: DUP3 000028d1: PUSH1 0x20 000028d3: DUP7 000028d4: ADD 000028d5: PUSH2 0x2878 000028d8: JUMP 000028d9: JUMPDEST 000028da: PUSH0 000028db: PUSH2 0x28e6 000028de: PUSH2 0x2885 000028e1: DUP5 000028e2: PUSH2 0x2822 000028e5: JUMP 000028e6: JUMPDEST 000028e7: DUP4 000028e8: DUP2 000028e9: MSTORE 000028ea: SWAP1 000028eb: POP 000028ec: PUSH1 0x20 000028ee: DUP1 000028ef: DUP3 000028f0: ADD 000028f1: SWAP1 000028f2: DUP5 000028f3: MUL 000028f4: DUP4 000028f5: ADD 000028f6: DUP6 000028f7: DUP2 000028f8: GT 000028f9: ISZERO 000028fa: PUSH2 0x2904 000028fd: JUMPI 000028fe: PUSH2 0x2904 00002901: PUSH0 00002902: DUP1 00002903: REVERT 00002904: JUMPDEST 00002905: DUP4 00002906: JUMPDEST 00002907: DUP2 00002908: DUP2 00002909: LT 0000290a: ISZERO 0000290b: PUSH2 0x2943 0000290e: JUMPI 0000290f: DUP1 00002910: CALLDATALOAD 00002911: PUSH1 0x01 00002913: PUSH1 0x01 00002915: PUSH1 0x40 00002917: SHL 00002918: SUB 00002919: DUP2 0000291a: GT 0000291b: ISZERO 0000291c: PUSH2 0x2926 0000291f: JUMPI 00002920: PUSH2 0x2926 00002923: PUSH0 00002924: DUP1 00002925: REVERT 00002926: JUMPDEST 00002927: DUP1 00002928: DUP7 00002929: ADD 0000292a: PUSH2 0x2933 0000292d: DUP10 0000292e: DUP3 0000292f: PUSH2 0x28b7 00002932: JUMP 00002933: JUMPDEST 00002934: DUP6 00002935: MSTORE 00002936: POP 00002937: POP 00002938: PUSH1 0x20 0000293a: SWAP3 0000293b: DUP4 0000293c: ADD 0000293d: SWAP3 0000293e: ADD 0000293f: PUSH2 0x2906 00002942: JUMP 00002943: JUMPDEST 00002944: POP 00002945: POP 00002946: POP 00002947: SWAP4 00002948: SWAP3 00002949: POP 0000294a: POP 0000294b: POP 0000294c: JUMP 0000294d: JUMPDEST 0000294e: PUSH0 0000294f: PUSH2 0x1945 00002952: CALLDATASIZE 00002953: DUP5 00002954: DUP5 00002955: PUSH2 0x28d9 00002958: JUMP 00002959: JUMPDEST 0000295a: DUP1 0000295b: DUP3 0000295c: ADD 0000295d: DUP1 0000295e: DUP3 0000295f: GT 00002960: ISZERO 00002961: PUSH2 0x111d 00002964: JUMPI 00002965: PUSH2 0x111d 00002968: PUSH2 0x25f4 0000296b: JUMP 0000296c: JUMPDEST 0000296d: PUSH1 0x29 0000296f: DUP2 00002970: MSTORE 00002971: PUSH0 00002972: PUSH1 0x20 00002974: DUP3 00002975: ADD 00002976: PUSH32 0x4c315374616e646172644272696467653a20416c726561647920657363617065 00002997: DUP2 00002998: MSTORE 00002999: PUSH9 0x32103a37b5b2b73997 000029a3: PUSH1 0xb9 000029a5: SHL 000029a6: PUSH1 0x20 000029a8: DUP3 000029a9: ADD 000029aa: MSTORE 000029ab: SWAP2 000029ac: POP 000029ad: PUSH2 0x1d09 000029b0: JUMP 000029b1: JUMPDEST 000029b2: PUSH1 0x20 000029b4: DUP1 000029b5: DUP3 000029b6: MSTORE 000029b7: DUP2 000029b8: ADD 000029b9: PUSH2 0x111d 000029bc: DUP2 000029bd: PUSH2 0x296c 000029c0: JUMP 000029c1: JUMPDEST 000029c2: PUSH0 000029c3: PUSH1 0x20 000029c5: DUP3 000029c6: DUP5 000029c7: SUB 000029c8: SLT 000029c9: ISZERO 000029ca: PUSH2 0x29d4 000029cd: JUMPI 000029ce: PUSH2 0x29d4 000029d1: PUSH0 000029d2: DUP1 000029d3: REVERT 000029d4: JUMPDEST 000029d5: PUSH0 000029d6: PUSH2 0x12be 000029d9: DUP5 000029da: DUP5 000029db: PUSH2 0x1d43 000029de: JUMP 000029df: JUMPDEST 000029e0: PUSH1 0x20 000029e2: DUP2 000029e3: ADD 000029e4: PUSH2 0x111d 000029e7: DUP3 000029e8: DUP5 000029e9: PUSH2 0x25d0 000029ec: JUMP 000029ed: JUMPDEST 000029ee: PUSH1 0x31 000029f0: DUP2 000029f1: MSTORE 000029f2: PUSH0 000029f3: PUSH1 0x20 000029f5: DUP3 000029f6: ADD 000029f7: PUSH32 0x4c315374616e646172644272696467653a204e6f205265736f6c76657220436f 00002a18: DUP2 00002a19: MSTORE 00002a1a: PUSH17 0x1b9d1c9858dd08149959da5cdd195c9959 00002a2c: PUSH1 0x7a 00002a2e: SHL 00002a2f: PUSH1 0x20 00002a31: DUP3 00002a32: ADD 00002a33: MSTORE 00002a34: SWAP2 00002a35: POP 00002a36: PUSH2 0x1d09 00002a39: JUMP 00002a3a: JUMPDEST 00002a3b: PUSH1 0x20 00002a3d: DUP1 00002a3e: DUP3 00002a3f: MSTORE 00002a40: DUP2 00002a41: ADD 00002a42: PUSH2 0x111d 00002a45: DUP2 00002a46: PUSH2 0x29ed 00002a49: JUMP 00002a4a: JUMPDEST 00002a4b: PUSH0 00002a4c: DUP1 00002a4d: DUP4 00002a4e: CALLDATALOAD 00002a4f: PUSH1 0x1e 00002a51: NOT 00002a52: CALLDATASIZE 00002a53: DUP6 00002a54: SWAP1 00002a55: SUB 00002a56: ADD 00002a57: DUP2 00002a58: SLT 00002a59: PUSH2 0x2a63 00002a5c: JUMPI 00002a5d: PUSH2 0x2a63 00002a60: PUSH0 00002a61: DUP1 00002a62: REVERT 00002a63: JUMPDEST 00002a64: DUP1 00002a65: DUP5 00002a66: ADD 00002a67: SWAP3 00002a68: POP 00002a69: DUP3 00002a6a: CALLDATALOAD 00002a6b: SWAP2 00002a6c: POP 00002a6d: PUSH1 0x01 00002a6f: PUSH1 0x01 00002a71: PUSH1 0x40 00002a73: SHL 00002a74: SUB 00002a75: DUP3 00002a76: GT 00002a77: ISZERO 00002a78: PUSH2 0x2a82 00002a7b: JUMPI 00002a7c: PUSH2 0x2a82 00002a7f: PUSH0 00002a80: DUP1 00002a81: REVERT 00002a82: JUMPDEST 00002a83: PUSH1 0x20 00002a85: DUP4 00002a86: ADD 00002a87: SWAP3 00002a88: POP 00002a89: PUSH1 0x01 00002a8b: DUP3 00002a8c: MUL 00002a8d: CALLDATASIZE 00002a8e: SUB 00002a8f: DUP4 00002a90: SGT 00002a91: ISZERO 00002a92: PUSH2 0x2a9c 00002a95: JUMPI 00002a96: PUSH2 0x2a9c 00002a99: PUSH0 00002a9a: DUP1 00002a9b: REVERT 00002a9c: JUMPDEST 00002a9d: POP 00002a9e: SWAP3 00002a9f: POP 00002aa0: SWAP3 00002aa1: SWAP1 00002aa2: POP 00002aa3: JUMP 00002aa4: JUMPDEST 00002aa5: DUP2 00002aa6: DUP4 00002aa7: MSTORE 00002aa8: PUSH0 00002aa9: PUSH1 0x20 00002aab: DUP5 00002aac: ADD 00002aad: SWAP4 00002aae: POP 00002aaf: PUSH2 0x2ab9 00002ab2: DUP4 00002ab3: DUP6 00002ab4: DUP5 00002ab5: PUSH2 0x286d 00002ab8: JUMP 00002ab9: JUMPDEST 00002aba: PUSH1 0x1f 00002abc: NOT 00002abd: PUSH1 0x1f 00002abf: DUP5 00002ac0: ADD 00002ac1: AND 00002ac2: PUSH2 0x208f 00002ac5: JUMP 00002ac6: JUMPDEST 00002ac7: PUSH1 0x80 00002ac9: DUP2 00002aca: ADD 00002acb: PUSH2 0x2ad4 00002ace: DUP3 00002acf: DUP9 00002ad0: PUSH2 0x25d0 00002ad3: JUMP 00002ad4: JUMPDEST 00002ad5: PUSH2 0x2ae1 00002ad8: PUSH1 0x20 00002ada: DUP4 00002adb: ADD 00002adc: DUP8 00002add: PUSH2 0x25d0 00002ae0: JUMP 00002ae1: JUMPDEST 00002ae2: PUSH2 0x2aee 00002ae5: PUSH1 0x40 00002ae7: DUP4 00002ae8: ADD 00002ae9: DUP7 00002aea: PUSH2 0x22db 00002aed: JUMP 00002aee: JUMPDEST 00002aef: DUP2 00002af0: DUP2 00002af1: SUB 00002af2: PUSH1 0x60 00002af4: DUP4 00002af5: ADD 00002af6: MSTORE 00002af7: PUSH2 0x1bad 00002afa: DUP2 00002afb: DUP5 00002afc: DUP7 00002afd: PUSH2 0x2aa4 00002b00: JUMP 00002b01: JUMPDEST 00002b02: DUP1 00002b03: MLOAD 00002b04: PUSH2 0x111d 00002b07: DUP2 00002b08: PUSH2 0x1d4e 00002b0b: JUMP 00002b0c: JUMPDEST 00002b0d: PUSH0 00002b0e: PUSH1 0x20 00002b10: DUP3 00002b11: DUP5 00002b12: SUB 00002b13: SLT 00002b14: ISZERO 00002b15: PUSH2 0x2b1f 00002b18: JUMPI 00002b19: PUSH2 0x2b1f 00002b1c: PUSH0 00002b1d: DUP1 00002b1e: REVERT 00002b1f: JUMPDEST 00002b20: PUSH0 00002b21: PUSH2 0x12be 00002b24: DUP5 00002b25: DUP5 00002b26: PUSH2 0x2b01 00002b29: JUMP 00002b2a: JUMPDEST 00002b2b: PUSH1 0x2e 00002b2d: DUP2 00002b2e: MSTORE 00002b2f: PUSH0 00002b30: PUSH1 0x20 00002b32: DUP3 00002b33: ADD 00002b34: PUSH32 0x4c315374616e646172644272696467653a20496e76616c696420616d6f756e74 00002b55: DUP2 00002b56: MSTORE 00002b57: PUSH14 0x10333937b6903932b9b7b63b32b9 00002b66: PUSH1 0x91 00002b68: SHL 00002b69: PUSH1 0x20 00002b6b: DUP3 00002b6c: ADD 00002b6d: MSTORE 00002b6e: SWAP2 00002b6f: POP 00002b70: PUSH2 0x1d09 00002b73: JUMP 00002b74: JUMPDEST 00002b75: PUSH1 0x20 00002b77: DUP1 00002b78: DUP3 00002b79: MSTORE 00002b7a: DUP2 00002b7b: ADD 00002b7c: PUSH2 0x111d 00002b7f: DUP2 00002b80: PUSH2 0x2b2a 00002b83: JUMP 00002b84: JUMPDEST 00002b85: PUSH1 0x3e 00002b87: DUP2 00002b88: MSTORE 00002b89: PUSH0 00002b8a: PUSH1 0x20 00002b8c: DUP3 00002b8d: ADD 00002b8e: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573 00002baf: DUP2 00002bb0: MSTORE 00002bb1: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000 00002bd2: PUSH1 0x20 00002bd4: DUP3 00002bd5: ADD 00002bd6: MSTORE 00002bd7: SWAP2 00002bd8: POP 00002bd9: PUSH2 0x1d09 00002bdc: JUMP 00002bdd: JUMPDEST 00002bde: PUSH1 0x20 00002be0: DUP1 00002be1: DUP3 00002be2: MSTORE 00002be3: DUP2 00002be4: ADD 00002be5: PUSH2 0x111d 00002be8: DUP2 00002be9: PUSH2 0x2b84 00002bec: JUMP 00002bed: JUMPDEST 00002bee: PUSH1 0x80 00002bf0: DUP2 00002bf1: ADD 00002bf2: PUSH2 0x2bfb 00002bf5: DUP3 00002bf6: DUP8 00002bf7: PUSH2 0x25d0 00002bfa: JUMP 00002bfb: JUMPDEST 00002bfc: PUSH2 0x2c08 00002bff: PUSH1 0x20 00002c01: DUP4 00002c02: ADD 00002c03: DUP7 00002c04: PUSH2 0x25d0 00002c07: JUMP 00002c08: JUMPDEST 00002c09: PUSH2 0x2c15 00002c0c: PUSH1 0x40 00002c0e: DUP4 00002c0f: ADD 00002c10: DUP6 00002c11: PUSH2 0x22db 00002c14: JUMP 00002c15: JUMPDEST 00002c16: DUP2 00002c17: DUP2 00002c18: SUB 00002c19: PUSH1 0x60 00002c1b: DUP4 00002c1c: ADD 00002c1d: MSTORE 00002c1e: PUSH2 0x1c2b 00002c21: DUP2 00002c22: DUP5 00002c23: PUSH2 0x2066 00002c26: JUMP 00002c27: JUMPDEST 00002c28: PUSH4 0xffffffff 00002c2d: DUP2 00002c2e: AND 00002c2f: PUSH2 0x1f70 00002c32: JUMP 00002c33: JUMPDEST 00002c34: PUSH1 0x60 00002c36: DUP2 00002c37: ADD 00002c38: PUSH2 0x2c41 00002c3b: DUP3 00002c3c: DUP7 00002c3d: PUSH2 0x25d0 00002c40: JUMP 00002c41: JUMPDEST 00002c42: DUP2 00002c43: DUP2 00002c44: SUB 00002c45: PUSH1 0x20 00002c47: DUP4 00002c48: ADD 00002c49: MSTORE 00002c4a: PUSH2 0x2c53 00002c4d: DUP2 00002c4e: DUP6 00002c4f: PUSH2 0x2066 00002c52: JUMP 00002c53: JUMPDEST 00002c54: SWAP1 00002c55: POP 00002c56: PUSH2 0x12be 00002c59: PUSH1 0x40 00002c5b: DUP4 00002c5c: ADD 00002c5d: DUP5 00002c5e: PUSH2 0x2c27 00002c61: JUMP 00002c62: JUMPDEST 00002c63: PUSH1 0x60 00002c65: DUP2 00002c66: ADD 00002c67: PUSH2 0x2c70 00002c6a: DUP3 00002c6b: DUP7 00002c6c: PUSH2 0x25d0 00002c6f: JUMP 00002c70: JUMPDEST 00002c71: PUSH2 0x2c7d 00002c74: PUSH1 0x20 00002c76: DUP4 00002c77: ADD 00002c78: DUP6 00002c79: PUSH2 0x22db 00002c7c: JUMP 00002c7d: JUMPDEST 00002c7e: DUP2 00002c7f: DUP2 00002c80: SUB 00002c81: PUSH1 0x40 00002c83: DUP4 00002c84: ADD 00002c85: MSTORE 00002c86: PUSH2 0x2c8f 00002c89: DUP2 00002c8a: DUP5 00002c8b: PUSH2 0x2066 00002c8e: JUMP 00002c8f: JUMPDEST 00002c90: SWAP6 00002c91: SWAP5 00002c92: POP 00002c93: POP 00002c94: POP 00002c95: POP 00002c96: POP 00002c97: JUMP 00002c98: JUMPDEST 00002c99: PUSH1 0x40 00002c9b: DUP2 00002c9c: ADD 00002c9d: PUSH2 0x2ca6 00002ca0: DUP3 00002ca1: DUP6 00002ca2: PUSH2 0x22db 00002ca5: JUMP 00002ca6: JUMPDEST 00002ca7: DUP2 00002ca8: DUP2 00002ca9: SUB 00002caa: PUSH1 0x20 00002cac: DUP4 00002cad: ADD 00002cae: MSTORE 00002caf: PUSH2 0x12be 00002cb2: DUP2 00002cb3: DUP5 00002cb4: PUSH2 0x2066 00002cb7: JUMP 00002cb8: JUMPDEST 00002cb9: PUSH1 0xc0 00002cbb: DUP2 00002cbc: ADD 00002cbd: PUSH2 0x2cc6 00002cc0: DUP3 00002cc1: DUP10 00002cc2: PUSH2 0x25d0 00002cc5: JUMP 00002cc6: JUMPDEST 00002cc7: PUSH2 0x2cd3 00002cca: PUSH1 0x20 00002ccc: DUP4 00002ccd: ADD 00002cce: DUP9 00002ccf: PUSH2 0x25d0 00002cd2: JUMP 00002cd3: JUMPDEST 00002cd4: PUSH2 0x2ce0 00002cd7: PUSH1 0x40 00002cd9: DUP4 00002cda: ADD 00002cdb: DUP8 00002cdc: PUSH2 0x25d0 00002cdf: JUMP 00002ce0: JUMPDEST 00002ce1: PUSH2 0x2ced 00002ce4: PUSH1 0x60 00002ce6: DUP4 00002ce7: ADD 00002ce8: DUP7 00002ce9: PUSH2 0x25d0 00002cec: JUMP 00002ced: JUMPDEST 00002cee: PUSH2 0x2cfa 00002cf1: PUSH1 0x80 00002cf3: DUP4 00002cf4: ADD 00002cf5: DUP6 00002cf6: PUSH2 0x22db 00002cf9: JUMP 00002cfa: JUMPDEST 00002cfb: DUP2 00002cfc: DUP2 00002cfd: SUB 00002cfe: PUSH1 0xa0 00002d00: DUP4 00002d01: ADD 00002d02: MSTORE 00002d03: PUSH2 0x2d0c 00002d06: DUP2 00002d07: DUP5 00002d08: PUSH2 0x2066 00002d0b: JUMP 00002d0c: JUMPDEST 00002d0d: SWAP9 00002d0e: SWAP8 00002d0f: POP 00002d10: POP 00002d11: POP 00002d12: POP 00002d13: POP 00002d14: POP 00002d15: POP 00002d16: POP 00002d17: JUMP 00002d18: JUMPDEST 00002d19: PUSH1 0x01 00002d1b: PUSH1 0x01 00002d1d: PUSH1 0x80 00002d1f: SHL 00002d20: SUB 00002d21: DUP2 00002d22: AND 00002d23: PUSH2 0x1d39 00002d26: JUMP 00002d27: JUMPDEST 00002d28: DUP1 00002d29: MLOAD 00002d2a: PUSH2 0x111d 00002d2d: DUP2 00002d2e: PUSH2 0x2d18 00002d31: JUMP 00002d32: JUMPDEST 00002d33: PUSH0 00002d34: PUSH1 0x60 00002d36: DUP3 00002d37: DUP5 00002d38: SUB 00002d39: SLT 00002d3a: ISZERO 00002d3b: PUSH2 0x2d45 00002d3e: JUMPI 00002d3f: PUSH2 0x2d45 00002d42: PUSH0 00002d43: DUP1 00002d44: REVERT 00002d45: JUMPDEST 00002d46: PUSH2 0x2d4f 00002d49: PUSH1 0x60 00002d4b: PUSH2 0x2807 00002d4e: JUMP 00002d4f: JUMPDEST 00002d50: SWAP1 00002d51: POP 00002d52: PUSH0 00002d53: PUSH2 0x2d5c 00002d56: DUP5 00002d57: DUP5 00002d58: PUSH2 0x2b01 00002d5b: JUMP 00002d5c: JUMPDEST 00002d5d: DUP3 00002d5e: MSTORE 00002d5f: POP 00002d60: PUSH1 0x20 00002d62: PUSH2 0x2d6d 00002d65: DUP5 00002d66: DUP5 00002d67: DUP4 00002d68: ADD 00002d69: PUSH2 0x2d27 00002d6c: JUMP 00002d6d: JUMPDEST 00002d6e: PUSH1 0x20 00002d70: DUP4 00002d71: ADD 00002d72: MSTORE 00002d73: POP 00002d74: PUSH1 0x40 00002d76: PUSH2 0x2d81 00002d79: DUP5 00002d7a: DUP3 00002d7b: DUP6 00002d7c: ADD 00002d7d: PUSH2 0x2d27 00002d80: JUMP 00002d81: JUMPDEST 00002d82: PUSH1 0x40 00002d84: DUP4 00002d85: ADD 00002d86: MSTORE 00002d87: POP 00002d88: SWAP3 00002d89: SWAP2 00002d8a: POP 00002d8b: POP 00002d8c: JUMP 00002d8d: JUMPDEST 00002d8e: PUSH0 00002d8f: PUSH1 0x60 00002d91: DUP3 00002d92: DUP5 00002d93: SUB 00002d94: SLT 00002d95: ISZERO 00002d96: PUSH2 0x2da0 00002d99: JUMPI 00002d9a: PUSH2 0x2da0 00002d9d: PUSH0 00002d9e: DUP1 00002d9f: REVERT 00002da0: JUMPDEST 00002da1: PUSH0 00002da2: PUSH2 0x12be 00002da5: DUP5 00002da6: DUP5 00002da7: PUSH2 0x2d32 00002daa: JUMP 00002dab: JUMPDEST 00002dac: PUSH1 0x37 00002dae: DUP2 00002daf: MSTORE 00002db0: PUSH0 00002db1: PUSH1 0x20 00002db3: DUP3 00002db4: ADD 00002db5: PUSH32 0x4c315374616e646172644272696467653a204e6f7420656e6f7567682074696d 00002dd6: DUP2 00002dd7: MSTORE 00002dd8: PUSH32 0x65206861732070617373656420746f206573636170652e000000000000000000 00002df9: PUSH1 0x20 00002dfb: DUP3 00002dfc: ADD 00002dfd: MSTORE 00002dfe: SWAP2 00002dff: POP 00002e00: PUSH2 0x1d09 00002e03: JUMP 00002e04: JUMPDEST 00002e05: PUSH1 0x20 00002e07: DUP1 00002e08: DUP3 00002e09: MSTORE 00002e0a: DUP2 00002e0b: ADD 00002e0c: PUSH2 0x111d 00002e0f: DUP2 00002e10: PUSH2 0x2dab 00002e13: JUMP 00002e14: JUMPDEST 00002e15: PUSH0 00002e16: PUSH1 0x80 00002e18: DUP3 00002e19: DUP5 00002e1a: SUB 00002e1b: SLT 00002e1c: ISZERO 00002e1d: PUSH2 0x2e27 00002e20: JUMPI 00002e21: PUSH2 0x2e27 00002e24: PUSH0 00002e25: DUP1 00002e26: REVERT 00002e27: JUMPDEST 00002e28: PUSH2 0x2e31 00002e2b: PUSH1 0x80 00002e2d: PUSH2 0x2807 00002e30: JUMP 00002e31: JUMPDEST 00002e32: SWAP1 00002e33: POP 00002e34: PUSH0 00002e35: PUSH2 0x2e3e 00002e38: DUP5 00002e39: DUP5 00002e3a: PUSH2 0x1d54 00002e3d: JUMP 00002e3e: JUMPDEST 00002e3f: DUP3 00002e40: MSTORE 00002e41: POP 00002e42: PUSH1 0x20 00002e44: PUSH2 0x2e4f 00002e47: DUP5 00002e48: DUP5 00002e49: DUP4 00002e4a: ADD 00002e4b: PUSH2 0x1d54 00002e4e: JUMP 00002e4f: JUMPDEST 00002e50: PUSH1 0x20 00002e52: DUP4 00002e53: ADD 00002e54: MSTORE 00002e55: POP 00002e56: PUSH1 0x40 00002e58: PUSH2 0x2e63 00002e5b: DUP5 00002e5c: DUP3 00002e5d: DUP6 00002e5e: ADD 00002e5f: PUSH2 0x1d54 00002e62: JUMP 00002e63: JUMPDEST 00002e64: PUSH1 0x40 00002e66: DUP4 00002e67: ADD 00002e68: MSTORE 00002e69: POP 00002e6a: PUSH1 0x60 00002e6c: PUSH2 0x2e77 00002e6f: DUP5 00002e70: DUP3 00002e71: DUP6 00002e72: ADD 00002e73: PUSH2 0x1d54 00002e76: JUMP 00002e77: JUMPDEST 00002e78: PUSH1 0x60 00002e7a: DUP4 00002e7b: ADD 00002e7c: MSTORE 00002e7d: POP 00002e7e: SWAP3 00002e7f: SWAP2 00002e80: POP 00002e81: POP 00002e82: JUMP 00002e83: JUMPDEST 00002e84: PUSH0 00002e85: PUSH1 0x80 00002e87: DUP3 00002e88: DUP5 00002e89: SUB 00002e8a: SLT 00002e8b: ISZERO 00002e8c: PUSH2 0x2e96 00002e8f: JUMPI 00002e90: PUSH2 0x2e96 00002e93: PUSH0 00002e94: DUP1 00002e95: REVERT 00002e96: JUMPDEST 00002e97: PUSH0 00002e98: PUSH2 0x12be 00002e9b: DUP5 00002e9c: DUP5 00002e9d: PUSH2 0x2e14 00002ea0: JUMP 00002ea1: JUMPDEST 00002ea2: PUSH1 0x2b 00002ea4: DUP2 00002ea5: MSTORE 00002ea6: PUSH0 00002ea7: PUSH1 0x20 00002ea9: DUP3 00002eaa: ADD 00002eab: PUSH32 0x4c315374616e646172644272696467653a20696e76616c6964206f7574707574 00002ecc: DUP2 00002ecd: MSTORE 00002ece: PUSH11 0x103937b7ba10383937b7b3 00002eda: PUSH1 0xa9 00002edc: SHL 00002edd: PUSH1 0x20 00002edf: DUP3 00002ee0: ADD 00002ee1: MSTORE 00002ee2: SWAP2 00002ee3: POP 00002ee4: PUSH2 0x1d09 00002ee7: JUMP 00002ee8: JUMPDEST 00002ee9: PUSH1 0x20 00002eeb: DUP1 00002eec: DUP3 00002eed: MSTORE 00002eee: DUP2 00002eef: ADD 00002ef0: PUSH2 0x111d 00002ef3: DUP2 00002ef4: PUSH2 0x2ea1 00002ef7: JUMP 00002ef8: JUMPDEST 00002ef9: PUSH0 00002efa: PUSH2 0x1945 00002efd: PUSH1 0x20 00002eff: DUP5 00002f00: ADD 00002f01: DUP5 00002f02: PUSH2 0x1d54 00002f05: JUMP 00002f06: JUMPDEST 00002f07: PUSH1 0x80 00002f09: DUP3 00002f0a: ADD 00002f0b: PUSH2 0x2f14 00002f0e: DUP3 00002f0f: DUP1 00002f10: PUSH2 0x2ef8 00002f13: JUMP 00002f14: JUMPDEST 00002f15: PUSH2 0x2f1e 00002f18: DUP5 00002f19: DUP3 00002f1a: PUSH2 0x22db 00002f1d: JUMP 00002f1e: JUMPDEST 00002f1f: POP 00002f20: PUSH2 0x2f2c 00002f23: PUSH1 0x20 00002f25: DUP4 00002f26: ADD 00002f27: DUP4 00002f28: PUSH2 0x2ef8 00002f2b: JUMP 00002f2c: JUMPDEST 00002f2d: PUSH2 0x2f39 00002f30: PUSH1 0x20 00002f32: DUP6 00002f33: ADD 00002f34: DUP3 00002f35: PUSH2 0x22db 00002f38: JUMP 00002f39: JUMPDEST 00002f3a: POP 00002f3b: PUSH2 0x2f47 00002f3e: PUSH1 0x40 00002f40: DUP4 00002f41: ADD 00002f42: DUP4 00002f43: PUSH2 0x2ef8 00002f46: JUMP 00002f47: JUMPDEST 00002f48: PUSH2 0x2f54 00002f4b: PUSH1 0x40 00002f4d: DUP6 00002f4e: ADD 00002f4f: DUP3 00002f50: PUSH2 0x22db 00002f53: JUMP 00002f54: JUMPDEST 00002f55: POP 00002f56: PUSH2 0x2f62 00002f59: PUSH1 0x60 00002f5b: DUP4 00002f5c: ADD 00002f5d: DUP4 00002f5e: PUSH2 0x2ef8 00002f61: JUMP 00002f62: JUMPDEST 00002f63: PUSH2 0x043c 00002f66: PUSH1 0x60 00002f68: DUP6 00002f69: ADD 00002f6a: DUP3 00002f6b: PUSH2 0x22db 00002f6e: JUMP 00002f6f: JUMPDEST 00002f70: PUSH0 00002f71: PUSH2 0x1945 00002f74: DUP4 00002f75: DUP4 00002f76: PUSH2 0x2066 00002f79: JUMP 00002f7a: JUMPDEST 00002f7b: PUSH0 00002f7c: PUSH2 0x2f83 00002f7f: DUP3 00002f80: MLOAD 00002f81: SWAP1 00002f82: JUMP 00002f83: JUMPDEST 00002f84: DUP1 00002f85: DUP5 00002f86: MSTORE 00002f87: PUSH1 0x20 00002f89: DUP5 00002f8a: ADD 00002f8b: SWAP4 00002f8c: POP 00002f8d: DUP4 00002f8e: PUSH1 0x20 00002f90: DUP3 00002f91: MUL 00002f92: DUP6 00002f93: ADD 00002f94: PUSH2 0x2f9d 00002f97: DUP6 00002f98: PUSH1 0x20 00002f9a: ADD 00002f9b: SWAP1 00002f9c: JUMP 00002f9d: JUMPDEST 00002f9e: DUP1 00002f9f: PUSH0 00002fa0: JUMPDEST 00002fa1: DUP6 00002fa2: DUP2 00002fa3: LT 00002fa4: ISZERO 00002fa5: PUSH2 0x2fd1 00002fa8: JUMPI 00002fa9: DUP5 00002faa: DUP5 00002fab: SUB 00002fac: DUP10 00002fad: MSTORE 00002fae: DUP2 00002faf: MLOAD 00002fb0: PUSH2 0x2fb9 00002fb3: DUP6 00002fb4: DUP3 00002fb5: PUSH2 0x2f6f 00002fb8: JUMP 00002fb9: JUMPDEST 00002fba: SWAP5 00002fbb: POP 00002fbc: PUSH1 0x20 00002fbe: DUP4 00002fbf: ADD 00002fc0: PUSH1 0x20 00002fc2: SWAP11 00002fc3: SWAP1 00002fc4: SWAP11 00002fc5: ADD 00002fc6: SWAP10 00002fc7: SWAP3 00002fc8: POP 00002fc9: POP 00002fca: PUSH1 0x01 00002fcc: ADD 00002fcd: PUSH2 0x2fa0 00002fd0: JUMP 00002fd1: JUMPDEST 00002fd2: POP 00002fd3: SWAP2 00002fd4: SWAP8 00002fd5: SWAP7 00002fd6: POP 00002fd7: POP 00002fd8: POP 00002fd9: POP 00002fda: POP 00002fdb: POP 00002fdc: POP 00002fdd: JUMP 00002fde: JUMPDEST 00002fdf: PUSH1 0xe0 00002fe1: DUP2 00002fe2: ADD 00002fe3: PUSH2 0x2fec 00002fe6: DUP3 00002fe7: DUP8 00002fe8: PUSH2 0x25d0 00002feb: JUMP 00002fec: JUMPDEST 00002fed: PUSH2 0x2ff9 00002ff0: PUSH1 0x20 00002ff2: DUP4 00002ff3: ADD 00002ff4: DUP7 00002ff5: PUSH2 0x2f06 00002ff8: JUMP 00002ff9: JUMPDEST 00002ffa: DUP2 00002ffb: DUP2 00002ffc: SUB 00002ffd: PUSH1 0xa0 00002fff: DUP4 00003000: ADD 00003001: MSTORE 00003002: PUSH2 0x300b 00003005: DUP2 00003006: DUP6 00003007: PUSH2 0x2f7a 0000300a: JUMP 0000300b: JUMPDEST 0000300c: SWAP1 0000300d: POP 0000300e: PUSH2 0x2c8f 00003011: PUSH1 0xc0 00003013: DUP4 00003014: ADD 00003015: DUP5 00003016: PUSH2 0x22db 00003019: JUMP 0000301a: JUMPDEST 0000301b: PUSH1 0x26 0000301d: DUP2 0000301e: MSTORE 0000301f: PUSH0 00003020: PUSH1 0x20 00003022: DUP3 00003023: ADD 00003024: PUSH32 0x4c315374616e646172644272696467653a20496e76616c696420737461746520 00003045: DUP2 00003046: MSTORE 00003047: PUSH6 0x383937b7b317 0000304e: PUSH1 0xd1 00003050: SHL 00003051: PUSH1 0x20 00003053: DUP3 00003054: ADD 00003055: MSTORE 00003056: SWAP2 00003057: POP 00003058: PUSH2 0x1d09 0000305b: JUMP 0000305c: JUMPDEST 0000305d: PUSH1 0x20 0000305f: DUP1 00003060: DUP3 00003061: MSTORE 00003062: DUP2 00003063: ADD 00003064: PUSH2 0x111d 00003067: DUP2 00003068: PUSH2 0x301a 0000306b: JUMP 0000306c: JUMPDEST 0000306d: PUSH1 0x40 0000306f: DUP2 00003070: ADD 00003071: PUSH2 0x25e7 00003074: DUP3 00003075: DUP6 00003076: PUSH2 0x22db 00003079: JUMP 0000307a: JUMPDEST 0000307b: PUSH1 0x80 0000307d: DUP2 0000307e: ADD 0000307f: PUSH2 0x3088 00003082: DUP3 00003083: DUP8 00003084: PUSH2 0x22db 00003087: JUMP 00003088: JUMPDEST 00003089: PUSH2 0x3095 0000308c: PUSH1 0x20 0000308e: DUP4 0000308f: ADD 00003090: DUP7 00003091: PUSH2 0x22db 00003094: JUMP 00003095: JUMPDEST 00003096: DUP2 00003097: DUP2 00003098: SUB 00003099: PUSH1 0x40 0000309b: DUP4 0000309c: ADD 0000309d: MSTORE 0000309e: PUSH2 0x30a7 000030a1: DUP2 000030a2: DUP6 000030a3: PUSH2 0x2f7a 000030a6: JUMP 000030a7: JUMPDEST 000030a8: SWAP1 000030a9: POP 000030aa: PUSH2 0x2c8f 000030ad: PUSH1 0x60 000030af: DUP4 000030b0: ADD 000030b1: DUP5 000030b2: PUSH2 0x22db 000030b5: JUMP 000030b6: JUMPDEST 000030b7: PUSH1 0x28 000030b9: DUP2 000030ba: MSTORE 000030bb: PUSH0 000030bc: PUSH1 0x20 000030be: DUP3 000030bf: ADD 000030c0: PUSH32 0x4c315374616e646172644272696467653a20496e76616c69642073746f726167 000030e1: DUP2 000030e2: MSTORE 000030e3: PUSH8 0x3290383937b7b317 000030ec: PUSH1 0xc1 000030ee: SHL 000030ef: PUSH1 0x20 000030f1: DUP3 000030f2: ADD 000030f3: MSTORE 000030f4: SWAP2 000030f5: POP 000030f6: PUSH2 0x1d09 000030f9: JUMP 000030fa: JUMPDEST 000030fb: PUSH1 0x20 000030fd: DUP1 000030fe: DUP3 000030ff: MSTORE 00003100: DUP2 00003101: ADD 00003102: PUSH2 0x111d 00003105: DUP2 00003106: PUSH2 0x30b6 00003109: JUMP 0000310a: JUMPDEST 0000310b: DUP1 0000310c: MLOAD 0000310d: PUSH2 0x111d 00003110: DUP2 00003111: PUSH2 0x1f8e 00003114: JUMP 00003115: JUMPDEST 00003116: PUSH0 00003117: PUSH1 0x20 00003119: DUP3 0000311a: DUP5 0000311b: SUB 0000311c: SLT 0000311d: ISZERO 0000311e: PUSH2 0x3128 00003121: JUMPI 00003122: PUSH2 0x3128 00003125: PUSH0 00003126: DUP1 00003127: REVERT 00003128: JUMPDEST 00003129: PUSH0 0000312a: PUSH2 0x12be 0000312d: DUP5 0000312e: DUP5 0000312f: PUSH2 0x310a 00003132: JUMP 00003133: JUMPDEST 00003134: PUSH1 0x60 00003136: DUP2 00003137: ADD 00003138: PUSH2 0x3141 0000313b: DUP3 0000313c: DUP7 0000313d: PUSH2 0x25d0 00003140: JUMP 00003141: JUMPDEST 00003142: PUSH2 0x314e 00003145: PUSH1 0x20 00003147: DUP4 00003148: ADD 00003149: DUP6 0000314a: PUSH2 0x25d0 0000314d: JUMP 0000314e: JUMPDEST 0000314f: PUSH2 0x12be 00003152: PUSH1 0x40 00003154: DUP4 00003155: ADD 00003156: DUP5 00003157: PUSH2 0x22db 0000315a: JUMP 0000315b: JUMPDEST 0000315c: PUSH1 0x80 0000315e: DUP2 0000315f: ADD 00003160: PUSH2 0x3169 00003163: DUP3 00003164: DUP8 00003165: PUSH2 0x22db 00003168: JUMP 00003169: JUMPDEST 0000316a: PUSH2 0x3176 0000316d: PUSH1 0x20 0000316f: DUP4 00003170: ADD 00003171: DUP7 00003172: PUSH2 0x22db 00003175: JUMP 00003176: JUMPDEST 00003177: PUSH2 0x3183 0000317a: PUSH1 0x40 0000317c: DUP4 0000317d: ADD 0000317e: DUP6 0000317f: PUSH2 0x22db 00003182: JUMP 00003183: JUMPDEST 00003184: PUSH2 0x2c8f 00003187: PUSH1 0x60 00003189: DUP4 0000318a: ADD 0000318b: DUP5 0000318c: PUSH2 0x22db 0000318f: JUMP 00003190: JUMPDEST 00003191: PUSH1 0x01 00003193: PUSH1 0x01 00003195: PUSH1 0xe0 00003197: SHL 00003198: SUB 00003199: NOT 0000319a: DUP2 0000319b: AND 0000319c: PUSH2 0x1f70 0000319f: JUMP 000031a0: JUMPDEST 000031a1: PUSH1 0x20 000031a3: DUP2 000031a4: ADD 000031a5: PUSH2 0x111d 000031a8: DUP3 000031a9: DUP5 000031aa: PUSH2 0x3190 000031ad: JUMP 000031ae: JUMPDEST 000031af: PUSH0 000031b0: PUSH2 0x31b7 000031b3: DUP3 000031b4: MLOAD 000031b5: SWAP1 000031b6: JUMP 000031b7: JUMPDEST 000031b8: PUSH2 0x31c5 000031bb: DUP2 000031bc: DUP6 000031bd: PUSH1 0x20 000031bf: DUP7 000031c0: ADD 000031c1: PUSH2 0x2044 000031c4: JUMP 000031c5: JUMPDEST 000031c6: SWAP3 000031c7: SWAP1 000031c8: SWAP3 000031c9: ADD 000031ca: SWAP3 000031cb: SWAP2 000031cc: POP 000031cd: POP 000031ce: JUMP 000031cf: JUMPDEST 000031d0: PUSH0 000031d1: PUSH2 0x1945 000031d4: DUP3 000031d5: DUP5 000031d6: PUSH2 0x31ae 000031d9: JUMP 000031da: INVALID 000031db: LOG1 000031dc: PUSH5 0x736f6c6343 000031e2: STOP 000031e3: ADDMOD 000031e4: EQ 000031e5: STOP 000031e6: EXP
| 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": "0x93d00123",
"selector": "0x93d00123",
"calldata_variants": [
"0x93d00123",
"0x93d001230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa48c5eb1",
"selector": "0xa48c5eb1",
"calldata_variants": [
"0xa48c5eb1",
"0xa48c5eb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc43cbaf",
"selector": "0xbc43cbaf",
"calldata_variants": [
"0xbc43cbaf",
"0xbc43cbaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc89701a2",
"selector": "0xc89701a2",
"calldata_variants": [
"0xc89701a2",
"0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cd0c9b6",
"selector": "0x7cd0c9b6",
"calldata_variants": [
"0x7cd0c9b6",
"0x7cd0c9b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1015,
"type": "tx_origin_used"
}
]
}
|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x4ec820047615d72cdb1271684a890d5931293d80eb8f14866c09fd4210a17ec3
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x4ec820047615d72cdb1271684a890d5931293d80eb8f14866c09fd4210a17ec3",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x93d00123",
"selector": "0x93d00123",
"calldata_variants": [
"0x93d00123",
"0x93d001230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa48c5eb1",
"selector": "0xa48c5eb1",
"calldata_variants": [
"0xa48c5eb1",
"0xa48c5eb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc43cbaf",
"selector": "0xbc43cbaf",
"calldata_variants": [
"0xbc43cbaf",
"0xbc43cbaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc89701a2",
"selector": "0xc89701a2",
"calldata_variants": [
"0xc89701a2",
"0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cd0c9b6",
"selector": "0x7cd0c9b6",
"calldata_variants": [
"0x7cd0c9b6",
"0x7cd0c9b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5816,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 6092,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 1015,
"type": "tx_origin_used"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc5727efe77ed4d51568a1cf7e4c78e041e36e5b2bcf69b3255facf29b7ce2519
call_targets:
0x25df2d6ddca09c0f9fce19373896be075f4f7d98
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5727efe77ed4d51568a1cf7e4c78e041e36e5b2bcf69b3255facf29b7ce2519",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x25df2d6ddca09c0f9fce19373896be075f4f7d98"
],
"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": "0x93d00123",
"selector": "0x93d00123",
"calldata_variants": [
"0x93d00123",
"0x93d001230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa48c5eb1",
"selector": "0xa48c5eb1",
"calldata_variants": [
"0xa48c5eb1",
"0xa48c5eb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc43cbaf",
"selector": "0xbc43cbaf",
"calldata_variants": [
"0xbc43cbaf",
"0xbc43cbaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc89701a2",
"selector": "0xc89701a2",
"calldata_variants": [
"0xc89701a2",
"0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cd0c9b6",
"selector": "0x7cd0c9b6",
"calldata_variants": [
"0x7cd0c9b6",
"0x7cd0c9b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1426,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3549,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4348,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 1015,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc5727efe77ed4d51568a1cf7e4c78e041e36e5b2bcf69b3255facf29b7ce2519
call_targets:
0x25df2d6ddca09c0f9fce19373896be075f4f7d98
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5727efe77ed4d51568a1cf7e4c78e041e36e5b2bcf69b3255facf29b7ce2519",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x25df2d6ddca09c0f9fce19373896be075f4f7d98"
],
"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": "0x93d00123",
"selector": "0x93d00123",
"calldata_variants": [
"0x93d00123",
"0x93d001230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa48c5eb1",
"selector": "0xa48c5eb1",
"calldata_variants": [
"0xa48c5eb1",
"0xa48c5eb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc43cbaf",
"selector": "0xbc43cbaf",
"calldata_variants": [
"0xbc43cbaf",
"0xbc43cbaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc89701a2",
"selector": "0xc89701a2",
"calldata_variants": [
"0xc89701a2",
"0xc89701a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cd0c9b6",
"selector": "0x7cd0c9b6",
"calldata_variants": [
"0x7cd0c9b6",
"0x7cd0c9b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1426,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3549,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4348,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 1015,
"type": "tx_origin_used"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 2
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 20
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 8
}
|