ID Text Signature Bytes Signature
1206346 testProportionalMintingScaledByInitialAmount() 0x21e04c73
1206345 testPricesMonotoneDecreasingWithLargerInputs() 0xd0ecb516
1206344 testPriceWhenToken0HasThreeTimesToken1() 0xba061363
1206343 testPriceMatchesSwapForSmallInput() 0x68ce2046
1206342 testPoolPriceWhenToken0HasThreeTimesToken1() 0xe4590a61
1206341 testInitialPriceIsOne() 0xc11f7a11
1206340 testInitialPoolPriceIsOne() 0x82affe6e
1206339 testInitialMintCustomLpTokensDoesNotAffectSwaps() 0x5814ad7b
1206338 invariant_I9_protocolFeeMonotonicity() 0xfb9f487d
1206337 invariant_I8_killedIsMonotonic() 0x0faac97e