| 1456 | refreshPrice() | 0x3c67a5b2780f86c2026dfd5642331c63e808fdc5a7233cabe6bac348f91aa8b3 |
| 1457 | changeParametersInternal(uint256,uint256,uint256,uint256,uint256) | 0xdc93f6a9f35b50a177c0429f30f8663e29f5099d7f479ca8576a2435465ad9a1 |
| 1458 | changeParameters(uint256,uint256,uint256,uint256,uint256) | 0x51cc85992c3abce432d761ca6827d402f0530f63bf9caa797364fe7f9ff88034 |
| 1459 | setDeprecationSwitch() | 0xb8af7bca5e7c5d874ceafd4445d17534e55dbedb197140147683b228a16ef3b9 |
| 1460 | effectiveBalance(address) | 0x16a398f7f9b633bed36e1abed1c9cc0e8d830f8196c87904ff151f38284d3c35 |
