019b3844-9c1f-7007-b7fb-1a7559e55dff
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 |
|---|---|---|---|---|
| 14541 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14542 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 99843 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 99844 | capability.graph | complete | 1 / 3 | 1 week ago |
| 99845 | detector.run | complete | 1 / 3 | 1 week ago |
| 99846 | validation.fork | complete | 1 / 3 | 1 week 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 0x00c0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9a006df9 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xaeb6b1f5 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xaeb6b1f5 0000002f: EQ 00000030: PUSH2 0x01b8 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcbb619ae 0000003a: EQ 0000003b: PUSH2 0x01d8 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcdbd3d88 00000045: EQ 00000046: PUSH2 0x01f8 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x9a006df9 00000055: EQ 00000056: PUSH2 0x0158 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x9a361cbc 00000060: EQ 00000061: PUSH2 0x0178 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xaa5d842c 0000006b: EQ 0000006c: PUSH2 0x0198 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x7ada2d0c 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x7ada2d0c 00000086: EQ 00000087: PUSH2 0x00f8 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x886d02d9 00000091: EQ 00000092: PUSH2 0x0118 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x88f026c0 0000009c: EQ 0000009d: PUSH2 0x0138 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x0c8d003c 000000ac: EQ 000000ad: PUSH2 0x00cc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x3ccfd60b 000000b7: EQ 000000b8: PUSH2 0x00e3 000000bb: JUMPI 000000bc: PUSH1 0x00 000000be: DUP1 000000bf: REVERT 000000c0: JUMPDEST 000000c1: CALLDATASIZE 000000c2: PUSH2 0x00c7 000000c5: JUMPI 000000c6: STOP 000000c7: JUMPDEST 000000c8: PUSH1 0x00 000000ca: DUP1 000000cb: REVERT 000000cc: JUMPDEST 000000cd: CALLVALUE 000000ce: DUP1 000000cf: ISZERO 000000d0: PUSH2 0x00d8 000000d3: JUMPI 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: POP 000000da: PUSH2 0x00e1 000000dd: PUSH2 0x0218 000000e0: JUMP 000000e1: JUMPDEST 000000e2: STOP 000000e3: JUMPDEST 000000e4: CALLVALUE 000000e5: DUP1 000000e6: ISZERO 000000e7: PUSH2 0x00ef 000000ea: JUMPI 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: POP 000000f1: PUSH2 0x00e1 000000f4: PUSH2 0x04ac 000000f7: JUMP 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x00e1 00000109: PUSH2 0x0113 0000010c: CALLDATASIZE 0000010d: PUSH1 0x04 0000010f: PUSH2 0x1677 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x0739 00000117: JUMP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x00e1 00000129: PUSH2 0x0133 0000012c: CALLDATASIZE 0000012d: PUSH1 0x04 0000012f: PUSH2 0x1747 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH2 0x0847 00000137: JUMP 00000138: JUMPDEST 00000139: CALLVALUE 0000013a: DUP1 0000013b: ISZERO 0000013c: PUSH2 0x0144 0000013f: JUMPI 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: POP 00000146: PUSH2 0x00e1 00000149: PUSH2 0x0153 0000014c: CALLDATASIZE 0000014d: PUSH1 0x04 0000014f: PUSH2 0x145b 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x0983 00000157: JUMP 00000158: JUMPDEST 00000159: CALLVALUE 0000015a: DUP1 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: POP 00000166: PUSH2 0x00e1 00000169: PUSH2 0x0173 0000016c: CALLDATASIZE 0000016d: PUSH1 0x04 0000016f: PUSH2 0x15f7 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH2 0x09ee 00000177: JUMP 00000178: JUMPDEST 00000179: CALLVALUE 0000017a: DUP1 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: PUSH2 0x00e1 00000189: PUSH2 0x0193 0000018c: CALLDATASIZE 0000018d: PUSH1 0x04 0000018f: PUSH2 0x149a 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x0c44 00000197: JUMP 00000198: JUMPDEST 00000199: CALLVALUE 0000019a: DUP1 0000019b: ISZERO 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: POP 000001a6: PUSH2 0x00e1 000001a9: PUSH2 0x01b3 000001ac: CALLDATASIZE 000001ad: PUSH1 0x04 000001af: PUSH2 0x1629 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH2 0x0ecf 000001b7: JUMP 000001b8: JUMPDEST 000001b9: CALLVALUE 000001ba: DUP1 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: POP 000001c6: PUSH2 0x00e1 000001c9: PUSH2 0x01d3 000001cc: CALLDATASIZE 000001cd: PUSH1 0x04 000001cf: PUSH2 0x14ce 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH2 0x0f56 000001d7: JUMP 000001d8: JUMPDEST 000001d9: CALLVALUE 000001da: DUP1 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: POP 000001e6: PUSH2 0x00e1 000001e9: PUSH2 0x01f3 000001ec: CALLDATASIZE 000001ed: PUSH1 0x04 000001ef: PUSH2 0x16cc 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH2 0x0fc5 000001f7: JUMP 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x00e1 00000209: PUSH2 0x0213 0000020c: CALLDATASIZE 0000020d: PUSH1 0x04 0000020f: PUSH2 0x145b 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x10d2 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x03 0000021b: SLOAD 0000021c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000231: AND 00000232: CALLER 00000233: EQ 00000234: DUP1 00000235: PUSH2 0x0255 00000238: JUMPI 00000239: POP 0000023a: PUSH1 0x04 0000023c: SLOAD 0000023d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000252: AND 00000253: CALLER 00000254: EQ 00000255: JUMPDEST 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: PUSH1 0x40 00000261: DUP1 00000262: MLOAD 00000263: PUSH1 0x02 00000265: DUP1 00000266: DUP3 00000267: MSTORE 00000268: PUSH1 0x60 0000026a: DUP3 0000026b: ADD 0000026c: DUP4 0000026d: MSTORE 0000026e: SELFBALANCE 0000026f: SWAP3 00000270: PUSH1 0x00 00000272: SWAP3 00000273: SWAP2 00000274: SWAP1 00000275: PUSH1 0x20 00000277: DUP4 00000278: ADD 00000279: SWAP1 0000027a: DUP1 0000027b: CALLDATASIZE 0000027c: DUP4 0000027d: CALLDATACOPY 0000027e: ADD 0000027f: SWAP1 00000280: POP 00000281: POP 00000282: SWAP1 00000283: POP 00000284: PUSH1 0x00 00000286: DUP1 00000287: SLOAD 00000288: SWAP1 00000289: PUSH2 0x0100 0000028c: EXP 0000028d: SWAP1 0000028e: DIV 0000028f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a4: AND 000002a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ba: AND 000002bb: PUSH4 0xad5c4648 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP2 000002c4: PUSH4 0xffffffff 000002c9: AND 000002ca: PUSH1 0xe0 000002cc: SHL 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x04 000002d1: ADD 000002d2: PUSH1 0x20 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: DUP1 000002d8: DUP4 000002d9: SUB 000002da: DUP2 000002db: DUP7 000002dc: DUP1 000002dd: EXTCODESIZE 000002de: ISZERO 000002df: DUP1 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: POP 000002eb: GAS 000002ec: STATICCALL 000002ed: ISZERO 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02fd 000002f3: JUMPI 000002f4: RETURNDATASIZE 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: RETURNDATACOPY 000002f9: RETURNDATASIZE 000002fa: PUSH1 0x00 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: PUSH1 0x40 00000304: MLOAD 00000305: RETURNDATASIZE 00000306: PUSH1 0x1f 00000308: NOT 00000309: PUSH1 0x1f 0000030b: DUP3 0000030c: ADD 0000030d: AND 0000030e: DUP3 0000030f: ADD 00000310: DUP1 00000311: PUSH1 0x40 00000313: MSTORE 00000314: POP 00000315: DUP2 00000316: ADD 00000317: SWAP1 00000318: PUSH2 0x0321 0000031b: SWAP2 0000031c: SWAP1 0000031d: PUSH2 0x147e 00000320: JUMP 00000321: JUMPDEST 00000322: DUP2 00000323: PUSH1 0x00 00000325: DUP2 00000326: MLOAD 00000327: DUP2 00000328: LT 00000329: PUSH2 0x035b 0000032c: JUMPI 0000032d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000034e: PUSH1 0x00 00000350: MSTORE 00000351: PUSH1 0x32 00000353: PUSH1 0x04 00000355: MSTORE 00000356: PUSH1 0x24 00000358: PUSH1 0x00 0000035a: REVERT 0000035b: JUMPDEST 0000035c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000371: SWAP3 00000372: DUP4 00000373: AND 00000374: PUSH1 0x20 00000376: SWAP2 00000377: DUP3 00000378: MUL 00000379: SWAP3 0000037a: SWAP1 0000037b: SWAP3 0000037c: ADD 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x09 00000381: SLOAD 00000382: DUP3 00000383: MLOAD 00000384: SWAP2 00000385: AND 00000386: SWAP1 00000387: DUP3 00000388: SWAP1 00000389: PUSH1 0x01 0000038b: SWAP1 0000038c: DUP2 0000038d: LT 0000038e: PUSH2 0x03c0 00000391: JUMPI 00000392: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000003b3: PUSH1 0x00 000003b5: MSTORE 000003b6: PUSH1 0x32 000003b8: PUSH1 0x04 000003ba: MSTORE 000003bb: PUSH1 0x24 000003bd: PUSH1 0x00 000003bf: REVERT 000003c0: JUMPDEST 000003c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d6: SWAP3 000003d7: DUP4 000003d8: AND 000003d9: PUSH1 0x20 000003db: SWAP2 000003dc: DUP3 000003dd: MUL 000003de: SWAP3 000003df: SWAP1 000003e0: SWAP3 000003e1: ADD 000003e2: ADD 000003e3: MSTORE 000003e4: PUSH1 0x00 000003e6: SLOAD 000003e7: PUSH1 0x0b 000003e9: SLOAD 000003ea: PUSH1 0x06 000003ec: SLOAD 000003ed: PUSH1 0x40 000003ef: MLOAD 000003f0: PUSH32 0x7ff36ab500000000000000000000000000000000000000000000000000000000 00000411: DUP2 00000412: MSTORE 00000413: SWAP3 00000414: DUP5 00000415: AND 00000416: SWAP4 00000417: PUSH4 0x7ff36ab5 0000041c: SWAP4 0000041d: DUP8 0000041e: SWAP4 0000041f: PUSH2 0x0433 00000422: SWAP4 00000423: SWAP1 00000424: SWAP3 00000425: DUP9 00000426: SWAP3 00000427: SWAP2 00000428: AND 00000429: SWAP1 0000042a: TIMESTAMP 0000042b: SWAP1 0000042c: PUSH1 0x04 0000042e: ADD 0000042f: PUSH2 0x1a1b 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x00 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: DUP4 0000043b: SUB 0000043c: DUP2 0000043d: DUP6 0000043e: DUP9 0000043f: DUP1 00000440: EXTCODESIZE 00000441: ISZERO 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: POP 0000044e: GAS 0000044f: CALL 00000450: ISZERO 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x0460 00000456: JUMPI 00000457: RETURNDATASIZE 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: RETURNDATACOPY 0000045c: RETURNDATASIZE 0000045d: PUSH1 0x00 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: POP 00000463: POP 00000464: POP 00000465: POP 00000466: PUSH1 0x40 00000468: MLOAD 00000469: RETURNDATASIZE 0000046a: PUSH1 0x00 0000046c: DUP3 0000046d: RETURNDATACOPY 0000046e: PUSH1 0x1f 00000470: RETURNDATASIZE 00000471: SWAP1 00000472: DUP2 00000473: ADD 00000474: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000495: AND 00000496: DUP3 00000497: ADD 00000498: PUSH1 0x40 0000049a: MSTORE 0000049b: PUSH2 0x04a7 0000049e: SWAP2 0000049f: SWAP1 000004a0: DUP2 000004a1: ADD 000004a2: SWAP1 000004a3: PUSH2 0x14f9 000004a6: JUMP 000004a7: JUMPDEST 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x02 000004af: SLOAD 000004b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c5: AND 000004c6: CALLER 000004c7: EQ 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: SELFBALANCE 000004d2: ISZERO 000004d3: PUSH2 0x0539 000004d6: JUMPI 000004d7: PUSH1 0x02 000004d9: SLOAD 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f2: SWAP1 000004f3: SWAP2 000004f4: AND 000004f5: SWAP1 000004f6: SELFBALANCE 000004f7: SWAP1 000004f8: PUSH1 0x00 000004fa: DUP2 000004fb: DUP2 000004fc: DUP2 000004fd: DUP6 000004fe: DUP8 000004ff: GAS 00000500: CALL 00000501: SWAP3 00000502: POP 00000503: POP 00000504: POP 00000505: RETURNDATASIZE 00000506: DUP1 00000507: PUSH1 0x00 00000509: DUP2 0000050a: EQ 0000050b: PUSH2 0x0530 0000050e: JUMPI 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: SWAP2 00000513: POP 00000514: PUSH1 0x1f 00000516: NOT 00000517: PUSH1 0x3f 00000519: RETURNDATASIZE 0000051a: ADD 0000051b: AND 0000051c: DUP3 0000051d: ADD 0000051e: PUSH1 0x40 00000520: MSTORE 00000521: RETURNDATASIZE 00000522: DUP3 00000523: MSTORE 00000524: RETURNDATASIZE 00000525: PUSH1 0x00 00000527: PUSH1 0x20 00000529: DUP5 0000052a: ADD 0000052b: RETURNDATACOPY 0000052c: PUSH2 0x0535 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x60 00000533: SWAP2 00000534: POP 00000535: JUMPDEST 00000536: POP 00000537: POP 00000538: POP 00000539: JUMPDEST 0000053a: PUSH1 0x09 0000053c: SLOAD 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000561: DUP2 00000562: MSTORE 00000563: ADDRESS 00000564: PUSH1 0x04 00000566: DUP3 00000567: ADD 00000568: MSTORE 00000569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057e: SWAP1 0000057f: SWAP2 00000580: AND 00000581: SWAP1 00000582: PUSH1 0x00 00000584: SWAP1 00000585: DUP3 00000586: SWAP1 00000587: PUSH4 0x70a08231 0000058c: SWAP1 0000058d: PUSH1 0x24 0000058f: ADD 00000590: PUSH1 0x20 00000592: PUSH1 0x40 00000594: MLOAD 00000595: DUP1 00000596: DUP4 00000597: SUB 00000598: DUP2 00000599: DUP7 0000059a: DUP1 0000059b: EXTCODESIZE 0000059c: ISZERO 0000059d: DUP1 0000059e: ISZERO 0000059f: PUSH2 0x05a7 000005a2: JUMPI 000005a3: PUSH1 0x00 000005a5: DUP1 000005a6: REVERT 000005a7: JUMPDEST 000005a8: POP 000005a9: GAS 000005aa: STATICCALL 000005ab: ISZERO 000005ac: DUP1 000005ad: ISZERO 000005ae: PUSH2 0x05bb 000005b1: JUMPI 000005b2: RETURNDATASIZE 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: RETURNDATACOPY 000005b7: RETURNDATASIZE 000005b8: PUSH1 0x00 000005ba: REVERT 000005bb: JUMPDEST 000005bc: POP 000005bd: POP 000005be: POP 000005bf: POP 000005c0: PUSH1 0x40 000005c2: MLOAD 000005c3: RETURNDATASIZE 000005c4: PUSH1 0x1f 000005c6: NOT 000005c7: PUSH1 0x1f 000005c9: DUP3 000005ca: ADD 000005cb: AND 000005cc: DUP3 000005cd: ADD 000005ce: DUP1 000005cf: PUSH1 0x40 000005d1: MSTORE 000005d2: POP 000005d3: DUP2 000005d4: ADD 000005d5: SWAP1 000005d6: PUSH2 0x05df 000005d9: SWAP2 000005da: SWAP1 000005db: PUSH2 0x1611 000005de: JUMP 000005df: JUMPDEST 000005e0: GT 000005e1: ISZERO 000005e2: PUSH2 0x0736 000005e5: JUMPI 000005e6: PUSH1 0x02 000005e8: SLOAD 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000060d: DUP2 0000060e: MSTORE 0000060f: ADDRESS 00000610: PUSH1 0x04 00000612: DUP3 00000613: ADD 00000614: MSTORE 00000615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062a: DUP4 0000062b: DUP2 0000062c: AND 0000062d: SWAP3 0000062e: PUSH4 0xa9059cbb 00000633: SWAP3 00000634: SWAP2 00000635: AND 00000636: SWAP1 00000637: DUP4 00000638: SWAP1 00000639: PUSH4 0x70a08231 0000063e: SWAP1 0000063f: PUSH1 0x24 00000641: ADD 00000642: PUSH1 0x20 00000644: PUSH1 0x40 00000646: MLOAD 00000647: DUP1 00000648: DUP4 00000649: SUB 0000064a: DUP2 0000064b: DUP7 0000064c: DUP1 0000064d: EXTCODESIZE 0000064e: ISZERO 0000064f: DUP1 00000650: ISZERO 00000651: PUSH2 0x0659 00000654: JUMPI 00000655: PUSH1 0x00 00000657: DUP1 00000658: REVERT 00000659: JUMPDEST 0000065a: POP 0000065b: GAS 0000065c: STATICCALL 0000065d: ISZERO 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x066d 00000663: JUMPI 00000664: RETURNDATASIZE 00000665: PUSH1 0x00 00000667: DUP1 00000668: RETURNDATACOPY 00000669: RETURNDATASIZE 0000066a: PUSH1 0x00 0000066c: REVERT 0000066d: JUMPDEST 0000066e: POP 0000066f: POP 00000670: POP 00000671: POP 00000672: PUSH1 0x40 00000674: MLOAD 00000675: RETURNDATASIZE 00000676: PUSH1 0x1f 00000678: NOT 00000679: PUSH1 0x1f 0000067b: DUP3 0000067c: ADD 0000067d: AND 0000067e: DUP3 0000067f: ADD 00000680: DUP1 00000681: PUSH1 0x40 00000683: MSTORE 00000684: POP 00000685: DUP2 00000686: ADD 00000687: SWAP1 00000688: PUSH2 0x0691 0000068b: SWAP2 0000068c: SWAP1 0000068d: PUSH2 0x1611 00000690: JUMP 00000691: JUMPDEST 00000692: PUSH1 0x40 00000694: MLOAD 00000695: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000006b6: PUSH1 0xe0 000006b8: DUP6 000006b9: SWAP1 000006ba: SHL 000006bb: AND 000006bc: DUP2 000006bd: MSTORE 000006be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d3: SWAP1 000006d4: SWAP3 000006d5: AND 000006d6: PUSH1 0x04 000006d8: DUP4 000006d9: ADD 000006da: MSTORE 000006db: PUSH1 0x24 000006dd: DUP3 000006de: ADD 000006df: MSTORE 000006e0: PUSH1 0x44 000006e2: ADD 000006e3: PUSH1 0x20 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: DUP1 000006e9: DUP4 000006ea: SUB 000006eb: DUP2 000006ec: PUSH1 0x00 000006ee: DUP8 000006ef: DUP1 000006f0: EXTCODESIZE 000006f1: ISZERO 000006f2: DUP1 000006f3: ISZERO 000006f4: PUSH2 0x06fc 000006f7: JUMPI 000006f8: PUSH1 0x00 000006fa: DUP1 000006fb: REVERT 000006fc: JUMPDEST 000006fd: POP 000006fe: GAS 000006ff: CALL 00000700: ISZERO 00000701: DUP1 00000702: ISZERO 00000703: PUSH2 0x0710 00000706: JUMPI 00000707: RETURNDATASIZE 00000708: PUSH1 0x00 0000070a: DUP1 0000070b: RETURNDATACOPY 0000070c: RETURNDATASIZE 0000070d: PUSH1 0x00 0000070f: REVERT 00000710: JUMPDEST 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: PUSH1 0x40 00000717: MLOAD 00000718: RETURNDATASIZE 00000719: PUSH1 0x1f 0000071b: NOT 0000071c: PUSH1 0x1f 0000071e: DUP3 0000071f: ADD 00000720: AND 00000721: DUP3 00000722: ADD 00000723: DUP1 00000724: PUSH1 0x40 00000726: MSTORE 00000727: POP 00000728: DUP2 00000729: ADD 0000072a: SWAP1 0000072b: PUSH2 0x0734 0000072e: SWAP2 0000072f: SWAP1 00000730: PUSH2 0x15d7 00000733: JUMP 00000734: JUMPDEST 00000735: POP 00000736: JUMPDEST 00000737: POP 00000738: JUMP 00000739: JUMPDEST 0000073a: DUP2 0000073b: NUMBER 0000073c: EQ 0000073d: DUP1 0000073e: ISZERO 0000073f: PUSH2 0x075f 00000742: JUMPI 00000743: POP 00000744: PUSH1 0x05 00000746: SLOAD 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: AND 0000075d: CALLER 0000075e: EQ 0000075f: JUMPDEST 00000760: PUSH2 0x0768 00000763: JUMPI 00000764: PUSH1 0x00 00000766: DUP1 00000767: REVERT 00000768: JUMPDEST 00000769: PUSH1 0x01 0000076b: SLOAD 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: PUSH32 0xc04b8d5900000000000000000000000000000000000000000000000000000000 00000790: DUP2 00000791: MSTORE 00000792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a7: SWAP1 000007a8: SWAP2 000007a9: AND 000007aa: SWAP1 000007ab: PUSH4 0xc04b8d59 000007b0: SWAP1 000007b1: DUP7 000007b2: SWAP1 000007b3: PUSH2 0x07c0 000007b6: SWAP1 000007b7: DUP8 000007b8: SWAP1 000007b9: PUSH1 0x04 000007bb: ADD 000007bc: PUSH2 0x1810 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x20 000007c3: PUSH1 0x40 000007c5: MLOAD 000007c6: DUP1 000007c7: DUP4 000007c8: SUB 000007c9: DUP2 000007ca: DUP6 000007cb: DUP9 000007cc: DUP1 000007cd: EXTCODESIZE 000007ce: ISZERO 000007cf: DUP1 000007d0: ISZERO 000007d1: PUSH2 0x07d9 000007d4: JUMPI 000007d5: PUSH1 0x00 000007d7: DUP1 000007d8: REVERT 000007d9: JUMPDEST 000007da: POP 000007db: GAS 000007dc: CALL 000007dd: ISZERO 000007de: DUP1 000007df: ISZERO 000007e0: PUSH2 0x07ed 000007e3: JUMPI 000007e4: RETURNDATASIZE 000007e5: PUSH1 0x00 000007e7: DUP1 000007e8: RETURNDATACOPY 000007e9: RETURNDATASIZE 000007ea: PUSH1 0x00 000007ec: REVERT 000007ed: JUMPDEST 000007ee: POP 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: POP 000007f3: PUSH1 0x40 000007f5: MLOAD 000007f6: RETURNDATASIZE 000007f7: PUSH1 0x1f 000007f9: NOT 000007fa: PUSH1 0x1f 000007fc: DUP3 000007fd: ADD 000007fe: AND 000007ff: DUP3 00000800: ADD 00000801: DUP1 00000802: PUSH1 0x40 00000804: MSTORE 00000805: POP 00000806: DUP2 00000807: ADD 00000808: SWAP1 00000809: PUSH2 0x0812 0000080c: SWAP2 0000080d: SWAP1 0000080e: PUSH2 0x1611 00000811: JUMP 00000812: JUMPDEST 00000813: POP 00000814: PUSH1 0x40 00000816: MLOAD 00000817: COINBASE 00000818: SWAP1 00000819: DUP3 0000081a: ISZERO 0000081b: PUSH2 0x08fc 0000081e: MUL 0000081f: SWAP1 00000820: DUP4 00000821: SWAP1 00000822: PUSH1 0x00 00000824: DUP2 00000825: DUP2 00000826: DUP2 00000827: DUP6 00000828: DUP9 00000829: DUP9 0000082a: CALL 0000082b: SWAP4 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: POP 00000830: ISZERO 00000831: DUP1 00000832: ISZERO 00000833: PUSH2 0x0840 00000836: JUMPI 00000837: RETURNDATASIZE 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: RETURNDATACOPY 0000083c: RETURNDATASIZE 0000083d: PUSH1 0x00 0000083f: REVERT 00000840: JUMPDEST 00000841: POP 00000842: POP 00000843: POP 00000844: POP 00000845: POP 00000846: JUMP 00000847: JUMPDEST 00000848: DUP2 00000849: NUMBER 0000084a: EQ 0000084b: DUP1 0000084c: ISZERO 0000084d: PUSH2 0x086d 00000850: JUMPI 00000851: POP 00000852: PUSH1 0x05 00000854: SLOAD 00000855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086a: AND 0000086b: CALLER 0000086c: EQ 0000086d: JUMPDEST 0000086e: PUSH2 0x0876 00000871: JUMPI 00000872: PUSH1 0x00 00000874: DUP1 00000875: REVERT 00000876: JUMPDEST 00000877: PUSH1 0x00 00000879: SLOAD 0000087a: PUSH1 0x40 0000087c: MLOAD 0000087d: PUSH32 0x7ff36ab500000000000000000000000000000000000000000000000000000000 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b5: SWAP1 000008b6: SWAP2 000008b7: AND 000008b8: SWAP1 000008b9: PUSH4 0x7ff36ab5 000008be: SWAP1 000008bf: DUP11 000008c0: SWAP1 000008c1: PUSH2 0x08d6 000008c4: SWAP1 000008c5: DUP12 000008c6: SWAP1 000008c7: DUP12 000008c8: SWAP1 000008c9: DUP12 000008ca: SWAP1 000008cb: DUP12 000008cc: SWAP1 000008cd: DUP12 000008ce: SWAP1 000008cf: PUSH1 0x04 000008d1: ADD 000008d2: PUSH2 0x1995 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x00 000008d9: PUSH1 0x40 000008db: MLOAD 000008dc: DUP1 000008dd: DUP4 000008de: SUB 000008df: DUP2 000008e0: DUP6 000008e1: DUP9 000008e2: DUP1 000008e3: EXTCODESIZE 000008e4: ISZERO 000008e5: DUP1 000008e6: ISZERO 000008e7: PUSH2 0x08ef 000008ea: JUMPI 000008eb: PUSH1 0x00 000008ed: DUP1 000008ee: REVERT 000008ef: JUMPDEST 000008f0: POP 000008f1: GAS 000008f2: CALL 000008f3: ISZERO 000008f4: DUP1 000008f5: ISZERO 000008f6: PUSH2 0x0903 000008f9: JUMPI 000008fa: RETURNDATASIZE 000008fb: PUSH1 0x00 000008fd: DUP1 000008fe: RETURNDATACOPY 000008ff: RETURNDATASIZE 00000900: PUSH1 0x00 00000902: REVERT 00000903: JUMPDEST 00000904: POP 00000905: POP 00000906: POP 00000907: POP 00000908: POP 00000909: PUSH1 0x40 0000090b: MLOAD 0000090c: RETURNDATASIZE 0000090d: PUSH1 0x00 0000090f: DUP3 00000910: RETURNDATACOPY 00000911: PUSH1 0x1f 00000913: RETURNDATASIZE 00000914: SWAP1 00000915: DUP2 00000916: ADD 00000917: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000938: AND 00000939: DUP3 0000093a: ADD 0000093b: PUSH1 0x40 0000093d: MSTORE 0000093e: PUSH2 0x094a 00000941: SWAP2 00000942: SWAP1 00000943: DUP2 00000944: ADD 00000945: SWAP1 00000946: PUSH2 0x14f9 00000949: JUMP 0000094a: JUMPDEST 0000094b: POP 0000094c: PUSH1 0x40 0000094e: MLOAD 0000094f: COINBASE 00000950: SWAP1 00000951: DUP3 00000952: ISZERO 00000953: PUSH2 0x08fc 00000956: MUL 00000957: SWAP1 00000958: DUP4 00000959: SWAP1 0000095a: PUSH1 0x00 0000095c: DUP2 0000095d: DUP2 0000095e: DUP2 0000095f: DUP6 00000960: DUP9 00000961: DUP9 00000962: CALL 00000963: SWAP4 00000964: POP 00000965: POP 00000966: POP 00000967: POP 00000968: ISZERO 00000969: DUP1 0000096a: ISZERO 0000096b: PUSH2 0x0978 0000096e: JUMPI 0000096f: RETURNDATASIZE 00000970: PUSH1 0x00 00000972: DUP1 00000973: RETURNDATACOPY 00000974: RETURNDATASIZE 00000975: PUSH1 0x00 00000977: REVERT 00000978: JUMPDEST 00000979: POP 0000097a: POP 0000097b: POP 0000097c: POP 0000097d: POP 0000097e: POP 0000097f: POP 00000980: POP 00000981: POP 00000982: JUMP 00000983: JUMPDEST 00000984: PUSH1 0x03 00000986: SLOAD 00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099c: AND 0000099d: CALLER 0000099e: EQ 0000099f: PUSH2 0x09a7 000009a2: JUMPI 000009a3: PUSH1 0x00 000009a5: DUP1 000009a6: REVERT 000009a7: JUMPDEST 000009a8: PUSH1 0x00 000009aa: DUP1 000009ab: SLOAD 000009ac: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000009cd: AND 000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e3: SWAP3 000009e4: SWAP1 000009e5: SWAP3 000009e6: AND 000009e7: SWAP2 000009e8: SWAP1 000009e9: SWAP2 000009ea: OR 000009eb: SWAP1 000009ec: SSTORE 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x03 000009f1: SLOAD 000009f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a07: AND 00000a08: CALLER 00000a09: EQ 00000a0a: DUP1 00000a0b: PUSH2 0x0a2b 00000a0e: JUMPI 00000a0f: POP 00000a10: PUSH1 0x04 00000a12: SLOAD 00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a28: AND 00000a29: CALLER 00000a2a: EQ 00000a2b: JUMPDEST 00000a2c: PUSH2 0x0a34 00000a2f: JUMPI 00000a30: PUSH1 0x00 00000a32: DUP1 00000a33: REVERT 00000a34: JUMPDEST 00000a35: PUSH1 0x01 00000a37: SLOAD 00000a38: PUSH1 0x40 00000a3a: DUP1 00000a3b: MLOAD 00000a3c: PUSH1 0xa0 00000a3e: DUP2 00000a3f: ADD 00000a40: DUP1 00000a41: DUP4 00000a42: MSTORE 00000a43: PUSH32 0x4aa4a4fc00000000000000000000000000000000000000000000000000000000 00000a64: SWAP1 00000a65: MSTORE 00000a66: SWAP1 00000a67: MLOAD 00000a68: SELFBALANCE 00000a69: SWAP3 00000a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7f: AND 00000a80: SWAP2 00000a81: PUSH4 0xc04b8d59 00000a86: SWAP2 00000a87: DUP5 00000a88: SWAP2 00000a89: SWAP1 00000a8a: DUP2 00000a8b: SWAP1 00000a8c: DUP6 00000a8d: SWAP1 00000a8e: PUSH4 0x4aa4a4fc 00000a93: SWAP1 00000a94: PUSH1 0xa4 00000a96: DUP1 00000a97: DUP6 00000a98: ADD 00000a99: SWAP2 00000a9a: PUSH1 0x20 00000a9c: SWAP2 00000a9d: DUP2 00000a9e: DUP8 00000a9f: SUB 00000aa0: ADD 00000aa1: DUP2 00000aa2: DUP7 00000aa3: DUP1 00000aa4: EXTCODESIZE 00000aa5: ISZERO 00000aa6: DUP1 00000aa7: ISZERO 00000aa8: PUSH2 0x0ab0 00000aab: JUMPI 00000aac: PUSH1 0x00 00000aae: DUP1 00000aaf: REVERT 00000ab0: JUMPDEST 00000ab1: POP 00000ab2: GAS 00000ab3: STATICCALL 00000ab4: ISZERO 00000ab5: DUP1 00000ab6: ISZERO 00000ab7: PUSH2 0x0ac4 00000aba: JUMPI 00000abb: RETURNDATASIZE 00000abc: PUSH1 0x00 00000abe: DUP1 00000abf: RETURNDATACOPY 00000ac0: RETURNDATASIZE 00000ac1: PUSH1 0x00 00000ac3: REVERT 00000ac4: JUMPDEST 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: PUSH1 0x40 00000acb: MLOAD 00000acc: RETURNDATASIZE 00000acd: PUSH1 0x1f 00000acf: NOT 00000ad0: PUSH1 0x1f 00000ad2: DUP3 00000ad3: ADD 00000ad4: AND 00000ad5: DUP3 00000ad6: ADD 00000ad7: DUP1 00000ad8: PUSH1 0x40 00000ada: MSTORE 00000adb: POP 00000adc: DUP2 00000add: ADD 00000ade: SWAP1 00000adf: PUSH2 0x0ae8 00000ae2: SWAP2 00000ae3: SWAP1 00000ae4: PUSH2 0x147e 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH1 0x09 00000aeb: SLOAD 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 00000b10: PUSH1 0x60 00000b12: SWAP4 00000b13: DUP5 00000b14: SHL 00000b15: DUP2 00000b16: AND 00000b17: PUSH1 0x20 00000b19: DUP4 00000b1a: ADD 00000b1b: MSTORE 00000b1c: PUSH32 0xffffff0000000000000000000000000000000000000000000000000000000000 00000b3d: PUSH1 0xe8 00000b3f: DUP13 00000b40: SWAP1 00000b41: SHL 00000b42: AND 00000b43: PUSH1 0x34 00000b45: DUP4 00000b46: ADD 00000b47: MSTORE 00000b48: SWAP2 00000b49: SWAP1 00000b4a: SWAP3 00000b4b: SHL 00000b4c: AND 00000b4d: PUSH1 0x37 00000b4f: DUP3 00000b50: ADD 00000b51: MSTORE 00000b52: PUSH1 0x4b 00000b54: ADD 00000b55: PUSH1 0x40 00000b57: DUP1 00000b58: MLOAD 00000b59: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000b7a: DUP2 00000b7b: DUP5 00000b7c: SUB 00000b7d: ADD 00000b7e: DUP2 00000b7f: MSTORE 00000b80: SWAP2 00000b81: DUP2 00000b82: MSTORE 00000b83: SWAP1 00000b84: DUP3 00000b85: MSTORE 00000b86: PUSH1 0x06 00000b88: SLOAD 00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9e: AND 00000b9f: PUSH1 0x20 00000ba1: DUP4 00000ba2: ADD 00000ba3: MSTORE 00000ba4: TIMESTAMP 00000ba5: DUP3 00000ba6: DUP3 00000ba7: ADD 00000ba8: MSTORE 00000ba9: PUSH1 0x60 00000bab: DUP3 00000bac: ADD 00000bad: DUP8 00000bae: SWAP1 00000baf: MSTORE 00000bb0: PUSH1 0x0b 00000bb2: SLOAD 00000bb3: PUSH1 0x80 00000bb5: SWAP1 00000bb6: SWAP3 00000bb7: ADD 00000bb8: SWAP2 00000bb9: SWAP1 00000bba: SWAP2 00000bbb: MSTORE 00000bbc: MLOAD 00000bbd: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000bde: PUSH1 0xe0 00000be0: DUP6 00000be1: SWAP1 00000be2: SHL 00000be3: AND 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH2 0x0bf2 00000be9: SWAP2 00000bea: SWAP1 00000beb: PUSH1 0x04 00000bed: ADD 00000bee: PUSH2 0x18d9 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH1 0x20 00000bf5: PUSH1 0x40 00000bf7: MLOAD 00000bf8: DUP1 00000bf9: DUP4 00000bfa: SUB 00000bfb: DUP2 00000bfc: DUP6 00000bfd: DUP9 00000bfe: DUP1 00000bff: EXTCODESIZE 00000c00: ISZERO 00000c01: DUP1 00000c02: ISZERO 00000c03: PUSH2 0x0c0b 00000c06: JUMPI 00000c07: PUSH1 0x00 00000c09: DUP1 00000c0a: REVERT 00000c0b: JUMPDEST 00000c0c: POP 00000c0d: GAS 00000c0e: CALL 00000c0f: ISZERO 00000c10: DUP1 00000c11: ISZERO 00000c12: PUSH2 0x0c1f 00000c15: JUMPI 00000c16: RETURNDATASIZE 00000c17: PUSH1 0x00 00000c19: DUP1 00000c1a: RETURNDATACOPY 00000c1b: RETURNDATASIZE 00000c1c: PUSH1 0x00 00000c1e: REVERT 00000c1f: JUMPDEST 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: PUSH1 0x40 00000c27: MLOAD 00000c28: RETURNDATASIZE 00000c29: PUSH1 0x1f 00000c2b: NOT 00000c2c: PUSH1 0x1f 00000c2e: DUP3 00000c2f: ADD 00000c30: AND 00000c31: DUP3 00000c32: ADD 00000c33: DUP1 00000c34: PUSH1 0x40 00000c36: MSTORE 00000c37: POP 00000c38: DUP2 00000c39: ADD 00000c3a: SWAP1 00000c3b: PUSH2 0x04a7 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: PUSH2 0x1611 00000c43: JUMP 00000c44: JUMPDEST 00000c45: PUSH1 0x03 00000c47: SLOAD 00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5d: AND 00000c5e: CALLER 00000c5f: EQ 00000c60: DUP1 00000c61: PUSH2 0x0c81 00000c64: JUMPI 00000c65: POP 00000c66: PUSH1 0x04 00000c68: SLOAD 00000c69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7e: AND 00000c7f: CALLER 00000c80: EQ 00000c81: JUMPDEST 00000c82: PUSH2 0x0c8a 00000c85: JUMPI 00000c86: PUSH1 0x00 00000c88: DUP1 00000c89: REVERT 00000c8a: JUMPDEST 00000c8b: PUSH1 0x01 00000c8d: SLOAD 00000c8e: PUSH1 0x40 00000c90: DUP1 00000c91: MLOAD 00000c92: PUSH1 0xa0 00000c94: DUP2 00000c95: ADD 00000c96: DUP1 00000c97: DUP4 00000c98: MSTORE 00000c99: PUSH32 0x4aa4a4fc00000000000000000000000000000000000000000000000000000000 00000cba: SWAP1 00000cbb: MSTORE 00000cbc: SWAP1 00000cbd: MLOAD 00000cbe: SELFBALANCE 00000cbf: SWAP3 00000cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd5: AND 00000cd6: SWAP2 00000cd7: PUSH4 0xc04b8d59 00000cdc: SWAP2 00000cdd: DUP5 00000cde: SWAP2 00000cdf: SWAP1 00000ce0: DUP2 00000ce1: SWAP1 00000ce2: DUP6 00000ce3: SWAP1 00000ce4: PUSH4 0x4aa4a4fc 00000ce9: SWAP1 00000cea: PUSH1 0xa4 00000cec: DUP1 00000ced: DUP6 00000cee: ADD 00000cef: SWAP2 00000cf0: PUSH1 0x20 00000cf2: SWAP2 00000cf3: DUP2 00000cf4: DUP8 00000cf5: SUB 00000cf6: ADD 00000cf7: DUP2 00000cf8: DUP7 00000cf9: DUP1 00000cfa: EXTCODESIZE 00000cfb: ISZERO 00000cfc: DUP1 00000cfd: ISZERO 00000cfe: PUSH2 0x0d06 00000d01: JUMPI 00000d02: PUSH1 0x00 00000d04: DUP1 00000d05: REVERT 00000d06: JUMPDEST 00000d07: POP 00000d08: GAS 00000d09: STATICCALL 00000d0a: ISZERO 00000d0b: DUP1 00000d0c: ISZERO 00000d0d: PUSH2 0x0d1a 00000d10: JUMPI 00000d11: RETURNDATASIZE 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: RETURNDATACOPY 00000d16: RETURNDATASIZE 00000d17: PUSH1 0x00 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: POP 00000d1c: POP 00000d1d: POP 00000d1e: POP 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: RETURNDATASIZE 00000d23: PUSH1 0x1f 00000d25: NOT 00000d26: PUSH1 0x1f 00000d28: DUP3 00000d29: ADD 00000d2a: AND 00000d2b: DUP3 00000d2c: ADD 00000d2d: DUP1 00000d2e: PUSH1 0x40 00000d30: MSTORE 00000d31: POP 00000d32: DUP2 00000d33: ADD 00000d34: SWAP1 00000d35: PUSH2 0x0d3e 00000d38: SWAP2 00000d39: SWAP1 00000d3a: PUSH2 0x147e 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: PUSH1 0x09 00000d41: SLOAD 00000d42: PUSH1 0x40 00000d44: MLOAD 00000d45: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 00000d66: PUSH1 0x60 00000d68: SWAP4 00000d69: DUP5 00000d6a: SHL 00000d6b: DUP2 00000d6c: AND 00000d6d: PUSH1 0x20 00000d6f: DUP4 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH31 0x0bb80000000000000000000000000000000000000000000000000000000000 00000d92: PUSH1 0x34 00000d94: DUP4 00000d95: ADD 00000d96: MSTORE 00000d97: DUP12 00000d98: DUP5 00000d99: SHL 00000d9a: DUP2 00000d9b: AND 00000d9c: PUSH1 0x37 00000d9e: DUP4 00000d9f: ADD 00000da0: MSTORE 00000da1: PUSH1 0xe8 00000da3: DUP12 00000da4: SWAP1 00000da5: SHL 00000da6: PUSH32 0xffffff0000000000000000000000000000000000000000000000000000000000 00000dc7: AND 00000dc8: PUSH1 0x4b 00000dca: DUP4 00000dcb: ADD 00000dcc: MSTORE 00000dcd: SWAP2 00000dce: SWAP1 00000dcf: SWAP3 00000dd0: SHL 00000dd1: AND 00000dd2: PUSH1 0x4e 00000dd4: DUP3 00000dd5: ADD 00000dd6: MSTORE 00000dd7: PUSH1 0x62 00000dd9: ADD 00000dda: PUSH1 0x40 00000ddc: DUP1 00000ddd: MLOAD 00000dde: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000dff: DUP2 00000e00: DUP5 00000e01: SUB 00000e02: ADD 00000e03: DUP2 00000e04: MSTORE 00000e05: SWAP2 00000e06: DUP2 00000e07: MSTORE 00000e08: SWAP1 00000e09: DUP3 00000e0a: MSTORE 00000e0b: PUSH1 0x06 00000e0d: SLOAD 00000e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e23: AND 00000e24: PUSH1 0x20 00000e26: DUP4 00000e27: ADD 00000e28: MSTORE 00000e29: TIMESTAMP 00000e2a: DUP3 00000e2b: DUP3 00000e2c: ADD 00000e2d: MSTORE 00000e2e: PUSH1 0x60 00000e30: DUP3 00000e31: ADD 00000e32: DUP8 00000e33: SWAP1 00000e34: MSTORE 00000e35: PUSH1 0x0b 00000e37: SLOAD 00000e38: PUSH1 0x80 00000e3a: SWAP1 00000e3b: SWAP3 00000e3c: ADD 00000e3d: SWAP2 00000e3e: SWAP1 00000e3f: SWAP2 00000e40: MSTORE 00000e41: MLOAD 00000e42: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000e63: PUSH1 0xe0 00000e65: DUP6 00000e66: SWAP1 00000e67: SHL 00000e68: AND 00000e69: DUP2 00000e6a: MSTORE 00000e6b: PUSH2 0x0e77 00000e6e: SWAP2 00000e6f: SWAP1 00000e70: PUSH1 0x04 00000e72: ADD 00000e73: PUSH2 0x18d9 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x20 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: DUP1 00000e7e: DUP4 00000e7f: SUB 00000e80: DUP2 00000e81: DUP6 00000e82: DUP9 00000e83: DUP1 00000e84: EXTCODESIZE 00000e85: ISZERO 00000e86: DUP1 00000e87: ISZERO 00000e88: PUSH2 0x0e90 00000e8b: JUMPI 00000e8c: PUSH1 0x00 00000e8e: DUP1 00000e8f: REVERT 00000e90: JUMPDEST 00000e91: POP 00000e92: GAS 00000e93: CALL 00000e94: ISZERO 00000e95: DUP1 00000e96: ISZERO 00000e97: PUSH2 0x0ea4 00000e9a: JUMPI 00000e9b: RETURNDATASIZE 00000e9c: PUSH1 0x00 00000e9e: DUP1 00000e9f: RETURNDATACOPY 00000ea0: RETURNDATASIZE 00000ea1: PUSH1 0x00 00000ea3: REVERT 00000ea4: JUMPDEST 00000ea5: POP 00000ea6: POP 00000ea7: POP 00000ea8: POP 00000ea9: POP 00000eaa: PUSH1 0x40 00000eac: MLOAD 00000ead: RETURNDATASIZE 00000eae: PUSH1 0x1f 00000eb0: NOT 00000eb1: PUSH1 0x1f 00000eb3: DUP3 00000eb4: ADD 00000eb5: AND 00000eb6: DUP3 00000eb7: ADD 00000eb8: DUP1 00000eb9: PUSH1 0x40 00000ebb: MSTORE 00000ebc: POP 00000ebd: DUP2 00000ebe: ADD 00000ebf: SWAP1 00000ec0: PUSH2 0x0ec9 00000ec3: SWAP2 00000ec4: SWAP1 00000ec5: PUSH2 0x1611 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: POP 00000ecb: POP 00000ecc: POP 00000ecd: POP 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: DUP1 00000ed1: NUMBER 00000ed2: EQ 00000ed3: DUP1 00000ed4: ISZERO 00000ed5: PUSH2 0x0ef5 00000ed8: JUMPI 00000ed9: POP 00000eda: PUSH1 0x04 00000edc: SLOAD 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: AND 00000ef3: CALLER 00000ef4: EQ 00000ef5: JUMPDEST 00000ef6: PUSH2 0x0efe 00000ef9: JUMPI 00000efa: PUSH1 0x00 00000efc: DUP1 00000efd: REVERT 00000efe: JUMPDEST 00000eff: PUSH1 0x01 00000f01: SLOAD 00000f02: PUSH1 0x40 00000f04: MLOAD 00000f05: PUSH32 0xc04b8d5900000000000000000000000000000000000000000000000000000000 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3d: SWAP1 00000f3e: SWAP2 00000f3f: AND 00000f40: SWAP1 00000f41: PUSH4 0xc04b8d59 00000f46: SWAP1 00000f47: DUP6 00000f48: SWAP1 00000f49: PUSH2 0x0e77 00000f4c: SWAP1 00000f4d: DUP7 00000f4e: SWAP1 00000f4f: PUSH1 0x04 00000f51: ADD 00000f52: PUSH2 0x1810 00000f55: JUMP 00000f56: JUMPDEST 00000f57: PUSH1 0x03 00000f59: SLOAD 00000f5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6f: AND 00000f70: CALLER 00000f71: EQ 00000f72: PUSH2 0x0f7a 00000f75: JUMPI 00000f76: PUSH1 0x00 00000f78: DUP1 00000f79: REVERT 00000f7a: JUMPDEST 00000f7b: PUSH1 0x09 00000f7d: DUP1 00000f7e: SLOAD 00000f7f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000fa0: AND 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: SWAP4 00000fb7: SWAP1 00000fb8: SWAP4 00000fb9: AND 00000fba: SWAP3 00000fbb: SWAP1 00000fbc: SWAP3 00000fbd: OR 00000fbe: SWAP1 00000fbf: SWAP2 00000fc0: SSTORE 00000fc1: PUSH1 0x0b 00000fc3: SSTORE 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: DUP1 00000fc7: NUMBER 00000fc8: EQ 00000fc9: DUP1 00000fca: ISZERO 00000fcb: PUSH2 0x0feb 00000fce: JUMPI 00000fcf: POP 00000fd0: PUSH1 0x04 00000fd2: SLOAD 00000fd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe8: AND 00000fe9: CALLER 00000fea: EQ 00000feb: JUMPDEST 00000fec: PUSH2 0x0ff4 00000fef: JUMPI 00000ff0: PUSH1 0x00 00000ff2: DUP1 00000ff3: REVERT 00000ff4: JUMPDEST 00000ff5: PUSH1 0x00 00000ff7: SLOAD 00000ff8: PUSH1 0x40 00000ffa: MLOAD 00000ffb: PUSH32 0x7ff36ab500000000000000000000000000000000000000000000000000000000 0000101c: DUP2 0000101d: MSTORE 0000101e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001033: SWAP1 00001034: SWAP2 00001035: AND 00001036: SWAP1 00001037: PUSH4 0x7ff36ab5 0000103c: SWAP1 0000103d: DUP10 0000103e: SWAP1 0000103f: PUSH2 0x1054 00001042: SWAP1 00001043: DUP11 00001044: SWAP1 00001045: DUP11 00001046: SWAP1 00001047: DUP11 00001048: SWAP1 00001049: DUP11 0000104a: SWAP1 0000104b: DUP11 0000104c: SWAP1 0000104d: PUSH1 0x04 0000104f: ADD 00001050: PUSH2 0x1995 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH1 0x00 00001057: PUSH1 0x40 00001059: MLOAD 0000105a: DUP1 0000105b: DUP4 0000105c: SUB 0000105d: DUP2 0000105e: DUP6 0000105f: DUP9 00001060: DUP1 00001061: EXTCODESIZE 00001062: ISZERO 00001063: DUP1 00001064: ISZERO 00001065: PUSH2 0x106d 00001068: JUMPI 00001069: PUSH1 0x00 0000106b: DUP1 0000106c: REVERT 0000106d: JUMPDEST 0000106e: POP 0000106f: GAS 00001070: CALL 00001071: ISZERO 00001072: DUP1 00001073: ISZERO 00001074: PUSH2 0x1081 00001077: JUMPI 00001078: RETURNDATASIZE 00001079: PUSH1 0x00 0000107b: DUP1 0000107c: RETURNDATACOPY 0000107d: RETURNDATASIZE 0000107e: PUSH1 0x00 00001080: REVERT 00001081: JUMPDEST 00001082: POP 00001083: POP 00001084: POP 00001085: POP 00001086: POP 00001087: PUSH1 0x40 00001089: MLOAD 0000108a: RETURNDATASIZE 0000108b: PUSH1 0x00 0000108d: DUP3 0000108e: RETURNDATACOPY 0000108f: PUSH1 0x1f 00001091: RETURNDATASIZE 00001092: SWAP1 00001093: DUP2 00001094: ADD 00001095: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000010b6: AND 000010b7: DUP3 000010b8: ADD 000010b9: PUSH1 0x40 000010bb: MSTORE 000010bc: PUSH2 0x10c8 000010bf: SWAP2 000010c0: SWAP1 000010c1: DUP2 000010c2: ADD 000010c3: SWAP1 000010c4: PUSH2 0x14f9 000010c7: JUMP 000010c8: JUMPDEST 000010c9: POP 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x03 000010d5: SLOAD 000010d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010eb: AND 000010ec: CALLER 000010ed: EQ 000010ee: DUP1 000010ef: PUSH2 0x110f 000010f2: JUMPI 000010f3: POP 000010f4: PUSH1 0x04 000010f6: SLOAD 000010f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110c: AND 0000110d: CALLER 0000110e: EQ 0000110f: JUMPDEST 00001110: PUSH2 0x1118 00001113: JUMPI 00001114: PUSH1 0x00 00001116: DUP1 00001117: REVERT 00001118: JUMPDEST 00001119: PUSH1 0x40 0000111b: DUP1 0000111c: MLOAD 0000111d: PUSH1 0x03 0000111f: DUP1 00001120: DUP3 00001121: MSTORE 00001122: PUSH1 0x80 00001124: DUP3 00001125: ADD 00001126: SWAP1 00001127: SWAP3 00001128: MSTORE 00001129: SELFBALANCE 0000112a: SWAP2 0000112b: PUSH1 0x00 0000112d: SWAP2 0000112e: SWAP1 0000112f: PUSH1 0x20 00001131: DUP3 00001132: ADD 00001133: PUSH1 0x60 00001135: DUP1 00001136: CALLDATASIZE 00001137: DUP4 00001138: CALLDATACOPY 00001139: ADD 0000113a: SWAP1 0000113b: POP 0000113c: POP 0000113d: SWAP1 0000113e: POP 0000113f: PUSH1 0x00 00001141: DUP1 00001142: SLOAD 00001143: SWAP1 00001144: PUSH2 0x0100 00001147: EXP 00001148: SWAP1 00001149: DIV 0000114a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115f: AND 00001160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001175: AND 00001176: PUSH4 0xad5c4648 0000117b: PUSH1 0x40 0000117d: MLOAD 0000117e: DUP2 0000117f: PUSH4 0xffffffff 00001184: AND 00001185: PUSH1 0xe0 00001187: SHL 00001188: DUP2 00001189: MSTORE 0000118a: PUSH1 0x04 0000118c: ADD 0000118d: PUSH1 0x20 0000118f: PUSH1 0x40 00001191: MLOAD 00001192: DUP1 00001193: DUP4 00001194: SUB 00001195: DUP2 00001196: DUP7 00001197: DUP1 00001198: EXTCODESIZE 00001199: ISZERO 0000119a: DUP1 0000119b: ISZERO 0000119c: PUSH2 0x11a4 0000119f: JUMPI 000011a0: PUSH1 0x00 000011a2: DUP1 000011a3: REVERT 000011a4: JUMPDEST 000011a5: POP 000011a6: GAS 000011a7: STATICCALL 000011a8: ISZERO 000011a9: DUP1 000011aa: ISZERO 000011ab: PUSH2 0x11b8 000011ae: JUMPI 000011af: RETURNDATASIZE 000011b0: PUSH1 0x00 000011b2: DUP1 000011b3: RETURNDATACOPY 000011b4: RETURNDATASIZE 000011b5: PUSH1 0x00 000011b7: REVERT 000011b8: JUMPDEST 000011b9: POP 000011ba: POP 000011bb: POP 000011bc: POP 000011bd: PUSH1 0x40 000011bf: MLOAD 000011c0: RETURNDATASIZE 000011c1: PUSH1 0x1f 000011c3: NOT 000011c4: PUSH1 0x1f 000011c6: DUP3 000011c7: ADD 000011c8: AND 000011c9: DUP3 000011ca: ADD 000011cb: DUP1 000011cc: PUSH1 0x40 000011ce: MSTORE 000011cf: POP 000011d0: DUP2 000011d1: ADD 000011d2: SWAP1 000011d3: PUSH2 0x11dc 000011d6: SWAP2 000011d7: SWAP1 000011d8: PUSH2 0x147e 000011db: JUMP 000011dc: JUMPDEST 000011dd: DUP2 000011de: PUSH1 0x00 000011e0: DUP2 000011e1: MLOAD 000011e2: DUP2 000011e3: LT 000011e4: PUSH2 0x1216 000011e7: JUMPI 000011e8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001209: PUSH1 0x00 0000120b: MSTORE 0000120c: PUSH1 0x32 0000120e: PUSH1 0x04 00001210: MSTORE 00001211: PUSH1 0x24 00001213: PUSH1 0x00 00001215: REVERT 00001216: JUMPDEST 00001217: PUSH1 0x20 00001219: MUL 0000121a: PUSH1 0x20 0000121c: ADD 0000121d: ADD 0000121e: SWAP1 0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001234: AND 00001235: SWAP1 00001236: DUP2 00001237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124c: AND 0000124d: DUP2 0000124e: MSTORE 0000124f: POP 00001250: POP 00001251: DUP3 00001252: DUP2 00001253: PUSH1 0x01 00001255: DUP2 00001256: MLOAD 00001257: DUP2 00001258: LT 00001259: PUSH2 0x128b 0000125c: JUMPI 0000125d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000127e: PUSH1 0x00 00001280: MSTORE 00001281: PUSH1 0x32 00001283: PUSH1 0x04 00001285: MSTORE 00001286: PUSH1 0x24 00001288: PUSH1 0x00 0000128a: REVERT 0000128b: JUMPDEST 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: SWAP3 000012a2: DUP4 000012a3: AND 000012a4: PUSH1 0x20 000012a6: SWAP2 000012a7: DUP3 000012a8: MUL 000012a9: SWAP3 000012aa: SWAP1 000012ab: SWAP3 000012ac: ADD 000012ad: ADD 000012ae: MSTORE 000012af: PUSH1 0x09 000012b1: SLOAD 000012b2: DUP3 000012b3: MLOAD 000012b4: SWAP2 000012b5: AND 000012b6: SWAP1 000012b7: DUP3 000012b8: SWAP1 000012b9: PUSH1 0x02 000012bb: SWAP1 000012bc: DUP2 000012bd: LT 000012be: PUSH2 0x12f0 000012c1: JUMPI 000012c2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000012e3: PUSH1 0x00 000012e5: MSTORE 000012e6: PUSH1 0x32 000012e8: PUSH1 0x04 000012ea: MSTORE 000012eb: PUSH1 0x24 000012ed: PUSH1 0x00 000012ef: REVERT 000012f0: JUMPDEST 000012f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001306: SWAP3 00001307: DUP4 00001308: AND 00001309: PUSH1 0x20 0000130b: SWAP2 0000130c: DUP3 0000130d: MUL 0000130e: SWAP3 0000130f: SWAP1 00001310: SWAP3 00001311: ADD 00001312: ADD 00001313: MSTORE 00001314: PUSH1 0x00 00001316: SLOAD 00001317: PUSH1 0x0b 00001319: SLOAD 0000131a: PUSH1 0x06 0000131c: SLOAD 0000131d: PUSH1 0x40 0000131f: MLOAD 00001320: PUSH32 0x7ff36ab500000000000000000000000000000000000000000000000000000000 00001341: DUP2 00001342: MSTORE 00001343: SWAP3 00001344: DUP5 00001345: AND 00001346: SWAP4 00001347: PUSH4 0x7ff36ab5 0000134c: SWAP4 0000134d: DUP8 0000134e: SWAP4 0000134f: PUSH2 0x1363 00001352: SWAP4 00001353: SWAP1 00001354: SWAP3 00001355: DUP9 00001356: SWAP3 00001357: SWAP2 00001358: AND 00001359: SWAP1 0000135a: TIMESTAMP 0000135b: SWAP1 0000135c: PUSH1 0x04 0000135e: ADD 0000135f: PUSH2 0x1a1b 00001362: JUMP 00001363: JUMPDEST 00001364: PUSH1 0x00 00001366: PUSH1 0x40 00001368: MLOAD 00001369: DUP1 0000136a: DUP4 0000136b: SUB 0000136c: DUP2 0000136d: DUP6 0000136e: DUP9 0000136f: DUP1 00001370: EXTCODESIZE 00001371: ISZERO 00001372: DUP1 00001373: ISZERO 00001374: PUSH2 0x137c 00001377: JUMPI 00001378: PUSH1 0x00 0000137a: DUP1 0000137b: REVERT 0000137c: JUMPDEST 0000137d: POP 0000137e: GAS 0000137f: CALL 00001380: ISZERO 00001381: DUP1 00001382: ISZERO 00001383: PUSH2 0x1390 00001386: JUMPI 00001387: RETURNDATASIZE 00001388: PUSH1 0x00 0000138a: DUP1 0000138b: RETURNDATACOPY 0000138c: RETURNDATASIZE 0000138d: PUSH1 0x00 0000138f: REVERT 00001390: JUMPDEST 00001391: POP 00001392: POP 00001393: POP 00001394: POP 00001395: POP 00001396: PUSH1 0x40 00001398: MLOAD 00001399: RETURNDATASIZE 0000139a: PUSH1 0x00 0000139c: DUP3 0000139d: RETURNDATACOPY 0000139e: PUSH1 0x1f 000013a0: RETURNDATASIZE 000013a1: SWAP1 000013a2: DUP2 000013a3: ADD 000013a4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000013c5: AND 000013c6: DUP3 000013c7: ADD 000013c8: PUSH1 0x40 000013ca: MSTORE 000013cb: PUSH2 0x0ec9 000013ce: SWAP2 000013cf: SWAP1 000013d0: DUP2 000013d1: ADD 000013d2: SWAP1 000013d3: PUSH2 0x14f9 000013d6: JUMP 000013d7: JUMPDEST 000013d8: DUP1 000013d9: CALLDATALOAD 000013da: PUSH2 0x13e2 000013dd: DUP2 000013de: PUSH2 0x1acd 000013e1: JUMP 000013e2: JUMPDEST 000013e3: SWAP2 000013e4: SWAP1 000013e5: POP 000013e6: JUMP 000013e7: JUMPDEST 000013e8: PUSH1 0x00 000013ea: DUP1 000013eb: DUP4 000013ec: PUSH1 0x1f 000013ee: DUP5 000013ef: ADD 000013f0: SLT 000013f1: PUSH2 0x13f8 000013f4: JUMPI 000013f5: DUP1 000013f6: DUP2 000013f7: REVERT 000013f8: JUMPDEST 000013f9: POP 000013fa: DUP2 000013fb: CALLDATALOAD 000013fc: PUSH8 0xffffffffffffffff 00001405: DUP2 00001406: GT 00001407: ISZERO 00001408: PUSH2 0x140f 0000140b: JUMPI 0000140c: DUP2 0000140d: DUP3 0000140e: REVERT 0000140f: JUMPDEST 00001410: PUSH1 0x20 00001412: DUP4 00001413: ADD 00001414: SWAP2 00001415: POP 00001416: DUP4 00001417: PUSH1 0x20 00001419: DUP3 0000141a: PUSH1 0x05 0000141c: SHL 0000141d: DUP6 0000141e: ADD 0000141f: ADD 00001420: GT 00001421: ISZERO 00001422: PUSH2 0x142a 00001425: JUMPI 00001426: PUSH1 0x00 00001428: DUP1 00001429: REVERT 0000142a: JUMPDEST 0000142b: SWAP3 0000142c: POP 0000142d: SWAP3 0000142e: SWAP1 0000142f: POP 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x00 00001434: PUSH1 0xa0 00001436: DUP3 00001437: DUP5 00001438: SUB 00001439: SLT 0000143a: ISZERO 0000143b: PUSH2 0x1442 0000143e: JUMPI 0000143f: DUP1 00001440: DUP2 00001441: REVERT 00001442: JUMPDEST 00001443: POP 00001444: SWAP2 00001445: SWAP1 00001446: POP 00001447: JUMP 00001448: JUMPDEST 00001449: DUP1 0000144a: CALLDATALOAD 0000144b: PUSH3 0xffffff 0000144f: DUP2 00001450: AND 00001451: DUP2 00001452: EQ 00001453: PUSH2 0x13e2 00001456: JUMPI 00001457: PUSH1 0x00 00001459: DUP1 0000145a: REVERT 0000145b: JUMPDEST 0000145c: PUSH1 0x00 0000145e: PUSH1 0x20 00001460: DUP3 00001461: DUP5 00001462: SUB 00001463: SLT 00001464: ISZERO 00001465: PUSH2 0x146c 00001468: JUMPI 00001469: DUP1 0000146a: DUP2 0000146b: REVERT 0000146c: JUMPDEST 0000146d: DUP2 0000146e: CALLDATALOAD 0000146f: PUSH2 0x1477 00001472: DUP2 00001473: PUSH2 0x1acd 00001476: JUMP 00001477: JUMPDEST 00001478: SWAP4 00001479: SWAP3 0000147a: POP 0000147b: POP 0000147c: POP 0000147d: JUMP 0000147e: JUMPDEST 0000147f: PUSH1 0x00 00001481: PUSH1 0x20 00001483: DUP3 00001484: DUP5 00001485: SUB 00001486: SLT 00001487: ISZERO 00001488: PUSH2 0x148f 0000148b: JUMPI 0000148c: DUP1 0000148d: DUP2 0000148e: REVERT 0000148f: JUMPDEST 00001490: DUP2 00001491: MLOAD 00001492: PUSH2 0x1477 00001495: DUP2 00001496: PUSH2 0x1acd 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH1 0x00 0000149d: DUP1 0000149e: PUSH1 0x40 000014a0: DUP4 000014a1: DUP6 000014a2: SUB 000014a3: SLT 000014a4: ISZERO 000014a5: PUSH2 0x14ac 000014a8: JUMPI 000014a9: DUP1 000014aa: DUP2 000014ab: REVERT 000014ac: JUMPDEST 000014ad: DUP3 000014ae: CALLDATALOAD 000014af: PUSH2 0x14b7 000014b2: DUP2 000014b3: PUSH2 0x1acd 000014b6: JUMP 000014b7: JUMPDEST 000014b8: SWAP2 000014b9: POP 000014ba: PUSH2 0x14c5 000014bd: PUSH1 0x20 000014bf: DUP5 000014c0: ADD 000014c1: PUSH2 0x1448 000014c4: JUMP 000014c5: JUMPDEST 000014c6: SWAP1 000014c7: POP 000014c8: SWAP3 000014c9: POP 000014ca: SWAP3 000014cb: SWAP1 000014cc: POP 000014cd: JUMP 000014ce: JUMPDEST 000014cf: PUSH1 0x00 000014d1: DUP1 000014d2: PUSH1 0x40 000014d4: DUP4 000014d5: DUP6 000014d6: SUB 000014d7: SLT 000014d8: ISZERO 000014d9: PUSH2 0x14e0 000014dc: JUMPI 000014dd: DUP2 000014de: DUP3 000014df: REVERT 000014e0: JUMPDEST 000014e1: DUP3 000014e2: CALLDATALOAD 000014e3: PUSH2 0x14eb 000014e6: DUP2 000014e7: PUSH2 0x1acd 000014ea: JUMP 000014eb: JUMPDEST 000014ec: SWAP5 000014ed: PUSH1 0x20 000014ef: SWAP4 000014f0: SWAP1 000014f1: SWAP4 000014f2: ADD 000014f3: CALLDATALOAD 000014f4: SWAP4 000014f5: POP 000014f6: POP 000014f7: POP 000014f8: JUMP 000014f9: JUMPDEST 000014fa: PUSH1 0x00 000014fc: PUSH1 0x20 000014fe: DUP1 000014ff: DUP4 00001500: DUP6 00001501: SUB 00001502: SLT 00001503: ISZERO 00001504: PUSH2 0x150b 00001507: JUMPI 00001508: DUP2 00001509: DUP3 0000150a: REVERT 0000150b: JUMPDEST 0000150c: DUP3 0000150d: MLOAD 0000150e: PUSH8 0xffffffffffffffff 00001517: DUP1 00001518: DUP3 00001519: GT 0000151a: ISZERO 0000151b: PUSH2 0x1522 0000151e: JUMPI 0000151f: DUP4 00001520: DUP5 00001521: REVERT 00001522: JUMPDEST 00001523: DUP2 00001524: DUP6 00001525: ADD 00001526: SWAP2 00001527: POP 00001528: DUP6 00001529: PUSH1 0x1f 0000152b: DUP4 0000152c: ADD 0000152d: SLT 0000152e: PUSH2 0x1535 00001531: JUMPI 00001532: DUP4 00001533: DUP5 00001534: REVERT 00001535: JUMPDEST 00001536: DUP2 00001537: MLOAD 00001538: DUP2 00001539: DUP2 0000153a: GT 0000153b: ISZERO 0000153c: PUSH2 0x1547 0000153f: JUMPI 00001540: PUSH2 0x1547 00001543: PUSH2 0x1a9e 00001546: JUMP 00001547: JUMPDEST 00001548: DUP1 00001549: PUSH1 0x05 0000154b: SHL 0000154c: PUSH1 0x40 0000154e: MLOAD 0000154f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001570: PUSH1 0x3f 00001572: DUP4 00001573: ADD 00001574: AND 00001575: DUP2 00001576: ADD 00001577: DUP2 00001578: DUP2 00001579: LT 0000157a: DUP6 0000157b: DUP3 0000157c: GT 0000157d: OR 0000157e: ISZERO 0000157f: PUSH2 0x158a 00001582: JUMPI 00001583: PUSH2 0x158a 00001586: PUSH2 0x1a9e 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x40 0000158d: MSTORE 0000158e: DUP3 0000158f: DUP2 00001590: MSTORE 00001591: DUP6 00001592: DUP2 00001593: ADD 00001594: SWAP4 00001595: POP 00001596: DUP5 00001597: DUP7 00001598: ADD 00001599: DUP3 0000159a: DUP7 0000159b: ADD 0000159c: DUP8 0000159d: ADD 0000159e: DUP11 0000159f: LT 000015a0: ISZERO 000015a1: PUSH2 0x15a8 000015a4: JUMPI 000015a5: DUP8 000015a6: DUP9 000015a7: REVERT 000015a8: JUMPDEST 000015a9: DUP8 000015aa: SWAP6 000015ab: POP 000015ac: JUMPDEST 000015ad: DUP4 000015ae: DUP7 000015af: LT 000015b0: ISZERO 000015b1: PUSH2 0x15ca 000015b4: JUMPI 000015b5: DUP1 000015b6: MLOAD 000015b7: DUP6 000015b8: MSTORE 000015b9: PUSH1 0x01 000015bb: SWAP6 000015bc: SWAP1 000015bd: SWAP6 000015be: ADD 000015bf: SWAP5 000015c0: SWAP4 000015c1: DUP7 000015c2: ADD 000015c3: SWAP4 000015c4: DUP7 000015c5: ADD 000015c6: PUSH2 0x15ac 000015c9: JUMP 000015ca: JUMPDEST 000015cb: POP 000015cc: SWAP9 000015cd: SWAP8 000015ce: POP 000015cf: POP 000015d0: POP 000015d1: POP 000015d2: POP 000015d3: POP 000015d4: POP 000015d5: POP 000015d6: JUMP 000015d7: JUMPDEST 000015d8: PUSH1 0x00 000015da: PUSH1 0x20 000015dc: DUP3 000015dd: DUP5 000015de: SUB 000015df: SLT 000015e0: ISZERO 000015e1: PUSH2 0x15e8 000015e4: JUMPI 000015e5: DUP1 000015e6: DUP2 000015e7: REVERT 000015e8: JUMPDEST 000015e9: DUP2 000015ea: MLOAD 000015eb: DUP1 000015ec: ISZERO 000015ed: ISZERO 000015ee: DUP2 000015ef: EQ 000015f0: PUSH2 0x1477 000015f3: JUMPI 000015f4: DUP2 000015f5: DUP3 000015f6: REVERT 000015f7: JUMPDEST 000015f8: PUSH1 0x00 000015fa: PUSH1 0x20 000015fc: DUP3 000015fd: DUP5 000015fe: SUB 000015ff: SLT 00001600: ISZERO 00001601: PUSH2 0x1608 00001604: JUMPI 00001605: DUP1 00001606: DUP2 00001607: REVERT 00001608: JUMPDEST 00001609: PUSH2 0x1477 0000160c: DUP3 0000160d: PUSH2 0x1448 00001610: JUMP 00001611: JUMPDEST 00001612: PUSH1 0x00 00001614: PUSH1 0x20 00001616: DUP3 00001617: DUP5 00001618: SUB 00001619: SLT 0000161a: ISZERO 0000161b: PUSH2 0x1622 0000161e: JUMPI 0000161f: DUP1 00001620: DUP2 00001621: REVERT 00001622: JUMPDEST 00001623: POP 00001624: MLOAD 00001625: SWAP2 00001626: SWAP1 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH1 0x00 0000162c: DUP1 0000162d: PUSH1 0x00 0000162f: PUSH1 0x60 00001631: DUP5 00001632: DUP7 00001633: SUB 00001634: SLT 00001635: ISZERO 00001636: PUSH2 0x163d 00001639: JUMPI 0000163a: DUP1 0000163b: DUP2 0000163c: REVERT 0000163d: JUMPDEST 0000163e: DUP4 0000163f: CALLDATALOAD 00001640: SWAP3 00001641: POP 00001642: PUSH1 0x20 00001644: DUP5 00001645: ADD 00001646: CALLDATALOAD 00001647: PUSH8 0xffffffffffffffff 00001650: DUP2 00001651: GT 00001652: ISZERO 00001653: PUSH2 0x165a 00001656: JUMPI 00001657: DUP2 00001658: DUP3 00001659: REVERT 0000165a: JUMPDEST 0000165b: PUSH2 0x1666 0000165e: DUP7 0000165f: DUP3 00001660: DUP8 00001661: ADD 00001662: PUSH2 0x1431 00001665: JUMP 00001666: JUMPDEST 00001667: SWAP3 00001668: POP 00001669: POP 0000166a: PUSH1 0x40 0000166c: DUP5 0000166d: ADD 0000166e: CALLDATALOAD 0000166f: SWAP1 00001670: POP 00001671: SWAP3 00001672: POP 00001673: SWAP3 00001674: POP 00001675: SWAP3 00001676: JUMP 00001677: JUMPDEST 00001678: PUSH1 0x00 0000167a: DUP1 0000167b: PUSH1 0x00 0000167d: DUP1 0000167e: PUSH1 0x80 00001680: DUP6 00001681: DUP8 00001682: SUB 00001683: SLT 00001684: ISZERO 00001685: PUSH2 0x168c 00001688: JUMPI 00001689: DUP1 0000168a: DUP2 0000168b: REVERT 0000168c: JUMPDEST 0000168d: DUP5 0000168e: CALLDATALOAD 0000168f: SWAP4 00001690: POP 00001691: PUSH1 0x20 00001693: DUP6 00001694: ADD 00001695: CALLDATALOAD 00001696: PUSH8 0xffffffffffffffff 0000169f: DUP2 000016a0: GT 000016a1: ISZERO 000016a2: PUSH2 0x16a9 000016a5: JUMPI 000016a6: DUP2 000016a7: DUP3 000016a8: REVERT 000016a9: JUMPDEST 000016aa: PUSH2 0x16b5 000016ad: DUP8 000016ae: DUP3 000016af: DUP9 000016b0: ADD 000016b1: PUSH2 0x1431 000016b4: JUMP 000016b5: JUMPDEST 000016b6: SWAP5 000016b7: SWAP8 000016b8: SWAP5 000016b9: SWAP7 000016ba: POP 000016bb: POP 000016bc: POP 000016bd: POP 000016be: PUSH1 0x40 000016c0: DUP4 000016c1: ADD 000016c2: CALLDATALOAD 000016c3: SWAP3 000016c4: PUSH1 0x60 000016c6: ADD 000016c7: CALLDATALOAD 000016c8: SWAP2 000016c9: SWAP1 000016ca: POP 000016cb: JUMP 000016cc: JUMPDEST 000016cd: PUSH1 0x00 000016cf: DUP1 000016d0: PUSH1 0x00 000016d2: DUP1 000016d3: PUSH1 0x00 000016d5: DUP1 000016d6: PUSH1 0x00 000016d8: PUSH1 0xc0 000016da: DUP9 000016db: DUP11 000016dc: SUB 000016dd: SLT 000016de: ISZERO 000016df: PUSH2 0x16e6 000016e2: JUMPI 000016e3: DUP3 000016e4: DUP4 000016e5: REVERT 000016e6: JUMPDEST 000016e7: DUP8 000016e8: CALLDATALOAD 000016e9: SWAP7 000016ea: POP 000016eb: PUSH1 0x20 000016ed: DUP9 000016ee: ADD 000016ef: CALLDATALOAD 000016f0: SWAP6 000016f1: POP 000016f2: PUSH1 0x40 000016f4: DUP9 000016f5: ADD 000016f6: CALLDATALOAD 000016f7: PUSH8 0xffffffffffffffff 00001700: DUP2 00001701: GT 00001702: ISZERO 00001703: PUSH2 0x170a 00001706: JUMPI 00001707: DUP4 00001708: DUP5 00001709: REVERT 0000170a: JUMPDEST 0000170b: PUSH2 0x1716 0000170e: DUP11 0000170f: DUP3 00001710: DUP12 00001711: ADD 00001712: PUSH2 0x13e7 00001715: JUMP 00001716: JUMPDEST 00001717: SWAP1 00001718: SWAP7 00001719: POP 0000171a: SWAP5 0000171b: POP 0000171c: POP 0000171d: PUSH1 0x60 0000171f: DUP9 00001720: ADD 00001721: CALLDATALOAD 00001722: PUSH2 0x172a 00001725: DUP2 00001726: PUSH2 0x1acd 00001729: JUMP 0000172a: JUMPDEST 0000172b: SWAP7 0000172c: SWAP10 0000172d: SWAP6 0000172e: SWAP9 0000172f: POP 00001730: SWAP4 00001731: SWAP7 00001732: SWAP3 00001733: SWAP6 00001734: SWAP5 00001735: PUSH1 0x80 00001737: DUP5 00001738: ADD 00001739: CALLDATALOAD 0000173a: SWAP5 0000173b: POP 0000173c: PUSH1 0xa0 0000173e: SWAP1 0000173f: SWAP4 00001740: ADD 00001741: CALLDATALOAD 00001742: SWAP3 00001743: SWAP2 00001744: POP 00001745: POP 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH1 0x00 0000174a: DUP1 0000174b: PUSH1 0x00 0000174d: DUP1 0000174e: PUSH1 0x00 00001750: DUP1 00001751: PUSH1 0x00 00001753: DUP1 00001754: PUSH1 0xe0 00001756: DUP10 00001757: DUP12 00001758: SUB 00001759: SLT 0000175a: ISZERO 0000175b: PUSH2 0x1762 0000175e: JUMPI 0000175f: DUP1 00001760: DUP2 00001761: REVERT 00001762: JUMPDEST 00001763: DUP9 00001764: CALLDATALOAD 00001765: SWAP8 00001766: POP 00001767: PUSH1 0x20 00001769: DUP10 0000176a: ADD 0000176b: CALLDATALOAD 0000176c: SWAP7 0000176d: POP 0000176e: PUSH1 0x40 00001770: DUP10 00001771: ADD 00001772: CALLDATALOAD 00001773: PUSH8 0xffffffffffffffff 0000177c: DUP2 0000177d: GT 0000177e: ISZERO 0000177f: PUSH2 0x1786 00001782: JUMPI 00001783: DUP2 00001784: DUP3 00001785: REVERT 00001786: JUMPDEST 00001787: PUSH2 0x1792 0000178a: DUP12 0000178b: DUP3 0000178c: DUP13 0000178d: ADD 0000178e: PUSH2 0x13e7 00001791: JUMP 00001792: JUMPDEST 00001793: SWAP1 00001794: SWAP8 00001795: POP 00001796: SWAP6 00001797: POP 00001798: POP 00001799: PUSH1 0x60 0000179b: DUP10 0000179c: ADD 0000179d: CALLDATALOAD 0000179e: PUSH2 0x17a6 000017a1: DUP2 000017a2: PUSH2 0x1acd 000017a5: JUMP 000017a6: JUMPDEST 000017a7: SWAP8 000017a8: SWAP11 000017a9: SWAP7 000017aa: SWAP10 000017ab: POP 000017ac: SWAP5 000017ad: SWAP8 000017ae: SWAP4 000017af: SWAP7 000017b0: SWAP6 000017b1: PUSH1 0x80 000017b3: DUP6 000017b4: ADD 000017b5: CALLDATALOAD 000017b6: SWAP6 000017b7: POP 000017b8: PUSH1 0xa0 000017ba: DUP6 000017bb: ADD 000017bc: CALLDATALOAD 000017bd: SWAP5 000017be: PUSH1 0xc0 000017c0: ADD 000017c1: CALLDATALOAD 000017c2: SWAP4 000017c3: POP 000017c4: SWAP2 000017c5: POP 000017c6: POP 000017c7: JUMP 000017c8: JUMPDEST 000017c9: DUP2 000017ca: DUP4 000017cb: MSTORE 000017cc: DUP2 000017cd: DUP2 000017ce: PUSH1 0x20 000017d0: DUP6 000017d1: ADD 000017d2: CALLDATACOPY 000017d3: POP 000017d4: PUSH1 0x00 000017d6: DUP1 000017d7: PUSH1 0x20 000017d9: DUP4 000017da: DUP6 000017db: ADD 000017dc: ADD 000017dd: MSTORE 000017de: PUSH1 0x20 000017e0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001801: PUSH1 0x1f 00001803: DUP5 00001804: ADD 00001805: AND 00001806: DUP5 00001807: ADD 00001808: ADD 00001809: SWAP1 0000180a: POP 0000180b: SWAP3 0000180c: SWAP2 0000180d: POP 0000180e: POP 0000180f: JUMP 00001810: JUMPDEST 00001811: PUSH1 0x20 00001813: DUP2 00001814: MSTORE 00001815: PUSH1 0x00 00001817: DUP3 00001818: CALLDATALOAD 00001819: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 0000183a: DUP5 0000183b: CALLDATASIZE 0000183c: SUB 0000183d: ADD 0000183e: DUP2 0000183f: SLT 00001840: PUSH2 0x1847 00001843: JUMPI 00001844: DUP2 00001845: DUP3 00001846: REVERT 00001847: JUMPDEST 00001848: DUP4 00001849: ADD 0000184a: DUP1 0000184b: CALLDATALOAD 0000184c: PUSH8 0xffffffffffffffff 00001855: DUP2 00001856: GT 00001857: ISZERO 00001858: PUSH2 0x185f 0000185b: JUMPI 0000185c: DUP3 0000185d: DUP4 0000185e: REVERT 0000185f: JUMPDEST 00001860: DUP1 00001861: CALLDATASIZE 00001862: SUB 00001863: DUP6 00001864: SGT 00001865: ISZERO 00001866: PUSH2 0x186d 00001869: JUMPI 0000186a: DUP3 0000186b: DUP4 0000186c: REVERT 0000186d: JUMPDEST 0000186e: PUSH1 0xa0 00001870: PUSH1 0x20 00001872: DUP6 00001873: ADD 00001874: MSTORE 00001875: PUSH2 0x1885 00001878: PUSH1 0xc0 0000187a: DUP6 0000187b: ADD 0000187c: DUP3 0000187d: PUSH1 0x20 0000187f: DUP6 00001880: ADD 00001881: PUSH2 0x17c8 00001884: JUMP 00001885: JUMPDEST 00001886: SWAP2 00001887: POP 00001888: POP 00001889: PUSH2 0x1894 0000188c: PUSH1 0x20 0000188e: DUP6 0000188f: ADD 00001890: PUSH2 0x13d7 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018aa: DUP2 000018ab: AND 000018ac: PUSH1 0x40 000018ae: DUP6 000018af: ADD 000018b0: MSTORE 000018b1: POP 000018b2: PUSH1 0x40 000018b4: DUP5 000018b5: ADD 000018b6: CALLDATALOAD 000018b7: PUSH1 0x60 000018b9: DUP5 000018ba: ADD 000018bb: MSTORE 000018bc: PUSH1 0x60 000018be: DUP5 000018bf: ADD 000018c0: CALLDATALOAD 000018c1: PUSH1 0x80 000018c3: DUP5 000018c4: ADD 000018c5: MSTORE 000018c6: PUSH1 0x80 000018c8: DUP5 000018c9: ADD 000018ca: CALLDATALOAD 000018cb: PUSH1 0xa0 000018cd: DUP5 000018ce: ADD 000018cf: MSTORE 000018d0: DUP1 000018d1: SWAP2 000018d2: POP 000018d3: POP 000018d4: SWAP3 000018d5: SWAP2 000018d6: POP 000018d7: POP 000018d8: JUMP 000018d9: JUMPDEST 000018da: PUSH1 0x00 000018dc: PUSH1 0x20 000018de: DUP1 000018df: DUP4 000018e0: MSTORE 000018e1: DUP4 000018e2: MLOAD 000018e3: PUSH1 0xa0 000018e5: DUP3 000018e6: DUP6 000018e7: ADD 000018e8: MSTORE 000018e9: DUP1 000018ea: MLOAD 000018eb: DUP1 000018ec: PUSH1 0xc0 000018ee: DUP7 000018ef: ADD 000018f0: MSTORE 000018f1: DUP4 000018f2: JUMPDEST 000018f3: DUP2 000018f4: DUP2 000018f5: LT 000018f6: ISZERO 000018f7: PUSH2 0x190e 000018fa: JUMPI 000018fb: DUP3 000018fc: DUP2 000018fd: ADD 000018fe: DUP5 000018ff: ADD 00001900: MLOAD 00001901: DUP7 00001902: DUP3 00001903: ADD 00001904: PUSH1 0xe0 00001906: ADD 00001907: MSTORE 00001908: DUP4 00001909: ADD 0000190a: PUSH2 0x18f2 0000190d: JUMP 0000190e: JUMPDEST 0000190f: DUP2 00001910: DUP2 00001911: GT 00001912: ISZERO 00001913: PUSH2 0x191f 00001916: JUMPI 00001917: DUP5 00001918: PUSH1 0xe0 0000191a: DUP4 0000191b: DUP9 0000191c: ADD 0000191d: ADD 0000191e: MSTORE 0000191f: JUMPDEST 00001920: POP 00001921: SWAP2 00001922: DUP6 00001923: ADD 00001924: MLOAD 00001925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000193a: DUP2 0000193b: AND 0000193c: PUSH1 0x40 0000193e: DUP7 0000193f: ADD 00001940: MSTORE 00001941: SWAP2 00001942: PUSH1 0x40 00001944: DUP7 00001945: ADD 00001946: MLOAD 00001947: PUSH1 0x60 00001949: DUP7 0000194a: ADD 0000194b: MSTORE 0000194c: PUSH1 0x60 0000194e: DUP7 0000194f: ADD 00001950: MLOAD 00001951: PUSH1 0x80 00001953: DUP7 00001954: ADD 00001955: MSTORE 00001956: PUSH1 0x80 00001958: DUP7 00001959: ADD 0000195a: MLOAD 0000195b: PUSH1 0xa0 0000195d: DUP7 0000195e: ADD 0000195f: MSTORE 00001960: PUSH1 0xe0 00001962: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001983: PUSH1 0x1f 00001985: DUP4 00001986: ADD 00001987: AND 00001988: DUP7 00001989: ADD 0000198a: ADD 0000198b: SWAP4 0000198c: POP 0000198d: POP 0000198e: POP 0000198f: POP 00001990: SWAP3 00001991: SWAP2 00001992: POP 00001993: POP 00001994: JUMP 00001995: JUMPDEST 00001996: DUP6 00001997: DUP2 00001998: MSTORE 00001999: PUSH1 0x80 0000199b: PUSH1 0x20 0000199d: DUP1 0000199e: DUP4 0000199f: ADD 000019a0: DUP3 000019a1: SWAP1 000019a2: MSTORE 000019a3: SWAP1 000019a4: DUP3 000019a5: ADD 000019a6: DUP6 000019a7: SWAP1 000019a8: MSTORE 000019a9: PUSH1 0x00 000019ab: SWAP1 000019ac: DUP7 000019ad: SWAP1 000019ae: PUSH1 0xa0 000019b0: DUP5 000019b1: ADD 000019b2: DUP4 000019b3: JUMPDEST 000019b4: DUP9 000019b5: DUP2 000019b6: LT 000019b7: ISZERO 000019b8: PUSH2 0x19ee 000019bb: JUMPI 000019bc: DUP4 000019bd: CALLDATALOAD 000019be: PUSH2 0x19c6 000019c1: DUP2 000019c2: PUSH2 0x1acd 000019c5: JUMP 000019c6: JUMPDEST 000019c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019dc: AND 000019dd: DUP3 000019de: MSTORE 000019df: SWAP3 000019e0: DUP3 000019e1: ADD 000019e2: SWAP3 000019e3: SWAP1 000019e4: DUP3 000019e5: ADD 000019e6: SWAP1 000019e7: PUSH1 0x01 000019e9: ADD 000019ea: PUSH2 0x19b3 000019ed: JUMP 000019ee: JUMPDEST 000019ef: POP 000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a05: SWAP7 00001a06: SWAP1 00001a07: SWAP7 00001a08: AND 00001a09: PUSH1 0x40 00001a0b: DUP6 00001a0c: ADD 00001a0d: MSTORE 00001a0e: POP 00001a0f: POP 00001a10: POP 00001a11: PUSH1 0x60 00001a13: ADD 00001a14: MSTORE 00001a15: SWAP4 00001a16: SWAP3 00001a17: POP 00001a18: POP 00001a19: POP 00001a1a: JUMP 00001a1b: JUMPDEST 00001a1c: PUSH1 0x00 00001a1e: PUSH1 0x80 00001a20: DUP3 00001a21: ADD 00001a22: DUP7 00001a23: DUP4 00001a24: MSTORE 00001a25: PUSH1 0x20 00001a27: PUSH1 0x80 00001a29: DUP2 00001a2a: DUP6 00001a2b: ADD 00001a2c: MSTORE 00001a2d: DUP2 00001a2e: DUP8 00001a2f: MLOAD 00001a30: DUP1 00001a31: DUP5 00001a32: MSTORE 00001a33: PUSH1 0xa0 00001a35: DUP7 00001a36: ADD 00001a37: SWAP2 00001a38: POP 00001a39: DUP3 00001a3a: DUP10 00001a3b: ADD 00001a3c: SWAP4 00001a3d: POP 00001a3e: DUP5 00001a3f: JUMPDEST 00001a40: DUP2 00001a41: DUP2 00001a42: LT 00001a43: ISZERO 00001a44: PUSH2 0x1a71 00001a47: JUMPI 00001a48: DUP5 00001a49: MLOAD 00001a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5f: AND 00001a60: DUP4 00001a61: MSTORE 00001a62: SWAP4 00001a63: DUP4 00001a64: ADD 00001a65: SWAP4 00001a66: SWAP2 00001a67: DUP4 00001a68: ADD 00001a69: SWAP2 00001a6a: PUSH1 0x01 00001a6c: ADD 00001a6d: PUSH2 0x1a3f 00001a70: JUMP 00001a71: JUMPDEST 00001a72: POP 00001a73: POP 00001a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a89: SWAP7 00001a8a: SWAP1 00001a8b: SWAP7 00001a8c: AND 00001a8d: PUSH1 0x40 00001a8f: DUP6 00001a90: ADD 00001a91: MSTORE 00001a92: POP 00001a93: POP 00001a94: POP 00001a95: PUSH1 0x60 00001a97: ADD 00001a98: MSTORE 00001a99: SWAP3 00001a9a: SWAP2 00001a9b: POP 00001a9c: POP 00001a9d: JUMP 00001a9e: JUMPDEST 00001a9f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001ac0: PUSH1 0x00 00001ac2: MSTORE 00001ac3: PUSH1 0x41 00001ac5: PUSH1 0x04 00001ac7: MSTORE 00001ac8: PUSH1 0x24 00001aca: PUSH1 0x00 00001acc: REVERT 00001acd: JUMPDEST 00001ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae3: DUP2 00001ae4: AND 00001ae5: DUP2 00001ae6: EQ 00001ae7: PUSH2 0x0736 00001aea: JUMPI 00001aeb: PUSH1 0x00 00001aed: DUP1 00001aee: REVERT 00001aef: INVALID 00001af0: LOG2 00001af1: PUSH5 0x6970667358 00001af7: UNKNOWN(0x22) 00001af8: SLT 00001af9: KECCAK256 00001afa: UNKNOWN(0xB4) 00001afb: LOG1 00001afc: SHR 00001afd: GASPRICE 00001afe: PUSH8 0x50293b6c607e647b 00001b07: PUSH17 0xff2a33a275724e0c3fe068be1154da2a01 00001b19: ISZERO 00001b1a: PUSH5 0x736f6c6343 00001b20: STOP 00001b21: ADDMOD 00001b22: DIV 00001b23: STOP 00001b24: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x45015264aa3c8fe13ff8de0f39db0e0d88af40e63f79480bcad28908e76d2afa
call_targets:
0xcadf716f56ad3ba790a919280c837019bba56272
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x45015264aa3c8fe13ff8de0f39db0e0d88af40e63f79480bcad28908e76d2afa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcadf716f56ad3ba790a919280c837019bba56272"
],
"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": "0xaeb6b1f5",
"selector": "0xaeb6b1f5",
"calldata_variants": [
"0xaeb6b1f5",
"0xaeb6b1f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcbb619ae",
"selector": "0xcbb619ae",
"calldata_variants": [
"0xcbb619ae",
"0xcbb619ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdbd3d88",
"selector": "0xcdbd3d88",
"calldata_variants": [
"0xcdbd3d88",
"0xcdbd3d880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a006df9",
"selector": "0x9a006df9",
"calldata_variants": [
"0x9a006df9",
"0x9a006df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a361cbc",
"selector": "0x9a361cbc",
"calldata_variants": [
"0x9a361cbc",
"0x9a361cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa5d842c",
"selector": "0xaa5d842c",
"calldata_variants": [
"0xaa5d842c",
"0xaa5d842c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ada2d0c",
"selector": "0x7ada2d0c",
"calldata_variants": [
"0x7ada2d0c",
"0x7ada2d0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x886d02d9",
"selector": "0x886d02d9",
"calldata_variants": [
"0x886d02d9",
"0x886d02d90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1280,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 11,
"guards_detected": [],
"untrusted_call_count": 11
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x45015264aa3c8fe13ff8de0f39db0e0d88af40e63f79480bcad28908e76d2afa
call_targets:
0xcadf716f56ad3ba790a919280c837019bba56272
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x45015264aa3c8fe13ff8de0f39db0e0d88af40e63f79480bcad28908e76d2afa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcadf716f56ad3ba790a919280c837019bba56272"
],
"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": "0xaeb6b1f5",
"selector": "0xaeb6b1f5",
"calldata_variants": [
"0xaeb6b1f5",
"0xaeb6b1f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcbb619ae",
"selector": "0xcbb619ae",
"calldata_variants": [
"0xcbb619ae",
"0xcbb619ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdbd3d88",
"selector": "0xcdbd3d88",
"calldata_variants": [
"0xcdbd3d88",
"0xcdbd3d880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a006df9",
"selector": "0x9a006df9",
"calldata_variants": [
"0x9a006df9",
"0x9a006df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a361cbc",
"selector": "0x9a361cbc",
"calldata_variants": [
"0x9a361cbc",
"0x9a361cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa5d842c",
"selector": "0xaa5d842c",
"calldata_variants": [
"0xaa5d842c",
"0xaa5d842c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ada2d0c",
"selector": "0x7ada2d0c",
"calldata_variants": [
"0x7ada2d0c",
"0x7ada2d0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x886d02d9",
"selector": "0x886d02d9",
"calldata_variants": [
"0x886d02d9",
"0x886d02d90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1280,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 11,
"guards_detected": []
}
|