019b477e-ce9a-722f-af24-b79f4a3ce906
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 |
|---|---|---|---|---|
| 27237 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27238 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70586 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70587 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70588 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70589 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01a4 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x00e1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xac10fc01 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc690908a 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc690908a 0000003a: EQ 0000003b: PUSH2 0x0677 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd5297793 00000045: EQ 00000046: PUSH2 0x0697 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe09d894d 00000050: EQ 00000051: PUSH2 0x06b7 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf60ccd3a 0000005b: EQ 0000005c: PUSH2 0x06d7 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xac10fc01 0000006b: EQ 0000006c: PUSH2 0x05fb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb3c3294a 00000076: EQ 00000077: PUSH2 0x0627 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbedd12a5 00000081: EQ 00000082: PUSH2 0x0657 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x9015d371 00000091: GT 00000092: PUSH2 0x00bb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x9015d371 0000009c: EQ 0000009d: PUSH2 0x058f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa6f9dae1 000000a7: EQ 000000a8: PUSH2 0x05c8 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa8ce8911 000000b2: EQ 000000b3: PUSH2 0x05e8 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x8456cb59 000000c2: EQ 000000c3: PUSH2 0x0545 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x8da5cb5b 000000cd: EQ 000000ce: PUSH2 0x055a 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x8f202bf9 000000d8: EQ 000000d9: PUSH2 0x057a 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x462617e5 000000e8: GT 000000e9: PUSH2 0x014e 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x5c975abb 000000f3: GT 000000f4: PUSH2 0x0128 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x5c975abb 000000fe: EQ 000000ff: PUSH2 0x0496 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x5d63b758 00000109: EQ 0000010a: PUSH2 0x04c9 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x69328dec 00000114: EQ 00000115: PUSH2 0x04f5 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x7ff796ab 0000011f: EQ 00000120: PUSH2 0x0525 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: DUP1 0000012a: PUSH4 0x462617e5 0000012f: EQ 00000130: PUSH2 0x041b 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x4ac7251d 0000013a: EQ 0000013b: PUSH2 0x043b 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x4c20f8e4 00000145: EQ 00000146: PUSH2 0x045b 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: DUP1 00000150: PUSH4 0x23e27a64 00000155: GT 00000156: PUSH2 0x017f 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x23e27a64 00000160: EQ 00000161: PUSH2 0x039d 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x2f29e573 0000016b: EQ 0000016c: PUSH2 0x03bd 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x3f4ba83a 00000176: EQ 00000177: PUSH2 0x0406 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH3 0x31d115 00000185: EQ 00000186: PUSH2 0x0316 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0x1878d1f1 00000190: EQ 00000191: PUSH2 0x0353 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0x1ac17db9 0000019b: EQ 0000019c: PUSH2 0x037b 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: CALLDATASIZE 000001a6: PUSH2 0x0311 000001a9: JUMPI 000001aa: PUSH1 0x02 000001ac: SLOAD 000001ad: PUSH1 0x01 000001af: PUSH1 0xa0 000001b1: SHL 000001b2: SWAP1 000001b3: DIV 000001b4: PUSH12 0xffffffffffffffffffffffff 000001c1: AND 000001c2: CALLVALUE 000001c3: LT 000001c4: ISZERO 000001c5: PUSH2 0x021f 000001c8: JUMPI 000001c9: PUSH1 0x02 000001cb: SLOAD 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000 000001f0: DUP2 000001f1: MSTORE 000001f2: CALLVALUE 000001f3: PUSH1 0x04 000001f5: DUP3 000001f6: ADD 000001f7: MSTORE 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: SHL 000001fd: SWAP1 000001fe: SWAP2 000001ff: DIV 00000200: PUSH12 0xffffffffffffffffffffffff 0000020d: AND 0000020e: PUSH1 0x24 00000210: DUP3 00000211: ADD 00000212: MSTORE 00000213: PUSH1 0x44 00000215: ADD 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: DUP1 0000021b: SWAP2 0000021c: SUB 0000021d: SWAP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: PUSH1 0x01 00000222: SLOAD 00000223: PUSH1 0x01 00000225: PUSH1 0xa0 00000227: SHL 00000228: SWAP1 00000229: DIV 0000022a: PUSH12 0xffffffffffffffffffffffff 00000237: AND 00000238: PUSH2 0x0241 0000023b: CALLVALUE 0000023c: DUP3 0000023d: PUSH2 0x208e 00000240: JUMP 00000241: JUMPDEST 00000242: PUSH1 0x00 00000244: SLOAD 00000245: SWAP1 00000246: SWAP2 00000247: POP 00000248: PUSH12 0xffffffffffffffffffffffff 00000255: SWAP1 00000256: PUSH2 0x0268 00000259: SWAP1 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: SHL 0000025f: SWAP1 00000260: DIV 00000261: DUP3 00000262: AND 00000263: DUP4 00000264: PUSH2 0x208e 00000267: JUMP 00000268: JUMPDEST 00000269: GT 0000026a: ISZERO 0000026b: PUSH2 0x02b5 0000026e: JUMPI 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000 00000293: DUP2 00000294: MSTORE 00000295: PUSH1 0x04 00000297: DUP2 00000298: ADD 00000299: DUP3 0000029a: SWAP1 0000029b: MSTORE 0000029c: PUSH12 0xffffffffffffffffffffffff 000002a9: PUSH1 0x24 000002ab: DUP3 000002ac: ADD 000002ad: MSTORE 000002ae: PUSH1 0x44 000002b0: ADD 000002b1: PUSH2 0x0216 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH1 0x01 000002b8: DUP1 000002b9: SLOAD 000002ba: PUSH1 0x01 000002bc: PUSH1 0x01 000002be: PUSH1 0xa0 000002c0: SHL 000002c1: SUB 000002c2: AND 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: SHL 000002c8: PUSH12 0xffffffffffffffffffffffff 000002d5: DUP5 000002d6: AND 000002d7: MUL 000002d8: OR 000002d9: SWAP1 000002da: SSTORE 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: CALLVALUE 000002df: DUP2 000002e0: MSTORE 000002e1: CALLER 000002e2: SWAP1 000002e3: PUSH32 0x830d2d700a97af574b186c80d40429385d24241565b08a7c559ba283a964d9b1 00000304: SWAP1 00000305: PUSH1 0x20 00000307: ADD 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: DUP1 0000030c: SWAP2 0000030d: SUB 0000030e: SWAP1 0000030f: LOG2 00000310: STOP 00000311: JUMPDEST 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: CALLVALUE 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0322 0000031d: JUMPI 0000031e: PUSH1 0x00 00000320: DUP1 00000321: REVERT 00000322: JUMPDEST 00000323: POP 00000324: PUSH1 0x01 00000326: SLOAD 00000327: PUSH2 0x0336 0000032a: SWAP1 0000032b: PUSH1 0x01 0000032d: PUSH1 0x01 0000032f: PUSH1 0xa0 00000331: SHL 00000332: SUB 00000333: AND 00000334: DUP2 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: PUSH1 0x01 0000033c: PUSH1 0x01 0000033e: PUSH1 0xa0 00000340: SHL 00000341: SUB 00000342: SWAP1 00000343: SWAP2 00000344: AND 00000345: DUP2 00000346: MSTORE 00000347: PUSH1 0x20 00000349: ADD 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: SWAP2 00000350: SUB 00000351: SWAP1 00000352: RETURN 00000353: JUMPDEST 00000354: CALLVALUE 00000355: DUP1 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: POP 00000361: PUSH2 0x0336 00000364: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000379: DUP2 0000037a: JUMP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH2 0x039b 0000038c: PUSH2 0x0396 0000038f: CALLDATASIZE 00000390: PUSH1 0x04 00000392: PUSH2 0x20bc 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH2 0x06f7 0000039a: JUMP 0000039b: JUMPDEST 0000039c: STOP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH2 0x039b 000003ae: PUSH2 0x03b8 000003b1: CALLDATASIZE 000003b2: PUSH1 0x04 000003b4: PUSH2 0x2104 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH2 0x0ae0 000003bc: JUMP 000003bd: JUMPDEST 000003be: CALLVALUE 000003bf: DUP1 000003c0: ISZERO 000003c1: PUSH2 0x03c9 000003c4: JUMPI 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: POP 000003cb: PUSH1 0x00 000003cd: SLOAD 000003ce: PUSH2 0x03e9 000003d1: SWAP1 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: SHL 000003d7: SWAP1 000003d8: DIV 000003d9: PUSH12 0xffffffffffffffffffffffff 000003e6: AND 000003e7: DUP2 000003e8: JUMP 000003e9: JUMPDEST 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: PUSH12 0xffffffffffffffffffffffff 000003fa: SWAP1 000003fb: SWAP2 000003fc: AND 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x20 00000401: ADD 00000402: PUSH2 0x034a 00000405: JUMP 00000406: JUMPDEST 00000407: CALLVALUE 00000408: DUP1 00000409: ISZERO 0000040a: PUSH2 0x0412 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: DUP1 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: PUSH2 0x039b 00000417: PUSH2 0x0bf9 0000041a: JUMP 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x039b 0000042c: PUSH2 0x0436 0000042f: CALLDATASIZE 00000430: PUSH1 0x04 00000432: PUSH2 0x2121 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x0c92 0000043a: JUMP 0000043b: JUMPDEST 0000043c: CALLVALUE 0000043d: DUP1 0000043e: ISZERO 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH1 0x02 0000044b: SLOAD 0000044c: PUSH2 0x0336 0000044f: SWAP1 00000450: PUSH1 0x01 00000452: PUSH1 0x01 00000454: PUSH1 0xa0 00000456: SHL 00000457: SUB 00000458: AND 00000459: DUP2 0000045a: JUMP 0000045b: JUMPDEST 0000045c: CALLVALUE 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x0467 00000462: JUMPI 00000463: PUSH1 0x00 00000465: DUP1 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: PUSH2 0x0488 0000046c: PUSH2 0x0476 0000046f: CALLDATASIZE 00000470: PUSH1 0x04 00000472: PUSH2 0x2104 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x05 00000479: PUSH1 0x20 0000047b: MSTORE 0000047c: PUSH1 0x00 0000047e: SWAP1 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x40 00000483: SWAP1 00000484: KECCAK256 00000485: SLOAD 00000486: DUP2 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: SWAP1 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x20 00000491: ADD 00000492: PUSH2 0x034a 00000495: JUMP 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH1 0x03 000004a6: SLOAD 000004a7: PUSH2 0x04b7 000004aa: SWAP1 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SWAP1 000004b1: DIV 000004b2: PUSH1 0xff 000004b4: AND 000004b5: DUP2 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH1 0x40 000004ba: MLOAD 000004bb: PUSH1 0xff 000004bd: SWAP1 000004be: SWAP2 000004bf: AND 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: PUSH2 0x034a 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLVALUE 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: PUSH1 0x02 000004d9: SLOAD 000004da: PUSH2 0x03e9 000004dd: SWAP1 000004de: PUSH1 0x01 000004e0: PUSH1 0xa0 000004e2: SHL 000004e3: SWAP1 000004e4: DIV 000004e5: PUSH12 0xffffffffffffffffffffffff 000004f2: AND 000004f3: DUP2 000004f4: JUMP 000004f5: JUMPDEST 000004f6: CALLVALUE 000004f7: DUP1 000004f8: ISZERO 000004f9: PUSH2 0x0501 000004fc: JUMPI 000004fd: PUSH1 0x00 000004ff: DUP1 00000500: REVERT 00000501: JUMPDEST 00000502: POP 00000503: PUSH2 0x0515 00000506: PUSH2 0x0510 00000509: CALLDATASIZE 0000050a: PUSH1 0x04 0000050c: PUSH2 0x213a 0000050f: JUMP 00000510: JUMPDEST 00000511: PUSH2 0x0dc2 00000514: JUMP 00000515: JUMPDEST 00000516: PUSH1 0x40 00000518: MLOAD 00000519: SWAP1 0000051a: ISZERO 0000051b: ISZERO 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: ADD 00000521: PUSH2 0x034a 00000524: JUMP 00000525: JUMPDEST 00000526: CALLVALUE 00000527: DUP1 00000528: ISZERO 00000529: PUSH2 0x0531 0000052c: JUMPI 0000052d: PUSH1 0x00 0000052f: DUP1 00000530: REVERT 00000531: JUMPDEST 00000532: POP 00000533: PUSH2 0x0515 00000536: PUSH2 0x0540 00000539: CALLDATASIZE 0000053a: PUSH1 0x04 0000053c: PUSH2 0x217c 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH2 0x11fa 00000544: JUMP 00000545: JUMPDEST 00000546: CALLVALUE 00000547: DUP1 00000548: ISZERO 00000549: PUSH2 0x0551 0000054c: JUMPI 0000054d: PUSH1 0x00 0000054f: DUP1 00000550: REVERT 00000551: JUMPDEST 00000552: POP 00000553: PUSH2 0x039b 00000556: PUSH2 0x14b0 00000559: JUMP 0000055a: JUMPDEST 0000055b: CALLVALUE 0000055c: DUP1 0000055d: ISZERO 0000055e: PUSH2 0x0566 00000561: JUMPI 00000562: PUSH1 0x00 00000564: DUP1 00000565: REVERT 00000566: JUMPDEST 00000567: POP 00000568: PUSH1 0x00 0000056a: SLOAD 0000056b: PUSH2 0x0336 0000056e: SWAP1 0000056f: PUSH1 0x01 00000571: PUSH1 0x01 00000573: PUSH1 0xa0 00000575: SHL 00000576: SUB 00000577: AND 00000578: DUP2 00000579: JUMP 0000057a: JUMPDEST 0000057b: CALLVALUE 0000057c: DUP1 0000057d: ISZERO 0000057e: PUSH2 0x0586 00000581: JUMPI 00000582: PUSH1 0x00 00000584: DUP1 00000585: REVERT 00000586: JUMPDEST 00000587: POP 00000588: PUSH2 0x0488 0000058b: PUSH2 0x155a 0000058e: JUMP 0000058f: JUMPDEST 00000590: CALLVALUE 00000591: DUP1 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: POP 0000059d: PUSH2 0x0515 000005a0: PUSH2 0x05aa 000005a3: CALLDATASIZE 000005a4: PUSH1 0x04 000005a6: PUSH2 0x2104 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x01 000005ad: PUSH1 0x01 000005af: PUSH1 0xa0 000005b1: SHL 000005b2: SUB 000005b3: AND 000005b4: PUSH1 0x00 000005b6: SWAP1 000005b7: DUP2 000005b8: MSTORE 000005b9: PUSH1 0x06 000005bb: PUSH1 0x20 000005bd: MSTORE 000005be: PUSH1 0x40 000005c0: SWAP1 000005c1: KECCAK256 000005c2: SLOAD 000005c3: PUSH1 0xff 000005c5: AND 000005c6: SWAP1 000005c7: JUMP 000005c8: JUMPDEST 000005c9: CALLVALUE 000005ca: DUP1 000005cb: ISZERO 000005cc: PUSH2 0x05d4 000005cf: JUMPI 000005d0: PUSH1 0x00 000005d2: DUP1 000005d3: REVERT 000005d4: JUMPDEST 000005d5: POP 000005d6: PUSH2 0x039b 000005d9: PUSH2 0x05e3 000005dc: CALLDATASIZE 000005dd: PUSH1 0x04 000005df: PUSH2 0x2104 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH2 0x1768 000005e7: JUMP 000005e8: JUMPDEST 000005e9: PUSH2 0x039b 000005ec: PUSH2 0x05f6 000005ef: CALLDATASIZE 000005f0: PUSH1 0x04 000005f2: PUSH2 0x2299 000005f5: JUMP 000005f6: JUMPDEST 000005f7: PUSH2 0x1848 000005fa: JUMP 000005fb: JUMPDEST 000005fc: CALLVALUE 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: POP 00000609: PUSH1 0x01 0000060b: SLOAD 0000060c: PUSH2 0x03e9 0000060f: SWAP1 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: SHL 00000615: SWAP1 00000616: DIV 00000617: PUSH12 0xffffffffffffffffffffffff 00000624: AND 00000625: DUP2 00000626: JUMP 00000627: JUMPDEST 00000628: CALLVALUE 00000629: DUP1 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: PUSH2 0x0515 00000638: PUSH2 0x0642 0000063b: CALLDATASIZE 0000063c: PUSH1 0x04 0000063e: PUSH2 0x2104 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x06 00000645: PUSH1 0x20 00000647: MSTORE 00000648: PUSH1 0x00 0000064a: SWAP1 0000064b: DUP2 0000064c: MSTORE 0000064d: PUSH1 0x40 0000064f: SWAP1 00000650: KECCAK256 00000651: SLOAD 00000652: PUSH1 0xff 00000654: AND 00000655: DUP2 00000656: JUMP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH1 0x03 00000667: SLOAD 00000668: PUSH2 0x0336 0000066b: SWAP1 0000066c: PUSH1 0x01 0000066e: PUSH1 0x01 00000670: PUSH1 0xa0 00000672: SHL 00000673: SUB 00000674: AND 00000675: DUP2 00000676: JUMP 00000677: JUMPDEST 00000678: CALLVALUE 00000679: DUP1 0000067a: ISZERO 0000067b: PUSH2 0x0683 0000067e: JUMPI 0000067f: PUSH1 0x00 00000681: DUP1 00000682: REVERT 00000683: JUMPDEST 00000684: POP 00000685: PUSH2 0x039b 00000688: PUSH2 0x0692 0000068b: CALLDATASIZE 0000068c: PUSH1 0x04 0000068e: PUSH2 0x2104 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x1c38 00000696: JUMP 00000697: JUMPDEST 00000698: CALLVALUE 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: PUSH2 0x039b 000006a8: PUSH2 0x06b2 000006ab: CALLDATASIZE 000006ac: PUSH1 0x04 000006ae: PUSH2 0x22fd 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x1d42 000006b6: JUMP 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: POP 000006c5: PUSH1 0x04 000006c7: SLOAD 000006c8: PUSH2 0x0336 000006cb: SWAP1 000006cc: PUSH1 0x01 000006ce: PUSH1 0x01 000006d0: PUSH1 0xa0 000006d2: SHL 000006d3: SUB 000006d4: AND 000006d5: DUP2 000006d6: JUMP 000006d7: JUMPDEST 000006d8: CALLVALUE 000006d9: DUP1 000006da: ISZERO 000006db: PUSH2 0x06e3 000006de: JUMPI 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: REVERT 000006e3: JUMPDEST 000006e4: POP 000006e5: PUSH2 0x0515 000006e8: PUSH2 0x06f2 000006eb: CALLDATASIZE 000006ec: PUSH1 0x04 000006ee: PUSH2 0x2121 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH2 0x1ed4 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x03 000006fa: SLOAD 000006fb: PUSH1 0x01 000006fd: PUSH1 0x01 000006ff: PUSH1 0xa0 00000701: SHL 00000702: SUB 00000703: AND 00000704: CALLER 00000705: EQ 00000706: PUSH2 0x0750 00000709: JUMPI 0000070a: PUSH1 0x03 0000070c: SLOAD 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000 00000731: DUP2 00000732: MSTORE 00000733: CALLER 00000734: PUSH1 0x04 00000736: DUP3 00000737: ADD 00000738: MSTORE 00000739: PUSH1 0x01 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: SHL 00000740: SUB 00000741: SWAP1 00000742: SWAP2 00000743: AND 00000744: PUSH1 0x24 00000746: DUP3 00000747: ADD 00000748: MSTORE 00000749: PUSH1 0x44 0000074b: ADD 0000074c: PUSH2 0x0216 0000074f: JUMP 00000750: JUMPDEST 00000751: PUSH1 0x01 00000753: PUSH1 0x01 00000755: PUSH1 0xa0 00000757: SHL 00000758: SUB 00000759: DUP3 0000075a: AND 0000075b: PUSH1 0x00 0000075d: SWAP1 0000075e: DUP2 0000075f: MSTORE 00000760: PUSH1 0x06 00000762: PUSH1 0x20 00000764: MSTORE 00000765: PUSH1 0x40 00000767: SWAP1 00000768: KECCAK256 00000769: SLOAD 0000076a: PUSH1 0xff 0000076c: AND 0000076d: PUSH2 0x07ad 00000770: JUMPI 00000771: PUSH1 0x40 00000773: MLOAD 00000774: PUSH32 0xe3d87c6200000000000000000000000000000000000000000000000000000000 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x01 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: SHL 0000079e: SUB 0000079f: DUP4 000007a0: AND 000007a1: PUSH1 0x04 000007a3: DUP3 000007a4: ADD 000007a5: MSTORE 000007a6: PUSH1 0x24 000007a8: ADD 000007a9: PUSH2 0x0216 000007ac: JUMP 000007ad: JUMPDEST 000007ae: PUSH1 0x01 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: SHL 000007b5: SUB 000007b6: DUP3 000007b7: AND 000007b8: PUSH1 0x00 000007ba: SWAP1 000007bb: DUP2 000007bc: MSTORE 000007bd: PUSH1 0x05 000007bf: PUSH1 0x20 000007c1: MSTORE 000007c2: PUSH1 0x40 000007c4: DUP2 000007c5: KECCAK256 000007c6: SLOAD 000007c7: PUSH2 0x07d1 000007ca: SWAP1 000007cb: DUP6 000007cc: SWAP1 000007cd: PUSH2 0x208e 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x01 000007d4: PUSH1 0x01 000007d6: PUSH1 0xa0 000007d8: SHL 000007d9: SUB 000007da: DUP5 000007db: DUP2 000007dc: AND 000007dd: PUSH1 0x00 000007df: DUP2 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x05 000007e4: PUSH1 0x20 000007e6: MSTORE 000007e7: PUSH1 0x40 000007e9: SWAP1 000007ea: DUP2 000007eb: SWAP1 000007ec: KECCAK256 000007ed: DUP5 000007ee: SWAP1 000007ef: SSTORE 000007f0: MLOAD 000007f1: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 00000812: DUP2 00000813: MSTORE 00000814: SWAP2 00000815: DUP9 00000816: AND 00000817: PUSH1 0x04 00000819: DUP4 0000081a: ADD 0000081b: MSTORE 0000081c: ADDRESS 0000081d: PUSH1 0x24 0000081f: DUP4 00000820: ADD 00000821: MSTORE 00000822: SWAP2 00000823: SWAP3 00000824: POP 00000825: DUP6 00000826: SWAP2 00000827: SWAP1 00000828: PUSH4 0xdd62ed3e 0000082d: SWAP1 0000082e: PUSH1 0x44 00000830: ADD 00000831: PUSH1 0x20 00000833: PUSH1 0x40 00000835: MLOAD 00000836: DUP1 00000837: DUP4 00000838: SUB 00000839: DUP2 0000083a: DUP7 0000083b: GAS 0000083c: STATICCALL 0000083d: ISZERO 0000083e: DUP1 0000083f: ISZERO 00000840: PUSH2 0x084d 00000843: JUMPI 00000844: RETURNDATASIZE 00000845: PUSH1 0x00 00000847: DUP1 00000848: RETURNDATACOPY 00000849: RETURNDATASIZE 0000084a: PUSH1 0x00 0000084c: REVERT 0000084d: JUMPDEST 0000084e: POP 0000084f: POP 00000850: POP 00000851: POP 00000852: PUSH1 0x40 00000854: MLOAD 00000855: RETURNDATASIZE 00000856: PUSH1 0x1f 00000858: NOT 00000859: PUSH1 0x1f 0000085b: DUP3 0000085c: ADD 0000085d: AND 0000085e: DUP3 0000085f: ADD 00000860: DUP1 00000861: PUSH1 0x40 00000863: MSTORE 00000864: POP 00000865: DUP2 00000866: ADD 00000867: SWAP1 00000868: PUSH2 0x0871 0000086b: SWAP2 0000086c: SWAP1 0000086d: PUSH2 0x233d 00000870: JUMP 00000871: JUMPDEST 00000872: LT 00000873: ISZERO 00000874: PUSH2 0x093d 00000877: JUMPI 00000878: PUSH1 0x40 0000087a: MLOAD 0000087b: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 0000089c: DUP2 0000089d: MSTORE 0000089e: PUSH1 0x01 000008a0: PUSH1 0x01 000008a2: PUSH1 0xa0 000008a4: SHL 000008a5: SUB 000008a6: DUP7 000008a7: DUP2 000008a8: AND 000008a9: PUSH1 0x04 000008ab: DUP4 000008ac: ADD 000008ad: MSTORE 000008ae: ADDRESS 000008af: PUSH1 0x24 000008b1: DUP4 000008b2: ADD 000008b3: MSTORE 000008b4: DUP5 000008b5: AND 000008b6: SWAP1 000008b7: PUSH4 0xdd62ed3e 000008bc: SWAP1 000008bd: PUSH1 0x44 000008bf: ADD 000008c0: PUSH1 0x20 000008c2: PUSH1 0x40 000008c4: MLOAD 000008c5: DUP1 000008c6: DUP4 000008c7: SUB 000008c8: DUP2 000008c9: DUP7 000008ca: GAS 000008cb: STATICCALL 000008cc: ISZERO 000008cd: DUP1 000008ce: ISZERO 000008cf: PUSH2 0x08dc 000008d2: JUMPI 000008d3: RETURNDATASIZE 000008d4: PUSH1 0x00 000008d6: DUP1 000008d7: RETURNDATACOPY 000008d8: RETURNDATASIZE 000008d9: PUSH1 0x00 000008db: REVERT 000008dc: JUMPDEST 000008dd: POP 000008de: POP 000008df: POP 000008e0: POP 000008e1: PUSH1 0x40 000008e3: MLOAD 000008e4: RETURNDATASIZE 000008e5: PUSH1 0x1f 000008e7: NOT 000008e8: PUSH1 0x1f 000008ea: DUP3 000008eb: ADD 000008ec: AND 000008ed: DUP3 000008ee: ADD 000008ef: DUP1 000008f0: PUSH1 0x40 000008f2: MSTORE 000008f3: POP 000008f4: DUP2 000008f5: ADD 000008f6: SWAP1 000008f7: PUSH2 0x0900 000008fa: SWAP2 000008fb: SWAP1 000008fc: PUSH2 0x233d 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x40 00000903: MLOAD 00000904: PUSH32 0x2a1b2dd800000000000000000000000000000000000000000000000000000000 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x04 00000929: DUP2 0000092a: ADD 0000092b: SWAP2 0000092c: SWAP1 0000092d: SWAP2 0000092e: MSTORE 0000092f: PUSH1 0x24 00000931: DUP2 00000932: ADD 00000933: DUP6 00000934: SWAP1 00000935: MSTORE 00000936: PUSH1 0x44 00000938: ADD 00000939: PUSH2 0x0216 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x40 00000940: MLOAD 00000941: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x01 00000966: PUSH1 0x01 00000968: PUSH1 0xa0 0000096a: SHL 0000096b: SUB 0000096c: DUP7 0000096d: DUP2 0000096e: AND 0000096f: PUSH1 0x04 00000971: DUP4 00000972: ADD 00000973: MSTORE 00000974: ADDRESS 00000975: PUSH1 0x24 00000977: DUP4 00000978: ADD 00000979: MSTORE 0000097a: PUSH1 0x44 0000097c: DUP3 0000097d: ADD 0000097e: DUP7 0000097f: SWAP1 00000980: MSTORE 00000981: PUSH1 0x00 00000983: SWAP2 00000984: SWAP1 00000985: DUP6 00000986: AND 00000987: SWAP1 00000988: PUSH4 0x23b872dd 0000098d: SWAP1 0000098e: PUSH1 0x64 00000990: ADD 00000991: PUSH1 0x20 00000993: PUSH1 0x40 00000995: MLOAD 00000996: DUP1 00000997: DUP4 00000998: SUB 00000999: DUP2 0000099a: PUSH1 0x00 0000099c: DUP8 0000099d: GAS 0000099e: CALL 0000099f: ISZERO 000009a0: DUP1 000009a1: ISZERO 000009a2: PUSH2 0x09af 000009a5: JUMPI 000009a6: RETURNDATASIZE 000009a7: PUSH1 0x00 000009a9: DUP1 000009aa: RETURNDATACOPY 000009ab: RETURNDATASIZE 000009ac: PUSH1 0x00 000009ae: REVERT 000009af: JUMPDEST 000009b0: POP 000009b1: POP 000009b2: POP 000009b3: POP 000009b4: PUSH1 0x40 000009b6: MLOAD 000009b7: RETURNDATASIZE 000009b8: PUSH1 0x1f 000009ba: NOT 000009bb: PUSH1 0x1f 000009bd: DUP3 000009be: ADD 000009bf: AND 000009c0: DUP3 000009c1: ADD 000009c2: DUP1 000009c3: PUSH1 0x40 000009c5: MSTORE 000009c6: POP 000009c7: DUP2 000009c8: ADD 000009c9: SWAP1 000009ca: PUSH2 0x09d3 000009cd: SWAP2 000009ce: SWAP1 000009cf: PUSH2 0x2356 000009d2: JUMP 000009d3: JUMPDEST 000009d4: SWAP1 000009d5: POP 000009d6: DUP1 000009d7: PUSH2 0x0a13 000009da: JUMPI 000009db: PUSH1 0x40 000009dd: MLOAD 000009de: PUSH4 0xcd3f1659 000009e3: PUSH1 0xe0 000009e5: SHL 000009e6: DUP2 000009e7: MSTORE 000009e8: PUSH1 0x01 000009ea: PUSH1 0x01 000009ec: PUSH1 0xa0 000009ee: SHL 000009ef: SUB 000009f0: DUP1 000009f1: DUP7 000009f2: AND 000009f3: PUSH1 0x04 000009f5: DUP4 000009f6: ADD 000009f7: MSTORE 000009f8: DUP8 000009f9: AND 000009fa: PUSH1 0x24 000009fc: DUP3 000009fd: ADD 000009fe: MSTORE 000009ff: ADDRESS 00000a00: PUSH1 0x44 00000a02: DUP3 00000a03: ADD 00000a04: MSTORE 00000a05: PUSH1 0x64 00000a07: DUP2 00000a08: ADD 00000a09: DUP7 00000a0a: SWAP1 00000a0b: MSTORE 00000a0c: PUSH1 0x84 00000a0e: ADD 00000a0f: PUSH2 0x0216 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH1 0x01 00000a16: SLOAD 00000a17: PUSH1 0x40 00000a19: MLOAD 00000a1a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 00000a3b: DUP2 00000a3c: MSTORE 00000a3d: CALLER 00000a3e: PUSH1 0x04 00000a40: DUP3 00000a41: ADD 00000a42: MSTORE 00000a43: PUSH1 0x24 00000a45: DUP2 00000a46: ADD 00000a47: DUP6 00000a48: SWAP1 00000a49: MSTORE 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0xa0 00000a50: SHL 00000a51: SUB 00000a52: SWAP1 00000a53: SWAP2 00000a54: AND 00000a55: SWAP1 00000a56: PUSH4 0x40c10f19 00000a5b: SWAP1 00000a5c: PUSH1 0x44 00000a5e: ADD 00000a5f: PUSH1 0x00 00000a61: PUSH1 0x40 00000a63: MLOAD 00000a64: DUP1 00000a65: DUP4 00000a66: SUB 00000a67: DUP2 00000a68: PUSH1 0x00 00000a6a: DUP8 00000a6b: DUP1 00000a6c: EXTCODESIZE 00000a6d: ISZERO 00000a6e: DUP1 00000a6f: ISZERO 00000a70: PUSH2 0x0a78 00000a73: JUMPI 00000a74: PUSH1 0x00 00000a76: DUP1 00000a77: REVERT 00000a78: JUMPDEST 00000a79: POP 00000a7a: GAS 00000a7b: CALL 00000a7c: ISZERO 00000a7d: DUP1 00000a7e: ISZERO 00000a7f: PUSH2 0x0a8c 00000a82: JUMPI 00000a83: RETURNDATASIZE 00000a84: PUSH1 0x00 00000a86: DUP1 00000a87: RETURNDATACOPY 00000a88: RETURNDATASIZE 00000a89: PUSH1 0x00 00000a8b: REVERT 00000a8c: JUMPDEST 00000a8d: POP 00000a8e: POP 00000a8f: PUSH1 0x40 00000a91: DUP1 00000a92: MLOAD 00000a93: DUP9 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x20 00000a98: DUP2 00000a99: ADD 00000a9a: DUP8 00000a9b: SWAP1 00000a9c: MSTORE 00000a9d: PUSH1 0x01 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0xa0 00000aa3: SHL 00000aa4: SUB 00000aa5: DUP1 00000aa6: DUP10 00000aa7: AND 00000aa8: SWAP5 00000aa9: POP 00000aaa: DUP11 00000aab: AND 00000aac: SWAP3 00000aad: POP 00000aae: PUSH32 0x508c72f275e49212a4b6ffe7c19109c6720f9b15c6e9d2732e500d1b8d1f94d4 00000acf: SWAP2 00000ad0: ADD 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: DUP1 00000ad5: SWAP2 00000ad6: SUB 00000ad7: SWAP1 00000ad8: LOG3 00000ad9: POP 00000ada: POP 00000adb: POP 00000adc: POP 00000add: POP 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x00 00000ae3: SLOAD 00000ae4: PUSH1 0x01 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0xa0 00000aea: SHL 00000aeb: SUB 00000aec: AND 00000aed: CALLER 00000aee: EQ 00000aef: PUSH2 0x0b20 00000af2: JUMPI 00000af3: PUSH1 0x00 00000af5: SLOAD 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: PUSH4 0x521eb56d 00000afe: PUSH1 0xe1 00000b00: SHL 00000b01: DUP2 00000b02: MSTORE 00000b03: CALLER 00000b04: PUSH1 0x04 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH1 0x01 00000b0b: PUSH1 0x01 00000b0d: PUSH1 0xa0 00000b0f: SHL 00000b10: SUB 00000b11: SWAP1 00000b12: SWAP2 00000b13: AND 00000b14: PUSH1 0x24 00000b16: DUP3 00000b17: ADD 00000b18: MSTORE 00000b19: PUSH1 0x44 00000b1b: ADD 00000b1c: PUSH2 0x0216 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: PUSH1 0x01 00000b23: PUSH1 0x01 00000b25: PUSH1 0xa0 00000b27: SHL 00000b28: SUB 00000b29: DUP2 00000b2a: AND 00000b2b: PUSH1 0x00 00000b2d: SWAP1 00000b2e: DUP2 00000b2f: MSTORE 00000b30: PUSH1 0x06 00000b32: PUSH1 0x20 00000b34: MSTORE 00000b35: PUSH1 0x40 00000b37: SWAP1 00000b38: KECCAK256 00000b39: SLOAD 00000b3a: PUSH1 0xff 00000b3c: AND 00000b3d: ISZERO 00000b3e: PUSH2 0x0bf6 00000b41: JUMPI 00000b42: PUSH1 0x01 00000b44: PUSH1 0x01 00000b46: PUSH1 0xa0 00000b48: SHL 00000b49: SUB 00000b4a: DUP2 00000b4b: AND 00000b4c: PUSH1 0x00 00000b4e: SWAP1 00000b4f: DUP2 00000b50: MSTORE 00000b51: PUSH1 0x05 00000b53: PUSH1 0x20 00000b55: MSTORE 00000b56: PUSH1 0x40 00000b58: SWAP1 00000b59: KECCAK256 00000b5a: SLOAD 00000b5b: ISZERO 00000b5c: PUSH2 0x0b91 00000b5f: JUMPI 00000b60: PUSH1 0x40 00000b62: MLOAD 00000b63: PUSH32 0xe320176b00000000000000000000000000000000000000000000000000000000 00000b84: DUP2 00000b85: MSTORE 00000b86: PUSH1 0x04 00000b88: ADD 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: DUP1 00000b8d: SWAP2 00000b8e: SUB 00000b8f: SWAP1 00000b90: REVERT 00000b91: JUMPDEST 00000b92: PUSH1 0x01 00000b94: PUSH1 0x01 00000b96: PUSH1 0xa0 00000b98: SHL 00000b99: SUB 00000b9a: DUP2 00000b9b: AND 00000b9c: PUSH1 0x00 00000b9e: DUP2 00000b9f: DUP2 00000ba0: MSTORE 00000ba1: PUSH1 0x06 00000ba3: PUSH1 0x20 00000ba5: MSTORE 00000ba6: PUSH1 0x40 00000ba8: DUP1 00000ba9: DUP3 00000baa: KECCAK256 00000bab: DUP1 00000bac: SLOAD 00000bad: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000bce: AND 00000bcf: SWAP1 00000bd0: SSTORE 00000bd1: MLOAD 00000bd2: PUSH32 0x3907c2f289c906800bbef774e6e4a476623eae8c1abc6cd0a78ef88aba9a6225 00000bf3: SWAP2 00000bf4: SWAP1 00000bf5: LOG2 00000bf6: JUMPDEST 00000bf7: POP 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: PUSH1 0x00 00000bfc: SLOAD 00000bfd: PUSH1 0x01 00000bff: PUSH1 0x01 00000c01: PUSH1 0xa0 00000c03: SHL 00000c04: SUB 00000c05: AND 00000c06: CALLER 00000c07: EQ 00000c08: PUSH2 0x0c39 00000c0b: JUMPI 00000c0c: PUSH1 0x00 00000c0e: SLOAD 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH4 0x521eb56d 00000c17: PUSH1 0xe1 00000c19: SHL 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: CALLER 00000c1d: PUSH1 0x04 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x01 00000c24: PUSH1 0x01 00000c26: PUSH1 0xa0 00000c28: SHL 00000c29: SUB 00000c2a: SWAP1 00000c2b: SWAP2 00000c2c: AND 00000c2d: PUSH1 0x24 00000c2f: DUP3 00000c30: ADD 00000c31: MSTORE 00000c32: PUSH1 0x44 00000c34: ADD 00000c35: PUSH2 0x0216 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x03 00000c3c: DUP1 00000c3d: SLOAD 00000c3e: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00000c5f: AND 00000c60: PUSH1 0x01 00000c62: PUSH1 0xa0 00000c64: SHL 00000c65: OR 00000c66: SWAP1 00000c67: SSTORE 00000c68: PUSH1 0x40 00000c6a: MLOAD 00000c6b: PUSH32 0xa4f5d2111fbcc4ac1936a7aa8878cf6082bd2abfbd9bb58e7cce14981eec8b36 00000c8c: SWAP1 00000c8d: PUSH1 0x00 00000c8f: SWAP1 00000c90: LOG1 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x00 00000c95: SLOAD 00000c96: PUSH1 0x01 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: SHL 00000c9d: SUB 00000c9e: AND 00000c9f: CALLER 00000ca0: EQ 00000ca1: PUSH2 0x0cd2 00000ca4: JUMPI 00000ca5: PUSH1 0x00 00000ca7: SLOAD 00000ca8: PUSH1 0x40 00000caa: MLOAD 00000cab: PUSH4 0x521eb56d 00000cb0: PUSH1 0xe1 00000cb2: SHL 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: CALLER 00000cb6: PUSH1 0x04 00000cb8: DUP3 00000cb9: ADD 00000cba: MSTORE 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0x01 00000cbf: PUSH1 0xa0 00000cc1: SHL 00000cc2: SUB 00000cc3: SWAP1 00000cc4: SWAP2 00000cc5: AND 00000cc6: PUSH1 0x24 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: PUSH1 0x44 00000ccd: ADD 00000cce: PUSH2 0x0216 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: DUP1 00000cd4: PUSH1 0x00 00000cd6: SUB 00000cd7: PUSH2 0x0d0c 00000cda: JUMPI 00000cdb: PUSH1 0x40 00000cdd: MLOAD 00000cde: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x04 00000d03: ADD 00000d04: PUSH1 0x40 00000d06: MLOAD 00000d07: DUP1 00000d08: SWAP2 00000d09: SUB 00000d0a: SWAP1 00000d0b: REVERT 00000d0c: JUMPDEST 00000d0d: PUSH12 0xffffffffffffffffffffffff 00000d1a: DUP2 00000d1b: GT 00000d1c: ISZERO 00000d1d: PUSH2 0x0d67 00000d20: JUMPI 00000d21: PUSH1 0x40 00000d23: MLOAD 00000d24: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000 00000d45: DUP2 00000d46: MSTORE 00000d47: PUSH1 0x04 00000d49: DUP2 00000d4a: ADD 00000d4b: DUP3 00000d4c: SWAP1 00000d4d: MSTORE 00000d4e: PUSH12 0xffffffffffffffffffffffff 00000d5b: PUSH1 0x24 00000d5d: DUP3 00000d5e: ADD 00000d5f: MSTORE 00000d60: PUSH1 0x44 00000d62: ADD 00000d63: PUSH2 0x0216 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x02 00000d6a: DUP1 00000d6b: SLOAD 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0x01 00000d70: PUSH1 0xa0 00000d72: SHL 00000d73: SUB 00000d74: AND 00000d75: PUSH1 0x01 00000d77: PUSH1 0xa0 00000d79: SHL 00000d7a: PUSH12 0xffffffffffffffffffffffff 00000d87: DUP5 00000d88: AND 00000d89: MUL 00000d8a: OR 00000d8b: SWAP1 00000d8c: SSTORE 00000d8d: PUSH1 0x40 00000d8f: MLOAD 00000d90: DUP2 00000d91: DUP2 00000d92: MSTORE 00000d93: PUSH32 0x4e97f4325d1d8a9018f3f17e69a6cb9cb011cc8a813e90b3549a773506e429fd 00000db4: SWAP1 00000db5: PUSH1 0x20 00000db7: ADD 00000db8: PUSH1 0x40 00000dba: MLOAD 00000dbb: DUP1 00000dbc: SWAP2 00000dbd: SUB 00000dbe: SWAP1 00000dbf: LOG1 00000dc0: POP 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: SLOAD 00000dc7: PUSH1 0x01 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: SHL 00000dce: SUB 00000dcf: AND 00000dd0: CALLER 00000dd1: EQ 00000dd2: PUSH2 0x0e03 00000dd5: JUMPI 00000dd6: PUSH1 0x00 00000dd8: SLOAD 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: PUSH4 0x521eb56d 00000de1: PUSH1 0xe1 00000de3: SHL 00000de4: DUP2 00000de5: MSTORE 00000de6: CALLER 00000de7: PUSH1 0x04 00000de9: DUP3 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH1 0x01 00000dee: PUSH1 0x01 00000df0: PUSH1 0xa0 00000df2: SHL 00000df3: SUB 00000df4: SWAP1 00000df5: SWAP2 00000df6: AND 00000df7: PUSH1 0x24 00000df9: DUP3 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x44 00000dfe: ADD 00000dff: PUSH2 0x0216 00000e02: JUMP 00000e03: JUMPDEST 00000e04: ADDRESS 00000e05: PUSH1 0x01 00000e07: PUSH1 0x01 00000e09: PUSH1 0xa0 00000e0b: SHL 00000e0c: SUB 00000e0d: DUP6 00000e0e: AND 00000e0f: SUB 00000e10: PUSH2 0x0e4c 00000e13: JUMPI 00000e14: PUSH1 0x40 00000e16: MLOAD 00000e17: PUSH4 0xcd3f1659 00000e1c: PUSH1 0xe0 00000e1e: SHL 00000e1f: DUP2 00000e20: MSTORE 00000e21: PUSH1 0x01 00000e23: PUSH1 0x01 00000e25: PUSH1 0xa0 00000e27: SHL 00000e28: SUB 00000e29: DUP1 00000e2a: DUP5 00000e2b: AND 00000e2c: PUSH1 0x04 00000e2e: DUP4 00000e2f: ADD 00000e30: MSTORE 00000e31: ADDRESS 00000e32: PUSH1 0x24 00000e34: DUP4 00000e35: ADD 00000e36: MSTORE 00000e37: DUP6 00000e38: AND 00000e39: PUSH1 0x44 00000e3b: DUP3 00000e3c: ADD 00000e3d: MSTORE 00000e3e: PUSH1 0x64 00000e40: DUP2 00000e41: ADD 00000e42: DUP5 00000e43: SWAP1 00000e44: MSTORE 00000e45: PUSH1 0x84 00000e47: ADD 00000e48: PUSH2 0x0216 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: DUP3 00000e4e: PUSH1 0x00 00000e50: SUB 00000e51: PUSH2 0x0e86 00000e54: JUMPI 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000 00000e79: DUP2 00000e7a: MSTORE 00000e7b: PUSH1 0x04 00000e7d: ADD 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: DUP1 00000e82: SWAP2 00000e83: SUB 00000e84: SWAP1 00000e85: REVERT 00000e86: JUMPDEST 00000e87: PUSH32 0xffffffffffffffffffffffff1111111111111111111111111111111111111112 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0x01 00000eac: PUSH1 0xa0 00000eae: SHL 00000eaf: SUB 00000eb0: DUP4 00000eb1: AND 00000eb2: ADD 00000eb3: PUSH2 0x1041 00000eb6: JUMPI 00000eb7: PUSH1 0x01 00000eb9: SLOAD 00000eba: PUSH1 0x01 00000ebc: PUSH1 0xa0 00000ebe: SHL 00000ebf: SWAP1 00000ec0: DIV 00000ec1: PUSH12 0xffffffffffffffffffffffff 00000ece: AND 00000ecf: DUP4 00000ed0: DUP2 00000ed1: LT 00000ed2: PUSH2 0x0fff 00000ed5: JUMPI 00000ed6: PUSH2 0x0edf 00000ed9: DUP5 00000eda: DUP3 00000edb: PUSH2 0x2378 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x01 00000ee2: DUP1 00000ee3: SLOAD 00000ee4: PUSH1 0x01 00000ee6: PUSH1 0x01 00000ee8: PUSH1 0xa0 00000eea: SHL 00000eeb: SUB 00000eec: SWAP1 00000eed: DUP2 00000eee: AND 00000eef: PUSH1 0x01 00000ef1: PUSH1 0xa0 00000ef3: SHL 00000ef4: PUSH12 0xffffffffffffffffffffffff 00000f01: DUP6 00000f02: AND 00000f03: MUL 00000f04: OR 00000f05: SWAP1 00000f06: SWAP2 00000f07: SSTORE 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: DUP7 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: SWAP2 00000f0f: SWAP3 00000f10: POP 00000f11: DUP7 00000f12: AND 00000f13: SWAP1 00000f14: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000f29: SWAP1 00000f2a: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 00000f4b: SWAP1 00000f4c: PUSH1 0x20 00000f4e: ADD 00000f4f: PUSH1 0x40 00000f51: MLOAD 00000f52: DUP1 00000f53: SWAP2 00000f54: SUB 00000f55: SWAP1 00000f56: LOG3 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0x01 00000f5e: PUSH1 0xa0 00000f60: SHL 00000f61: SUB 00000f62: DUP7 00000f63: AND 00000f64: SWAP1 00000f65: DUP6 00000f66: SWAP1 00000f67: PUSH1 0x00 00000f69: DUP2 00000f6a: DUP2 00000f6b: DUP2 00000f6c: DUP6 00000f6d: DUP8 00000f6e: GAS 00000f6f: CALL 00000f70: SWAP3 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: RETURNDATASIZE 00000f75: DUP1 00000f76: PUSH1 0x00 00000f78: DUP2 00000f79: EQ 00000f7a: PUSH2 0x0f9f 00000f7d: JUMPI 00000f7e: PUSH1 0x40 00000f80: MLOAD 00000f81: SWAP2 00000f82: POP 00000f83: PUSH1 0x1f 00000f85: NOT 00000f86: PUSH1 0x3f 00000f88: RETURNDATASIZE 00000f89: ADD 00000f8a: AND 00000f8b: DUP3 00000f8c: ADD 00000f8d: PUSH1 0x40 00000f8f: MSTORE 00000f90: RETURNDATASIZE 00000f91: DUP3 00000f92: MSTORE 00000f93: RETURNDATASIZE 00000f94: PUSH1 0x00 00000f96: PUSH1 0x20 00000f98: DUP5 00000f99: ADD 00000f9a: RETURNDATACOPY 00000f9b: PUSH2 0x0fa4 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x60 00000fa2: SWAP2 00000fa3: POP 00000fa4: JUMPDEST 00000fa5: POP 00000fa6: POP 00000fa7: DUP1 00000fa8: SWAP3 00000fa9: POP 00000faa: POP 00000fab: DUP2 00000fac: PUSH2 0x0ffa 00000faf: JUMPI 00000fb0: PUSH1 0x40 00000fb2: MLOAD 00000fb3: PUSH4 0xcd3f1659 00000fb8: PUSH1 0xe0 00000fba: SHL 00000fbb: DUP2 00000fbc: MSTORE 00000fbd: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000fd2: PUSH1 0x04 00000fd4: DUP3 00000fd5: ADD 00000fd6: MSTORE 00000fd7: ADDRESS 00000fd8: PUSH1 0x24 00000fda: DUP3 00000fdb: ADD 00000fdc: MSTORE 00000fdd: PUSH1 0x01 00000fdf: PUSH1 0x01 00000fe1: PUSH1 0xa0 00000fe3: SHL 00000fe4: SUB 00000fe5: DUP7 00000fe6: AND 00000fe7: PUSH1 0x44 00000fe9: DUP3 00000fea: ADD 00000feb: MSTORE 00000fec: PUSH1 0x64 00000fee: DUP2 00000fef: ADD 00000ff0: DUP6 00000ff1: SWAP1 00000ff2: MSTORE 00000ff3: PUSH1 0x84 00000ff5: ADD 00000ff6: PUSH2 0x0216 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH2 0x103b 00000ffe: JUMP 00000fff: JUMPDEST 00001000: PUSH1 0x40 00001002: MLOAD 00001003: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x04 00001028: DUP2 00001029: ADD 0000102a: DUP6 0000102b: SWAP1 0000102c: MSTORE 0000102d: PUSH1 0x24 0000102f: DUP2 00001030: ADD 00001031: DUP3 00001032: SWAP1 00001033: MSTORE 00001034: PUSH1 0x44 00001036: ADD 00001037: PUSH2 0x0216 0000103a: JUMP 0000103b: JUMPDEST 0000103c: POP 0000103d: PUSH2 0x11f3 00001040: JUMP 00001041: JUMPDEST 00001042: PUSH1 0x01 00001044: PUSH1 0x01 00001046: PUSH1 0xa0 00001048: SHL 00001049: SUB 0000104a: DUP3 0000104b: AND 0000104c: PUSH1 0x00 0000104e: SWAP1 0000104f: DUP2 00001050: MSTORE 00001051: PUSH1 0x06 00001053: PUSH1 0x20 00001055: MSTORE 00001056: PUSH1 0x40 00001058: SWAP1 00001059: KECCAK256 0000105a: SLOAD 0000105b: PUSH1 0xff 0000105d: AND 0000105e: PUSH2 0x109e 00001061: JUMPI 00001062: PUSH1 0x40 00001064: MLOAD 00001065: PUSH32 0xe3d87c6200000000000000000000000000000000000000000000000000000000 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x01 0000108a: PUSH1 0x01 0000108c: PUSH1 0xa0 0000108e: SHL 0000108f: SUB 00001090: DUP4 00001091: AND 00001092: PUSH1 0x04 00001094: DUP3 00001095: ADD 00001096: MSTORE 00001097: PUSH1 0x24 00001099: ADD 0000109a: PUSH2 0x0216 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x01 000010a1: PUSH1 0x01 000010a3: PUSH1 0xa0 000010a5: SHL 000010a6: SUB 000010a7: DUP3 000010a8: AND 000010a9: PUSH1 0x00 000010ab: SWAP1 000010ac: DUP2 000010ad: MSTORE 000010ae: PUSH1 0x05 000010b0: PUSH1 0x20 000010b2: MSTORE 000010b3: PUSH1 0x40 000010b5: SWAP1 000010b6: KECCAK256 000010b7: SLOAD 000010b8: DUP4 000010b9: DUP2 000010ba: LT 000010bb: PUSH2 0x0fff 000010be: JUMPI 000010bf: PUSH2 0x10c8 000010c2: DUP5 000010c3: DUP3 000010c4: PUSH2 0x2378 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH1 0x01 000010cb: PUSH1 0x01 000010cd: PUSH1 0xa0 000010cf: SHL 000010d0: SUB 000010d1: DUP1 000010d2: DUP6 000010d3: AND 000010d4: PUSH1 0x00 000010d6: DUP2 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x05 000010db: PUSH1 0x20 000010dd: MSTORE 000010de: PUSH1 0x40 000010e0: SWAP1 000010e1: DUP2 000010e2: SWAP1 000010e3: KECCAK256 000010e4: DUP5 000010e5: SWAP1 000010e6: SSTORE 000010e7: MLOAD 000010e8: SWAP3 000010e9: SWAP4 000010ea: POP 000010eb: SWAP1 000010ec: DUP8 000010ed: AND 000010ee: SWAP2 000010ef: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 00001110: SWAP1 00001111: PUSH2 0x111d 00001114: SWAP1 00001115: DUP9 00001116: DUP2 00001117: MSTORE 00001118: PUSH1 0x20 0000111a: ADD 0000111b: SWAP1 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x40 00001120: MLOAD 00001121: DUP1 00001122: SWAP2 00001123: SUB 00001124: SWAP1 00001125: LOG3 00001126: PUSH1 0x40 00001128: MLOAD 00001129: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x01 0000114e: PUSH1 0x01 00001150: PUSH1 0xa0 00001152: SHL 00001153: SUB 00001154: DUP7 00001155: DUP2 00001156: AND 00001157: PUSH1 0x04 00001159: DUP4 0000115a: ADD 0000115b: MSTORE 0000115c: PUSH1 0x24 0000115e: DUP3 0000115f: ADD 00001160: DUP7 00001161: SWAP1 00001162: MSTORE 00001163: DUP5 00001164: AND 00001165: SWAP1 00001166: PUSH4 0xa9059cbb 0000116b: SWAP1 0000116c: PUSH1 0x44 0000116e: ADD 0000116f: PUSH1 0x20 00001171: PUSH1 0x40 00001173: MLOAD 00001174: DUP1 00001175: DUP4 00001176: SUB 00001177: DUP2 00001178: PUSH1 0x00 0000117a: DUP8 0000117b: GAS 0000117c: CALL 0000117d: ISZERO 0000117e: DUP1 0000117f: ISZERO 00001180: PUSH2 0x118d 00001183: JUMPI 00001184: RETURNDATASIZE 00001185: PUSH1 0x00 00001187: DUP1 00001188: RETURNDATACOPY 00001189: RETURNDATASIZE 0000118a: PUSH1 0x00 0000118c: REVERT 0000118d: JUMPDEST 0000118e: POP 0000118f: POP 00001190: POP 00001191: POP 00001192: PUSH1 0x40 00001194: MLOAD 00001195: RETURNDATASIZE 00001196: PUSH1 0x1f 00001198: NOT 00001199: PUSH1 0x1f 0000119b: DUP3 0000119c: ADD 0000119d: AND 0000119e: DUP3 0000119f: ADD 000011a0: DUP1 000011a1: PUSH1 0x40 000011a3: MSTORE 000011a4: POP 000011a5: DUP2 000011a6: ADD 000011a7: SWAP1 000011a8: PUSH2 0x11b1 000011ab: SWAP2 000011ac: SWAP1 000011ad: PUSH2 0x2356 000011b0: JUMP 000011b1: JUMPDEST 000011b2: SWAP2 000011b3: POP 000011b4: DUP2 000011b5: PUSH2 0x11f1 000011b8: JUMPI 000011b9: PUSH1 0x40 000011bb: MLOAD 000011bc: PUSH4 0xcd3f1659 000011c1: PUSH1 0xe0 000011c3: SHL 000011c4: DUP2 000011c5: MSTORE 000011c6: PUSH1 0x01 000011c8: PUSH1 0x01 000011ca: PUSH1 0xa0 000011cc: SHL 000011cd: SUB 000011ce: DUP1 000011cf: DUP6 000011d0: AND 000011d1: PUSH1 0x04 000011d3: DUP4 000011d4: ADD 000011d5: MSTORE 000011d6: ADDRESS 000011d7: PUSH1 0x24 000011d9: DUP4 000011da: ADD 000011db: MSTORE 000011dc: DUP7 000011dd: AND 000011de: PUSH1 0x44 000011e0: DUP3 000011e1: ADD 000011e2: MSTORE 000011e3: PUSH1 0x64 000011e5: DUP2 000011e6: ADD 000011e7: DUP6 000011e8: SWAP1 000011e9: MSTORE 000011ea: PUSH1 0x84 000011ec: ADD 000011ed: PUSH2 0x0216 000011f0: JUMP 000011f1: JUMPDEST 000011f2: POP 000011f3: JUMPDEST 000011f4: SWAP4 000011f5: SWAP3 000011f6: POP 000011f7: POP 000011f8: POP 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH1 0x03 000011fd: SLOAD 000011fe: PUSH1 0x00 00001200: SWAP1 00001201: PUSH1 0x01 00001203: PUSH1 0xa0 00001205: SHL 00001206: SWAP1 00001207: DIV 00001208: PUSH1 0xff 0000120a: AND 0000120b: PUSH1 0x02 0000120d: SUB 0000120e: PUSH2 0x1243 00001211: JUMPI 00001212: PUSH1 0x40 00001214: MLOAD 00001215: PUSH32 0x9e87fac800000000000000000000000000000000000000000000000000000000 00001236: DUP2 00001237: MSTORE 00001238: PUSH1 0x04 0000123a: ADD 0000123b: PUSH1 0x40 0000123d: MLOAD 0000123e: DUP1 0000123f: SWAP2 00001240: SUB 00001241: SWAP1 00001242: REVERT 00001243: JUMPDEST 00001244: PUSH1 0x04 00001246: SLOAD 00001247: PUSH1 0x01 00001249: PUSH1 0x01 0000124b: PUSH1 0xa0 0000124d: SHL 0000124e: SUB 0000124f: AND 00001250: CALLER 00001251: EQ 00001252: PUSH2 0x129d 00001255: JUMPI 00001256: PUSH1 0x04 00001258: DUP1 00001259: SLOAD 0000125a: PUSH1 0x40 0000125c: MLOAD 0000125d: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000 0000127e: DUP2 0000127f: MSTORE 00001280: CALLER 00001281: SWAP3 00001282: DUP2 00001283: ADD 00001284: SWAP3 00001285: SWAP1 00001286: SWAP3 00001287: MSTORE 00001288: PUSH1 0x01 0000128a: PUSH1 0x01 0000128c: PUSH1 0xa0 0000128e: SHL 0000128f: SUB 00001290: AND 00001291: PUSH1 0x24 00001293: DUP3 00001294: ADD 00001295: MSTORE 00001296: PUSH1 0x44 00001298: ADD 00001299: PUSH2 0x0216 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x00 000012a0: SLOAD 000012a1: PUSH1 0x01 000012a3: PUSH1 0xa0 000012a5: SHL 000012a6: SWAP1 000012a7: DIV 000012a8: PUSH12 0xffffffffffffffffffffffff 000012b5: AND 000012b6: DUP4 000012b7: ISZERO 000012b8: DUP1 000012b9: ISZERO 000012ba: SWAP1 000012bb: PUSH2 0x12c4 000012be: JUMPI 000012bf: POP 000012c0: DUP4 000012c1: DUP2 000012c2: LT 000012c3: ISZERO 000012c4: JUMPDEST 000012c5: ISZERO 000012c6: PUSH2 0x13db 000012c9: JUMPI 000012ca: PUSH2 0x12d3 000012cd: DUP5 000012ce: DUP3 000012cf: PUSH2 0x2378 000012d2: JUMP 000012d3: JUMPDEST 000012d4: PUSH1 0x00 000012d6: DUP1 000012d7: SLOAD 000012d8: PUSH1 0x01 000012da: PUSH1 0x01 000012dc: PUSH1 0xa0 000012de: SHL 000012df: SUB 000012e0: SWAP1 000012e1: DUP2 000012e2: AND 000012e3: PUSH1 0x01 000012e5: PUSH1 0xa0 000012e7: SHL 000012e8: PUSH12 0xffffffffffffffffffffffff 000012f5: DUP6 000012f6: AND 000012f7: MUL 000012f8: OR 000012f9: SWAP1 000012fa: SWAP2 000012fb: SSTORE 000012fc: PUSH1 0x40 000012fe: MLOAD 000012ff: DUP7 00001300: DUP2 00001301: MSTORE 00001302: SWAP2 00001303: SWAP3 00001304: POP 00001305: DUP7 00001306: AND 00001307: SWAP1 00001308: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000131d: SWAP1 0000131e: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 0000133f: SWAP1 00001340: PUSH1 0x20 00001342: ADD 00001343: PUSH1 0x40 00001345: MLOAD 00001346: DUP1 00001347: SWAP2 00001348: SUB 00001349: SWAP1 0000134a: LOG3 0000134b: PUSH1 0x40 0000134d: MLOAD 0000134e: PUSH1 0x01 00001350: PUSH1 0x01 00001352: PUSH1 0xa0 00001354: SHL 00001355: SUB 00001356: DUP7 00001357: AND 00001358: SWAP1 00001359: DUP6 0000135a: SWAP1 0000135b: PUSH1 0x00 0000135d: DUP2 0000135e: DUP2 0000135f: DUP2 00001360: DUP6 00001361: DUP8 00001362: GAS 00001363: CALL 00001364: SWAP3 00001365: POP 00001366: POP 00001367: POP 00001368: RETURNDATASIZE 00001369: DUP1 0000136a: PUSH1 0x00 0000136c: DUP2 0000136d: EQ 0000136e: PUSH2 0x1393 00001371: JUMPI 00001372: PUSH1 0x40 00001374: MLOAD 00001375: SWAP2 00001376: POP 00001377: PUSH1 0x1f 00001379: NOT 0000137a: PUSH1 0x3f 0000137c: RETURNDATASIZE 0000137d: ADD 0000137e: AND 0000137f: DUP3 00001380: ADD 00001381: PUSH1 0x40 00001383: MSTORE 00001384: RETURNDATASIZE 00001385: DUP3 00001386: MSTORE 00001387: RETURNDATASIZE 00001388: PUSH1 0x00 0000138a: PUSH1 0x20 0000138c: DUP5 0000138d: ADD 0000138e: RETURNDATACOPY 0000138f: PUSH2 0x1398 00001392: JUMP 00001393: JUMPDEST 00001394: PUSH1 0x60 00001396: SWAP2 00001397: POP 00001398: JUMPDEST 00001399: POP 0000139a: POP 0000139b: DUP1 0000139c: SWAP3 0000139d: POP 0000139e: POP 0000139f: DUP2 000013a0: PUSH2 0x13db 000013a3: JUMPI 000013a4: PUSH1 0x40 000013a6: MLOAD 000013a7: PUSH4 0xcd3f1659 000013ac: PUSH1 0xe0 000013ae: SHL 000013af: DUP2 000013b0: MSTORE 000013b1: PUSH1 0x00 000013b3: PUSH1 0x04 000013b5: DUP3 000013b6: ADD 000013b7: MSTORE 000013b8: ADDRESS 000013b9: PUSH1 0x24 000013bb: DUP3 000013bc: ADD 000013bd: MSTORE 000013be: PUSH1 0x01 000013c0: PUSH1 0x01 000013c2: PUSH1 0xa0 000013c4: SHL 000013c5: SUB 000013c6: DUP7 000013c7: AND 000013c8: PUSH1 0x44 000013ca: DUP3 000013cb: ADD 000013cc: MSTORE 000013cd: PUSH1 0x64 000013cf: DUP2 000013d0: ADD 000013d1: DUP6 000013d2: SWAP1 000013d3: MSTORE 000013d4: PUSH1 0x84 000013d6: ADD 000013d7: PUSH2 0x0216 000013da: JUMP 000013db: JUMPDEST 000013dc: DUP3 000013dd: ISZERO 000013de: PUSH2 0x11f1 000013e1: JUMPI 000013e2: PUSH1 0x01 000013e4: SLOAD 000013e5: PUSH1 0x40 000013e7: MLOAD 000013e8: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 00001409: DUP2 0000140a: MSTORE 0000140b: PUSH1 0x01 0000140d: PUSH1 0x01 0000140f: PUSH1 0xa0 00001411: SHL 00001412: SUB 00001413: DUP8 00001414: DUP2 00001415: AND 00001416: PUSH1 0x04 00001418: DUP4 00001419: ADD 0000141a: MSTORE 0000141b: PUSH1 0x24 0000141d: DUP3 0000141e: ADD 0000141f: DUP7 00001420: SWAP1 00001421: MSTORE 00001422: SWAP1 00001423: SWAP2 00001424: AND 00001425: SWAP1 00001426: PUSH4 0x40c10f19 0000142b: SWAP1 0000142c: PUSH1 0x44 0000142e: ADD 0000142f: PUSH1 0x00 00001431: PUSH1 0x40 00001433: MLOAD 00001434: DUP1 00001435: DUP4 00001436: SUB 00001437: DUP2 00001438: PUSH1 0x00 0000143a: DUP8 0000143b: DUP1 0000143c: EXTCODESIZE 0000143d: ISZERO 0000143e: DUP1 0000143f: ISZERO 00001440: PUSH2 0x1448 00001443: JUMPI 00001444: PUSH1 0x00 00001446: DUP1 00001447: REVERT 00001448: JUMPDEST 00001449: POP 0000144a: GAS 0000144b: CALL 0000144c: ISZERO 0000144d: DUP1 0000144e: ISZERO 0000144f: PUSH2 0x145c 00001452: JUMPI 00001453: RETURNDATASIZE 00001454: PUSH1 0x00 00001456: DUP1 00001457: RETURNDATACOPY 00001458: RETURNDATASIZE 00001459: PUSH1 0x00 0000145b: REVERT 0000145c: JUMPDEST 0000145d: POP 0000145e: POP 0000145f: PUSH1 0x01 00001461: DUP1 00001462: SLOAD 00001463: PUSH1 0x40 00001465: MLOAD 00001466: DUP8 00001467: DUP2 00001468: MSTORE 00001469: SWAP2 0000146a: SWAP6 0000146b: POP 0000146c: PUSH1 0x01 0000146e: PUSH1 0x01 00001470: PUSH1 0xa0 00001472: SHL 00001473: SUB 00001474: DUP10 00001475: DUP2 00001476: AND 00001477: SWAP5 00001478: POP 00001479: AND 0000147a: SWAP2 0000147b: POP 0000147c: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 0000149d: SWAP1 0000149e: PUSH1 0x20 000014a0: ADD 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: DUP1 000014a5: SWAP2 000014a6: SUB 000014a7: SWAP1 000014a8: LOG3 000014a9: POP 000014aa: SWAP4 000014ab: SWAP3 000014ac: POP 000014ad: POP 000014ae: POP 000014af: JUMP 000014b0: JUMPDEST 000014b1: PUSH1 0x00 000014b3: SLOAD 000014b4: PUSH1 0x01 000014b6: PUSH1 0x01 000014b8: PUSH1 0xa0 000014ba: SHL 000014bb: SUB 000014bc: AND 000014bd: CALLER 000014be: EQ 000014bf: PUSH2 0x14f0 000014c2: JUMPI 000014c3: PUSH1 0x00 000014c5: SLOAD 000014c6: PUSH1 0x40 000014c8: MLOAD 000014c9: PUSH4 0x521eb56d 000014ce: PUSH1 0xe1 000014d0: SHL 000014d1: DUP2 000014d2: MSTORE 000014d3: CALLER 000014d4: PUSH1 0x04 000014d6: DUP3 000014d7: ADD 000014d8: MSTORE 000014d9: PUSH1 0x01 000014db: PUSH1 0x01 000014dd: PUSH1 0xa0 000014df: SHL 000014e0: SUB 000014e1: SWAP1 000014e2: SWAP2 000014e3: AND 000014e4: PUSH1 0x24 000014e6: DUP3 000014e7: ADD 000014e8: MSTORE 000014e9: PUSH1 0x44 000014eb: ADD 000014ec: PUSH2 0x0216 000014ef: JUMP 000014f0: JUMPDEST 000014f1: PUSH1 0x03 000014f3: DUP1 000014f4: SLOAD 000014f5: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00001516: AND 00001517: PUSH21 0x020000000000000000000000000000000000000000 0000152d: OR 0000152e: SWAP1 0000152f: SSTORE 00001530: PUSH1 0x40 00001532: MLOAD 00001533: PUSH32 0x057751199181d584c26a7c04b3f3de8cacbb25ebdf78fd029813ea393bd510b9 00001554: SWAP1 00001555: PUSH1 0x00 00001557: SWAP1 00001558: LOG1 00001559: JUMP 0000155a: JUMPDEST 0000155b: PUSH1 0x00 0000155d: DUP1 0000155e: SLOAD 0000155f: PUSH1 0x01 00001561: PUSH1 0x01 00001563: PUSH1 0xa0 00001565: SHL 00001566: SUB 00001567: AND 00001568: CALLER 00001569: EQ 0000156a: PUSH2 0x159b 0000156d: JUMPI 0000156e: PUSH1 0x00 00001570: SLOAD 00001571: PUSH1 0x40 00001573: MLOAD 00001574: PUSH4 0x521eb56d 00001579: PUSH1 0xe1 0000157b: SHL 0000157c: DUP2 0000157d: MSTORE 0000157e: CALLER 0000157f: PUSH1 0x04 00001581: DUP3 00001582: ADD 00001583: MSTORE 00001584: PUSH1 0x01 00001586: PUSH1 0x01 00001588: PUSH1 0xa0 0000158a: SHL 0000158b: SUB 0000158c: SWAP1 0000158d: SWAP2 0000158e: AND 0000158f: PUSH1 0x24 00001591: DUP3 00001592: ADD 00001593: MSTORE 00001594: PUSH1 0x44 00001596: ADD 00001597: PUSH2 0x0216 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x02 0000159e: SLOAD 0000159f: PUSH1 0x40 000015a1: DUP1 000015a2: MLOAD 000015a3: PUSH32 0xcbcf252a00000000000000000000000000000000000000000000000000000000 000015c4: DUP2 000015c5: MSTORE 000015c6: SWAP1 000015c7: MLOAD 000015c8: PUSH1 0x00 000015ca: SWAP3 000015cb: PUSH1 0x01 000015cd: PUSH1 0x01 000015cf: PUSH1 0xa0 000015d1: SHL 000015d2: SUB 000015d3: AND 000015d4: SWAP2 000015d5: PUSH4 0xcbcf252a 000015da: SWAP2 000015db: PUSH1 0x04 000015dd: DUP1 000015de: DUP4 000015df: ADD 000015e0: SWAP3 000015e1: PUSH1 0x20 000015e3: SWAP3 000015e4: SWAP2 000015e5: SWAP1 000015e6: DUP3 000015e7: SWAP1 000015e8: SUB 000015e9: ADD 000015ea: DUP2 000015eb: DUP7 000015ec: GAS 000015ed: STATICCALL 000015ee: ISZERO 000015ef: DUP1 000015f0: ISZERO 000015f1: PUSH2 0x15fe 000015f4: JUMPI 000015f5: RETURNDATASIZE 000015f6: PUSH1 0x00 000015f8: DUP1 000015f9: RETURNDATACOPY 000015fa: RETURNDATASIZE 000015fb: PUSH1 0x00 000015fd: REVERT 000015fe: JUMPDEST 000015ff: POP 00001600: POP 00001601: POP 00001602: POP 00001603: PUSH1 0x40 00001605: MLOAD 00001606: RETURNDATASIZE 00001607: PUSH1 0x1f 00001609: NOT 0000160a: PUSH1 0x1f 0000160c: DUP3 0000160d: ADD 0000160e: AND 0000160f: DUP3 00001610: ADD 00001611: DUP1 00001612: PUSH1 0x40 00001614: MSTORE 00001615: POP 00001616: DUP2 00001617: ADD 00001618: SWAP1 00001619: PUSH2 0x1622 0000161c: SWAP2 0000161d: SWAP1 0000161e: PUSH2 0x238b 00001621: JUMP 00001622: JUMPDEST 00001623: SWAP1 00001624: POP 00001625: PUSH1 0x00 00001627: DUP2 00001628: PUSH1 0x01 0000162a: PUSH1 0x01 0000162c: PUSH1 0xa0 0000162e: SHL 0000162f: SUB 00001630: AND 00001631: PUSH4 0x6f99f15c 00001636: PUSH1 0x40 00001638: MLOAD 00001639: DUP2 0000163a: PUSH4 0xffffffff 0000163f: AND 00001640: PUSH1 0xe0 00001642: SHL 00001643: DUP2 00001644: MSTORE 00001645: PUSH1 0x04 00001647: ADD 00001648: PUSH1 0x20 0000164a: PUSH1 0x40 0000164c: MLOAD 0000164d: DUP1 0000164e: DUP4 0000164f: SUB 00001650: DUP2 00001651: DUP7 00001652: GAS 00001653: STATICCALL 00001654: ISZERO 00001655: DUP1 00001656: ISZERO 00001657: PUSH2 0x1664 0000165a: JUMPI 0000165b: RETURNDATASIZE 0000165c: PUSH1 0x00 0000165e: DUP1 0000165f: RETURNDATACOPY 00001660: RETURNDATASIZE 00001661: PUSH1 0x00 00001663: REVERT 00001664: JUMPDEST 00001665: POP 00001666: POP 00001667: POP 00001668: POP 00001669: PUSH1 0x40 0000166b: MLOAD 0000166c: RETURNDATASIZE 0000166d: PUSH1 0x1f 0000166f: NOT 00001670: PUSH1 0x1f 00001672: DUP3 00001673: ADD 00001674: AND 00001675: DUP3 00001676: ADD 00001677: DUP1 00001678: PUSH1 0x40 0000167a: MSTORE 0000167b: POP 0000167c: DUP2 0000167d: ADD 0000167e: SWAP1 0000167f: PUSH2 0x1688 00001682: SWAP2 00001683: SWAP1 00001684: PUSH2 0x233d 00001687: JUMP 00001688: JUMPDEST 00001689: PUSH1 0x02 0000168b: SLOAD 0000168c: SWAP1 0000168d: SWAP2 0000168e: POP 0000168f: PUSH1 0x01 00001691: PUSH1 0xa0 00001693: SHL 00001694: SWAP1 00001695: DIV 00001696: PUSH12 0xffffffffffffffffffffffff 000016a3: AND 000016a4: DUP2 000016a5: LT 000016a6: ISZERO 000016a7: PUSH2 0x16fd 000016aa: JUMPI 000016ab: PUSH1 0x02 000016ad: SLOAD 000016ae: PUSH1 0x40 000016b0: MLOAD 000016b1: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000 000016d2: DUP2 000016d3: MSTORE 000016d4: PUSH1 0x04 000016d6: DUP2 000016d7: ADD 000016d8: DUP4 000016d9: SWAP1 000016da: MSTORE 000016db: PUSH1 0x01 000016dd: PUSH1 0xa0 000016df: SHL 000016e0: SWAP1 000016e1: SWAP2 000016e2: DIV 000016e3: PUSH12 0xffffffffffffffffffffffff 000016f0: AND 000016f1: PUSH1 0x24 000016f3: DUP3 000016f4: ADD 000016f5: MSTORE 000016f6: PUSH1 0x44 000016f8: ADD 000016f9: PUSH2 0x0216 000016fc: JUMP 000016fd: JUMPDEST 000016fe: DUP2 000016ff: PUSH1 0x01 00001701: PUSH1 0x01 00001703: PUSH1 0xa0 00001705: SHL 00001706: SUB 00001707: AND 00001708: PUSH4 0x9890220b 0000170d: PUSH1 0x40 0000170f: MLOAD 00001710: DUP2 00001711: PUSH4 0xffffffff 00001716: AND 00001717: PUSH1 0xe0 00001719: SHL 0000171a: DUP2 0000171b: MSTORE 0000171c: PUSH1 0x04 0000171e: ADD 0000171f: PUSH1 0x20 00001721: PUSH1 0x40 00001723: MLOAD 00001724: DUP1 00001725: DUP4 00001726: SUB 00001727: DUP2 00001728: PUSH1 0x00 0000172a: DUP8 0000172b: GAS 0000172c: CALL 0000172d: ISZERO 0000172e: DUP1 0000172f: ISZERO 00001730: PUSH2 0x173d 00001733: JUMPI 00001734: RETURNDATASIZE 00001735: PUSH1 0x00 00001737: DUP1 00001738: RETURNDATACOPY 00001739: RETURNDATASIZE 0000173a: PUSH1 0x00 0000173c: REVERT 0000173d: JUMPDEST 0000173e: POP 0000173f: POP 00001740: POP 00001741: POP 00001742: PUSH1 0x40 00001744: MLOAD 00001745: RETURNDATASIZE 00001746: PUSH1 0x1f 00001748: NOT 00001749: PUSH1 0x1f 0000174b: DUP3 0000174c: ADD 0000174d: AND 0000174e: DUP3 0000174f: ADD 00001750: DUP1 00001751: PUSH1 0x40 00001753: MSTORE 00001754: POP 00001755: DUP2 00001756: ADD 00001757: SWAP1 00001758: PUSH2 0x1761 0000175b: SWAP2 0000175c: SWAP1 0000175d: PUSH2 0x233d 00001760: JUMP 00001761: JUMPDEST 00001762: SWAP3 00001763: POP 00001764: POP 00001765: POP 00001766: SWAP1 00001767: JUMP 00001768: JUMPDEST 00001769: PUSH1 0x00 0000176b: SLOAD 0000176c: PUSH1 0x01 0000176e: PUSH1 0x01 00001770: PUSH1 0xa0 00001772: SHL 00001773: SUB 00001774: AND 00001775: CALLER 00001776: EQ 00001777: PUSH2 0x17a8 0000177a: JUMPI 0000177b: PUSH1 0x00 0000177d: SLOAD 0000177e: PUSH1 0x40 00001780: MLOAD 00001781: PUSH4 0x521eb56d 00001786: PUSH1 0xe1 00001788: SHL 00001789: DUP2 0000178a: MSTORE 0000178b: CALLER 0000178c: PUSH1 0x04 0000178e: DUP3 0000178f: ADD 00001790: MSTORE 00001791: PUSH1 0x01 00001793: PUSH1 0x01 00001795: PUSH1 0xa0 00001797: SHL 00001798: SUB 00001799: SWAP1 0000179a: SWAP2 0000179b: AND 0000179c: PUSH1 0x24 0000179e: DUP3 0000179f: ADD 000017a0: MSTORE 000017a1: PUSH1 0x44 000017a3: ADD 000017a4: PUSH2 0x0216 000017a7: JUMP 000017a8: JUMPDEST 000017a9: PUSH1 0x01 000017ab: PUSH1 0x01 000017ad: PUSH1 0xa0 000017af: SHL 000017b0: SUB 000017b1: DUP2 000017b2: AND 000017b3: PUSH2 0x17e8 000017b6: JUMPI 000017b7: PUSH1 0x40 000017b9: MLOAD 000017ba: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 000017db: DUP2 000017dc: MSTORE 000017dd: PUSH1 0x04 000017df: ADD 000017e0: PUSH1 0x40 000017e2: MLOAD 000017e3: DUP1 000017e4: SWAP2 000017e5: SUB 000017e6: SWAP1 000017e7: REVERT 000017e8: JUMPDEST 000017e9: PUSH1 0x00 000017eb: DUP1 000017ec: SLOAD 000017ed: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000180e: AND 0000180f: PUSH1 0x01 00001811: PUSH1 0x01 00001813: PUSH1 0xa0 00001815: SHL 00001816: SUB 00001817: DUP4 00001818: AND 00001819: SWAP1 0000181a: DUP2 0000181b: OR 0000181c: DUP3 0000181d: SSTORE 0000181e: PUSH1 0x40 00001820: MLOAD 00001821: SWAP1 00001822: SWAP2 00001823: PUSH32 0x4ffd725fc4a22075e9ec71c59edf9c38cdeb588a91b24fc5b61388c5be41282b 00001844: SWAP2 00001845: LOG2 00001846: POP 00001847: JUMP 00001848: JUMPDEST 00001849: PUSH1 0x03 0000184b: SLOAD 0000184c: PUSH1 0x01 0000184e: PUSH22 0x01000000000000000000000000000000000000000000 00001865: SWAP1 00001866: SWAP2 00001867: DIV 00001868: PUSH1 0xff 0000186a: AND 0000186b: GT 0000186c: ISZERO 0000186d: PUSH2 0x18a2 00001870: JUMPI 00001871: PUSH1 0x40 00001873: MLOAD 00001874: PUSH32 0x8beb9d1600000000000000000000000000000000000000000000000000000000 00001895: DUP2 00001896: MSTORE 00001897: PUSH1 0x04 00001899: ADD 0000189a: PUSH1 0x40 0000189c: MLOAD 0000189d: DUP1 0000189e: SWAP2 0000189f: SUB 000018a0: SWAP1 000018a1: REVERT 000018a2: JUMPDEST 000018a3: PUSH1 0x03 000018a5: DUP1 000018a6: SLOAD 000018a7: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 000018c8: AND 000018c9: PUSH22 0x02000000000000000000000000000000000000000000 000018e0: OR 000018e1: SWAP1 000018e2: SSTORE 000018e3: PUSH1 0x02 000018e5: SLOAD 000018e6: PUSH1 0x01 000018e8: PUSH1 0xa0 000018ea: SHL 000018eb: SWAP1 000018ec: DIV 000018ed: PUSH12 0xffffffffffffffffffffffff 000018fa: AND 000018fb: CALLVALUE 000018fc: LT 000018fd: ISZERO 000018fe: PUSH2 0x1953 00001901: JUMPI 00001902: PUSH1 0x02 00001904: SLOAD 00001905: PUSH1 0x40 00001907: MLOAD 00001908: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000 00001929: DUP2 0000192a: MSTORE 0000192b: CALLVALUE 0000192c: PUSH1 0x04 0000192e: DUP3 0000192f: ADD 00001930: MSTORE 00001931: PUSH1 0x01 00001933: PUSH1 0xa0 00001935: SHL 00001936: SWAP1 00001937: SWAP2 00001938: DIV 00001939: PUSH12 0xffffffffffffffffffffffff 00001946: AND 00001947: PUSH1 0x24 00001949: DUP3 0000194a: ADD 0000194b: MSTORE 0000194c: PUSH1 0x44 0000194e: ADD 0000194f: PUSH2 0x0216 00001952: JUMP 00001953: JUMPDEST 00001954: DUP2 00001955: MLOAD 00001956: DUP2 00001957: MLOAD 00001958: DUP2 00001959: EQ 0000195a: PUSH2 0x199c 0000195d: JUMPI 0000195e: DUP2 0000195f: MLOAD 00001960: PUSH1 0x40 00001962: MLOAD 00001963: PUSH32 0x8151c11000000000000000000000000000000000000000000000000000000000 00001984: DUP2 00001985: MSTORE 00001986: PUSH2 0x0216 00001989: SWAP2 0000198a: DUP4 0000198b: SWAP2 0000198c: PUSH1 0x04 0000198e: ADD 0000198f: SWAP2 00001990: DUP3 00001991: MSTORE 00001992: PUSH1 0x20 00001994: DUP3 00001995: ADD 00001996: MSTORE 00001997: PUSH1 0x40 00001999: ADD 0000199a: SWAP1 0000199b: JUMP 0000199c: JUMPDEST 0000199d: PUSH1 0x00 0000199f: DUP1 000019a0: JUMPDEST 000019a1: DUP3 000019a2: DUP2 000019a3: LT 000019a4: ISZERO 000019a5: PUSH2 0x1a32 000019a8: JUMPI 000019a9: DUP4 000019aa: DUP2 000019ab: DUP2 000019ac: MLOAD 000019ad: DUP2 000019ae: LT 000019af: PUSH2 0x19ba 000019b2: JUMPI 000019b3: PUSH2 0x19ba 000019b6: PUSH2 0x23a8 000019b9: JUMP 000019ba: JUMPDEST 000019bb: PUSH1 0x20 000019bd: MUL 000019be: PUSH1 0x20 000019c0: ADD 000019c1: ADD 000019c2: MLOAD 000019c3: PUSH1 0x00 000019c5: SUB 000019c6: PUSH2 0x19fb 000019c9: JUMPI 000019ca: PUSH1 0x40 000019cc: MLOAD 000019cd: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000 000019ee: DUP2 000019ef: MSTORE 000019f0: PUSH1 0x04 000019f2: ADD 000019f3: PUSH1 0x40 000019f5: MLOAD 000019f6: DUP1 000019f7: SWAP2 000019f8: SUB 000019f9: SWAP1 000019fa: REVERT 000019fb: JUMPDEST 000019fc: DUP4 000019fd: DUP2 000019fe: DUP2 000019ff: MLOAD 00001a00: DUP2 00001a01: LT 00001a02: PUSH2 0x1a0d 00001a05: JUMPI 00001a06: PUSH2 0x1a0d 00001a09: PUSH2 0x23a8 00001a0c: JUMP 00001a0d: JUMPDEST 00001a0e: PUSH1 0x20 00001a10: MUL 00001a11: PUSH1 0x20 00001a13: ADD 00001a14: ADD 00001a15: MLOAD 00001a16: DUP3 00001a17: PUSH2 0x1a20 00001a1a: SWAP2 00001a1b: SWAP1 00001a1c: PUSH2 0x208e 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: SWAP2 00001a22: POP 00001a23: PUSH2 0x1a2b 00001a26: DUP2 00001a27: PUSH2 0x23d7 00001a2a: JUMP 00001a2b: JUMPDEST 00001a2c: SWAP1 00001a2d: POP 00001a2e: PUSH2 0x19a0 00001a31: JUMP 00001a32: JUMPDEST 00001a33: POP 00001a34: DUP1 00001a35: CALLVALUE 00001a36: EQ 00001a37: PUSH2 0x1a75 00001a3a: JUMPI 00001a3b: PUSH1 0x40 00001a3d: MLOAD 00001a3e: PUSH32 0x312b003300000000000000000000000000000000000000000000000000000000 00001a5f: DUP2 00001a60: MSTORE 00001a61: CALLVALUE 00001a62: PUSH1 0x04 00001a64: DUP3 00001a65: ADD 00001a66: MSTORE 00001a67: PUSH1 0x24 00001a69: DUP2 00001a6a: ADD 00001a6b: DUP3 00001a6c: SWAP1 00001a6d: MSTORE 00001a6e: PUSH1 0x44 00001a70: ADD 00001a71: PUSH2 0x0216 00001a74: JUMP 00001a75: JUMPDEST 00001a76: PUSH1 0x00 00001a78: DUP1 00001a79: SLOAD 00001a7a: PUSH2 0x1a99 00001a7d: SWAP1 00001a7e: CALLVALUE 00001a7f: SWAP1 00001a80: PUSH1 0x01 00001a82: PUSH1 0xa0 00001a84: SHL 00001a85: SWAP1 00001a86: DIV 00001a87: PUSH12 0xffffffffffffffffffffffff 00001a94: AND 00001a95: PUSH2 0x208e 00001a98: JUMP 00001a99: JUMPDEST 00001a9a: PUSH1 0x01 00001a9c: SLOAD 00001a9d: SWAP1 00001a9e: SWAP2 00001a9f: POP 00001aa0: PUSH12 0xffffffffffffffffffffffff 00001aad: SWAP1 00001aae: PUSH2 0x1ac0 00001ab1: SWAP1 00001ab2: PUSH1 0x01 00001ab4: PUSH1 0xa0 00001ab6: SHL 00001ab7: SWAP1 00001ab8: DIV 00001ab9: DUP3 00001aba: AND 00001abb: DUP4 00001abc: PUSH2 0x208e 00001abf: JUMP 00001ac0: JUMPDEST 00001ac1: GT 00001ac2: ISZERO 00001ac3: PUSH2 0x1b0d 00001ac6: JUMPI 00001ac7: PUSH1 0x40 00001ac9: MLOAD 00001aca: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000 00001aeb: DUP2 00001aec: MSTORE 00001aed: PUSH1 0x04 00001aef: DUP2 00001af0: ADD 00001af1: DUP3 00001af2: SWAP1 00001af3: MSTORE 00001af4: PUSH12 0xffffffffffffffffffffffff 00001b01: PUSH1 0x24 00001b03: DUP3 00001b04: ADD 00001b05: MSTORE 00001b06: PUSH1 0x44 00001b08: ADD 00001b09: PUSH2 0x0216 00001b0c: JUMP 00001b0d: JUMPDEST 00001b0e: PUSH1 0x00 00001b10: DUP1 00001b11: SLOAD 00001b12: PUSH1 0x01 00001b14: PUSH1 0x01 00001b16: PUSH1 0xa0 00001b18: SHL 00001b19: SUB 00001b1a: AND 00001b1b: PUSH1 0x01 00001b1d: PUSH1 0xa0 00001b1f: SHL 00001b20: PUSH12 0xffffffffffffffffffffffff 00001b2d: DUP5 00001b2e: AND 00001b2f: MUL 00001b30: OR 00001b31: SWAP1 00001b32: SSTORE 00001b33: PUSH1 0x40 00001b35: MLOAD 00001b36: CALLER 00001b37: SWAP1 00001b38: PUSH32 0xb7c3b13b911bdc71cbcf384e470cad657b7da964c892dc2fdba1432ad64d8be0 00001b59: SWAP1 00001b5a: PUSH2 0x1b68 00001b5d: SWAP1 00001b5e: DUP9 00001b5f: SWAP1 00001b60: DUP9 00001b61: SWAP1 00001b62: CALLVALUE 00001b63: SWAP1 00001b64: PUSH2 0x244a 00001b67: JUMP 00001b68: JUMPDEST 00001b69: PUSH1 0x40 00001b6b: MLOAD 00001b6c: DUP1 00001b6d: SWAP2 00001b6e: SUB 00001b6f: SWAP1 00001b70: LOG2 00001b71: PUSH1 0x02 00001b73: SLOAD 00001b74: PUSH1 0x40 00001b76: MLOAD 00001b77: PUSH32 0x5bc0220100000000000000000000000000000000000000000000000000000000 00001b98: DUP2 00001b99: MSTORE 00001b9a: PUSH1 0x01 00001b9c: PUSH1 0x01 00001b9e: PUSH1 0xa0 00001ba0: SHL 00001ba1: SUB 00001ba2: SWAP1 00001ba3: SWAP2 00001ba4: AND 00001ba5: SWAP1 00001ba6: PUSH4 0x5bc02201 00001bab: SWAP1 00001bac: PUSH2 0x1bbf 00001baf: SWAP1 00001bb0: CALLER 00001bb1: SWAP1 00001bb2: DUP10 00001bb3: SWAP1 00001bb4: DUP10 00001bb5: SWAP1 00001bb6: CALLVALUE 00001bb7: SWAP1 00001bb8: PUSH1 0x04 00001bba: ADD 00001bbb: PUSH2 0x2480 00001bbe: JUMP 00001bbf: JUMPDEST 00001bc0: PUSH1 0x00 00001bc2: PUSH1 0x40 00001bc4: MLOAD 00001bc5: DUP1 00001bc6: DUP4 00001bc7: SUB 00001bc8: DUP2 00001bc9: PUSH1 0x00 00001bcb: DUP8 00001bcc: DUP1 00001bcd: EXTCODESIZE 00001bce: ISZERO 00001bcf: DUP1 00001bd0: ISZERO 00001bd1: PUSH2 0x1bd9 00001bd4: JUMPI 00001bd5: PUSH1 0x00 00001bd7: DUP1 00001bd8: REVERT 00001bd9: JUMPDEST 00001bda: POP 00001bdb: GAS 00001bdc: CALL 00001bdd: ISZERO 00001bde: DUP1 00001bdf: ISZERO 00001be0: PUSH2 0x1bed 00001be3: JUMPI 00001be4: RETURNDATASIZE 00001be5: PUSH1 0x00 00001be7: DUP1 00001be8: RETURNDATACOPY 00001be9: RETURNDATASIZE 00001bea: PUSH1 0x00 00001bec: REVERT 00001bed: JUMPDEST 00001bee: POP 00001bef: POP 00001bf0: PUSH1 0x03 00001bf2: DUP1 00001bf3: SLOAD 00001bf4: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00001c15: AND 00001c16: PUSH22 0x01000000000000000000000000000000000000000000 00001c2d: OR 00001c2e: SWAP1 00001c2f: SSTORE 00001c30: POP 00001c31: POP 00001c32: POP 00001c33: POP 00001c34: POP 00001c35: POP 00001c36: POP 00001c37: JUMP 00001c38: JUMPDEST 00001c39: PUSH1 0x00 00001c3b: SLOAD 00001c3c: PUSH1 0x01 00001c3e: PUSH1 0x01 00001c40: PUSH1 0xa0 00001c42: SHL 00001c43: SUB 00001c44: AND 00001c45: CALLER 00001c46: EQ 00001c47: PUSH2 0x1c78 00001c4a: JUMPI 00001c4b: PUSH1 0x00 00001c4d: SLOAD 00001c4e: PUSH1 0x40 00001c50: MLOAD 00001c51: PUSH4 0x521eb56d 00001c56: PUSH1 0xe1 00001c58: SHL 00001c59: DUP2 00001c5a: MSTORE 00001c5b: CALLER 00001c5c: PUSH1 0x04 00001c5e: DUP3 00001c5f: ADD 00001c60: MSTORE 00001c61: PUSH1 0x01 00001c63: PUSH1 0x01 00001c65: PUSH1 0xa0 00001c67: SHL 00001c68: SUB 00001c69: SWAP1 00001c6a: SWAP2 00001c6b: AND 00001c6c: PUSH1 0x24 00001c6e: DUP3 00001c6f: ADD 00001c70: MSTORE 00001c71: PUSH1 0x44 00001c73: ADD 00001c74: PUSH2 0x0216 00001c77: JUMP 00001c78: JUMPDEST 00001c79: PUSH1 0x01 00001c7b: PUSH1 0x01 00001c7d: PUSH1 0xa0 00001c7f: SHL 00001c80: SUB 00001c81: DUP2 00001c82: AND 00001c83: PUSH2 0x1cb8 00001c86: JUMPI 00001c87: PUSH1 0x40 00001c89: MLOAD 00001c8a: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 00001cab: DUP2 00001cac: MSTORE 00001cad: PUSH1 0x04 00001caf: ADD 00001cb0: PUSH1 0x40 00001cb2: MLOAD 00001cb3: DUP1 00001cb4: SWAP2 00001cb5: SUB 00001cb6: SWAP1 00001cb7: REVERT 00001cb8: JUMPDEST 00001cb9: PUSH1 0x01 00001cbb: PUSH1 0x01 00001cbd: PUSH1 0xa0 00001cbf: SHL 00001cc0: SUB 00001cc1: DUP2 00001cc2: AND 00001cc3: PUSH1 0x00 00001cc5: SWAP1 00001cc6: DUP2 00001cc7: MSTORE 00001cc8: PUSH1 0x06 00001cca: PUSH1 0x20 00001ccc: MSTORE 00001ccd: PUSH1 0x40 00001ccf: SWAP1 00001cd0: KECCAK256 00001cd1: SLOAD 00001cd2: PUSH1 0xff 00001cd4: AND 00001cd5: PUSH2 0x0bf6 00001cd8: JUMPI 00001cd9: PUSH1 0x01 00001cdb: PUSH1 0x01 00001cdd: PUSH1 0xa0 00001cdf: SHL 00001ce0: SUB 00001ce1: DUP2 00001ce2: AND 00001ce3: PUSH1 0x00 00001ce5: DUP2 00001ce6: DUP2 00001ce7: MSTORE 00001ce8: PUSH1 0x06 00001cea: PUSH1 0x20 00001cec: MSTORE 00001ced: PUSH1 0x40 00001cef: DUP1 00001cf0: DUP3 00001cf1: KECCAK256 00001cf2: DUP1 00001cf3: SLOAD 00001cf4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001d15: AND 00001d16: PUSH1 0x01 00001d18: OR 00001d19: SWAP1 00001d1a: SSTORE 00001d1b: MLOAD 00001d1c: PUSH32 0x1f4b6598cc34e310cc34bcfcb372afb5ba5af654fad97b26cc10ae8289f1c62f 00001d3d: SWAP2 00001d3e: SWAP1 00001d3f: LOG2 00001d40: POP 00001d41: JUMP 00001d42: JUMPDEST 00001d43: PUSH1 0x00 00001d45: SLOAD 00001d46: PUSH1 0x01 00001d48: PUSH1 0x01 00001d4a: PUSH1 0xa0 00001d4c: SHL 00001d4d: SUB 00001d4e: AND 00001d4f: CALLER 00001d50: EQ 00001d51: PUSH2 0x1d82 00001d54: JUMPI 00001d55: PUSH1 0x00 00001d57: SLOAD 00001d58: PUSH1 0x40 00001d5a: MLOAD 00001d5b: PUSH4 0x521eb56d 00001d60: PUSH1 0xe1 00001d62: SHL 00001d63: DUP2 00001d64: MSTORE 00001d65: CALLER 00001d66: PUSH1 0x04 00001d68: DUP3 00001d69: ADD 00001d6a: MSTORE 00001d6b: PUSH1 0x01 00001d6d: PUSH1 0x01 00001d6f: PUSH1 0xa0 00001d71: SHL 00001d72: SUB 00001d73: SWAP1 00001d74: SWAP2 00001d75: AND 00001d76: PUSH1 0x24 00001d78: DUP3 00001d79: ADD 00001d7a: MSTORE 00001d7b: PUSH1 0x44 00001d7d: ADD 00001d7e: PUSH2 0x0216 00001d81: JUMP 00001d82: JUMPDEST 00001d83: PUSH1 0x01 00001d85: PUSH1 0x01 00001d87: PUSH1 0xa0 00001d89: SHL 00001d8a: SUB 00001d8b: DUP4 00001d8c: AND 00001d8d: ISZERO 00001d8e: PUSH2 0x1df1 00001d91: JUMPI 00001d92: PUSH1 0x02 00001d94: DUP1 00001d95: SLOAD 00001d96: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001db7: AND 00001db8: PUSH1 0x01 00001dba: PUSH1 0x01 00001dbc: PUSH1 0xa0 00001dbe: SHL 00001dbf: SUB 00001dc0: DUP6 00001dc1: AND 00001dc2: SWAP1 00001dc3: DUP2 00001dc4: OR 00001dc5: SWAP1 00001dc6: SWAP2 00001dc7: SSTORE 00001dc8: PUSH1 0x40 00001dca: MLOAD 00001dcb: PUSH32 0x4672fe7e13cfb163442d0b729b5733fb3efafc66cbe3677eac9940eb41c284c2 00001dec: SWAP1 00001ded: PUSH1 0x00 00001def: SWAP1 00001df0: LOG2 00001df1: JUMPDEST 00001df2: PUSH1 0x01 00001df4: PUSH1 0x01 00001df6: PUSH1 0xa0 00001df8: SHL 00001df9: SUB 00001dfa: DUP3 00001dfb: AND 00001dfc: ISZERO 00001dfd: PUSH2 0x1e60 00001e00: JUMPI 00001e01: PUSH1 0x03 00001e03: DUP1 00001e04: SLOAD 00001e05: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001e26: AND 00001e27: PUSH1 0x01 00001e29: PUSH1 0x01 00001e2b: PUSH1 0xa0 00001e2d: SHL 00001e2e: SUB 00001e2f: DUP5 00001e30: AND 00001e31: SWAP1 00001e32: DUP2 00001e33: OR 00001e34: SWAP1 00001e35: SWAP2 00001e36: SSTORE 00001e37: PUSH1 0x40 00001e39: MLOAD 00001e3a: PUSH32 0xcd22b277e2781665af395ae4868b7fd80cf6d9e06a5a740a9c4746922a25a223 00001e5b: SWAP1 00001e5c: PUSH1 0x00 00001e5e: SWAP1 00001e5f: LOG2 00001e60: JUMPDEST 00001e61: PUSH1 0x01 00001e63: PUSH1 0x01 00001e65: PUSH1 0xa0 00001e67: SHL 00001e68: SUB 00001e69: DUP2 00001e6a: AND 00001e6b: ISZERO 00001e6c: PUSH2 0x1ecf 00001e6f: JUMPI 00001e70: PUSH1 0x04 00001e72: DUP1 00001e73: SLOAD 00001e74: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001e95: AND 00001e96: PUSH1 0x01 00001e98: PUSH1 0x01 00001e9a: PUSH1 0xa0 00001e9c: SHL 00001e9d: SUB 00001e9e: DUP4 00001e9f: AND 00001ea0: SWAP1 00001ea1: DUP2 00001ea2: OR 00001ea3: SWAP1 00001ea4: SWAP2 00001ea5: SSTORE 00001ea6: PUSH1 0x40 00001ea8: MLOAD 00001ea9: PUSH32 0xe4915bbde794cce5e56670cce1c0048ef68276040acd048bdb7157ded9232b48 00001eca: SWAP1 00001ecb: PUSH1 0x00 00001ecd: SWAP1 00001ece: LOG2 00001ecf: JUMPDEST 00001ed0: POP 00001ed1: POP 00001ed2: POP 00001ed3: JUMP 00001ed4: JUMPDEST 00001ed5: PUSH1 0x03 00001ed7: SLOAD 00001ed8: PUSH1 0x00 00001eda: SWAP1 00001edb: PUSH1 0x01 00001edd: PUSH1 0xa0 00001edf: SHL 00001ee0: SWAP1 00001ee1: DIV 00001ee2: PUSH1 0xff 00001ee4: AND 00001ee5: PUSH1 0x02 00001ee7: SUB 00001ee8: PUSH2 0x1f1d 00001eeb: JUMPI 00001eec: PUSH1 0x40 00001eee: MLOAD 00001eef: PUSH32 0x9e87fac800000000000000000000000000000000000000000000000000000000 00001f10: DUP2 00001f11: MSTORE 00001f12: PUSH1 0x04 00001f14: ADD 00001f15: PUSH1 0x40 00001f17: MLOAD 00001f18: DUP1 00001f19: SWAP2 00001f1a: SUB 00001f1b: SWAP1 00001f1c: REVERT 00001f1d: JUMPDEST 00001f1e: PUSH1 0x02 00001f20: SLOAD 00001f21: PUSH1 0x01 00001f23: PUSH1 0x01 00001f25: PUSH1 0xa0 00001f27: SHL 00001f28: SUB 00001f29: AND 00001f2a: CALLER 00001f2b: EQ 00001f2c: PUSH2 0x1f76 00001f2f: JUMPI 00001f30: PUSH1 0x02 00001f32: SLOAD 00001f33: PUSH1 0x40 00001f35: MLOAD 00001f36: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000 00001f57: DUP2 00001f58: MSTORE 00001f59: CALLER 00001f5a: PUSH1 0x04 00001f5c: DUP3 00001f5d: ADD 00001f5e: MSTORE 00001f5f: PUSH1 0x01 00001f61: PUSH1 0x01 00001f63: PUSH1 0xa0 00001f65: SHL 00001f66: SUB 00001f67: SWAP1 00001f68: SWAP2 00001f69: AND 00001f6a: PUSH1 0x24 00001f6c: DUP3 00001f6d: ADD 00001f6e: MSTORE 00001f6f: PUSH1 0x44 00001f71: ADD 00001f72: PUSH2 0x0216 00001f75: JUMP 00001f76: JUMPDEST 00001f77: POP 00001f78: PUSH1 0x01 00001f7a: DUP2 00001f7b: ISZERO 00001f7c: PUSH2 0x205a 00001f7f: JUMPI 00001f80: PUSH1 0x00 00001f82: SLOAD 00001f83: PUSH1 0x01 00001f85: PUSH1 0xa0 00001f87: SHL 00001f88: SWAP1 00001f89: DIV 00001f8a: PUSH12 0xffffffffffffffffffffffff 00001f97: AND 00001f98: DUP3 00001f99: DUP2 00001f9a: LT 00001f9b: PUSH2 0x2053 00001f9e: JUMPI 00001f9f: PUSH2 0x1fa8 00001fa2: DUP4 00001fa3: DUP3 00001fa4: PUSH2 0x2378 00001fa7: JUMP 00001fa8: JUMPDEST 00001fa9: PUSH1 0x01 00001fab: SLOAD 00001fac: SWAP1 00001fad: SWAP2 00001fae: POP 00001faf: PUSH1 0x01 00001fb1: PUSH1 0xa0 00001fb3: SHL 00001fb4: SWAP1 00001fb5: DIV 00001fb6: PUSH12 0xffffffffffffffffffffffff 00001fc3: AND 00001fc4: PUSH2 0x1fcd 00001fc7: DUP5 00001fc8: DUP3 00001fc9: PUSH2 0x208e 00001fcc: JUMP 00001fcd: JUMPDEST 00001fce: PUSH1 0x01 00001fd0: DUP1 00001fd1: SLOAD 00001fd2: PUSH12 0xffffffffffffffffffffffff 00001fdf: DUP1 00001fe0: DUP5 00001fe1: AND 00001fe2: PUSH1 0x01 00001fe4: PUSH1 0xa0 00001fe6: SHL 00001fe7: SWAP1 00001fe8: DUP2 00001fe9: MUL 00001fea: PUSH1 0x01 00001fec: PUSH1 0x01 00001fee: PUSH1 0xa0 00001ff0: SHL 00001ff1: SUB 00001ff2: SWAP4 00001ff3: DUP5 00001ff4: AND 00001ff5: OR 00001ff6: SWAP1 00001ff7: SWAP4 00001ff8: SSTORE 00001ff9: PUSH1 0x00 00001ffb: DUP1 00001ffc: SLOAD 00001ffd: SWAP2 00001ffe: DUP8 00001fff: AND 00002000: SWAP1 00002001: SWAP4 00002002: MUL 00002003: SWAP2 00002004: AND 00002005: OR 00002006: SWAP1 00002007: SSTORE 00002008: PUSH1 0x40 0000200a: MLOAD 0000200b: SWAP1 0000200c: SWAP2 0000200d: POP 0000200e: PUSH32 0xd633b2400e134010322787d01a18e48126f5bcb420cdb342a6930a6eb4ecef63 0000202f: SWAP1 00002030: PUSH2 0x2045 00002033: SWAP1 00002034: DUP4 00002035: SWAP1 00002036: DUP6 00002037: SWAP1 00002038: SWAP2 00002039: DUP3 0000203a: MSTORE 0000203b: PUSH1 0x20 0000203d: DUP3 0000203e: ADD 0000203f: MSTORE 00002040: PUSH1 0x40 00002042: ADD 00002043: SWAP1 00002044: JUMP 00002045: JUMPDEST 00002046: PUSH1 0x40 00002048: MLOAD 00002049: DUP1 0000204a: SWAP2 0000204b: SUB 0000204c: SWAP1 0000204d: LOG1 0000204e: POP 0000204f: PUSH2 0x2058 00002052: JUMP 00002053: JUMPDEST 00002054: PUSH1 0x00 00002056: SWAP2 00002057: POP 00002058: JUMPDEST 00002059: POP 0000205a: JUMPDEST 0000205b: SWAP2 0000205c: SWAP1 0000205d: POP 0000205e: JUMP 0000205f: JUMPDEST 00002060: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002081: PUSH1 0x00 00002083: MSTORE 00002084: PUSH1 0x11 00002086: PUSH1 0x04 00002088: MSTORE 00002089: PUSH1 0x24 0000208b: PUSH1 0x00 0000208d: REVERT 0000208e: JUMPDEST 0000208f: DUP1 00002090: DUP3 00002091: ADD 00002092: DUP1 00002093: DUP3 00002094: GT 00002095: ISZERO 00002096: PUSH2 0x20a1 00002099: JUMPI 0000209a: PUSH2 0x20a1 0000209d: PUSH2 0x205f 000020a0: JUMP 000020a1: JUMPDEST 000020a2: SWAP3 000020a3: SWAP2 000020a4: POP 000020a5: POP 000020a6: JUMP 000020a7: JUMPDEST 000020a8: PUSH1 0x01 000020aa: PUSH1 0x01 000020ac: PUSH1 0xa0 000020ae: SHL 000020af: SUB 000020b0: DUP2 000020b1: AND 000020b2: DUP2 000020b3: EQ 000020b4: PUSH2 0x0bf6 000020b7: JUMPI 000020b8: PUSH1 0x00 000020ba: DUP1 000020bb: REVERT 000020bc: JUMPDEST 000020bd: PUSH1 0x00 000020bf: DUP1 000020c0: PUSH1 0x00 000020c2: DUP1 000020c3: PUSH1 0x80 000020c5: DUP6 000020c6: DUP8 000020c7: SUB 000020c8: SLT 000020c9: ISZERO 000020ca: PUSH2 0x20d2 000020cd: JUMPI 000020ce: PUSH1 0x00 000020d0: DUP1 000020d1: REVERT 000020d2: JUMPDEST 000020d3: DUP5 000020d4: CALLDATALOAD 000020d5: PUSH2 0x20dd 000020d8: DUP2 000020d9: PUSH2 0x20a7 000020dc: JUMP 000020dd: JUMPDEST 000020de: SWAP4 000020df: POP 000020e0: PUSH1 0x20 000020e2: DUP6 000020e3: ADD 000020e4: CALLDATALOAD 000020e5: SWAP3 000020e6: POP 000020e7: PUSH1 0x40 000020e9: DUP6 000020ea: ADD 000020eb: CALLDATALOAD 000020ec: PUSH2 0x20f4 000020ef: DUP2 000020f0: PUSH2 0x20a7 000020f3: JUMP 000020f4: JUMPDEST 000020f5: SWAP4 000020f6: SWAP7 000020f7: SWAP3 000020f8: SWAP6 000020f9: POP 000020fa: SWAP3 000020fb: SWAP4 000020fc: PUSH1 0x60 000020fe: ADD 000020ff: CALLDATALOAD 00002100: SWAP3 00002101: POP 00002102: POP 00002103: JUMP 00002104: JUMPDEST 00002105: PUSH1 0x00 00002107: PUSH1 0x20 00002109: DUP3 0000210a: DUP5 0000210b: SUB 0000210c: SLT 0000210d: ISZERO 0000210e: PUSH2 0x2116 00002111: JUMPI 00002112: PUSH1 0x00 00002114: DUP1 00002115: REVERT 00002116: JUMPDEST 00002117: DUP2 00002118: CALLDATALOAD 00002119: PUSH2 0x11f3 0000211c: DUP2 0000211d: PUSH2 0x20a7 00002120: JUMP 00002121: JUMPDEST 00002122: PUSH1 0x00 00002124: PUSH1 0x20 00002126: DUP3 00002127: DUP5 00002128: SUB 00002129: SLT 0000212a: ISZERO 0000212b: PUSH2 0x2133 0000212e: JUMPI 0000212f: PUSH1 0x00 00002131: DUP1 00002132: REVERT 00002133: JUMPDEST 00002134: POP 00002135: CALLDATALOAD 00002136: SWAP2 00002137: SWAP1 00002138: POP 00002139: JUMP 0000213a: JUMPDEST 0000213b: PUSH1 0x00 0000213d: DUP1 0000213e: PUSH1 0x00 00002140: PUSH1 0x60 00002142: DUP5 00002143: DUP7 00002144: SUB 00002145: SLT 00002146: ISZERO 00002147: PUSH2 0x214f 0000214a: JUMPI 0000214b: PUSH1 0x00 0000214d: DUP1 0000214e: REVERT 0000214f: JUMPDEST 00002150: DUP4 00002151: CALLDATALOAD 00002152: PUSH2 0x215a 00002155: DUP2 00002156: PUSH2 0x20a7 00002159: JUMP 0000215a: JUMPDEST 0000215b: SWAP3 0000215c: POP 0000215d: PUSH1 0x20 0000215f: DUP5 00002160: ADD 00002161: CALLDATALOAD 00002162: SWAP2 00002163: POP 00002164: PUSH1 0x40 00002166: DUP5 00002167: ADD 00002168: CALLDATALOAD 00002169: PUSH2 0x2171 0000216c: DUP2 0000216d: PUSH2 0x20a7 00002170: JUMP 00002171: JUMPDEST 00002172: DUP1 00002173: SWAP2 00002174: POP 00002175: POP 00002176: SWAP3 00002177: POP 00002178: SWAP3 00002179: POP 0000217a: SWAP3 0000217b: JUMP 0000217c: JUMPDEST 0000217d: PUSH1 0x00 0000217f: DUP1 00002180: PUSH1 0x00 00002182: PUSH1 0x60 00002184: DUP5 00002185: DUP7 00002186: SUB 00002187: SLT 00002188: ISZERO 00002189: PUSH2 0x2191 0000218c: JUMPI 0000218d: PUSH1 0x00 0000218f: DUP1 00002190: REVERT 00002191: JUMPDEST 00002192: DUP4 00002193: CALLDATALOAD 00002194: PUSH2 0x219c 00002197: DUP2 00002198: PUSH2 0x20a7 0000219b: JUMP 0000219c: JUMPDEST 0000219d: SWAP6 0000219e: PUSH1 0x20 000021a0: DUP6 000021a1: ADD 000021a2: CALLDATALOAD 000021a3: SWAP6 000021a4: POP 000021a5: PUSH1 0x40 000021a7: SWAP1 000021a8: SWAP5 000021a9: ADD 000021aa: CALLDATALOAD 000021ab: SWAP4 000021ac: SWAP3 000021ad: POP 000021ae: POP 000021af: POP 000021b0: JUMP 000021b1: JUMPDEST 000021b2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000021d3: PUSH1 0x00 000021d5: MSTORE 000021d6: PUSH1 0x41 000021d8: PUSH1 0x04 000021da: MSTORE 000021db: PUSH1 0x24 000021dd: PUSH1 0x00 000021df: REVERT 000021e0: JUMPDEST 000021e1: PUSH1 0x00 000021e3: DUP3 000021e4: PUSH1 0x1f 000021e6: DUP4 000021e7: ADD 000021e8: SLT 000021e9: PUSH2 0x21f1 000021ec: JUMPI 000021ed: PUSH1 0x00 000021ef: DUP1 000021f0: REVERT 000021f1: JUMPDEST 000021f2: DUP2 000021f3: CALLDATALOAD 000021f4: PUSH1 0x20 000021f6: PUSH8 0xffffffffffffffff 000021ff: DUP1 00002200: DUP4 00002201: GT 00002202: ISZERO 00002203: PUSH2 0x220e 00002206: JUMPI 00002207: PUSH2 0x220e 0000220a: PUSH2 0x21b1 0000220d: JUMP 0000220e: JUMPDEST 0000220f: DUP3 00002210: PUSH1 0x05 00002212: SHL 00002213: PUSH1 0x40 00002215: MLOAD 00002216: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002237: PUSH1 0x3f 00002239: DUP4 0000223a: ADD 0000223b: AND 0000223c: DUP2 0000223d: ADD 0000223e: DUP2 0000223f: DUP2 00002240: LT 00002241: DUP5 00002242: DUP3 00002243: GT 00002244: OR 00002245: ISZERO 00002246: PUSH2 0x2251 00002249: JUMPI 0000224a: PUSH2 0x2251 0000224d: PUSH2 0x21b1 00002250: JUMP 00002251: JUMPDEST 00002252: PUSH1 0x40 00002254: MSTORE 00002255: SWAP4 00002256: DUP5 00002257: MSTORE 00002258: DUP6 00002259: DUP2 0000225a: ADD 0000225b: DUP4 0000225c: ADD 0000225d: SWAP4 0000225e: DUP4 0000225f: DUP2 00002260: ADD 00002261: SWAP3 00002262: POP 00002263: DUP8 00002264: DUP6 00002265: GT 00002266: ISZERO 00002267: PUSH2 0x226f 0000226a: JUMPI 0000226b: PUSH1 0x00 0000226d: DUP1 0000226e: REVERT 0000226f: JUMPDEST 00002270: DUP4 00002271: DUP8 00002272: ADD 00002273: SWAP2 00002274: POP 00002275: JUMPDEST 00002276: DUP5 00002277: DUP3 00002278: LT 00002279: ISZERO 0000227a: PUSH2 0x228e 0000227d: JUMPI 0000227e: DUP2 0000227f: CALLDATALOAD 00002280: DUP4 00002281: MSTORE 00002282: SWAP2 00002283: DUP4 00002284: ADD 00002285: SWAP2 00002286: SWAP1 00002287: DUP4 00002288: ADD 00002289: SWAP1 0000228a: PUSH2 0x2275 0000228d: JUMP 0000228e: JUMPDEST 0000228f: SWAP8 00002290: SWAP7 00002291: POP 00002292: POP 00002293: POP 00002294: POP 00002295: POP 00002296: POP 00002297: POP 00002298: JUMP 00002299: JUMPDEST 0000229a: PUSH1 0x00 0000229c: DUP1 0000229d: PUSH1 0x40 0000229f: DUP4 000022a0: DUP6 000022a1: SUB 000022a2: SLT 000022a3: ISZERO 000022a4: PUSH2 0x22ac 000022a7: JUMPI 000022a8: PUSH1 0x00 000022aa: DUP1 000022ab: REVERT 000022ac: JUMPDEST 000022ad: DUP3 000022ae: CALLDATALOAD 000022af: PUSH8 0xffffffffffffffff 000022b8: DUP1 000022b9: DUP3 000022ba: GT 000022bb: ISZERO 000022bc: PUSH2 0x22c4 000022bf: JUMPI 000022c0: PUSH1 0x00 000022c2: DUP1 000022c3: REVERT 000022c4: JUMPDEST 000022c5: PUSH2 0x22d0 000022c8: DUP7 000022c9: DUP4 000022ca: DUP8 000022cb: ADD 000022cc: PUSH2 0x21e0 000022cf: JUMP 000022d0: JUMPDEST 000022d1: SWAP4 000022d2: POP 000022d3: PUSH1 0x20 000022d5: DUP6 000022d6: ADD 000022d7: CALLDATALOAD 000022d8: SWAP2 000022d9: POP 000022da: DUP1 000022db: DUP3 000022dc: GT 000022dd: ISZERO 000022de: PUSH2 0x22e6 000022e1: JUMPI 000022e2: PUSH1 0x00 000022e4: DUP1 000022e5: REVERT 000022e6: JUMPDEST 000022e7: POP 000022e8: PUSH2 0x22f3 000022eb: DUP6 000022ec: DUP3 000022ed: DUP7 000022ee: ADD 000022ef: PUSH2 0x21e0 000022f2: JUMP 000022f3: JUMPDEST 000022f4: SWAP2 000022f5: POP 000022f6: POP 000022f7: SWAP3 000022f8: POP 000022f9: SWAP3 000022fa: SWAP1 000022fb: POP 000022fc: JUMP 000022fd: JUMPDEST 000022fe: PUSH1 0x00 00002300: DUP1 00002301: PUSH1 0x00 00002303: PUSH1 0x60 00002305: DUP5 00002306: DUP7 00002307: SUB 00002308: SLT 00002309: ISZERO 0000230a: PUSH2 0x2312 0000230d: JUMPI 0000230e: PUSH1 0x00 00002310: DUP1 00002311: REVERT 00002312: JUMPDEST 00002313: DUP4 00002314: CALLDATALOAD 00002315: PUSH2 0x231d 00002318: DUP2 00002319: PUSH2 0x20a7 0000231c: JUMP 0000231d: JUMPDEST 0000231e: SWAP3 0000231f: POP 00002320: PUSH1 0x20 00002322: DUP5 00002323: ADD 00002324: CALLDATALOAD 00002325: PUSH2 0x232d 00002328: DUP2 00002329: PUSH2 0x20a7 0000232c: JUMP 0000232d: JUMPDEST 0000232e: SWAP2 0000232f: POP 00002330: PUSH1 0x40 00002332: DUP5 00002333: ADD 00002334: CALLDATALOAD 00002335: PUSH2 0x2171 00002338: DUP2 00002339: PUSH2 0x20a7 0000233c: JUMP 0000233d: JUMPDEST 0000233e: PUSH1 0x00 00002340: PUSH1 0x20 00002342: DUP3 00002343: DUP5 00002344: SUB 00002345: SLT 00002346: ISZERO 00002347: PUSH2 0x234f 0000234a: JUMPI 0000234b: PUSH1 0x00 0000234d: DUP1 0000234e: REVERT 0000234f: JUMPDEST 00002350: POP 00002351: MLOAD 00002352: SWAP2 00002353: SWAP1 00002354: POP 00002355: JUMP 00002356: JUMPDEST 00002357: PUSH1 0x00 00002359: PUSH1 0x20 0000235b: DUP3 0000235c: DUP5 0000235d: SUB 0000235e: SLT 0000235f: ISZERO 00002360: PUSH2 0x2368 00002363: JUMPI 00002364: PUSH1 0x00 00002366: DUP1 00002367: REVERT 00002368: JUMPDEST 00002369: DUP2 0000236a: MLOAD 0000236b: DUP1 0000236c: ISZERO 0000236d: ISZERO 0000236e: DUP2 0000236f: EQ 00002370: PUSH2 0x11f3 00002373: JUMPI 00002374: PUSH1 0x00 00002376: DUP1 00002377: REVERT 00002378: JUMPDEST 00002379: DUP2 0000237a: DUP2 0000237b: SUB 0000237c: DUP2 0000237d: DUP2 0000237e: GT 0000237f: ISZERO 00002380: PUSH2 0x20a1 00002383: JUMPI 00002384: PUSH2 0x20a1 00002387: PUSH2 0x205f 0000238a: JUMP 0000238b: JUMPDEST 0000238c: PUSH1 0x00 0000238e: PUSH1 0x20 00002390: DUP3 00002391: DUP5 00002392: SUB 00002393: SLT 00002394: ISZERO 00002395: PUSH2 0x239d 00002398: JUMPI 00002399: PUSH1 0x00 0000239b: DUP1 0000239c: REVERT 0000239d: JUMPDEST 0000239e: DUP2 0000239f: MLOAD 000023a0: PUSH2 0x11f3 000023a3: DUP2 000023a4: PUSH2 0x20a7 000023a7: JUMP 000023a8: JUMPDEST 000023a9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000023ca: PUSH1 0x00 000023cc: MSTORE 000023cd: PUSH1 0x32 000023cf: PUSH1 0x04 000023d1: MSTORE 000023d2: PUSH1 0x24 000023d4: PUSH1 0x00 000023d6: REVERT 000023d7: JUMPDEST 000023d8: PUSH1 0x00 000023da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000023fb: DUP3 000023fc: SUB 000023fd: PUSH2 0x2408 00002400: JUMPI 00002401: PUSH2 0x2408 00002404: PUSH2 0x205f 00002407: JUMP 00002408: JUMPDEST 00002409: POP 0000240a: PUSH1 0x01 0000240c: ADD 0000240d: SWAP1 0000240e: JUMP 0000240f: JUMPDEST 00002410: PUSH1 0x00 00002412: DUP2 00002413: MLOAD 00002414: DUP1 00002415: DUP5 00002416: MSTORE 00002417: PUSH1 0x20 00002419: DUP1 0000241a: DUP6 0000241b: ADD 0000241c: SWAP5 0000241d: POP 0000241e: DUP1 0000241f: DUP5 00002420: ADD 00002421: PUSH1 0x00 00002423: JUMPDEST 00002424: DUP4 00002425: DUP2 00002426: LT 00002427: ISZERO 00002428: PUSH2 0x243f 0000242b: JUMPI 0000242c: DUP2 0000242d: MLOAD 0000242e: DUP8 0000242f: MSTORE 00002430: SWAP6 00002431: DUP3 00002432: ADD 00002433: SWAP6 00002434: SWAP1 00002435: DUP3 00002436: ADD 00002437: SWAP1 00002438: PUSH1 0x01 0000243a: ADD 0000243b: PUSH2 0x2423 0000243e: JUMP 0000243f: JUMPDEST 00002440: POP 00002441: SWAP5 00002442: SWAP6 00002443: SWAP5 00002444: POP 00002445: POP 00002446: POP 00002447: POP 00002448: POP 00002449: JUMP 0000244a: JUMPDEST 0000244b: PUSH1 0x60 0000244d: DUP2 0000244e: MSTORE 0000244f: PUSH1 0x00 00002451: PUSH2 0x245d 00002454: PUSH1 0x60 00002456: DUP4 00002457: ADD 00002458: DUP7 00002459: PUSH2 0x240f 0000245c: JUMP 0000245d: JUMPDEST 0000245e: DUP3 0000245f: DUP2 00002460: SUB 00002461: PUSH1 0x20 00002463: DUP5 00002464: ADD 00002465: MSTORE 00002466: PUSH2 0x246f 00002469: DUP2 0000246a: DUP7 0000246b: PUSH2 0x240f 0000246e: JUMP 0000246f: JUMPDEST 00002470: SWAP2 00002471: POP 00002472: POP 00002473: DUP3 00002474: PUSH1 0x40 00002476: DUP4 00002477: ADD 00002478: MSTORE 00002479: SWAP5 0000247a: SWAP4 0000247b: POP 0000247c: POP 0000247d: POP 0000247e: POP 0000247f: JUMP 00002480: JUMPDEST 00002481: PUSH1 0x01 00002483: PUSH1 0x01 00002485: PUSH1 0xa0 00002487: SHL 00002488: SUB 00002489: DUP6 0000248a: AND 0000248b: DUP2 0000248c: MSTORE 0000248d: PUSH1 0x80 0000248f: PUSH1 0x20 00002491: DUP3 00002492: ADD 00002493: MSTORE 00002494: PUSH1 0x00 00002496: PUSH2 0x24a2 00002499: PUSH1 0x80 0000249b: DUP4 0000249c: ADD 0000249d: DUP7 0000249e: PUSH2 0x240f 000024a1: JUMP 000024a2: JUMPDEST 000024a3: DUP3 000024a4: DUP2 000024a5: SUB 000024a6: PUSH1 0x40 000024a8: DUP5 000024a9: ADD 000024aa: MSTORE 000024ab: PUSH2 0x24b4 000024ae: DUP2 000024af: DUP7 000024b0: PUSH2 0x240f 000024b3: JUMP 000024b4: JUMPDEST 000024b5: SWAP2 000024b6: POP 000024b7: POP 000024b8: DUP3 000024b9: PUSH1 0x60 000024bb: DUP4 000024bc: ADD 000024bd: MSTORE 000024be: SWAP6 000024bf: SWAP5 000024c0: POP 000024c1: POP 000024c2: POP 000024c3: POP 000024c4: POP 000024c5: JUMP 000024c6: INVALID 000024c7: LOG2 000024c8: PUSH5 0x6970667358 000024ce: UNKNOWN(0x22) 000024cf: SLT 000024d0: KECCAK256 000024d1: UNKNOWN(0x2C) 000024d2: SWAP3 000024d3: SELFBALANCE 000024d4: REVERT 000024d5: UNKNOWN(0xEA) 000024d6: SMOD 000024d7: JUMP 000024d8: UNKNOWN(0xC7) 000024d9: UNKNOWN(0x21) 000024da: UNKNOWN(0xEF) 000024db: PUSH22 0xb0418d331833ff72c8324f9fb5dae56f6471d9922364 000024f2: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa
call_targets:
0xa0da53447c0f6c4987964d8463da7e6628b30f82
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa0da53447c0f6c4987964d8463da7e6628b30f82"
],
"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": "0xc690908a",
"selector": "0xc690908a",
"calldata_variants": [
"0xc690908a",
"0xc690908a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5297793",
"selector": "0xd5297793",
"calldata_variants": [
"0xd5297793",
"0xd52977930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe09d894d",
"selector": "0xe09d894d",
"calldata_variants": [
"0xe09d894d",
"0xe09d894d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf60ccd3a",
"selector": "0xf60ccd3a",
"calldata_variants": [
"0xf60ccd3a",
"0xf60ccd3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac10fc01",
"selector": "0xac10fc01",
"calldata_variants": [
"0xac10fc01",
"0xac10fc010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3c3294a",
"selector": "0xb3c3294a",
"calldata_variants": [
"0xb3c3294a",
"0xb3c3294a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedd12a5",
"selector": "0xbedd12a5",
"calldata_variants": [
"0xbedd12a5",
"0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9015d371",
"selector": "0x9015d371",
"calldata_variants": [
"0x9015d371",
"0x9015d3710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2462,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2683,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa
call_targets:
0xa0da53447c0f6c4987964d8463da7e6628b30f82
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa0da53447c0f6c4987964d8463da7e6628b30f82"
],
"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": "0xc690908a",
"selector": "0xc690908a",
"calldata_variants": [
"0xc690908a",
"0xc690908a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5297793",
"selector": "0xd5297793",
"calldata_variants": [
"0xd5297793",
"0xd52977930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe09d894d",
"selector": "0xe09d894d",
"calldata_variants": [
"0xe09d894d",
"0xe09d894d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf60ccd3a",
"selector": "0xf60ccd3a",
"calldata_variants": [
"0xf60ccd3a",
"0xf60ccd3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac10fc01",
"selector": "0xac10fc01",
"calldata_variants": [
"0xac10fc01",
"0xac10fc010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3c3294a",
"selector": "0xb3c3294a",
"calldata_variants": [
"0xb3c3294a",
"0xb3c3294a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedd12a5",
"selector": "0xbedd12a5",
"calldata_variants": [
"0xbedd12a5",
"0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9015d371",
"selector": "0x9015d371",
"calldata_variants": [
"0x9015d371",
"0x9015d3710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2462,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2683,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|