| 9506 | renderJson(address,uint256,uint256,uint256,uint256,uint256,uint256,bool,bool) | 0x39a5d60e255a3d19fa76083f950b11504cfe09ba5f902f9d52361df396c4fdf3 |
| 9507 | protocolUnclaimedFees() | 0xa621baeb0761c981d5131ac61164905ffa7055a437298bad9b9d6b62c701bc1d |
| 9508 | premiumOptions(uint256) | 0x2bd9caf67b74c59dafd2c0dcef9a2d5037affd5925eee4c60949308512ab03db |
| 9509 | getVaultBeneficiary(uint256) | 0x48b4c49c4b9ba12babfba857a04ea599fe05b29d96f6b33ef6f636950fac13e5 |
| 9510 | getDutchAuctionStrike(uint256,uint32,uint256) | 0x58a4fa9bed458f8cf60d612a5b44b8f13306ef25dc2602137a4ff27090b82ad0 |
