!p      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN O 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  pqrstuvwxuvwxuvvwxx yz{|}~yz{|}~yz{|}z{|}~              !"#$%&  !"#$%&  !"!"#$%& '()'()'()*+*+*+,-./01234 ,-./01234 ,--./012345678956789566789:;:;:;% !"#$%&'()*+,-./0123456789:;<=>?@A2 !"#$%&'()*+,-./0123456789:;<=>?@A2>=<?@A*+567098/12. !"$#'%&(),-34:;<=>?@ABBBBCD BCDCDCDEFGEFGEFGEFGHIJKLMHIJKLMIHKJLMHIJKLM NOPQRSTUVWX NOPQRSTUVWX NOPQRSTUVWX NOPQRSTUVWX YZ[\]^_`YZ[\]^_`YZ[\]^_`YZ[\]^_` abcdefghijklmnoabcdefghijklmnoabcdefghijklmnoabcdefghijklmno        !"#$%&'()*+,-.//0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_` a b c d e f g h i j k l m n o p q r s l t u v  p w x y z { | } ~             %&Q.Bcflp-2009.1.24CFLPCFLP.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.PrimitiveCFLP.Data.UniqueIDCFLP.Data.MatchingCFLP.Data.NarrowingCFLP.Data.HigherOrder CFLP.DataUpdateTMonadic fromMonadicCtx Enumerable enumerationCTCStoreCTCcallTimeChoiceDepthDepthCtx DepthCounter currentDepthincrementDepth countDepthDepthLim DepthLimCtx DepthLimiter depthLimitresetDepthLimit setDepthLimit limitDepthNondet NormalFormIDContext ApplyConsResult applyConsDeconsGeneric genericOpsconstrgeneric primitive!consnondetgroundNormalFormpartialNormalForminitID withUnique ConsPatList:!MatchwithHNFfailurecaseOfcaseOf_ constructorspatternsNarrownarrowunknown?oneOfapplyfun ComputationDataeval evalPartial evalPrintdfsWithEvalTimeChoicedfslimDFS assertResultsassertResultsNassertResultsLimitfalsetruepFalsepTruenot===dNildConsnil^:pNilpConsnullheadtailmapfoldrtestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeadsapplyNotFunction applyBinCons applyChoicemapSharedUnknownsmemberWithFoldafteroverApplicationreverseWithFoldrflipidpointfreeReversefunctionConversion WithUpdateUpdateReturn unUpdateT updateState MonadUpdateupdate StrategyT liftStrategy baseStrategy extendChoices alterNarrowed TransformerprojectreplaceStrategychoose isNarrowedResinside forContextOf forStateOffromCTC ChoiceStoreIM ChoiceStore lookupChoice assertChoice noChoiceslabeledChoices fromDepth fromDepthLimTypeduntypedUntypedHeadNormalFormLambdaDelayedFreeVarCons ConsLabelindexnameFunVarfreeVardelayedfromList GenericOpsgenprimlabels consLabels forTypeOfdFalsedTruenf2hnf asContextOfgnfmkVarpnfnfprim_eq solveConsWithCMTwith PatternListPData patternListConsListCDataconsListMkConsMonmkConsBranchunMatch WithUntyped withUntypedmatch asCDataOf asPDataOf isNarrowedIDLiftFunLiftliftFun NestLambda nestLambdalambda printSolsevaluate