Îõ³h&$Ý8      !"#$%&'()*+,-./01234567 Safe-Inferred89:;<=>? Safe-Inferred 1ÁÃÄÅ×ÙÚÜU Safe-InferredÑ Safe-Inferred012<ÁÂÃÄÅÌÑÔ×ÙÚÜäïoless-arbitrary;Choose but only up to the budget (for array and list sizes)@less-arbitrary Version of @* using budget instead of sized generators.     Safe-Inferred 1ÁÃÄÅ×ÙÚÜï×77Á      !"#$%&'()*+,-./0123456789:;<=>?@ABCDÅ-less-arbitrary-0.1.8.0-BvLtkclCONBB3Wzgd3LpKxTest.Arbitrary.LawsTest.LessArbitrary.CostTest.LessArbitraryTest.LessArbitrary.LawsPaths_less_arbitrary arbitraryLawsCost$fEqCost $fOrdCost $fEnumCost $fBoundedCost $fNumCost LessArbitrary lessArbitraryCostGen runCostGen StartingState startingState<$$$>spend$$$? currentBudgetwithCostgenericLessArbitraryMonoidgenericLessArbitraryfasterArbitrary sizedCostflatLessArbitraryforAlloneofelementschoose budgetChoose$fStartingState()$fMonadStatesCostGen$fGLessArbitraryks:*:$fGLessArbitraryksU1$fGLessArbitraryksM1$fGLessArbitraryksM10$fGLessArbitraryksM11$fGLessArbitraryks:+:$fTestableCostGen$fLessArbitrarys[]$fLessArbitrarysVector$fLessArbitrarysScientific$fLessArbitrarysHashMap$fLessArbitrarysSet$fLessArbitrarys(,)$fLessArbitrarysChar$fLessArbitrarysDouble$fLessArbitrarysInteger$fLessArbitrarysInt$fLessArbitrarysBool$fGLessArbitraryksK1$fFunctorCostGen$fApplicativeCostGen$fMonadCostGen$fMonadFixCostGenlessArbitraryLawsversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirsuchThat