| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1080696 | echidna_rsrTraderInvariants() | 0xc429e430 |
| 1080695 | echidna_refreshBasketProperties() | 0x960d82e1 |
| 1080691 | echidna_furnaceInvariants() | 0x2c6e8d0b |
| 1080689 | echidna_brokerInvariants() | 0x614b90d3 |
| 1080685 | distributeRevenue(uint8,uint8,uint256) | 0x0ece4f08 |
| 1080682 | createAsset(address) | 0x9ce017e1 |
| 1080679 | assertFurnacePayouts() | 0xd3a98085 |
| 1080678 | approve(uint8,uint8,uint256) | 0xdad9f8f0 |
| 1080677 | requestedSellAmt() | 0x6909ca08 |
| 1080674 | allowInstantSettlement() | 0x293adb50 |