| 1206336 |
invariant_I6_quoteExecuteParity() |
0x1c1f1676 |
| 1206335 |
invariant_I5_roundTripNonProfitable() |
0x13c5fbee |
| 1206334 |
invariant_I4_lpSolvency() |
0xc3e7f568 |
| 1206333 |
invariant_I3_noPrefundTheft() |
0xd1d9ea6e |
| 1206332 |
invariant_I2_noAllowanceTheft() |
0xe6670a3d |
| 1206331 |
invariant_I1_balanceReconciliation() |
0xd35def9e |
| 1206330 |
invariant_I18_sameTokenRejected() |
0x8d7a5aba |
| 1206329 |
invariant_I17_noBurnSwapLpTheft() |
0x96827c25 |
| 1206328 |
invariant_I16_noBurnLpTheft() |
0x01d9b498 |
| 1206327 |
invariant_I15_noMintPrefundTheft() |
0xec954cf3 |