

#include "BUILTIN.h"
extern OBJ _ACompose_4(OBJ,OBJ,OBJ);extern OBJ __ACompose_4;

#include "Int.h"

#include "Real.h"
extern OBJ _AGlobSigImpl_30(OBJ);extern OBJ __AGlobSigImpl_30;
extern OBJ _AObjects_14(OBJ);extern OBJ __AObjects_14;
extern OBJ _AObjects_22(OBJ);extern OBJ __AObjects_22;
extern OBJ __AAttributes_11;
extern OBJ _AAttributes_12(OBJ,OBJ);extern OBJ __AAttributes_12;
extern OBJ _AAttributes_20(OBJ);extern OBJ __AAttributes_20;
extern OBJ _AName_34(OBJ);extern OBJ __AName_34;
extern OBJ _ATable_17(OBJ,OBJ,OBJ);extern OBJ __ATable_17;
extern OBJ _AFct_45(OBJ,OBJ,OBJ);extern OBJ __AFct_45;
extern OBJ _ARep_119(OBJ);extern OBJ __ARep_119;
extern OBJ __ARep_187;

#include "Nat.h"
extern OBJ _ASeq_40(OBJ,OBJ);extern OBJ __ASeq_40;

#include "Char.h"

#include "Bitset.h"

#include "Array.h"
extern OBJ _ASeqMap_3(OBJ,OBJ);extern OBJ __ASeqMap_3;
extern OBJ _ASeqConv_2(OBJ,OBJ);extern OBJ __ASeqConv_2;
extern OBJ __ASeqConv_8;

#include "NatConv.h"

#include "Denotation.h"
extern OBJ _AOptionConv_2(OBJ,OBJ);extern OBJ __AOptionConv_2;
extern OBJ _AImpExpEntry_2(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_2; /* instAppl */
extern OBJ _AImpExpEntry_3(OBJ);OBJ __AImpExpEntry_3; /* instAppl? */
extern OBJ _AImpExpEntry_4(OBJ);OBJ __AImpExpEntry_4; /* attr */
extern OBJ _AImpExpEntry_5(OBJ);OBJ __AImpExpEntry_5; /* importedC */
extern OBJ _AImpExpEntry_6(OBJ);OBJ __AImpExpEntry_6; /* instOf */
extern OBJ _AImpExpEntry_8(OBJ,OBJ);OBJ __AImpExpEntry_8; /* unclosedOp */
extern OBJ _AImpExpEntry_9(OBJ);OBJ __AImpExpEntry_9; /* unclosedOp? */
extern OBJ _AImpExpEntry_10(OBJ);OBJ __AImpExpEntry_10; /* instS */
extern OBJ _AImpExpEntry_11(OBJ);OBJ __AImpExpEntry_11; /* ide */
extern OBJ _AImpExpEntry_12(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_12; /* closedOpCons */
extern OBJ _AImpExpEntry_13(OBJ);OBJ __AImpExpEntry_13; /* closedOpCons? */
extern OBJ _AImpExpEntry_14(OBJ);OBJ __AImpExpEntry_14; /* selS */
extern OBJ _AImpExpEntry_15(OBJ);OBJ __AImpExpEntry_15; /* test */
extern OBJ _AImpExpEntry_16(OBJ);OBJ __AImpExpEntry_16; /* fct */
extern OBJ _AImpExpEntry_19(OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_19; /* closedOp */
extern OBJ _AImpExpEntry_20(OBJ);OBJ __AImpExpEntry_20; /* closedOp? */
extern OBJ _AImpExpEntry_21(OBJ);OBJ __AImpExpEntry_21; /* spc */
extern OBJ _AImpExpEntry_25(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_25; /* opCons */
extern OBJ _AImpExpEntry_26(OBJ);OBJ __AImpExpEntry_26; /* opCons? */
extern OBJ _AImpExpEntry_32(OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_32; /* op */
extern OBJ _AImpExpEntry_33(OBJ);OBJ __AImpExpEntry_33; /* op? */
extern OBJ _AImpExpEntry_38(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_38; /* sort */
extern OBJ _AImpExpEntry_39(OBJ);OBJ __AImpExpEntry_39; /* sort? */
extern OBJ _AImpExpEntry_40(OBJ);OBJ __AImpExpEntry_40; /* type */
extern OBJ _AImpExpEntry_44(OBJ);OBJ __AImpExpEntry_44; /* unusedInst */
extern OBJ _AImpExpEntry_45(OBJ);OBJ __AImpExpEntry_45; /* unusedInst? */
extern OBJ _AImpExpEntry_46(OBJ);OBJ __AImpExpEntry_46; /* same */
extern OBJ _AImpExpEntry_47(OBJ);OBJ __AImpExpEntry_47; /* identUninst */
extern OBJ _AImpExpEntry_48(OBJ);OBJ __AImpExpEntry_48; /* identUninst? */
extern OBJ _AImpExpEntry_49(OBJ);OBJ __AImpExpEntry_49; /* otherInsts */
extern OBJ _AImpExpEntry_50(OBJ);OBJ __AImpExpEntry_50; /* identInst */
extern OBJ _AImpExpEntry_51(OBJ);OBJ __AImpExpEntry_51; /* identInst? */
extern OBJ _AImpExpEntry_52(OBJ);OBJ __AImpExpEntry_52; /* inst */
extern OBJ _AImpExpEntry_53(OBJ,OBJ);OBJ __AImpExpEntry_53; /* doubleInst */
extern OBJ _AImpExpEntry_54(OBJ);OBJ __AImpExpEntry_54; /* doubleInst? */
extern OBJ _AImpExpEntry_55(OBJ);OBJ __AImpExpEntry_55; /* inst,1 */
extern OBJ _AImpExpEntry_57(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_57; /* genericTransitive */
extern OBJ _AImpExpEntry_58(OBJ);OBJ __AImpExpEntry_58; /* genericTransitive? */
extern OBJ _AImpExpEntry_59(OBJ);OBJ __AImpExpEntry_59; /* pattern */
extern OBJ _AImpExpEntry_61(OBJ);OBJ __AImpExpEntry_61; /* struct */
extern OBJ _AImpExpEntry_62(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_62; /* genericTransitives */
extern OBJ _AImpExpEntry_63(OBJ);OBJ __AImpExpEntry_63; /* genericTransitives? */
extern OBJ _AImpExpEntry_65(OBJ);OBJ __AImpExpEntry_65; /* dummy */
extern OBJ _AImpExpEntry_67(OBJ);OBJ __AImpExpEntry_67; /* transitive */
extern OBJ _AImpExpEntry_68(OBJ);OBJ __AImpExpEntry_68; /* transitive? */
extern OBJ _AImpExpEntry_70(OBJ,OBJ);OBJ __AImpExpEntry_70; /* explUninst */
extern OBJ _AImpExpEntry_71(OBJ);OBJ __AImpExpEntry_71; /* explUninst? */
extern OBJ _AImpExpEntry_72(OBJ);OBJ __AImpExpEntry_72; /* onlyS */
extern OBJ _AImpExpEntry_74(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_74; /* explInstCycle */
extern OBJ _AImpExpEntry_75(OBJ);OBJ __AImpExpEntry_75; /* explInstCycle? */
extern OBJ _AImpExpEntry_77(OBJ);OBJ __AImpExpEntry_77; /* inst,2 */
extern OBJ _AImpExpEntry_78(OBJ);OBJ __AImpExpEntry_78; /* pos */
extern OBJ _AImpExpEntry_79(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_79; /* explInst */
extern OBJ _AImpExpEntry_80(OBJ);OBJ __AImpExpEntry_80; /* explInst? */
OBJ __AImpExpEntry_84; /* mtInstE */
extern OBJ _AImpExpEntry_85(OBJ);OBJ __AImpExpEntry_85; /* mtInstE? */
extern OBJ _AImpExpEntry_87(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_87; /* param */
extern OBJ _AImpExpEntry_88(OBJ);OBJ __AImpExpEntry_88; /* param? */
extern OBJ _AImpExpEntry_89(OBJ);OBJ __AImpExpEntry_89; /* reExpS */
extern OBJ _AImpExpEntry_90(OBJ);OBJ __AImpExpEntry_90; /* formParamS */
extern OBJ _AImpExpEntry_91(OBJ);OBJ __AImpExpEntry_91; /* insts */
extern OBJ _AImpExpEntry_92(OBJ);OBJ __AImpExpEntry_92; /* impDecls */
extern OBJ _AImpExpEntry_93(OBJ);OBJ __AImpExpEntry_93; /* structIde */
extern OBJ _AImpExpEntry_94(OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_94; /* paramTrans */
extern OBJ _AImpExpEntry_95(OBJ);OBJ __AImpExpEntry_95; /* paramTrans? */
extern OBJ _AImpExpEntry_100(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AImpExpEntry_100; /* unparam */
extern OBJ _AImpExpEntry_101(OBJ);OBJ __AImpExpEntry_101; /* unparam? */
extern OBJ _AImpExpEntry_103(OBJ);OBJ __AImpExpEntry_103; /* dummy,1 */
extern OBJ _AImpExpEntry_104(OBJ);OBJ __AImpExpEntry_104; /* onlyS,1 */
extern OBJ _AImpExpEntry_107(OBJ,OBJ);OBJ __AImpExpEntry_107; /* unparamTrans */
extern OBJ _AImpExpEntry_108(OBJ);OBJ __AImpExpEntry_108; /* unparamTrans? */
extern OBJ _AImpExpEntry_111(OBJ,OBJ);OBJ __AImpExpEntry_111; /* preStruct */
extern OBJ _AImpExpEntry_112(OBJ);OBJ __AImpExpEntry_112; /* preStruct? */
extern OBJ _AImpExpEntry_115(OBJ,OBJ);OBJ __AImpExpEntry_115; /* updImpDecls */
extern OBJ _AImpExpEntry_116(OBJ,OBJ);OBJ __AImpExpEntry_116; /* updImpDecls,1 */
extern OBJ _AImpExpEntry_117(OBJ,OBJ);OBJ __AImpExpEntry_117; /* updInsts */
extern OBJ _AImpExpEntry_118(OBJ,OBJ);OBJ __AImpExpEntry_118; /* updInsts,1 */
extern OBJ _AImpExpEntry_119(OBJ,OBJ);OBJ __AImpExpEntry_119; /* updReExps */
extern OBJ _AImpExpEntry_120(OBJ,OBJ);OBJ __AImpExpEntry_120; /* updInstS */
extern OBJ _AImpExpEntry_121(OBJ,OBJ);OBJ __AImpExpEntry_121; /* updInstS,1 */
extern OBJ _AImpExpEntry_122(OBJ,OBJ);OBJ __AImpExpEntry_122; /* updFct */
extern OBJ _AImpExpEntry_123(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_123; /* updAttr */
extern OBJ _AImpExpEntry_125(OBJ);OBJ __AImpExpEntry_125; /* toInstAppl */
extern OBJ _AImpExpEntry_126(OBJ);OBJ __AImpExpEntry_126; /* applied */
extern OBJ _AImpExpEntry_127(OBJ);OBJ __AImpExpEntry_127; /* notApplied */
extern OBJ _AImpExpEntry_128(OBJ);OBJ __AImpExpEntry_128; /* applied? */
extern OBJ _AImpExpEntry_129(OBJ);OBJ __AImpExpEntry_129; /* applyCount */
extern OBJ _AImpExpEntry_130(OBJ,OBJ);OBJ __AImpExpEntry_130; /* transferApplyCount */
extern OBJ _AImpExpEntry_131(OBJ,OBJ);OBJ __AImpExpEntry_131; /* addApplyCounts */
extern OBJ _AImpExpEntry_132(OBJ,OBJ);OBJ __AImpExpEntry_132; /* updDoubleInst */
extern OBJ _AImpExpEntry_133(OBJ,OBJ);OBJ __AImpExpEntry_133; /* updAttr,1 */
extern OBJ _AImpExpEntry_134(OBJ,OBJ);OBJ __AImpExpEntry_134; /* = */
extern OBJ _AImpExpEntry_135(OBJ);OBJ __AImpExpEntry_135; /* ` */
extern OBJ _AImpExpEntry_136(OBJ);OBJ __AImpExpEntry_136; /* `,1 */
extern OBJ _AImpExpEntry_137(OBJ);OBJ __AImpExpEntry_137; /* `,2 */
extern OBJ _AImpExpEntry_138(OBJ);OBJ __AImpExpEntry_138; /* `,3 */
extern OBJ _AImpExpEntry_249(OBJ,OBJ,OBJ);OBJ __AImpExpEntry_249; /* uAttr */
extern OBJ _AImpExpEntry_250(OBJ,OBJ);OBJ __AImpExpEntry_250; /* eqInst */
OBJ __AImpExpEntry_251; /* `'251 */
OBJ __AImpExpEntry_252; /* `'252 */
OBJ __AImpExpEntry_253; /* `'253 */
extern OBJ _AImpExpEntry_254(OBJ);OBJ __AImpExpEntry_254; /* `'254 */
OBJ __AImpExpEntry_255; /* `'255 */
OBJ __AImpExpEntry_256; /* `'256 */
OBJ __AImpExpEntry_257; /* `'257 */
OBJ __AImpExpEntry_258; /* `'258 */
OBJ __AImpExpEntry_259; /* `'259 */
OBJ __AImpExpEntry_260; /* `'260 */
OBJ __AImpExpEntry_261; /* `'261 */
OBJ __AImpExpEntry_262; /* `'262 */
OBJ __AImpExpEntry_263; /* `'263 */
OBJ __AImpExpEntry_264; /* `'264 */
OBJ __AImpExpEntry_265; /* `,2'265 */
OBJ __AImpExpEntry_266; /* `,2'266 */
OBJ __AImpExpEntry_267; /* `,2'267 */
OBJ __AImpExpEntry_268; /* `,2'268 */
OBJ __AImpExpEntry_269; /* `,2'269 */
extern OBJ _AImpExpEntry_270(OBJ);OBJ __AImpExpEntry_270; /* `,2'270 */
OBJ __AImpExpEntry_271; /* `,2'271 */
OBJ __AImpExpEntry_272; /* `,2'272 */
OBJ __AImpExpEntry_273; /* `,3'273 */
OBJ __AImpExpEntry_274; /* `,3'274 */
OBJ __AImpExpEntry_275; /* `,3'275 */
OBJ __AImpExpEntry_276; /* `,3'276 */
OBJ __AImpExpEntry_277; /* `,3'277 */
OBJ __AImpExpEntry_278; /* `,3'278 */
OBJ __AImpExpEntry_279; /* `,3'279 */
OBJ __AImpExpEntry_280; /* `,3'280 */
OBJ __AImpExpEntry_281; /* `,3'281 */
OBJ __AImpExpEntry_282; /* `,3'282 */

extern OBJ _AImpExpEntry_2(OBJ x1,OBJ x2,OBJ x3) /* instAppl */
{OBJ r;
 PRD1(3,r);FLD1(r,1)=x1;FLD1(r,2)=x2;FLD1(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_3(OBJ x1) /* instAppl? */
{OBJ r;
 FRPRD(x1,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AImpExpEntry_4(OBJ x1) /* attr */
{OBJ r;
 {OBJ x4=FLD1(x1,3);
  if(EXPRD(x1,1)){
   r=x4;
   DSPRDF(x1);
  }else{
   CPPRD(x4,1);
   r=x4;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_5(OBJ x1) /* importedC */
{OBJ r;
 {OBJ x3=FLD1(x1,2);
  if(EXPRD(x1,1)){
   r=x3;
   FRPRD(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   r=x3;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_6(OBJ x1) /* instOf */
{OBJ r;
 {OBJ x2=FLD1(x1,1);
  if(EXPRD(x1,1)){
   r=x2;
   FRPRD(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   r=x2;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_8(OBJ x1,OBJ x2) /* unclosedOp */
{OBJ r;
 PRD(2,5,r);FLD(r,1)=x1;FLD(r,2)=x2;
 return r;}

extern OBJ _AImpExpEntry_9(OBJ x1) /* unclosedOp? */
{OBJ r;
 if(ISTGPRD(x1,5)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_10(OBJ x1) /* instS */
{OBJ r;
 {OBJ x3=FLD(x1,2);
  if(EXPRD(x1,1)){
   r=x3;
   FLD(x1,2)=NIL;DSPRD(x1);
  }else{
   COPY(x3,1);
   r=x3;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_11(OBJ x1) /* ide */
{OBJ r;
 {OBJ x2=FLD(x1,1);
  if(EXPRD(x1,1)){
   r=x2;
   FLD(x1,1)=NIL;DSPRD(x1);
  }else{
   CPPRD(x2,1);
   r=x2;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_12(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* closedOpCons */
{OBJ r;
 PRD(5,4,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;FLD(r,5)=x5;
 return r;}

extern OBJ _AImpExpEntry_13(OBJ x1) /* closedOpCons? */
{OBJ r;
 if(ISTGPRD(x1,4)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_14(OBJ x1) /* selS */
{OBJ r;
 if(ISTGPRD(x1,4)||ISTGPRD(x1,2)){
  {OBJ x6=FLD(x1,5);
   if(EXPRD(x1,1)){
    r=x6;
    FLD(x1,5)=NIL;DSPRD(x1);
   }else{
    COPY(x6,1);
    r=x6;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection selS\'ImpExpEntry:impDeclE->seq");}
 return r;}

extern OBJ _AImpExpEntry_15(OBJ x1) /* test */
{OBJ r;
 if(ISTGPRD(x1,4)||ISTGPRD(x1,2)){
  {OBJ x5=FLD(x1,4);
   if(EXPRD(x1,1)){
    r=x5;
    DSPRD(x1);
   }else{
    r=x5;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection test\'ImpExpEntry:impDeclE->impDecl");}
 return r;}

extern OBJ _AImpExpEntry_16(OBJ x1) /* fct */
{OBJ r;
 if(ISTGPRD(x1,2)||ISTGPRD(x1,3)||ISTGPRD(x1,4)||ISTGPRD(x1,1)){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    FLD(x1,3)=NIL;DSPRD(x1);
   }else{
    COPY(x4,1);
    r=x4;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection fct\'ImpExpEntry:impDeclE->fct");}
 return r;}

extern OBJ _AImpExpEntry_19(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* closedOp */
{OBJ r;
 PRD(4,3,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;
 return r;}

extern OBJ _AImpExpEntry_20(OBJ x1) /* closedOp? */
{OBJ r;
 if(ISTGPRD(x1,3)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_21(OBJ x1) /* spc */
{OBJ r;
 if(ISTGPRD(x1,3)||ISTGPRD(x1,1)){
  {OBJ x5=FLD(x1,4);
   if(EXPRD(x1,1)){
    r=x5;
    FLD(x1,4)=NIL;DSPRD(x1);
   }else{
    COPY(x5,1);
    r=x5;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection spc\'ImpExpEntry:impDeclE->option");}
 return r;}

extern OBJ _AImpExpEntry_25(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* opCons */
{OBJ r;
 PRD(5,2,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;FLD(r,5)=x5;
 return r;}

extern OBJ _AImpExpEntry_26(OBJ x1) /* opCons? */
{OBJ r;
 if(ISTGPRD(x1,2)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_32(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* op */
{OBJ r;
 PRD(4,1,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;
 return r;}

extern OBJ _AImpExpEntry_33(OBJ x1) /* op? */
{OBJ r;
 if(ISTGPRD(x1,1)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_38(OBJ x1,OBJ x2,OBJ x3) /* sort */
{OBJ r;
 PRD(3,0,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_39(OBJ x1) /* sort? */
{OBJ r;
 if(ISTGPRD(x1,0)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_40(OBJ x1) /* type */
{OBJ r;
 if(ISTGPRD(x1,0)){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    FLD(x1,3)=NIL;DSPRD(x1);
   }else{
    COPY(x4,1);
    r=x4;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection type\'ImpExpEntry:impDeclE->impl");}
 return r;}

extern OBJ _AImpExpEntry_44(OBJ x1) /* unusedInst */
{OBJ r;
 PRD(1,10,r);FLD(r,1)=x1;
 return r;}

extern OBJ _AImpExpEntry_45(OBJ x1) /* unusedInst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,10))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_46(OBJ x1) /* same */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,10)||ISTGPRD(x1,7))){
  {OBJ x2=FLD(x1,1);
   if(EXPRD(x1,1)){
    r=x2;
    FLD(x1,1)=NIL;DSPRD(x1);
   }else{
    COPY(x2,1);
    r=x2;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection same\'ImpExpEntry:instE->instE");}
 return r;}

extern OBJ _AImpExpEntry_47(OBJ x1) /* identUninst */
{OBJ r;
 PRD(1,9,r);FLD(r,1)=x1;
 return r;}

extern OBJ _AImpExpEntry_48(OBJ x1) /* identUninst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,9))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_49(OBJ x1) /* otherInsts */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,5)||ISTGPRD(x1,9)||ISTGPRD(x1,3))){
  {OBJ x2=FLD(x1,1);
   if(EXPRD(x1,1)){
    r=x2;
    FLD(x1,1)=NIL;DSPRD(x1);
   }else{
    COPY(x2,1);
    r=x2;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection otherInsts\'ImpExpEntry:instE->seq");}
 return r;}

extern OBJ _AImpExpEntry_50(OBJ x1) /* identInst */
{OBJ r;
 PRD(1,8,r);FLD(r,1)=x1;
 return r;}

extern OBJ _AImpExpEntry_51(OBJ x1) /* identInst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,8))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_52(OBJ x1) /* inst */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,8)||ISTGPRD(x1,4))){
  {OBJ x2=FLD(x1,1);
   if(EXPRD(x1,1)){
    r=x2;
    FLD(x1,1)=NIL;DSPRD(x1);
   }else{
    COPY(x2,1);
    r=x2;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection inst\'ImpExpEntry:instE->seq");}
 return r;}

extern OBJ _AImpExpEntry_53(OBJ x1,OBJ x2) /* doubleInst */
{OBJ r;
 PRD(2,7,r);FLD(r,1)=x1;FLD(r,2)=x2;
 return r;}

extern OBJ _AImpExpEntry_54(OBJ x1) /* doubleInst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,7))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_55(OBJ x1) /* inst,1 */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,7)||ISTGPRD(x1,6))){
  {OBJ x3=FLD(x1,2);
   if(EXPRD(x1,1)){
    r=x3;
    DSPRD(x1);
   }else{
    r=x3;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection inst\'ImpExpEntry:instE->inst");}
 return r;}

extern OBJ _AImpExpEntry_57(OBJ x1,OBJ x2,OBJ x3) /* genericTransitive */
{OBJ r;
 PRD(3,6,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_58(OBJ x1) /* genericTransitive? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,6))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,3),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_59(OBJ x1) /* pattern */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,6)||ISTGPRD(x1,5))){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    FLD(x1,3)=NIL;DSPRD(x1);
   }else{
    COPY(x4,1);
    r=x4;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection pattern\'ImpExpEntry:instE->seq");}
 return r;}

extern OBJ _AImpExpEntry_61(OBJ x1) /* struct */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,6))){
  {OBJ x2=FLD(x1,1);
   if(EXPRD(x1,1)){
    r=x2;
    FREE(FLD(x1,3),1);DSPRDF(x1);
   }else{
    r=x2;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection struct\'ImpExpEntry:instE->struct");}
 return r;}

extern OBJ _AImpExpEntry_62(OBJ x1,OBJ x2,OBJ x3) /* genericTransitives */
{OBJ r;
 PRD(3,5,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_63(OBJ x1) /* genericTransitives? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,5))){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_65(OBJ x1) /* dummy */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,5))){
  {OBJ x3=FLD(x1,2);
   if(EXPRD(x1,1)){
    r=x3;
    DSPRD(x1);
   }else{
    r=x3;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection dummy\'ImpExpEntry:instE->bool");}
 return r;}

extern OBJ _AImpExpEntry_67(OBJ x1) /* transitive */
{OBJ r;
 PRD(1,4,r);FLD(r,1)=x1;
 return r;}

extern OBJ _AImpExpEntry_68(OBJ x1) /* transitive? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,4))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_70(OBJ x1,OBJ x2) /* explUninst */
{OBJ r;
 PRD(2,3,r);FLD(r,1)=x1;FLD(r,2)=x2;
 return r;}

extern OBJ _AImpExpEntry_71(OBJ x1) /* explUninst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,3))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,1),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_72(OBJ x1) /* onlyS */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2)||ISTGPRD(x1,1))){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    DSPRD(x1);
   }else{
    r=x4;
    FRPRD(x1,1);}}
 }else{
  if(ISPRD(x1)&&(ISTGPRD(x1,3))){
   {OBJ x9=FLD(x1,2);
    if(EXPRD(x1,1)){
     r=x9;
     FREE(FLD(x1,1),1);DSPRDF(x1);
    }else{
     r=x9;
     FRPRD(x1,1);}}
  }else{
   HLT("ImpExpEntry at <unknown> : undefined selection onlyS\'ImpExpEntry:instE->nat");}}
 return r;}

extern OBJ _AImpExpEntry_74(OBJ x1,OBJ x2,OBJ x3) /* explInstCycle */
{OBJ r;
 PRD(3,2,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_75(OBJ x1) /* explInstCycle? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2))){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_77(OBJ x1) /* inst,2 */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2)||ISTGPRD(x1,1))){
  {OBJ x3=FLD(x1,2);
   if(EXPRD(x1,1)){
    r=x3;
    FLD(x1,2)=NIL;DSPRD(x1);
   }else{
    CPPRD(x3,1);
    r=x3;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection inst\'ImpExpEntry:instE->instPN");}
 return r;}

extern OBJ _AImpExpEntry_78(OBJ x1) /* pos */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2)||ISTGPRD(x1,1))){
  {OBJ x2=FLD(x1,1);
   if(EXPRD(x1,1)){
    r=x2;
    FLD(x1,1)=NIL;DSPRD(x1);
   }else{
    COPY(x2,1);
    r=x2;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection pos\'ImpExpEntry:instE->pos");}
 return r;}

extern OBJ _AImpExpEntry_79(OBJ x1,OBJ x2,OBJ x3) /* explInst */
{OBJ r;
 PRD(3,1,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AImpExpEntry_80(OBJ x1) /* explInst? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,1))){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_85(OBJ x1) /* mtInstE? */
{OBJ r;
 if(ISPRM(x1)){
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_87(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* param */
{OBJ r;
 PRD(5,4,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;FLD(r,5)=x5;
 return r;}

extern OBJ _AImpExpEntry_88(OBJ x1) /* param? */
{OBJ r;
 if(ISTGPRD(x1,4)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_89(OBJ x1) /* reExpS */
{OBJ r;
 if(ISTGPRD(x1,4)||ISTGPRD(x1,2)){
  {OBJ x6=FLD(x1,5);
   if(EXPRD(x1,1)){
    r=x6;
    FLD(x1,5)=NIL;DSPRD(x1);
   }else{
    COPY(x6,1);
    r=x6;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection reExpS\'ImpExpEntry:structE->seq");}
 return r;}

extern OBJ _AImpExpEntry_90(OBJ x1) /* formParamS */
{OBJ r;
 if(ISTGPRD(x1,4)||ISTGPRD(x1,3)){
  {OBJ x5=FLD(x1,4);
   if(EXPRD(x1,1)){
    r=x5;
    FLD(x1,4)=NIL;DSPRD(x1);
   }else{
    CPPRD(x5,1);
    r=x5;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection formParamS\'ImpExpEntry:structE->pair");}
 return r;}

extern OBJ _AImpExpEntry_91(OBJ x1) /* insts */
{OBJ r;
 if(ISTGPRD(x1,0)){
  {OBJ x3=FLD(x1,2);
   if(EXPRD(x1,1)){
    r=x3;
    FRPRD(FLD(x1,1),1);DSPRDF(x1);
   }else{
    CPPRD(x3,1);
    r=x3;
    FRPRD(x1,1);}}
 }else{
  if(ISTGPRD(x1,4)||ISTGPRD(x1,3)){
   {OBJ x6=FLD(x1,3);
    if(EXPRD(x1,1)){
     r=x6;
     FLD(x1,3)=NIL;DSPRD(x1);
    }else{
     CPPRD(x6,1);
     r=x6;
     FRPRD(x1,1);}}
  }else{
   HLT("ImpExpEntry at <unknown> : undefined selection insts\'ImpExpEntry:structE->table");}}
 return r;}

extern OBJ _AImpExpEntry_92(OBJ x1) /* impDecls */
{OBJ r;
 switch(TGPRD(x1)){
  case 0:
   HLT("ImpExpEntry at <unknown> : undefined selection impDecls\'ImpExpEntry:structE->table");break;
  default: 
   {OBJ x3=FLD(x1,2);
    if(EXPRD(x1,1)){
     r=x3;
     FLD(x1,2)=NIL;DSPRD(x1);
    }else{
     CPPRD(x3,1);
     r=x3;
     FRPRD(x1,1);}}}
 return r;}

extern OBJ _AImpExpEntry_93(OBJ x1) /* structIde */
{OBJ r;
 {OBJ x2=FLD(x1,1);
  if(EXPRD(x1,1)){
   r=x2;
   FLD(x1,1)=NIL;DSPRD(x1);
  }else{
   CPPRD(x2,1);
   r=x2;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_94(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* paramTrans */
{OBJ r;
 PRD(4,3,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;
 return r;}

extern OBJ _AImpExpEntry_95(OBJ x1) /* paramTrans? */
{OBJ r;
 if(ISTGPRD(x1,3)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_100(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* unparam */
{OBJ r;
 PRD(5,2,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;FLD(r,4)=x4;FLD(r,5)=x5;
 return r;}

extern OBJ _AImpExpEntry_101(OBJ x1) /* unparam? */
{OBJ r;
 if(ISTGPRD(x1,2)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_103(OBJ x1) /* dummy,1 */
{OBJ r;
 if(ISTGPRD(x1,2)){
  {OBJ x5=FLD(x1,4);
   if(EXPRD(x1,1)){
    r=x5;
    DSPRD(x1);
   }else{
    r=x5;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection dummy\'ImpExpEntry:structE->bool");}
 return r;}

extern OBJ _AImpExpEntry_104(OBJ x1) /* onlyS,1 */
{OBJ r;
 if(ISTGPRD(x1,2)){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    DSPRD(x1);
   }else{
    r=x4;
    FRPRD(x1,1);}}
 }else{
  HLT("ImpExpEntry at <unknown> : undefined selection onlyS\'ImpExpEntry:structE->nat");}
 return r;}

extern OBJ _AImpExpEntry_107(OBJ x1,OBJ x2) /* unparamTrans */
{OBJ r;
 PRD(2,1,r);FLD(r,1)=x1;FLD(r,2)=x2;
 return r;}

extern OBJ _AImpExpEntry_108(OBJ x1) /* unparamTrans? */
{OBJ r;
 if(ISTGPRD(x1,1)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_111(OBJ x1,OBJ x2) /* preStruct */
{OBJ r;
 PRD(2,0,r);FLD(r,1)=x1;FLD(r,2)=x2;
 return r;}

extern OBJ _AImpExpEntry_112(OBJ x1) /* preStruct? */
{OBJ r;
 if(ISTGPRD(x1,0)){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FRPRD(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AImpExpEntry_115(OBJ x1,OBJ x2) /* updImpDecls */
{OBJ r;
 switch(TGPRD(x2)){
  case 2:
   {OBJ x285;OBJ x287;OBJ x289;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FRPRD(FLD(r,2),1);FLD(r,2)=x1;FLD(r,4)=__ABUILTIN_5;
    }else{
     x285=FLD(x2,1);x287=FLD(x2,3);x289=FLD(x2,5);CPPRD(x285,1);COPY(x289,1);
     FRPRD(x2,1);PRD(5,2,r);FLD(r,1)=x285;FLD(r,2)=x1;FLD(r,3)=x287;FLD(r,4)=__ABUILTIN_5;FLD(r,5)=x289;}}break;
  case 3:
   {OBJ x290;OBJ x292;OBJ x293;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FRPRD(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x290=FLD(x2,1);x292=FLD(x2,3);x293=FLD(x2,4);CPPRD(x290,1);CPPRD(x292,1);CPPRD(x293,1);
     FRPRD(x2,1);PRD(4,3,r);FLD(r,1)=x290;FLD(r,2)=x1;FLD(r,3)=x292;FLD(r,4)=x293;}}break;
  case 4:
   {OBJ x295;OBJ x297;OBJ x298;OBJ x299;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FRPRD(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x295=FLD(x2,1);x297=FLD(x2,3);x298=FLD(x2,4);x299=FLD(x2,5);CPPRD(x295,1);CPPRD(x297,1);CPPRD(x298,1);COPY(x299,1);
     FRPRD(x2,1);PRD(5,4,r);FLD(r,1)=x295;FLD(r,2)=x1;FLD(r,3)=x297;FLD(r,4)=x298;FLD(r,5)=x299;}}break;
  case 0:
   HLT("ImpExpEntry at <163,12-172,47> : missing else in updImpDecls\'ImpExpEntry:table->structE->structE");break;
  default: 
   {OBJ x283;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FRPRD(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x283=FLD(x2,1);CPPRD(x283,1);
     FRPRD(x2,1);PRD(2,1,r);FLD(r,1)=x283;FLD(r,2)=x1;}}}
 return r;}

extern OBJ _AImpExpEntry_116(OBJ x1,OBJ x2) /* updImpDecls,1 */
{OBJ r;
 CPPRD(x2,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x2);
  r=_AImpExpEntry_115(x3,x2);}
 return r;}

extern OBJ _AImpExpEntry_117(OBJ x1,OBJ x2) /* updInsts */
{OBJ r;
 if(ISTGPRD(x2,3)){
  {OBJ x205;OBJ x206;OBJ x208;
   if(EXPRD(x2,1)){
    RPRD(x2,r);FRPRD(FLD(r,3),1);FLD(r,3)=x1;
   }else{
    x205=FLD(x2,1);x206=FLD(x2,2);x208=FLD(x2,4);CPPRD(x205,1);CPPRD(x206,1);CPPRD(x208,1);
    FRPRD(x2,1);PRD(4,3,r);FLD(r,1)=x205;FLD(r,2)=x206;FLD(r,3)=x1;FLD(r,4)=x208;}}
 }else{
  if(ISTGPRD(x2,4)){
   {OBJ x210;OBJ x211;OBJ x213;OBJ x214;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FRPRD(FLD(r,3),1);FLD(r,3)=x1;
    }else{
     x210=FLD(x2,1);x211=FLD(x2,2);x213=FLD(x2,4);x214=FLD(x2,5);CPPRD(x210,1);CPPRD(x211,1);CPPRD(x213,1);COPY(x214,1);
     FRPRD(x2,1);PRD(5,4,r);FLD(r,1)=x210;FLD(r,2)=x211;FLD(r,3)=x1;FLD(r,4)=x213;FLD(r,5)=x214;}}
  }else{
   HLT("ImpExpEntry at <178,12-183,47> : missing else in updInsts\'ImpExpEntry:table->structE->structE");}}
 return r;}

extern OBJ _AImpExpEntry_118(OBJ x1,OBJ x2) /* updInsts,1 */
{OBJ r;
 CPPRD(x2,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x2);
  r=_AImpExpEntry_117(x3,x2);}
 return r;}

extern OBJ _AImpExpEntry_119(OBJ x1,OBJ x2) /* updReExps */
{OBJ r;
 if(ISTGPRD(x2,2)){
  {OBJ x171;OBJ x172;OBJ x173;
   if(EXPRD(x2,1)){
    RPRD(x2,r);FLD(r,4)=__ABUILTIN_5;FREE(FLD(r,5),1);FLD(r,5)=x1;
   }else{
    x171=FLD(x2,1);x172=FLD(x2,2);x173=FLD(x2,3);CPPRD(x171,1);CPPRD(x172,1);
    FRPRD(x2,1);PRD(5,2,r);FLD(r,1)=x171;FLD(r,2)=x172;FLD(r,3)=x173;FLD(r,4)=__ABUILTIN_5;FLD(r,5)=x1;}}
 }else{
  if(ISTGPRD(x2,4)){
   {OBJ x176;OBJ x177;OBJ x178;OBJ x179;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,5),1);FLD(r,5)=x1;
    }else{
     x176=FLD(x2,1);x177=FLD(x2,2);x178=FLD(x2,3);x179=FLD(x2,4);CPPRD(x176,1);CPPRD(x177,1);CPPRD(x178,1);CPPRD(x179,1);
     FRPRD(x2,1);PRD(5,4,r);FLD(r,1)=x176;FLD(r,2)=x177;FLD(r,3)=x178;FLD(r,4)=x179;FLD(r,5)=x1;}}
  }else{
   HLT("ImpExpEntry at <187,12-191,61> : missing else in updReExps\'ImpExpEntry:seq->structE->structE");}}
 return r;}

extern OBJ _AImpExpEntry_120(OBJ x1,OBJ x2) /* updInstS */
{OBJ r;
 switch(TGPRD(x2)){
  case 1:
   {OBJ x584;OBJ x586;OBJ x587;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x584=FLD(x2,1);x586=FLD(x2,3);x587=FLD(x2,4);CPPRD(x584,1);COPY(x586,1);COPY(x587,1);
     FRPRD(x2,1);PRD(4,1,r);FLD(r,1)=x584;FLD(r,2)=x1;FLD(r,3)=x586;FLD(r,4)=x587;}}break;
  case 2:
   {OBJ x589;OBJ x591;OBJ x592;OBJ x593;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x589=FLD(x2,1);x591=FLD(x2,3);x592=FLD(x2,4);x593=FLD(x2,5);CPPRD(x589,1);COPY(x591,1);COPY(x593,1);
     FRPRD(x2,1);PRD(5,2,r);FLD(r,1)=x589;FLD(r,2)=x1;FLD(r,3)=x591;FLD(r,4)=x592;FLD(r,5)=x593;}}break;
  case 3:
   {OBJ x595;OBJ x597;OBJ x598;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x595=FLD(x2,1);x597=FLD(x2,3);x598=FLD(x2,4);CPPRD(x595,1);COPY(x597,1);COPY(x598,1);
     FRPRD(x2,1);PRD(4,3,r);FLD(r,1)=x595;FLD(r,2)=x1;FLD(r,3)=x597;FLD(r,4)=x598;}}break;
  case 4:
   {OBJ x600;OBJ x602;OBJ x603;OBJ x604;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x600=FLD(x2,1);x602=FLD(x2,3);x603=FLD(x2,4);x604=FLD(x2,5);CPPRD(x600,1);COPY(x602,1);COPY(x604,1);
     FRPRD(x2,1);PRD(5,4,r);FLD(r,1)=x600;FLD(r,2)=x1;FLD(r,3)=x602;FLD(r,4)=x603;FLD(r,5)=x604;}}break;
  case 5:
   {OBJ x606;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x606=FLD(x2,1);CPPRD(x606,1);
     FRPRD(x2,1);PRD(2,5,r);FLD(r,1)=x606;FLD(r,2)=x1;}}break;
  default: 
   {OBJ x581;OBJ x583;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,2),1);FLD(r,2)=x1;
    }else{
     x581=FLD(x2,1);x583=FLD(x2,3);CPPRD(x581,1);COPY(x583,1);
     FRPRD(x2,1);PRD(3,0,r);FLD(r,1)=x581;FLD(r,2)=x1;FLD(r,3)=x583;}}}
 return r;}

extern OBJ _AImpExpEntry_121(OBJ x1,OBJ x2) /* updInstS,1 */
{OBJ r;
 CPPRD(x2,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x2);
  r=_AImpExpEntry_120(x3,x2);}
 return r;}

extern OBJ _AImpExpEntry_122(OBJ x1,OBJ x2) /* updFct */
{OBJ r;
 if(ISTGPRD(x2,1)){
  {OBJ x501;OBJ x502;OBJ x504;
   if(EXPRD(x2,1)){
    RPRD(x2,r);FREE(FLD(r,3),1);FLD(r,3)=x1;
   }else{
    x501=FLD(x2,1);x502=FLD(x2,2);x504=FLD(x2,4);CPPRD(x501,1);COPY(x502,1);COPY(x504,1);
    FRPRD(x2,1);PRD(4,1,r);FLD(r,1)=x501;FLD(r,2)=x502;FLD(r,3)=x1;FLD(r,4)=x504;}}
 }else{
  if(ISTGPRD(x2,2)){
   {OBJ x506;OBJ x507;OBJ x509;OBJ x510;
    if(EXPRD(x2,1)){
     RPRD(x2,r);FREE(FLD(r,3),1);FLD(r,3)=x1;
    }else{
     x506=FLD(x2,1);x507=FLD(x2,2);x509=FLD(x2,4);x510=FLD(x2,5);CPPRD(x506,1);COPY(x507,1);COPY(x510,1);
     FRPRD(x2,1);PRD(5,2,r);FLD(r,1)=x506;FLD(r,2)=x507;FLD(r,3)=x1;FLD(r,4)=x509;FLD(r,5)=x510;}}
  }else{
   if(ISTGPRD(x2,3)){
    {OBJ x512;OBJ x513;OBJ x515;
     if(EXPRD(x2,1)){
      RPRD(x2,r);FREE(FLD(r,3),1);FLD(r,3)=x1;
     }else{
      x512=FLD(x2,1);x513=FLD(x2,2);x515=FLD(x2,4);CPPRD(x512,1);COPY(x513,1);COPY(x515,1);
      FRPRD(x2,1);PRD(4,3,r);FLD(r,1)=x512;FLD(r,2)=x513;FLD(r,3)=x1;FLD(r,4)=x515;}}
   }else{
    if(ISTGPRD(x2,4)){
     {OBJ x517;OBJ x518;OBJ x520;OBJ x521;
      if(EXPRD(x2,1)){
       RPRD(x2,r);FREE(FLD(r,3),1);FLD(r,3)=x1;
      }else{
       x517=FLD(x2,1);x518=FLD(x2,2);x520=FLD(x2,4);x521=FLD(x2,5);CPPRD(x517,1);COPY(x518,1);COPY(x521,1);
       FRPRD(x2,1);PRD(5,4,r);FLD(r,1)=x517;FLD(r,2)=x518;FLD(r,3)=x1;FLD(r,4)=x520;FLD(r,5)=x521;}}
    }else{
     HLT("ImpExpEntry at <212,12-219,66> : missing else in updFct\'ImpExpEntry:fct->impDeclE->impDeclE");}}}}
 return r;}

extern OBJ _AImpExpEntry_123(OBJ x1,OBJ x2,OBJ x3) /* updAttr */
{OBJ r;
 CPCLS(__AImpExpEntry_250,1);
 {OBJ x4;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_250,1))(__AImpExpEntry_250,x2);
  if(ISTGPRD(x3,0)){
   {OBJ x449=FLD(x3,1);OBJ x450=FLD(x3,2);OBJ x451=FLD(x3,3);
    if(EXPRD(x3,1)){
     COPY(x450,1);
     {OBJ x452;OBJ x456;
      x452=_ASeq_40(x4,x450);
      if(ISTGPRM(x452,1)){
       CPCLS(__AImpExpEntry_249,1);
       {OBJ x453;
	x453=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AImpExpEntry_249,2))(__AImpExpEntry_249,x1,x2);
	x456=_ASeqMap_3(x453,x450);}
      }else{
       CPPRD(__AAttributes_11,1);
       {OBJ x454;OBJ x455;
	x454=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,__AAttributes_11);
	PRD1(3,x455);FLD1(x455,1)=x2;FLD1(x455,2)=__ANat_5;FLD1(x455,3)=x454;
	PRD1(2,x456);FLD1(x456,1)=x455;FLD1(x456,2)=x450;}}
      RPRD(x3,r);FLD(r,2)=x456;}
    }else{
     CPPRD(x449,1);COPY(x450,2);COPY(x451,1);
     {OBJ x452;OBJ x456;
      x452=_ASeq_40(x4,x450);
      if(ISTGPRM(x452,1)){
       CPCLS(__AImpExpEntry_249,1);
       {OBJ x453;
	x453=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AImpExpEntry_249,2))(__AImpExpEntry_249,x1,x2);
	x456=_ASeqMap_3(x453,x450);}
      }else{
       CPPRD(__AAttributes_11,1);
       {OBJ x454;OBJ x455;
	x454=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,__AAttributes_11);
	PRD1(3,x455);FLD1(x455,1)=x2;FLD1(x455,2)=__ANat_5;FLD1(x455,3)=x454;
	PRD1(2,x456);FLD1(x456,1)=x455;FLD1(x456,2)=x450;}}
      FRPRD(x3,1);PRD(3,0,r);FLD(r,1)=x449;FLD(r,2)=x456;FLD(r,3)=x451;}}}
  }else{
   {OBJ x498;OBJ x477;OBJ x499;OBJ x503;
    {OBJ x548=FLD(x3,1);OBJ x549=FLD(x3,2);
     CPPRD(x548,1);COPY(x549,1);
     x498=x548;x477=x549;}
    COPY(x477,1);
    x499=_ASeq_40(x4,x477);
    if(ISTGPRM(x499,1)){
     CPCLS(__AImpExpEntry_249,1);
     {OBJ x500;
      x500=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AImpExpEntry_249,2))(__AImpExpEntry_249,x1,x2);
      x503=_ASeqMap_3(x500,x477);}
    }else{
     CPPRD(__AAttributes_11,1);
     {OBJ x501;OBJ x502;
      x501=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,__AAttributes_11);
      PRD1(3,x502);FLD1(x502,1)=x2;FLD1(x502,2)=__ANat_5;FLD1(x502,3)=x501;
      PRD1(2,x503);FLD1(x503,1)=x502;FLD1(x503,2)=x477;}}
    switch(TGPRD(x3)){
     case 2:
      {OBJ x511;OBJ x512;OBJ x513;
       if(EXPRD(x3,1)){
	RPRD(x3,r);FRPRD(FLD(r,1),1);FLD(r,1)=x498;FREE(FLD(r,2),1);FLD(r,2)=x503;
       }else{
	x511=FLD(x3,3);x512=FLD(x3,4);x513=FLD(x3,5);COPY(x511,1);COPY(x513,1);
	FRPRD(x3,1);PRD(5,2,r);FLD(r,1)=x498;FLD(r,2)=x503;FLD(r,3)=x511;FLD(r,4)=x512;FLD(r,5)=x513;}}break;
     case 3:
      {OBJ x517;OBJ x518;
       if(EXPRD(x3,1)){
	RPRD(x3,r);FRPRD(FLD(r,1),1);FLD(r,1)=x498;FREE(FLD(r,2),1);FLD(r,2)=x503;
       }else{
	x517=FLD(x3,3);x518=FLD(x3,4);COPY(x517,1);COPY(x518,1);
	FRPRD(x3,1);PRD(4,3,r);FLD(r,1)=x498;FLD(r,2)=x503;FLD(r,3)=x517;FLD(r,4)=x518;}}break;
     case 4:
      {OBJ x522;OBJ x523;OBJ x524;
       if(EXPRD(x3,1)){
	RPRD(x3,r);FRPRD(FLD(r,1),1);FLD(r,1)=x498;FREE(FLD(r,2),1);FLD(r,2)=x503;
       }else{
	x522=FLD(x3,3);x523=FLD(x3,4);x524=FLD(x3,5);COPY(x522,1);COPY(x524,1);
	FRPRD(x3,1);PRD(5,4,r);FLD(r,1)=x498;FLD(r,2)=x503;FLD(r,3)=x522;FLD(r,4)=x523;FLD(r,5)=x524;}}break;
     case 5:
      if(EXPRD(x3,1)){
       RPRD(x3,r);FRPRD(FLD(r,1),1);FLD(r,1)=x498;FREE(FLD(r,2),1);FLD(r,2)=x503;
      }else{
       DCPRD(x3,1);PRD(2,5,r);FLD(r,1)=x498;FLD(r,2)=x503;}break;
     default: 
      {OBJ x506;OBJ x507;
       if(EXPRD(x3,1)){
	RPRD(x3,r);FRPRD(FLD(r,1),1);FLD(r,1)=x498;FREE(FLD(r,2),1);FLD(r,2)=x503;
       }else{
	x506=FLD(x3,3);x507=FLD(x3,4);COPY(x506,1);COPY(x507,1);
	FRPRD(x3,1);PRD(4,1,r);FLD(r,1)=x498;FLD(r,2)=x503;FLD(r,3)=x506;FLD(r,4)=x507;}}}}}}
 return r;}

extern OBJ _AImpExpEntry_125(OBJ x1) /* toInstAppl */
{OBJ r;
 CPPRD(__AAttributes_11,1);
 PRD1(3,r);FLD1(r,1)=x1;FLD1(r,2)=__ANat_5;FLD1(r,3)=__AAttributes_11;
 return r;}

extern OBJ _AImpExpEntry_126(OBJ x1) /* applied */
{OBJ r;
 {OBJ x15;OBJ x16=FLD1(x1,2);OBJ x17;
  if(EXPRD(x1,1)){
   {
    RSOME(x1,r);
    ANat_2(x16,FLD1(r,2));}
  }else{
   x15=FLD1(x1,1);x17=FLD1(x1,3);CPPRD(x17,1);
   {
    FRPRD(x1,1);PRD1(3,r);FLD1(r,1)=x15;FLD1(r,3)=x17;
    ANat_2(x16,FLD1(r,2));}}}
 return r;}

extern OBJ _AImpExpEntry_127(OBJ x1) /* notApplied */
{OBJ r;
 {OBJ x15;OBJ x16=FLD1(x1,2);OBJ x17;
  if(EXPRD(x1,1)){
   {
    RSOME(x1,r);
    ANat_4(x16,FLD1(r,2));}
  }else{
   x15=FLD1(x1,1);x17=FLD1(x1,3);CPPRD(x17,1);
   {
    FRPRD(x1,1);PRD1(3,r);FLD1(r,1)=x15;FLD1(r,3)=x17;
    ANat_4(x16,FLD1(r,2));}}}
 return r;}

extern OBJ _AImpExpEntry_128(OBJ x1) /* applied? */
{OBJ r;
 {OBJ x3=FLD1(x1,2);
  if(EXPRD(x1,1)){
   FRPRD(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   FRPRD(x1,1);}
  {OBJ x5;
   x5=x3;
   ANat_3(x5,r);}}
 return r;}

extern OBJ _AImpExpEntry_129(OBJ x1) /* applyCount */
{OBJ r;
 {OBJ x3=FLD1(x1,2);
  if(EXPRD(x1,1)){
   r=x3;
   FRPRD(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   r=x3;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AImpExpEntry_130(OBJ x1,OBJ x2) /* transferApplyCount */
{OBJ r;
 {OBJ x11;OBJ x13;
  if(EXPRD(x2,1)){
   RSOME(x2,r);FLD1(r,2)=x1;
  }else{
   x11=FLD1(x2,1);x13=FLD1(x2,3);CPPRD(x13,1);
   FRPRD(x2,1);PRD1(3,r);FLD1(r,1)=x11;FLD1(r,2)=x1;FLD1(r,3)=x13;}}
 return r;}

extern OBJ _AImpExpEntry_131(OBJ x1,OBJ x2) /* addApplyCounts */
{OBJ r;
 {OBJ x25=FLD1(x1,1);OBJ x26=FLD1(x1,2);OBJ x27=FLD1(x1,3);FLAG x_x1=EXPRD(x1,1);
  if(x_x1){
  }else{
   CPPRD(x27,1);}
  {OBJ x39=FLD1(x2,2);OBJ x40=FLD1(x2,3);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x40,1);
    FRPRD(x2,1);}
   {OBJ x41;
    ANat_61(x26,x39,x41);
    if(x_x1){
     RSOME(x1,r);FLD1(r,2)=x41;
    }else{
     FRPRD(x1,1);PRD1(3,r);FLD1(r,1)=x25;FLD1(r,2)=x41;}
    FLD1(r,3)=_AAttributes_12(x27,x40);}}}
 return r;}

extern OBJ _AImpExpEntry_132(OBJ x1,OBJ x2) /* updDoubleInst */
{OBJ r;
 {OBJ x12;OBJ x13;
  if(EXPRD(x2,1)){
   RSOME(x2,r);FLD1(r,1)=x1;
  }else{
   x12=FLD1(x2,2);x13=FLD1(x2,3);CPPRD(x13,1);
   FRPRD(x2,1);PRD1(3,r);FLD1(r,1)=x1;FLD1(r,2)=x12;FLD1(r,3)=x13;}}
 return r;}

extern OBJ _AImpExpEntry_133(OBJ x1,OBJ x2) /* updAttr,1 */
{OBJ r;
 {OBJ x16;OBJ x17;OBJ x18=FLD1(x2,3);
  if(EXPRD(x2,1)){
   {OBJ x19;
    x19=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x18);
    RSOME(x2,r);FLD1(r,3)=x19;}
  }else{
   x16=FLD1(x2,1);x17=FLD1(x2,2);CPPRD(x18,1);
   {OBJ x19;
    x19=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x18);
    FRPRD(x2,1);PRD1(3,r);FLD1(r,1)=x16;FLD1(r,2)=x17;FLD1(r,3)=x19;}}}
 return r;}

extern OBJ _AImpExpEntry_134(OBJ x1,OBJ x2) /* = */
{OBJ r;
 {OBJ x11=FLD1(x1,1);
  if(EXPRD(x1,1)){
   FRPRD(FLD1(x1,3),1);DSPRDF(x1);
  }else{
   FRPRD(x1,1);}
  {OBJ x14=FLD1(x2,1);
   if(EXPRD(x2,1)){
    FRPRD(FLD1(x2,3),1);DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   {OBJ x17;
    x17=x14;
    ANat_76(x11,x17,r);}}}
 return r;}

extern OBJ _AImpExpEntry_135(OBJ x1) /* ` */
{OBJ r;
 {OBJ x2;OBJ x560;OBJ x561;OBJ x562;OBJ x563;
  if(ISPRM(x1)){
   x2=__ABUILTIN_5;
  }else{
   x2=__ABUILTIN_3;}
  if(ISTGPRM(x2,1)){
   FREE(x1,1);
   CPPRD(__AImpExpEntry_251,1);
   CPPRD(__AImpExpEntry_263,1);
   CPPRD(__AImpExpEntry_264,1);
   CPPRD(__ARep_187,1);
   x560=__AImpExpEntry_251;x561=__ARep_187;
  }else{
   if(ISPRM(x1)){
    HLT("ImpExpEntry at <258,12-285,46> : missing else in `\'ImpExpEntry:instE->denotation");
   }else{
    switch(TGPRD(x1)){
     case 2:
      {OBJ x507=FLD(x1,2);OBJ x508=FLD(x1,3);
       if(EXPRD(x1,1)){
	FREE(FLD(x1,1),1);DSPRDF(x1);
       }else{
	CPPRD(x507,1);
	FRPRD(x1,1);}
       {OBJ x510;
	ANatConv_1(x508,x510);
	{OBJ x511=FLD1(x507,1);
	 if(EXPRD(x507,1)){
	  FREE(FLD1(x507,2),1);DSPRDF(x507);
	 }else{
	  FRPRD(x507,1);}
	 CPPRD(__AImpExpEntry_253,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__ASeqConv_8,1);
	 {OBJ x513;OBJ x514;
	  ANatConv_1(x511,x513);
	  ADenotation_4(__ASeqConv_8,x510,x514);
	  ADenotation_4(x513,x514,x561);
	  x560=__AImpExpEntry_253;}}}}break;
     case 3:
      {OBJ x516=FLD(x1,1);OBJ x517=FLD(x1,2);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x516,1);
	FRPRD(x1,1);}
       CPCLS(__AImpExpEntry_254,1);
       CPPRD(__AImpExpEntry_255,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPPRD(__ASeqConv_8,1);
       {OBJ x518;OBJ x520;OBJ x521;OBJ x522;
	x518=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_254,1))(__AImpExpEntry_254,__ABUILTIN_20);
	x520=_ASeqConv_2(x518,x516);
	ANatConv_1(x517,x521);
	ADenotation_4(__ASeqConv_8,x521,x522);
	ADenotation_4(x520,x522,x561);
	x560=__AImpExpEntry_255;}}break;
     case 4:
      {OBJ x524=FLD(x1,1);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x524,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_256,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPCLS(__AName_34,1);
       x561=_ASeqConv_2(__AName_34,x524);
       x560=__AImpExpEntry_256;}break;
     case 5:
      {OBJ x526=FLD(x1,1);OBJ x528=FLD(x1,3);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x526,1);COPY(x528,1);
	FRPRD(x1,1);}
       CPCLS(__AImpExpEntry_254,1);
       CPPRD(__AImpExpEntry_257,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPCLS(__AName_34,1);
       CPPRD(__ASeqConv_8,1);
       {OBJ x529;OBJ x531;OBJ x532;OBJ x533;
	x529=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_254,1))(__AImpExpEntry_254,__ABUILTIN_20);
	x531=_ASeqConv_2(__AName_34,x528);
	x532=_ASeqConv_2(x529,x526);
	ADenotation_4(__ASeqConv_8,x531,x533);
	ADenotation_4(x532,x533,x561);
	x560=__AImpExpEntry_257;}}break;
     case 6:
      {OBJ x535=FLD(x1,1);OBJ x536=FLD(x1,2);OBJ x537=FLD(x1,3);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x537,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_258,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPCLS(__AName_34,1);
       CPPRD(__ASeqConv_8,2);
       {OBJ x538;OBJ x539;OBJ x540;OBJ x541;OBJ x542;OBJ x543;
	ANatConv_1(x536,x538);
	ANatConv_1(x535,x539);
	x540=_ASeqConv_2(__AName_34,x537);
	ADenotation_4(__ASeqConv_8,x540,x541);
	ADenotation_4(x538,x541,x542);
	ADenotation_4(__ASeqConv_8,x542,x543);
	ADenotation_4(x539,x543,x561);
	x560=__AImpExpEntry_258;}}break;
     case 7:
      {OBJ x545=FLD(x1,1);OBJ x546=FLD(x1,2);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x545,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_259,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPPRD(__ASeqConv_8,1);
       {OBJ x549;OBJ x548;OBJ x550;
	ANatConv_1(x546,x549);
	x548=_AImpExpEntry_135(x545);
	ADenotation_4(__ASeqConv_8,x548,x550);
	ADenotation_4(x549,x550,x561);
	x560=__AImpExpEntry_259;}}break;
     case 8:
      {OBJ x552=FLD(x1,1);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x552,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_260,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPCLS(__AName_34,1);
       x561=_ASeqConv_2(__AName_34,x552);
       x560=__AImpExpEntry_260;}break;
     case 9:
      {OBJ x554=FLD(x1,1);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x554,1);
	FRPRD(x1,1);}
       CPCLS(__AImpExpEntry_254,1);
       CPPRD(__AImpExpEntry_261,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       {OBJ x555;
	x555=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_254,1))(__AImpExpEntry_254,__ABUILTIN_20);
	x561=_ASeqConv_2(x555,x554);
	x560=__AImpExpEntry_261;}}break;
     case 10:
      {OBJ x557=FLD(x1,1);
       if(EXPRD(x1,1)){
	DSPRDF(x1);
       }else{
	COPY(x557,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_262,1);
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       x561=_AImpExpEntry_135(x557);
       x560=__AImpExpEntry_262;}break;
     default: 
      {OBJ x497=FLD(x1,2);OBJ x498=FLD(x1,3);
       if(EXPRD(x1,1)){
	FREE(FLD(x1,1),1);DSPRDF(x1);
       }else{
	CPPRD(x497,1);
	FRPRD(x1,1);}
       {OBJ x500;
	ANatConv_1(x498,x500);
	{OBJ x501=FLD1(x497,1);
	 if(EXPRD(x497,1)){
	  FREE(FLD1(x497,2),1);DSPRDF(x497);
	 }else{
	  FRPRD(x497,1);}
	 CPPRD(__AImpExpEntry_252,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__ASeqConv_8,1);
	 {OBJ x503;OBJ x504;
	  ADenotation_4(__ASeqConv_8,x500,x503);
	  ANatConv_1(x501,x504);
	  ADenotation_4(x504,x503,x561);
	  x560=__AImpExpEntry_252;}}}}}}}
  ADenotation_4(x561,__AImpExpEntry_263,x562);
  ADenotation_4(__AImpExpEntry_264,x562,x563);
  ADenotation_4(x560,x563,r);}
 return r;}

extern OBJ _AImpExpEntry_136(OBJ x1) /* `,1 */
{OBJ r;
 {OBJ x21=FLD1(x1,1);OBJ x22=FLD1(x1,2);OBJ x23=FLD1(x1,3);
  if(EXPRD(x1,1)){
   DSPRDF(x1);
  }else{
   CPPRD(x23,1);
   FRPRD(x1,1);}
  CPPRD(__AImpExpEntry_263,1);
  CPPRD(__AImpExpEntry_264,1);
  CPPRD(__ASeqConv_8,1);
  {OBJ x24;OBJ x25;OBJ x26;OBJ x27;OBJ x28;OBJ x29;OBJ x30;
   x24=_AAttributes_20(x23);
   ANatConv_1(x22,x25);
   ANatConv_1(x21,x26);
   ADenotation_4(x24,__AImpExpEntry_263,x27);
   ADenotation_4(x25,x27,x28);
   ADenotation_4(__ASeqConv_8,x28,x29);
   ADenotation_4(x26,x29,x30);
   ADenotation_4(__AImpExpEntry_264,x30,r);}}
 return r;}

extern OBJ _AImpExpEntry_137(OBJ x1) /* `,2 */
{OBJ r;
 if(ISTGPRD(x1,1)){
  {OBJ x530=FLD(x1,1);OBJ x531=FLD(x1,2);OBJ x532=FLD(x1,3);OBJ x533=FLD(x1,4);
   if(EXPRD(x1,1)){
    DSPRDF(x1);
   }else{
    CPPRD(x530,1);COPY(x531,1);COPY(x532,1);COPY(x533,1);
    FRPRD(x1,1);}
   CPCLS(__AImpExpEntry_136,1);
   {OBJ x534;
    x534=_ASeqConv_2(__AImpExpEntry_136,x531);
    {OBJ x536=FLD1(x530,2);
     if(EXPRD(x530,1)){
      DSPRDF(x530);
     }else{
      CPPRD(x536,1);
      FRPRD(x530,1);}
     CPPRD(__AImpExpEntry_263,1);
     CPPRD(__AImpExpEntry_264,1);
     CPPRD(__AImpExpEntry_265,1);
     CPPRD(__AImpExpEntry_268,1);
     CPCLS(__AName_34,1);
     CPCLS(__ARep_119,1);
     CPPRD(__ARep_187,1);
     CPPRD(__ASeqConv_8,2);
     {OBJ x602;OBJ x603;OBJ x604;OBJ x606;OBJ x608;OBJ x609;OBJ x610;OBJ x611;OBJ x612;OBJ x613;OBJ x614;
      x602=_AOptionConv_2(__ARep_119,x533);
      ADenotation_4(__AImpExpEntry_265,x602,x603);
      x604=_AFct_45(__AName_34,__ABUILTIN_3,x532);
      ADenotation_4(x604,__ARep_187,x606);
      ADenotation_4(x606,x603,x608);
      ADenotation_4(__ASeqConv_8,x608,x609);
      ADenotation_4(x534,x609,x610);
      ADenotation_4(__ASeqConv_8,x610,x611);
      ADenotation_4(x536,x611,x612);
      ADenotation_4(x612,__AImpExpEntry_263,x613);
      ADenotation_4(__AImpExpEntry_264,x613,x614);
      ADenotation_4(__AImpExpEntry_268,x614,r);}}}}
 }else{
  if(ISTGPRD(x1,0)){
   {OBJ x873=FLD(x1,1);OBJ x874=FLD(x1,2);OBJ x875=FLD(x1,3);
    if(EXPRD(x1,1)){
     DSPRDF(x1);
    }else{
     CPPRD(x873,1);COPY(x874,1);COPY(x875,1);
     FRPRD(x1,1);}
    CPCLS(__AImpExpEntry_136,1);
    {OBJ x876;
     x876=_ASeqConv_2(__AImpExpEntry_136,x874);
     {OBJ x878=FLD1(x873,2);
      if(EXPRD(x873,1)){
       DSPRDF(x873);
      }else{
       CPPRD(x878,1);
       FRPRD(x873,1);}
      CPPRD(__AImpExpEntry_263,1);
      CPPRD(__AImpExpEntry_264,1);
      CPPRD(__AImpExpEntry_266,1);
      CPPRD(__ARep_187,1);
      CPPRD(__ASeqConv_8,2);
      {OBJ x891;OBJ x893;OBJ x894;OBJ x895;OBJ x896;OBJ x897;OBJ x898;OBJ x899;
       x891=_AGlobSigImpl_30(x875);
       ADenotation_4(x891,__ARep_187,x893);
       ADenotation_4(__ASeqConv_8,x893,x894);
       ADenotation_4(x876,x894,x895);
       ADenotation_4(__ASeqConv_8,x895,x896);
       ADenotation_4(x878,x896,x897);
       ADenotation_4(x897,__AImpExpEntry_263,x898);
       ADenotation_4(__AImpExpEntry_264,x898,x899);
       ADenotation_4(__AImpExpEntry_266,x899,r);}}}}
  }else{
   {OBJ x933;OBJ x916;OBJ x934;
    {OBJ x1058=FLD(x1,1);OBJ x1059=FLD(x1,2);
     CPPRD(x1058,1);COPY(x1059,1);
     x916=x1058;x933=x1059;
     CPCLS(__AImpExpEntry_136,1);}
    x934=_ASeqConv_2(__AImpExpEntry_136,x933);
    {OBJ x936=FLD1(x916,2);
     if(EXPRD(x916,1)){
      DSPRDF(x916);
     }else{
      CPPRD(x936,1);
      FRPRD(x916,1);}
     if(ISTGPRD(x1,3)){
      {OBJ x940=FLD(x1,3);OBJ x941=FLD(x1,4);
       if(EXPRD(x1,1)){
	FLD(x1,3)=NIL;FLD(x1,4)=NIL;DSPRD(x1);
       }else{
	COPY(x940,1);COPY(x941,1);
	FRPRD(x1,1);}
       CPPRD(__AImpExpEntry_263,1);
       CPPRD(__AImpExpEntry_264,1);
       CPPRD(__AImpExpEntry_265,1);
       CPPRD(__AImpExpEntry_269,1);
       CPCLS(__AName_34,1);
       CPCLS(__ARep_119,1);
       CPPRD(__ARep_187,1);
       CPPRD(__ASeqConv_8,2);
       {OBJ x943;OBJ x944;OBJ x958;OBJ x983;OBJ x985;OBJ x986;OBJ x987;OBJ x988;OBJ x989;OBJ x990;OBJ x991;
	x943=_AOptionConv_2(__ARep_119,x941);
	ADenotation_4(__AImpExpEntry_265,x943,x944);
	x958=_AFct_45(__AName_34,__ABUILTIN_3,x940);
	ADenotation_4(x958,__ARep_187,x983);
	ADenotation_4(x983,x944,x985);
	ADenotation_4(__ASeqConv_8,x985,x986);
	ADenotation_4(x934,x986,x987);
	ADenotation_4(__ASeqConv_8,x987,x988);
	ADenotation_4(x936,x988,x989);
	ADenotation_4(x989,__AImpExpEntry_263,x990);
	ADenotation_4(__AImpExpEntry_264,x990,x991);
	ADenotation_4(__AImpExpEntry_269,x991,r);}}
     }else{
      {OBJ x1033;OBJ x1034;OBJ x1035;OBJ x1036;OBJ x1037;OBJ x1038;OBJ x1039;OBJ x1040;OBJ x1041;
       if(ISTGPRD(x1,5)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	CPPRD(__AImpExpEntry_263,1);
	CPPRD(__AImpExpEntry_264,1);
	CPPRD(__AImpExpEntry_267,1);
	CPPRD(__ARep_187,2);
	CPPRD(__ASeqConv_8,2);
	x1033=__AImpExpEntry_267;x1034=__ARep_187;
       }else{
	{OBJ x1004;OBJ x1005;OBJ x1029;OBJ x1030;OBJ x1031;
	 {OBJ x996=FLD(x1,3);
	  COPY(x996,1);
	  x1004=x996;
	  CPCLS(__AName_34,1);}
	 x1005=_AFct_45(__AName_34,__ABUILTIN_3,x1004);
	 if(ISTGPRD(x1,2)){
	  {OBJ x1009=FLD(x1,4);OBJ x1010=FLD(x1,5);
	   if(EXPRD(x1,1)){
	    FLD(x1,5)=NIL;DSPRD(x1);
	   }else{
	    COPY(x1010,1);
	    FRPRD(x1,1);}
	   CPPRD(__AImpExpEntry_263,1);
	   CPPRD(__AImpExpEntry_264,1);
	   CPCLS(__AImpExpEntry_270,1);
	   CPPRD(__AImpExpEntry_271,1);
	   CPPRD(__ARep_187,1);
	   CPPRD(__ASeqConv_8,3);
	   {OBJ x1011;OBJ x1013;OBJ x1014;OBJ x1015;
	    x1011=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_270,1))(__AImpExpEntry_270,__ABUILTIN_20);
	    x1013=_ASeqConv_2(x1011,x1010);
	    ANatConv_1(x1009,x1014);
	    ADenotation_4(x1014,x1013,x1015);
	    ADenotation_4(__ASeqConv_8,x1015,x1030);
	    x1033=__AImpExpEntry_271;}}
	 }else{
	  {OBJ x1020=FLD(x1,4);OBJ x1021=FLD(x1,5);
	   if(EXPRD(x1,1)){
	    FLD(x1,5)=NIL;DSPRD(x1);
	   }else{
	    COPY(x1021,1);
	    FRPRD(x1,1);}
	   CPPRD(__AImpExpEntry_263,1);
	   CPPRD(__AImpExpEntry_264,1);
	   CPCLS(__AImpExpEntry_270,1);
	   CPPRD(__AImpExpEntry_272,1);
	   CPPRD(__ARep_187,1);
	   CPPRD(__ASeqConv_8,3);
	   {OBJ x1023;OBJ x1024;OBJ x1025;OBJ x1026;
	    x1023=(*(OBJ(*)(OBJ,OBJ))METHOD(__AImpExpEntry_270,1))(__AImpExpEntry_270,__ABUILTIN_20);
	    ANatConv_1(x1020,x1024);
	    x1025=_ASeqConv_2(x1023,x1021);
	    ADenotation_4(x1024,x1025,x1026);
	    ADenotation_4(__ASeqConv_8,x1026,x1030);
	    x1033=__AImpExpEntry_272;}}}
	 ADenotation_4(x1005,x1030,x1034);}}
       ADenotation_4(x1034,__ARep_187,x1035);
       ADenotation_4(__ASeqConv_8,x1035,x1036);
       ADenotation_4(x934,x1036,x1037);
       ADenotation_4(__ASeqConv_8,x1037,x1038);
       ADenotation_4(x936,x1038,x1039);
       ADenotation_4(x1039,__AImpExpEntry_263,x1040);
       ADenotation_4(__AImpExpEntry_264,x1040,x1041);
       ADenotation_4(x1033,x1041,r);}}}}}}
 return r;}

extern OBJ _AImpExpEntry_138(OBJ x1) /* `,3 */
{OBJ r;
 if(ISTGPRD(x1,0)){
  {OBJ x516=FLD(x1,1);OBJ x517=FLD(x1,2);
   if(EXPRD(x1,1)){
    DSPRDF(x1);
   }else{
    CPPRD(x516,1);CPPRD(x517,1);
    FRPRD(x1,1);}
   {OBJ x518=FLD1(x516,1);
    if(EXPRD(x516,1)){
     FREE(FLD1(x516,2),1);DSPRDF(x516);
    }else{
     CPPRD(x518,1);
     FRPRD(x516,1);}
    {OBJ x521=FLD1(x518,2);
     if(EXPRD(x518,1)){
      DSPRDF(x518);
     }else{
      CPPRD(x521,1);
      FRPRD(x518,1);}
     CPCLS(__AImpExpEntry_135,1);
     CPPRD(__AImpExpEntry_263,1);
     CPPRD(__AImpExpEntry_264,1);
     CPPRD(__AImpExpEntry_273,1);
     CPPRD(__AImpExpEntry_274,1);
     CPPRD(__AImpExpEntry_275,1);
     CPPRD(__AImpExpEntry_278,1);
     CPPRD(__ASeqConv_8,1);
     {OBJ x533;OBJ x543;OBJ x545;OBJ x546;OBJ x547;OBJ x548;OBJ x549;
      x533=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_135,x517);
      ADenotation_4(__AImpExpEntry_274,x533,x543);
      ADenotation_4(x543,__AImpExpEntry_263,x545);
      ADenotation_4(__AImpExpEntry_278,x545,x546);
      ADenotation_4(__ASeqConv_8,x546,x547);
      ADenotation_4(x521,x547,x548);
      ADenotation_4(__AImpExpEntry_264,x548,x549);
      ADenotation_4(__AImpExpEntry_275,x549,r);}}}}
 }else{
  {OBJ x566;
   {OBJ x550=FLD(x1,1);
    CPPRD(x550,1);
    x566=x550;}
   {OBJ x567=FLD1(x566,1);
    if(EXPRD(x566,1)){
     FREE(FLD1(x566,2),1);DSPRDF(x566);
    }else{
     CPPRD(x567,1);
     FRPRD(x566,1);}
    {OBJ x570=FLD1(x567,2);
     if(EXPRD(x567,1)){
      DSPRDF(x567);
     }else{
      CPPRD(x570,1);
      FRPRD(x567,1);}
     {OBJ x615;OBJ x616;OBJ x617;OBJ x618;OBJ x619;OBJ x620;OBJ x621;
      switch(TGPRD(x1)){
       case 2:
	{OBJ x577=FLD(x1,2);OBJ x578=FLD(x1,3);OBJ x580=FLD(x1,5);
	 if(EXPRD(x1,1)){
	  FRPRD(FLD(x1,1),1);DSPRDF(x1);
	 }else{
	  CPPRD(x577,1);COPY(x580,1);
	  FRPRD(x1,1);}
	 CPCLS(__AImpExpEntry_137,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__AImpExpEntry_273,1);
	 CPPRD(__AImpExpEntry_276,1);
	 CPPRD(__AImpExpEntry_278,2);
	 CPPRD(__AImpExpEntry_279,1);
	 CPPRD(__AImpExpEntry_280,1);
	 CPCLS(__AName_34,1);
	 CPPRD(__ASeqConv_8,2);
	 {OBJ x581;OBJ x582;OBJ x583;OBJ x584;OBJ x585;OBJ x586;OBJ x587;OBJ x588;
	  x581=_ASeqConv_2(__AName_34,x580);
	  ANatConv_1(x578,x582);
	  x583=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_137,x577);
	  ADenotation_4(x581,__AImpExpEntry_278,x584);
	  ADenotation_4(__ASeqConv_8,x584,x585);
	  ADenotation_4(x582,x585,x586);
	  ADenotation_4(__AImpExpEntry_279,x586,x587);
	  ADenotation_4(x583,x587,x588);
	  ADenotation_4(__AImpExpEntry_276,x588,x616);
	  x615=__AImpExpEntry_280;}}break;
       case 3:
	{OBJ x591=FLD(x1,2);OBJ x592=FLD(x1,3);
	 if(EXPRD(x1,1)){
	  FLD(x1,2)=NIL;FLD(x1,3)=NIL;DSPRD(x1);
	 }else{
	  CPPRD(x591,1);CPPRD(x592,1);
	  FRPRD(x1,1);}
	 CPCLS(__AImpExpEntry_135,1);
	 CPCLS(__AImpExpEntry_137,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__AImpExpEntry_273,2);
	 CPPRD(__AImpExpEntry_274,1);
	 CPPRD(__AImpExpEntry_276,1);
	 CPPRD(__AImpExpEntry_278,1);
	 CPPRD(__AImpExpEntry_281,1);
	 CPPRD(__ASeqConv_8,1);
	 {OBJ x595;OBJ x596;OBJ x597;OBJ x598;
	  x595=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_137,x591);
	  x596=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_135,x592);
	  ADenotation_4(__AImpExpEntry_274,x596,x597);
	  ADenotation_4(x595,x597,x598);
	  ADenotation_4(__AImpExpEntry_276,x598,x616);
	  x615=__AImpExpEntry_281;}}break;
       case 4:
	{OBJ x601=FLD(x1,2);OBJ x602=FLD(x1,3);OBJ x604=FLD(x1,5);
	 if(EXPRD(x1,1)){
	  FLD(x1,2)=NIL;FLD(x1,3)=NIL;FLD(x1,5)=NIL;DSPRD(x1);
	 }else{
	  CPPRD(x601,1);CPPRD(x602,1);COPY(x604,1);
	  FRPRD(x1,1);}
	 CPCLS(__AImpExpEntry_135,1);
	 CPCLS(__AImpExpEntry_137,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__AImpExpEntry_273,2);
	 CPPRD(__AImpExpEntry_274,1);
	 CPPRD(__AImpExpEntry_276,1);
	 CPPRD(__AImpExpEntry_278,2);
	 CPPRD(__AImpExpEntry_282,1);
	 CPCLS(__AName_34,1);
	 CPPRD(__ASeqConv_8,1);
	 {OBJ x606;OBJ x607;OBJ x608;OBJ x609;OBJ x610;OBJ x611;OBJ x612;
	  x606=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_135,x602);
	  x607=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_137,x601);
	  x608=_ASeqConv_2(__AName_34,x604);
	  ADenotation_4(x608,__AImpExpEntry_278,x609);
	  ADenotation_4(x606,x609,x610);
	  ADenotation_4(__AImpExpEntry_274,x610,x611);
	  ADenotation_4(x607,x611,x612);
	  ADenotation_4(__AImpExpEntry_276,x612,x616);
	  x615=__AImpExpEntry_282;}}break;
       default: 
	{OBJ x573=FLD(x1,2);
	 if(EXPRD(x1,1)){
	  FRPRD(FLD(x1,1),1);DSPRDF(x1);
	 }else{
	  CPPRD(x573,1);
	  FRPRD(x1,1);}
	 CPCLS(__AImpExpEntry_137,1);
	 CPPRD(__AImpExpEntry_263,1);
	 CPPRD(__AImpExpEntry_264,1);
	 CPPRD(__AImpExpEntry_273,1);
	 CPPRD(__AImpExpEntry_276,1);
	 CPPRD(__AImpExpEntry_277,1);
	 CPPRD(__AImpExpEntry_278,1);
	 CPPRD(__ASeqConv_8,1);
	 {OBJ x574;
	  x574=_ATable_17(__AImpExpEntry_273,__AImpExpEntry_137,x573);
	  ADenotation_4(__AImpExpEntry_276,x574,x616);
	  x615=__AImpExpEntry_277;}}}
      ADenotation_4(x616,__AImpExpEntry_263,x617);
      ADenotation_4(__AImpExpEntry_278,x617,x618);
      ADenotation_4(__ASeqConv_8,x618,x619);
      ADenotation_4(x570,x619,x620);
      ADenotation_4(__AImpExpEntry_264,x620,x621);
      ADenotation_4(x615,x621,r);}}}}}
 return r;}

extern OBJ _AImpExpEntry_249(OBJ x1,OBJ x2,OBJ x3) /* uAttr */
{OBJ r;
 {OBJ x18=FLD1(x3,1);OBJ x19=FLD1(x3,2);OBJ x20=FLD1(x3,3);
  CPPRD(x20,1);
  {OBJ x21;
   ANat_76(x2,x18,x21);
   if(ISTGPRM(x21,1)){
    if(EXPRD(x3,1)){
     FRPRD(FLD1(x3,3),1);DSPRDF(x3);
    }else{
     DCPRD(x3,1);}
    {OBJ x22;
     x22=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,x20);
     PRD1(3,r);FLD1(r,1)=x2;FLD1(r,2)=x19;FLD1(r,3)=x22;}
   }else{
    FRCLS(x1,1);
    FRPRD(x20,1);
    r=x3;}}}
 return r;}

extern OBJ _AImpExpEntry_250(OBJ x1,OBJ x2) /* eqInst */
{OBJ r;
 {OBJ x3=FLD1(x2,1);
  if(EXPRD(x2,1)){
   FRPRD(FLD1(x2,3),1);DSPRDF(x2);
  }else{
   FRPRD(x2,1);}
  {OBJ x6;
   x6=x3;
   ANat_76(x1,x6,r);}}
 return r;}

extern OBJ _AImpExpEntry_254(OBJ x1) /* `'254 */
{OBJ r;
 CPCLS(__AObjects_14,1);
 CPCLS(__ANatConv_1,1);
 CPCLS(__ACompose_4,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__ANatConv_1,__AObjects_14);
 return r;}

extern OBJ _AImpExpEntry_270(OBJ x1) /* `,2'270 */
{OBJ r;
 CPCLS(__AObjects_22,1);
 CPCLS(__ANatConv_1,1);
 CPCLS(__ACompose_4,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__ANatConv_1,__AObjects_22);
 return r;}


static OBJ _mt_1_0_2(OBJ t,OBJ t1,OBJ t2) 
{OBJ r;
 {OBJ t3;
  DCCLS(t,1);
  t3=(*(OBJ(*)(OBJ))ENTRY(t))(t1);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(t3,1))(t3,t2);}
 return r;}

init_AImpExpEntry()
{
 static int visited=0; if(visited) return; visited=1;
 init_ACompose();
 init_ADEBUG();
 init_AInt();
 init_AReal();
 init_APartNameEntry();
 init_ADArrayReduce();
 init_AGlobSigImpl();
 init_ALexem();
 init_AObjects();
 init_ASeqReduce();
 init_AAttributes();
 init_AName();
 init_APragma();
 init_ATable();
 init_AFct();
 init_ARep();
 init_AOcPos();
 init_ANat();
 init_APair();
 init_ASeq();
 init_AOption();
 init_AChar();
 init_ADArray();
 init_ANatMap();
 init_AString();
 init_ASet();
 init_ABitset();
 init_AArray();
 init_AImpl();
 init_APatterns();
 init_APartName();
 init_ASeqMap();
 init_ASeqConv();
 init_ANatConv();
 init_ADenotation();
 init_AOptionConv();
 DEN("explUninst",__AImpExpEntry_255);
 CLS(1,_AImpExpEntry_127,__AImpExpEntry_127);
 CLS(1,_AImpExpEntry_63,__AImpExpEntry_63);
 CLS(1,_AImpExpEntry_95,__AImpExpEntry_95);
 LCLS(1,_AImpExpEntry_254,__AImpExpEntry_254);
 CLS(1,_AImpExpEntry_126,__AImpExpEntry_126);
 CLS(3,_AImpExpEntry_62,__AImpExpEntry_62);
 CLS(4,_AImpExpEntry_94,__AImpExpEntry_94);
 DEN("explInstCycle",__AImpExpEntry_253);
 CLS(1,_AImpExpEntry_125,__AImpExpEntry_125);
 CLS(1,_AImpExpEntry_61,__AImpExpEntry_61);
 CLS(1,_AImpExpEntry_93,__AImpExpEntry_93);
 DEN("explInst",__AImpExpEntry_252);
 CLS(1,_AImpExpEntry_92,__AImpExpEntry_92);
 DEN("mtInstE",__AImpExpEntry_251);
 CLS(3,_AImpExpEntry_123,__AImpExpEntry_123);
 CLS(1,_AImpExpEntry_59,__AImpExpEntry_59);
 CLS(1,_AImpExpEntry_91,__AImpExpEntry_91);
 DEN("param",__AImpExpEntry_282);
 CLS(2,_AImpExpEntry_250,__AImpExpEntry_250);
 CLS(1,_AImpExpEntry_90,__AImpExpEntry_90);
 CLS(2,_AImpExpEntry_122,__AImpExpEntry_122);
 CLS(1,_AImpExpEntry_26,__AImpExpEntry_26);
 CLS(1,_AImpExpEntry_58,__AImpExpEntry_58);
 DEN("paramTrans",__AImpExpEntry_281);
 CLS(3,_AImpExpEntry_249,__AImpExpEntry_249);
 CLS(1,_AImpExpEntry_89,__AImpExpEntry_89);
 CLS(2,_AImpExpEntry_121,__AImpExpEntry_121);
 CLS(5,_AImpExpEntry_25,__AImpExpEntry_25);
 CLS(3,_AImpExpEntry_57,__AImpExpEntry_57);
 DEN("unparam",__AImpExpEntry_280);
 CLS(1,_AImpExpEntry_88,__AImpExpEntry_88);
 CLS(2,_AImpExpEntry_120,__AImpExpEntry_120);
 DEN("onlys:",__AImpExpEntry_279);
 CLS(2,_AImpExpEntry_119,__AImpExpEntry_119);
 CLS(1,_AImpExpEntry_55,__AImpExpEntry_55);
 CLS(5,_AImpExpEntry_87,__AImpExpEntry_87);
 DEN("\n",__AImpExpEntry_278);
 CLS(1,_AImpExpEntry_54,__AImpExpEntry_54);
 CLS(2,_AImpExpEntry_118,__AImpExpEntry_118);
 DEN("unparamTrans",__AImpExpEntry_277);
 CLS(1,_AImpExpEntry_85,__AImpExpEntry_85);
 CLS(2,_AImpExpEntry_117,__AImpExpEntry_117);
 CLS(1,_AImpExpEntry_21,__AImpExpEntry_21);
 CLS(2,_AImpExpEntry_53,__AImpExpEntry_53);
 DEN("  ImpDecls...\n",__AImpExpEntry_276);
 CLS(2,_AImpExpEntry_116,__AImpExpEntry_116);
 CLS(1,_AImpExpEntry_20,__AImpExpEntry_20);
 CLS(1,_AImpExpEntry_52,__AImpExpEntry_52);
 DEN("preStruct",__AImpExpEntry_275);
 CLS(2,_AImpExpEntry_115,__AImpExpEntry_115);
 CLS(4,_AImpExpEntry_19,__AImpExpEntry_19);
 CLS(1,_AImpExpEntry_51,__AImpExpEntry_51);
 DEN("  InstTab...\n",__AImpExpEntry_274);
 CLS(1,_AImpExpEntry_50,__AImpExpEntry_50);
 DEN("  ",__AImpExpEntry_273);
 CLS(1,_AImpExpEntry_49,__AImpExpEntry_49);
 DEN("closedOpCons",__AImpExpEntry_272);
 CLS(1,_AImpExpEntry_80,__AImpExpEntry_80);
 CLS(1,_AImpExpEntry_112,__AImpExpEntry_112);
 CLS(1,_AImpExpEntry_16,__AImpExpEntry_16);
 CLS(1,_AImpExpEntry_48,__AImpExpEntry_48);
 DEN("opCons",__AImpExpEntry_271);
 CLS(3,_AImpExpEntry_79,__AImpExpEntry_79);
 CLS(2,_AImpExpEntry_111,__AImpExpEntry_111);
 CLS(1,_AImpExpEntry_15,__AImpExpEntry_15);
 CLS(1,_AImpExpEntry_47,__AImpExpEntry_47);
 LCLS(1,_AImpExpEntry_270,__AImpExpEntry_270);
 CLS(1,_AImpExpEntry_78,__AImpExpEntry_78);
 CLS(1,_AImpExpEntry_14,__AImpExpEntry_14);
 CLS(1,_AImpExpEntry_46,__AImpExpEntry_46);
 DEN("closedOp",__AImpExpEntry_269);
 CLS(1,_AImpExpEntry_77,__AImpExpEntry_77);
 CLS(1,_AImpExpEntry_13,__AImpExpEntry_13);
 CLS(1,_AImpExpEntry_45,__AImpExpEntry_45);
 DEN("op",__AImpExpEntry_268);
 CLS(1,_AImpExpEntry_108,__AImpExpEntry_108);
 CLS(5,_AImpExpEntry_12,__AImpExpEntry_12);
 CLS(1,_AImpExpEntry_44,__AImpExpEntry_44);
 DEN("unclosedOp",__AImpExpEntry_267);
 CLS(2,_AImpExpEntry_107,__AImpExpEntry_107);
 CLS(1,_AImpExpEntry_11,__AImpExpEntry_11);
 CLS(1,_AImpExpEntry_75,__AImpExpEntry_75);
 DEN("sort",__AImpExpEntry_266);
 CLS(1,_AImpExpEntry_138,__AImpExpEntry_138);
 CLS(1,_AImpExpEntry_10,__AImpExpEntry_10);
 CLS(3,_AImpExpEntry_74,__AImpExpEntry_74);
 DEN("SPC: ",__AImpExpEntry_265);
 CLS(1,_AImpExpEntry_9,__AImpExpEntry_9);
 CLS(1,_AImpExpEntry_137,__AImpExpEntry_137);
 DEN("(",__AImpExpEntry_264);
 CLS(1,_AImpExpEntry_136,__AImpExpEntry_136);
 CLS(1,_AImpExpEntry_72,__AImpExpEntry_72);
 CLS(1,_AImpExpEntry_104,__AImpExpEntry_104);
 CLS(2,_AImpExpEntry_8,__AImpExpEntry_8);
 CLS(1,_AImpExpEntry_40,__AImpExpEntry_40);
 DEN(")",__AImpExpEntry_263);
 CLS(1,_AImpExpEntry_103,__AImpExpEntry_103);
 CLS(1,_AImpExpEntry_135,__AImpExpEntry_135);
 CLS(1,_AImpExpEntry_39,__AImpExpEntry_39);
 CLS(1,_AImpExpEntry_71,__AImpExpEntry_71);
 DEN("unusedInst",__AImpExpEntry_262);
 CLS(2,_AImpExpEntry_70,__AImpExpEntry_70);
 CLS(2,_AImpExpEntry_134,__AImpExpEntry_134);
 CLS(1,_AImpExpEntry_6,__AImpExpEntry_6);
 CLS(3,_AImpExpEntry_38,__AImpExpEntry_38);
 DEN("identUninst",__AImpExpEntry_261);
 CLS(2,_AImpExpEntry_133,__AImpExpEntry_133);
 CLS(1,_AImpExpEntry_5,__AImpExpEntry_5);
 CLS(1,_AImpExpEntry_101,__AImpExpEntry_101);
 DEN("identInst",__AImpExpEntry_260);
 CLS(5,_AImpExpEntry_100,__AImpExpEntry_100);
 CLS(2,_AImpExpEntry_132,__AImpExpEntry_132);
 CLS(1,_AImpExpEntry_4,__AImpExpEntry_4);
 CLS(1,_AImpExpEntry_68,__AImpExpEntry_68);
 DEN("doubleInst",__AImpExpEntry_259);
 CLS(2,_AImpExpEntry_131,__AImpExpEntry_131);
 CLS(1,_AImpExpEntry_3,__AImpExpEntry_3);
 CLS(1,_AImpExpEntry_67,__AImpExpEntry_67);
 DEN("genericTransitive",__AImpExpEntry_258);
 CLS(3,_AImpExpEntry_2,__AImpExpEntry_2);
 CLS(2,_AImpExpEntry_130,__AImpExpEntry_130);
 DEN("genericTransitives",__AImpExpEntry_257);
 CLS(1,_AImpExpEntry_129,__AImpExpEntry_129);
 CLS(1,_AImpExpEntry_33,__AImpExpEntry_33);
 CLS(1,_AImpExpEntry_65,__AImpExpEntry_65);
 DEN("transitive",__AImpExpEntry_256);
 CLS(4,_AImpExpEntry_32,__AImpExpEntry_32);
 CLS(1,_AImpExpEntry_128,__AImpExpEntry_128);
 MTH(1,0,2,_mt_1_0_2);LZYMTH(1,0,2,_mt_1_0_2);
 PRM1(__AImpExpEntry_84);}

