!lq      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNO P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p  qrstuvwxyvwxyvwwxyy z{|}~z{|}~z{|}~{|}~              !"#$%&  !"#$%&  !"!"#$%&'('('( )*+)*+)*+,-./01234 ,-./01234 ,--./012345678956789566789:;:;:;% !"#$%&'()*+,-./0123456789:;<=>?@A2 !"#$%&'()*+,-./0123456789:;<=>?@A2>=<?@A'(567098/12. !"$#)%&*+,-34:;<=>?@ABBBBCDE BCDECDECDEFGHFGHFGHFGHIJKLMNIJKLMNJILKMNIJKLMN OPQRSTUVWXY OPQRSTUVWXY OPQRSTUVWXY OPQRSTUVWXY Z[\]^_`aZ[\]^_`aZ[\]^_`aZ[\]^_`a bcdefghijklmnopbcdefghijklmnopbcdefghijklmnopbcdefghijklmnop        !"#$%&'()*+,-.//0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a b c d e f g h i j k l m n o p q r s t m u v w  q x y z { | } ~             %&Q.Bcflp-2009.1.23.2CFLPCFLP.Strategies.CallTimeChoiceCFLP.Strategies.DepthCounterCFLP.Strategies.DepthLimitCFLP.Strategies.DepthFirstCFLP.Strategies CFLP.TestsCFLP.Types.BoolCFLP.Types.ListCFLP.Tests.CallTimeChoiceCFLP.Tests.HigherOrderCFLP.Control.Monad.UpdateCFLP.Control.StrategyCFLP.Data.TypesCFLP.Data.GenericCFLP.Data.UniqueIDCFLP.Data.PrimitiveCFLP.Data.MatchingCFLP.Data.NarrowingCFLP.Data.HigherOrder CFLP.DataUpdateTMonadic fromMonadicCtx Enumerable enumerationCTCStoreCTCcallTimeChoiceDepthDepthCtx DepthCounter currentDepthincrementDepth countDepthDepthLim DepthLimCtx DepthLimiter depthLimitresetDepthLimit setDepthLimit limitDepthNondet NormalFormIDContext ApplyConsResult applyConsDeconsGeneric genericOpsconstrgeneric primitive!consinitID withUniquenondetgroundNormalFormpartialNormalForm ConsPatList:!MatchwithHNFfailurecaseOfcaseOf_ constructorspatternsNarrownarrowunknown?oneOfapplyfun ComputationDataeval evalPartial evalPrintdfsWithEvalTimeChoice<+dfslimDFS assertResultsassertResultsNassertResultsLimitfalsetruepFalsepTruenot===dNildConsnil^:pNilpConsnullheadtailmapfoldrtestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeadsapplyNotFunction applyBinCons applyChoicemapSharedUnknownsmemberWithFoldafteroverApplicationreverseWithFoldrflipidpointfreeReversefunctionConversion WithUpdateUpdateReturn unUpdateT updateState MonadUpdateupdate StrategyT liftStrategy baseStrategy extendContext extendChoices alterNarrowed TransformerprojectreplaceStrategy emptyContextchoose isNarrowedResinside forBaseOf forContextOf forStateOffromCTC ChoiceStoreIM ChoiceStore lookupChoice assertChoice noChoiceslabeledChoices fromDepth fromDepthLim defaultLimitTypeduntypedUntypedHeadNormalFormLambdaDelayedFreeVarCons ConsLabelindexnameFunVarfreeVardelayedfromList GenericOpsgenprimlabels consLabels forTypeOfdFalsedTrueWithCMTwithnf2hnfgnfmkVarpnfnfprim_eq solveCons PatternListPData patternListConsListCDataconsListMkConsMonmkConsBranchunMatch WithUntyped withUntypedmatch asCDataOf asPDataOf isNarrowedIDLiftFunLiftliftFun NestLambda nestLambdalambda printSolsevaluate