module lpparser. accumulate lpgram. first (nontermst _6735) (id _6693). first (idlist _6684) (id _6693). first (typedid _3317) lparen. first (typedid _3317) (id _3378). first (sigmaid _3118) lparen. first (sigmaid _3118) sigmat. first (piid _2891) lparen. first (piid _2891) pit. first (termlist _6261) pit. first (termlist _6261) lparen. first (termlist _6261) failt. first (termlist _6261) trutht. first (termlist _6261) falset. first (termlist _6261) cutt. first (termlist _6261) sigmat. first (termlist _6261) negt. first (termlist _6261) (id _3378). first (termlist _6261) lbracket. first (termlist _6261) (iconst _3689). first (termlist _6261) (sconst _3731). first (termlist _6261) nilt. first (termlist _6261) gentermt. first (termlist _6261) haltt. first (termlist _6261) stopt. first (termlist _6261) inttorealt. first (termlist _6261) abst. first (termlist _6261) sqrtt. first (termlist _6261) sint. first (termlist _6261) cost. first (termlist _6261) arctant. first (termlist _6261) lnt. first (termlist _6261) floort. first (termlist _6261) ceilt. first (termlist _6261) truncatet. first (termlist _6261) rabst. first (termlist _6261) sizet. first (termlist _6261) stringtointt. first (termlist _6261) substringt. first (termlist _6261) inttostringt. first (termlist _6261) realtostringt. first (termlist _6261) stdint. first (termlist _6261) stdoutt. first (termlist _6261) stderrt. first (termlist _6261) chrt. first (termlist _6261) openint. first (termlist _6261) openoutt. first (termlist _6261) openappendt. first (termlist _6261) openstringt. first (termlist _6261) closeint. first (termlist _6261) closeoutt. first (termlist _6261) termtostringt. first (termlist _6261) stringtotermt. first (termlist _6261) inputt. first (termlist _6261) outputt. first (termlist _6261) inputlinet. first (termlist _6261) lookaheadt. first (termlist _6261) eoft. first (termlist _6261) flusht. first (termlist _6261) printt. first (termlist _6261) readt. first (termlist _6261) printtermt. first (termlist _6261) readtermt. first tcomma comma. first (atype _6210) outstreamt. first (atype _6178) instreamt. first (atype _6146) realt. first (atype _6114) stringt. first (atype _6082) intt. first (atype _6039) lparen. first (atype _5997) (id _6006). first (atype _5914) listt. first (atype _5882) formt. first (term _2615) readtermt. first (term _2615) printtermt. first (term _2615) readt. first (term _2615) printt. first (term _2615) flusht. first (term _2615) eoft. first (term _2615) lookaheadt. first (term _2615) inputlinet. first (term _2615) outputt. first (term _2615) inputt. first (term _2615) stringtotermt. first (term _2615) termtostringt. first (term _2615) closeoutt. first (term _2615) closeint. first (term _2615) openstringt. first (term _2615) openappendt. first (term _2615) openoutt. first (term _2615) openint. first (term _2615) chrt. first (term _2615) stderrt. first (term _2615) stdoutt. first (term _2615) stdint. first (term _2615) realtostringt. first (term _2615) inttostringt. first (term _2615) substringt. first (term _2615) stringtointt. first (term _2615) sizet. first (term _2615) rabst. first (term _2615) truncatet. first (term _2615) ceilt. first (term _2615) floort. first (term _2615) lnt. first (term _2615) arctant. first (term _2615) cost. first (term _2615) sint. first (term _2615) sqrtt. first (term _2615) abst. first (term _2615) inttorealt. first (term _2615) stopt. first (term _2615) haltt. first (term _2615) gentermt. first (term _2615) nilt. first (term _2615) (sconst _3731). first (term _2615) (iconst _3689). first (term _2615) lbracket. first (term _2615) (id _3378). first (term _2615) lparen. first (term _2615) negt. first (term _2615) sigmat. first (term _2615) lparen. first (term _2615) cutt. first (term _2615) falset. first (term _2615) trutht. first (term _2615) failt. first (term _2615) lparen. first (term _2615) pit. first (term _2615) lparen. first (clause _2574) pit. first (clause _2574) lparen. first (clause _2574) failt. first (clause _2574) trutht. first (clause _2574) falset. first (clause _2574) cutt. first (clause _2574) sigmat. first (clause _2574) negt. first (clause _2574) (id _3378). first (clause _2574) lbracket. first (clause _2574) (iconst _3689). first (clause _2574) (sconst _3731). first (clause _2574) nilt. first (clause _2574) gentermt. first (clause _2574) haltt. first (clause _2574) stopt. first (clause _2574) inttorealt. first (clause _2574) abst. first (clause _2574) sqrtt. first (clause _2574) sint. first (clause _2574) cost. first (clause _2574) arctant. first (clause _2574) lnt. first (clause _2574) floort. first (clause _2574) ceilt. first (clause _2574) truncatet. first (clause _2574) rabst. first (clause _2574) sizet. first (clause _2574) stringtointt. first (clause _2574) substringt. first (clause _2574) inttostringt. first (clause _2574) realtostringt. first (clause _2574) stdint. first (clause _2574) stdoutt. first (clause _2574) stderrt. first (clause _2574) chrt. first (clause _2574) openint. first (clause _2574) openoutt. first (clause _2574) openappendt. first (clause _2574) openstringt. first (clause _2574) closeint. first (clause _2574) closeoutt. first (clause _2574) termtostringt. first (clause _2574) stringtotermt. first (clause _2574) inputt. first (clause _2574) outputt. first (clause _2574) inputlinet. first (clause _2574) lookaheadt. first (clause _2574) eoft. first (clause _2574) flusht. first (clause _2574) printt. first (clause _2574) readt. first (clause _2574) printtermt. first (clause _2574) readtermt. first (modclause _1267) pit. first (modclause _1267) lparen. first (modclause _1267) failt. first (modclause _1267) trutht. first (modclause _1267) falset. first (modclause _1267) cutt. first (modclause _1267) sigmat. first (modclause _1267) negt. first (modclause _1267) (id _3378). first (modclause _1267) lbracket. first (modclause _1267) (iconst _3689). first (modclause _1267) (sconst _3731). first (modclause _1267) nilt. first (modclause _1267) gentermt. first (modclause _1267) haltt. first (modclause _1267) stopt. first (modclause _1267) inttorealt. first (modclause _1267) abst. first (modclause _1267) sqrtt. first (modclause _1267) sint. first (modclause _1267) cost. first (modclause _1267) arctant. first (modclause _1267) lnt. first (modclause _1267) floort. first (modclause _1267) ceilt. first (modclause _1267) truncatet. first (modclause _1267) rabst. first (modclause _1267) sizet. first (modclause _1267) stringtointt. first (modclause _1267) substringt. first (modclause _1267) inttostringt. first (modclause _1267) realtostringt. first (modclause _1267) stdint. first (modclause _1267) stdoutt. first (modclause _1267) stderrt. first (modclause _1267) chrt. first (modclause _1267) openint. first (modclause _1267) openoutt. first (modclause _1267) openappendt. first (modclause _1267) openstringt. first (modclause _1267) closeint. first (modclause _1267) closeoutt. first (modclause _1267) termtostringt. first (modclause _1267) stringtotermt. first (modclause _1267) inputt. first (modclause _1267) outputt. first (modclause _1267) inputlinet. first (modclause _1267) lookaheadt. first (modclause _1267) eoft. first (modclause _1267) flusht. first (modclause _1267) printt. first (modclause _1267) readt. first (modclause _1267) printtermt. first (modclause _1267) readtermt. first (fixity _1620) postfixlt. first (fixity _1620) postfixt. first (fixity _1620) prefixrt. first (fixity _1620) prefixt. first (fixity _1620) infixrt. first (fixity _1620) infixlt. first (fixity _1620) infixt. first telparen lparen. first (akind _2242) typet. first (modsigndecl _1217) closedt. first (modsigndecl _1217) localkindt. first (modsigndecl _1217) localt. first (modsigndecl _1217) kindt. first (modsigndecl _1217) typet. first (modsigndecl _1217) infixt. first (modsigndecl _1217) infixlt. first (modsigndecl _1217) infixrt. first (modsigndecl _1217) prefixt. first (modsigndecl _1217) prefixrt. first (modsigndecl _1217) postfixt. first (modsigndecl _1217) postfixlt. first (modsigndecl _1217) exportdeft. first (modsigndecl _1217) useonlyt. first (signdecl _1413) useonlyt. first (signdecl _1413) exportdeft. first (signdecl _1413) infixt. first (signdecl _1413) infixlt. first (signdecl _1413) infixrt. first (signdecl _1413) prefixt. first (signdecl _1413) prefixrt. first (signdecl _1413) postfixt. first (signdecl _1413) postfixlt. first (signdecl _1413) typet. first (signdecl _1413) kindt. first (signdecls _1405) kindt. first (signdecls _1405) typet. first (signdecls _1405) infixt. first (signdecls _1405) infixlt. first (signdecls _1405) infixrt. first (signdecls _1405) prefixt. first (signdecls _1405) prefixrt. first (signdecls _1405) postfixt. first (signdecls _1405) postfixlt. first (signdecls _1405) exportdeft. first (signdecls _1405) useonlyt. first (modbody _1259) pit. first (modbody _1259) lparen. first (modbody _1259) failt. first (modbody _1259) trutht. first (modbody _1259) falset. first (modbody _1259) cutt. first (modbody _1259) sigmat. first (modbody _1259) negt. first (modbody _1259) (id _3378). first (modbody _1259) lbracket. first (modbody _1259) (iconst _3689). first (modbody _1259) (sconst _3731). first (modbody _1259) nilt. first (modbody _1259) gentermt. first (modbody _1259) haltt. first (modbody _1259) stopt. first (modbody _1259) inttorealt. first (modbody _1259) abst. first (modbody _1259) sqrtt. first (modbody _1259) sint. first (modbody _1259) cost. first (modbody _1259) arctant. first (modbody _1259) lnt. first (modbody _1259) floort. first (modbody _1259) ceilt. first (modbody _1259) truncatet. first (modbody _1259) rabst. first (modbody _1259) sizet. first (modbody _1259) stringtointt. first (modbody _1259) substringt. first (modbody _1259) inttostringt. first (modbody _1259) realtostringt. first (modbody _1259) stdint. first (modbody _1259) stdoutt. first (modbody _1259) stderrt. first (modbody _1259) chrt. first (modbody _1259) openint. first (modbody _1259) openoutt. first (modbody _1259) openappendt. first (modbody _1259) openstringt. first (modbody _1259) closeint. first (modbody _1259) closeoutt. first (modbody _1259) termtostringt. first (modbody _1259) stringtotermt. first (modbody _1259) inputt. first (modbody _1259) outputt. first (modbody _1259) inputlinet. first (modbody _1259) lookaheadt. first (modbody _1259) eoft. first (modbody _1259) flusht. first (modbody _1259) printt. first (modbody _1259) readt. first (modbody _1259) printtermt. first (modbody _1259) readtermt. first (modbody _1209) kindt. first (modbody _1209) typet. first (modbody _1209) infixt. first (modbody _1209) infixlt. first (modbody _1209) infixrt. first (modbody _1209) prefixt. first (modbody _1209) prefixrt. first (modbody _1209) postfixt. first (modbody _1209) postfixlt. first (modbody _1209) exportdeft. first (modbody _1209) useonlyt. first (modbody _1209) localt. first (modbody _1209) localkindt. first (modbody _1209) closedt. first (sigpreamble _1094) accumsigt. first (modpreamblecl _866) accumsigt. first (modpreamblecl _866) accumulatet. first (modpreamblecl _866) importt. first (modpreamble _857) importt. first (modpreamble _857) accumulatet. first (modpreamble _857) accumsigt. first (sigheader _355) sigt. first (modheader _567) modulet. first (moduledef _319) modulet. first (signaturedef _282) sigt. first (sigormod _310) modulet. first (sigormod _273) sigt. first X X :- terminal X. parse [sigheader _443681,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (sigpreamble _443689) A, !, parse [A,sigheader _443681,B|Alpha] Beta Result Str. parse [sigpreamble _443689,sigheader _443681,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (signdecls _443698) A, !, parse [A,sigpreamble _443689,sigheader _443681,B|Alpha] Beta Result Str. parse [sigheader _443741,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (sigpreamble _443750) A, !, parse [A,sigheader _443741,B|Alpha] Beta Result Str. parse [sigheader _443794,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (signdecls _443803) A, !, parse [A,sigheader _443794,B|Alpha] Beta Result Str. parse [modheader _443893,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (modpreamble _443901) A, !, parse [A,modheader _443893,B|Alpha] Beta Result Str. parse [modpreamble _443901,modheader _443893,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (modbody _443910) A, !, parse [A,modpreamble _443901,modheader _443893,B|Alpha] Beta Result Str. parse [modheader _443953,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (modpreamble _443962) A, !, parse [A,modheader _443953,B|Alpha] Beta Result Str. parse [modheader _444006,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (modbody _444015) A, !, parse [A,modheader _444006,B|Alpha] Beta Result Str. parse [modulet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (id _444108) A, !, parse [A,modulet,B|Alpha] Beta Result Str. parse [id _444108,modulet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (dott) A, !, parse [A,id _444108,modulet,B|Alpha] Beta Result Str. parse [sigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (id _444151) A, !, parse [A,sigt,B|Alpha] Beta Result Str. parse [id _444151,sigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: nil), first (dott) A, !, parse [A,id _444151,sigt,B|Alpha] Beta Result Str. parse [modpreamblecl _444234,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _463410 :: modpreamblecl _463380 :: nil), first (modpreamble _444243) A, !, parse [A,modpreamblecl _444234,B|Alpha] Beta Result Str. parse [importt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _464108 :: modpreamblecl _464078 :: nil), first (idlist _444287) A, !, parse [A,importt,B|Alpha] Beta Result Str. parse [idlist _444287,importt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _464108 :: modpreamblecl _464078 :: nil), first (dott) A, !, parse [A,idlist _444287,importt,B|Alpha] Beta Result Str. parse [accumulatet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _465277 :: modpreamblecl _465247 :: nil), first (idlist _444335) A, !, parse [A,accumulatet,B|Alpha] Beta Result Str. parse [idlist _444335,accumulatet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _465277 :: modpreamblecl _465247 :: nil), first (dott) A, !, parse [A,idlist _444335,accumulatet,B|Alpha] Beta Result Str. parse [accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _466446 :: modpreamblecl _466416 :: nil), first (idlist _444383) A, !, parse [A,accumsigt,B|Alpha] Beta Result Str. parse [idlist _444383,accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modheader _466446 :: modpreamblecl _466416 :: nil), first (dott) A, !, parse [A,idlist _444383,accumsigt,B|Alpha] Beta Result Str. parse [accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigheader _467610 :: dott :: nil), first (idlist _444431) A, !, parse [A,accumsigt,B|Alpha] Beta Result Str. parse [idlist _444431,accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigheader _467610 :: dott :: nil), first (dott) A, !, parse [A,idlist _444431,accumsigt,B|Alpha] Beta Result Str. parse [dott,idlist _444431,accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigheader _467610 :: dott :: nil), first (sigpreamble _444443) A, !, parse [A,dott,idlist _444431,accumsigt,B|Alpha] Beta Result Str. parse [accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigheader _468287 :: dott :: nil), first (idlist _444492) A, !, parse [A,accumsigt,B|Alpha] Beta Result Str. parse [idlist _444492,accumsigt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigheader _468287 :: dott :: nil), first (dott) A, !, parse [A,idlist _444492,accumsigt,B|Alpha] Beta Result Str. parse [modsigndecl _444543,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _469079 :: modheader _469037 :: modsigndecl _469001 :: modclause _468971 :: nil), first (modbody _444552) A, !, parse [A,modsigndecl _444543,B|Alpha] Beta Result Str. parse [modclause _444593,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _470004 :: modheader _469962 :: modsigndecl _469926 :: modclause _469896 :: nil), first (modbody _444602) A, !, parse [A,modclause _444593,B|Alpha] Beta Result Str. parse [signdecl _444739,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _472691 :: sigheader _472655 :: signdecl _472625 :: nil), first (signdecls _444748) A, !, parse [A,signdecl _444739,B|Alpha] Beta Result Str. parse [kindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _474398 :: sigheader _474362 :: signdecl _474332 :: modpreamble _475239 :: modheader _475197 :: modsigndecl _475161 :: modclause _475131 :: nil), first (idlist _444835) A, !, parse [A,kindt,B|Alpha] Beta Result Str. parse [idlist _444835,kindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _474398 :: sigheader _474362 :: signdecl _474332 :: modpreamble _475239 :: modheader _475197 :: modsigndecl _475161 :: modclause _475131 :: nil), first (akind _444843) A, !, parse [A,idlist _444835,kindt,B|Alpha] Beta Result Str. parse [akind _444843,idlist _444835,kindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _474398 :: sigheader _474362 :: signdecl _474332 :: modpreamble _475239 :: modheader _475197 :: modsigndecl _475161 :: modclause _475131 :: nil), first (dott) A, !, parse [A,akind _444843,idlist _444835,kindt,B|Alpha] Beta Result Str. parse [typet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _477540 :: sigheader _477504 :: signdecl _477474 :: modpreamble _478381 :: modheader _478339 :: modsigndecl _478303 :: modclause _478273 :: nil), first (idlist _444892) A, !, parse [A,typet,B|Alpha] Beta Result Str. parse [idlist _444892,typet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _477540 :: sigheader _477504 :: signdecl _477474 :: modpreamble _478381 :: modheader _478339 :: modsigndecl _478303 :: modclause _478273 :: nil), first (atype _444900) A, !, parse [A,idlist _444892,typet,B|Alpha] Beta Result Str. parse [atype _444900,idlist _444892,typet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _477540 :: sigheader _477504 :: signdecl _477474 :: modpreamble _478381 :: modheader _478339 :: modsigndecl _478303 :: modclause _478273 :: nil), first (dott) A, !, parse [A,atype _444900,idlist _444892,typet,B|Alpha] Beta Result Str. parse [fixity _444946,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _480682 :: sigheader _480646 :: signdecl _480616 :: modpreamble _481523 :: modheader _481481 :: modsigndecl _481445 :: modclause _481415 :: nil), first (idlist _444954) A, !, parse [A,fixity _444946,B|Alpha] Beta Result Str. parse [idlist _444954,fixity _444946,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _480682 :: sigheader _480646 :: signdecl _480616 :: modpreamble _481523 :: modheader _481481 :: modsigndecl _481445 :: modclause _481415 :: nil), first (iconst _444962) A, !, parse [A,idlist _444954,fixity _444946,B|Alpha] Beta Result Str. parse [iconst _444962,idlist _444954,fixity _444946,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _480682 :: sigheader _480646 :: signdecl _480616 :: modpreamble _481523 :: modheader _481481 :: modsigndecl _481445 :: modclause _481415 :: nil), first (dott) A, !, parse [A,iconst _444962,idlist _444954,fixity _444946,B|Alpha] Beta Result Str. parse [exportdeft,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _483824 :: sigheader _483788 :: signdecl _483758 :: modpreamble _484665 :: modheader _484623 :: modsigndecl _484587 :: modclause _484557 :: nil), first (idlist _445012) A, !, parse [A,exportdeft,B|Alpha] Beta Result Str. parse [idlist _445012,exportdeft,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _483824 :: sigheader _483788 :: signdecl _483758 :: modpreamble _484665 :: modheader _484623 :: modsigndecl _484587 :: modclause _484557 :: nil), first (dott) A, !, parse [A,idlist _445012,exportdeft,B|Alpha] Beta Result Str. parse [exportdeft,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _486966 :: sigheader _486930 :: signdecl _486900 :: modpreamble _487807 :: modheader _487765 :: modsigndecl _487729 :: modclause _487699 :: nil), first (idlist _445061) A, !, parse [A,exportdeft,B|Alpha] Beta Result Str. parse [idlist _445061,exportdeft,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _486966 :: sigheader _486930 :: signdecl _486900 :: modpreamble _487807 :: modheader _487765 :: modsigndecl _487729 :: modclause _487699 :: nil), first (atype _445069) A, !, parse [A,idlist _445061,exportdeft,B|Alpha] Beta Result Str. parse [atype _445069,idlist _445061,exportdeft,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _486966 :: sigheader _486930 :: signdecl _486900 :: modpreamble _487807 :: modheader _487765 :: modsigndecl _487729 :: modclause _487699 :: nil), first (dott) A, !, parse [A,atype _445069,idlist _445061,exportdeft,B|Alpha] Beta Result Str. parse [useonlyt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _490108 :: sigheader _490072 :: signdecl _490042 :: modpreamble _490949 :: modheader _490907 :: modsigndecl _490871 :: modclause _490841 :: nil), first (idlist _445118) A, !, parse [A,useonlyt,B|Alpha] Beta Result Str. parse [idlist _445118,useonlyt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _490108 :: sigheader _490072 :: signdecl _490042 :: modpreamble _490949 :: modheader _490907 :: modsigndecl _490871 :: modclause _490841 :: nil), first (dott) A, !, parse [A,idlist _445118,useonlyt,B|Alpha] Beta Result Str. parse [useonlyt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _493250 :: sigheader _493214 :: signdecl _493184 :: modpreamble _494091 :: modheader _494049 :: modsigndecl _494013 :: modclause _493983 :: nil), first (idlist _445167) A, !, parse [A,useonlyt,B|Alpha] Beta Result Str. parse [idlist _445167,useonlyt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _493250 :: sigheader _493214 :: signdecl _493184 :: modpreamble _494091 :: modheader _494049 :: modsigndecl _494013 :: modclause _493983 :: nil), first (atype _445175) A, !, parse [A,idlist _445167,useonlyt,B|Alpha] Beta Result Str. parse [atype _445175,idlist _445167,useonlyt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: sigpreamble _493250 :: sigheader _493214 :: signdecl _493184 :: modpreamble _494091 :: modheader _494049 :: modsigndecl _494013 :: modclause _493983 :: nil), first (dott) A, !, parse [A,atype _445175,idlist _445167,useonlyt,B|Alpha] Beta Result Str. parse [localt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _498105 :: modheader _498063 :: modsigndecl _498027 :: modclause _497997 :: nil), first (idlist _445261) A, !, parse [A,localt,B|Alpha] Beta Result Str. parse [idlist _445261,localt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _498105 :: modheader _498063 :: modsigndecl _498027 :: modclause _497997 :: nil), first (dott) A, !, parse [A,idlist _445261,localt,B|Alpha] Beta Result Str. parse [localt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _499714 :: modheader _499672 :: modsigndecl _499636 :: modclause _499606 :: nil), first (idlist _445310) A, !, parse [A,localt,B|Alpha] Beta Result Str. parse [idlist _445310,localt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _499714 :: modheader _499672 :: modsigndecl _499636 :: modclause _499606 :: nil), first (atype _445318) A, !, parse [A,idlist _445310,localt,B|Alpha] Beta Result Str. parse [atype _445318,idlist _445310,localt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _499714 :: modheader _499672 :: modsigndecl _499636 :: modclause _499606 :: nil), first (dott) A, !, parse [A,atype _445318,idlist _445310,localt,B|Alpha] Beta Result Str. parse [localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _501323 :: modheader _501281 :: modsigndecl _501245 :: modclause _501215 :: nil), first (idlist _445367) A, !, parse [A,localkindt,B|Alpha] Beta Result Str. parse [idlist _445367,localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _501323 :: modheader _501281 :: modsigndecl _501245 :: modclause _501215 :: nil), first (dott) A, !, parse [A,idlist _445367,localkindt,B|Alpha] Beta Result Str. parse [localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _502932 :: modheader _502890 :: modsigndecl _502854 :: modclause _502824 :: nil), first (idlist _445416) A, !, parse [A,localkindt,B|Alpha] Beta Result Str. parse [idlist _445416,localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _502932 :: modheader _502890 :: modsigndecl _502854 :: modclause _502824 :: nil), first (akind _445424) A, !, parse [A,idlist _445416,localkindt,B|Alpha] Beta Result Str. parse [akind _445424,idlist _445416,localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _502932 :: modheader _502890 :: modsigndecl _502854 :: modclause _502824 :: nil), first (dott) A, !, parse [A,akind _445424,idlist _445416,localkindt,B|Alpha] Beta Result Str. parse [closedt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _504541 :: modheader _504499 :: modsigndecl _504463 :: modclause _504433 :: nil), first (idlist _445473) A, !, parse [A,closedt,B|Alpha] Beta Result Str. parse [idlist _445473,closedt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _504541 :: modheader _504499 :: modsigndecl _504463 :: modclause _504433 :: nil), first (dott) A, !, parse [A,idlist _445473,closedt,B|Alpha] Beta Result Str. parse [localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _506150 :: modheader _506108 :: modsigndecl _506072 :: modclause _506042 :: nil), first (idlist _445522) A, !, parse [A,localkindt,B|Alpha] Beta Result Str. parse [idlist _445522,localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _506150 :: modheader _506108 :: modsigndecl _506072 :: modclause _506042 :: nil), first (atype _445530) A, !, parse [A,idlist _445522,localkindt,B|Alpha] Beta Result Str. parse [atype _445530,idlist _445522,localkindt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _506150 :: modheader _506108 :: modsigndecl _506072 :: modclause _506042 :: nil), first (dott) A, !, parse [A,atype _445530,idlist _445522,localkindt,B|Alpha] Beta Result Str. parse [akind _445608,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _508097 :: nil), first (arrowt) A, !, parse [A,akind _445608,B|Alpha] Beta Result Str. parse [arrowt,akind _445608,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _508097 :: nil), first (typet) A, !, parse [A,arrowt,akind _445608,B|Alpha] Beta Result Str. parse [clause _445900,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _550486 :: modheader _550444 :: modsigndecl _550408 :: modclause _550378 :: nil), first (dott) A, !, parse [A,clause _445900,B|Alpha] Beta Result Str. parse [term _445977,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _553314 :: modheader _553272 :: modsigndecl _553236 :: modclause _553206 :: rimpt :: impt :: comma :: andt :: piid _558558 :: telparen :: sigmaid _558267 :: semicolon :: term _558000 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (rimpt) A, !, parse [A,term _445977,B|Alpha] Beta Result Str. parse [rimpt,term _445977,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _553314 :: modheader _553272 :: modsigndecl _553236 :: modclause _553206 :: rimpt :: impt :: comma :: andt :: piid _558558 :: telparen :: sigmaid _558267 :: semicolon :: term _558000 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _445989) A, !, parse [A,rimpt,term _445977,B|Alpha] Beta Result Str. parse [term _446037,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _563894 :: modheader _563852 :: modsigndecl _563816 :: modclause _563786 :: rimpt :: impt :: comma :: andt :: piid _569138 :: telparen :: sigmaid _568847 :: semicolon :: term _568580 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (impt) A, !, parse [A,term _446037,B|Alpha] Beta Result Str. parse [impt,term _446037,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _563894 :: modheader _563852 :: modsigndecl _563816 :: modclause _563786 :: rimpt :: impt :: comma :: andt :: piid _569138 :: telparen :: sigmaid _568847 :: semicolon :: term _568580 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446049) A, !, parse [A,impt,term _446037,B|Alpha] Beta Result Str. parse [term _446097,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _574474 :: modheader _574432 :: modsigndecl _574396 :: modclause _574366 :: rimpt :: impt :: comma :: andt :: piid _579718 :: telparen :: sigmaid _579427 :: semicolon :: term _579160 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (comma) A, !, parse [A,term _446097,B|Alpha] Beta Result Str. parse [comma,term _446097,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _574474 :: modheader _574432 :: modsigndecl _574396 :: modclause _574366 :: rimpt :: impt :: comma :: andt :: piid _579718 :: telparen :: sigmaid _579427 :: semicolon :: term _579160 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446109) A, !, parse [A,comma,term _446097,B|Alpha] Beta Result Str. parse [term _446157,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _585054 :: modheader _585012 :: modsigndecl _584976 :: modclause _584946 :: rimpt :: impt :: comma :: andt :: piid _590298 :: telparen :: sigmaid _590007 :: semicolon :: term _589740 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (andt) A, !, parse [A,term _446157,B|Alpha] Beta Result Str. parse [andt,term _446157,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _585054 :: modheader _585012 :: modsigndecl _584976 :: modclause _584946 :: rimpt :: impt :: comma :: andt :: piid _590298 :: telparen :: sigmaid _590007 :: semicolon :: term _589740 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446169) A, !, parse [A,andt,term _446157,B|Alpha] Beta Result Str. parse [piid _446217,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _595634 :: modheader _595592 :: modsigndecl _595556 :: modclause _595526 :: rimpt :: impt :: comma :: andt :: piid _600878 :: telparen :: sigmaid _600587 :: semicolon :: term _600320 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446226) A, !, parse [A,piid _446217,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _606214 :: modheader _606172 :: modsigndecl _606136 :: modclause _606106 :: rimpt :: impt :: comma :: andt :: piid _611458 :: telparen :: sigmaid _611167 :: semicolon :: term _610900 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446276) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [term _446276,telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _606214 :: modheader _606172 :: modsigndecl _606136 :: modclause _606106 :: rimpt :: impt :: comma :: andt :: piid _611458 :: telparen :: sigmaid _611167 :: semicolon :: term _610900 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (rparen) A, !, parse [A,term _446276,telparen,B|Alpha] Beta Result Str. parse [sigmaid _446444,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _659114 :: modheader _659072 :: modsigndecl _659036 :: modclause _659006 :: rimpt :: impt :: comma :: andt :: piid _664358 :: telparen :: sigmaid _664067 :: semicolon :: term _663800 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446453) A, !, parse [A,sigmaid _446444,B|Alpha] Beta Result Str. parse [term _446500,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _669694 :: modheader _669652 :: modsigndecl _669616 :: modclause _669586 :: rimpt :: impt :: comma :: andt :: piid _674938 :: telparen :: sigmaid _674647 :: semicolon :: term _674380 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (semicolon) A, !, parse [A,term _446500,B|Alpha] Beta Result Str. parse [semicolon,term _446500,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _669694 :: modheader _669652 :: modsigndecl _669616 :: modclause _669586 :: rimpt :: impt :: comma :: andt :: piid _674938 :: telparen :: sigmaid _674647 :: semicolon :: term _674380 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446512) A, !, parse [A,semicolon,term _446500,B|Alpha] Beta Result Str. parse [term _446592,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _690854 :: modheader _690812 :: modsigndecl _690776 :: modclause _690746 :: rimpt :: impt :: comma :: andt :: piid _696098 :: telparen :: sigmaid _695807 :: semicolon :: term _695540 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446601) A, !, parse [A,term _446592,B|Alpha] Beta Result Str. parse [typedid _446643,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _701434 :: modheader _701392 :: modsigndecl _701356 :: modclause _701326 :: rimpt :: impt :: comma :: andt :: piid _706678 :: telparen :: sigmaid _706387 :: semicolon :: term _706120 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (slasht) A, !, parse [A,typedid _446643,B|Alpha] Beta Result Str. parse [slasht,typedid _446643,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _701434 :: modheader _701392 :: modsigndecl _701356 :: modclause _701326 :: rimpt :: impt :: comma :: andt :: piid _706678 :: telparen :: sigmaid _706387 :: semicolon :: term _706120 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446655) A, !, parse [A,slasht,typedid _446643,B|Alpha] Beta Result Str. parse [id _446704,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _712014 :: modheader _711972 :: modsigndecl _711936 :: modclause _711906 :: rimpt :: impt :: comma :: andt :: piid _717258 :: telparen :: sigmaid _716967 :: semicolon :: term _716700 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (slasht) A, !, parse [A,id _446704,B|Alpha] Beta Result Str. parse [slasht,id _446704,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _712014 :: modheader _711972 :: modsigndecl _711936 :: modclause _711906 :: rimpt :: impt :: comma :: andt :: piid _717258 :: telparen :: sigmaid _716967 :: semicolon :: term _716700 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446716) A, !, parse [A,slasht,id _446704,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _722594 :: modheader _722552 :: modsigndecl _722516 :: modclause _722486 :: rimpt :: impt :: comma :: andt :: piid _727838 :: telparen :: sigmaid _727547 :: semicolon :: term _727280 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (rbracket) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _733174 :: modheader _733132 :: modsigndecl _733096 :: modclause _733066 :: rimpt :: impt :: comma :: andt :: piid _738418 :: telparen :: sigmaid _738127 :: semicolon :: term _737860 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (termlist _446809) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [termlist _446809,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _733174 :: modheader _733132 :: modsigndecl _733096 :: modclause _733066 :: rimpt :: impt :: comma :: andt :: piid _738418 :: telparen :: sigmaid _738127 :: semicolon :: term _737860 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (rbracket) A, !, parse [A,termlist _446809,lbracket,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _743754 :: modheader _743712 :: modsigndecl _743676 :: modclause _743646 :: rimpt :: impt :: comma :: andt :: piid _748998 :: telparen :: sigmaid _748707 :: semicolon :: term _748440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _446857) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [term _446857,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _743754 :: modheader _743712 :: modsigndecl _743676 :: modclause _743646 :: rimpt :: impt :: comma :: andt :: piid _748998 :: telparen :: sigmaid _748707 :: semicolon :: term _748440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (vert) A, !, parse [A,term _446857,lbracket,B|Alpha] Beta Result Str. parse [vert,term _446857,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _743754 :: modheader _743712 :: modsigndecl _743676 :: modclause _743646 :: rimpt :: impt :: comma :: andt :: piid _748998 :: telparen :: sigmaid _748707 :: semicolon :: term _748440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (termlist _446868) A, !, parse [A,vert,term _446857,lbracket,B|Alpha] Beta Result Str. parse [termlist _446868,vert,term _446857,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _743754 :: modheader _743712 :: modsigndecl _743676 :: modclause _743646 :: rimpt :: impt :: comma :: andt :: piid _748998 :: telparen :: sigmaid _748707 :: semicolon :: term _748440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (rbracket) A, !, parse [A,termlist _446868,vert,term _446857,lbracket,B|Alpha] Beta Result Str. parse [term _446958,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _764914 :: modheader _764872 :: modsigndecl _764836 :: modclause _764806 :: rimpt :: impt :: comma :: andt :: piid _770158 :: telparen :: sigmaid _769867 :: semicolon :: term _769600 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (concatt) A, !, parse [A,term _446958,B|Alpha] Beta Result Str. parse [concatt,term _446958,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _764914 :: modheader _764872 :: modsigndecl _764836 :: modclause _764806 :: rimpt :: impt :: comma :: andt :: piid _770158 :: telparen :: sigmaid _769867 :: semicolon :: term _769600 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (termlist _446970) A, !, parse [A,concatt,term _446958,B|Alpha] Beta Result Str. parse [term _447162,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _817814 :: modheader _817772 :: modsigndecl _817736 :: modclause _817706 :: rimpt :: impt :: comma :: andt :: piid _823058 :: telparen :: sigmaid _822767 :: semicolon :: term _822500 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (addt) A, !, parse [A,term _447162,B|Alpha] Beta Result Str. parse [addt,term _447162,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _817814 :: modheader _817772 :: modsigndecl _817736 :: modclause _817706 :: rimpt :: impt :: comma :: andt :: piid _823058 :: telparen :: sigmaid _822767 :: semicolon :: term _822500 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447174) A, !, parse [A,addt,term _447162,B|Alpha] Beta Result Str. parse [term _447222,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _828394 :: modheader _828352 :: modsigndecl _828316 :: modclause _828286 :: rimpt :: impt :: comma :: andt :: piid _833638 :: telparen :: sigmaid _833347 :: semicolon :: term _833080 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (subt) A, !, parse [A,term _447222,B|Alpha] Beta Result Str. parse [subt,term _447222,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _828394 :: modheader _828352 :: modsigndecl _828316 :: modclause _828286 :: rimpt :: impt :: comma :: andt :: piid _833638 :: telparen :: sigmaid _833347 :: semicolon :: term _833080 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447234) A, !, parse [A,subt,term _447222,B|Alpha] Beta Result Str. parse [term _447282,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _838974 :: modheader _838932 :: modsigndecl _838896 :: modclause _838866 :: rimpt :: impt :: comma :: andt :: piid _844218 :: telparen :: sigmaid _843927 :: semicolon :: term _843660 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (mult) A, !, parse [A,term _447282,B|Alpha] Beta Result Str. parse [mult,term _447282,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _838974 :: modheader _838932 :: modsigndecl _838896 :: modclause _838866 :: rimpt :: impt :: comma :: andt :: piid _844218 :: telparen :: sigmaid _843927 :: semicolon :: term _843660 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447294) A, !, parse [A,mult,term _447282,B|Alpha] Beta Result Str. parse [term _447342,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _849554 :: modheader _849512 :: modsigndecl _849476 :: modclause _849446 :: rimpt :: impt :: comma :: andt :: piid _854798 :: telparen :: sigmaid _854507 :: semicolon :: term _854240 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (divt) A, !, parse [A,term _447342,B|Alpha] Beta Result Str. parse [divt,term _447342,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _849554 :: modheader _849512 :: modsigndecl _849476 :: modclause _849446 :: rimpt :: impt :: comma :: andt :: piid _854798 :: telparen :: sigmaid _854507 :: semicolon :: term _854240 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447354) A, !, parse [A,divt,term _447342,B|Alpha] Beta Result Str. parse [term _447402,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _860134 :: modheader _860092 :: modsigndecl _860056 :: modclause _860026 :: rimpt :: impt :: comma :: andt :: piid _865378 :: telparen :: sigmaid _865087 :: semicolon :: term _864820 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (modt) A, !, parse [A,term _447402,B|Alpha] Beta Result Str. parse [modt,term _447402,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _860134 :: modheader _860092 :: modsigndecl _860056 :: modclause _860026 :: rimpt :: impt :: comma :: andt :: piid _865378 :: telparen :: sigmaid _865087 :: semicolon :: term _864820 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447414) A, !, parse [A,modt,term _447402,B|Alpha] Beta Result Str. parse [term _447462,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _870714 :: modheader _870672 :: modsigndecl _870636 :: modclause _870606 :: rimpt :: impt :: comma :: andt :: piid _875958 :: telparen :: sigmaid _875667 :: semicolon :: term _875400 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (ltt) A, !, parse [A,term _447462,B|Alpha] Beta Result Str. parse [ltt,term _447462,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _870714 :: modheader _870672 :: modsigndecl _870636 :: modclause _870606 :: rimpt :: impt :: comma :: andt :: piid _875958 :: telparen :: sigmaid _875667 :: semicolon :: term _875400 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447474) A, !, parse [A,ltt,term _447462,B|Alpha] Beta Result Str. parse [term _447522,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _881294 :: modheader _881252 :: modsigndecl _881216 :: modclause _881186 :: rimpt :: impt :: comma :: andt :: piid _886538 :: telparen :: sigmaid _886247 :: semicolon :: term _885980 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (ltet) A, !, parse [A,term _447522,B|Alpha] Beta Result Str. parse [ltet,term _447522,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _881294 :: modheader _881252 :: modsigndecl _881216 :: modclause _881186 :: rimpt :: impt :: comma :: andt :: piid _886538 :: telparen :: sigmaid _886247 :: semicolon :: term _885980 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447534) A, !, parse [A,ltet,term _447522,B|Alpha] Beta Result Str. parse [term _447582,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _891874 :: modheader _891832 :: modsigndecl _891796 :: modclause _891766 :: rimpt :: impt :: comma :: andt :: piid _897118 :: telparen :: sigmaid _896827 :: semicolon :: term _896560 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (gtt) A, !, parse [A,term _447582,B|Alpha] Beta Result Str. parse [gtt,term _447582,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _891874 :: modheader _891832 :: modsigndecl _891796 :: modclause _891766 :: rimpt :: impt :: comma :: andt :: piid _897118 :: telparen :: sigmaid _896827 :: semicolon :: term _896560 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447594) A, !, parse [A,gtt,term _447582,B|Alpha] Beta Result Str. parse [term _447642,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _902454 :: modheader _902412 :: modsigndecl _902376 :: modclause _902346 :: rimpt :: impt :: comma :: andt :: piid _907698 :: telparen :: sigmaid _907407 :: semicolon :: term _907140 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (gtet) A, !, parse [A,term _447642,B|Alpha] Beta Result Str. parse [gtet,term _447642,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _902454 :: modheader _902412 :: modsigndecl _902376 :: modclause _902346 :: rimpt :: impt :: comma :: andt :: piid _907698 :: telparen :: sigmaid _907407 :: semicolon :: term _907140 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447654) A, !, parse [A,gtet,term _447642,B|Alpha] Beta Result Str. parse [term _447702,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _913034 :: modheader _912992 :: modsigndecl _912956 :: modclause _912926 :: rimpt :: impt :: comma :: andt :: piid _918278 :: telparen :: sigmaid _917987 :: semicolon :: term _917720 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (eqlt) A, !, parse [A,term _447702,B|Alpha] Beta Result Str. parse [eqlt,term _447702,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _913034 :: modheader _912992 :: modsigndecl _912956 :: modclause _912926 :: rimpt :: impt :: comma :: andt :: piid _918278 :: telparen :: sigmaid _917987 :: semicolon :: term _917720 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447714) A, !, parse [A,eqlt,term _447702,B|Alpha] Beta Result Str. parse [term _447762,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _923614 :: modheader _923572 :: modsigndecl _923536 :: modclause _923506 :: rimpt :: impt :: comma :: andt :: piid _928858 :: telparen :: sigmaid _928567 :: semicolon :: term _928300 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (ist) A, !, parse [A,term _447762,B|Alpha] Beta Result Str. parse [ist,term _447762,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _923614 :: modheader _923572 :: modsigndecl _923536 :: modclause _923506 :: rimpt :: impt :: comma :: andt :: piid _928858 :: telparen :: sigmaid _928567 :: semicolon :: term _928300 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447774) A, !, parse [A,ist,term _447762,B|Alpha] Beta Result Str. parse [term _447822,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _934194 :: modheader _934152 :: modsigndecl _934116 :: modclause _934086 :: rimpt :: impt :: comma :: andt :: piid _939438 :: telparen :: sigmaid _939147 :: semicolon :: term _938880 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (sconcatt) A, !, parse [A,term _447822,B|Alpha] Beta Result Str. parse [sconcatt,term _447822,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _934194 :: modheader _934152 :: modsigndecl _934116 :: modclause _934086 :: rimpt :: impt :: comma :: andt :: piid _939438 :: telparen :: sigmaid _939147 :: semicolon :: term _938880 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), first (term _447834) A, !, parse [A,sconcatt,term _447822,B|Alpha] Beta Result Str. parse [atype _449162,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _1368484 :: arrowt :: atype _1368397 :: lparen :: colon :: nil), first (arrowt) A, !, parse [A,atype _449162,B|Alpha] Beta Result Str. parse [arrowt,atype _449162,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _1368484 :: arrowt :: atype _1368397 :: lparen :: colon :: nil), first (atype _449174) A, !, parse [A,arrowt,atype _449162,B|Alpha] Beta Result Str. parse [atype _449280,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _1377904 :: arrowt :: atype _1377817 :: lparen :: colon :: nil), first (atype _449289) A, !, parse [A,atype _449280,B|Alpha] Beta Result Str. parse [lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _1384184 :: arrowt :: atype _1384097 :: lparen :: colon :: nil), first (atype _449376) A, !, parse [A,lparen,B|Alpha] Beta Result Str. parse [atype _449376,lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: idlist _1384184 :: arrowt :: atype _1384097 :: lparen :: colon :: nil), first (rparen) A, !, parse [A,atype _449376,lparen,B|Alpha] Beta Result Str. parse [term _449638,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: lbracket :: vert :: concatt :: tcomma :: nil), first (tcomma) A, !, parse [A,term _449638,B|Alpha] Beta Result Str. parse [tcomma,term _449638,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: lbracket :: vert :: concatt :: tcomma :: nil), first (termlist _449650) A, !, parse [A,tcomma,term _449638,B|Alpha] Beta Result Str. parse [pit,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1419435 :: modheader _1419393 :: modsigndecl _1419357 :: modclause _1419327 :: rimpt :: impt :: comma :: andt :: piid _1424679 :: sigmaid _1424388 :: semicolon :: term _1424121 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (colon) A, !, parse [A,pit,B|Alpha] Beta Result Str. parse [colon,pit,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1419435 :: modheader _1419393 :: modsigndecl _1419357 :: modclause _1419327 :: rimpt :: impt :: comma :: andt :: piid _1424679 :: sigmaid _1424388 :: semicolon :: term _1424121 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (atype _449730) A, !, parse [A,colon,pit,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1426564 :: modheader _1426522 :: modsigndecl _1426486 :: modclause _1426456 :: rimpt :: impt :: comma :: andt :: piid _1431808 :: sigmaid _1431517 :: semicolon :: term _1431250 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (piid _449769) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [piid _449769,telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1426564 :: modheader _1426522 :: modsigndecl _1426486 :: modclause _1426456 :: rimpt :: impt :: comma :: andt :: piid _1431808 :: sigmaid _1431517 :: semicolon :: term _1431250 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (rparen) A, !, parse [A,piid _449769,telparen,B|Alpha] Beta Result Str. parse [sigmat,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1440830 :: modheader _1440788 :: modsigndecl _1440752 :: modclause _1440722 :: rimpt :: impt :: comma :: andt :: piid _1446074 :: sigmaid _1445783 :: semicolon :: term _1445516 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (colon) A, !, parse [A,sigmat,B|Alpha] Beta Result Str. parse [colon,sigmat,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1440830 :: modheader _1440788 :: modsigndecl _1440752 :: modclause _1440722 :: rimpt :: impt :: comma :: andt :: piid _1446074 :: sigmaid _1445783 :: semicolon :: term _1445516 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (atype _449848) A, !, parse [A,colon,sigmat,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1447959 :: modheader _1447917 :: modsigndecl _1447881 :: modclause _1447851 :: rimpt :: impt :: comma :: andt :: piid _1453203 :: sigmaid _1452912 :: semicolon :: term _1452645 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (sigmaid _449887) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [sigmaid _449887,telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1447959 :: modheader _1447917 :: modsigndecl _1447881 :: modclause _1447851 :: rimpt :: impt :: comma :: andt :: piid _1453203 :: sigmaid _1452912 :: semicolon :: term _1452645 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (rparen) A, !, parse [A,sigmaid _449887,telparen,B|Alpha] Beta Result Str. parse [id _449927,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1455096 :: modheader _1455054 :: modsigndecl _1455018 :: modclause _1454988 :: rimpt :: impt :: comma :: andt :: piid _1460340 :: sigmaid _1460049 :: semicolon :: term _1459782 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (colon) A, !, parse [A,id _449927,B|Alpha] Beta Result Str. parse [colon,id _449927,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1455096 :: modheader _1455054 :: modsigndecl _1455018 :: modclause _1454988 :: rimpt :: impt :: comma :: andt :: piid _1460340 :: sigmaid _1460049 :: semicolon :: term _1459782 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (atype _449939) A, !, parse [A,colon,id _449927,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1462229 :: modheader _1462187 :: modsigndecl _1462151 :: modclause _1462121 :: rimpt :: impt :: comma :: andt :: piid _1467473 :: sigmaid _1467182 :: semicolon :: term _1466915 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (typedid _449978) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [typedid _449978,telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modpreamble _1462229 :: modheader _1462187 :: modsigndecl _1462151 :: modclause _1462121 :: rimpt :: impt :: comma :: andt :: piid _1467473 :: sigmaid _1467182 :: semicolon :: term _1466915 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), first (rparen) A, !, parse [A,typedid _449978,telparen,B|Alpha] Beta Result Str. parse [nontermst _450061,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: importt :: accumulatet :: accumsigt :: kindt :: typet :: fixity _1474652 :: exportdeft :: useonlyt :: localt :: closedt :: localkindt :: nil), first (id _450070) A, !, parse [A,nontermst _450061,B|Alpha] Beta Result Str. parse [idlist _450112,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: importt :: accumulatet :: accumsigt :: kindt :: typet :: fixity _1478958 :: exportdeft :: useonlyt :: localt :: closedt :: localkindt :: nil), first (comma) A, !, parse [A,idlist _450112,B|Alpha] Beta Result Str. parse [bofs] [A|B] R "shift" :- first (sigormod _1866994) A, parse [A,bofs] B R Str. startparse START [bols] [A|B] R "shift" :- first (START) A, parse [A,bols] B R Str,!. parse [Sx,bofs] [eofs] Sx "accept" :- start_symbol Sx. parse [Sx,bols] [eols] Sx "accept" :- !. parse [signaturedef _443608,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443599 = _443608), parse [sigormod _443599,B|Alpha] [A|Beta] Result Str. parse [moduledef _443645,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443599 = _443645), parse [sigormod _443599,B|Alpha] [A|Beta] Result Str. parse [signdecls _443698,sigpreamble _443689,sigheader _443681,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443673 = definesig _443681 _443689 _443698), parse [signaturedef _443673,B|Alpha] [A|Beta] Result Str. parse [sigpreamble _443750,sigheader _443741,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443673 = definesig _443741 _443750 nil), parse [signaturedef _443673,B|Alpha] [A|Beta] Result Str. parse [signdecls _443803,sigheader _443794,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443673 = definesig _443794 nil _443803), parse [signaturedef _443673,B|Alpha] [A|Beta] Result Str. parse [sigheader _443848,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443673 = definesig _443848 nil nil), parse [signaturedef _443673,B|Alpha] [A|Beta] Result Str. parse [modbody _443910,modpreamble _443901,modheader _443893,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443885 = definemod _443893 _443901 _443910), parse [moduledef _443885,B|Alpha] [A|Beta] Result Str. parse [modpreamble _443962,modheader _443953,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443885 = definemod _443953 _443962 nil), parse [moduledef _443885,B|Alpha] [A|Beta] Result Str. parse [modbody _444015,modheader _444006,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443885 = definemod _444006 nil _444015), parse [moduledef _443885,B|Alpha] [A|Beta] Result Str. parse [modheader _444060,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_443885 = definemod _444060 nil nil), parse [moduledef _443885,B|Alpha] [A|Beta] Result Str. parse [dott,id _444108,modulet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: modpreamble _461131 :: modbody _461095 :: eofs :: nil), first Sym A, !, (_444097 = _444108), parse [modheader _444097,B|Alpha] [A|Beta] Result Str. parse [dott,id _444151,sigt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: sigpreamble _462483 :: signdecls _462447 :: eofs :: nil), first Sym A, !, (_444140 = _444151), parse [sigheader _444140,B|Alpha] [A|Beta] Result Str. parse [modpreamblecl _444192,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modheader _462773 :: modpreamblecl _462743 :: nil), memb Sym (eols :: modbody _463159 :: eofs :: nil), first Sym A, !, (_444183 = _444192 :: nil), parse [modpreamble _444183,B|Alpha] [A|Beta] Result Str. parse [modpreamble _444243,modpreamblecl _444234,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modheader _463410 :: modpreamblecl _463380 :: nil), memb Sym (eols :: modbody _463796 :: eofs :: nil), first Sym A, !, (_444183 = _444234 :: _444243), parse [modpreamble _444183,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _444287,importt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modheader _464108 :: modpreamblecl _464078 :: nil), memb Sym (eols :: modbody _464875 :: eofs :: modpreamble _464967 :: nil), first Sym A, !, (_444276 = importmod _444287), parse [modpreamblecl _444276,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _444335,accumulatet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modheader _465277 :: modpreamblecl _465247 :: nil), memb Sym (eols :: modbody _466044 :: eofs :: modpreamble _466136 :: nil), first Sym A, !, (_444276 = accummod _444335), parse [modpreamblecl _444276,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _444383,accumsigt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modheader _466446 :: modpreamblecl _466416 :: nil), memb Sym (eols :: modbody _467213 :: eofs :: modpreamble _467305 :: nil), first Sym A, !, (_444276 = saccummod _444383), parse [modpreamblecl _444276,B|Alpha] [A|Beta] Result Str. parse [sigpreamble _444443,dott,idlist _444431,accumsigt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigheader _467610 :: dott :: nil), memb Sym (eols :: signdecls _467996 :: eofs :: nil), first Sym A, !, (_444420 = saccummod _444431 :: _444443), parse [sigpreamble _444420,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _444492,accumsigt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigheader _468287 :: dott :: nil), memb Sym (eols :: signdecls _468673 :: eofs :: nil), first Sym A, !, (_444420 = saccummod _444492 :: nil), parse [sigpreamble _444420,B|Alpha] [A|Beta] Result Str. parse [modbody _444552,modsigndecl _444543,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _469079 :: modheader _469037 :: modsigndecl _469001 :: modclause _468971 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444535 = _444543 :: _444552), parse [modbody _444535,B|Alpha] [A|Beta] Result Str. parse [modbody _444602,modclause _444593,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _470004 :: modheader _469962 :: modsigndecl _469926 :: modclause _469896 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444535 = modcls _444593 :: _444602), parse [modbody _444535,B|Alpha] [A|Beta] Result Str. parse [modsigndecl _444649,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _470929 :: modheader _470887 :: modsigndecl _470851 :: modclause _470821 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444535 = _444649 :: nil), parse [modbody _444535,B|Alpha] [A|Beta] Result Str. parse [modclause _444692,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _471854 :: modheader _471812 :: modsigndecl _471776 :: modclause _471746 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444535 = modcls _444692 :: nil), parse [modbody _444535,B|Alpha] [A|Beta] Result Str. parse [signdecls _444748,signdecl _444739,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _472691 :: sigheader _472655 :: signdecl _472625 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444731 = _444739 :: _444748), parse [signdecls _444731,B|Alpha] [A|Beta] Result Str. parse [signdecl _444790,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _473514 :: sigheader _473478 :: signdecl _473448 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_444731 = _444790 :: nil), parse [signdecls _444731,B|Alpha] [A|Beta] Result Str. parse [dott,akind _444843,idlist _444835,kindt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _474398 :: sigheader _474362 :: signdecl _474332 :: modpreamble _475239 :: modheader _475197 :: modsigndecl _475161 :: modclause _475131 :: nil), memb Sym (eols :: signdecls _477179 :: modbody _477130 :: eofs :: nil), first Sym A, !, (_444824 = kinddec _444835 _444843), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,atype _444900,idlist _444892,typet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _477540 :: sigheader _477504 :: signdecl _477474 :: modpreamble _478381 :: modheader _478339 :: modsigndecl _478303 :: modclause _478273 :: nil), memb Sym (eols :: signdecls _480321 :: modbody _480272 :: eofs :: nil), first Sym A, !, (_444824 = typedec _444892 _444900), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,iconst _444962,idlist _444954,fixity _444946,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _480682 :: sigheader _480646 :: signdecl _480616 :: modpreamble _481523 :: modheader _481481 :: modsigndecl _481445 :: modclause _481415 :: nil), memb Sym (eols :: signdecls _483463 :: modbody _483414 :: eofs :: nil), first Sym A, !, (_444824 = fixdec _444946 _444954 _444962), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _445012,exportdeft,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _483824 :: sigheader _483788 :: signdecl _483758 :: modpreamble _484665 :: modheader _484623 :: modsigndecl _484587 :: modclause _484557 :: nil), memb Sym (eols :: signdecls _486605 :: modbody _486556 :: eofs :: nil), first Sym A, !, (_444824 = expdec _445012 notype), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,atype _445069,idlist _445061,exportdeft,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _486966 :: sigheader _486930 :: signdecl _486900 :: modpreamble _487807 :: modheader _487765 :: modsigndecl _487729 :: modclause _487699 :: nil), memb Sym (eols :: signdecls _489747 :: modbody _489698 :: eofs :: nil), first Sym A, !, (_444824 = expdec _445061 _445069), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _445118,useonlyt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _490108 :: sigheader _490072 :: signdecl _490042 :: modpreamble _490949 :: modheader _490907 :: modsigndecl _490871 :: modclause _490841 :: nil), memb Sym (eols :: signdecls _492889 :: modbody _492840 :: eofs :: nil), first Sym A, !, (_444824 = usedec _445118 notype), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [dott,atype _445175,idlist _445167,useonlyt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _493250 :: sigheader _493214 :: signdecl _493184 :: modpreamble _494091 :: modheader _494049 :: modsigndecl _494013 :: modclause _493983 :: nil), memb Sym (eols :: signdecls _496031 :: modbody _495982 :: eofs :: nil), first Sym A, !, (_444824 = usedec _445167 _445175), parse [signdecl _444824,B|Alpha] [A|Beta] Result Str. parse [signdecl _445222,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _496496 :: modheader _496454 :: modsigndecl _496418 :: modclause _496388 :: nil), memb Sym (eols :: modbody _497654 :: eofs :: nil), first Sym A, !, (_445213 = _445222), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _445261,localt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _498105 :: modheader _498063 :: modsigndecl _498027 :: modclause _497997 :: nil), memb Sym (eols :: modbody _499263 :: eofs :: nil), first Sym A, !, (_445213 = localdec _445261 notype), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,atype _445318,idlist _445310,localt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _499714 :: modheader _499672 :: modsigndecl _499636 :: modclause _499606 :: nil), memb Sym (eols :: modbody _500872 :: eofs :: nil), first Sym A, !, (_445213 = localdec _445310 _445318), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _445367,localkindt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _501323 :: modheader _501281 :: modsigndecl _501245 :: modclause _501215 :: nil), memb Sym (eols :: modbody _502481 :: eofs :: nil), first Sym A, !, (_445213 = localkinddec _445367 nokind), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,akind _445424,idlist _445416,localkindt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _502932 :: modheader _502890 :: modsigndecl _502854 :: modclause _502824 :: nil), memb Sym (eols :: modbody _504090 :: eofs :: nil), first Sym A, !, (_445213 = localkinddec _445367 _445424), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,idlist _445473,closedt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _504541 :: modheader _504499 :: modsigndecl _504463 :: modclause _504433 :: nil), memb Sym (eols :: modbody _505699 :: eofs :: nil), first Sym A, !, (_445213 = closeddec _445367 notype), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [dott,atype _445530,idlist _445522,localkindt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _506150 :: modheader _506108 :: modsigndecl _506072 :: modclause _506042 :: nil), memb Sym (eols :: modbody _507308 :: eofs :: nil), first Sym A, !, (_445213 = closeddec _445522 _445530), parse [modsigndecl _445213,B|Alpha] [A|Beta] Result Str. parse [typet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _507534 :: nil), memb Sym (eols :: dott :: arrowt :: nil), first Sym A, !, (_445568 = basekind), parse [akind _445568,B|Alpha] [A|Beta] Result Str. parse [typet,arrowt,akind _445608,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _508097 :: nil), memb Sym (eols :: dott :: arrowt :: nil), first Sym A, !, (_445568 = (_445608 karr basekind)), parse [akind _445568,B|Alpha] [A|Beta] Result Str. parse [lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _509055 :: modheader _509013 :: modsigndecl _508977 :: modclause _508947 :: rimpt :: impt :: comma :: andt :: piid _514299 :: sigmaid _514008 :: semicolon :: term _513741 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _536567 :: piid _536525 :: sigmaid _536489 :: typedid _536459 :: nil), first Sym A, !, (true), parse [telparen,B|Alpha] [A|Beta] Result Str. parse [infixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _536995 :: sigheader _536959 :: signdecl _536929 :: modpreamble _537836 :: modheader _537794 :: modsigndecl _537758 :: modclause _537728 :: nil), memb Sym (eols :: idlist _538513 :: nil), first Sym A, !, (_445668 = inf), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [infixlt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _538915 :: sigheader _538879 :: signdecl _538849 :: modpreamble _539756 :: modheader _539714 :: modsigndecl _539678 :: modclause _539648 :: nil), memb Sym (eols :: idlist _540433 :: nil), first Sym A, !, (_445668 = infl), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [infixrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _540835 :: sigheader _540799 :: signdecl _540769 :: modpreamble _541676 :: modheader _541634 :: modsigndecl _541598 :: modclause _541568 :: nil), memb Sym (eols :: idlist _542353 :: nil), first Sym A, !, (_445668 = infr), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [prefixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _542755 :: sigheader _542719 :: signdecl _542689 :: modpreamble _543596 :: modheader _543554 :: modsigndecl _543518 :: modclause _543488 :: nil), memb Sym (eols :: idlist _544273 :: nil), first Sym A, !, (_445668 = pref), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [prefixrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _544675 :: sigheader _544639 :: signdecl _544609 :: modpreamble _545516 :: modheader _545474 :: modsigndecl _545438 :: modclause _545408 :: nil), memb Sym (eols :: idlist _546193 :: nil), first Sym A, !, (_445668 = prefr), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [postfixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _546595 :: sigheader _546559 :: signdecl _546529 :: modpreamble _547436 :: modheader _547394 :: modsigndecl _547358 :: modclause _547328 :: nil), memb Sym (eols :: idlist _548113 :: nil), first Sym A, !, (_445668 = postf), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [postfixlt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: sigpreamble _548515 :: sigheader _548479 :: signdecl _548449 :: modpreamble _549356 :: modheader _549314 :: modsigndecl _549278 :: modclause _549248 :: nil), memb Sym (eols :: idlist _550033 :: nil), first Sym A, !, (_445668 = postfl), parse [fixity _445668,B|Alpha] [A|Beta] Result Str. parse [dott,clause _445900,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _550486 :: modheader _550444 :: modsigndecl _550408 :: modclause _550378 :: nil), memb Sym (eols :: modbody _551644 :: eofs :: nil), first Sym A, !, (_445892 = _445900), parse [modclause _445892,B|Alpha] [A|Beta] Result Str. parse [term _445941,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _552156 :: modheader _552114 :: modsigndecl _552078 :: modclause _552048 :: nil), memb Sym (eols :: dott :: nil), first Sym A, !, (_445932 = _445941), parse [clause _445932,B|Alpha] [A|Beta] Result Str. parse [term _445989,rimpt,term _445977,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _553314 :: modheader _553272 :: modsigndecl _553236 :: modclause _553206 :: rimpt :: impt :: comma :: andt :: piid _558558 :: telparen :: sigmaid _558267 :: semicolon :: term _558000 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _562377 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (rimp @ _445977 @ _445989)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446049,impt,term _446037,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _563894 :: modheader _563852 :: modsigndecl _563816 :: modclause _563786 :: rimpt :: impt :: comma :: andt :: piid _569138 :: telparen :: sigmaid _568847 :: semicolon :: term _568580 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _572957 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (imp @ _446037 @ _446049)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446109,comma,term _446097,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _574474 :: modheader _574432 :: modsigndecl _574396 :: modclause _574366 :: rimpt :: impt :: comma :: andt :: piid _579718 :: telparen :: sigmaid _579427 :: semicolon :: term _579160 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _583537 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (and @ _446097 @ _446109)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446169,andt,term _446157,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _585054 :: modheader _585012 :: modsigndecl _584976 :: modclause _584946 :: rimpt :: impt :: comma :: andt :: piid _590298 :: telparen :: sigmaid _590007 :: semicolon :: term _589740 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _594117 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (and @ _446157 @ _446169)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446226,piid _446217,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _595634 :: modheader _595592 :: modsigndecl _595556 :: modclause _595526 :: rimpt :: impt :: comma :: andt :: piid _600878 :: telparen :: sigmaid _600587 :: semicolon :: term _600320 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _604697 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (forall _446217 @ _446226)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [rparen,term _446276,telparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _606214 :: modheader _606172 :: modsigndecl _606136 :: modclause _606106 :: rimpt :: impt :: comma :: andt :: piid _611458 :: telparen :: sigmaid _611167 :: semicolon :: term _610900 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _615277 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = _446276), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [failt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _616794 :: modheader _616752 :: modsigndecl _616716 :: modclause _616686 :: rimpt :: impt :: comma :: andt :: piid _622038 :: telparen :: sigmaid _621747 :: semicolon :: term _621480 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _625857 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = failure), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [trutht,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _627374 :: modheader _627332 :: modsigndecl _627296 :: modclause _627266 :: rimpt :: impt :: comma :: andt :: piid _632618 :: telparen :: sigmaid _632327 :: semicolon :: term _632060 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _636437 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = truth), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [falset,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _637954 :: modheader _637912 :: modsigndecl _637876 :: modclause _637846 :: rimpt :: impt :: comma :: andt :: piid _643198 :: telparen :: sigmaid _642907 :: semicolon :: term _642640 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _647017 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = lies), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [cutt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _648534 :: modheader _648492 :: modsigndecl _648456 :: modclause _648426 :: rimpt :: impt :: comma :: andt :: piid _653778 :: telparen :: sigmaid _653487 :: semicolon :: term _653220 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _657597 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = cut), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446453,sigmaid _446444,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _659114 :: modheader _659072 :: modsigndecl _659036 :: modclause _659006 :: rimpt :: impt :: comma :: andt :: piid _664358 :: telparen :: sigmaid _664067 :: semicolon :: term _663800 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _668177 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (thereexists _446444 @ _446453)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446512,semicolon,term _446500,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _669694 :: modheader _669652 :: modsigndecl _669616 :: modclause _669586 :: rimpt :: impt :: comma :: andt :: piid _674938 :: telparen :: sigmaid _674647 :: semicolon :: term _674380 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _678757 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (or @ _446500 @ _446512)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [negt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _680274 :: modheader _680232 :: modsigndecl _680196 :: modclause _680166 :: rimpt :: impt :: comma :: andt :: piid _685518 :: telparen :: sigmaid _685227 :: semicolon :: term _684960 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _689337 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = neg), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446601,term _446592,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _690854 :: modheader _690812 :: modsigndecl _690776 :: modclause _690746 :: rimpt :: impt :: comma :: andt :: piid _696098 :: telparen :: sigmaid _695807 :: semicolon :: term _695540 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _699917 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (_446592 @ _446601)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446655,slasht,typedid _446643,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _701434 :: modheader _701392 :: modsigndecl _701356 :: modclause _701326 :: rimpt :: impt :: comma :: andt :: piid _706678 :: telparen :: sigmaid _706387 :: semicolon :: term _706120 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _710497 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (formlam _446643 _446655 _446668 , _445969 = _446668), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _446716,slasht,id _446704,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _712014 :: modheader _711972 :: modsigndecl _711936 :: modclause _711906 :: rimpt :: impt :: comma :: andt :: piid _717258 :: telparen :: sigmaid _716967 :: semicolon :: term _716700 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _721077 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (formlam _446704 _446716 _446729 , _445969 = _446729), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [rbracket,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _722594 :: modheader _722552 :: modsigndecl _722516 :: modclause _722486 :: rimpt :: impt :: comma :: andt :: piid _727838 :: telparen :: sigmaid _727547 :: semicolon :: term _727280 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _731657 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = listwith nil), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [rbracket,termlist _446809,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _733174 :: modheader _733132 :: modsigndecl _733096 :: modclause _733066 :: rimpt :: impt :: comma :: andt :: piid _738418 :: telparen :: sigmaid _738127 :: semicolon :: term _737860 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _742237 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = listwith _446809), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [rbracket,termlist _446868,vert,term _446857,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _743754 :: modheader _743712 :: modsigndecl _743676 :: modclause _743646 :: rimpt :: impt :: comma :: andt :: piid _748998 :: telparen :: sigmaid _748707 :: semicolon :: term _748440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _752817 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = listwith (_446857 :: _446868)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [id _446917,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _754334 :: modheader _754292 :: modsigndecl _754256 :: modclause _754226 :: rimpt :: impt :: comma :: andt :: piid _759578 :: telparen :: sigmaid _759287 :: semicolon :: term _759020 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _763397 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = freevar _446917), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [termlist _446970,concatt,term _446958,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _764914 :: modheader _764872 :: modsigndecl _764836 :: modclause _764806 :: rimpt :: impt :: comma :: andt :: piid _770158 :: telparen :: sigmaid _769867 :: semicolon :: term _769600 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _773977 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = listwith (_446958 :: _446970)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [iconst _447015,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _775494 :: modheader _775452 :: modsigndecl _775416 :: modclause _775386 :: rimpt :: impt :: comma :: andt :: piid _780738 :: telparen :: sigmaid _780447 :: semicolon :: term _780180 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _784557 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = intterm _447015), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [sconst _447057,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _786074 :: modheader _786032 :: modsigndecl _785996 :: modclause _785966 :: rimpt :: impt :: comma :: andt :: piid _791318 :: telparen :: sigmaid _791027 :: semicolon :: term _790760 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _795137 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stringterm _447057), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [nilt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _796654 :: modheader _796612 :: modsigndecl _796576 :: modclause _796546 :: rimpt :: impt :: comma :: andt :: piid _801898 :: telparen :: sigmaid _801607 :: semicolon :: term _801340 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _805717 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = nillist), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [gentermt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _807234 :: modheader _807192 :: modsigndecl _807156 :: modclause _807126 :: rimpt :: impt :: comma :: andt :: piid _812478 :: telparen :: sigmaid _812187 :: semicolon :: term _811920 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _816297 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = genterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447174,addt,term _447162,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _817814 :: modheader _817772 :: modsigndecl _817736 :: modclause _817706 :: rimpt :: impt :: comma :: andt :: piid _823058 :: telparen :: sigmaid _822767 :: semicolon :: term _822500 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _826877 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (add @ _447162 @ _447174)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447234,subt,term _447222,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _828394 :: modheader _828352 :: modsigndecl _828316 :: modclause _828286 :: rimpt :: impt :: comma :: andt :: piid _833638 :: telparen :: sigmaid _833347 :: semicolon :: term _833080 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _837457 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (sub @ _447222 @ _447234)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447294,mult,term _447282,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _838974 :: modheader _838932 :: modsigndecl _838896 :: modclause _838866 :: rimpt :: impt :: comma :: andt :: piid _844218 :: telparen :: sigmaid _843927 :: semicolon :: term _843660 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _848037 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (mul @ _447282 @ _447294)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447354,divt,term _447342,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _849554 :: modheader _849512 :: modsigndecl _849476 :: modclause _849446 :: rimpt :: impt :: comma :: andt :: piid _854798 :: telparen :: sigmaid _854507 :: semicolon :: term _854240 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _858617 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (divf @ _447342 @ _447354)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447414,modt,term _447402,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _860134 :: modheader _860092 :: modsigndecl _860056 :: modclause _860026 :: rimpt :: impt :: comma :: andt :: piid _865378 :: telparen :: sigmaid _865087 :: semicolon :: term _864820 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _869197 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (modf @ _447402 @ _447414)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447474,ltt,term _447462,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _870714 :: modheader _870672 :: modsigndecl _870636 :: modclause _870606 :: rimpt :: impt :: comma :: andt :: piid _875958 :: telparen :: sigmaid _875667 :: semicolon :: term _875400 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _879777 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (lt @ _447462 @ _447474)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447534,ltet,term _447522,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _881294 :: modheader _881252 :: modsigndecl _881216 :: modclause _881186 :: rimpt :: impt :: comma :: andt :: piid _886538 :: telparen :: sigmaid _886247 :: semicolon :: term _885980 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _890357 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (leq @ _447522 @ _447534)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447594,gtt,term _447582,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _891874 :: modheader _891832 :: modsigndecl _891796 :: modclause _891766 :: rimpt :: impt :: comma :: andt :: piid _897118 :: telparen :: sigmaid _896827 :: semicolon :: term _896560 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _900937 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (gt @ _447582 @ _447594)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447654,gtet,term _447642,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _902454 :: modheader _902412 :: modsigndecl _902376 :: modclause _902346 :: rimpt :: impt :: comma :: andt :: piid _907698 :: telparen :: sigmaid _907407 :: semicolon :: term _907140 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _911517 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (geq @ _447642 @ _447654)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447714,eqlt,term _447702,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _913034 :: modheader _912992 :: modsigndecl _912956 :: modclause _912926 :: rimpt :: impt :: comma :: andt :: piid _918278 :: telparen :: sigmaid _917987 :: semicolon :: term _917720 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _922097 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (eql @ _447702 @ _447714)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447774,ist,term _447762,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _923614 :: modheader _923572 :: modsigndecl _923536 :: modclause _923506 :: rimpt :: impt :: comma :: andt :: piid _928858 :: telparen :: sigmaid _928567 :: semicolon :: term _928300 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _932677 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (iss @ _447762 @ _447774)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [term _447834,sconcatt,term _447822,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _934194 :: modheader _934152 :: modsigndecl _934116 :: modclause _934086 :: rimpt :: impt :: comma :: andt :: piid _939438 :: telparen :: sigmaid _939147 :: semicolon :: term _938880 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _943257 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = (sconcat @ _447822 @ _447834)), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [haltt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _944774 :: modheader _944732 :: modsigndecl _944696 :: modclause _944666 :: rimpt :: impt :: comma :: andt :: piid _950018 :: telparen :: sigmaid _949727 :: semicolon :: term _949460 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _953837 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = haltterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stopt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _955354 :: modheader _955312 :: modsigndecl _955276 :: modclause _955246 :: rimpt :: impt :: comma :: andt :: piid _960598 :: telparen :: sigmaid _960307 :: semicolon :: term _960040 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _964417 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stopterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [inttorealt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _965934 :: modheader _965892 :: modsigndecl _965856 :: modclause _965826 :: rimpt :: impt :: comma :: andt :: piid _971178 :: telparen :: sigmaid _970887 :: semicolon :: term _970620 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _974997 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = inttorealterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [abst,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _976514 :: modheader _976472 :: modsigndecl _976436 :: modclause _976406 :: rimpt :: impt :: comma :: andt :: piid _981758 :: telparen :: sigmaid _981467 :: semicolon :: term _981200 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _985577 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = absterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [sqrtt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _987094 :: modheader _987052 :: modsigndecl _987016 :: modclause _986986 :: rimpt :: impt :: comma :: andt :: piid _992338 :: telparen :: sigmaid _992047 :: semicolon :: term _991780 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _996157 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = sqrtterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [sint,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _997674 :: modheader _997632 :: modsigndecl _997596 :: modclause _997566 :: rimpt :: impt :: comma :: andt :: piid _1002918 :: telparen :: sigmaid _1002627 :: semicolon :: term _1002360 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1006737 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = sinterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [cost,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1008254 :: modheader _1008212 :: modsigndecl _1008176 :: modclause _1008146 :: rimpt :: impt :: comma :: andt :: piid _1013498 :: telparen :: sigmaid _1013207 :: semicolon :: term _1012940 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1017317 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = costerm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [arctant,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1018834 :: modheader _1018792 :: modsigndecl _1018756 :: modclause _1018726 :: rimpt :: impt :: comma :: andt :: piid _1024078 :: telparen :: sigmaid _1023787 :: semicolon :: term _1023520 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1027897 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = arctanterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [lnt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1029414 :: modheader _1029372 :: modsigndecl _1029336 :: modclause _1029306 :: rimpt :: impt :: comma :: andt :: piid _1034658 :: telparen :: sigmaid _1034367 :: semicolon :: term _1034100 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1038477 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = lnterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [floort,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1039994 :: modheader _1039952 :: modsigndecl _1039916 :: modclause _1039886 :: rimpt :: impt :: comma :: andt :: piid _1045238 :: telparen :: sigmaid _1044947 :: semicolon :: term _1044680 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1049057 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = floorterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [ceilt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1050574 :: modheader _1050532 :: modsigndecl _1050496 :: modclause _1050466 :: rimpt :: impt :: comma :: andt :: piid _1055818 :: telparen :: sigmaid _1055527 :: semicolon :: term _1055260 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1059637 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = ceilterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [truncatet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1061154 :: modheader _1061112 :: modsigndecl _1061076 :: modclause _1061046 :: rimpt :: impt :: comma :: andt :: piid _1066398 :: telparen :: sigmaid _1066107 :: semicolon :: term _1065840 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1070217 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = truncterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [rabst,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1071734 :: modheader _1071692 :: modsigndecl _1071656 :: modclause _1071626 :: rimpt :: impt :: comma :: andt :: piid _1076978 :: telparen :: sigmaid _1076687 :: semicolon :: term _1076420 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1080797 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = rabsterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [sizet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1082314 :: modheader _1082272 :: modsigndecl _1082236 :: modclause _1082206 :: rimpt :: impt :: comma :: andt :: piid _1087558 :: telparen :: sigmaid _1087267 :: semicolon :: term _1087000 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1091377 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = sizeterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stringtointt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1092894 :: modheader _1092852 :: modsigndecl _1092816 :: modclause _1092786 :: rimpt :: impt :: comma :: andt :: piid _1098138 :: telparen :: sigmaid _1097847 :: semicolon :: term _1097580 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1101957 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stringtointterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [substringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1103474 :: modheader _1103432 :: modsigndecl _1103396 :: modclause _1103366 :: rimpt :: impt :: comma :: andt :: piid _1108718 :: telparen :: sigmaid _1108427 :: semicolon :: term _1108160 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1112537 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = substringterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [inttostringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1114054 :: modheader _1114012 :: modsigndecl _1113976 :: modclause _1113946 :: rimpt :: impt :: comma :: andt :: piid _1119298 :: telparen :: sigmaid _1119007 :: semicolon :: term _1118740 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1123117 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = inttostringterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [realtostringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1124634 :: modheader _1124592 :: modsigndecl _1124556 :: modclause _1124526 :: rimpt :: impt :: comma :: andt :: piid _1129878 :: telparen :: sigmaid _1129587 :: semicolon :: term _1129320 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1133697 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = realtostringterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stdint,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1135214 :: modheader _1135172 :: modsigndecl _1135136 :: modclause _1135106 :: rimpt :: impt :: comma :: andt :: piid _1140458 :: telparen :: sigmaid _1140167 :: semicolon :: term _1139900 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1144277 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stdinterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stdoutt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1145794 :: modheader _1145752 :: modsigndecl _1145716 :: modclause _1145686 :: rimpt :: impt :: comma :: andt :: piid _1151038 :: telparen :: sigmaid _1150747 :: semicolon :: term _1150480 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1154857 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stdoutterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stderrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1156374 :: modheader _1156332 :: modsigndecl _1156296 :: modclause _1156266 :: rimpt :: impt :: comma :: andt :: piid _1161618 :: telparen :: sigmaid _1161327 :: semicolon :: term _1161060 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1165437 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stderrterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [chrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1166954 :: modheader _1166912 :: modsigndecl _1166876 :: modclause _1166846 :: rimpt :: impt :: comma :: andt :: piid _1172198 :: telparen :: sigmaid _1171907 :: semicolon :: term _1171640 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1176017 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = chrterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [openint,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1177534 :: modheader _1177492 :: modsigndecl _1177456 :: modclause _1177426 :: rimpt :: impt :: comma :: andt :: piid _1182778 :: telparen :: sigmaid _1182487 :: semicolon :: term _1182220 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1186597 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = openinterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [openoutt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1188114 :: modheader _1188072 :: modsigndecl _1188036 :: modclause _1188006 :: rimpt :: impt :: comma :: andt :: piid _1193358 :: telparen :: sigmaid _1193067 :: semicolon :: term _1192800 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1197177 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = openoutterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [openappendt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1198694 :: modheader _1198652 :: modsigndecl _1198616 :: modclause _1198586 :: rimpt :: impt :: comma :: andt :: piid _1203938 :: telparen :: sigmaid _1203647 :: semicolon :: term _1203380 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1207757 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = openappendterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [openstringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1209274 :: modheader _1209232 :: modsigndecl _1209196 :: modclause _1209166 :: rimpt :: impt :: comma :: andt :: piid _1214518 :: telparen :: sigmaid _1214227 :: semicolon :: term _1213960 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1218337 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = openstringterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [closeint,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1219854 :: modheader _1219812 :: modsigndecl _1219776 :: modclause _1219746 :: rimpt :: impt :: comma :: andt :: piid _1225098 :: telparen :: sigmaid _1224807 :: semicolon :: term _1224540 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1228917 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = closeinterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [closeoutt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1230434 :: modheader _1230392 :: modsigndecl _1230356 :: modclause _1230326 :: rimpt :: impt :: comma :: andt :: piid _1235678 :: telparen :: sigmaid _1235387 :: semicolon :: term _1235120 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1239497 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = closeoutterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [termtostringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1241014 :: modheader _1240972 :: modsigndecl _1240936 :: modclause _1240906 :: rimpt :: impt :: comma :: andt :: piid _1246258 :: telparen :: sigmaid _1245967 :: semicolon :: term _1245700 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1250077 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = termtostringterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [stringtotermt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1251594 :: modheader _1251552 :: modsigndecl _1251516 :: modclause _1251486 :: rimpt :: impt :: comma :: andt :: piid _1256838 :: telparen :: sigmaid _1256547 :: semicolon :: term _1256280 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1260657 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = stringtotermterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [inputt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1262174 :: modheader _1262132 :: modsigndecl _1262096 :: modclause _1262066 :: rimpt :: impt :: comma :: andt :: piid _1267418 :: telparen :: sigmaid _1267127 :: semicolon :: term _1266860 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1271237 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = inputterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [outputt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1272754 :: modheader _1272712 :: modsigndecl _1272676 :: modclause _1272646 :: rimpt :: impt :: comma :: andt :: piid _1277998 :: telparen :: sigmaid _1277707 :: semicolon :: term _1277440 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1281817 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = outputterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [inputlinet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1283334 :: modheader _1283292 :: modsigndecl _1283256 :: modclause _1283226 :: rimpt :: impt :: comma :: andt :: piid _1288578 :: telparen :: sigmaid _1288287 :: semicolon :: term _1288020 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1292397 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = inputlineterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [lookaheadt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1293914 :: modheader _1293872 :: modsigndecl _1293836 :: modclause _1293806 :: rimpt :: impt :: comma :: andt :: piid _1299158 :: telparen :: sigmaid _1298867 :: semicolon :: term _1298600 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1302977 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = lookaheadterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [eoft,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1304494 :: modheader _1304452 :: modsigndecl _1304416 :: modclause _1304386 :: rimpt :: impt :: comma :: andt :: piid _1309738 :: telparen :: sigmaid _1309447 :: semicolon :: term _1309180 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1313557 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = eofterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [flusht,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1315074 :: modheader _1315032 :: modsigndecl _1314996 :: modclause _1314966 :: rimpt :: impt :: comma :: andt :: piid _1320318 :: telparen :: sigmaid _1320027 :: semicolon :: term _1319760 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1324137 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = flushterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [printt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1325654 :: modheader _1325612 :: modsigndecl _1325576 :: modclause _1325546 :: rimpt :: impt :: comma :: andt :: piid _1330898 :: telparen :: sigmaid _1330607 :: semicolon :: term _1330340 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1334717 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = print_term), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [readt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1336234 :: modheader _1336192 :: modsigndecl _1336156 :: modclause _1336126 :: rimpt :: impt :: comma :: andt :: piid _1341478 :: telparen :: sigmaid _1341187 :: semicolon :: term _1340920 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1345297 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = read_term), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [printtermt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1346814 :: modheader _1346772 :: modsigndecl _1346736 :: modclause _1346706 :: rimpt :: impt :: comma :: andt :: piid _1352058 :: telparen :: sigmaid _1351767 :: semicolon :: term _1351500 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1355877 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = printtermterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [readtermt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1357394 :: modheader _1357352 :: modsigndecl _1357316 :: modclause _1357286 :: rimpt :: impt :: comma :: andt :: piid _1362638 :: telparen :: sigmaid _1362347 :: semicolon :: term _1362080 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1366457 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: rbracket :: tcomma :: nil), first Sym A, !, (_445969 = readtermterm), parse [term _445969,B|Alpha] [A|Beta] Result Str. parse [atype _449174,arrowt,atype _449162,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1368484 :: arrowt :: atype _1368397 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1370273 :: term _1369619 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = (_449162 arr _449174)), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [formt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1371624 :: arrowt :: atype _1371537 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1373413 :: term _1372759 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = basetype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [listt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1374764 :: arrowt :: atype _1374677 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1376553 :: term _1375899 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = listof), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [atype _449289,atype _449280,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1377904 :: arrowt :: atype _1377817 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1379693 :: term _1379039 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = tapp _449280 _449289), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [id _449332,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1381044 :: arrowt :: atype _1380957 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1382833 :: term _1382179 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = userty _449332), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [rparen,atype _449376,lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1384184 :: arrowt :: atype _1384097 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1385973 :: term _1385319 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = _449376), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [intt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1387324 :: arrowt :: atype _1387237 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1389113 :: term _1388459 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = inttype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [stringt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1390464 :: arrowt :: atype _1390377 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1392253 :: term _1391599 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = stringtype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [realt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1393604 :: arrowt :: atype _1393517 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1395393 :: term _1394739 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = realtype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [instreamt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1396744 :: arrowt :: atype _1396657 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1398533 :: term _1397879 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = intype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [outstreamt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: idlist _1399884 :: arrowt :: atype _1399797 :: lparen :: colon :: nil), memb Sym (eols :: dott :: arrowt :: atype _1401673 :: term _1401019 :: slasht :: rparen :: nil), first Sym A, !, (_449154 = outtype), parse [atype _449154,B|Alpha] [A|Beta] Result Str. parse [comma,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: term _1402081 :: nil), memb Sym (eols :: termlist _1402184 :: nil), first Sym A, !, (true), parse [tcomma,B|Alpha] [A|Beta] Result Str. parse [term _449596,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: rbracket :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1405564 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: tcomma :: nil), first Sym A, !, (_449587 = _449596 :: nil), parse [termlist _449587,B|Alpha] [A|Beta] Result Str. parse [termlist _449650,tcomma,term _449638,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: lbracket :: vert :: concatt :: tcomma :: nil), memb Sym (eols :: rbracket :: dott :: rimpt :: impt :: comma :: andt :: rparen :: semicolon :: term _1410315 :: vert :: concatt :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: tcomma :: nil), first Sym A, !, (_449587 = _449638 :: _449650), parse [termlist _449587,B|Alpha] [A|Beta] Result Str. parse [pit,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1412306 :: modheader _1412264 :: modsigndecl _1412228 :: modclause _1412198 :: rimpt :: impt :: comma :: andt :: piid _1417550 :: sigmaid _1417259 :: semicolon :: term _1416992 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1418825 :: rparen :: nil), first Sym A, !, (_449683 = notype), parse [piid _449683,B|Alpha] [A|Beta] Result Str. parse [atype _449730,colon,pit,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1419435 :: modheader _1419393 :: modsigndecl _1419357 :: modclause _1419327 :: rimpt :: impt :: comma :: andt :: piid _1424679 :: sigmaid _1424388 :: semicolon :: term _1424121 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1425954 :: rparen :: nil), first Sym A, !, (_449683 = _449730), parse [piid _449683,B|Alpha] [A|Beta] Result Str. parse [rparen,piid _449769,telparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1426564 :: modheader _1426522 :: modsigndecl _1426486 :: modclause _1426456 :: rimpt :: impt :: comma :: andt :: piid _1431808 :: sigmaid _1431517 :: semicolon :: term _1431250 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1433083 :: rparen :: nil), first Sym A, !, (_449683 = _449769), parse [piid _449683,B|Alpha] [A|Beta] Result Str. parse [sigmat,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1433701 :: modheader _1433659 :: modsigndecl _1433623 :: modclause _1433593 :: rimpt :: impt :: comma :: andt :: piid _1438945 :: sigmaid _1438654 :: semicolon :: term _1438387 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1440220 :: rparen :: nil), first Sym A, !, (_449801 = notype), parse [sigmaid _449801,B|Alpha] [A|Beta] Result Str. parse [atype _449848,colon,sigmat,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1440830 :: modheader _1440788 :: modsigndecl _1440752 :: modclause _1440722 :: rimpt :: impt :: comma :: andt :: piid _1446074 :: sigmaid _1445783 :: semicolon :: term _1445516 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1447349 :: rparen :: nil), first Sym A, !, (_449801 = _449848), parse [sigmaid _449801,B|Alpha] [A|Beta] Result Str. parse [rparen,sigmaid _449887,telparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1447959 :: modheader _1447917 :: modsigndecl _1447881 :: modclause _1447851 :: rimpt :: impt :: comma :: andt :: piid _1453203 :: sigmaid _1452912 :: semicolon :: term _1452645 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: term _1454478 :: rparen :: nil), first Sym A, !, (_449801 = _449887), parse [sigmaid _449801,B|Alpha] [A|Beta] Result Str. parse [atype _449939,colon,id _449927,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1455096 :: modheader _1455054 :: modsigndecl _1455018 :: modclause _1454988 :: rimpt :: impt :: comma :: andt :: piid _1460340 :: sigmaid _1460049 :: semicolon :: term _1459782 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: slasht :: rparen :: nil), first Sym A, !, (_449919 = _449927), parse [typedid _449919,B|Alpha] [A|Beta] Result Str. parse [rparen,typedid _449978,telparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modpreamble _1462229 :: modheader _1462187 :: modsigndecl _1462151 :: modclause _1462121 :: rimpt :: impt :: comma :: andt :: piid _1467473 :: sigmaid _1467182 :: semicolon :: term _1466915 :: slasht :: addt :: subt :: mult :: divt :: modt :: ltt :: ltet :: gtt :: gtet :: eqlt :: ist :: sconcatt :: lbracket :: vert :: concatt :: tcomma :: telparen :: nil), memb Sym (eols :: slasht :: rparen :: nil), first Sym A, !, (_449919 = _449978), parse [typedid _449919,B|Alpha] [A|Beta] Result Str. parse [id _450019,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: importt :: accumulatet :: accumsigt :: kindt :: typet :: fixity _1470353 :: exportdeft :: useonlyt :: localt :: closedt :: localkindt :: nil), memb Sym (eols :: iconst _1472782 :: akind _1472517 :: dott :: atype _1472442 :: comma :: nil), first Sym A, !, (_450010 = _450019 :: nil), parse [idlist _450010,B|Alpha] [A|Beta] Result Str. parse [id _450070,nontermst _450061,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: importt :: accumulatet :: accumsigt :: kindt :: typet :: fixity _1474652 :: exportdeft :: useonlyt :: localt :: closedt :: localkindt :: nil), memb Sym (eols :: iconst _1477081 :: akind _1476816 :: dott :: atype _1476741 :: comma :: nil), first Sym A, !, (_450010 = _450070 :: _450061), parse [idlist _450010,B|Alpha] [A|Beta] Result Str. parse [comma,idlist _450112,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: importt :: accumulatet :: accumsigt :: kindt :: typet :: fixity _1478958 :: exportdeft :: useonlyt :: localt :: closedt :: localkindt :: nil), memb Sym (eols :: id _1479638 :: nil), first Sym A, !, (_450104 = _450112), parse [nontermst _450104,B|Alpha] [A|Beta] Result Str. parse V I R "error" :- !, finderrline V I,print "Remaining Input = ", print_tokens 10 I, !, fail.