"6w      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU V W 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  wxyz{|}~|}~|}}~            !"#$%&'()* !"#$%&'()* !"!"#$%&%&'()* +,-+,-+,-./././012345678 012345678 01123456789:;<=9:;<=9::;<=>?>?>?% !"#$%&'()*+,-./0123456789:;<=>? @ABCDEF1 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEF1BA@DEFC./9:;4=<3562$%&('+# !")*,-0178>?@ABCDEFGHIJKGHIJKGHIJKGHIJKLMNLMNLMNLMNOPQRSTOPQRSTPORQSTOPQRST UVWXYZ[\]^_ UVWXYZ[\]^_ UVWXYZ[\]^_ UVWXYZ[\]^_ `abcdefg`abcdefg`abcdefg`abcdefg hijklmnopqrstuvhijklmnopqrstuvhijklmnopqrstuvhijklmnopqrstuv      !"#$%&'()*+,-./01234456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgh i j k l m n o p q r s t u v w x y z { t | } ~  x             $%+,V3Gcflp-2009.1.26CFLPCFLP.Strategies.CallTimeChoiceCFLP.Strategies.DepthCounterCFLP.Strategies.DepthLimitCFLP.Strategies.RandomCFLP.Strategies CFLP.TestsCFLP.Types.BoolCFLP.Types.ListCFLP.Tests.CallTimeChoiceCFLP.Tests.HigherOrderCFLP.Control.Monad.UpdateCFLP.Control.StrategyCFLP.Data.TypesCFLP.Data.GenericCFLP.Data.PrimitiveCFLP.Data.UniqueIDCFLP.Data.MatchingCFLP.Data.NarrowingCFLP.Data.HigherOrder CFLP.DataUpdateTMonadicCtx Enumerable enumerationCTCStoreCTCcallTimeChoiceDepthDepthCtx DepthCounter currentDepthincrementDepth countDepthDepthLim DepthLimCtx DepthLimiter depthLimitresetDepthLimit setDepthLimit limitDepthRndRndCtx Randomiser getRandomGen setRandomGen randomiseNondet NormalFormIDContext ApplyConsResult applyConsDeconsGeneric genericOpsconstrgeneric primitive!consnondetgroundNormalFormpartialNormalForminitID withUnique ConsPatList:!MatchwithHNFfailurecaseOfcaseOf_ constructorspatternsNarrownarrowunknown?oneOfapplyfun ComputationDatamonadiceval evalPartial evalPrintdfslimDFSiterDFSdiagrndDFS assertResultsassertResultsNassertResultsLimitfalsetruepFalsepTruenot===dNildConsnil^:pNilpConsnullheadtailmapfoldrtestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeadsapplyNotFunction applyBinCons applyChoicemapSharedUnknownsmemberWithFoldafteroverApplicationreverseWithFoldrflipidpointfreeReversefunctionConversion WithUpdateUpdateReturn unUpdateT updateState MonadUpdateupdate StrategyT liftStrategy baseStrategy extendChoices alterNarrowed Transformerprojectreplace fromMonadicStrategychoose isNarrowedResinside forContextOf forStateOffromCTC ChoiceStoreIM ChoiceStore lookupChoice assertChoice noChoiceslabeledChoices fromDepth fromDepthLimfromRndshuffleshuffleWithLen setRndGenTypeduntypedUntypedHeadNormalFormLambdaDelayedFreeVarCons ConsLabelindexnameFunVarfreeVardelayedfromList GenericOpsgenprimlabels consLabels forTypeOfdFalsedTruenf2hnf asContextOfgnfmkVarpnfnfprim_eq solveConsWithCMTwith PatternListPData patternListConsListCDataconsListMkConsMonmkConsBranchunMatch WithUntyped withUntypedmatch asCDataOf asPDataOf isNarrowedIDLiftFunLiftliftFun NestLambda nestLambdalambda printSolsevaluatelimitedDepthFirstSearch