| 1006 | releaseWeth(bytes32,uint256) | 0x9664879b3ca5a4eaf393e934cdfa52506c1313f5d4faca8896b1c4d5d370c914 |
| 1007 | releaseFinalPeth(bytes32,uint256,uint256) | 0x2817f6cb4321fc99d6275b94083ebdf575a1553c55f8b6d6d4af0f7270570a02 |
| 1008 | dustPanCondition(uint256,uint256,uint256,bytes32) | 0x4c3da582bc2b3fd71d410e3d8f17f5b2653fdf233ba18f557a8760a83f5522e7 |
| 1009 | zeroDebtCondition(uint256,uint256) | 0x614e11330859a898c2fbd40d1dc99c956def95ad80a9c325d235653322215a35 |
| 1010 | unravelCDP(uint256,uint256,uint256,bytes32) | 0x71433cb0c00a6795f31588488721fc25283fa0a40299d089592f59573e9d3c0e |
