| 1206326 |
invariant_I14_noSwapMintAllowanceTheft() |
0x4f9aa9aa |
| 1206325 |
invariant_I13_noMintAllowanceTheft() |
0x0abdc584 |
| 1206324 |
invariant_I12_lpFeeAccrual() |
0x691fbeb0 |
| 1206323 |
invariant_I11_lmsrKernelIntegrity() |
0x484c5e09 |
| 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 |