| 9301 | getSystemCoinFloorDeviatedPrice(uint256) | 0xff8dad753c4d2ba5c8d6a0d4c24339abf292e312fa9a5e71bf92146ccae18c25 |
| 9302 | getSystemCoinCeilingDeviatedPrice(uint256) | 0x4a71b469309a1bcbb645b276bef27d49a9244ac91925bced1663c7b853ad9527 |
| 9303 | getNextCurrentDiscount(uint256) | 0xb261c39a51beb53d1c87749e83f08c76c2c9084edd1284e34ac1d9ff395984d3 |
| 9304 | getFinalBaseCollateralPrice(uint256,uint256) | 0xca84814925ef7b219d5c4ccd68b163f00239792b46fff116bd912cd2d7a71142 |
| 9305 | getDiscountedCollateralPrice(uint256,uint256,uint256,uint256) | 0x83ba1afc8f6a4ea8957c25db785128aebea198bd73e3a5a15a76d5a518ce28d5 |
