| 1206322 |
invariant_I10_totalSupplyConsistency() |
0x0a5f57f1 |
| 1206321 |
swapMintAllowanceTheftAttempt(uint256,uint256,uint256,uint256) |
0xa603e676 |
| 1206320 |
sameTokenSwapAttempt(uint256,uint256,uint256) |
0xd1f4fb31 |
| 1206319 |
quoteExecuteParity(uint256,uint256,uint256,uint256) |
0xc3aea1b1 |
| 1206318 |
prefundTheftAttempt(uint256,uint256,uint256,uint256,uint256) |
0xcf87f5c7 |
| 1206317 |
mintPrefundTheftAttempt(uint256,uint256,uint256,bool,uint256) |
0xbaffe8f2 |
| 1206316 |
mintAllowanceTheftAttempt(uint256,uint256,uint256) |
0x2bf8d09b |
| 1206315 |
ghost_protoFeesBefore(uint256) |
0x7a0a336f |
| 1206314 |
ghost_poolEverKilled() |
0x6feca7d8 |
| 1206313 |
ghost_I9Violated() |
0x5b4a4256 |