

#include "BUILTIN.h"
extern OBJ __APForm_1;
extern OBJ __APForm_2;
extern OBJ __APForm_3;
extern OBJ __APForm_4;
extern OBJ __APForm_5;
extern OBJ __AModForm_15;
extern OBJ _APExpr_1(OBJ);extern OBJ __APExpr_1;
extern OBJ _APExpr_37(OBJ,OBJ);extern OBJ __APExpr_37;
extern OBJ __AModExpr_2;
extern OBJ __AModExpr_4;
extern OBJ __AModExpr_7;
extern OBJ __AModExpr_8;
extern OBJ __AModExpr_9;
extern OBJ __AStruct_35;
extern OBJ __AModMix_1;
extern OBJ __AModMix_3;
extern OBJ __AModMix_5;
extern OBJ __AModMix_7;
extern OBJ __AModMix_8;
extern OBJ _AToken_8(OBJ,OBJ);extern OBJ __AToken_8;
extern OBJ _AToken_9(OBJ,OBJ);extern OBJ __AToken_9;
extern OBJ _AToken_16(OBJ);extern OBJ __AToken_16;
extern OBJ __APCommon_1;
extern OBJ __APCommon_2;
extern OBJ _APCommon_4(OBJ);extern OBJ __APCommon_4;
extern OBJ __APCommon_60;
extern OBJ _APErr_4(OBJ,OBJ,OBJ);extern OBJ __APErr_4;
extern OBJ _APErr_9(OBJ,OBJ);extern OBJ __APErr_9;
extern OBJ _APErr_11(OBJ,OBJ);extern OBJ __APErr_11;
extern OBJ _APErr_12(OBJ,OBJ);extern OBJ __APErr_12;
extern OBJ _APErr_13(OBJ,OBJ);extern OBJ __APErr_13;
extern OBJ _APErr_14(OBJ,OBJ);extern OBJ __APErr_14;
extern OBJ _APErr_17(OBJ);extern OBJ __APErr_17;
extern OBJ __APErr_25;
extern OBJ _AOcOptions_4(OBJ);extern OBJ __AOcOptions_4;
extern OBJ _AOcOptions_7(OBJ);extern OBJ __AOcOptions_7;
extern OBJ _AOcOptions_9(OBJ);extern OBJ __AOcOptions_9;
extern OBJ _AOcOptions_10(OBJ);extern OBJ __AOcOptions_10;
extern OBJ _AOcOptions_14(OBJ,OBJ);extern OBJ __AOcOptions_14;
extern OBJ __AOcOptions_33;
extern OBJ _AOcOptions_34(OBJ);extern OBJ __AOcOptions_34;
extern OBJ __AOcOptions_151;
extern OBJ __ABaseParser_19;
extern OBJ __ABaseParser_20;
extern OBJ _ABaseParser_26(OBJ,OBJ);extern OBJ __ABaseParser_26;
extern OBJ _ABaseParser_36(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABaseParser_36;
extern OBJ _ABaseParser_38(OBJ,OBJ,OBJ);extern OBJ __ABaseParser_38;
extern OBJ _ABaseParser_40(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABaseParser_40;
extern OBJ _ABaseParser_42(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABaseParser_42;
extern OBJ _ABaseParser_44(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABaseParser_44;
extern OBJ _ABaseParser_46(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABaseParser_46;
extern OBJ __ABaseParser_47;
extern OBJ __ABaseParser_48;
extern OBJ _ABaseParser_50(OBJ,OBJ);extern OBJ __ABaseParser_50;
extern OBJ _ABaseParser_54(OBJ,OBJ,OBJ);extern OBJ __ABaseParser_54;
extern OBJ _ABaseParser_61(OBJ,OBJ);extern OBJ __ABaseParser_61;
extern OBJ _ABaseParser_64(OBJ,OBJ);extern OBJ __ABaseParser_64;
extern OBJ _ABaseParser_68(OBJ,OBJ);extern OBJ __ABaseParser_68;
extern OBJ _ABaseParser_71(OBJ,OBJ);extern OBJ __ABaseParser_71;
extern OBJ __ASeq_6;
extern OBJ _ASeq_31(OBJ,OBJ);extern OBJ __ASeq_31;
extern OBJ _ASeq_32(OBJ,OBJ);extern OBJ __ASeq_32;
extern OBJ _ASeq_52(OBJ,OBJ);extern OBJ __ASeq_52;
extern OBJ _APTypes_14(OBJ);extern OBJ __APTypes_14;
extern OBJ __AZOpts_1;
extern OBJ __AZOpts_12;
extern OBJ __AZOpts_13;
extern OBJ __AZOpts_14;
extern OBJ __AZOpts_17;
extern OBJ _ACom_23(OBJ);extern OBJ __ACom_23;
extern OBJ _ACom_47(OBJ,OBJ);extern OBJ __ACom_47;
extern OBJ _APostParser_1(OBJ);extern OBJ __APostParser_1;

#include "Nat.h"
extern OBJ __AAbsy_2;
extern OBJ _AAbsy_79(OBJ);extern OBJ __AAbsy_79;
extern OBJ __AOcVerbose_2;
extern OBJ __AOcVerbose_3;
extern OBJ _AOcVerbose_4(OBJ,OBJ,OBJ);extern OBJ __AOcVerbose_4;
extern OBJ __AOcError_12;
extern OBJ __AOcError_15;
extern OBJ _AOcError_16(OBJ,OBJ,OBJ);extern OBJ __AOcError_16;
extern OBJ _AOcError_21(OBJ,OBJ);extern OBJ __AOcError_21;
extern OBJ _AOcError_22(OBJ);extern OBJ __AOcError_22;
extern OBJ _AOcError_25(OBJ,OBJ);extern OBJ __AOcError_25;

#include "Char.h"
extern OBJ __AOcExit_1;

#include "NatConv.h"

#include "Denotation.h"
extern OBJ _AComCompose_3(OBJ,OBJ);extern OBJ __AComCompose_3;
extern OBJ _AComCompose_4(OBJ,OBJ);extern OBJ __AComCompose_4;
extern OBJ _AComCompose_5(OBJ,OBJ);extern OBJ __AComCompose_5;
extern OBJ _AComCompose_6(OBJ,OBJ);extern OBJ __AComCompose_6;

#include "Int.h"
extern OBJ _ASeqReduce_3(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_3;
extern OBJ __ARep_97;
extern OBJ __ARep_98;
extern OBJ _ARep_119(OBJ);extern OBJ __ARep_119;
extern OBJ _ASeqMap_3(OBJ,OBJ);extern OBJ __ASeqMap_3;
extern OBJ _AOcPos_34(OBJ);extern OBJ __AOcPos_34;
extern OBJ _ASeqFilter_7(OBJ,OBJ);extern OBJ __ASeqFilter_7;
extern OBJ __ATerminal_4;
extern OBJ __ATerminal_8;
extern OBJ __ATerminal_10;
extern OBJ __ATerminal_12;
extern OBJ __ATerminal_14;
extern OBJ __ATerminal_16;
extern OBJ __ATerminal_20;
extern OBJ __ATerminal_22;
extern OBJ __ATerminal_24;
extern OBJ __ATerminal_26;
extern OBJ __ATerminal_32;
extern OBJ __ATerminal_34;
extern OBJ __ATerminal_48;
extern OBJ __ATerminal_52;
extern OBJ __ATerminal_56;
extern OBJ __ATerminal_58;
extern OBJ __ATerminal_72;
extern OBJ __ATerminal_74;
extern OBJ __ATerminal_76;
extern OBJ __ATerminal_80;
extern OBJ __ATerminal_82;
extern OBJ __ATerminal_84;
extern OBJ __ATerminal_86;
extern OBJ __ATerminal_88;
extern OBJ __ATerminal_94;
extern OBJ __ATerminal_100;
extern OBJ __ATerminal_104;
extern OBJ __ATerminal_108;
extern OBJ __ATerminal_110;
extern OBJ __ATerminal_114;
extern OBJ __ATerminal_120;
extern OBJ __ATerminal_122;
extern OBJ __ATerminal_126;
extern OBJ __ATerminal_132;
extern OBJ __ATerminal_134;
extern OBJ __ATerminal_136;
extern OBJ __ATerminal_138;
extern OBJ _ATerminal_141(OBJ,OBJ);extern OBJ __ATerminal_141;
extern OBJ _ATerminal_145(OBJ);extern OBJ __ATerminal_145;
extern OBJ __ATerminal_146;
extern OBJ _ASeqIndex_2(OBJ,OBJ);extern OBJ __ASeqIndex_2;
extern OBJ _ASet_39(OBJ,OBJ,OBJ);extern OBJ __ASet_39;
extern OBJ _ASet_42(OBJ,OBJ,OBJ);extern OBJ __ASet_42;
extern OBJ _ASet_44(OBJ,OBJ,OBJ);extern OBJ __ASet_44;
extern OBJ _ADEBUG_2(OBJ,OBJ,OBJ);extern OBJ __ADEBUG_2;
extern OBJ _ADEBUG_10(OBJ);extern OBJ __ADEBUG_10;

#include "Real.h"
extern OBJ __AModBase_8;
extern OBJ __AModBase_9;
extern OBJ __AModBase_12;
extern OBJ __AModBase_13;

#include "Bitset.h"
extern OBJ __AModBody_1;
extern OBJ __AModBody_2;
extern OBJ __AModBody_3;
extern OBJ __AModBody_4;
extern OBJ __AModBody_5;
extern OBJ __AModBody_6;
extern OBJ __AModBody_7;
extern OBJ __AModBody_8;
extern OBJ __AModBody_9;
extern OBJ __AModBody_10;
extern OBJ _AModBody_11(OBJ);extern OBJ __AModBody_11;
extern OBJ _AModBody_12(OBJ);extern OBJ __AModBody_12;
extern OBJ __AModBody_13;
extern OBJ __AModBody_14;
extern OBJ __AModBody_15;
extern OBJ __AModBody_16;
extern OBJ __AModBody_17;
extern OBJ __AModBody_18;
extern OBJ _AModBody_19(OBJ);extern OBJ __AModBody_19;
extern OBJ __AModBody_20;
extern OBJ __AModBody_21;

#include "Array.h"
extern OBJ __APName_1;
extern OBJ __APName_2;
extern OBJ __APName_4;
extern OBJ __APName_5;
extern OBJ __APName_6;
extern OBJ __APName_7;
extern OBJ __AModName_5;
extern OBJ _AParser_1(OBJ,OBJ);OBJ __AParser_1; /* parseSign */
extern OBJ _AParser_2(OBJ,OBJ);OBJ __AParser_2; /* parseImpl */
extern OBJ _AParser_3(OBJ,OBJ);OBJ __AParser_3; /* parseExtp */
extern OBJ _AParser_4(OBJ,OBJ);OBJ __AParser_4; /* parseIntp */
extern OBJ _AParser_5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_5; /* parse */
extern OBJ _AParser_6(OBJ);OBJ __AParser_6; /* prntTSS */
extern OBJ _AParser_7(OBJ,OBJ,OBJ);OBJ __AParser_7; /* postParse */
extern OBJ _AParser_8(OBJ,OBJ);OBJ __AParser_8; /* parseSignature */
extern OBJ _AParser_9(OBJ,OBJ);OBJ __AParser_9; /* parseImplementation */
extern OBJ _AParser_10(OBJ,OBJ);OBJ __AParser_10; /* parseExtProps */
extern OBJ _AParser_11(OBJ,OBJ);OBJ __AParser_11; /* parseIntProps */
extern OBJ _AParser_12(OBJ,OBJ);OBJ __AParser_12; /* parseTheory */
extern OBJ _AParser_13(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_13; /* parse,1 */
extern OBJ _AParser_14(OBJ,OBJ,OBJ);OBJ __AParser_14; /* pHead */
extern OBJ _AParser_15(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_15; /* pBody */
extern OBJ _AParser_16(OBJ);OBJ __AParser_16; /* defSign? */
extern OBJ _AParser_17(OBJ,OBJ,OBJ);OBJ __AParser_17; /* parsSigBody */
extern OBJ _AParser_18(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_18; /* parsBody */
extern OBJ _AParser_19(OBJ,OBJ);OBJ __AParser_19; /* pImport */
extern OBJ _AParser_20(OBJ);OBJ __AParser_20; /* pImport,1 */
extern OBJ _AParser_21(OBJ,OBJ,OBJ);OBJ __AParser_21; /* pRelation */
extern OBJ _AParser_22(OBJ,OBJ);OBJ __AParser_22; /* pRelation,1 */
extern OBJ _AParser_23(OBJ,OBJ);OBJ __AParser_23; /* pFun */
extern OBJ _AParser_24(OBJ);OBJ __AParser_24; /* pFun,1 */
extern OBJ _AParser_25(OBJ,OBJ);OBJ __AParser_25; /* pSort */
extern OBJ _AParser_26(OBJ,OBJ);OBJ __AParser_26; /* pType */
extern OBJ _AParser_27(OBJ,OBJ);OBJ __AParser_27; /* pData */
extern OBJ _AParser_28(OBJ);OBJ __AParser_28; /* pDataType */
OBJ __AParser_29; /* pVariant */
OBJ __AParser_30; /* pComps */
extern OBJ _AParser_31(OBJ,OBJ);OBJ __AParser_31; /* pDef */
extern OBJ _AParser_32(OBJ,OBJ);OBJ __AParser_32; /* pDef,1 */
extern OBJ _AParser_34(OBJ);OBJ __AParser_34; /* pTopLhs */
extern OBJ _AParser_35(OBJ,OBJ);OBJ __AParser_35; /* pLhs */
extern OBJ _AParser_36(OBJ,OBJ);OBJ __AParser_36; /* pLhsExprS */
extern OBJ _AParser_37(OBJ,OBJ);OBJ __AParser_37; /* pLhsExpr */
extern OBJ _AParser_38(OBJ);OBJ __AParser_38; /* errKey */
OBJ __AParser_39; /* top */
OBJ __AParser_40; /* inside */
extern OBJ _AParser_41(OBJ,OBJ);OBJ __AParser_41; /* pLaw */
extern OBJ _AParser_42(OBJ,OBJ);OBJ __AParser_42; /* pPragma */
OBJ __AParser_43; /* tracePrag? */
extern OBJ _AParser_44(OBJ);OBJ __AParser_44; /* pPragItem */
OBJ __AParser_45; /* prLexemSet */
OBJ __AParser_46; /* prNoLexem */
extern OBJ _AParser_47(OBJ,OBJ);OBJ __AParser_47; /* pProof */
extern OBJ _AParser_48(OBJ,OBJ);OBJ __AParser_48; /* pProofHead */
extern OBJ _AParser_49(OBJ,OBJ);OBJ __AParser_49; /* pProofBody */
OBJ __AParser_50; /* postParse'50 */
OBJ __AParser_51; /* parse'51 */
OBJ __AParser_52; /* parse'52 */
OBJ __AParser_53; /* parse'53 */
extern OBJ _AParser_54(OBJ,OBJ);OBJ __AParser_54; /* parse'54 */
OBJ __AParser_55; /* parse'55 */
extern OBJ _AParser_56(OBJ);OBJ __AParser_56; /* parse'56 */
extern OBJ _AParser_57(OBJ,OBJ,OBJ);OBJ __AParser_57; /* parse'57 */
extern OBJ _AParser_58(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_58; /* parse'58 */
extern OBJ _AParser_59(OBJ);OBJ __AParser_59; /* pHead'59 */
extern OBJ _AParser_60(OBJ,OBJ,OBJ);OBJ __AParser_60; /* pHead'60 */
OBJ __AParser_61; /* defSign?'61 */
extern OBJ _AParser_62(OBJ);OBJ __AParser_62; /* pImport,1'62 */
extern OBJ _AParser_63(OBJ);OBJ __AParser_63; /* pImport,1'63 */
extern OBJ _AParser_64(OBJ);OBJ __AParser_64; /* pImport,1'64 */
OBJ __AParser_65; /* pImport,1'65 */
extern OBJ _AParser_66(OBJ);OBJ __AParser_66; /* pImport,1'66 */
extern OBJ _AParser_67(OBJ);OBJ __AParser_67; /* pImport,1'67 */
extern OBJ _AParser_68(OBJ);OBJ __AParser_68; /* pImport,1'68 */
extern OBJ _AParser_69(OBJ);OBJ __AParser_69; /* pImport,1'69 */
extern OBJ _AParser_70(OBJ);OBJ __AParser_70; /* pImport,1'70 */
extern OBJ _AParser_71(OBJ);OBJ __AParser_71; /* pImport,1'71 */
extern OBJ _AParser_72(OBJ);OBJ __AParser_72; /* pImport,1'72 */
OBJ __AParser_73; /* pImport'73 */
OBJ __AParser_74; /* pImport'74 */
extern OBJ _AParser_75(OBJ);OBJ __AParser_75; /* pImport'75 */
extern OBJ _AParser_76(OBJ);OBJ __AParser_76; /* pImport'76 */
extern OBJ _AParser_77(OBJ);OBJ __AParser_77; /* pImport'77 */
extern OBJ _AParser_78(OBJ,OBJ,OBJ);OBJ __AParser_78; /* pImport'78 */
extern OBJ _AParser_79(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_79; /* pImport'79 */
extern OBJ _AParser_80(OBJ);OBJ __AParser_80; /* pRelation,1'80 */
extern OBJ _AParser_81(OBJ);OBJ __AParser_81; /* pRelation,1'81 */
extern OBJ _AParser_82(OBJ);OBJ __AParser_82; /* pRelation,1'82 */
OBJ __AParser_83; /* pRelation,1'83 */
extern OBJ _AParser_84(OBJ);OBJ __AParser_84; /* pRelation,1'84 */
extern OBJ _AParser_85(OBJ);OBJ __AParser_85; /* pRelation,1'85 */
extern OBJ _AParser_86(OBJ);OBJ __AParser_86; /* pRelation,1'86 */
extern OBJ _AParser_87(OBJ);OBJ __AParser_87; /* pRelation,1'87 */
extern OBJ _AParser_88(OBJ);OBJ __AParser_88; /* pRelation,1'88 */
extern OBJ _AParser_89(OBJ);OBJ __AParser_89; /* pRelation,1'89 */
extern OBJ _AParser_90(OBJ);OBJ __AParser_90; /* pRelation,1'90 */
OBJ __AParser_91; /* pRelation'91 */
extern OBJ _AParser_92(OBJ,OBJ,OBJ);OBJ __AParser_92; /* pRelation'92 */
extern OBJ _AParser_93(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_93; /* pRelation'93 */
OBJ __AParser_94; /* pFun'94 */
OBJ __AParser_95; /* pFun'95 */
OBJ __AParser_96; /* pFun'96 */
extern OBJ _AParser_97(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_97; /* pFun'97 */
extern OBJ _AParser_98(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_98; /* pFun'98 */
extern OBJ _AParser_99(OBJ,OBJ);OBJ __AParser_99; /* pFun'99 */
extern OBJ _AParser_100(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_100; /* pFun'100 */
extern OBJ _AParser_101(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_101; /* pFun'101 */
OBJ __AParser_102; /* pSort'102 */
extern OBJ _AParser_103(OBJ);OBJ __AParser_103; /* pSort'103 */
extern OBJ _AParser_104(OBJ);OBJ __AParser_104; /* pSort'104 */
extern OBJ _AParser_105(OBJ,OBJ,OBJ);OBJ __AParser_105; /* pSort'105 */
extern OBJ _AParser_106(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_106; /* pSort'106 */
extern OBJ _AParser_107(OBJ);OBJ __AParser_107; /* pDataType'107 */
extern OBJ _AParser_108(OBJ);OBJ __AParser_108; /* pDataType'108 */
OBJ __AParser_109; /* pDataType'109 */
extern OBJ _AParser_110(OBJ);OBJ __AParser_110; /* pDataType'110 */
extern OBJ _AParser_111(OBJ);OBJ __AParser_111; /* pDataType'111 */
extern OBJ _AParser_112(OBJ,OBJ,OBJ);OBJ __AParser_112; /* pDataType'112 */
extern OBJ _AParser_113(OBJ,OBJ);OBJ __AParser_113; /* pDataType'113 */
OBJ __AParser_114; /* pType'114 */
extern OBJ _AParser_115(OBJ);OBJ __AParser_115; /* pType'115 */
extern OBJ _AParser_116(OBJ,OBJ,OBJ);OBJ __AParser_116; /* pType'116 */
extern OBJ _AParser_117(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_117; /* pType'117 */
OBJ __AParser_118; /* pData'118 */
extern OBJ _AParser_119(OBJ);OBJ __AParser_119; /* pData'119 */
extern OBJ _AParser_120(OBJ,OBJ,OBJ);OBJ __AParser_120; /* pData'120 */
extern OBJ _AParser_121(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_121; /* pData'121 */
extern OBJ _AParser_122(OBJ);OBJ __AParser_122; /* errKey'122 */
extern OBJ _AParser_123(OBJ);OBJ __AParser_123; /* pLhs'123 */
extern OBJ _AParser_124(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_124; /* pLhs'124 */
extern OBJ _AParser_125(OBJ,OBJ,OBJ);OBJ __AParser_125; /* pLhs'125 */
extern OBJ _AParser_126(OBJ);OBJ __AParser_126; /* pLhsExpr'126 */
extern OBJ _AParser_127(OBJ);OBJ __AParser_127; /* pLhsExpr'127 */
extern OBJ _AParser_128(OBJ);OBJ __AParser_128; /* pLhsExpr'128 */
extern OBJ _AParser_129(OBJ,OBJ);OBJ __AParser_129; /* pLhsExpr'129 */
extern OBJ _AParser_130(OBJ);OBJ __AParser_130; /* pLhsExpr'130 */
extern OBJ _AParser_131(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_131; /* pLhsExpr'131 */
extern OBJ _AParser_132(OBJ,OBJ,OBJ);OBJ __AParser_132; /* pLhsExpr'132 */
extern OBJ _AParser_133(OBJ);OBJ __AParser_133; /* pLhsExprS'133 */
OBJ __AParser_134; /* pTopLhs'134 */
extern OBJ _AParser_135(OBJ);OBJ __AParser_135; /* pTopLhs'135 */
extern OBJ _AParser_136(OBJ,OBJ,OBJ);OBJ __AParser_136; /* pTopLhs'136 */
extern OBJ _AParser_137(OBJ,OBJ);OBJ __AParser_137; /* pTopLhs'137 */
extern OBJ _AParser_138(OBJ);OBJ __AParser_138; /* pDef,1'138 */
extern OBJ _AParser_139(OBJ);OBJ __AParser_139; /* pDef,1'139 */
extern OBJ _AParser_140(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_140; /* pDef,1'140 */
extern OBJ _AParser_141(OBJ,OBJ,OBJ);OBJ __AParser_141; /* pDef,1'141 */
extern OBJ _AParser_142(OBJ);OBJ __AParser_142; /* pDef'142 */
OBJ __AParser_143; /* pDef'143 */
OBJ __AParser_144; /* pDef'144 */
extern OBJ _AParser_145(OBJ,OBJ);OBJ __AParser_145; /* pDef'145 */
extern OBJ _AParser_146(OBJ,OBJ,OBJ);OBJ __AParser_146; /* pDef'146 */
extern OBJ _AParser_147(OBJ,OBJ,OBJ);OBJ __AParser_147; /* pDef'147 */
OBJ __AParser_148; /* pLaw'148 */
extern OBJ _AParser_149(OBJ);OBJ __AParser_149; /* pLaw'149 */
extern OBJ _AParser_150(OBJ);OBJ __AParser_150; /* pLaw'150 */
extern OBJ _AParser_151(OBJ,OBJ,OBJ);OBJ __AParser_151; /* pLaw'151 */
extern OBJ _AParser_152(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_152; /* pLaw'152 */
OBJ __AParser_153; /* pPragma'153 */
extern OBJ _AParser_154(OBJ);OBJ __AParser_154; /* pPragma'154 */
extern OBJ _AParser_155(OBJ);OBJ __AParser_155; /* pPragma'155 */
extern OBJ _AParser_156(OBJ);OBJ __AParser_156; /* pPragma'156 */
OBJ __AParser_157; /* pPragma'157 */
extern OBJ _AParser_158(OBJ,OBJ);OBJ __AParser_158; /* pPragma'158 */
extern OBJ _AParser_159(OBJ,OBJ,OBJ);OBJ __AParser_159; /* pPragma'159 */
extern OBJ _AParser_160(OBJ,OBJ,OBJ);OBJ __AParser_160; /* pPragma'160 */
OBJ __AParser_161; /* pProof'161 */
extern OBJ _AParser_162(OBJ,OBJ,OBJ);OBJ __AParser_162; /* pProof'162 */
extern OBJ _AParser_163(OBJ,OBJ,OBJ);OBJ __AParser_163; /* pProof'163 */
OBJ __AParser_164; /* pProofHead'164 */
extern OBJ _AParser_165(OBJ,OBJ,OBJ);OBJ __AParser_165; /* pProofHead'165 */
extern OBJ _AParser_166(OBJ,OBJ,OBJ);OBJ __AParser_166; /* pProofHead'166 */
OBJ __AParser_167; /* pProofBody'167 */
extern OBJ _AParser_168(OBJ,OBJ,OBJ);OBJ __AParser_168; /* pProofBody'168 */
extern OBJ _AParser_169(OBJ,OBJ,OBJ);OBJ __AParser_169; /* pProofBody'169 */
OBJ __AParser_170; /* parsSigBody'170 */
OBJ __AParser_171; /* parsSigBody'171 */
OBJ __AParser_172; /* parsSigBody'172 */
extern OBJ _AParser_173(OBJ);OBJ __AParser_173; /* parsSigBody'173 */
OBJ __AParser_174; /* parsSigBody'174 */
OBJ __AParser_175; /* parsSigBody'175 */
OBJ __AParser_176; /* parsSigBody'176 */
extern OBJ _AParser_177(OBJ);OBJ __AParser_177; /* parsSigBody'177 */
extern OBJ _AParser_178(OBJ);OBJ __AParser_178; /* parsSigBody'178 */
extern OBJ _AParser_179(OBJ);OBJ __AParser_179; /* parsSigBody'179 */
extern OBJ _AParser_180(OBJ);OBJ __AParser_180; /* parsSigBody'180 */
OBJ __AParser_181; /* parsBody'181 */
OBJ __AParser_182; /* parsBody'182 */
OBJ __AParser_183; /* parsBody'183 */
extern OBJ _AParser_184(OBJ);OBJ __AParser_184; /* parsBody'184 */
OBJ __AParser_185; /* parsBody'185 */
OBJ __AParser_186; /* parsBody'186 */
extern OBJ _AParser_187(OBJ);OBJ __AParser_187; /* parsBody'187 */
extern OBJ _AParser_188(OBJ);OBJ __AParser_188; /* parsBody'188 */
extern OBJ _AParser_189(OBJ);OBJ __AParser_189; /* parsBody'189 */
extern OBJ _AParser_190(OBJ);OBJ __AParser_190; /* parsBody'190 */
extern OBJ _AParser_191(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AParser_191; /* pBody'191 */
OBJ __AParser_192; /* parse,1'192 */
extern OBJ _AParser_193(OBJ);OBJ __AParser_193; /* parse,1'193 */
extern OBJ _AParser_194(OBJ);OBJ __AParser_194; /* parse,1'194 */
extern OBJ _AParser_195(OBJ,OBJ);OBJ __AParser_195; /* parse,1'195 */
extern OBJ _AParser_196(OBJ,OBJ,OBJ);OBJ __AParser_196; /* parse,1'196 */
extern OBJ _AParser_197(OBJ,OBJ);OBJ __AParser_197; /* parse,1'197 */
extern OBJ _AParser_198(OBJ,OBJ,OBJ,OBJ);OBJ __AParser_198; /* parse,1'198 */
extern OBJ _AParser_199(OBJ);OBJ __AParser_199; /* parseSignature'199 */
extern OBJ _AParser_200(OBJ);OBJ __AParser_200; /* parseTheory'200 */
OBJ __AParser_201; /* parseSign'201 */
OBJ __AParser_202; /* parseSign'202 */
extern OBJ _AParser_203(OBJ);OBJ __AParser_203; /* parseImplementation'203 */
OBJ __AParser_204; /* parseImpl'204 */
extern OBJ _AParser_205(OBJ);OBJ __AParser_205; /* parseExtProps'205 */
extern OBJ _AParser_206(OBJ);OBJ __AParser_206; /* parseExtProps'206 */
extern OBJ _AParser_207(OBJ);OBJ __AParser_207; /* parseExtProps'207 */
OBJ __AParser_208; /* parseExtp'208 */
extern OBJ _AParser_209(OBJ);OBJ __AParser_209; /* parseIntProps'209 */
extern OBJ _AParser_210(OBJ);OBJ __AParser_210; /* parseIntProps'210 */
extern OBJ _AParser_211(OBJ);OBJ __AParser_211; /* parseIntProps'211 */
OBJ __AParser_212; /* parseIntp'212 */
OBJ __AParser_213; /* tracePrag?'213 */
extern OBJ _AParser_214(OBJ);OBJ __AParser_214; /* pPragItem'214 */
extern OBJ _AParser_215(OBJ);OBJ __AParser_215; /* pPragItem'215 */
extern OBJ _AParser_216(OBJ);OBJ __AParser_216; /* pPragItem'216 */
extern OBJ _AParser_217(OBJ);OBJ __AParser_217; /* pPragItem'217 */
extern OBJ _AParser_218(OBJ,OBJ);OBJ __AParser_218; /* pPragItem'218 */
extern OBJ _AParser_219(OBJ,OBJ);OBJ __AParser_219; /* pPragItem'219 */
extern OBJ _AParser_220(OBJ);OBJ __AParser_220; /* pFun,1'220 */
extern OBJ _AParser_221(OBJ);OBJ __AParser_221; /* pFun,1'221 */
extern OBJ _AParser_222(OBJ);OBJ __AParser_222; /* pFun,1'222 */
extern OBJ _AParser_223(OBJ,OBJ);OBJ __AParser_223; /* pFun,1'223 */

extern OBJ _AParser_1(OBJ x1,OBJ x2) /* parseSign */
{OBJ r;
 {OBJ x25=FLD1(x2,1);OBJ x26=FLD1(x2,2);
  if(EXPRD(x2,1)){
   DSPRDF(x2);
  }else{
   COPY(x25,1);CPPRD(x26,1);
   FRPRD(x2,1);}
  {OBJ x30;OBJ x27;OBJ x31;OBJ x36;OBJ x32;OBJ x41;
   if(ISPRM(x25)){
    x30=__ABUILTIN_3;
   }else{
    CPPRD(x25,1);
    x30=__ABUILTIN_5;}
   x27=_ASeq_31(__ANat_9,x25);
   x31=_ASeq_52(x27,__ANat_5);
   if(ISTGPRM(x30,1)){
    {OBJ x35;
     if(ISPRM(x25)){
      HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
     }else{
      {OBJ x33=FLD1(x25,1);
       CPPRD(x33,1);
       x35=x33;}}
     x36=_AToken_8(x35,__ATerminal_26);}
   }else{
    x36=__ABUILTIN_3;}
   ANat_76(x31,__ANat_9,x32);
   if(ISTGPRM(x32,1)){
    COPY(x25,1);
    {OBJ x37;
     x37=_ASeqIndex_2(x25,__ANat_8);
     {OBJ x39=FLD1(x37,2);
      if(EXPRD(x37,1)){
       FREE(FLD1(x37,3),1);DSPRDF(x37);
      }else{
       CPPRD(x39,1);
       FRPRD(x37,1);}
      x41=_ARep_119(x39);}}
   }else{
    CPPRD(__ADenotation_3,1);
    x41=__ADenotation_3;}
   if(ISTGPRM(x36,1)){
    CPCLS(__AParser_12,1);
    CPPRD(__AParser_201,1);
    r=_AParser_5(x1,x25,x26,__AParser_201,x41,__AParser_12);
   }else{
    CPCLS(__AParser_8,1);
    CPPRD(__AParser_202,1);
    r=_AParser_5(x1,x25,x26,__AParser_202,x41,__AParser_8);}}}
 return r;}

extern OBJ _AParser_2(OBJ x1,OBJ x2) /* parseImpl */
{OBJ r;
 {OBJ x18=FLD1(x2,1);OBJ x19=FLD1(x2,2);
  if(EXPRD(x2,1)){
   COPY(x18,1);
   DSPRDF(x2);
  }else{
   COPY(x18,2);CPPRD(x19,1);
   FRPRD(x2,1);}
  {OBJ x20;OBJ x21;OBJ x22;OBJ x27;
   x20=_ASeq_31(__ANat_9,x18);
   x21=_ASeq_52(x20,__ANat_5);
   ANat_76(x21,__ANat_9,x22);
   if(ISTGPRM(x22,1)){
    COPY(x18,1);
    {OBJ x23;
     x23=_ASeqIndex_2(x18,__ANat_8);
     {OBJ x25=FLD1(x23,2);
      if(EXPRD(x23,1)){
       FREE(FLD1(x23,3),1);DSPRDF(x23);
      }else{
       CPPRD(x25,1);
       FRPRD(x23,1);}
      CPCLS(__AParser_9,1);
      CPPRD(__AParser_204,1);
      x27=_ARep_119(x25);}}
   }else{
    CPCLS(__AParser_9,1);
    CPPRD(__AParser_204,1);
    CPPRD(__ADenotation_3,1);
    x27=__ADenotation_3;}
   r=_AParser_5(x1,x18,x19,__AParser_204,x27,__AParser_9);}}
 return r;}

extern OBJ _AParser_3(OBJ x1,OBJ x2) /* parseExtp */
{OBJ r;
 {OBJ x18=FLD1(x2,1);OBJ x19=FLD1(x2,2);
  if(EXPRD(x2,1)){
   COPY(x18,1);
   DSPRDF(x2);
  }else{
   COPY(x18,2);CPPRD(x19,1);
   FRPRD(x2,1);}
  {OBJ x20;OBJ x21;OBJ x22;OBJ x27;
   x20=_ASeq_31(__ANat_10,x18);
   x21=_ASeq_52(x20,__ANat_5);
   ANat_76(x21,__ANat_10,x22);
   if(ISTGPRM(x22,1)){
    COPY(x18,1);
    {OBJ x23;
     x23=_ASeqIndex_2(x18,__ANat_9);
     {OBJ x25=FLD1(x23,2);
      if(EXPRD(x23,1)){
       FREE(FLD1(x23,3),1);DSPRDF(x23);
      }else{
       CPPRD(x25,1);
       FRPRD(x23,1);}
      CPCLS(__AParser_10,1);
      CPPRD(__AParser_208,1);
      x27=_ARep_119(x25);}}
   }else{
    CPCLS(__AParser_10,1);
    CPPRD(__AParser_208,1);
    CPPRD(__ADenotation_3,1);
    x27=__ADenotation_3;}
   r=_AParser_5(x1,x18,x19,__AParser_208,x27,__AParser_10);}}
 return r;}

extern OBJ _AParser_4(OBJ x1,OBJ x2) /* parseIntp */
{OBJ r;
 {OBJ x18=FLD1(x2,1);OBJ x19=FLD1(x2,2);
  if(EXPRD(x2,1)){
   COPY(x18,1);
   DSPRDF(x2);
  }else{
   COPY(x18,2);CPPRD(x19,1);
   FRPRD(x2,1);}
  {OBJ x20;OBJ x21;OBJ x22;OBJ x27;
   x20=_ASeq_31(__ANat_10,x18);
   x21=_ASeq_52(x20,__ANat_5);
   ANat_76(x21,__ANat_10,x22);
   if(ISTGPRM(x22,1)){
    COPY(x18,1);
    {OBJ x23;
     x23=_ASeqIndex_2(x18,__ANat_9);
     {OBJ x25=FLD1(x23,2);
      if(EXPRD(x23,1)){
       FREE(FLD1(x23,3),1);DSPRDF(x23);
      }else{
       CPPRD(x25,1);
       FRPRD(x23,1);}
      CPCLS(__AParser_11,1);
      CPPRD(__AParser_212,1);
      x27=_ARep_119(x25);}}
   }else{
    CPCLS(__AParser_11,1);
    CPPRD(__AParser_212,1);
    CPPRD(__ADenotation_3,1);
    x27=__ADenotation_3;}
   r=_AParser_5(x1,x18,x19,__AParser_212,x27,__AParser_11);}}
 return r;}

extern OBJ _AParser_5(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6) /* parse */
{OBJ r;
 CPPRD(__AParser_51,1);
 CPPRD(__AParser_52,1);
 CPPRD(__AParser_53,1);
 CPCLS(__AParser_58,1);
 CPPRD(x1,2);
 COPY(x2,1);
 {OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;OBJ x15;OBJ x16;
  ADenotation_4(x5,__AParser_51,x7);
  x8=_ASeq_52(x2,__ANat_5);
  ADenotation_4(x4,x7,x9);
  ANatConv_1(x8,x10);
  ADenotation_4(__AParser_52,x9,x11);
  ADenotation_4(__AParser_53,x10,x12);
  x13=_AOcVerbose_4(x1,__AOcVerbose_2,x11);
  x14=_AOcVerbose_4(x1,__AOcVerbose_2,x12);
  x15=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_58,4))(__AParser_58,x1,x2,x3,x6);
  x16=_AComCompose_3(x14,x15);
  r=_AComCompose_4(x13,x16);}
 return r;}

extern OBJ _AParser_6(OBJ x1) /* prntTSS */
{OBJ r;
 CPCLS(__AToken_16,1);
 CPPRD(__ADenotation_3,1);
 CPCLS(__ADenotation_4,1);
 {OBJ x2;
  x2=_ASeqMap_3(__AToken_16,x1);
  r=_ASeqReduce_3(__ADenotation_4,__ADenotation_3,x2);}
 return r;}

extern OBJ _AParser_7(OBJ x1,OBJ x2,OBJ x3) /* postParse */
{OBJ r;
 CPPRD(__AParser_50,1);
 {OBJ x4;OBJ x5;OBJ x6;OBJ x7;
  x4=_AOcVerbose_4(x1,__AOcVerbose_2,__AParser_50);
  PRD1(2,x5);FLD1(x5,1)=x2;FLD1(x5,2)=x3;
  x6=_APostParser_1(x5);
  x7=_ACom_23(x6);
  r=_AComCompose_6(x4,x7);}
 return r;}

extern OBJ _AParser_8(OBJ x1,OBJ x2) /* parseSignature */
{OBJ r;
 CPCLS(__AParser_199,1);
 COPY(__AModBody_2,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_199,1))(__AParser_199,__ABUILTIN_20);
  r=_AParser_13(x1,x2,x3,__AModBody_2);}
 return r;}

extern OBJ _AParser_9(OBJ x1,OBJ x2) /* parseImplementation */
{OBJ r;
 CPCLS(__AParser_203,1);
 COPY(__AModBody_1,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_203,1))(__AParser_203,__ABUILTIN_20);
  r=_AParser_13(x1,x2,x3,__AModBody_1);}
 return r;}

extern OBJ _AParser_10(OBJ x1,OBJ x2) /* parseExtProps */
{OBJ r;
 CPCLS(__AParser_207,1);
 COPY(__AModBody_3,1);
 {OBJ x5;
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_207,1))(__AParser_207,__ABUILTIN_20);
  r=_AParser_13(x1,x2,x5,__AModBody_3);}
 return r;}

extern OBJ _AParser_11(OBJ x1,OBJ x2) /* parseIntProps */
{OBJ r;
 CPCLS(__AParser_211,1);
 COPY(__AModBody_4,1);
 {OBJ x5;
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_211,1))(__AParser_211,__ABUILTIN_20);
  r=_AParser_13(x1,x2,x5,__AModBody_4);}
 return r;}

extern OBJ _AParser_12(OBJ x1,OBJ x2) /* parseTheory */
{OBJ r;
 CPCLS(__AParser_200,1);
 COPY(__AModBody_5,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_200,1))(__AParser_200,__ABUILTIN_20);
  r=_AParser_13(x1,x2,x3,__AModBody_5);}
 return r;}

extern OBJ _AParser_13(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* parse,1 */
{OBJ r;
 if(ISPRM(x2)){
  FREE(x4,1);
  CPCLS(__AParser_194,1);
  {OBJ x25;
   x25=_AParser_14(x1,x3,__ASeq_6);
   r=_AComCompose_5(x25,__AParser_194);}
 }else{
  {OBJ x26=FLD1(x2,1);OBJ x27=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    COPY(x26,1);COPY(x27,1);
    FRPRD(x2,1);}
   CPPRD(x1,1);
   CPCLS(__AParser_198,1);
   {OBJ x29;OBJ x30;
    x29=_AParser_14(x1,x3,x26);
    x30=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_198,3))(__AParser_198,x1,x4,x27);
    r=_AComCompose_5(x29,x30);}}}
 return r;}

extern OBJ _AParser_14(OBJ x1,OBJ x2,OBJ x3) /* pHead */
{OBJ r;
 CPCLS(__AParser_59,1);
 CPCLS(__APName_5,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 CPPRD(x1,2);
 {OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x9;OBJ x8;OBJ x19;OBJ x10;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APName_5,__AModBase_13);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_59,1))(__AParser_59,__ABUILTIN_20);
  x6=_AOcOptions_9(x1);
  x7=_AOcOptions_4(x1);
  if(ISTGPRM(x6,1)){
   CPCLS(__ABaseParser_36,1);
   CPPRD(__AModBase_12,1);
   x9=__ABUILTIN_5;
  }else{
   CPPRD(x1,1);
   CPCLS(__ABaseParser_36,1);
   CPPRD(__AModBase_12,1);
   x9=_AOcOptions_10(x1);}
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x4,x5,__AModBase_12);
  if(ISTGPRM(x9,1)){
   COPY(x3,1);
   {OBJ x11;
    x11=_ASeq_32(__ANat_9,x3);
    if(ISPRM(x11)){
     CPPRD(__APCommon_60,1);
     x19=__APCommon_60;
    }else{
     {OBJ x12=FLD1(x11,1);
      if(EXPRD(x11,1)){
       x19=x12;
       FREE(FLD1(x11,2),1);DSPRDF(x11);
      }else{
       CPPRD(x12,1);
       x19=x12;
       FRPRD(x11,1);}}}}
  }else{
   {OBJ x16;
    if(ISPRM(x3)){
     x16=__ASeq_6;
    }else{
     {OBJ x15=FLD1(x3,2);
      COPY(x15,1);
      x16=x15;}}
    if(ISPRM(x16)){
     CPPRD(__APCommon_60,1);
     x19=__APCommon_60;
    }else{
     {OBJ x17=FLD1(x16,1);
      if(EXPRD(x16,1)){
       x19=x17;
       FREE(FLD1(x16,2),1);DSPRDF(x16);
      }else{
       CPPRD(x17,1);
       x19=x17;
       FRPRD(x16,1);}}}}}
  x10=_ABaseParser_26(x8,x3);
  {OBJ x43=FLD1(x19,2);
   CPPRD(x43,1);
   {OBJ x51;
    {OBJ x45=FLD(x10,1);
     CPPRD(x45,1);
     x51=x45;}
    {OBJ x53=FLD1(x43,2);
     CPPRD(x53,2);
     if(EXPRD(x43,1)){
      FRPRD(FLD1(x43,2),1);DSPRDF(x43);
     }else{
      DCPRD(x43,1);}
     CPPRD(x7,1);
     {OBJ x55;OBJ x58;OBJ x59;OBJ x60;OBJ x61;
      ADenotation_21(x53,x7,x55);
      if(ISTGPRM(x55,1)){
       FRPRD(x7,1);
       if(EXPRD(x19,1)){
	DSPRD(x19);
       }else{
	DCPRD(x19,1);}
       FRPRD(x53,1);
       CPCLS(__AParser_60,1);
       CPPRD(__AOcError_15,1);
       x58=__AOcError_15;
      }else{
       {OBJ x57;
	if(ISTGPRM(__AOcOptions_33,1)){
	 CPPRD(x7,1);
	 {OBJ x56;
	  x56=_AOcOptions_34(x53);
	  ADenotation_21(x56,x7,x57);}
	}else{
	 FRPRD(x53,1);
	 x57=__ABUILTIN_3;}
	if(ISTGPRM(x57,1)){
	 CPCLS(__AParser_60,1);
	 x58=_APErr_14(x7,x19);
	}else{
	 CPCLS(__AParser_60,1);
	 x58=_APErr_13(x7,x19);}}}
      x59=_AOcError_21(x51,x58);
      CPPRD(x59,1);
      x60=_AOcError_25(x1,x59);
      x61=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_60,2))(__AParser_60,x10,x59);
      r=_AComCompose_5(x60,x61);}}}}}
 return r;}

extern OBJ _AParser_15(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pBody */
{OBJ r;
 if(ISPRM(x2)){
  FRPRD(x1,1);
  CPCLS(__ACom_47,1);
  {OBJ x46;OBJ x47;OBJ x48;
   PRD1(2,x46);FLD1(x46,1)=x4;FLD1(x46,2)=x3;
   PRD(1,0,x47);FLD(x47,1)=x46;
   x48=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x47);
   PRD(2,0,r);FLD(r,1)=x48;FLD(r,2)=__ASeq_6;}
 }else{
  {OBJ x49=FLD1(x2,1);OBJ x50=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    COPY(x49,1);COPY(x50,1);
    FRPRD(x2,1);}
   if(ISPRM(x49)){
    HLT("Parser at <166,5-9> : missing else in pBody\'Parser:options->seq**pRes**bool->com");
   }else{
    {OBJ x51=FLD1(x49,1);OBJ x52=FLD1(x49,2);
     if(EXPRD(x49,1)){
      DSPRDF(x49);
     }else{
      CPPRD(x51,1);COPY(x52,1);
      FRPRD(x49,1);}
     CPPRD(x1,1);
     {OBJ x53;OBJ x56;OBJ x55;
      x53=_AOcOptions_7(x1);
      if(ISTGPRM(x53,1)){
       CPPRD(x1,1);
       CPCLS(__AParser_191,1);
       x56=_AParser_17(x1,x51,x52);
      }else{
       CPPRD(x1,1);
       CPCLS(__AParser_191,1);
       COPY(__APCommon_2,1);
       x56=_AParser_18(__APCommon_2,x1,x51,x52);}
      x55=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_191,4))(__AParser_191,x1,x3,x4,x50);
      r=_AComCompose_5(x56,x55);}}}}}
 return r;}

extern OBJ _AParser_16(OBJ x1) /* defSign? */
{OBJ r;
 CPPRD(__AParser_61,1);
 r=_AOcOptions_14(__AParser_61,x1);
 return r;}

extern OBJ _AParser_17(register OBJ x1,register OBJ x2,register OBJ x3) /* parsSigBody */
{OBJ r;
 for(;;){
  if(ISPRM(x3)){
   {OBJ x126=FLD1(x2,1);
    {OBJ x129;
     ANat_76(x126,__ATerminal_4,x129);
     if(ISTGPRM(x129,1)){
      FRPRD(x1,1);
      if(EXPRD(x2,1)){
       DSPRD(x2);
      }else{
       DCPRD(x2,1);}
      CPCLS(__AParser_173,1);
      {OBJ x130;
       x130=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_173,1))(__AParser_173,__ABUILTIN_20);
       PRD(2,0,r);FLD(r,1)=x130;FLD(r,2)=__ASeq_6;}
     }else{
      CPPRD(__AParser_174,1);
      CPCLS(__AParser_178,1);
      {OBJ x131;OBJ x132;OBJ x133;OBJ x134;OBJ x135;
       x131=_APErr_17(x2);
       x132=_ATerminal_145(x126);
       ADenotation_4(__AParser_174,x132,x133);
       x134=_APErr_12(x133,x131);
       x135=_AOcError_25(x1,x134);
       r=_AComCompose_5(x135,__AParser_178);}}}}
  }else{
   {OBJ x136=FLD1(x3,1);OBJ x137=FLD1(x3,2);
    CPPRD(x136,1);COPY(x137,1);
    {OBJ x138=FLD1(x2,1);OBJ x140=FLD1(x2,3);
     COPY(x140,1);
     {OBJ x142=FLD1(x136,1);
      if(EXPRD(x136,1)){
       DSPRD(x136);
      }else{
       DCPRD(x136,1);}
      {OBJ x145;
       ANat_76(x142,__ATerminal_4,x145);
       if(ISTGPRM(x145,1)){
	if(EXPRD(x3,1)){
	 DSPRD(x3);
	}else{
	 DCPRD(x3,1);}
	FREE(x137,1);
	FREE(x140,1);
	CPPRD(__AParser_174,1);
	CPCLS(__AParser_179,1);
	{OBJ x146;OBJ x147;OBJ x148;OBJ x149;OBJ x150;
	 x146=_APErr_17(x2);
	 x147=_ATerminal_145(x138);
	 ADenotation_4(__AParser_174,x147,x148);
	 x149=_APErr_12(x148,x146);
	 x150=_AOcError_25(x1,x149);
	 r=_AComCompose_5(x150,__AParser_179);}
       }else{
	{OBJ x151;OBJ x152;
	 ANat_76(x138,__ATerminal_132,x151);
	 if(ISTGPRM(x151,1)){
	  CPPRD(x1,1);
	  CPPRD(__AParser_61,1);
	  x152=_AOcOptions_14(__AParser_61,x1);
	 }else{
	  x152=__ABUILTIN_3;}
	 if(ISTGPRM(x152,1)){
	  if(EXPRD(x2,1)){
	   DSPRD(x2);
	  }else{
	   DCPRD(x2,1);}
	  FREE(x137,1);
	  FREE(x140,1);
	  r=_AParser_31(x1,x3);
	 }else{
	  {OBJ x153;
	   ANat_76(x138,__ATerminal_126,x153);
	   if(ISTGPRM(x153,1)){
	    if(EXPRD(x2,1)){
	     DSPRD(x2);
	    }else{
	     DCPRD(x2,1);}
	    FREE(x137,1);
	    FREE(x140,1);
	    r=_AParser_23(x1,x3);
	   }else{
	    {OBJ x154;
	     ANat_76(x138,__ATerminal_108,x154);
	     if(ISTGPRM(x154,1)){
	      if(EXPRD(x2,1)){
	       DSPRD(x2);
	      }else{
	       DCPRD(x2,1);}
	      FREE(x137,1);
	      FREE(x140,1);
	      r=_AParser_25(x1,x3);
	     }else{
	      {OBJ x155;OBJ x156;
	       ANat_76(x138,__ATerminal_134,x155);
	       if(ISTGPRM(x155,1)){
		CPPRD(x1,1);
		CPPRD(__AParser_61,1);
		x156=_AOcOptions_14(__AParser_61,x1);
	       }else{
		x156=__ABUILTIN_3;}
	       if(ISTGPRM(x156,1)){
		if(EXPRD(x2,1)){
		 DSPRD(x2);
		}else{
		 DCPRD(x2,1);}
		FREE(x137,1);
		FREE(x140,1);
		r=_AParser_27(x1,x3);
	       }else{
		{OBJ x157;
		 ANat_76(x138,__ATerminal_104,x157);
		 if(ISTGPRM(x157,1)){
		  if(EXPRD(x2,1)){
		   DSPRD(x2);
		  }else{
		   DCPRD(x2,1);}
		  FREE(x137,1);
		  FREE(x140,1);
		  r=_AParser_26(x1,x3);
		 }else{
		  {OBJ x158;
		   ANat_76(x138,__ATerminal_120,x158);
		   if(ISTGPRM(x158,1)){
		    if(EXPRD(x2,1)){
		     DSPRD(x2);
		    }else{
		     DCPRD(x2,1);}
		    FREE(x137,1);
		    FREE(x140,1);
		    r=_AParser_19(x1,x3);
		   }else{
		    {OBJ x159;
		     ANat_76(x138,__ATerminal_24,x159);
		     if(ISTGPRM(x159,1)){
		      if(EXPRD(x2,1)){
		       DSPRD(x2);
		      }else{
		       DCPRD(x2,1);}
		      FREE(x137,1);
		      FREE(x140,1);
		      CPPRD(__ARep_97,1);
		      r=_AParser_21(x1,__ARep_97,x3);
		     }else{
		      {OBJ x160;
		       ANat_76(x138,__ATerminal_22,x160);
		       if(ISTGPRM(x160,1)){
			if(EXPRD(x2,1)){
			 DSPRD(x2);
			}else{
			 DCPRD(x2,1);}
			FREE(x137,1);
			FREE(x140,1);
			CPPRD(__ARep_98,1);
			r=_AParser_21(x1,__ARep_98,x3);
		       }else{
			{OBJ x161;
			 ANat_76(x138,__ATerminal_52,x161);
			 if(ISTGPRM(x161,1)){
			  if(EXPRD(x2,1)){
			   DSPRD(x2);
			  }else{
			   DCPRD(x2,1);}
			  FREE(x137,1);
			  FREE(x140,1);
			  r=_AParser_41(x1,x3);
			 }else{
			  {OBJ x162;
			   ANat_76(x138,__ATerminal_88,x162);
			   if(ISTGPRM(x162,1)){
			    FREE(x137,1);
			    FREE(x140,1);
			    {OBJ x163;
			     PRD1(2,x163);FLD1(x163,1)=x2;FLD1(x163,2)=x3;
			     r=_AParser_42(x1,x163);}
			   }else{
			    {OBJ x164;
			     ANat_76(x138,__ATerminal_4,x164);
			     if(ISTGPRM(x164,1)){
			      if(EXPRD(x3,1)){
			       DSPRD(x3);
			      }else{
			       DCPRD(x3,1);}
			      FREE(x140,1);
			      x3=x137;continue;
			     }else{
			      FREE(x137,1);
			      {OBJ x165;
			       ANat_76(x138,__ATerminal_20,x165);
			       if(ISTGPRM(x165,1)){
				if(EXPRD(x2,1)){
				 DSPRD(x2);
				}else{
				 DCPRD(x2,1);}
				FREE(x140,1);
				r=_AParser_47(x1,x3);
			       }else{
				{OBJ x166;
				 ANat_76(x138,__ATerminal_16,x166);
				 if(ISTGPRM(x166,1)){
				  if(EXPRD(x2,1)){
				   DSPRD(x2);
				  }else{
				   DCPRD(x2,1);}
				  FREE(x140,1);
				  r=_AParser_48(x1,x3);
				 }else{
				  {OBJ x167;
				   ANat_76(x138,__ATerminal_14,x167);
				   if(ISTGPRM(x167,1)){
				    if(EXPRD(x2,1)){
				     DSPRD(x2);
				    }else{
				     DCPRD(x2,1);}
				    FREE(x140,1);
				    r=_AParser_49(x1,x3);
				   }else{
				    {OBJ x168;
				     ANat_76(x138,__ATerminal_12,x168);
				     if(ISTGPRM(x168,1)){
				      if(EXPRD(x2,1)){
				       DSPRD(x2);
				      }else{
				       DCPRD(x2,1);}
				      FREE(x140,1);
				      r=_AParser_49(x1,x3);
				     }else{
				      {OBJ x169;
				       ANat_76(x138,__ATerminal_10,x169);
				       if(ISTGPRM(x169,1)){
					if(EXPRD(x2,1)){
					 DSPRD(x2);
					}else{
					 DCPRD(x2,1);}
					FREE(x140,1);
					r=_AParser_48(x1,x3);
				       }else{
					{OBJ x170;
					 ANat_76(x138,__ATerminal_8,x170);
					 if(ISTGPRM(x170,1)){
					  if(EXPRD(x2,1)){
					   DSPRD(x2);
					  }else{
					   DCPRD(x2,1);}
					  FREE(x140,1);
					  r=_AParser_48(x1,x3);
					 }else{
					  if(EXPRD(x3,1)){
					   DSPRD(x3);
					  }else{
					   DCPRD(x3,1);}
					  CPCLS(__AParser_180,1);
					  COPY(__APCommon_1,1);
					  {OBJ x171;OBJ x172;
					   x171=_APErr_4(__APCommon_1,x2,x140);
					   x172=_AOcError_25(x1,x171);
					   r=_AComCompose_5(x172,__AParser_180);}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
  break;}
 return r;}

extern OBJ _AParser_18(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4) /* parsBody */
{OBJ r;
 for(;;){
  if(ISPRM(x4)){
   FREE(x1,1);
   {OBJ x123=FLD1(x3,1);
    {OBJ x126;
     ANat_76(x123,__ATerminal_4,x126);
     if(ISTGPRM(x126,1)){
      FRPRD(x2,1);
      if(EXPRD(x3,1)){
       DSPRD(x3);
      }else{
       DCPRD(x3,1);}
      CPCLS(__AParser_184,1);
      {OBJ x127;
       x127=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_184,1))(__AParser_184,__ABUILTIN_20);
       PRD(2,0,r);FLD(r,1)=x127;FLD(r,2)=__ASeq_6;}
     }else{
      CPPRD(__AParser_174,1);
      CPCLS(__AParser_188,1);
      {OBJ x128;OBJ x129;OBJ x130;OBJ x131;OBJ x132;
       x128=_APErr_17(x3);
       x129=_ATerminal_145(x123);
       ADenotation_4(__AParser_174,x129,x130);
       x131=_APErr_12(x130,x128);
       x132=_AOcError_25(x2,x131);
       r=_AComCompose_5(x132,__AParser_188);}}}}
  }else{
   {OBJ x133=FLD1(x4,1);OBJ x134=FLD1(x4,2);
    CPPRD(x133,1);COPY(x134,1);
    {OBJ x135=FLD1(x3,1);OBJ x137=FLD1(x3,3);
     COPY(x137,1);
     {OBJ x139=FLD1(x133,1);
      if(EXPRD(x133,1)){
       DSPRD(x133);
      }else{
       DCPRD(x133,1);}
      {OBJ x142;
       ANat_76(x139,__ATerminal_4,x142);
       if(ISTGPRM(x142,1)){
	FREE(x1,1);
	if(EXPRD(x4,1)){
	 DSPRD(x4);
	}else{
	 DCPRD(x4,1);}
	FREE(x134,1);
	FREE(x137,1);
	CPPRD(__AParser_174,1);
	CPCLS(__AParser_189,1);
	{OBJ x143;OBJ x144;OBJ x145;OBJ x146;OBJ x147;
	 x143=_APErr_17(x3);
	 x144=_ATerminal_145(x135);
	 ADenotation_4(__AParser_174,x144,x145);
	 x146=_APErr_12(x145,x143);
	 x147=_AOcError_25(x2,x146);
	 r=_AComCompose_5(x147,__AParser_189);}
       }else{
	{OBJ x148;
	 ANat_76(x135,__ATerminal_132,x148);
	 if(ISTGPRM(x148,1)){
	  FREE(x1,1);
	  if(EXPRD(x3,1)){
	   DSPRD(x3);
	  }else{
	   DCPRD(x3,1);}
	  FREE(x134,1);
	  FREE(x137,1);
	  r=_AParser_31(x2,x4);
	 }else{
	  {OBJ x149;
	   ANat_76(x135,__ATerminal_126,x149);
	   if(ISTGPRM(x149,1)){
	    FREE(x1,1);
	    if(EXPRD(x3,1)){
	     DSPRD(x3);
	    }else{
	     DCPRD(x3,1);}
	    FREE(x134,1);
	    FREE(x137,1);
	    r=_AParser_23(x2,x4);
	   }else{
	    {OBJ x150;
	     ANat_76(x135,__ATerminal_108,x150);
	     if(ISTGPRM(x150,1)){
	      FREE(x1,1);
	      if(EXPRD(x3,1)){
	       DSPRD(x3);
	      }else{
	       DCPRD(x3,1);}
	      FREE(x134,1);
	      FREE(x137,1);
	      r=_AParser_25(x2,x4);
	     }else{
	      {OBJ x151;
	       ANat_76(x135,__ATerminal_134,x151);
	       if(ISTGPRM(x151,1)){
		FREE(x1,1);
		if(EXPRD(x3,1)){
		 DSPRD(x3);
		}else{
		 DCPRD(x3,1);}
		FREE(x134,1);
		FREE(x137,1);
		r=_AParser_27(x2,x4);
	       }else{
		{OBJ x152;
		 ANat_76(x135,__ATerminal_104,x152);
		 if(ISTGPRM(x152,1)){
		  FREE(x1,1);
		  if(EXPRD(x3,1)){
		   DSPRD(x3);
		  }else{
		   DCPRD(x3,1);}
		  FREE(x134,1);
		  FREE(x137,1);
		  r=_AParser_26(x2,x4);
		 }else{
		  {OBJ x153;
		   ANat_76(x135,__ATerminal_120,x153);
		   if(ISTGPRM(x153,1)){
		    FREE(x1,1);
		    if(EXPRD(x3,1)){
		     DSPRD(x3);
		    }else{
		     DCPRD(x3,1);}
		    FREE(x134,1);
		    FREE(x137,1);
		    r=_AParser_19(x2,x4);
		   }else{
		    {OBJ x154;
		     ANat_76(x135,__ATerminal_24,x154);
		     if(ISTGPRM(x154,1)){
		      FREE(x1,1);
		      if(EXPRD(x3,1)){
		       DSPRD(x3);
		      }else{
		       DCPRD(x3,1);}
		      FREE(x134,1);
		      FREE(x137,1);
		      CPPRD(__ARep_97,1);
		      r=_AParser_21(x2,__ARep_97,x4);
		     }else{
		      {OBJ x155;
		       ANat_76(x135,__ATerminal_22,x155);
		       if(ISTGPRM(x155,1)){
			FREE(x1,1);
			if(EXPRD(x3,1)){
			 DSPRD(x3);
			}else{
			 DCPRD(x3,1);}
			FREE(x134,1);
			FREE(x137,1);
			CPPRD(__ARep_98,1);
			r=_AParser_21(x2,__ARep_98,x4);
		       }else{
			{OBJ x156;
			 ANat_76(x135,__ATerminal_52,x156);
			 if(ISTGPRM(x156,1)){
			  FREE(x1,1);
			  if(EXPRD(x3,1)){
			   DSPRD(x3);
			  }else{
			   DCPRD(x3,1);}
			  FREE(x134,1);
			  FREE(x137,1);
			  r=_AParser_41(x2,x4);
			 }else{
			  {OBJ x157;
			   ANat_76(x135,__ATerminal_88,x157);
			   if(ISTGPRM(x157,1)){
			    FREE(x1,1);
			    FREE(x134,1);
			    FREE(x137,1);
			    {OBJ x158;
			     PRD1(2,x158);FLD1(x158,1)=x3;FLD1(x158,2)=x4;
			     r=_AParser_42(x2,x158);}
			   }else{
			    {OBJ x159;
			     ANat_76(x135,__ATerminal_4,x159);
			     if(ISTGPRM(x159,1)){
			      if(EXPRD(x4,1)){
			       DSPRD(x4);
			      }else{
			       DCPRD(x4,1);}
			      FREE(x137,1);
			      x4=x134;continue;
			     }else{
			      FREE(x134,1);
			      {OBJ x160;
			       ANat_76(x135,__ATerminal_20,x160);
			       if(ISTGPRM(x160,1)){
				FREE(x1,1);
				if(EXPRD(x3,1)){
				 DSPRD(x3);
				}else{
				 DCPRD(x3,1);}
				FREE(x137,1);
				r=_AParser_47(x2,x4);
			       }else{
				{OBJ x161;
				 ANat_76(x135,__ATerminal_16,x161);
				 if(ISTGPRM(x161,1)){
				  FREE(x1,1);
				  if(EXPRD(x3,1)){
				   DSPRD(x3);
				  }else{
				   DCPRD(x3,1);}
				  FREE(x137,1);
				  r=_AParser_48(x2,x4);
				 }else{
				  {OBJ x162;
				   ANat_76(x135,__ATerminal_10,x162);
				   if(ISTGPRM(x162,1)){
				    FREE(x1,1);
				    if(EXPRD(x3,1)){
				     DSPRD(x3);
				    }else{
				     DCPRD(x3,1);}
				    FREE(x137,1);
				    r=_AParser_48(x2,x4);
				   }else{
				    {OBJ x163;
				     ANat_76(x135,__ATerminal_8,x163);
				     if(ISTGPRM(x163,1)){
				      FREE(x1,1);
				      if(EXPRD(x3,1)){
				       DSPRD(x3);
				      }else{
				       DCPRD(x3,1);}
				      FREE(x137,1);
				      r=_AParser_48(x2,x4);
				     }else{
				      {OBJ x164;
				       ANat_76(x135,__ATerminal_14,x164);
				       if(ISTGPRM(x164,1)){
					FREE(x1,1);
					if(EXPRD(x3,1)){
					 DSPRD(x3);
					}else{
					 DCPRD(x3,1);}
					FREE(x137,1);
					r=_AParser_49(x2,x4);
				       }else{
					{OBJ x165;
					 ANat_76(x135,__ATerminal_12,x165);
					 if(ISTGPRM(x165,1)){
					  FREE(x1,1);
					  if(EXPRD(x3,1)){
					   DSPRD(x3);
					  }else{
					   DCPRD(x3,1);}
					  FREE(x137,1);
					  r=_AParser_49(x2,x4);
					 }else{
					  if(EXPRD(x4,1)){
					   DSPRD(x4);
					  }else{
					   DCPRD(x4,1);}
					  CPCLS(__AParser_190,1);
					  {OBJ x166;OBJ x167;
					   x166=_APErr_4(x1,x3,x137);
					   x167=_AOcError_25(x2,x166);
					   r=_AComCompose_5(x167,__AParser_190);}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
  break;}
 return r;}

extern OBJ _AParser_19(OBJ x1,OBJ x2) /* pImport */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <267,5-11> : missing else in pImport\'Parser:options->seq->com");
 }else{
  {OBJ x26=FLD1(x2,1);OBJ x27=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x26,1);COPY(x27,1);
    FRPRD(x2,1);}
   {OBJ x30=FLD1(x26,2);
    CPPRD(x30,1);
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_74,1);
    CPCLS(__AParser_79,1);
    {OBJ x32;OBJ x33;OBJ x34;OBJ x35;OBJ x36;
     x32=_ARep_119(x30);
     ADenotation_4(x32,__AParser_73,x33);
     ADenotation_4(__AParser_74,x33,x34);
     x35=_AOcVerbose_4(x1,__AOcVerbose_3,x34);
     x36=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_79,3))(__AParser_79,x1,x26,x27);
     r=_AComCompose_3(x35,x36);}}}}
 return r;}

extern OBJ _AParser_20(OBJ x1) /* pImport,1 */
{OBJ r;
 CPCLS(__AParser_72,1);
 FRPRD(x1,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_72,1))(__AParser_72,__ABUILTIN_20);
 return r;}

extern OBJ _AParser_21(OBJ x1,OBJ x2,OBJ x3) /* pRelation */
{OBJ r;
 if(ISPRM(x3)){
  HLT("Parser at <300,5-13> : missing else in pRelation\'Parser:options**rep->seq->com");
 }else{
  {OBJ x30=FLD1(x3,1);OBJ x31=FLD1(x3,2);
   if(EXPRD(x3,1)){
    DSPRDF(x3);
   }else{
    CPPRD(x30,1);COPY(x31,1);
    FRPRD(x3,1);}
   CPPRD(x2,1);
   {OBJ x32;
    x32=_ARep_119(x2);
    {OBJ x35=FLD1(x30,2);
     CPPRD(x35,1);
     CPPRD(x1,1);
     CPPRD(__AParser_52,1);
     CPPRD(__AParser_73,1);
     CPPRD(__AParser_91,1);
     CPCLS(__AParser_93,1);
     {OBJ x37;OBJ x38;OBJ x39;OBJ x40;OBJ x41;OBJ x42;OBJ x43;
      x37=_ARep_119(x35);
      ADenotation_4(x37,__AParser_73,x38);
      ADenotation_4(__AParser_91,x38,x39);
      ADenotation_4(x32,x39,x40);
      ADenotation_4(__AParser_52,x40,x41);
      x42=_AOcVerbose_4(x1,__AOcVerbose_3,x41);
      x43=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_93,4))(__AParser_93,x1,x2,x30,x31);
      r=_AComCompose_3(x42,x43);}}}}}
 return r;}

extern OBJ _AParser_22(OBJ x1,OBJ x2) /* pRelation,1 */
{OBJ r;
 CPCLS(__AParser_90,1);
 CPCLS(__APName_5,1);
 CPCLS(__ABaseParser_36,1);
 FRPRD(x1,1);
 {OBJ x6;OBJ x13;
  x6=_AModBody_11(x2);
  x13=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_90,1))(__AParser_90,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_5,x13,x6);}
 return r;}

extern OBJ _AParser_23(OBJ x1,OBJ x2) /* pFun */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <328,5-8> : missing else in pFun\'Parser:options->seq->com");
 }else{
  {OBJ x38=FLD1(x2,1);OBJ x39=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x38,1);COPY(x39,1);
    FRPRD(x2,1);}
   {OBJ x42=FLD1(x38,2);OBJ x43=FLD1(x38,3);
    CPPRD(x42,1);COPY(x43,1);
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_94,1);
    CPCLS(__AParser_101,1);
    {OBJ x44;OBJ x45;OBJ x46;OBJ x47;OBJ x48;
     x44=_ARep_119(x42);
     ADenotation_4(x44,__AParser_73,x45);
     ADenotation_4(__AParser_94,x45,x46);
     x47=_AOcVerbose_4(x1,__AOcVerbose_3,x46);
     x48=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_101,4))(__AParser_101,x1,x38,x39,x43);
     r=_AComCompose_3(x47,x48);}}}}
 return r;}

extern OBJ _AParser_24(OBJ x1) /* pFun,1 */
{OBJ r;
 CPCLS(__AParser_223,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_223,1))(__AParser_223,x1);
 return r;}

extern OBJ _AParser_25(OBJ x1,OBJ x2) /* pSort */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <389,5-9> : missing else in pSort\'Parser:options->seq->com");
 }else{
  {OBJ x26=FLD1(x2,1);OBJ x27=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x26,1);COPY(x27,1);
    FRPRD(x2,1);}
   {OBJ x30=FLD1(x26,2);
    CPPRD(x30,1);
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_102,1);
    CPCLS(__AParser_106,1);
    {OBJ x32;OBJ x33;OBJ x34;OBJ x35;OBJ x36;
     x32=_ARep_119(x30);
     ADenotation_4(x32,__AParser_73,x33);
     ADenotation_4(__AParser_102,x33,x34);
     x35=_AOcVerbose_4(x1,__AOcVerbose_3,x34);
     x36=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_106,3))(__AParser_106,x1,x26,x27);
     r=_AComCompose_3(x35,x36);}}}}
 return r;}

extern OBJ _AParser_26(OBJ x1,OBJ x2) /* pType */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <402,5-9> : missing else in pType\'Parser:options->seq->com");
 }else{
  {OBJ x26=FLD1(x2,1);OBJ x27=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x26,1);COPY(x27,1);
    FRPRD(x2,1);}
   {OBJ x30=FLD1(x26,2);
    CPPRD(x30,1);
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_114,1);
    CPCLS(__AParser_117,1);
    {OBJ x32;OBJ x33;OBJ x34;OBJ x35;OBJ x36;
     x32=_ARep_119(x30);
     ADenotation_4(x32,__AParser_73,x33);
     ADenotation_4(__AParser_114,x33,x34);
     x35=_AOcVerbose_4(x1,__AOcVerbose_3,x34);
     x36=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_117,3))(__AParser_117,x1,x26,x27);
     r=_AComCompose_5(x35,x36);}}}}
 return r;}

extern OBJ _AParser_27(OBJ x1,OBJ x2) /* pData */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <402,11-15> : missing else in pData\'Parser:options->seq->com");
 }else{
  {OBJ x26=FLD1(x2,1);OBJ x27=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x26,1);COPY(x27,1);
    FRPRD(x2,1);}
   {OBJ x30=FLD1(x26,2);
    CPPRD(x30,1);
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_118,1);
    CPCLS(__AParser_121,1);
    {OBJ x32;OBJ x33;OBJ x34;OBJ x35;OBJ x36;
     x32=_ARep_119(x30);
     ADenotation_4(x32,__AParser_73,x33);
     ADenotation_4(__AParser_118,x33,x34);
     x35=_AOcVerbose_4(x1,__AOcVerbose_3,x34);
     x36=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_121,3))(__AParser_121,x1,x26,x27);
     r=_AComCompose_5(x35,x36);}}}}
 return r;}

extern OBJ _AParser_28(OBJ x1) /* pDataType */
{OBJ r;
 CPCLS(__AParser_113,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_113,1))(__AParser_113,x1);
 return r;}

extern OBJ _AParser_31(OBJ x1,OBJ x2) /* pDef */
{OBJ r;
 CPCLS(__AParser_142,1);
 COPY(x2,1);
 {OBJ x3;OBJ x6;
  x3=_ASeqFilter_7(__AParser_142,x2);
  if(ISPRM(x3)){
   CPPRD(__APCommon_60,1);
   x6=__APCommon_60;
  }else{
   {OBJ x4=FLD1(x3,1);
    if(EXPRD(x3,1)){
     x6=x4;
     FREE(FLD1(x3,2),1);DSPRDF(x3);
    }else{
     CPPRD(x4,1);
     x6=x4;
     FRPRD(x3,1);}}}
  {OBJ x8=FLD1(x6,2);
   if(EXPRD(x6,1)){
    FREE(FLD1(x6,3),1);DSPRDF(x6);
   }else{
    CPPRD(x8,1);
    FRPRD(x6,1);}
   CPPRD(x1,1);
   CPPRD(__AParser_73,1);
   CPPRD(__AParser_143,1);
   CPCLS(__AParser_147,1);
   {OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;OBJ x15;
    x10=x8;
    x11=_ARep_119(x10);
    ADenotation_4(x11,__AParser_73,x12);
    ADenotation_4(__AParser_143,x12,x13);
    x14=_AOcVerbose_4(x1,__AOcVerbose_3,x13);
    x15=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_147,2))(__AParser_147,x1,x2);
    r=_AComCompose_3(x14,x15);}}}
 return r;}

extern OBJ _AParser_32(OBJ x1,OBJ x2) /* pDef,1 */
{OBJ r;
 CPCLS(__AParser_141,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_141,2))(__AParser_141,x1,x2);
 return r;}

extern OBJ _AParser_34(OBJ x1) /* pTopLhs */
{OBJ r;
 CPCLS(__AParser_137,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_137,1))(__AParser_137,x1);
 return r;}

extern OBJ _AParser_35(OBJ x1,OBJ x2) /* pLhs */
{OBJ r;
 CPCLS(__AParser_125,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_125,2))(__AParser_125,x1,x2);
 return r;}

extern OBJ _AParser_36(OBJ x1,OBJ x2) /* pLhsExprS */
{OBJ r;
 {OBJ x3;OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;
  if(ISTGPRM(__AZOpts_1,1)){
   COPY(__AParser_40,1);
   CPCLS(__AParser_125,1);
   CPCLS(__AParser_132,1);
   CPCLS(__AParser_133,1);
   CPCLS(__APExpr_37,1);
   CPPRD(__AModExpr_4,1);
   CPPRD(__AModExpr_7,1);
   CPPRD(__AModMix_3,1);
   CPCLS(__ABaseParser_36,1);
   CPCLS(__ABaseParser_38,1);
   CPCLS(__ABaseParser_46,1);
   COPY(__ABaseParser_47,1);
   x3=__AModMix_3;
  }else{
   COPY(__AParser_40,1);
   CPCLS(__AParser_125,1);
   CPCLS(__AParser_132,1);
   CPCLS(__AParser_133,1);
   CPCLS(__APExpr_37,1);
   CPPRD(__AModExpr_4,1);
   CPPRD(__AModExpr_7,1);
   CPPRD(__AModMix_7,1);
   CPCLS(__ABaseParser_36,1);
   CPCLS(__ABaseParser_38,1);
   CPCLS(__ABaseParser_46,1);
   COPY(__ABaseParser_47,1);
   x3=__AModMix_7;}
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_132,2))(__AParser_132,x1,x2);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_133,1))(__AParser_133,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_125,2))(__AParser_125,x3,__AParser_40);
  x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__APExpr_37,1))(__APExpr_37,x6);
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x5,x7,__AModExpr_7);
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x4,x8);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,x9,__ABaseParser_47,__AModExpr_4);}
 return r;}

extern OBJ _AParser_37(OBJ x1,OBJ x2) /* pLhsExpr */
{OBJ r;
 CPCLS(__AParser_132,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_132,2))(__AParser_132,x1,x2);
 return r;}

extern OBJ _AParser_38(OBJ x1) /* errKey */
{OBJ r;
 r=_AParser_122(x1);
 return r;}

extern OBJ _AParser_41(OBJ x1,OBJ x2) /* pLaw */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <516,5-8> : missing else in pLaw\'Parser:options->seq->com");
 }else{
  {OBJ x46=FLD1(x2,1);OBJ x47=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x46,1);COPY(x47,1);
    FRPRD(x2,1);}
   {OBJ x49=FLD1(x46,1);OBJ x50=FLD1(x46,2);OBJ x51=FLD1(x46,3);
    CPPRD(x50,1);COPY(x51,1);
    {OBJ x52;OBJ x54;OBJ x55;OBJ x56;OBJ x57;OBJ x58;
     ANat_76(x49,__ATerminal_100,x52);
     if(ISTGPRM(x52,1)){
      FRPRD(x50,1);
      CPPRD(x1,1);
      CPPRD(__AParser_73,1);
      CPPRD(__AParser_148,1);
      CPCLS(__AParser_152,1);
      CPPRD(__AOcOptions_151,1);
      x54=__AOcOptions_151;
     }else{
      {OBJ x53;
       ANat_76(x49,__ATerminal_84,x53);
       if(ISTGPRM(x53,1)){
	FRPRD(x50,1);
	CPPRD(x1,1);
	CPPRD(__AParser_73,1);
	CPPRD(__AParser_148,1);
	CPCLS(__AParser_152,1);
	CPPRD(__AOcOptions_151,1);
	x54=__AOcOptions_151;
       }else{
	CPPRD(x1,1);
	CPPRD(__AParser_73,1);
	CPPRD(__AParser_148,1);
	CPCLS(__AParser_152,1);
	x54=_ARep_119(x50);}}}
     ADenotation_4(x54,__AParser_73,x55);
     ADenotation_4(__AParser_148,x55,x56);
     x57=_AOcVerbose_4(x1,__AOcVerbose_3,x56);
     x58=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_152,4))(__AParser_152,x1,x46,x47,x51);
     r=_AComCompose_3(x57,x58);}}}}
 return r;}

extern OBJ _AParser_42(OBJ x1,OBJ x2) /* pPragma */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <533,5-11> : missing else in pPragma\'Parser:options->seq->com");
 }else{
  {OBJ x25=FLD1(x2,1);OBJ x26=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x25,1);COPY(x26,1);
    FRPRD(x2,1);}
   {OBJ x30=FLD1(x25,3);
    if(EXPRD(x25,1)){
     FRPRD(FLD1(x25,2),1);DSPRDF(x25);
    }else{
     COPY(x30,1);
     FRPRD(x25,1);}
    CPPRD(x1,1);
    CPPRD(__AParser_153,1);
    CPCLS(__AParser_160,1);
    {OBJ x31;OBJ x32;OBJ x33;OBJ x34;
     x31=_AOcPos_34(x30);
     ADenotation_4(__AParser_153,x31,x32);
     x33=_AOcVerbose_4(x1,__AOcVerbose_3,x32);
     x34=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_160,2))(__AParser_160,x1,x26);
     r=_AComCompose_3(x33,x34);}}}}
 return r;}

extern OBJ _AParser_44(OBJ x1) /* pPragItem */
{OBJ r;
 CPCLS(__AParser_219,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_219,1))(__AParser_219,x1);
 return r;}

extern OBJ _AParser_47(OBJ x1,OBJ x2) /* pProof */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <562,5-10> : missing else in pProof\'Parser:options->seq->com");
 }else{
  {OBJ x18=FLD1(x2,1);
   CPPRD(x18,1);
   {OBJ x21=FLD1(x18,2);
    CPPRD(x21,1);
    if(EXPRD(x18,1)){
     DSPRD(x18);
    }else{
     DCPRD(x18,1);}
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_161,1);
    CPCLS(__AParser_163,1);
    {OBJ x23;OBJ x24;OBJ x25;OBJ x26;OBJ x27;
     x23=_ARep_119(x21);
     ADenotation_4(x23,__AParser_73,x24);
     ADenotation_4(__AParser_161,x24,x25);
     x26=_AOcVerbose_4(x1,__AOcVerbose_3,x25);
     x27=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_163,2))(__AParser_163,x1,x2);
     r=_AComCompose_5(x26,x27);}}}}
 return r;}

extern OBJ _AParser_48(OBJ x1,OBJ x2) /* pProofHead */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <573,5-14> : missing else in pProofHead\'Parser:options->seq->com");
 }else{
  {OBJ x18=FLD1(x2,1);
   CPPRD(x18,1);
   {OBJ x21=FLD1(x18,2);
    CPPRD(x21,1);
    if(EXPRD(x18,1)){
     DSPRD(x18);
    }else{
     DCPRD(x18,1);}
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_164,1);
    CPCLS(__AParser_166,1);
    {OBJ x23;OBJ x24;OBJ x25;OBJ x26;OBJ x27;
     x23=_ARep_119(x21);
     ADenotation_4(x23,__AParser_73,x24);
     ADenotation_4(__AParser_164,x24,x25);
     x26=_AOcVerbose_4(x1,__AOcVerbose_3,x25);
     x27=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_166,2))(__AParser_166,x1,x2);
     r=_AComCompose_5(x26,x27);}}}}
 return r;}

extern OBJ _AParser_49(OBJ x1,OBJ x2) /* pProofBody */
{OBJ r;
 if(ISPRM(x2)){
  HLT("Parser at <584,5-14> : missing else in pProofBody\'Parser:options->seq->com");
 }else{
  {OBJ x18=FLD1(x2,1);
   CPPRD(x18,1);
   {OBJ x21=FLD1(x18,2);
    CPPRD(x21,1);
    if(EXPRD(x18,1)){
     DSPRD(x18);
    }else{
     DCPRD(x18,1);}
    CPPRD(x1,1);
    CPPRD(__AParser_73,1);
    CPPRD(__AParser_167,1);
    CPCLS(__AParser_169,1);
    {OBJ x23;OBJ x24;OBJ x25;OBJ x26;OBJ x27;
     x23=_ARep_119(x21);
     ADenotation_4(x23,__AParser_73,x24);
     ADenotation_4(__AParser_167,x24,x25);
     x26=_AOcVerbose_4(x1,__AOcVerbose_3,x25);
     x27=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_169,2))(__AParser_169,x1,x2);
     r=_AComCompose_5(x26,x27);}}}}
 return r;}

extern OBJ _AParser_54(OBJ x1,OBJ x2) /* parse'54 */
{OBJ r;
 CPCLS(__AToken_16,1);
 CPPRD(__ADenotation_3,1);
 CPCLS(__ADenotation_4,1);
 {OBJ x3;
  x3=_ASeqMap_3(__AToken_16,x1);
  r=_ASeqReduce_3(__ADenotation_4,__ADenotation_3,x3);}
 return r;}

extern OBJ _AParser_56(OBJ x1) /* parse'56 */
{OBJ r;
 CPPRD(__AParser_55,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_55);
 return r;}

extern OBJ _AParser_57(OBJ x1,OBJ x2,OBJ x3) /* parse'57 */
{OBJ r;
 if(ISTGPRD(x3,0)){
  {OBJ x14=FLD(x3,1);
   if(EXPRD(x3,1)){
    DSPRDF(x3);
   }else{
    COPY(x14,1);
    FRPRD(x3,1);}
   {OBJ x16;
    if(ISPRD(x14)&&(ISTGPRD(x14,0))){
     {OBJ x15=FLD(x14,1);
      if(EXPRD(x14,1)){
       x16=x15;
       DSPRDF(x14);
      }else{
       COPY(x15,1);
       x16=x15;
       FRPRD(x14,1);}}
    }else{
     FREE(x14,1);
     x16=__AStruct_35;}
    r=_AParser_7(x1,x16,x2);}}
 }else{
  if(EXPRD(x3,1)){
   FRPRD(FLD(x3,1),1);DSPRDF(x3);
  }else{
   DCPRD(x3,1);}
  FRPRD(x1,1);
  FRPRD(x2,1);
  CPCLS(__AParser_56,1);
  {OBJ x18;
   x18=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_56,1))(__AParser_56,__ABUILTIN_20);
   PRD(2,0,r);FLD(r,1)=x18;FLD(r,2)=__ASeq_6;}}
 return r;}

extern OBJ _AParser_58(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* parse'58 */
{OBJ r;
 CPCLS(__AParser_54,1);
 CPCLS(__AParser_57,1);
 CPPRD(x1,1);
 FRPRD(x5,1);
 {OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;
  x6=_APCommon_4(x2);
  COPY(x6,1);
  x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_54,1))(__AParser_54,x6);
  x8=_ADEBUG_2(__AZOpts_17,x7,x6);
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_57,2))(__AParser_57,x1,x3);
  x10=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(x4,2))(x4,x1,x8);
  r=_AComCompose_3(x10,x9);}
 return r;}

extern OBJ _AParser_59(OBJ x1) /* pHead'59 */
{OBJ r;
 COPY(__APCommon_2,1);
 CPCLS(__ABaseParser_61,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_61,1))(__ABaseParser_61,__APCommon_2);
 return r;}

extern OBJ _AParser_60(OBJ x1,OBJ x2,OBJ x3) /* pHead'60 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_62(OBJ x1) /* pImport,1'62 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_136);
 return r;}

extern OBJ _AParser_63(OBJ x1) /* pImport,1'63 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_114);
 return r;}

extern OBJ _AParser_64(OBJ x1) /* pImport,1'64 */
{OBJ r;
 CPCLS(__APName_2,1);
 CPPRD(__AModName_5,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,__APName_2,__ABaseParser_47,__AModName_5);
 return r;}

extern OBJ _AParser_66(OBJ x1) /* pImport,1'66 */
{OBJ r;
 CPCLS(__AParser_63,1);
 CPCLS(__AParser_64,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_63,1))(__AParser_63,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_64,1))(__AParser_64,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_13);}
 return r;}

extern OBJ _AParser_67(OBJ x1) /* pImport,1'67 */
{OBJ r;
 COPY(__AParser_65,1);
 CPCLS(__ATerminal_141,1);
 r=_ASet_39(__ATerminal_141,__ATerminal_114,__AParser_65);
 return r;}

extern OBJ _AParser_68(OBJ x1) /* pImport,1'68 */
{OBJ r;
 CPCLS(__AParser_62,1);
 CPCLS(__AParser_66,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_62,1))(__AParser_62,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_66,1))(__AParser_66,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,x3);}
 return r;}

extern OBJ _AParser_69(OBJ x1) /* pImport,1'69 */
{OBJ r;
 CPCLS(__AParser_67,1);
 CPCLS(__APErr_9,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_67,1))(__AParser_67,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APErr_9,1))(__APErr_9,x2);}
 return r;}

extern OBJ _AParser_70(OBJ x1) /* pImport,1'70 */
{OBJ r;
 CPCLS(__AParser_69,1);
 CPCLS(__ABaseParser_68,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_69,1))(__AParser_69,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_68,1))(__ABaseParser_68,x2);}
 return r;}

extern OBJ _AParser_71(OBJ x1) /* pImport,1'71 */
{OBJ r;
 CPCLS(__AParser_68,1);
 CPCLS(__AParser_70,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_68,1))(__AParser_68,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_70,1))(__AParser_70,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,x3);}
 return r;}

extern OBJ _AParser_72(OBJ x1) /* pImport,1'72 */
{OBJ r;
 CPCLS(__AParser_71,1);
 CPPRD(__AModBody_10,1);
 CPCLS(__APName_5,1);
 CPCLS(__ABaseParser_36,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_71,1))(__AParser_71,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_5,x2,__AModBody_10);}
 return r;}

extern OBJ _AParser_75(OBJ x1) /* pImport'75 */
{OBJ r;
 CPCLS(__AParser_71,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_71,1))(__AParser_71,__ABUILTIN_20);
 return r;}

extern OBJ _AParser_76(OBJ x1) /* pImport'76 */
{OBJ r;
 CPCLS(__AParser_75,1);
 CPPRD(__AModBody_10,1);
 CPCLS(__APName_5,1);
 CPCLS(__ABaseParser_36,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_75,1))(__AParser_75,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_5,x2,__AModBody_10);}
 return r;}

extern OBJ _AParser_77(OBJ x1) /* pImport'77 */
{OBJ r;
 CPCLS(__AParser_76,1);
 CPCLS(__ABaseParser_20,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_76,1))(__AParser_76,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__ABaseParser_20,__AModBase_12);}
 return r;}

extern OBJ _AParser_78(OBJ x1,OBJ x2,OBJ x3) /* pImport'78 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_79(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pImport'79 */
{OBJ r;
 CPCLS(__AParser_77,1);
 FRPRD(x4,1);
 {OBJ x7;OBJ x8;OBJ x9;OBJ x16;OBJ x17;OBJ x18;
  PRD1(2,x7);FLD1(x7,1)=x2;FLD1(x7,2)=x3;
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_77,1))(__AParser_77,__ABUILTIN_20);
  x9=_ABaseParser_26(x8,x7);
  {OBJ x10=FLD(x9,1);
   CPPRD(x10,1);
   x16=x10;
   CPCLS(__AParser_78,1);}
  CPPRD(x16,1);
  x17=_AOcError_25(x1,x16);
  x18=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_78,2))(__AParser_78,x9,x16);
  r=_AComCompose_5(x17,x18);}
 return r;}

extern OBJ _AParser_80(OBJ x1) /* pRelation,1'80 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_136);
 return r;}

extern OBJ _AParser_81(OBJ x1) /* pRelation,1'81 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_114);
 return r;}

extern OBJ _AParser_82(OBJ x1) /* pRelation,1'82 */
{OBJ r;
 CPCLS(__APName_2,1);
 CPPRD(__AModName_5,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,__APName_2,__ABaseParser_47,__AModName_5);
 return r;}

extern OBJ _AParser_84(OBJ x1) /* pRelation,1'84 */
{OBJ r;
 CPCLS(__AParser_81,1);
 CPCLS(__AParser_82,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_81,1))(__AParser_81,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_82,1))(__AParser_82,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_13);}
 return r;}

extern OBJ _AParser_85(OBJ x1) /* pRelation,1'85 */
{OBJ r;
 COPY(__AParser_83,1);
 CPCLS(__ATerminal_141,1);
 r=_ASet_39(__ATerminal_141,__ATerminal_114,__AParser_83);
 return r;}

extern OBJ _AParser_86(OBJ x1) /* pRelation,1'86 */
{OBJ r;
 CPCLS(__AParser_84,1);
 CPCLS(__ABaseParser_19,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_84,1))(__AParser_84,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,__ABaseParser_19);}
 return r;}

extern OBJ _AParser_87(OBJ x1) /* pRelation,1'87 */
{OBJ r;
 CPCLS(__AParser_85,1);
 CPCLS(__APErr_9,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_85,1))(__AParser_85,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APErr_9,1))(__APErr_9,x2);}
 return r;}

extern OBJ _AParser_88(OBJ x1) /* pRelation,1'88 */
{OBJ r;
 CPCLS(__AParser_80,1);
 CPCLS(__AParser_86,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_80,1))(__AParser_80,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_86,1))(__AParser_86,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,x3);}
 return r;}

extern OBJ _AParser_89(OBJ x1) /* pRelation,1'89 */
{OBJ r;
 CPCLS(__AParser_87,1);
 CPCLS(__ABaseParser_68,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_87,1))(__AParser_87,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_68,1))(__ABaseParser_68,x2);}
 return r;}

extern OBJ _AParser_90(OBJ x1) /* pRelation,1'90 */
{OBJ r;
 CPCLS(__AParser_88,1);
 CPCLS(__AParser_89,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_88,1))(__AParser_88,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_89,1))(__AParser_89,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,x3);}
 return r;}

extern OBJ _AParser_92(OBJ x1,OBJ x2,OBJ x3) /* pRelation'92 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   {OBJ x5;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    r=_ACom_23(x5);}
  }else{
   {OBJ x6;
    PRD1(2,x6);FLD1(x6,1)=__ABUILTIN_3;FLD1(x6,2)=x1;
    r=_ACom_23(x6);}}}
 return r;}

extern OBJ _AParser_93(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pRelation'93 */
{OBJ r;
 CPCLS(__ABaseParser_20,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 CPPRD(x1,1);
 FRPRD(x5,1);
 {OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x16;OBJ x17;OBJ x18;
  x6=_AParser_22(x1,x2);
  x7=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x6,__ABaseParser_20,__AModBase_12);
  PRD1(2,x8);FLD1(x8,1)=x3;FLD1(x8,2)=x4;
  x9=_ABaseParser_26(x7,x8);
  {OBJ x10=FLD(x9,1);
   CPPRD(x10,1);
   x16=x10;
   CPCLS(__AParser_92,1);}
  CPPRD(x16,1);
  x17=_AOcError_25(x1,x16);
  x18=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_92,2))(__AParser_92,x9,x16);
  r=_AComCompose_5(x17,x18);}
 return r;}

extern OBJ _AParser_97(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pFun'97 */
{OBJ r;
 CPPRD(__AModForm_15,1);
 CPCLS(__AModBase_9,1);
 {OBJ x5;OBJ x6;OBJ x7;
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x1,x2,__AModForm_15);
  x6=_AOcError_22(x3);
  PRD1(2,x7);FLD1(x7,1)=x6;FLD1(x7,2)=x5;
  r=_ACom_23(x7);}
 return r;}

extern OBJ _AParser_98(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6) /* pFun'98 */
{OBJ r;
 {OBJ x8;OBJ x9;OBJ x16;OBJ x33;OBJ x34;OBJ x35;OBJ x36;
  if(ISPRD(x4)&&(ISTGPRD(x4,2))){
   CPCLS(__APForm_5,1);
   x8=__ABUILTIN_5;
  }else{
   CPCLS(__APForm_5,1);
   x8=__ABUILTIN_3;}
  x9=_ABaseParser_26(__APForm_5,x3);
  {OBJ x10=FLD(x9,1);
   CPPRD(x10,1);
   x16=x10;}
  if(ISTGPRM(x8,1)){
   if(ISPRD(x4)&&(ISTGPRD(x4,2))){
    {OBJ x27=FLD(x4,1);
     if(EXPRD(x4,1)){
      DSPRDF(x4);
     }else{
      COPY(x27,1);
      FRPRD(x4,1);}
     {OBJ x30;
      if(ISPRM(x27)){
       HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
      }else{
       {OBJ x29=FLD1(x27,2);
	if(EXPRD(x27,1)){
	 x30=x29;
	 FREE(FLD1(x27,1),1);DSPRDF(x27);
	}else{
	 COPY(x29,1);
	 x30=x29;
	 FRPRD(x27,1);}}}
      if(ISPRM(x30)){
       FREE(x5,1);
       CPCLS(__AParser_97,1);
       CPPRD(__AOcError_15,1);
       x33=__AOcError_15;
      }else{
       if(EXPRD(x30,1)){
	DSPRD(x30);
       }else{
	DCPRD(x30,1);}
       CPPRD(__AParser_95,1);
       CPCLS(__AParser_97,1);
       x33=_AOcError_16(__AOcError_12,__AParser_95,x5);}}}
   }else{
    HLT("Absy at <unknown> : undefined selection nSeq\'Absy:absy->seq");}
  }else{
   FREE(x4,1);
   CPPRD(__AParser_96,1);
   CPCLS(__AParser_97,1);
   x33=_AOcError_16(__AOcError_12,__AParser_96,x5);}
  x34=_AOcError_21(x33,x16);
  CPPRD(x34,1);
  x35=_AOcError_25(x1,x34);
  x36=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_97,3))(__AParser_97,x2,x9,x34);
  r=_AComCompose_5(x35,x36);}
 return r;}

extern OBJ _AParser_99(OBJ x1,OBJ x2) /* pFun'99 */
{OBJ r;
 {OBJ x11;OBJ x12=FLD1(x2,2);FLAG x_x2=EXPRD(x2,1);
  if(x_x2){
  }else{
   x11=FLD1(x2,1);CPPRD(x12,1);}
  CPPRD(__AModName_5,1);
  CPCLS(__AModBase_9,1);
  {OBJ x13;OBJ x14;
   x13=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x1,x12,__AModName_5);
   if(x_x2){
    RSOME(x2,x14);FLD1(x14,2)=x13;
   }else{
    FRPRD(x2,1);PRD1(2,x14);FLD1(x14,1)=x11;FLD1(x14,2)=x13;}
   r=_ACom_23(x14);}}
 return r;}

extern OBJ _AParser_100(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pFun'100 */
{OBJ r;
 CPCLS(__AParser_99,1);
 {OBJ x5;OBJ x6;
  x5=_AParser_23(x1,x3);
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_99,1))(__AParser_99,x2);
  r=_AComCompose_5(x5,x6);}
 return r;}

extern OBJ _AParser_101(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pFun'101 */
{OBJ r;
 CPCLS(__AParser_24,1);
 FRPRD(x5,1);
 {OBJ x6;OBJ x7;OBJ x35;OBJ x28;OBJ x21;OBJ x14;OBJ x38;OBJ x39;
  PRD1(2,x6);FLD1(x6,1)=x2;FLD1(x6,2)=x3;
  x7=_ABaseParser_26(__AParser_24,x6);
  if(ISTGPRD(x7,0)){
   {OBJ x58=FLD(x7,1);OBJ x59=FLD(x7,2);OBJ x60=FLD(x7,3);
    CPPRD(x58,1);COPY(x59,1);COPY(x60,1);
    x28=x58;x35=x59;x14=x60;
    x21=__ABUILTIN_3;}
  }else{
   {OBJ x61=FLD(x7,1);OBJ x62=FLD(x7,2);OBJ x63=FLD(x7,3);
    CPPRD(x61,1);COPY(x62,1);COPY(x63,1);
    x28=x61;x35=x62;x14=x63;
    x21=__ABUILTIN_5;}}
  if(ISPRM(x14)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x36=FLD1(x14,1);
    CPPRD(x36,1);
    x38=x36;
    CPPRD(x1,1);
    CPPRD(x28,1);}}
  x39=_AOcError_25(x1,x28);
  {OBJ x40=FLD1(x38,1);
   {OBJ x43;OBJ x44;OBJ x45;
    x43=x40;
    ANat_76(x43,__ATerminal_4,x44);
    if(ISTGPRM(x44,1)){
     x45=__ABUILTIN_5;
    }else{
     x45=x21;}
    if(ISTGPRM(x45,1)){
     FRPRD(x1,1);
     FREE(x4,1);
     FREE(x14,1);
     FREE(x35,1);
     if(EXPRD(x38,1)){
      DSPRD(x38);
     }else{
      DCPRD(x38,1);}
     {OBJ x46;OBJ x47;OBJ x48;
      x46=_AOcError_22(x28);
      PRD1(2,x47);FLD1(x47,1)=x46;FLD1(x47,2)=x7;
      x48=_ACom_23(x47);
      r=_AComCompose_6(x39,x48);}
    }else{
     FRPRD(x28,1);
     {OBJ x49;
      x49=_AToken_8(x38,__ATerminal_32);
      if(ISTGPRM(x49,1)){
       CPCLS(__AParser_98,1);
       {OBJ x50;
	x50=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_98,5))(__AParser_98,x1,x7,x14,x35,x4);
	r=_AComCompose_5(x39,x50);}
      }else{
       FREE(x4,1);
       FREE(x35,1);
       CPCLS(__AParser_100,1);
       {OBJ x51;
	x51=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_100,3))(__AParser_100,x1,x7,x14);
	r=_AComCompose_5(x39,x51);}}}}}}}
 return r;}

extern OBJ _AParser_103(OBJ x1) /* pSort'103 */
{OBJ r;
 CPCLS(__APName_1,1);
 CPPRD(__AModName_5,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,__APName_1,__ABaseParser_47,__AModName_5);
 return r;}

extern OBJ _AParser_104(OBJ x1) /* pSort'104 */
{OBJ r;
 CPCLS(__AParser_103,1);
 CPCLS(__ABaseParser_20,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_103,1))(__AParser_103,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__ABaseParser_20,__AModBase_12);}
 return r;}

extern OBJ _AParser_105(OBJ x1,OBJ x2,OBJ x3) /* pSort'105 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_106(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pSort'106 */
{OBJ r;
 CPCLS(__AParser_104,1);
 CPPRD(__AModBody_9,1);
 CPCLS(__AModBase_8,1);
 FRPRD(x4,1);
 {OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x16;OBJ x17;OBJ x18;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_104,1))(__AParser_104,__ABUILTIN_20);
  PRD1(2,x7);FLD1(x7,1)=x2;FLD1(x7,2)=x3;
  x8=_ABaseParser_26(x6,x7);
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x8,__AModBody_9);
  {OBJ x10=FLD(x9,1);
   CPPRD(x10,1);
   x16=x10;
   CPCLS(__AParser_105,1);}
  CPPRD(x16,1);
  x17=_AOcError_25(x1,x16);
  x18=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_105,2))(__AParser_105,x9,x16);
  r=_AComCompose_5(x17,x18);}
 return r;}

extern OBJ _AParser_107(OBJ x1) /* pDataType'107 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_100);
 return r;}

extern OBJ _AParser_108(OBJ x1) /* pDataType'108 */
{OBJ r;
 CPCLS(__AParser_29,1);
 CPPRD(__AModBody_17,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,__AParser_29,__ABaseParser_47,__AModBody_17);
 return r;}

extern OBJ _AParser_110(OBJ x1) /* pDataType'110 */
{OBJ r;
 COPY(__AParser_109,1);
 CPCLS(__ABaseParser_61,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_61,1))(__ABaseParser_61,__AParser_109);
 return r;}

extern OBJ _AParser_111(OBJ x1) /* pDataType'111 */
{OBJ r;
 CPCLS(__AParser_110,1);
 CPCLS(__APName_2,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_110,1))(__AParser_110,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_2,x2,__AModBase_12);}
 return r;}

extern OBJ _AParser_112(OBJ x1,OBJ x2,OBJ x3) /* pDataType'112 */
{OBJ r;
 CPCLS(__AParser_107,1);
 CPCLS(__AParser_108,1);
 CPCLS(__AParser_111,1);
 CPCLS(__ABaseParser_20,1);
 CPCLS(__ABaseParser_36,3);
 CPPRD(__AModBase_12,1);
 CPPRD(x1,1);
 {OBJ x4;OBJ x5;OBJ x6;OBJ x8;OBJ x9;OBJ x10;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_107,1))(__AParser_107,__ABUILTIN_20);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_108,1))(__AParser_108,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x4,x5,x1);
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x6,__ABaseParser_20,__AModBase_12);
  x9=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_111,1))(__AParser_111,__ABUILTIN_20);
  x10=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x9,x8,x1);
  r=_ABaseParser_26(x10,x2);}
 return r;}

extern OBJ _AParser_113(OBJ x1,OBJ x2) /* pDataType'113 */
{OBJ r;
 CPCLS(__AParser_112,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_112,2))(__AParser_112,x1,x2);
 return r;}

extern OBJ _AParser_115(OBJ x1) /* pType'115 */
{OBJ r;
 CPCLS(__AParser_113,1);
 CPPRD(__AModBody_13,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_113,1))(__AParser_113,__AModBody_13);
 return r;}

extern OBJ _AParser_116(OBJ x1,OBJ x2,OBJ x3) /* pType'116 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_117(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pType'117 */
{OBJ r;
 CPCLS(__AParser_115,1);
 CPPRD(__AModBody_18,1);
 CPCLS(__AModBase_8,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x15;OBJ x16;OBJ x17;
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_115,1))(__AParser_115,__ABUILTIN_20);
  PRD1(2,x6);FLD1(x6,1)=x2;FLD1(x6,2)=x3;
  x7=_ABaseParser_26(x5,x6);
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x7,__AModBody_18);
  {OBJ x9=FLD(x8,1);
   CPPRD(x9,1);
   x15=x9;
   CPCLS(__AParser_116,1);}
  CPPRD(x15,1);
  x16=_AOcError_25(x1,x15);
  x17=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_116,2))(__AParser_116,x8,x15);
  r=_AComCompose_5(x16,x17);}
 return r;}

extern OBJ _AParser_119(OBJ x1) /* pData'119 */
{OBJ r;
 CPCLS(__AParser_113,1);
 CPPRD(__AModBody_14,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_113,1))(__AParser_113,__AModBody_14);
 return r;}

extern OBJ _AParser_120(OBJ x1,OBJ x2,OBJ x3) /* pData'120 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_121(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pData'121 */
{OBJ r;
 CPCLS(__AParser_119,1);
 CPPRD(__AModBody_18,1);
 CPCLS(__AModBase_8,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x15;OBJ x16;OBJ x17;
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_119,1))(__AParser_119,__ABUILTIN_20);
  PRD1(2,x6);FLD1(x6,1)=x2;FLD1(x6,2)=x3;
  x7=_ABaseParser_26(x5,x6);
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x7,__AModBody_18);
  {OBJ x9=FLD(x8,1);
   CPPRD(x9,1);
   x15=x9;
   CPCLS(__AParser_120,1);}
  CPPRD(x15,1);
  x16=_AOcError_25(x1,x15);
  x17=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_120,2))(__AParser_120,x8,x15);
  r=_AComCompose_5(x16,x17);}
 return r;}

extern OBJ _AParser_122(OBJ x1) /* errKey'122 */
{OBJ r;
 {OBJ x4;OBJ x5;
  if(ISPRM(x1)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x2=FLD1(x1,1);
    if(EXPRD(x1,1)){
     x4=x2;
     FREE(FLD1(x1,2),1);DSPRDF(x1);
    }else{
     CPPRD(x2,1);
     x4=x2;
     FRPRD(x1,1);}
    COPY(__AParser_39,1);}}
  PRD1(2,x5);FLD1(x5,1)=x4;FLD1(x5,2)=__ASeq_6;
  r=_APErr_11(__AParser_39,x5);}
 return r;}

extern OBJ _AParser_123(OBJ x1) /* pLhs'123 */
{OBJ r;
 CPCLS(__AParser_38,1);
 CPCLS(__ABaseParser_68,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_68,1))(__ABaseParser_68,__AParser_38);
 return r;}

extern OBJ _AParser_124(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pLhs'124 */
{OBJ r;
 if(ISPRD(x3)){
  {OBJ x15=FLD1(x3,1);
   CPPRD(x15,1);
   {OBJ x17=FLD1(x15,1);
    if(EXPRD(x15,1)){
     DSPRD(x15);
    }else{
     DCPRD(x15,1);}
    COPY(x2,1);
    CPCLS(__ATerminal_141,1);
    {OBJ x20;OBJ x21;OBJ x22;
     x20=_ASet_44(__ATerminal_141,x17,x2);
     if(ISTGPRM(x20,1)){
      CPPRD(x1,1);
      CPCLS(__AModBase_8,1);
      x21=_AParser_36(x1,x2);
     }else{
      FREE(x2,1);
      CPCLS(__AParser_123,1);
      CPCLS(__AModBase_8,1);
      x21=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_123,1))(__AParser_123,__ABUILTIN_20);}
     x22=_ABaseParser_26(x21,x3);
     r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x22,x1);}}}
 }else{
  HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");}
 return r;}

extern OBJ _AParser_125(OBJ x1,OBJ x2,OBJ x3) /* pLhs'125 */
{OBJ r;
 CPCLS(__AParser_124,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_124,3))(__AParser_124,x1,x2,x3);
 return r;}

extern OBJ _AParser_126(OBJ x1) /* pLhsExpr'126 */
{OBJ r;
 CPCLS(__ABaseParser_71,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_71,1))(__ABaseParser_71,__ATerminal_34);
 return r;}

extern OBJ _AParser_127(OBJ x1) /* pLhsExpr'127 */
{OBJ r;
 CPCLS(__AParser_126,1);
 CPCLS(__APName_7,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_126,1))(__AParser_126,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APName_7,__AModBase_13);}
 return r;}

extern OBJ _AParser_128(OBJ x1) /* pLhsExpr'128 */
{OBJ r;
 CPCLS(__AParser_127,1);
 CPCLS(__APName_2,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_127,1))(__AParser_127,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,__APName_2);}
 return r;}

extern OBJ _AParser_129(OBJ x1,OBJ x2) /* pLhsExpr'129 */
{OBJ r;
 r=_APTypes_14(x1);
 return r;}

extern OBJ _AParser_130(OBJ x1) /* pLhsExpr'130 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_138);
 return r;}

extern OBJ _AParser_131(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pLhsExpr'131 */
{OBJ r;
 CPCLS(__AParser_128,1);
 CPCLS(__AParser_129,1);
 CPCLS(__ATerminal_141,1);
 COPY(x2,1);
 {OBJ x6;OBJ x8;OBJ x9;OBJ x10;OBJ x11;
  x6=_ASet_44(__ATerminal_141,__ATerminal_138,x2);
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_128,1))(__AParser_128,__ABUILTIN_20);
  x9=_ABaseParser_26(x8,x3);
  CPPRD(x9,1);
  x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_129,1))(__AParser_129,x9);
  x11=_ADEBUG_2(__AZOpts_14,x10,x9);
  if(ISTGPRM(x6,1)){
   {OBJ x18;OBJ x21;
    {OBJ x14=FLD(x11,3);
     COPY(x14,1);
     x18=x14;}
    if(ISPRM(x18)){
     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
    }else{
     {OBJ x19=FLD1(x18,1);
      CPPRD(x19,1);
      x21=x19;}}
    {OBJ x22=FLD1(x21,1);
     if(EXPRD(x21,1)){
      DSPRD(x21);
     }else{
      FRPRD(x21,1);}
     {OBJ x25;OBJ x26;
      x25=x22;
      ANat_76(x25,__ATerminal_138,x26);
      if(ISTGPRM(x26,1)){
       CPCLS(__AParser_125,1);
       CPCLS(__AParser_130,1);
       CPPRD(__AModExpr_8,1);
       CPPRD(__AModExpr_9,1);
       CPCLS(__ABaseParser_36,1);
       CPCLS(__AModBase_8,1);
       CPCLS(__AModBase_9,1);
       CPPRD(__AModBase_13,1);
       {OBJ x27;OBJ x28;OBJ x29;OBJ x30;OBJ x31;
	x27=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_130,1))(__AParser_130,__ABUILTIN_20);
	x28=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_125,2))(__AParser_125,x1,x2);
	x29=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x27,x28,__AModBase_13);
	x30=_ABaseParser_26(x29,x18);
	x31=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x11,x30,__AModExpr_8);
	r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x31,__AModExpr_9);}
      }else{
       r=x11;
       FRPRD(x1,1);
       FREE(x2,1);
       FREE(x18,1);}}}}
  }else{
   r=x11;
   FRPRD(x1,1);
   FREE(x2,1);}}
 return r;}

extern OBJ _AParser_132(OBJ x1,OBJ x2,OBJ x3) /* pLhsExpr'132 */
{OBJ r;
 CPCLS(__AParser_131,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_131,3))(__AParser_131,x1,x2,x3);
 return r;}

extern OBJ _AParser_133(OBJ x1) /* pLhsExprS'133 */
{OBJ r;
 CPCLS(__ABaseParser_71,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_71,1))(__ABaseParser_71,__ATerminal_84);
 return r;}

extern OBJ _AParser_135(OBJ x1) /* pTopLhs'135 */
{OBJ r;
 COPY(__AParser_134,1);
 CPCLS(__ABaseParser_61,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_61,1))(__ABaseParser_61,__AParser_134);
 return r;}

extern OBJ _AParser_136(OBJ x1,OBJ x2,OBJ x3) /* pTopLhs'136 */
{OBJ r;
 COPY(__AParser_39,1);
 CPCLS(__AParser_125,1);
 CPCLS(__AParser_135,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x4;OBJ x5;OBJ x6;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_125,2))(__AParser_125,x1,__AParser_39);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_135,1))(__AParser_135,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x4,x5,__AModBase_12);
  r=_ABaseParser_26(x6,x2);}
 return r;}

extern OBJ _AParser_137(OBJ x1,OBJ x2) /* pTopLhs'137 */
{OBJ r;
 CPCLS(__AParser_136,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_136,2))(__AParser_136,x1,x2);
 return r;}

extern OBJ _AParser_138(OBJ x1) /* pDef,1'138 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_100);
 return r;}

extern OBJ _AParser_139(OBJ x1) /* pDef,1'139 */
{OBJ r;
 CPPRD(__APErr_25,1);
 CPCLS(__ABaseParser_64,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_64,1))(__ABaseParser_64,__APErr_25);
 return r;}

extern OBJ _AParser_140(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pDef,1'140 */
{OBJ r;
 CPCLS(__AParser_138,1);
 {OBJ x8;OBJ x9;
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_138,1))(__AParser_138,__ABUILTIN_20);
  x9=_APExpr_1(x2);
  if(ISPRD(x3)){
   {OBJ x5=FLD1(x3,1);
    CPPRD(x5,1);
    {OBJ x7;OBJ x10;OBJ x11;OBJ x12;OBJ x19;OBJ x20;OBJ x27;OBJ x28;OBJ x29;OBJ x30;
     x7=x5;
     x10=_AToken_9(__ATerminal_100,x7);
     if(ISTGPRM(x10,1)){
      FRPRD(x1,1);
      CPCLS(__AParser_139,1);
      x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_139,1))(__AParser_139,__ABUILTIN_20);
     }else{
      CPCLS(__AParser_137,1);
      x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_137,1))(__AParser_137,x1);}
     x12=_ABaseParser_26(x11,x3);
     {OBJ x15=FLD(x12,3);
      COPY(x15,1);
      x19=x15;}
     x20=_ABaseParser_26(x8,x19);
     {OBJ x23=FLD(x20,3);
      COPY(x23,1);
      x27=x23;
      CPPRD(__AModExpr_2,2);
      CPPRD(__AModMix_8,1);
      CPCLS(__AModBase_8,1);
      CPCLS(__AModBase_9,2);}
     x28=_ABaseParser_26(x9,x27);
     x29=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x28,__AModMix_8);
     x30=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x20,x29,__AModExpr_2);
     r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x12,x30,__AModExpr_2);}}
  }else{
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");}}
 return r;}

extern OBJ _AParser_141(OBJ x1,OBJ x2,OBJ x3) /* pDef,1'141 */
{OBJ r;
 CPCLS(__AParser_140,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AParser_140,3))(__AParser_140,x1,x2,x3);
 return r;}

extern OBJ _AParser_142(OBJ x1) /* pDef'142 */
{OBJ r;
 {OBJ x14=FLD1(x1,1);OBJ x15=FLD1(x1,2);
  if(EXPRD(x1,1)){
   FREE(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   CPPRD(x15,1);
   FRPRD(x1,1);}
  {OBJ x17;
   ANat_76(x14,__ATerminal_84,x17);
   if(ISTGPRM(x17,1)){
    FRPRD(x15,1);
    r=__ABUILTIN_5;
   }else{
    {OBJ x20=FLD1(x15,3);
     if(EXPRD(x15,1)){
      r=x20;
      FRPRD(FLD1(x15,2),1);DSPRDF(x15);
     }else{
      r=x20;
      FRPRD(x15,1);}}}}}
 return r;}

extern OBJ _AParser_145(OBJ x1,OBJ x2) /* pDef'145 */
{OBJ r;
 CPPRD(__AParser_144,1);
 {OBJ x3;
  x3=_APTypes_14(x1);
  ADenotation_4(__AParser_144,x3,r);}
 return r;}

extern OBJ _AParser_146(OBJ x1,OBJ x2,OBJ x3) /* pDef'146 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_147(OBJ x1,OBJ x2,OBJ x3) /* pDef'147 */
{OBJ r;
 FRPRD(x3,1);
 if(ISTGPRM(__AZOpts_1,1)){
  CPCLS(__AParser_141,1);
  CPCLS(__AParser_145,1);
  CPPRD(__AModMix_3,2);
  {OBJ x21;OBJ x22;OBJ x23;OBJ x24;OBJ x31;OBJ x32;OBJ x33;
   x21=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_141,2))(__AParser_141,__AModMix_3,__AModMix_3);
   x22=_ABaseParser_26(x21,x2);
   CPPRD(x22,1);
   x23=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_145,1))(__AParser_145,x22);
   x24=_ADEBUG_2(__AZOpts_13,x23,x22);
   {OBJ x25=FLD(x24,1);
    CPPRD(x25,1);
    x31=x25;
    CPCLS(__AParser_146,1);}
   CPPRD(x31,1);
   x32=_AOcError_25(x1,x31);
   x33=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_146,2))(__AParser_146,x24,x31);
   r=_AComCompose_5(x32,x33);}
 }else{
  CPCLS(__AParser_141,1);
  CPCLS(__AParser_145,1);
  CPPRD(__AModMix_1,1);
  CPPRD(__AModMix_5,1);
  {OBJ x35;OBJ x36;OBJ x37;OBJ x38;OBJ x45;OBJ x46;OBJ x47;
   x35=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_141,2))(__AParser_141,__AModMix_1,__AModMix_5);
   x36=_ABaseParser_26(x35,x2);
   CPPRD(x36,1);
   x37=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_145,1))(__AParser_145,x36);
   x38=_ADEBUG_2(__AZOpts_13,x37,x36);
   {OBJ x39=FLD(x38,1);
    CPPRD(x39,1);
    x45=x39;
    CPCLS(__AParser_146,1);}
   CPPRD(x45,1);
   x46=_AOcError_25(x1,x45);
   x47=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_146,2))(__AParser_146,x38,x45);
   r=_AComCompose_5(x46,x47);}}
 return r;}

extern OBJ _AParser_149(OBJ x1) /* pLaw'149 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_100);
 return r;}

extern OBJ _AParser_150(OBJ x1) /* pLaw'150 */
{OBJ r;
 CPCLS(__AParser_149,1);
 CPCLS(__APName_1,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_149,1))(__AParser_149,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_1,x2,__AModBase_12);}
 return r;}

extern OBJ _AParser_151(OBJ x1,OBJ x2,OBJ x3) /* pLaw'151 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_152(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pLaw'152 */
{OBJ r;
 FRPRD(x5,1);
 {OBJ x8;OBJ x9;OBJ x10;OBJ x19;OBJ x20;OBJ x21;OBJ x28;OBJ x29;OBJ x30;
  if(ISPRM(x3)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x6=FLD1(x3,1);
    CPPRD(x6,1);
    x8=x6;}}
  CPPRD(x8,1);
  PRD1(2,x9);FLD1(x9,1)=x2;FLD1(x9,2)=x3;
  x10=_AToken_9(__ATerminal_100,x8);
  if(ISTGPRM(x10,1)){
   FREE(x4,1);
   CPCLS(__AParser_150,1);
   {OBJ x12;
    x12=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_150,1))(__AParser_150,__ABUILTIN_20);
    {OBJ x15=FLD1(x8,3);
     if(EXPRD(x8,1)){
      FRPRD(FLD1(x8,2),1);DSPRDF(x8);
     }else{
      COPY(x15,1);
      FRPRD(x8,1);}
     CPCLS(__APForm_1,1);
     CPCLS(__ABaseParser_20,1);
     CPCLS(__ABaseParser_36,2);
     CPPRD(__AModBase_12,1);
     {OBJ x16;OBJ x17;
      x16=x15;
      x17=_AModBody_12(x16);
      x19=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x12,__APForm_1,x17);}}}
  }else{
   FRPRD(x8,1);
   CPCLS(__APForm_1,1);
   CPCLS(__ABaseParser_19,1);
   CPCLS(__ABaseParser_20,1);
   CPCLS(__ABaseParser_36,2);
   CPPRD(__AModBase_12,1);
   {OBJ x18;
    x18=_AModBody_12(x4);
    x19=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APForm_1,__ABaseParser_19,x18);}}
  x20=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x19,__ABaseParser_20,__AModBase_12);
  x21=_ABaseParser_26(x20,x9);
  {OBJ x22=FLD(x21,1);
   CPPRD(x22,1);
   x28=x22;
   CPCLS(__AParser_151,1);}
  CPPRD(x28,1);
  x29=_AOcError_25(x1,x28);
  x30=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_151,2))(__AParser_151,x21,x28);
  r=_AComCompose_5(x29,x30);}
 return r;}

extern OBJ _AParser_154(OBJ x1) /* pPragma'154 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_86);
 return r;}

extern OBJ _AParser_155(OBJ x1) /* pPragma'155 */
{OBJ r;
 CPCLS(__AParser_44,1);
 CPCLS(__AParser_154,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_154,1))(__AParser_154,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__AParser_44,x2,__AModBase_12);}
 return r;}

extern OBJ _AParser_156(OBJ x1) /* pPragma'156 */
{OBJ r;
 CPCLS(__AParser_155,1);
 CPCLS(__ABaseParser_20,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_155,1))(__AParser_155,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__ABaseParser_20,__AModBase_12);}
 return r;}

extern OBJ _AParser_158(OBJ x1,OBJ x2) /* pPragma'158 */
{OBJ r;
 CPPRD(__AParser_157,1);
 {OBJ x3;
  x3=_APTypes_14(x1);
  ADenotation_4(__AParser_157,x3,r);}
 return r;}

extern OBJ _AParser_159(OBJ x1,OBJ x2,OBJ x3) /* pPragma'159 */
{OBJ r;
 {OBJ x4;
  x4=_AOcError_22(x2);
  if(ISTGPRM(x4,1)){
   CPCLS(__ACom_47,1);
   {OBJ x5;OBJ x6;OBJ x7;
    PRD1(2,x5);FLD1(x5,1)=__ABUILTIN_5;FLD1(x5,2)=x1;
    PRD(1,0,x6);FLD(x6,1)=x5;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x6);
    PRD(2,0,r);FLD(r,1)=x7;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__ACom_47,1);
   {OBJ x8;OBJ x9;OBJ x10;
    PRD1(2,x8);FLD1(x8,1)=__ABUILTIN_3;FLD1(x8,2)=x1;
    PRD(1,0,x9);FLD(x9,1)=x8;
    x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x9);
    PRD(2,0,r);FLD(r,1)=x10;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_160(OBJ x1,OBJ x2,OBJ x3) /* pPragma'160 */
{OBJ r;
 CPCLS(__AParser_156,1);
 CPCLS(__AParser_158,1);
 FRPRD(x3,1);
 {OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x16;OBJ x17;OBJ x18;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_156,1))(__AParser_156,__ABUILTIN_20);
  x7=_ABaseParser_26(x6,x2);
  CPPRD(x7,1);
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_158,1))(__AParser_158,x7);
  x9=_ADEBUG_2(__AParser_43,x8,x7);
  {OBJ x10=FLD(x9,1);
   CPPRD(x10,1);
   x16=x10;
   CPCLS(__AParser_159,1);}
  CPPRD(x16,1);
  x17=_AOcError_25(x1,x16);
  x18=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_159,2))(__AParser_159,x9,x16);
  r=_AComCompose_5(x17,x18);}
 return r;}

extern OBJ _AParser_162(OBJ x1,OBJ x2,OBJ x3) /* pProof'162 */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AOcError_22(x2);
  PRD1(2,x5);FLD1(x5,1)=x4;FLD1(x5,2)=x1;
  r=_ACom_23(x5);}
 return r;}

extern OBJ _AParser_163(OBJ x1,OBJ x2,OBJ x3) /* pProof'163 */
{OBJ r;
 CPCLS(__APForm_2,1);
 {OBJ x4;OBJ x11;OBJ x12;OBJ x13;
  x4=_ABaseParser_26(__APForm_2,x2);
  {OBJ x5=FLD(x4,1);
   CPPRD(x5,1);
   x11=x5;
   CPCLS(__AParser_162,1);}
  CPPRD(x11,1);
  x12=_AOcError_25(x1,x11);
  x13=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_162,2))(__AParser_162,x4,x11);
  r=_AComCompose_5(x12,x13);}
 return r;}

extern OBJ _AParser_165(OBJ x1,OBJ x2,OBJ x3) /* pProofHead'165 */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AOcError_22(x2);
  PRD1(2,x5);FLD1(x5,1)=x4;FLD1(x5,2)=x1;
  r=_ACom_23(x5);}
 return r;}

extern OBJ _AParser_166(OBJ x1,OBJ x2,OBJ x3) /* pProofHead'166 */
{OBJ r;
 CPCLS(__APForm_4,1);
 {OBJ x4;OBJ x11;OBJ x12;OBJ x13;
  x4=_ABaseParser_26(__APForm_4,x2);
  {OBJ x5=FLD(x4,1);
   CPPRD(x5,1);
   x11=x5;
   CPCLS(__AParser_165,1);}
  CPPRD(x11,1);
  x12=_AOcError_25(x1,x11);
  x13=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_165,2))(__AParser_165,x4,x11);
  r=_AComCompose_5(x12,x13);}
 return r;}

extern OBJ _AParser_168(OBJ x1,OBJ x2,OBJ x3) /* pProofBody'168 */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AOcError_22(x2);
  PRD1(2,x5);FLD1(x5,1)=x4;FLD1(x5,2)=x1;
  r=_ACom_23(x5);}
 return r;}

extern OBJ _AParser_169(OBJ x1,OBJ x2,OBJ x3) /* pProofBody'169 */
{OBJ r;
 CPCLS(__APForm_3,1);
 {OBJ x4;OBJ x11;OBJ x12;OBJ x13;
  x4=_ABaseParser_26(__APForm_3,x2);
  {OBJ x5=FLD(x4,1);
   CPPRD(x5,1);
   x11=x5;
   CPCLS(__AParser_168,1);}
  CPPRD(x11,1);
  x12=_AOcError_25(x1,x11);
  x13=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_168,2))(__AParser_168,x4,x11);
  r=_AComCompose_5(x12,x13);}
 return r;}

extern OBJ _AParser_173(OBJ x1) /* parsSigBody'173 */
{OBJ r;
 CPPRD(__AParser_172,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_172);
 return r;}

extern OBJ _AParser_177(OBJ x1) /* parsSigBody'177 */
{OBJ r;
 CPPRD(__AParser_176,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_176);
 return r;}

extern OBJ _AParser_178(OBJ x1) /* parsSigBody'178 */
{OBJ r;
 CPCLS(__AParser_177,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_177,1))(__AParser_177,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_179(OBJ x1) /* parsSigBody'179 */
{OBJ r;
 CPCLS(__AParser_177,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_177,1))(__AParser_177,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_180(OBJ x1) /* parsSigBody'180 */
{OBJ r;
 CPCLS(__AParser_177,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_177,1))(__AParser_177,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_184(OBJ x1) /* parsBody'184 */
{OBJ r;
 CPPRD(__AParser_183,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_183);
 return r;}

extern OBJ _AParser_187(OBJ x1) /* parsBody'187 */
{OBJ r;
 CPPRD(__AParser_186,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_186);
 return r;}

extern OBJ _AParser_188(OBJ x1) /* parsBody'188 */
{OBJ r;
 CPCLS(__AParser_187,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_187,1))(__AParser_187,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_189(OBJ x1) /* parsBody'189 */
{OBJ r;
 CPCLS(__AParser_187,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_187,1))(__AParser_187,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_190(OBJ x1) /* parsBody'190 */
{OBJ r;
 CPCLS(__AParser_187,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_187,1))(__AParser_187,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_191(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pBody'191 */
{OBJ r;
 {OBJ x14=FLD1(x5,1);OBJ x15=FLD1(x5,2);
  if(EXPRD(x5,1)){
   DSPRDF(x5);
  }else{
   CPPRD(x15,1);
   FRPRD(x5,1);}
  {OBJ x17;OBJ x16;
   if(ISTGPRM(x14,1)){
    CPPRD(__AModBody_6,1);
    CPCLS(__AModBase_9,1);
    x17=x3;
   }else{
    CPPRD(__AModBody_6,1);
    CPCLS(__AModBase_9,1);
    x17=__ABUILTIN_3;}
   x16=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x2,x15,__AModBody_6);
   r=_AParser_15(x1,x4,x16,x17);}}
 return r;}

extern OBJ _AParser_193(OBJ x1) /* parse,1'193 */
{OBJ r;
 CPPRD(__AParser_192,1);
 CPCLS(__ACom_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,__AParser_192);
 return r;}

extern OBJ _AParser_194(OBJ x1) /* parse,1'194 */
{OBJ r;
 CPCLS(__AParser_193,1);
 FRPRD(x1,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_193,1))(__AParser_193,__ABUILTIN_20);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _AParser_195(OBJ x1,OBJ x2) /* parse,1'195 */
{OBJ r;
 r=_AAbsy_79(x1);
 return r;}

extern OBJ _AParser_196(OBJ x1,OBJ x2,OBJ x3) /* parse,1'196 */
{OBJ r;
 CPPRD(__AModBody_7,1);
 CPCLS(__AModBase_9,1);
 {OBJ x4;OBJ x11;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x1,x2,__AModBody_7);
  {OBJ x6=FLD(x4,2);
   if(EXPRD(x4,1)){
    x11=x6;
    FLD(x4,2)=NIL;DSPRD(x4);
   }else{
    COPY(x6,1);
    x11=x6;
    FRPRD(x4,1);}}
  r=_AAbsy_79(x11);}
 return r;}

extern OBJ _AParser_197(OBJ x1,OBJ x2) /* parse,1'197 */
{OBJ r;
 {OBJ x25=FLD1(x2,1);OBJ x26=FLD1(x2,2);
  if(EXPRD(x2,1)){
   DSPRDF(x2);
  }else{
   CPPRD(x26,1);
   FRPRD(x2,1);}
  if(ISTGPRM(x25,1)){
   CPPRD(__AModBody_7,1);
   CPCLS(__AModBase_9,1);
   {OBJ x27;OBJ x34;OBJ x35;OBJ x36;OBJ x37;OBJ x38;
    x27=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x1,x26,__AModBody_7);
    {OBJ x29=FLD(x27,2);
     if(EXPRD(x27,1)){
      x34=x29;
      FLD(x27,2)=NIL;DSPRD(x27);
     }else{
      COPY(x29,1);
      x34=x29;
      FRPRD(x27,1);}
     CPCLS(__AParser_195,1);
     CPCLS(__ACom_47,1);}
    COPY(x34,1);
    x35=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_195,1))(__AParser_195,x34);
    x36=_ADEBUG_2(__AZOpts_12,x35,x34);
    PRD(1,0,x37);FLD(x37,1)=x36;
    x38=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x37);
    PRD(2,0,r);FLD(r,1)=x38;FLD(r,2)=__ASeq_6;}
  }else{
   CPCLS(__AParser_196,1);
   CPCLS(__ACom_47,1);
   CPPRD(__AOcExit_1,1);
   {OBJ x39;OBJ x40;OBJ x41;OBJ x42;
    x39=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AParser_196,2))(__AParser_196,x1,x26);
    x40=_ADEBUG_2(__AZOpts_12,x39,__AOcExit_1);
    PRD(1,1,x41);FLD(x41,1)=x40;
    x42=(*(OBJ(*)(OBJ,OBJ))METHOD(__ACom_47,1))(__ACom_47,x41);
    PRD(2,0,r);FLD(r,1)=x42;FLD(r,2)=__ASeq_6;}}}
 return r;}

extern OBJ _AParser_198(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* parse,1'198 */
{OBJ r;
 CPPRD(__AOcError_15,1);
 {OBJ x5;
  PRD(3,0,x5);FLD(x5,1)=__AOcError_15;FLD(x5,2)=x2;FLD(x5,3)=__ASeq_6;
  {OBJ x14=FLD1(x4,1);OBJ x15=FLD1(x4,2);
   if(EXPRD(x4,1)){
    DSPRDF(x4);
   }else{
    CPPRD(x15,1);
    FRPRD(x4,1);}
   CPCLS(__AParser_197,1);
   {OBJ x16;OBJ x17;
    x16=_AParser_15(x1,x3,x5,x14);
    x17=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_197,1))(__AParser_197,x15);
    r=_AComCompose_5(x16,x17);}}}
 return r;}

extern OBJ _AParser_199(OBJ x1) /* parseSignature'199 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_110);
 return r;}

extern OBJ _AParser_200(OBJ x1) /* parseTheory'200 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_26);
 return r;}

extern OBJ _AParser_203(OBJ x1) /* parseImplementation'203 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_122);
 return r;}

extern OBJ _AParser_205(OBJ x1) /* parseExtProps'205 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_58);
 return r;}

extern OBJ _AParser_206(OBJ x1) /* parseExtProps'206 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_48);
 return r;}

extern OBJ _AParser_207(OBJ x1) /* parseExtProps'207 */
{OBJ r;
 CPCLS(__AParser_205,1);
 CPCLS(__AParser_206,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_205,1))(__AParser_205,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_206,1))(__AParser_206,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_13);}
 return r;}

extern OBJ _AParser_209(OBJ x1) /* parseIntProps'209 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_56);
 return r;}

extern OBJ _AParser_210(OBJ x1) /* parseIntProps'210 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_48);
 return r;}

extern OBJ _AParser_211(OBJ x1) /* parseIntProps'211 */
{OBJ r;
 CPCLS(__AParser_209,1);
 CPCLS(__AParser_210,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_209,1))(__AParser_209,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_210,1))(__AParser_210,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_13);}
 return r;}

extern OBJ _AParser_214(OBJ x1) /* pPragItem'214 */
{OBJ r;
 COPY(__AParser_45,1);
 CPPRD(__AModBody_20,1);
 CPCLS(__ABaseParser_54,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_54,2))(__ABaseParser_54,__AParser_45,__AModBody_20);
 return r;}

extern OBJ _AParser_215(OBJ x1) /* pPragItem'215 */
{OBJ r;
 CPCLS(__AParser_214,1);
 CPPRD(__AModBody_21,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_214,1))(__AParser_214,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,x2,__ABaseParser_47,__AModBody_21);}
 return r;}

extern OBJ _AParser_216(OBJ x1) /* pPragItem'216 */
{OBJ r;
 CPCLS(__AParser_215,1);
 CPCLS(__APName_6,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_215,1))(__AParser_215,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APName_6,x2);}
 return r;}

extern OBJ _AParser_217(OBJ x1) /* pPragItem'217 */
{OBJ r;
 CPCLS(__AParser_216,1);
 CPPRD(__AModBody_21,1);
 CPCLS(__ABaseParser_44,1);
 COPY(__ABaseParser_48,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_216,1))(__AParser_216,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_44,3))(__ABaseParser_44,x2,__ABaseParser_48,__AModBody_21);}
 return r;}

extern OBJ _AParser_218(OBJ x1,OBJ x2) /* pPragItem'218 */
{OBJ r;
 r=_APTypes_14(x1);
 return r;}

extern OBJ _AParser_219(OBJ x1,OBJ x2) /* pPragItem'219 */
{OBJ r;
 CPCLS(__AParser_217,1);
 CPCLS(__AParser_218,1);
 {OBJ x6;OBJ x7;OBJ x8;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_217,1))(__AParser_217,__ABUILTIN_20);
  x7=_ABaseParser_26(x6,x1);
  CPPRD(x7,1);
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_218,1))(__AParser_218,x7);
  r=_ADEBUG_2(__AParser_43,x8,x7);}
 return r;}

extern OBJ _AParser_220(OBJ x1) /* pFun,1'220 */
{OBJ r;
 CPCLS(__APName_1,1);
 CPPRD(__AModName_5,1);
 CPCLS(__ABaseParser_46,1);
 COPY(__ABaseParser_47,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_46,3))(__ABaseParser_46,__APName_1,__ABaseParser_47,__AModName_5);
 return r;}

extern OBJ _AParser_221(OBJ x1) /* pFun,1'221 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_94);
 return r;}

extern OBJ _AParser_222(OBJ x1) /* pFun,1'222 */
{OBJ r;
 CPCLS(__AParser_221,1);
 CPCLS(__ABaseParser_19,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_221,1))(__AParser_221,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__ABaseParser_19,__AModBase_12);}
 return r;}

extern OBJ _AParser_223(OBJ x1,OBJ x2) /* pFun,1'223 */
{OBJ r;
 CPCLS(__AParser_220,1);
 CPCLS(__AParser_222,1);
 {OBJ x3;OBJ x5;OBJ x6;OBJ x13;OBJ x16;OBJ x17;OBJ x29;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_220,1))(__AParser_220,__ABUILTIN_20);
  x5=_ABaseParser_26(x3,x1);
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AParser_222,1))(__AParser_222,__ABUILTIN_20);
  {OBJ x9=FLD(x5,3);
   COPY(x9,1);
   x13=x9;}
  if(ISPRM(x13)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x14=FLD1(x13,1);
    CPPRD(x14,1);
    x16=x14;
    CPCLS(__AModBase_9,1);
    CPPRD(__AModBase_12,1);}}
  x17=_ABaseParser_26(x6,x13);
  CPPRD(x17,1);
  x29=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x5,x17,__AModBase_12);
  {OBJ x35=FLD1(x16,3);
   if(EXPRD(x16,1)){
    FRPRD(FLD1(x16,2),1);DSPRDF(x16);
   }else{
    COPY(x35,1);
    FRPRD(x16,1);}
   {OBJ x42;OBJ x43;OBJ x44;OBJ x45;
    {OBJ x38=FLD(x17,3);
     if(EXPRD(x17,1)){
      x42=x38;
      FLD(x17,3)=NIL;DSPRD(x17);
     }else{
      COPY(x38,1);
      x42=x38;
      FRPRD(x17,1);}
     CPPRD(__AModBody_8,1);
     CPCLS(__APName_4,1);
     CPCLS(__AModBase_8,1);
     CPCLS(__AModBase_9,1);}
    x43=_AModBody_19(x35);
    x44=_ABaseParser_26(__APName_4,x42);
    x45=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AModBase_8,2))(__AModBase_8,x44,x43);
    r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_9,3))(__AModBase_9,x29,x45,__AModBody_8);}}}
 return r;}


static void ___AParser_30()
{
 CPPRD(__AModBody_15,1);
 CPCLS(__APName_2,1);
 CPCLS(__ABaseParser_36,2);
 CPCLS(__ABaseParser_42,1);
 CPCLS(__ABaseParser_50,2);
 CPPRD(__AModBase_12,1);
 CPPRD(__AModBase_13,1);
 {OBJ x1;OBJ x2;OBJ x3;OBJ x4;
  x1=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_84);
  x2=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_42,3))(__ABaseParser_42,__APName_2,__ATerminal_80,__AModBody_15);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_82);
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_12);
  __AParser_30=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x1,x4,__AModBase_13);}}

static void ___AParser_39()
{
 CPCLS(__ATerminal_141,2);
 {OBJ x1;OBJ x2;
  PRD1F(2,x1);FLD1(x1,1)=__ATerminal_84;FLD1(x1,2)=__ASeq_6;
  x2=_ASet_39(__ATerminal_141,__ATerminal_72,x1);
  __AParser_39=_ASet_39(__ATerminal_141,__ATerminal_34,x2);}}




static void ___AParser_46()
{
 CPCLS(__ATerminal_141,4);
 {OBJ x1;OBJ x2;OBJ x3;OBJ x4;
  PRD1F(2,x1);FLD1(x1,1)=__ATerminal_4;FLD1(x1,2)=__ASeq_6;
  x2=_ASet_39(__ATerminal_141,__ATerminal_74,x1);
  x3=_ASet_39(__ATerminal_141,__ATerminal_76,x2);
  x4=_ASet_39(__ATerminal_141,__ATerminal_86,x3);
  __AParser_46=_ASet_39(__ATerminal_141,__ATerminal_88,x4);}}

















static OBJ _mt_6_0_3(OBJ t,OBJ t1,OBJ t2,OBJ t3) 
{OBJ r;
 DPCLS(t,r);
 INCCLS(r,0,3);
 FLDCLS(r,1)=t1;
 FLDCLS(r,2)=t2;
 FLDCLS(r,3)=t3;
 return r;}

static OBJ _mt_6_0_5(OBJ t,OBJ t1,OBJ t2,OBJ t3,OBJ t4,OBJ t5) 
{OBJ r;
 DPCLS(t,r);
 INCCLS(r,0,5);
 FLDCLS(r,1)=t1;
 FLDCLS(r,2)=t2;
 FLDCLS(r,3)=t3;
 FLDCLS(r,4)=t4;
 FLDCLS(r,5)=t5;
 return r;}

static OBJ _mt_6_1_2(OBJ t,OBJ t1,OBJ t2) 
{OBJ r;
 if(EXCLS(t)){
  r=t;
 }else{
  DPCLS(t,r);
  FLDCLS(r,1)=FLDCLS(t,1);
  COPY(FLDCLS(r,1),1);}
 INCCLS(r,1,2);
 FLDCLS(r,2)=t1;
 FLDCLS(r,3)=t2;
 return r;}

static OBJ _mt_6_3_3(OBJ t,OBJ t1,OBJ t2,OBJ t3) 
{OBJ r;
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  COPY(FLDCLS(t,1),1);
  COPY(FLDCLS(t,2),1);
  COPY(FLDCLS(t,3),1);
  DCCLS(t,1);}
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),t1,t2,t3);
 return r;}

static OBJ _mt_6_5_1(OBJ t,OBJ t1) 
{OBJ r;
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  COPY(FLDCLS(t,1),1);
  COPY(FLDCLS(t,2),1);
  COPY(FLDCLS(t,3),1);
  COPY(FLDCLS(t,4),1);
  COPY(FLDCLS(t,5),1);
  DCCLS(t,1);}
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),FLDCLS(t,4),FLDCLS(t,5),t1);
 return r;}
static OBJ _mt_6_5_1_l(OBJ t,OBJ t1) 
{OBJ r;
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),FLDCLS(t,4),FLDCLS(t,5),t1);
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  DCCLS(t,1);
  FLDCLS(t,1)=NIL;FLDCLS(t,2)=NIL;FLDCLS(t,3)=NIL;FLDCLS(t,4)=NIL;FLDCLS(t,5)=NIL;
  COPY(r,1);LZYCLS(t,r);}
 return r;}

init_AParser()
{
 static int visited=0; if(visited) return; visited=1;
 init_ALexem();
 init_APForm();
 init_ASeqConv();
 init_AModForm();
 init_APExpr();
 init_AModExpr();
 init_AStruct();
 init_AModMix();
 init_AToken();
 init_APCommon();
 init_ARepTab();
 init_APErr();
 init_AOcOptions();
 init_ABaseParser();
 init_ASeq();
 init_APTypes();
 init_APair();
 init_AZOpts();
 init_ACom();
 init_APostParser();
 init_ANat();
 init_AAbsy();
 init_AVoid();
 init_AOcVerbose();
 init_AOption();
 init_AOcError();
 init_AChar();
 init_AOcExit();
 init_AStream();
 init_ANatConv();
 init_AString();
 init_ADenotation();
 init_AFile();
 init_AComCompose();
 init_AInt();
 init_ASeqReduce();
 init_ARep();
 init_ASeqMap();
 init_AOcPos();
 init_ASeqFilter();
 init_ATerminal();
 init_ASeqIndex();
 init_ASet();
 init_ASetMap();
 init_APartName();
 init_ASetReduce();
 init_AImpl();
 init_ADEBUG();
 init_AGlobPragma();
 init_AReal();
 init_APragma();
 init_AModBase();
 init_AMap();
 init_ASetByBST();
 init_AFct();
 init_ABSTree();
 init_ABitset();
 init_ATree();
 init_AModBody();
 init_AArray();
 init_APName();
 init_AMapReduce();
 init_AModName();
 LCLS(2,_AParser_223,__AParser_223);
 CLS(3,_AParser_159,__AParser_159);
 CLS(5,_AParser_191,__AParser_191);
 DEN("specification for single declarations only",__AParser_95);
 CLS(2,_AParser_31,__AParser_31);
 LCLS(1,_AParser_63,__AParser_63);
 LCLS(1,_AParser_127,__AParser_127);
 LCLS(1,_AParser_222,__AParser_222);
 LCLS(2,_AParser_158,__AParser_158);
 CLS(1,_AParser_190,__AParser_190);
 DEN("parsing FUN ",__AParser_94);
 LCLS(1,_AParser_62,__AParser_62);
 LCLS(1,_AParser_126,__AParser_126);
 LCLS(1,_AParser_221,__AParser_221);
 DEN("Pragma ",__AParser_157);
 CLS(1,_AParser_189,__AParser_189);
 CLS(5,_AParser_93,__AParser_93);
 DEN("defSign",__AParser_61);
 CLS(3,_AParser_125,__AParser_125);
 LCLS(1,_AParser_220,__AParser_220);
 LCLS(1,_AParser_156,__AParser_156);
 CLS(1,_AParser_188,__AParser_188);
 CLS(3,_AParser_92,__AParser_92);
 CLS(1,_AParser_28,__AParser_28);
 CLS(3,_AParser_60,__AParser_60);
 LCLS(4,_AParser_124,__AParser_124);
 LCLS(2,_AParser_219,__AParser_219);
 LCLS(1,_AParser_155,__AParser_155);
 LCLS(1,_AParser_187,__AParser_187);
 DEN(" ",__AParser_91);
 CLS(2,_AParser_27,__AParser_27);
 LCLS(1,_AParser_59,__AParser_59);
 LCLS(1,_AParser_123,__AParser_123);
 LCLS(2,_AParser_218,__AParser_218);
 LCLS(1,_AParser_154,__AParser_154);
 LCLS(1,_AParser_90,__AParser_90);
 CLS(2,_AParser_26,__AParser_26);
 CLS(5,_AParser_58,__AParser_58);
 CLS(1,_AParser_122,__AParser_122);
 LCLS(1,_AParser_217,__AParser_217);
 DEN("parsing PRAGMA in Position ",__AParser_153);
 LCLS(1,_AParser_89,__AParser_89);
 CLS(2,_AParser_25,__AParser_25);
 CLS(3,_AParser_57,__AParser_57);
 CLS(4,_AParser_121,__AParser_121);
 LCLS(1,_AParser_216,__AParser_216);
 CLS(5,_AParser_152,__AParser_152);
 LCLS(1,_AParser_184,__AParser_184);
 LCLS(1,_AParser_88,__AParser_88);
 CLS(1,_AParser_24,__AParser_24);
 LCLS(1,_AParser_56,__AParser_56);
 CLS(3,_AParser_120,__AParser_120);
 LCLS(1,_AParser_215,__AParser_215);
 CLS(3,_AParser_151,__AParser_151);
 LCLS(1,_AParser_87,__AParser_87);
 CLS(2,_AParser_23,__AParser_23);
 LCLS(1,_AParser_119,__AParser_119);
 LCLS(1,_AParser_214,__AParser_214);
 LCLS(1,_AParser_150,__AParser_150);
 LCLS(1,_AParser_86,__AParser_86);
 CLS(2,_AParser_22,__AParser_22);
 LCLS(2,_AParser_54,__AParser_54);
 DEN("parsing DATA ",__AParser_118);
 DEN("-ztracePrag",__AParser_213);
 LCLS(1,_AParser_149,__AParser_149);
 LCLS(1,_AParser_85,__AParser_85);
 CLS(3,_AParser_21,__AParser_21);
 DEN("# of Token is: ",__AParser_53);
 CLS(4,_AParser_117,__AParser_117);
 DEN("Internal Properties ",__AParser_212);
 DEN("parsing LAW ",__AParser_148);
 CLS(1,_AParser_180,__AParser_180);
 LCLS(1,_AParser_84,__AParser_84);
 CLS(1,_AParser_20,__AParser_20);
 DEN("parsing ",__AParser_52);
 CLS(3,_AParser_116,__AParser_116);
 LCLS(1,_AParser_211,__AParser_211);
 CLS(3,_AParser_147,__AParser_147);
 CLS(1,_AParser_179,__AParser_179);
 CLS(2,_AParser_19,__AParser_19);
 DEN(" ... ",__AParser_51);
 LCLS(1,_AParser_115,__AParser_115);
 LCLS(1,_AParser_210,__AParser_210);
 CLS(3,_AParser_146,__AParser_146);
 CLS(1,_AParser_178,__AParser_178);
 LCLS(1,_AParser_82,__AParser_82);
 CLS(4,_AParser_18,__AParser_18);
 DEN("post parsing ...",__AParser_50);
 DEN("parsing TYPE ",__AParser_114);
 LCLS(1,_AParser_209,__AParser_209);
 LCLS(2,_AParser_145,__AParser_145);
 LCLS(1,_AParser_177,__AParser_177);
 LCLS(1,_AParser_81,__AParser_81);
 CLS(3,_AParser_17,__AParser_17);
 CLS(2,_AParser_49,__AParser_49);
 CLS(2,_AParser_113,__AParser_113);
 DEN("External Properties ",__AParser_208);
 DEN("Result of Definition ",__AParser_144);
 LCLS(1,_AParser_80,__AParser_80);
 CLS(1,_AParser_16,__AParser_16);
 CLS(2,_AParser_48,__AParser_48);
 LCLS(3,_AParser_112,__AParser_112);
 LCLS(1,_AParser_207,__AParser_207);
 DEN("parsing DEF ",__AParser_143);
 CLS(4,_AParser_79,__AParser_79);
 CLS(4,_AParser_15,__AParser_15);
 CLS(2,_AParser_47,__AParser_47);
 LCLS(1,_AParser_111,__AParser_111);
 LCLS(1,_AParser_206,__AParser_206);
 CLS(1,_AParser_142,__AParser_142);
 DEN("Body of ",__AParser_174);
 CLS(3,_AParser_78,__AParser_78);
 CLS(3,_AParser_14,__AParser_14);
 LCLS(1,_AParser_110,__AParser_110);
 LCLS(1,_AParser_205,__AParser_205);
 CLS(3,_AParser_141,__AParser_141);
 LCLS(1,_AParser_173,__AParser_173);
 LCLS(1,_AParser_77,__AParser_77);
 CLS(4,_AParser_13,__AParser_13);
 DEN("Implementation ",__AParser_204);
 LCLS(4,_AParser_140,__AParser_140);
 LCLS(1,_AParser_76,__AParser_76);
 CLS(2,_AParser_12,__AParser_12);
 CLS(1,_AParser_44,__AParser_44);
 LCLS(1,_AParser_108,__AParser_108);
 LCLS(1,_AParser_203,__AParser_203);
 LCLS(1,_AParser_139,__AParser_139);
 LCLS(1,_AParser_75,__AParser_75);
 CLS(2,_AParser_11,__AParser_11);
 LCLS(1,_AParser_107,__AParser_107);
 DEN("Signature ",__AParser_202);
 LCLS(1,_AParser_138,__AParser_138);
 DEN("parsing IMPORT ",__AParser_74);
 CLS(2,_AParser_10,__AParser_10);
 CLS(2,_AParser_42,__AParser_42);
 CLS(4,_AParser_106,__AParser_106);
 DEN("Theory ",__AParser_201);
 CLS(2,_AParser_137,__AParser_137);
 CLS(3,_AParser_169,__AParser_169);
 DEN(" ...",__AParser_73);
 CLS(2,_AParser_9,__AParser_9);
 CLS(2,_AParser_41,__AParser_41);
 CLS(3,_AParser_105,__AParser_105);
 LCLS(1,_AParser_200,__AParser_200);
 LCLS(3,_AParser_136,__AParser_136);
 CLS(3,_AParser_168,__AParser_168);
 LCLS(1,_AParser_72,__AParser_72);
 CLS(2,_AParser_8,__AParser_8);
 LCLS(1,_AParser_104,__AParser_104);
 LCLS(1,_AParser_199,__AParser_199);
 LCLS(1,_AParser_135,__AParser_135);
 DEN("parsing JSTF/JUSTF ",__AParser_167);
 LCLS(1,_AParser_71,__AParser_71);
 CLS(3,_AParser_7,__AParser_7);
 LCLS(1,_AParser_103,__AParser_103);
 CLS(4,_AParser_198,__AParser_198);
 CLS(3,_AParser_166,__AParser_166);
 LCLS(1,_AParser_70,__AParser_70);
 CLS(1,_AParser_6,__AParser_6);
 CLS(1,_AParser_38,__AParser_38);
 DEN("parsing SORT ",__AParser_102);
 CLS(2,_AParser_197,__AParser_197);
 LCLS(1,_AParser_133,__AParser_133);
 CLS(3,_AParser_165,__AParser_165);
 LCLS(1,_AParser_69,__AParser_69);
 CLS(6,_AParser_5,__AParser_5);
 CLS(2,_AParser_37,__AParser_37);
 CLS(5,_AParser_101,__AParser_101);
 LCLS(3,_AParser_196,__AParser_196);
 CLS(3,_AParser_132,__AParser_132);
 DEN("parsing PROP/LEMMA/GOAL ",__AParser_164);
 LCLS(1,_AParser_68,__AParser_68);
 CLS(2,_AParser_4,__AParser_4);
 CLS(2,_AParser_36,__AParser_36);
 CLS(4,_AParser_100,__AParser_100);
 LCLS(2,_AParser_195,__AParser_195);
 LCLS(4,_AParser_131,__AParser_131);
 CLS(3,_AParser_163,__AParser_163);
 LCLS(1,_AParser_67,__AParser_67);
 CLS(2,_AParser_3,__AParser_3);
 CLS(2,_AParser_35,__AParser_35);
 CLS(2,_AParser_99,__AParser_99);
 CLS(1,_AParser_194,__AParser_194);
 LCLS(1,_AParser_130,__AParser_130);
 CLS(3,_AParser_162,__AParser_162);
 LCLS(1,_AParser_66,__AParser_66);
 CLS(2,_AParser_2,__AParser_2);
 CLS(1,_AParser_34,__AParser_34);
 CLS(6,_AParser_98,__AParser_98);
 LCLS(1,_AParser_193,__AParser_193);
 DEN("parsing PROOF ",__AParser_161);
 CLS(4,_AParser_97,__AParser_97);
 LCLS(2,_AParser_129,__AParser_129);
 CLS(2,_AParser_1,__AParser_1);
 CLS(3,_AParser_160,__AParser_160);
 DEN("weird result of pFun\'Parser - this cannot happen!",__AParser_96);
 LCLS(1,_AParser_128,__AParser_128);
 CLS(2,_AParser_32,__AParser_32);
 LCLS(1,_AParser_64,__AParser_64);
 MTH(6,0,3,_mt_6_0_3);LZYMTH(6,0,3,_mt_6_0_3);
 MTH(6,0,5,_mt_6_0_5);LZYMTH(6,0,5,_mt_6_0_5);
 MTH(6,1,2,_mt_6_1_2);LZYMTH(6,1,2,_mt_6_1_2);
 MTH(6,3,3,_mt_6_3_3);LZYMTH(6,3,3,_mt_6_3_3);
 MTH(6,5,1,_mt_6_5_1);LZYMTH(6,5,1,_mt_6_5_1_l);
 ___AParser_30();
 CPCLS(__AParser_30,1);
 CPPRD(__AModBody_16,1);
 CPCLS(__APName_2,1);
 CPCLS(__ABaseParser_40,1);
 __AParser_29=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_40,3))(__ABaseParser_40,__APName_2,__AParser_30,__AModBody_16);
 ___AParser_39();
 COPY(__AParser_39,1);
 CPCLS(__ATerminal_141,1);
 __AParser_40=_ASet_39(__ATerminal_141,__ATerminal_138,__AParser_39);
 CPPRD(__AParser_213,1);
 __AParser_43=_ADEBUG_10(__AParser_213);
 ___AParser_46();
 COPY(__AParser_46,1);
 CPCLS(__ATerminal_141,1);
 COPY(__ATerminal_146,1);
 __AParser_45=_ASet_42(__ATerminal_141,__ATerminal_146,__AParser_46);
 CPPRD(__AOcExit_1,1);
 PRD(1,1,__AParser_55);FLD(__AParser_55,1)=__AOcExit_1;
 PRD1F(2,__AParser_65);FLD1(__AParser_65,1)=__ATerminal_136;FLD1(__AParser_65,2)=__ASeq_6;
 PRD1F(2,__AParser_83);FLD1(__AParser_83,1)=__ATerminal_136;FLD1(__AParser_83,2)=__ASeq_6;
 PRD1F(2,__AParser_109);FLD1(__AParser_109,1)=__ATerminal_100;FLD1(__AParser_109,2)=__ASeq_6;
 PRD1F(2,__AParser_134);FLD1(__AParser_134,1)=__ATerminal_100;FLD1(__AParser_134,2)=__ASeq_6;
 CPPRD(__AOcError_15,1);
 PRD(3,0,__AParser_170);FLD(__AParser_170,1)=__AOcError_15;FLD(__AParser_170,2)=__AAbsy_2;FLD(__AParser_170,3)=__ASeq_6;
 CPPRD(__AParser_170,1);
 PRD1(2,__AParser_171);FLD1(__AParser_171,1)=__ABUILTIN_5;FLD1(__AParser_171,2)=__AParser_170;
 CPPRD(__AParser_171,1);
 PRD(1,0,__AParser_172);FLD(__AParser_172,1)=__AParser_171;
 CPPRD(__AParser_170,1);
 PRD1(2,__AParser_175);FLD1(__AParser_175,1)=__ABUILTIN_3;FLD1(__AParser_175,2)=__AParser_170;
 CPPRD(__AParser_175,1);
 PRD(1,0,__AParser_176);FLD(__AParser_176,1)=__AParser_175;
 CPPRD(__AOcError_15,1);
 PRD(3,0,__AParser_181);FLD(__AParser_181,1)=__AOcError_15;FLD(__AParser_181,2)=__AAbsy_2;FLD(__AParser_181,3)=__ASeq_6;
 CPPRD(__AParser_181,1);
 PRD1(2,__AParser_182);FLD1(__AParser_182,1)=__ABUILTIN_5;FLD1(__AParser_182,2)=__AParser_181;
 CPPRD(__AParser_182,1);
 PRD(1,0,__AParser_183);FLD(__AParser_183,1)=__AParser_182;
 CPPRD(__AParser_181,1);
 PRD1(2,__AParser_185);FLD1(__AParser_185,1)=__ABUILTIN_3;FLD1(__AParser_185,2)=__AParser_181;
 CPPRD(__AParser_185,1);
 PRD(1,0,__AParser_186);FLD(__AParser_186,1)=__AParser_185;
 CPPRD(__AOcExit_1,1);
 PRD(1,1,__AParser_192);FLD(__AParser_192,1)=__AOcExit_1;}

