m[_,_]_  [] Constructors ConstType^ExtSDefjl3kjihgfedcba`_^]\[Z1YXWVUTSRQPONMLKJIH/GFEDCBA@?>=<;:987 .>72ހ݀܀ۀڀـՀԀ465쀕-~}|{zy x0*wҀvutsrpomjhd+ba`_]&X,VUTS%QOML̀̀JH)FDA!6543210/.-,+*)('&%$#"!  ނ݂܂ۂڂق؂ׂւՂԂӂ҂тЂς΂͂̂˂ʂɂȂǂƂłĂ‚ Specification Strategies SignatureFunTypebVarDec~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  ߁ށ݁܁ہځف؁ׁցՁԁӁҁсЁρ΁́́ˁʁɁȁǁƁŁāÁ? ~{zy}|vuxwrtsqponmlihgkjdcfe`ba_^]\[ZWVUYXRQTSNPOMLKJIHFEDGBAC?@>=<;:9765832401/.-,+*('&)$#%!"  termconsTermStringlistConcSortVarʀ΀SortZO'8lȀǀƀŀĀ ۀڀـ =Àр[@9Kqknig;:fec^Z\YWRPNEIրG(CB "< ExtOpDecl .>72ހ݀܀ۀڀـՀԀ#$465쀕-~}|{zy x0*wҀvutsrpomjhd+ba`_]&X,VUTS%QOML̀̀JH)FDA! ExtOpDeclInjmoduleimportssortsidComment implode-asfix asfix-yieldATermSymbolfunlabelaFoo definition DefinitionDR_DUMMY DR_UNDEFINEconcchainTListquotedstrategydefaultshortintcharMemoOpenParseTableoptReplacePlaceholderInsget-comment-sortserrorinfowarningSnocModuleSortImportImportsInternalIntastb_90 Restrictionsfollow Lookaheads Lookaheadsingle CharClassunquotedIdCon quoted-fun FunctionName unquoted-funSingleQuotedStrConcompsimple-charclass OptCharRangespresent CharRangesabsent Character label_startboteoftop ShortCharnumericNumCharPriority PrioritiesGroup assoc-group Productions prods-group simple-groupnon-transitivewith-argumentsArgumentIndicatorrenamed-module ModuleName Renamings ImpSection parameterizedModuleIdunparameterizedSectionSectionshiddensGrammarexports productionRenamingsymbol renamings file-startstartci-litlifting prefix-funcontext-free-restrictionslexical-restrictionscontext-free-prioritieslexical-prioritiesaliases restrictionscontext-free-start-symbolslexical-start-symbolskernel-start-symbols priorities imp-sectionlexical-variables variablescontext-free-syntaxlexical-syntaxsyntax conc-grammars empty-grammar Annotation annotated placeholderAFunRealConIntConreal-conOptExpnegativepositivenatural AddPadding parsetreeTreeNatCon ParseTreeamblitcilitappl ProductionArgsprod AttributesattrsAttrno-attrsavoidpreferrejectbracketassoc Associativity non-assocrightleftrange CharRange characterparametrized-sort char-classlayoutvarsymfuncSymbols iter-star-sepiter-sep iter-staritersorttupleseqaltlexcfemptyLocation FirstLine FirstColumnLastLine LastColumnAnnoKeyLabeldunionisectdiffcbrealErrorparameterized-sortLayout meta-listvarmeta-varStrConSDFAliasPaddingContext PaddingId PaddingStart indentpadding parse-treeStopAliasesaliasToTerm ToMetaExprToMetaListExprToBuild ToStrategyFromTerm FromMetaExprFromMetaListExpr FromStrategyFromApp Restrictionsummary localized area-in-filefileareaAreasubjectSummaryfatalSubjectAsFix2AsFix2MEParseTreeFormatAssociativityFilterFilterDirectEagernessFilterEagernessFilterInjectionCountFilterPriorityFilter RejectFilter ParseTableOpenParseTablea_90y_89x_89v_89u_89s_89n_89o_89p_89q_89s_17t_17u_17v_17w_17x_17y_17z_17e_18f_18g_18j_18k_18l_18m_18n_18o_18p_18q_18r_18s_18t_18u_18z_18a_19b_19e_19f_19g_19k_19l_19m_19n_19o_19p_19q_19r_19s_19x_19y_19z_19c_20d_20e_20f_20g_20h_20i_20j_20k_20l_20m_20n_20s_20t_20u_20x_20y_20z_20d_21e_21f_21g_21h_21i_21j_21k_21m_21n_21q_21r_21t_21u_21v_21w_21x_21y_21z_21a_22b_22c_22d_22e_22f_22g_22i_22j_22m_22n_22p_22q_22r_22s_22t_22x_22y_22b_23c_23d_23e_23f_23g_23h_23j_23k_23p_23q_23s_23t_23w_23x_23y_23z_23a_24b_24h_24i_24m_24n_24o_24p_24r_24s_24x_24y_24a_25b_25e_25f_25g_25k_25l_25s_25t_25x_25y_25z_26b_27e_27q_27v_27a_28f_28l_28n_28t_28y_28c_29h_29e_31l_31m_31n_31e_32f_32d_33e_33f_33k_33l_33m_33n_33q_35r_35s_35t_35d_36w_36u_37x_37s_38o_46u_46v_46y_48d_49u_51z_52c_53u_53t_54o_59f_60l_60p_61c_62h_62i_62j_62k_62m_62n_62o_62p_62q_62r_62s_62t_62u_62x_62y_62z_62a_63b_63c_63d_63e_63f_63g_63h_63k_63l_63m_63n_63o_63p_63q_63r_63s_63t_63u_63v_63w_63x_63y_63z_63a_64b_64c_64d_64e_64f_64g_64h_64i_64j_64k_64l_64m_64n_64o_64p_64q_64r_64s_64t_64u_64v_64w_64x_64z_64a_65b_65c_65d_65e_65f_65g_65h_65i_65j_65k_65l_65m_65n_65o_65p_65q_65r_65s_65t_65u_65v_65w_65x_65y_65z_65a_66b_66c_66d_66e_66f_66g_66h_66i_66j_66k_66l_66m_66n_66o_66p_66q_66r_66s_66t_66u_66v_66w_66x_66y_66z_66c_67d_67i_67j_67k_67l_67t_67u_67f_68g_68e_69f_69l_69m_69p_69q_69r_69s_69t_69u_69v_69w_69x_69y_69z_69c_70d_70e_70f_70g_70h_70i_70j_70m_70n_70r_70s_70t_70u_70y_70z_70a_71b_71c_71d_71e_71h_71i_71j_71k_71l_71m_71n_71o_71p_71s_71t_71u_71v_71w_71x_71y_71z_71a_72b_72c_72d_72e_72f_72g_72h_72i_72j_72k_72l_72m_72w_72x_72y_72c_73k_73x_73n_74n_76m_77n_77s_77w_77y_77z_77e_78m_78a_79q_79w_81m_82n_82q_82t_82u_82v_82z_82g_83v_83l_84k_88k_89 parse-stringparse-string-pt parse-streamparse-stream-pt parse-file parse-file-ptparse-xtc-fileparse-xtc-file-ptpath-of-xtc-fileget-parse-errorclear-parse-error is-parse-treeparse-xtc-file-pt-report-errorsparse-xtc-file-report-errorsstrsglr-report-parse-errorstrsglr-perroropen-parse-tablememo-open-parse-tableclose-parse-tableis-parse-table-open#open-parse-table-wrap-report-errorsopen-parse-table-report-errorsset-filter-direct-eagernessget-filter-direct-eagernessset-filter-eagernessget-filter-eagernessset-filter-injection-countget-filter-injection-countset-filter-priorityget-filter-priorityset-filter-rejectget-filter-rejectset-heuristic-filtersset-default-filtersset-default-sglr-configset-ambiguity-is-errorget-ambiguity-is-error set-filtering set-recoveryset-sglr-log-streamset-sglr-log-statisticsget-sglr-log-statisticsset-parse-tree-formatset-asfix2-formatset-asfix2me-format pp-sdf-symbolreport-error-summary report-errorreport-locationreport-specific-error report-file report-areastrsglr-is-antiquote-consstrsglr-antiquote-congstrsglr-metavar-congstrsglr-is-quote-consstrsglr-quote-cong asfix-skipAddPaddedLexicalAnnoImplodePaddedLexicalAddIndentPaddingasfix-yield-appl-charsadd-indent-padding-stringAddIndentPaddingStringcollect-tree-chars-beforecollect-tree-chars-before-accchars-to-whitespacechars-before-newlines ImplodeTuple ApplToSortFlatListImplodeOptionalList is-list-sort is-asfix-listImplodeLexicalImplodeLexicalListVarImplodeLexicalVarasfix-yield-applasfix-yield-accis-ignorable-syntax is-layout is-layout' rm-layout ImplodeLayoutImplodeInjection is-injectionis-injective-alt asfix-is-sort skip-concrete annotationyield-asfix-quotesasfix-yield-quoteasfix-yield-quote-accCTC0CTC1CTC2CTC3CTC4 conc-to-consReplCons ReplNamedConsget-consReplAstPatternget-ast-pattern ReplConsNil ReplConsNone ReplConsInsimplode-constant-literal ReplConsSome ReplConsConcis-nilis-insis-concis-noneis-someCnsCnsNil ConstrNil CnsGenericConstr0Constr1Constr23ImplodeAlternative"implode-asfix-skip-concrete-syntaximplode-parsetreeasfix-appl-to-sortasfix-flat-lexasfix-remove-layoutasfix-remove-litasfix-flat-altasfix-replace-applasfix-flat-injectionsasfix-flat-listasfix-remove-seqasfix-anno-position-infoasfix-anno-locationasfix-anno-comments AnnoComment fetch-commenthas-consasfix-anno-topdown-consnilasfix-anno-all-consnilasfix-anno-Kidsasfix-anno-Kids'asfix-anno-yield"innermost-scope-MemoOpenParseTableundefine-MemoOpenParseTablethrow-MemoOpenParseTable$continue-to-label-MemoOpenParseTablecontinue-MemoOpenParseTablebreak-bp-MemoOpenParseTable!break-to-label-MemoOpenParseTablebreak-MemoOpenParseTableall-keys-MemoOpenParseTablebigfold-MemoOpenParseTablefold-MemoOpenParseTablebigchain-MemoOpenParseTablechain-MemoOpenParseTablebigbagof-MemoOpenParseTableonce-MemoOpenParseTable reverse-bagof-MemoOpenParseTablebagof-MemoOpenParseTableaux-MemoOpenParseTable"innermost-scope-ReplacePlaceholderundefine-ReplacePlaceholderthrow-ReplacePlaceholder$continue-to-label-ReplacePlaceholdercontinue-ReplacePlaceholderbreak-bp-ReplacePlaceholder!break-to-label-ReplacePlaceholderbreak-ReplacePlaceholderall-keys-ReplacePlaceholderbigfold-ReplacePlaceholderfold-ReplacePlaceholderbigchain-ReplacePlaceholderchain-ReplacePlaceholderbigbagof-ReplacePlaceholderonce-ReplacePlaceholder reverse-bagof-ReplacePlaceholderbagof-ReplacePlaceholderaux-ReplacePlaceholder!innermost-scope-get-comment-sortsundefine-get-comment-sortsthrow-get-comment-sorts#continue-to-label-get-comment-sortscontinue-get-comment-sortsbreak-bp-get-comment-sorts break-to-label-get-comment-sortsbreak-get-comment-sortsall-keys-get-comment-sortsbigfold-get-comment-sortsfold-get-comment-sortsbigchain-get-comment-sortschain-get-comment-sortsbigbagof-get-comment-sortsonce-get-comment-sortsreverse-bagof-get-comment-sortsbagof-get-comment-sortsaux-get-comment-sortsz 1+p,(@ >D1Q9@NDD 9d@N0X4DŽ:CAMPI 0a9A@D!`HQ 1%b.F1C  jb HNɘW50'$>PtG!@(J%$=eRY7TCvE@d. 1QX R: k8`Fp` 8ojMQ@r +Kj m(N$@Qd0q$ H ™x< %wo,+B ȏB-a;)Pq5,UܮF'-Gޚ,|L _̋C N;z.lW qҝƁp7l px Ej+qDqKT+4> L;8x3 b2UY\W(P<$ *ʥJA8k UVQHEH #, %FXua٭" `HwbZKD>E`@v9smf@8eh5&^\ls4(0,i7 t"cCX(jVUcQTA; ԘAH cX#9jyZcE!@f9Kij cD"P&9*4!X0XA4YX8y%VpTQ: ZlZY1^Ej;)Ȭ!*+cS^U1FEcwVp+kX}4F r)1Q함&G1YΧ,D*0:9-H5hd(Z: LF>j3Gc~M4q3؍My6G3MQۓap.Pj-GKNQÐ ƨnrl*6la!].["Tue,I*9ز=D{69G{fWaprdH+C//HJ::2/(K8d$&J_D(JV_Ő%*^G7POڔp=)!@`!K PVPT2@E̕l)) 2:c4F$ "u"5"U"#aG?S؃ap %h-JT#A.&H8D#N.'8EbX#F!(;G(1h3":ƢR8\@J #r 48% P- !䐋;&&#z7At_BTeD@M9>F  r鰢r=# |:gBKD3 ybxA0TV>e@d#xv̄TX. "U`ba;q<:j7ÞX.q; ÁH)a\:[ÑP-i\بഏ`ja*/Y uA É`+:-Eу mLBѴR-P \XE͡h[Oq 9MKOL:!p.sh(@2ubBl$%mE(ВfNHFd`͊HN0) SEQN! sbRC'6mZBH$,NljB(єR@-!T I ɛ 0Z#I_I8$ 66a 3af 6Bl# &>J=`(X"&l\¡|fRuXL'¸͡ck!NB'X .:B5j6B Eś AhQ,fRU*RLI\%`8(Ct X !<,+DL#K(+ 'AReJJTIT)`(($Et$X )8D1MXQ,:J,,PI"N ZDIX!`0(At"X %?0H>`(TRySs^^P.j6I6at3h (4\l!m&2͂K% ͡ͅs]B DMfa<3bvʃ6a3h(tl(Vl^E f,Tln%fY#в~¥_f@8L:!*N"03HpGOzL8R:L)3 4G TE~NfMQOџY)8F+'+Wx~Mg$oN6L-; 0[b`7D9 _"pL|nj+70Sl`'E|Ό>_*0=~`wo$ #DDsOɂpQq'@7ჯ% ^FZi.i6- yJ2H0%Q`ɢ%e[9qBCq: <, yH\NO$JDkWɒpRty On\N%JSp\1iOq: <- N'@Gd$}E<.yM?r\>y@{w$*=DPz ܘt N;rR6eʷptZ3rJ&UKɪ@΃%GU: \tX5rF*MC6\t _h9rV C.F \Gh1rN,48.EFɺ@ 6%GXF@s Vg$-D2Z h9h:rQ4c9Ƴbt9`N1 2rI<)6؜SS-$S)xZi8fɦbt9 c^NyGa1: k? '@Clz$to{1/E迄#P1:i9è?]P?d{6btţ: N{$;4 "'*w"g>/dG&\: @\z'ۢt tN%;p"N7dg:F: P'͢tƣAN;$5vEvT Ҩ=[E h"f;dwrI: lQ='@m=J"D!{N[$x$"o:+dOb]Q: lPP|j'@-:ODTN*oD9WD# "r3doOQ8XE$t(1OP#d_PQ8DEɾ0t N%d"""& ȝGE'"tY-!dN)(VD6@j@- Ȝr"0-d@DV8DiɁ5"q"R'@5DrDE$N%$z"ĉ5d`E: '@UB+$VE LDqɡ6"tY * N%D"b%6"ȉb#GEqO8E@e"HD4DhP)dHɑ@%/BpD8TPP1dhH: ,'@Ec@D0L_*OEBD~ɱ>H7tY;N%xQ" >dx$J: ̟ċS<'@yG72B[+OpDMpRDnɉ.H5t 9dN%%8Y" 6dd$I: ̜3'@YSC32J]R*ϰE"l &dT ɩ6H6qrl'@Ӭ*Nu=2ZUR%ʰ5" :dtGa: La4'@i3>Y52FY/0" (.0D0zDFə&Ht 8N%ec" 2&+МC" 2dl dBS8&E%ȔBp̋K4'@Is%FYN$k"r ²/-P&E6D*ɹ:ȢBql*'@ =eb>2^Vr"P" Q7CG**DobQ0hIlwu&>XTR=;SK7f ILS*%m3KC'V TZ9 U`>Ti*ʮZQ8m{ wHAnڨ vPj k WHA.:ȫTN65EM]!v: s+O!6t@&'Tj,Bm;MDSM :I"t߅f&z!K-Dp{Hvi?m [HA6Q u kHP)lvY&V'Ql  FZI@Eś6?^&F-!KQhsHAfƠ N@~pi4H4>i2lq cHhpti:h a) ,6