| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1206246 | invariant_C3_poolBalanceReconciliation() | 0x78257e18 |
| 1206245 | invariant_C2_conciergeHoldsNoEth() | 0x003120fb |
| 1206244 | invariant_C1_conciergeHoldsNoLp() | 0x0ad53677 |
| 1206243 | swapWithExtraEth(uint256,uint256) | 0xf3f3613e |
| 1206242 | swapMint(uint256,uint256,uint256) | 0xbc5472c8 |
| 1206241 | ghost_C2MaxEthSeen() | 0x24b00bc1 |
| 1206240 | ghost_C2EthStuck() | 0x1c3fd490 |
| 1206239 | concierge() | 0x16b1e843 |
| 1206238 | callCount() | 0x4b28f9a2 |
| 1206237 | burnSwap(uint256,uint256,uint256) | 0x11fd1217 |