y      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVW X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x  yz{|yzz{|| }~}~~        !"#$ !!"#$%&'%&'()()%  !"#$%&'()*+,-./,-.*+/*+,-.-./012345234015012343456789:;<89:67<;6789:9:;<=>?=>?=>?1  !"#$%&'()@ABCDEF1BA@DEFC () !"$#% &'@ABCDEFGHIJKLMGHIJKLMGHIJKLMNOPNOPNOPQRSTUVRQTSUVQRSTUV WXYZ[\]^_`a WXYZ[\]^_`a WXYZ[\]^_`a bcdefghibcdefghibcdefghi jklmnopqrstuvwxjklmnopqrstuvwxjklmnopqrstuvwx      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghij k l m n o p q r s t u v w x y z { | } v ~  T z        Vcflp-2009.1.28CFLPCFLP.Strategies.RandomCFLP.Strategies.DepthCounterCFLP.Strategies.DepthLimitCFLP.Strategies.CallTimeChoiceCFLP.Strategies CFLP.TestsCFLP.Types.BoolCFLP.Types.ListCFLP.Tests.CallTimeChoiceCFLP.Tests.HigherOrderCFLP.Control.Monad.UpdateCFLP.Control.StrategyCFLP.Data.TypesCFLP.Data.GenericCFLP.Data.MatchingCFLP.Data.HigherOrderCFLP.Data.NarrowingCFLP.Data.PrimitiveCFLP.Data.UniqueID CFLP.DataUpdateTMonadicCtx Enumerable enumerationNondet NormalFormIDContext ApplyConsResult applyConsDeconsGeneric genericOpsconstrgeneric primitive!cons ConsPatList:!MatchwithHNFfailurecaseOfcaseOf_ constructorspatternsapplyfunNarrownarrowunknown?oneOfnondetgroundNormalFormpartialNormalForminitID withUniqueRndRndCtx Randomiser getRandomGen setRandomGen randomiseDepthDepthCtx DepthCounter currentDepthincrementDepth countDepthDepthLim DepthLimCtx DepthLimiter depthLimitresetDepthLimit setDepthLimit limitDepthCTCStoreCTCcallTimeChoice ComputationDatamonadiceval evalPartial evalPrintdfslimDFSiterDFSbfsdiagfairrndDFS assertResultsassertResultsNassertResultsLimitfalsetruepFalsepTruenot===dNildConsnil^:pNilpConsnullheadtailmapfoldrtestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeadsapplyNotFunction applyBinCons applyChoicemapSharedUnknownsmemberWithFoldafteroverApplicationreverseWithFoldrflipidpointfreeReversefunctionConversionUpdate updateState MonadUpdateupdate StrategyT liftStrategy baseStrategy extendChoices alterNarrowed Transformerprojectreplace fromMonadicStrategychoose isNarrowedResinsideTypeduntypedUntypedHeadNormalFormLambdaDelayedFreeVarCons ConsLabelindexnameFunVarfreeVardelayed GenericOps consLabelsprim_eq