úÎ Ô#      !" #$%&'()*+,-.&)*+,-.&)**+,,-../01234/134/134 5 6789:;   < !"=#  !"#!"   !">?@>?@>?@ABCDEFGHABCDEFGHABCDEFGHI     !"#$%&'()*+,-./011234567899::;<=>?@ABCDEFGHIJKLMNOP cflp-0.0.2.1 Control.CFLPControl.Monad.ConstraintControl.Monad.Constraint.ChoiceData.LazyNondetData.LazyNondet.BoolData.LazyNondet.ListControl.CFLP.Tests!Control.CFLP.Tests.CallTimeChoicebase Data.DataDataUnknownunknown WithUniqueMonTyp withUniqueIDNondetTypeduntypedHeadNormalFormCons NormalFormmkHNFinitIDoneOffailurecaseOf normalFormtruefalsenotnil^:fromListnullheadtailStrategy EvalStoreCFLP depthFirsteval evalPrint WithConstrConstrReturnConstrT unConstrT MonadSolvesolve MonadConstrconstrConstraintStoreassert ChoiceStoreChoice noChoiceschoiceUntypedprimgenerichnfnondetnf noConstraints printSols assertResultsassertResultsNassertResultsLimittestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeads