T1      !"#$%&'()*+,-./01        323456789:;<=>?@ABCDEFGHIJKLM !NO$%&'(P !"#$%&'(#" (!'&$% !$%&'(.QRST1  !"#$%&'(+UVWXYZ)*+[\]^,-.0_`abcdefghijklmnopqrstuvwx9yz{QRST1  !"#$%&'()*+,-./00-,)+*./)+**+,-.0|      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\Z[]Z[^Z[^_``abcddefghijklmnopqrstuvwxyz{|}~ Agata-0.2.1Test.Agata.BaseTest.Agata.CommonTest.Agata.Strategies Test.AgataTHTest.Agata.Instances Test.Agatabase Control.Monad>=> Improving Dimension taggedWithcurrentDimensionrequestacquirepermuteStrategy listStrategy linearSize linearSize' quadraticSizequadraticSize' partitionsexponentialSize fixedSizerandomStrategyBuilder Buildablebuildimprove dimensionagata agataWithagataSC agataEnumrebuildrb$>inline constructgraftuse.>*>mutrecrecnonrecautorec automutrec DerivOption NoArbitraryInline deriveallderive<++> echoAgataagatathpiles ApplicationEnter EnumerateFieldsBuild RecursivityAutoRec AutoMutRecMutRecRecNonRec MkBuilderbskelbenterbenumbfieldsbweightDB BuildDebug evalImprovingdbrbuildbrec realBuildrealImpbreqbacqisAlwaysRecursiveautoDimdef appDimension tagged-0.0 Data.TaggedretagunTaggedTagged CollectingT1RecuAutoMut Derivation derivNames derivOptionsrecs allTypesTcontainsflatgetTypeexpandtoListtoTuplereTupleiNameiTypesiParamsdParamsdConstscNamecFieldsdump collectedcollect getCollected collectIf unVarBndrvarBndr allInClasstopApp testDimValQuickCheck-2.1.2Test.QuickCheck.Arbitraryshrink arbitrary Arbitrary