

#include "BUILTIN.h"
extern OBJ __ATerminal_18;
extern OBJ __ATerminal_28;
extern OBJ __ATerminal_30;
extern OBJ __ATerminal_32;
extern OBJ __ATerminal_40;
extern OBJ __ATerminal_42;
extern OBJ __ATerminal_44;
extern OBJ __ATerminal_46;
extern OBJ __ATerminal_50;
extern OBJ __ATerminal_54;
extern OBJ __ATerminal_60;
extern OBJ __ATerminal_62;
extern OBJ __ATerminal_64;
extern OBJ __ATerminal_66;
extern OBJ __ATerminal_82;
extern OBJ __ATerminal_84;
extern OBJ __ATerminal_90;
extern OBJ __ATerminal_94;
extern OBJ __ATerminal_100;
extern OBJ _ATerminal_141(OBJ,OBJ);extern OBJ __ATerminal_141;
extern OBJ __APName_1;
extern OBJ __APName_2;
extern OBJ _APExpr_1(OBJ);extern OBJ __APExpr_1;
extern OBJ _APExpr_92(OBJ,OBJ);extern OBJ __APExpr_92;
extern OBJ _APExpr_97(OBJ,OBJ,OBJ);extern OBJ __APExpr_97;
extern OBJ __ABaseParser_19;
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_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_50(OBJ,OBJ);extern OBJ __ABaseParser_50;
extern OBJ _ABaseParser_68(OBJ,OBJ);extern OBJ __ABaseParser_68;
extern OBJ _AModBase_7(OBJ);extern OBJ __AModBase_7;
extern OBJ _AModBase_8(OBJ,OBJ);extern OBJ __AModBase_8;
extern OBJ _AModBase_9(OBJ,OBJ,OBJ);extern OBJ __AModBase_9;
extern OBJ __AModBase_12;
extern OBJ __AModBase_13;
extern OBJ _APErr_15(OBJ);extern OBJ __APErr_15;
extern OBJ _APTypes_14(OBJ);extern OBJ __APTypes_14;
extern OBJ __AZOpts_1;
extern OBJ __AAbsy_2;
extern OBJ _AAbsy_79(OBJ);extern OBJ __AAbsy_79;
extern OBJ __AModMix_3;
extern OBJ __AModMix_5;

#include "Nat.h"
extern OBJ __AModName_4;
extern OBJ __AModName_5;
extern OBJ __AModForm_1;
extern OBJ __AModForm_2;
extern OBJ __AModForm_3;
extern OBJ __AModForm_4;
extern OBJ __AModForm_5;
extern OBJ __AModForm_6;
extern OBJ __AModForm_7;
extern OBJ __AModForm_8;
extern OBJ __AModForm_9;
extern OBJ __AModForm_10;
extern OBJ __AModForm_11;
extern OBJ __AModForm_12;
extern OBJ __AModForm_13;
extern OBJ __ASeq_6;
extern OBJ _ASeq_42(OBJ,OBJ);extern OBJ __ASeq_42;
extern OBJ __AOption_5;

#include "Denotation.h"
extern OBJ _ADEBUG_2(OBJ,OBJ,OBJ);extern OBJ __ADEBUG_2;
extern OBJ _ADEBUG_10(OBJ);extern OBJ __ADEBUG_10;
extern OBJ _AImpl_10(OBJ);extern OBJ __AImpl_10;
extern OBJ _AImpl_28(OBJ);extern OBJ __AImpl_28;
extern OBJ _AImpl_367(OBJ,OBJ,OBJ);extern OBJ __AImpl_367;
extern OBJ __AImpl_373;
extern OBJ __ABoolConv_2;
extern OBJ __ABoolConv_3;
extern OBJ __APartName_23;
extern OBJ _APartName_28(OBJ);extern OBJ __APartName_28;
extern OBJ __AOcPos_35;

#include "Char.h"

#include "Real.h"

#include "Bitset.h"

#include "Array.h"
extern OBJ _ASet_7(OBJ,OBJ,OBJ);extern OBJ __ASet_7;
extern OBJ _ASet_39(OBJ,OBJ,OBJ);extern OBJ __ASet_39;
extern OBJ _AToken_9(OBJ,OBJ);extern OBJ __AToken_9;
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;

#include "Int.h"
extern OBJ _APForm_1(OBJ);OBJ __APForm_1; /* pFormula */
OBJ __APForm_2; /* pProof */
extern OBJ _APForm_3(OBJ);OBJ __APForm_3; /* pProofBody */
OBJ __APForm_4; /* pProofHead */
extern OBJ _APForm_5(OBJ);OBJ __APForm_5; /* pSpec */
extern OBJ _APForm_7(OBJ);OBJ __APForm_7; /* pAtomForm */
extern OBJ _APForm_8(OBJ);OBJ __APForm_8; /* pQuantForm */
extern OBJ _APForm_9(OBJ);OBJ __APForm_9; /* pAndForm */
extern OBJ _APForm_10(OBJ);OBJ __APForm_10; /* pOrForm */
extern OBJ _APForm_11(OBJ);OBJ __APForm_11; /* pImplyForm */
extern OBJ _APForm_12(OBJ);OBJ __APForm_12; /* pEqvForm */
OBJ __APForm_13; /* pBrForm */
extern OBJ _APForm_14(OBJ);OBJ __APForm_14; /* pNotForm */
extern OBJ _APForm_15(OBJ,OBJ,OBJ);OBJ __APForm_15; /* pForm */
OBJ __APForm_16; /* pExprF */
OBJ __APForm_17; /* pSet */
OBJ __APForm_20; /* modProofBody */
OBJ __APForm_21; /* modProofHead1 */
OBJ __APForm_22; /* modProofHead2 */
extern TUP2 _APForm_23(OBJ,OBJ,OBJ);OBJ __APForm_23; /* mkSpec */
extern OBJ _APForm_24(OBJ);OBJ __APForm_24; /* checkLhs */
OBJ __APForm_25; /* stdMix */
extern OBJ _APForm_26(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __APForm_26; /* pForm'26 */
extern OBJ _APForm_27(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_27; /* pForm'27 */
OBJ __APForm_28; /* checkLhs'28 */
OBJ __APForm_29; /* checkLhs'29 */
extern OBJ _APForm_30(OBJ,OBJ);OBJ __APForm_30; /* checkLhs'30 */
OBJ __APForm_31; /* checkLhs'31 */
extern OBJ _APForm_32(OBJ,OBJ);OBJ __APForm_32; /* checkLhs'32 */
OBJ __APForm_33; /* mkSpec'33 */
OBJ __APForm_34; /* mkSpec'34 */
OBJ __APForm_35; /* mkSpec'35 */
extern OBJ _APForm_36(OBJ);OBJ __APForm_36; /* mkSpec'36 */
OBJ __APForm_37; /* mkSpec'37 */
OBJ __APForm_38; /* mkSpec'38 */
OBJ __APForm_39; /* mkSpec'39 */
OBJ __APForm_40; /* mkSpec'40 */
OBJ __APForm_41; /* mkSpec'41 */
extern OBJ _APForm_42(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_42; /* mkSpec'42 */
extern OBJ _APForm_43(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_43; /* mkSpec'43 */
extern OBJ _APForm_44(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_44; /* mkSpec'44 */
extern OBJ _APForm_45(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_45; /* mkSpec'45 */
extern OBJ _APForm_46(OBJ,OBJ,OBJ,OBJ);OBJ __APForm_46; /* mkSpec'46 */
extern OBJ _APForm_47(OBJ,OBJ);OBJ __APForm_47; /* pFormula'47 */
extern OBJ _APForm_48(OBJ);OBJ __APForm_48; /* pProofBody'48 */
extern OBJ _APForm_49(OBJ);OBJ __APForm_49; /* pProofBody'49 */
extern OBJ _APForm_50(OBJ,OBJ);OBJ __APForm_50; /* pProofBody'50 */
extern OBJ _APForm_51(OBJ,OBJ);OBJ __APForm_51; /* pProofHead'51 */
extern OBJ _APForm_52(OBJ);OBJ __APForm_52; /* pProofHead'52 */
extern OBJ _APForm_53(OBJ);OBJ __APForm_53; /* pSpec'53 */
extern OBJ _APForm_54(OBJ);OBJ __APForm_54; /* pSpec'54 */
OBJ __APForm_55; /* pSpec'55 */
extern OBJ _APForm_56(OBJ);OBJ __APForm_56; /* pSpec'56 */
extern OBJ _APForm_57(OBJ);OBJ __APForm_57; /* pSpec'57 */
extern OBJ _APForm_58(OBJ,OBJ);OBJ __APForm_58; /* pSpec'58 */
extern OBJ _APForm_59(OBJ);OBJ __APForm_59; /* pSpec'59 */
extern OBJ _APForm_60(OBJ);OBJ __APForm_60; /* pSpec'60 */
extern OBJ _APForm_61(OBJ);OBJ __APForm_61; /* pSpec'61 */
extern OBJ _APForm_62(OBJ);OBJ __APForm_62; /* pSpec'62 */
extern OBJ _APForm_63(OBJ);OBJ __APForm_63; /* pSpec'63 */
extern OBJ _APForm_64(OBJ,OBJ);OBJ __APForm_64; /* pSpec'64 */
extern OBJ _APForm_65(OBJ,OBJ);OBJ __APForm_65; /* pSpec'65 */
extern OBJ _APForm_66(OBJ,OBJ);OBJ __APForm_66; /* pSpec'66 */
extern OBJ _APForm_67(OBJ);OBJ __APForm_67; /* pAtomForm'67 */
extern OBJ _APForm_68(OBJ);OBJ __APForm_68; /* pAtomForm'68 */
extern OBJ _APForm_69(OBJ);OBJ __APForm_69; /* pAtomForm'69 */
extern OBJ _APForm_70(OBJ);OBJ __APForm_70; /* pAtomForm'70 */
extern OBJ _APForm_71(OBJ);OBJ __APForm_71; /* pAtomForm'71 */
extern OBJ _APForm_72(OBJ);OBJ __APForm_72; /* pAtomForm'72 */
extern OBJ _APForm_73(OBJ);OBJ __APForm_73; /* pAtomForm'73 */
extern OBJ _APForm_74(OBJ);OBJ __APForm_74; /* pAtomForm'74 */
extern OBJ _APForm_75(OBJ);OBJ __APForm_75; /* pAtomForm'75 */
extern OBJ _APForm_76(OBJ,OBJ);OBJ __APForm_76; /* pAtomForm'76 */
extern OBJ _APForm_77(OBJ);OBJ __APForm_77; /* pQuantForm'77 */
extern OBJ _APForm_78(OBJ);OBJ __APForm_78; /* pQuantForm'78 */
extern OBJ _APForm_79(OBJ);OBJ __APForm_79; /* pQuantForm'79 */
extern OBJ _APForm_80(OBJ);OBJ __APForm_80; /* pQuantForm'80 */
extern OBJ _APForm_81(OBJ);OBJ __APForm_81; /* pQuantForm'81 */
extern OBJ _APForm_82(OBJ);OBJ __APForm_82; /* pQuantForm'82 */
extern OBJ _APForm_83(OBJ);OBJ __APForm_83; /* pQuantForm'83 */
extern OBJ _APForm_84(OBJ);OBJ __APForm_84; /* pQuantForm'84 */
extern OBJ _APForm_85(OBJ);OBJ __APForm_85; /* pQuantForm'85 */
extern OBJ _APForm_86(OBJ,OBJ);OBJ __APForm_86; /* pQuantForm'86 */
extern OBJ _APForm_87(OBJ);OBJ __APForm_87; /* pAndForm'87 */
extern OBJ _APForm_88(OBJ);OBJ __APForm_88; /* pAndForm'88 */
extern OBJ _APForm_89(OBJ);OBJ __APForm_89; /* pAndForm'89 */
extern OBJ _APForm_90(OBJ);OBJ __APForm_90; /* pAndForm'90 */
extern OBJ _APForm_91(OBJ,OBJ);OBJ __APForm_91; /* pAndForm'91 */
extern OBJ _APForm_92(OBJ);OBJ __APForm_92; /* pOrForm'92 */
extern OBJ _APForm_93(OBJ);OBJ __APForm_93; /* pOrForm'93 */
extern OBJ _APForm_94(OBJ);OBJ __APForm_94; /* pOrForm'94 */
extern OBJ _APForm_95(OBJ);OBJ __APForm_95; /* pOrForm'95 */
extern OBJ _APForm_96(OBJ,OBJ);OBJ __APForm_96; /* pOrForm'96 */
extern OBJ _APForm_97(OBJ);OBJ __APForm_97; /* pImplyForm'97 */
extern OBJ _APForm_98(OBJ);OBJ __APForm_98; /* pImplyForm'98 */
extern OBJ _APForm_99(OBJ);OBJ __APForm_99; /* pImplyForm'99 */
extern OBJ _APForm_100(OBJ);OBJ __APForm_100; /* pImplyForm'100 */
extern OBJ _APForm_101(OBJ,OBJ);OBJ __APForm_101; /* pImplyForm'101 */
extern OBJ _APForm_102(OBJ);OBJ __APForm_102; /* pEqvForm'102 */
extern OBJ _APForm_103(OBJ);OBJ __APForm_103; /* pEqvForm'103 */
extern OBJ _APForm_104(OBJ);OBJ __APForm_104; /* pEqvForm'104 */
extern OBJ _APForm_105(OBJ);OBJ __APForm_105; /* pEqvForm'105 */
extern OBJ _APForm_106(OBJ,OBJ);OBJ __APForm_106; /* pEqvForm'106 */
extern OBJ _APForm_107(OBJ);OBJ __APForm_107; /* pNotForm'107 */
extern OBJ _APForm_108(OBJ);OBJ __APForm_108; /* pNotForm'108 */
extern OBJ _APForm_109(OBJ);OBJ __APForm_109; /* pNotForm'109 */
extern OBJ _APForm_110(OBJ);OBJ __APForm_110; /* pNotForm'110 */
extern OBJ _APForm_111(OBJ,OBJ);OBJ __APForm_111; /* pNotForm'111 */
OBJ __APForm_112; /* modProofBody'112 */
OBJ __APForm_113; /* modProofBody'113 */
extern OBJ _APForm_114(OBJ,OBJ,OBJ);OBJ __APForm_114; /* modProofBody'114 */
extern OBJ _APForm_115(OBJ,OBJ);OBJ __APForm_115; /* modProofBody'115 */
extern OBJ _APForm_116(OBJ,OBJ);OBJ __APForm_116; /* modProofHead1'116 */
extern OBJ _APForm_117(OBJ,OBJ);OBJ __APForm_117; /* modProofHead2'117 */

extern OBJ _APForm_1(OBJ x1) /* pFormula */
{OBJ r;
 CPCLS(__APForm_47,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_47,1))(__APForm_47,x1);
 return r;}

extern OBJ _APForm_3(OBJ x1) /* pProofBody */
{OBJ r;
 CPCLS(__APForm_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_50,1))(__APForm_50,x1);
 return r;}

extern OBJ _APForm_5(OBJ x1) /* pSpec */
{OBJ r;
 CPCLS(__APForm_66,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_66,1))(__APForm_66,x1);
 return r;}

extern OBJ _APForm_7(OBJ x1) /* pAtomForm */
{OBJ r;
 CPCLS(__APForm_76,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_76,1))(__APForm_76,x1);
 return r;}

extern OBJ _APForm_8(OBJ x1) /* pQuantForm */
{OBJ r;
 CPCLS(__APForm_86,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_86,1))(__APForm_86,x1);
 return r;}

extern OBJ _APForm_9(OBJ x1) /* pAndForm */
{OBJ r;
 CPCLS(__APForm_91,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_91,1))(__APForm_91,x1);
 return r;}

extern OBJ _APForm_10(OBJ x1) /* pOrForm */
{OBJ r;
 CPCLS(__APForm_96,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_96,1))(__APForm_96,x1);
 return r;}

extern OBJ _APForm_11(OBJ x1) /* pImplyForm */
{OBJ r;
 CPCLS(__APForm_101,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_101,1))(__APForm_101,x1);
 return r;}

extern OBJ _APForm_12(OBJ x1) /* pEqvForm */
{OBJ r;
 CPCLS(__APForm_106,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_106,1))(__APForm_106,x1);
 return r;}

extern OBJ _APForm_14(OBJ x1) /* pNotForm */
{OBJ r;
 CPCLS(__APForm_111,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_111,1))(__APForm_111,x1);
 return r;}

extern OBJ _APForm_15(OBJ x1,OBJ x2,OBJ x3) /* pForm */
{OBJ r;
 CPCLS(__APForm_27,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_27,3))(__APForm_27,x1,x2,x3);
 return r;}

extern TUP2 _APForm_23(OBJ x1,OBJ x2,OBJ x3) /* mkSpec */
{TUP2 r;
 if(ISPRD(x1)&&(ISTGPRD(x1,11))){
  {OBJ x481=FLD(x1,1);
   COPY(x481,1);
   if(ISPRM(x481)){
    CPCLS(__APForm_36,1);
    CPCLS(__APForm_45,1);
    {OBJ x538;
     r.c2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_36,1))(__APForm_36,__ABUILTIN_20);
     x538=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_45,3))(__APForm_45,x1,x2,x3);
     r.c1=_ADEBUG_2(__ABUILTIN_5,x538,__AAbsy_2);}
   }else{
    {OBJ x482=FLD1(x481,1);OBJ x483=FLD1(x481,2);
     CPPRD(x482,1);COPY(x483,1);
     if(EXPRD(x481,1)){
      DSPRD(x481);
     }else{
      DCPRD(x481,1);}
     if(ISPRM(x2)){
      if(ISPRD(x3)&&(ISTGPRD(x3,12))){
       {OBJ x510=FLD(x3,1);FLAG x_x3=EXPRD(x3,1);
	if(x_x3){
	}else{
	 CPPRD(x510,1);}
	if(EXPRD(x1,1)){
	 FREE(FLD(x1,1),1);DSPRDF(x1);
	}else{
	 DCPRD(x1,1);}
	{OBJ x512=FLD1(x482,1);OBJ x514=FLD1(x482,3);
	 CPPRD(x512,1);COPY(x514,1);
	 {OBJ x517;OBJ x518;OBJ x519;OBJ x520;OBJ x529;OBJ x527;OBJ x530;
	  if(ISPRM(x483)){
	   CPPRD(x512,1);
	   x517=__ABUILTIN_5;
	  }else{
	   CPPRD(x512,1);
	   x517=__ABUILTIN_3;}
	  x518=_APForm_24(x512);
	  PRD1(4,x519);FLD1(x519,1)=x482;FLD1(x519,2)=__AOption_5;FLD1(x519,3)=x510;FLD1(x519,4)=x514;
	  if(x_x3){
	   RPRD(x3,x520);CHGTG(x520,22);FLD(x520,1)=x519;
	  }else{
	   FRPRD(x3,1);PRD(1,22,x520);FLD(x520,1)=x519;}
	  if(ISTGPRM(x518,1)){
	   FRPRD(x512,1);
	   CPPRD(__AOcError_15,1);
	   x529=__AOcError_15;
	  }else{
	   CPPRD(__APForm_34,1);
	   {OBJ x528;
	    x528=_AImpl_10(x512);
	    x529=_AOcError_16(__AOcError_12,__APForm_34,x528);}}
	  if(ISTGPRM(x517,1)){
	   r.c1=x520;
	   FREE(x483,1);
	   CPPRD(__AOcError_15,1);
	   x527=__AOcError_15;
	  }else{
	   {OBJ x523;
	    if(ISPRM(x483)){
	     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
	    }else{
	     {OBJ x521=FLD1(x483,1);
	      if(EXPRD(x483,1)){
	       x523=x521;
	       FREE(FLD1(x483,2),1);DSPRDF(x483);
	      }else{
	       CPPRD(x521,1);
	       x523=x521;
	       FRPRD(x483,1);}}}
	    {OBJ x526=FLD1(x523,3);
	     if(EXPRD(x523,1)){
	      r.c1=x520;
	      FLD1(x523,3)=NIL;DSPRD(x523);
	     }else{
	      COPY(x526,1);
	      r.c1=x520;
	      FRPRD(x523,1);}
	     CPPRD(__APForm_33,1);
	     x527=_AOcError_16(__AOcError_12,__APForm_33,x526);}}}
	  r.c2=_AOcError_21(x527,x529);}}}
      }else{
       FRPRD(x482,1);
       FREE(x483,1);
       CPCLS(__APForm_36,1);
       CPCLS(__APForm_43,1);
       {OBJ x532;
	r.c2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_36,1))(__APForm_36,__ABUILTIN_20);
	x532=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_43,3))(__APForm_43,x1,x2,x3);
	r.c1=_ADEBUG_2(__ABUILTIN_5,x532,__AAbsy_2);}}
     }else{
      if(ISPRD(x2)&&(ISTGPRD(x2,12))){
       {OBJ x484=FLD(x2,1);
	CPPRD(x484,1);
	if(ISPRD(x3)&&(ISTGPRD(x3,12))){
	 {OBJ x485=FLD(x3,1);FLAG x_x3=EXPRD(x3,1);
	  if(x_x3){
	  }else{
	   CPPRD(x485,1);}
	  if(EXPRD(x1,1)){
	   FREE(FLD(x1,1),1);DSPRDF(x1);
	  }else{
	   DCPRD(x1,1);}
	  if(EXPRD(x2,1)){
	   FRPRD(FLD(x2,1),1);DSPRDF(x2);
	  }else{
	   DCPRD(x2,1);}
	  {OBJ x486;
	   PRD1(1,x486);FLD1(x486,1)=x484;
	   {OBJ x488=FLD1(x482,1);OBJ x490=FLD1(x482,3);
	    CPPRD(x488,1);COPY(x490,1);
	    {OBJ x493;OBJ x494;OBJ x495;OBJ x496;OBJ x505;OBJ x503;OBJ x506;
	     if(ISPRM(x483)){
	      CPPRD(x488,1);
	      x493=__ABUILTIN_5;
	     }else{
	      CPPRD(x488,1);
	      x493=__ABUILTIN_3;}
	     PRD1(4,x494);FLD1(x494,1)=x482;FLD1(x494,2)=x486;FLD1(x494,3)=x485;FLD1(x494,4)=x490;
	     x495=_APForm_24(x488);
	     if(x_x3){
	      RPRD(x3,x496);CHGTG(x496,22);FLD(x496,1)=x494;
	     }else{
	      FRPRD(x3,1);PRD(1,22,x496);FLD(x496,1)=x494;}
	     if(ISTGPRM(x495,1)){
	      FRPRD(x488,1);
	      CPPRD(__AOcError_15,1);
	      x505=__AOcError_15;
	     }else{
	      CPPRD(__APForm_34,1);
	      {OBJ x504;
	       x504=_AImpl_10(x488);
	       x505=_AOcError_16(__AOcError_12,__APForm_34,x504);}}
	     if(ISTGPRM(x493,1)){
	      r.c1=x496;
	      FREE(x483,1);
	      CPPRD(__AOcError_15,1);
	      x503=__AOcError_15;
	     }else{
	      {OBJ x499;
	       if(ISPRM(x483)){
		HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
	       }else{
		{OBJ x497=FLD1(x483,1);
		 if(EXPRD(x483,1)){
		  x499=x497;
		  FREE(FLD1(x483,2),1);DSPRDF(x483);
		 }else{
		  CPPRD(x497,1);
		  x499=x497;
		  FRPRD(x483,1);}}}
	       {OBJ x502=FLD1(x499,3);
		if(EXPRD(x499,1)){
		 r.c1=x496;
		 FLD1(x499,3)=NIL;DSPRD(x499);
		}else{
		 COPY(x502,1);
		 r.c1=x496;
		 FRPRD(x499,1);}
		CPPRD(__APForm_33,1);
		x503=_AOcError_16(__AOcError_12,__APForm_33,x502);}}}
	     r.c2=_AOcError_21(x503,x505);}}}}
	}else{
	 FRPRD(x482,1);
	 FREE(x483,1);
	 FRPRD(x484,1);
	 CPCLS(__APForm_36,1);
	 CPCLS(__APForm_42,1);
	 {OBJ x508;
	  r.c2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_36,1))(__APForm_36,__ABUILTIN_20);
	  x508=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_42,3))(__APForm_42,x1,x2,x3);
	  r.c1=_ADEBUG_2(__ABUILTIN_5,x508,__AAbsy_2);}}}
      }else{
       FRPRD(x482,1);
       FREE(x483,1);
       CPCLS(__APForm_36,1);
       CPCLS(__APForm_44,1);
       {OBJ x535;
	r.c2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_36,1))(__APForm_36,__ABUILTIN_20);
	x535=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_44,3))(__APForm_44,x1,x2,x3);
	r.c1=_ADEBUG_2(__ABUILTIN_5,x535,__AAbsy_2);}}}}}}
 }else{
  CPCLS(__APForm_36,1);
  CPCLS(__APForm_46,1);
  {OBJ x541;
   r.c2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_36,1))(__APForm_36,__ABUILTIN_20);
   x541=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_46,3))(__APForm_46,x1,x2,x3);
   r.c1=_ADEBUG_2(__ABUILTIN_5,x541,__AAbsy_2);}}
 return r;}
extern OBJ _APForm_23_c(OBJ x1,OBJ x2,OBJ x3) /* mkSpec */
{OBJ r;
 {TUP2 t=_APForm_23(x1,x2,x3);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _APForm_24(register OBJ x1) /* checkLhs */
{OBJ r;
 for(;;){
  if(ISTGPRD(x1,7)){
   if(EXPRD(x1,1)){
    DSPRD(x1);
   }else{
    DCPRD(x1,1);}
   r=__ABUILTIN_5;
  }else{
   if(ISTGPRD(x1,10)){
    {OBJ x85=FLD(x1,1);
     if(EXPRD(x1,1)){
      FLD(x1,1)=NIL;DSPRD(x1);
     }else{
      CPPRD(x85,1);
      FRPRD(x1,1);}
     x1=x85;continue;}
   }else{
    if(ISTGPRD(x1,4)){
     {OBJ x88=FLD(x1,1);OBJ x89=FLD(x1,2);
      if(EXPRD(x1,1)){
       CPPRD(x89,1);
       FREE(FLD(x1,3),1);DSPRDF(x1);
      }else{
       CPPRD(x88,1);CPPRD(x89,2);
       FRPRD(x1,1);}
      CPCLS(__APForm_30,1);
      {OBJ x91;OBJ x92;
       x91=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_30,1))(__APForm_30,x89);
       x92=_ADEBUG_2(__ABUILTIN_3,x91,x89);
       if(ISTGPRD(x92,3)){
	{OBJ x93=FLD(x92,1);
	 if(EXPRD(x92,1)){
	  FREE(FLD(x92,2),1);DSPRDF(x92);
	 }else{
	  COPY(x93,1);
	  FRPRD(x92,1);}
	 CPCLS(__AImpl_28,1);
	 {OBJ x95;
	  x95=_ASeq_42(__AImpl_28,x93);
	  if(ISTGPRM(x95,1)){
	   x1=x88;continue;
	  }else{
	   FRPRD(x88,1);
	   r=__ABUILTIN_3;}}}
       }else{
	if(ISTGPRD(x92,7)){
	 if(EXPRD(x92,1)){
	  DSPRD(x92);
	 }else{
	  DCPRD(x92,1);}
	 x1=x88;continue;
	}else{
	 FRPRD(x88,1);
	 FRPRD(x92,1);
	 r=__ABUILTIN_3;}}}}
    }else{
     CPCLS(__APForm_32,1);
     {OBJ x98;
      x98=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_32,1))(__APForm_32,x1);
      r=_ADEBUG_2(__ABUILTIN_3,x98,__ABUILTIN_3);}}}}
  break;}
 return r;}

extern OBJ _APForm_26(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pForm'26 */
{OBJ r;
 {OBJ x6;OBJ x13;OBJ x16;OBJ x17;
  x6=_ABaseParser_26(x1,x4);
  {OBJ x9=FLD(x6,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;}}
  x17=_AToken_9(x3,x16);
  if(ISTGPRM(x17,1)){
   CPPRD(__AModForm_13,1);
   {OBJ x18;
    x18=_ABaseParser_26(x2,x13);
    r=_AModBase_9(x6,x18,__AModForm_13);}
  }else{
   r=x6;
   FRCLS(x2,1);
   FREE(x13,1);}}
 return r;}

extern OBJ _APForm_27(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* pForm'27 */
{OBJ r;
 CPCLS(__APForm_26,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_26,4))(__APForm_26,x1,x2,x3,x4);
 return r;}

extern OBJ _APForm_30(OBJ x1,OBJ x2) /* checkLhs'30 */
{OBJ r;
 {OBJ x8;OBJ x5;OBJ x10;OBJ x9;OBJ x11;OBJ x12;
  if(ISTGPRD(x1,3)){
   if(EXPRD(x1,1)){
    DSPRD(x1);
   }else{
    DCPRD(x1,1);}
   x8=__ABUILTIN_3;x5=__ABUILTIN_5;
  }else{
   if(ISTGPRD(x1,7)){
    if(EXPRD(x1,1)){
     DSPRD(x1);
    }else{
     DCPRD(x1,1);}
    x8=__ABUILTIN_5;x5=__ABUILTIN_3;
   }else{
    FRPRD(x1,1);
    x8=__ABUILTIN_3;x5=__ABUILTIN_3;}}
  if(ISTGPRM(x8,1)){
   CPPRD(__ABoolConv_2,1);
   x10=__ABoolConv_2;
  }else{
   CPPRD(__ABoolConv_3,1);
   x10=__ABoolConv_3;}
  if(ISTGPRM(x5,1)){
   CPPRD(__APForm_28,1);
   CPPRD(__APForm_29,1);
   CPPRD(__ABoolConv_2,1);
   x9=__ABoolConv_2;
  }else{
   CPPRD(__APForm_28,1);
   CPPRD(__APForm_29,1);
   CPPRD(__ABoolConv_3,1);
   x9=__ABoolConv_3;}
  ADenotation_4(__APForm_28,x10,x11);
  ADenotation_4(x9,x11,x12);
  ADenotation_4(__APForm_29,x12,r);}
 return r;}

extern OBJ _APForm_32(OBJ x1,OBJ x2) /* checkLhs'32 */
{OBJ r;
 CPPRD(__APForm_31,1);
 CPPRD(__AImpl_373,1);
 CPCLS(__APartName_28,1);
 {OBJ x3;
  x3=_AImpl_367(__APartName_28,x1,__AImpl_373);
  ADenotation_4(__APForm_31,x3,r);}
 return r;}

extern OBJ _APForm_36(OBJ x1) /* mkSpec'36 */
{OBJ r;
 CPPRD(__APForm_35,1);
 COPY(__AOcPos_35,1);
 r=_AOcError_16(__AOcError_12,__APForm_35,__AOcPos_35);
 return r;}

extern OBJ _APForm_42(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* mkSpec'42 */
{OBJ r;
 CPPRD(__APForm_37,1);
 CPPRD(__APForm_38,1);
 CPPRD(__APForm_39,2);
 CPPRD(__APForm_40,1);
 CPPRD(__APForm_41,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x5=_AAbsy_79(x1);
  x6=_AAbsy_79(x2);
  x7=_AAbsy_79(x3);
  ADenotation_4(x7,__APForm_37,x8);
  ADenotation_4(__APForm_38,x8,x9);
  ADenotation_4(__APForm_39,x9,x10);
  ADenotation_4(x6,x10,x11);
  ADenotation_4(__APForm_40,x11,x12);
  ADenotation_4(__APForm_39,x12,x13);
  ADenotation_4(x5,x13,x14);
  ADenotation_4(__APForm_41,x14,r);}
 return r;}

extern OBJ _APForm_43(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* mkSpec'43 */
{OBJ r;
 CPPRD(__APForm_37,1);
 CPPRD(__APForm_38,1);
 CPPRD(__APForm_39,2);
 CPPRD(__APForm_40,1);
 CPPRD(__APForm_41,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x5=_AAbsy_79(x1);
  x6=_AAbsy_79(x2);
  x7=_AAbsy_79(x3);
  ADenotation_4(x7,__APForm_37,x8);
  ADenotation_4(__APForm_38,x8,x9);
  ADenotation_4(__APForm_39,x9,x10);
  ADenotation_4(x6,x10,x11);
  ADenotation_4(__APForm_40,x11,x12);
  ADenotation_4(__APForm_39,x12,x13);
  ADenotation_4(x5,x13,x14);
  ADenotation_4(__APForm_41,x14,r);}
 return r;}

extern OBJ _APForm_44(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* mkSpec'44 */
{OBJ r;
 CPPRD(__APForm_37,1);
 CPPRD(__APForm_38,1);
 CPPRD(__APForm_39,2);
 CPPRD(__APForm_40,1);
 CPPRD(__APForm_41,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x5=_AAbsy_79(x1);
  x6=_AAbsy_79(x2);
  x7=_AAbsy_79(x3);
  ADenotation_4(x7,__APForm_37,x8);
  ADenotation_4(__APForm_38,x8,x9);
  ADenotation_4(__APForm_39,x9,x10);
  ADenotation_4(x6,x10,x11);
  ADenotation_4(__APForm_40,x11,x12);
  ADenotation_4(__APForm_39,x12,x13);
  ADenotation_4(x5,x13,x14);
  ADenotation_4(__APForm_41,x14,r);}
 return r;}

extern OBJ _APForm_45(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* mkSpec'45 */
{OBJ r;
 CPPRD(__APForm_37,1);
 CPPRD(__APForm_38,1);
 CPPRD(__APForm_39,2);
 CPPRD(__APForm_40,1);
 CPPRD(__APForm_41,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x5=_AAbsy_79(x1);
  x6=_AAbsy_79(x2);
  x7=_AAbsy_79(x3);
  ADenotation_4(x7,__APForm_37,x8);
  ADenotation_4(__APForm_38,x8,x9);
  ADenotation_4(__APForm_39,x9,x10);
  ADenotation_4(x6,x10,x11);
  ADenotation_4(__APForm_40,x11,x12);
  ADenotation_4(__APForm_39,x12,x13);
  ADenotation_4(x5,x13,x14);
  ADenotation_4(__APForm_41,x14,r);}
 return r;}

extern OBJ _APForm_46(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* mkSpec'46 */
{OBJ r;
 CPPRD(__APForm_37,1);
 CPPRD(__APForm_38,1);
 CPPRD(__APForm_39,2);
 CPPRD(__APForm_40,1);
 CPPRD(__APForm_41,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x5=_AAbsy_79(x1);
  x6=_AAbsy_79(x2);
  x7=_AAbsy_79(x3);
  ADenotation_4(x7,__APForm_37,x8);
  ADenotation_4(__APForm_38,x8,x9);
  ADenotation_4(__APForm_39,x9,x10);
  ADenotation_4(x6,x10,x11);
  ADenotation_4(__APForm_40,x11,x12);
  ADenotation_4(__APForm_39,x12,x13);
  ADenotation_4(x5,x13,x14);
  ADenotation_4(__APForm_41,x14,r);}
 return r;}

extern OBJ _APForm_47(OBJ x1,OBJ x2) /* pFormula'47 */
{OBJ r;
 CPCLS(__APForm_12,1);
 r=_ABaseParser_26(__APForm_12,x1);
 return r;}

extern OBJ _APForm_48(OBJ x1) /* pProofBody'48 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_100);
 return r;}

extern OBJ _APForm_49(OBJ x1) /* pProofBody'49 */
{OBJ r;
 CPPRD(__APForm_25,1);
 r=_APExpr_1(__APForm_25);
 return r;}

extern OBJ _APForm_50(OBJ x1,OBJ x2) /* pProofBody'50 */
{OBJ r;
 CPCLS(__APName_2,1);
 {OBJ x3;
  x3=_ABaseParser_26(__APName_2,x1);
  if(ISTGPRD(x3,1)){
   r=x3;
  }else{
   {OBJ x133=FLD(x3,1);OBJ x134=FLD(x3,2);OBJ x135=FLD(x3,3);
    if(EXPRD(x3,1)){
     DSPRDF(x3);
    }else{
     CPPRD(x133,1);COPY(x134,1);COPY(x135,1);
     FRPRD(x3,1);}
    CPCLS(__APForm_48,1);
    {OBJ x136;OBJ x137;
     x136=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_48,1))(__APForm_48,__ABUILTIN_20);
     x137=_ABaseParser_26(x136,x135);
     if(ISTGPRD(x137,1)){
      r=x137;
      FRPRD(x133,1);
      FREE(x134,1);
     }else{
      {OBJ x141=FLD(x137,1);OBJ x143=FLD(x137,3);
       if(EXPRD(x137,1)){
	FREE(FLD(x137,2),1);DSPRDF(x137);
       }else{
	CPPRD(x141,1);COPY(x143,1);
	FRPRD(x137,1);}
       CPCLS(__APForm_49,1);
       {OBJ x144;OBJ x145;
	x144=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_49,1))(__APForm_49,__ABUILTIN_20);
	x145=_ABaseParser_26(x144,x143);
	if(ISTGPRD(x145,0)){
	 {OBJ x146=FLD(x145,1);OBJ x147=FLD(x145,2);OBJ x148;
	  if(EXPRD(x145,1)){
	   CPPRD(__APForm_20,1);
	   CPCLS(__AModBase_7,1);
	   {OBJ x149;OBJ x150;
	    x149=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_7,3))(__AModBase_7,__APForm_20,x134,x147);
	    x150=_AOcError_21(x141,x146);
	    RPRD(x145,r);FLD(r,2)=x149;
	    FLD(r,1)=_AOcError_21(x133,x150);}
	  }else{
	   x148=FLD(x145,3);CPPRD(x146,1);COPY(x147,1);COPY(x148,1);
	   CPPRD(__APForm_20,1);
	   CPCLS(__AModBase_7,1);
	   {OBJ x149;OBJ x150;
	    x149=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_7,3))(__AModBase_7,__APForm_20,x134,x147);
	    x150=_AOcError_21(x141,x146);
	    FRPRD(x145,1);PRD(3,0,r);FLD(r,2)=x149;FLD(r,3)=x148;
	    FLD(r,1)=_AOcError_21(x133,x150);}}}
	}else{
	 {OBJ x152=FLD(x145,1);OBJ x153=FLD(x145,2);OBJ x154;
	  if(EXPRD(x145,1)){
	   CPPRD(__APForm_20,1);
	   CPCLS(__AModBase_7,1);
	   {OBJ x155;OBJ x156;
	    x155=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_7,3))(__AModBase_7,__APForm_20,x134,x153);
	    x156=_AOcError_21(x141,x152);
	    RPRD(x145,r);FLD(r,2)=x155;
	    FLD(r,1)=_AOcError_21(x133,x156);}
	  }else{
	   x154=FLD(x145,3);CPPRD(x152,1);COPY(x153,1);COPY(x154,1);
	   CPPRD(__APForm_20,1);
	   CPCLS(__AModBase_7,1);
	   {OBJ x155;OBJ x156;
	    x155=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AModBase_7,3))(__AModBase_7,__APForm_20,x134,x153);
	    x156=_AOcError_21(x141,x152);
	    FRPRD(x145,1);PRD(3,1,r);FLD(r,2)=x155;FLD(r,3)=x154;
	    FLD(r,1)=_AOcError_21(x133,x156);}}}}}}}}}}}
 return r;}

extern OBJ _APForm_51(OBJ x1,OBJ x2) /* pProofHead'51 */
{OBJ r;
 CPCLS(__APName_2,1);
 CPPRD(__AModName_4,1);
 {OBJ x3;
  x3=_ABaseParser_26(__APName_2,x1);
  r=_AModBase_8(x3,__AModName_4);}
 return r;}

extern OBJ _APForm_52(OBJ x1) /* pProofHead'52 */
{OBJ r;
 CPCLS(__APForm_51,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_51,1))(__APForm_51,x1);
 return r;}

extern OBJ _APForm_53(OBJ x1) /* pSpec'53 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_32);
 return r;}

extern OBJ _APForm_54(OBJ x1) /* pSpec'54 */
{OBJ r;
 CPPRD(__APForm_25,1);
 CPCLS(__APExpr_92,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__APExpr_92,1))(__APExpr_92,__APForm_25);
 return r;}

extern OBJ _APForm_56(OBJ x1) /* pSpec'56 */
{OBJ r;
 CPPRD(__APForm_55,1);
 r=_ADEBUG_10(__APForm_55);
 return r;}

extern OBJ _APForm_57(OBJ x1) /* pSpec'57 */
{OBJ r;
 CPCLS(__APForm_53,1);
 CPCLS(__APForm_54,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_53,1))(__APForm_53,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_54,1))(__APForm_54,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_13);}
 return r;}

extern OBJ _APForm_58(OBJ x1,OBJ x2) /* pSpec'58 */
{OBJ r;
 r=_APTypes_14(x1);
 return r;}

extern OBJ _APForm_59(OBJ x1) /* pSpec'59 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_30);
 return r;}

extern OBJ _APForm_60(OBJ x1) /* pSpec'60 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_28);
 return r;}

extern OBJ _APForm_61(OBJ x1) /* pSpec'61 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_59,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_59,1))(__APForm_59,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_1,__AModBase_13);}
 return r;}

extern OBJ _APForm_62(OBJ x1) /* pSpec'62 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_60,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_13,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_60,1))(__APForm_60,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_1,__AModBase_13);}
 return r;}

extern OBJ _APForm_63(OBJ x1) /* pSpec'63 */
{OBJ r;
 CPCLS(__APForm_61,1);
 CPCLS(__ABaseParser_19,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_61,1))(__APForm_61,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,__ABaseParser_19);}
 return r;}

extern OBJ _APForm_64(OBJ x1,OBJ x2) /* pSpec'64 */
{OBJ r;
 r=_APTypes_14(x1);
 return r;}

extern OBJ _APForm_65(OBJ x1,OBJ x2) /* pSpec'65 */
{OBJ r;
 r=_APTypes_14(x1);
 return r;}

extern OBJ _APForm_66(OBJ x1,OBJ x2) /* pSpec'66 */
{OBJ r;
 CPCLS(__APForm_56,1);
 CPCLS(__APForm_57,1);
 CPCLS(__APForm_58,1);
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_56,1))(__APForm_56,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_57,1))(__APForm_57,__ABUILTIN_20);
  x7=_ABaseParser_26(x6,x1);
  CPPRD(x7,1);
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_58,1))(__APForm_58,x7);
  x9=_ADEBUG_2(x5,x8,x7);
  if(ISTGPRD(x9,1)){
   r=x9;
  }else{
   {OBJ x134=FLD(x9,1);OBJ x135=FLD(x9,2);OBJ x136=FLD(x9,3);
    if(EXPRD(x9,1)){
     DSPRDF(x9);
    }else{
     CPPRD(x134,1);COPY(x135,1);COPY(x136,1);
     FRPRD(x9,1);}
    CPCLS(__APForm_62,1);
    CPCLS(__APForm_63,1);
    CPCLS(__APForm_64,1);
    {OBJ x139;OBJ x141;OBJ x142;OBJ x143;OBJ x144;
     x139=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_62,1))(__APForm_62,__ABUILTIN_20);
     x141=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_63,1))(__APForm_63,__ABUILTIN_20);
     x142=_ABaseParser_26(x141,x136);
     CPPRD(x142,1);
     x143=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_64,1))(__APForm_64,x142);
     x144=_ADEBUG_2(x5,x143,x142);
     {OBJ x196=FLD(x144,1);OBJ x197=FLD(x144,2);OBJ x198=FLD(x144,3);
      if(EXPRD(x144,1)){
       FLD(x144,1)=NIL;FLD(x144,2)=NIL;FLD(x144,3)=NIL;DSPRD(x144);
      }else{
       CPPRD(x196,1);COPY(x197,1);COPY(x198,1);
       FRPRD(x144,1);}
      CPCLS(__APForm_65,1);
      {OBJ x200;OBJ x201;OBJ x202;
       x200=_ABaseParser_26(x139,x198);
       CPPRD(x200,1);
       x201=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_65,1))(__APForm_65,x200);
       x202=_ADEBUG_2(x5,x201,x200);
       if(ISTGPRD(x202,0)){
	{OBJ x203=FLD(x202,1);OBJ x204=FLD(x202,2);OBJ x205;
	 if(EXPRD(x202,1)){
	  {TUP2 x208;OBJ x210;OBJ x211;
	   x208=_APForm_23(x135,x197,x204);
	   x210=_AOcError_21(x203,x208.c2);
	   x211=_AOcError_21(x196,x210);
	   RPRD(x202,r);FLD(r,2)=x208.c1;
	   FLD(r,1)=_AOcError_21(x134,x211);}
	 }else{
	  x205=FLD(x202,3);CPPRD(x203,1);COPY(x204,1);COPY(x205,1);
	  {TUP2 x208;OBJ x210;OBJ x211;
	   x208=_APForm_23(x135,x197,x204);
	   x210=_AOcError_21(x203,x208.c2);
	   x211=_AOcError_21(x196,x210);
	   FRPRD(x202,1);PRD(3,0,r);FLD(r,2)=x208.c1;FLD(r,3)=x205;
	   FLD(r,1)=_AOcError_21(x134,x211);}}}
       }else{
	{OBJ x213=FLD(x202,1);OBJ x214=FLD(x202,2);OBJ x215;
	 if(EXPRD(x202,1)){
	  {TUP2 x218;OBJ x220;OBJ x221;
	   x218=_APForm_23(x135,x197,x214);
	   x220=_AOcError_21(x213,x218.c2);
	   x221=_AOcError_21(x196,x220);
	   RPRD(x202,r);FLD(r,2)=x218.c1;
	   FLD(r,1)=_AOcError_21(x134,x221);}
	 }else{
	  x215=FLD(x202,3);CPPRD(x213,1);COPY(x214,1);COPY(x215,1);
	  {TUP2 x218;OBJ x220;OBJ x221;
	   x218=_APForm_23(x135,x197,x214);
	   x220=_AOcError_21(x213,x218.c2);
	   x221=_AOcError_21(x196,x220);
	   FRPRD(x202,1);PRD(3,1,r);FLD(r,2)=x218.c1;FLD(r,3)=x215;
	   FLD(r,1)=_AOcError_21(x134,x221);}}}}}}}}}}
 return r;}

extern OBJ _APForm_67(OBJ x1) /* pAtomForm'67 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_46);
 return r;}

extern OBJ _APForm_68(OBJ x1) /* pAtomForm'68 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_40);
 return r;}

extern OBJ _APForm_69(OBJ x1) /* pAtomForm'69 */
{OBJ r;
 CPCLS(__APForm_16,1);
 CPCLS(__APForm_67,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_5,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_67,1))(__APForm_67,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_16,__AModForm_5);}
 return r;}

extern OBJ _APForm_70(OBJ x1) /* pAtomForm'70 */
{OBJ r;
 CPCLS(__APForm_16,1);
 CPCLS(__APForm_68,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_6,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_68,1))(__APForm_68,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_16,__AModForm_6);}
 return r;}

extern OBJ _APForm_71(OBJ x1) /* pAtomForm'71 */
{OBJ r;
 CPCLS(__APForm_69,1);
 CPCLS(__APForm_70,1);
 CPCLS(__ABaseParser_38,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_69,1))(__APForm_69,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_70,1))(__APForm_70,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x2,x3);}
 return r;}

extern OBJ _APForm_72(OBJ x1) /* pAtomForm'72 */
{OBJ r;
 CPCLS(__APForm_16,1);
 CPCLS(__APForm_71,1);
 CPCLS(__ABaseParser_40,1);
 CPPRD(__AModForm_4,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_71,1))(__APForm_71,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_40,3))(__ABaseParser_40,__APForm_16,x2,__AModForm_4);}
 return r;}

extern OBJ _APForm_73(OBJ x1) /* pAtomForm'73 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_62);
 return r;}

extern OBJ _APForm_74(OBJ x1) /* pAtomForm'74 */
{OBJ r;
 CPCLS(__APForm_16,1);
 CPCLS(__APForm_73,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_7,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_73,1))(__APForm_73,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_16,__AModForm_7);}
 return r;}

extern OBJ _APForm_75(OBJ x1) /* pAtomForm'75 */
{OBJ r;
 CPCLS(__ABaseParser_68,1);
 CPCLS(__APErr_15,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_68,1))(__ABaseParser_68,__APErr_15);
 return r;}

extern OBJ _APForm_76(OBJ x1,OBJ x2) /* pAtomForm'76 */
{OBJ r;
 CPCLS(__APForm_72,1);
 COPY(x1,1);
 {OBJ x8;OBJ x9;
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_72,1))(__APForm_72,__ABUILTIN_20);
  x9=_ABaseParser_26(x8,x1);
  if(ISTGPRD(x9,1)){
   if(EXPRD(x9,1)){
    DSPRD(x9);
   }else{
    DCPRD(x9,1);}
   {OBJ x41;OBJ x42;OBJ x45;
    if(ISPRM(x1)){
     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
    }else{
     {OBJ x39=FLD1(x1,1);
      CPPRD(x39,1);
      x41=x39;}}
    CPPRD(x41,1);
    x42=_AToken_9(__ATerminal_84,x41);
    if(ISTGPRM(x42,1)){
     FRPRD(x41,1);
     CPCLS(__APForm_13,1);
     x45=__APForm_13;
    }else{
     {OBJ x43;
      x43=_AToken_9(__ATerminal_62,x41);
      if(ISTGPRM(x43,1)){
       CPCLS(__APForm_74,1);
       x45=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_74,1))(__APForm_74,__ABUILTIN_20);
      }else{
       CPCLS(__APForm_75,1);
       x45=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_75,1))(__APForm_75,__ABUILTIN_20);}}}
    r=_ABaseParser_26(x45,x1);}
  }else{
   {OBJ x46=FLD(x9,1);
    CPPRD(x46,1);
    {OBJ x49;
     x49=_AOcError_22(x46);
     if(ISTGPRM(x49,1)){
      r=x9;
      FREE(x1,1);
     }else{
      {OBJ x52;OBJ x53;
       if(ISPRM(x1)){
	HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
       }else{
	{OBJ x50=FLD1(x1,1);
	 CPPRD(x50,1);
	 x52=x50;}}
       x53=_AToken_9(__ATerminal_84,x52);
       if(ISTGPRM(x53,1)){
	if(EXPRD(x9,1)){
	 DSPRD(x9);
	}else{
	 DCPRD(x9,1);}
	CPCLS(__APForm_13,1);
	r=_ABaseParser_26(__APForm_13,x1);
       }else{
	r=x9;
	FREE(x1,1);}}}}}}}
 return r;}

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

extern OBJ _APForm_78(OBJ x1) /* pQuantForm'78 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_90);
 return r;}

extern OBJ _APForm_79(OBJ x1) /* pQuantForm'79 */
{OBJ r;
 CPCLS(__APForm_77,1);
 CPCLS(__APForm_78,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModBase_12,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_77,1))(__APForm_77,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_78,1))(__APForm_78,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModBase_12);}
 return r;}

extern OBJ _APForm_80(OBJ x1) /* pQuantForm'80 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_79,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_3,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_79,1))(__APForm_79,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,__APForm_1,__AModForm_3);}
 return r;}

extern OBJ _APForm_81(OBJ x1) /* pQuantForm'81 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_66);
 return r;}

extern OBJ _APForm_82(OBJ x1) /* pQuantForm'82 */
{OBJ r;
 CPCLS(__APForm_80,1);
 CPCLS(__APForm_81,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_2,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_81,1))(__APForm_81,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_80,1))(__APForm_80,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_2);}
 return r;}

extern OBJ _APForm_83(OBJ x1) /* pQuantForm'83 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_60);
 return r;}

extern OBJ _APForm_84(OBJ x1) /* pQuantForm'84 */
{OBJ r;
 CPCLS(__APForm_80,1);
 CPCLS(__APForm_83,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_1,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_83,1))(__APForm_83,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_80,1))(__APForm_80,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_1);}
 return r;}

extern OBJ _APForm_85(OBJ x1) /* pQuantForm'85 */
{OBJ r;
 CPCLS(__ABaseParser_68,1);
 CPCLS(__APErr_15,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_68,1))(__ABaseParser_68,__APErr_15);
 return r;}

extern OBJ _APForm_86(OBJ x1,OBJ x2) /* pQuantForm'86 */
{OBJ r;
 {OBJ x7;OBJ x9;
  if(ISPRM(x1)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x5=FLD1(x1,1);
    CPPRD(x5,1);
    x7=x5;}}
  CPPRD(x7,1);
  x9=_AToken_9(__ATerminal_66,x7);
  if(ISTGPRM(x9,1)){
   FRPRD(x7,1);
   CPCLS(__APForm_82,1);
   {OBJ x12;
    x12=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_82,1))(__APForm_82,__ABUILTIN_20);
    r=_ABaseParser_26(x12,x1);}
  }else{
   {OBJ x13;
    x13=_AToken_9(__ATerminal_60,x7);
    if(ISTGPRM(x13,1)){
     CPCLS(__APForm_84,1);
     {OBJ x15;
      x15=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_84,1))(__APForm_84,__ABUILTIN_20);
      r=_ABaseParser_26(x15,x1);}
    }else{
     CPCLS(__APForm_85,1);
     {OBJ x16;
      x16=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_85,1))(__APForm_85,__ABUILTIN_20);
      r=_ABaseParser_26(x16,x1);}}}}}
 return r;}

extern OBJ _APForm_87(OBJ x1) /* pAndForm'87 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_64);
 return r;}

extern OBJ _APForm_88(OBJ x1) /* pAndForm'88 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_9,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_9,__APForm_1);
 return r;}

extern OBJ _APForm_89(OBJ x1) /* pAndForm'89 */
{OBJ r;
 CPCLS(__APForm_87,1);
 CPCLS(__APForm_88,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_9,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_87,1))(__APForm_87,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_88,1))(__APForm_88,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_9);}
 return r;}

extern OBJ _APForm_90(OBJ x1) /* pAndForm'90 */
{OBJ r;
 CPCLS(__APForm_14,1);
 CPCLS(__APForm_27,1);
 CPCLS(__APForm_89,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_89,1))(__APForm_89,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_27,3))(__APForm_27,__APForm_14,x2,__ATerminal_64);}
 return r;}

extern OBJ _APForm_91(OBJ x1,OBJ x2) /* pAndForm'91 */
{OBJ r;
 CPCLS(__APForm_90,1);
 {OBJ x6;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_90,1))(__APForm_90,__ABUILTIN_20);
  r=_ABaseParser_26(x6,x1);}
 return r;}

extern OBJ _APForm_92(OBJ x1) /* pOrForm'92 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_50);
 return r;}

extern OBJ _APForm_93(OBJ x1) /* pOrForm'93 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_10,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_10,__APForm_1);
 return r;}

extern OBJ _APForm_94(OBJ x1) /* pOrForm'94 */
{OBJ r;
 CPCLS(__APForm_92,1);
 CPCLS(__APForm_93,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_10,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_92,1))(__APForm_92,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_93,1))(__APForm_93,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_10);}
 return r;}

extern OBJ _APForm_95(OBJ x1) /* pOrForm'95 */
{OBJ r;
 CPCLS(__APForm_9,1);
 CPCLS(__APForm_27,1);
 CPCLS(__APForm_94,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_94,1))(__APForm_94,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_27,3))(__APForm_27,__APForm_9,x2,__ATerminal_50);}
 return r;}

extern OBJ _APForm_96(OBJ x1,OBJ x2) /* pOrForm'96 */
{OBJ r;
 CPCLS(__APForm_95,1);
 {OBJ x6;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_95,1))(__APForm_95,__ABUILTIN_20);
  r=_ABaseParser_26(x6,x1);}
 return r;}

extern OBJ _APForm_97(OBJ x1) /* pImplyForm'97 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_44);
 return r;}

extern OBJ _APForm_98(OBJ x1) /* pImplyForm'98 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_11,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_11,__APForm_1);
 return r;}

extern OBJ _APForm_99(OBJ x1) /* pImplyForm'99 */
{OBJ r;
 CPCLS(__APForm_97,1);
 CPCLS(__APForm_98,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_11,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_97,1))(__APForm_97,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_98,1))(__APForm_98,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_11);}
 return r;}

extern OBJ _APForm_100(OBJ x1) /* pImplyForm'100 */
{OBJ r;
 CPCLS(__APForm_10,1);
 CPCLS(__APForm_27,1);
 CPCLS(__APForm_99,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_99,1))(__APForm_99,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_27,3))(__APForm_27,__APForm_10,x2,__ATerminal_44);}
 return r;}

extern OBJ _APForm_101(OBJ x1,OBJ x2) /* pImplyForm'101 */
{OBJ r;
 CPCLS(__APForm_100,1);
 {OBJ x6;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_100,1))(__APForm_100,__ABUILTIN_20);
  r=_ABaseParser_26(x6,x1);}
 return r;}

extern OBJ _APForm_102(OBJ x1) /* pEqvForm'102 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_42);
 return r;}

extern OBJ _APForm_103(OBJ x1) /* pEqvForm'103 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_12,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_12,__APForm_1);
 return r;}

extern OBJ _APForm_104(OBJ x1) /* pEqvForm'104 */
{OBJ r;
 CPCLS(__APForm_102,1);
 CPCLS(__APForm_103,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_12,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_102,1))(__APForm_102,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_103,1))(__APForm_103,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_12);}
 return r;}

extern OBJ _APForm_105(OBJ x1) /* pEqvForm'105 */
{OBJ r;
 CPCLS(__APForm_11,1);
 CPCLS(__APForm_27,1);
 CPCLS(__APForm_104,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_104,1))(__APForm_104,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__APForm_27,3))(__APForm_27,__APForm_11,x2,__ATerminal_42);}
 return r;}

extern OBJ _APForm_106(OBJ x1,OBJ x2) /* pEqvForm'106 */
{OBJ r;
 CPCLS(__APForm_105,1);
 {OBJ x6;
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_105,1))(__APForm_105,__ABUILTIN_20);
  r=_ABaseParser_26(x6,x1);}
 return r;}

extern OBJ _APForm_107(OBJ x1) /* pNotForm'107 */
{OBJ r;
 CPCLS(__ABaseParser_50,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_54);
 return r;}

extern OBJ _APForm_108(OBJ x1) /* pNotForm'108 */
{OBJ r;
 CPCLS(__APForm_1,1);
 CPCLS(__APForm_14,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_14,__APForm_1);
 return r;}

extern OBJ _APForm_109(OBJ x1) /* pNotForm'109 */
{OBJ r;
 CPCLS(__APForm_107,1);
 CPCLS(__APForm_108,1);
 CPCLS(__ABaseParser_36,1);
 CPPRD(__AModForm_8,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_107,1))(__APForm_107,__ABUILTIN_20);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_108,1))(__APForm_108,__ABUILTIN_20);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x2,x3,__AModForm_8);}
 return r;}

extern OBJ _APForm_110(OBJ x1) /* pNotForm'110 */
{OBJ r;
 CPCLS(__APForm_7,1);
 CPCLS(__APForm_8,1);
 CPCLS(__ABaseParser_38,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_8,__APForm_7);
 return r;}

extern OBJ _APForm_111(OBJ x1,OBJ x2) /* pNotForm'111 */
{OBJ r;
 {OBJ x5;OBJ x6;OBJ x9;
  if(ISPRM(x1)){
   HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
  }else{
   {OBJ x3=FLD1(x1,1);
    CPPRD(x3,1);
    x5=x3;}}
  x6=_AToken_9(__ATerminal_54,x5);
  if(ISTGPRM(x6,1)){
   CPCLS(__APForm_109,1);
   x9=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_109,1))(__APForm_109,__ABUILTIN_20);
  }else{
   CPCLS(__APForm_110,1);
   x9=(*(OBJ(*)(OBJ,OBJ))METHOD(__APForm_110,1))(__APForm_110,__ABUILTIN_20);}
  r=_ABaseParser_26(x9,x1);}
 return r;}

extern OBJ _APForm_114(OBJ x1,OBJ x2,OBJ x3) /* modProofBody'114 */
{OBJ r;
 CPPRD(__APForm_112,1);
 CPPRD(__APForm_113,1);
 {OBJ x4;OBJ x5;OBJ x6;OBJ x7;
  x4=_AAbsy_79(x1);
  x5=_AAbsy_79(x2);
  ADenotation_4(__APForm_112,x5,x6);
  ADenotation_4(x4,x6,x7);
  ADenotation_4(__APForm_113,x7,r);}
 return r;}

extern OBJ _APForm_115(OBJ x1,OBJ x2) /* modProofBody'115 */
{OBJ r;
 {OBJ x4;OBJ x6;
  if(ISPRD(x1)&&(ISTGPRD(x1,1))){
   x4=__ABUILTIN_5;
  }else{
   x4=__ABUILTIN_3;}
  if(ISTGPRM(x4,1)){
   if(ISPRD(x2)&&(ISTGPRD(x2,14))){
    x6=__ABUILTIN_5;
   }else{
    x6=__ABUILTIN_3;}
  }else{
   x6=__ABUILTIN_3;}
  if(ISTGPRM(x6,1)){
   if(ISPRD(x2)&&(ISTGPRD(x2,14))){
    {OBJ x22=FLD(x2,1);
     if(EXPRD(x2,1)){
      {OBJ x26;OBJ x34;OBJ x35;
       if(ISPRD(x1)&&(ISTGPRD(x1,21)||ISTGPRD(x1,1))){
	{OBJ x23=FLD(x1,1);
	 if(EXPRD(x1,1)){
	  x26=x23;
	  FLD(x1,1)=NIL;DSPRD(x1);
	 }else{
	  COPY(x23,1);
	  x26=x23;
	  FRPRD(x1,1);}}
       }else{
	HLT("Absy at <unknown> : undefined selection pName\'Absy:absy->partName");}
       if(ISPRM(x26)){
	HLT("PartName at <unknown> : undefined selection pos\'PartName:partName->pos");
       }else{
	{OBJ x33=FLD1(x26,7);
	 COPY(x33,1);
	 x34=x33;}}
       PRD1(3,x35);FLD1(x35,1)=x26;FLD1(x35,2)=x22;FLD1(x35,3)=x34;
       RPRD(x2,r);CHGTG(r,20);FLD(r,1)=x35;}
     }else{
      CPPRD(x22,1);
      {OBJ x26;OBJ x34;OBJ x35;
       if(ISPRD(x1)&&(ISTGPRD(x1,21)||ISTGPRD(x1,1))){
	{OBJ x23=FLD(x1,1);
	 if(EXPRD(x1,1)){
	  x26=x23;
	  FLD(x1,1)=NIL;DSPRD(x1);
	 }else{
	  COPY(x23,1);
	  x26=x23;
	  FRPRD(x1,1);}}
       }else{
	HLT("Absy at <unknown> : undefined selection pName\'Absy:absy->partName");}
       if(ISPRM(x26)){
	HLT("PartName at <unknown> : undefined selection pos\'PartName:partName->pos");
       }else{
	{OBJ x33=FLD1(x26,7);
	 COPY(x33,1);
	 x34=x33;}}
       PRD1(3,x35);FLD1(x35,1)=x26;FLD1(x35,2)=x22;FLD1(x35,3)=x34;
       FRPRD(x2,1);PRD(1,20,r);FLD(r,1)=x35;}}}
   }else{
    HLT("Absy at <unknown> : undefined selection e\'Absy:absy->expr");}
  }else{
   CPCLS(__APForm_114,1);
   {OBJ x36;
    x36=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__APForm_114,2))(__APForm_114,x1,x2);
    r=_ADEBUG_2(__ABUILTIN_5,x36,__AAbsy_2);}}}
 return r;}

extern OBJ _APForm_116(OBJ x1,OBJ x2) /* modProofHead1'116 */
{OBJ r;
 {OBJ x4;OBJ x6;
  if(ISPRD(x1)&&(ISTGPRD(x1,1))){
   x4=__ABUILTIN_5;
  }else{
   x4=__ABUILTIN_3;}
  if(ISTGPRM(x4,1)){
   if(ISPRD(x2)&&(ISTGPRD(x2,2))){
    x6=__ABUILTIN_5;
   }else{
    x6=__ABUILTIN_3;}
  }else{
   x6=__ABUILTIN_3;}
  if(ISTGPRM(x6,1)){
   if(ISPRD(x2)&&(ISTGPRD(x2,2))){
    {OBJ x45=FLD(x2,1);FLAG x_x2=EXPRD(x2,1);
     if(x_x2){
     }else{
      COPY(x45,1);}
     {OBJ x49;
      if(ISPRD(x1)&&(ISTGPRD(x1,21)||ISTGPRD(x1,1))){
       {OBJ x46=FLD(x1,1);
	if(EXPRD(x1,1)){
	 x49=x46;
	 FLD(x1,1)=NIL;DSPRD(x1);
	}else{
	 COPY(x46,1);
	 x49=x46;
	 FRPRD(x1,1);}}
      }else{
       HLT("Absy at <unknown> : undefined selection pName\'Absy:absy->partName");}
      if(ISPRM(x49)){
       HLT("PartName at <unknown> : undefined selection pos\'PartName:partName->pos");
      }else{
       {OBJ x61=FLD1(x49,1);OBJ x67=FLD1(x49,7);
	if(EXPRD(x49,1)){
	 FLD1(x49,1)=NIL;FLD1(x49,7)=NIL;DSPRD(x49);
	}else{
	 CPPRD(x61,1);COPY(x67,1);
	 FRPRD(x49,1);}
	{OBJ x69;
	 PRD1(4,x69);FLD1(x69,1)=x61;FLD1(x69,2)=x45;FLD1(x69,3)=__APartName_23;FLD1(x69,4)=x67;
	 if(x_x2){
	  RPRD(x2,r);CHGTG(r,19);FLD(r,1)=x69;
	 }else{
	  FRPRD(x2,1);PRD(1,19,r);FLD(r,1)=x69;}}}}}}
   }else{
    HLT("Absy at <unknown> : undefined selection nSeq\'Absy:absy->seq");}
  }else{
   {OBJ x70;
    if(ISTGPRM(x4,1)){
     if(ISPRM(x2)){
      x70=__ABUILTIN_5;
     }else{
      FREE(x2,1);
      x70=__ABUILTIN_3;}
    }else{
     FREE(x2,1);
     x70=__ABUILTIN_3;}
    if(ISTGPRM(x70,1)){
     {OBJ x74;OBJ x90;OBJ x82;OBJ x91;
      if(ISPRD(x1)&&(ISTGPRD(x1,21)||ISTGPRD(x1,1))){
       {OBJ x71=FLD(x1,1);
	if(EXPRD(x1,1)){
	 x74=x71;
	 FLD(x1,1)=NIL;DSPRD(x1);
	}else{
	 COPY(x71,1);
	 x74=x71;
	 FRPRD(x1,1);}}
      }else{
       HLT("Absy at <unknown> : undefined selection pName\'Absy:absy->partName");}
      if(ISPRM(x74)){
       HLT("PartName at <unknown> : undefined selection pos\'PartName:partName->pos");
      }else{
       {OBJ x99=FLD1(x74,1);OBJ x105=FLD1(x74,7);
	if(EXPRD(x74,1)){
	 x82=x99;x90=x105;
	 FLD1(x74,1)=NIL;FLD1(x74,7)=NIL;DSPRD(x74);
	}else{
	 CPPRD(x99,1);COPY(x105,1);
	 x82=x99;x90=x105;
	 FRPRD(x74,1);}}}
      PRD1(4,x91);FLD1(x91,1)=x82;FLD1(x91,2)=__ASeq_6;FLD1(x91,3)=__APartName_23;FLD1(x91,4)=x90;
      PRD(1,19,r);FLD(r,1)=x91;}
    }else{
     FREE(x1,1);
     r=__AAbsy_2;}}}}
 return r;}

extern OBJ _APForm_117(OBJ x1,OBJ x2) /* modProofHead2'117 */
{OBJ r;
 {OBJ x4;OBJ x6;
  if(ISPRD(x1)&&(ISTGPRD(x1,19))){
   x4=__ABUILTIN_5;
  }else{
   x4=__ABUILTIN_3;}
  if(ISTGPRM(x4,1)){
   if(ISPRD(x2)&&(ISTGPRD(x2,1))){
    x6=__ABUILTIN_5;
   }else{
    x6=__ABUILTIN_3;}
  }else{
   x6=__ABUILTIN_3;}
  if(ISTGPRM(x6,1)){
   if(ISPRD(x1)&&(ISTGPRD(x1,19))){
    {OBJ x34=FLD(x1,1);FLAG x_x1=EXPRD(x1,1);
     if(x_x1){
     }else{
      CPPRD(x34,1);}
     {OBJ x38;
      if(ISPRD(x2)&&(ISTGPRD(x2,21)||ISTGPRD(x2,1))){
       {OBJ x35=FLD(x2,1);
	if(EXPRD(x2,1)){
	 x38=x35;
	 FLD(x2,1)=NIL;DSPRD(x2);
	}else{
	 COPY(x35,1);
	 x38=x35;
	 FRPRD(x2,1);}}
      }else{
       HLT("Absy at <unknown> : undefined selection pName\'Absy:absy->partName");}
      {OBJ x39;OBJ x40;OBJ x42;FLAG x_x34=EXPRD(x34,1);
       if(x_x34){
       }else{
	x39=FLD1(x34,1);x40=FLD1(x34,2);x42=FLD1(x34,4);CPPRD(x39,1);COPY(x40,1);COPY(x42,1);}
       {OBJ x43;
	if(x_x34){
	 RSOME(x34,x43);FREE(FLD1(x43,3),1);FLD1(x43,3)=x38;
	}else{
	 FRPRD(x34,1);PRD1(4,x43);FLD1(x43,1)=x39;FLD1(x43,2)=x40;FLD1(x43,3)=x38;FLD1(x43,4)=x42;}
	if(x_x1){
	 RPRD(x1,r);FLD(r,1)=x43;
	}else{
	 FRPRD(x1,1);PRD(1,19,r);FLD(r,1)=x43;}}}}}
   }else{
    HLT("Absy at <unknown> : undefined selection ph\'Absy:absy->proofHead");}
  }else{
   FREE(x1,1);
   FREE(x2,1);
   r=__AAbsy_2;}}
 return r;}


static void ___APForm_4()
{
 CPPRD(__APForm_21,1);
 CPPRD(__APForm_22,1);
 CPCLS(__APForm_52,2);
 CPCLS(__ABaseParser_36,4);
 CPCLS(__ABaseParser_38,1);
 CPCLS(__ABaseParser_44,1);
 CPCLS(__ABaseParser_50,3);
 CPPRD(__AModBase_12,2);
 CPCLS(__ATerminal_141,1);
 CPCLS(__APName_1,1);
 CPPRD(__AModName_5,1);
 {OBJ x1;OBJ x2;OBJ x3;OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;
  x1=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_18);
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_44);
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_94);
  x4=_ASet_7(__ATerminal_141,__ATerminal_18,__ATerminal_44);
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,x1,x2);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,__APName_1,x3,__AModBase_12);
  x7=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_44,3))(__ABaseParser_44,__APForm_52,x4,__AModName_5);
  x8=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x6,x7,__APForm_21);
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x8,x5,__AModBase_12);
  __APForm_4=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x9,__APForm_52,__APForm_22);}}

static void ___APForm_13()
{
 CPCLS(__APForm_1,1);
 CPCLS(__ABaseParser_36,2);
 CPCLS(__ABaseParser_50,2);
 CPPRD(__AModBase_12,1);
 CPPRD(__AModBase_13,1);
 {OBJ x1;OBJ x2;OBJ x3;
  x1=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_84);
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__ABaseParser_50,1))(__ABaseParser_50,__ATerminal_82);
  x3=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x1,__APForm_1,__AModBase_13);
  __APForm_13=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__ABaseParser_36,3))(__ABaseParser_36,x3,x2,__AModBase_12);}}


static void ___APForm_17()
{
 CPCLS(__ATerminal_141,8);
 {OBJ x1;OBJ x2;OBJ x3;OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x8;
  PRD1F(2,x1);FLD1(x1,1)=__ATerminal_42;FLD1(x1,2)=__ASeq_6;
  x2=_ASet_39(__ATerminal_141,__ATerminal_30,x1);
  x3=_ASet_39(__ATerminal_141,__ATerminal_28,x2);
  x4=_ASet_39(__ATerminal_141,__ATerminal_44,x3);
  x5=_ASet_39(__ATerminal_141,__ATerminal_50,x4);
  x6=_ASet_39(__ATerminal_141,__ATerminal_64,x5);
  x7=_ASet_39(__ATerminal_141,__ATerminal_46,x6);
  x8=_ASet_39(__ATerminal_141,__ATerminal_40,x7);
  __APForm_17=_ASet_39(__ATerminal_141,__ATerminal_82,x8);}}




static void ___APForm_25()
{
 if(ISTGPRM(__AZOpts_1,1)){
  CPPRD(__AModMix_3,1);
  __APForm_25=__AModMix_3;
 }else{
  CPPRD(__AModMix_5,1);
  __APForm_25=__AModMix_5;}}

init_APForm()
{
 static int visited=0; if(visited) return; visited=1;
 init_ATerminal();
 init_ARepTab();
 init_APName();
 init_APExpr();
 init_ABaseParser();
 init_APCommon();
 init_AModBase();
 init_APErr();
 init_APTypes();
 init_AZOpts();
 init_AAbsy();
 init_AModExpr();
 init_ACom();
 init_AModMix();
 init_ANat();
 init_AModName();
 init_AVoid();
 init_AModForm();
 init_ASeq();
 init_AOcVerbose();
 init_AOption();
 init_ADenotation();
 init_APragma();
 init_ASeqReduce();
 init_AFct();
 init_ASeqMap();
 init_AStruct();
 init_ADEBUG();
 init_AImpl();
 init_ABoolConv();
 init_APartName();
 init_ASetByBST();
 init_AOcPos();
 init_ABSTree();
 init_ARep();
 init_ATree();
 init_AChar();
 init_AReal();
 init_APair();
 init_ASeqConv();
 init_ABitset();
 init_AArray();
 init_AGlobPragma();
 init_ALexem();
 init_AMap();
 init_AMapReduce();
 init_ASet();
 init_AToken();
 init_AOcError();
 init_AString();
 init_AOcOptions();
 init_AStream();
 init_AFile();
 init_AInt();
 LCLS(1,_APForm_95,__APForm_95);
 DEN("checkLHS/else:",__APForm_31);
 LCLS(1,_APForm_63,__APForm_63);
 LCLS(1,_APForm_94,__APForm_94);
 LCLS(2,_APForm_30,__APForm_30);
 LCLS(1,_APForm_62,__APForm_62);
 LCLS(1,_APForm_93,__APForm_93);
 DEN("checkLhs:t\?",__APForm_29);
 LCLS(1,_APForm_61,__APForm_61);
 LCLS(1,_APForm_92,__APForm_92);
 DEN(" v:",__APForm_28);
 LCLS(1,_APForm_60,__APForm_60);
 LCLS(2,_APForm_91,__APForm_91);
 CLS(4,_APForm_27,__APForm_27);
 LCLS(1,_APForm_59,__APForm_59);
 LCLS(1,_APForm_90,__APForm_90);
 LCLS(5,_APForm_26,__APForm_26);
 LCLS(2,_APForm_58,__APForm_58);
 LCLS(1,_APForm_89,__APForm_89);
 LCLS(1,_APForm_57,__APForm_57);
 LCLS(1,_APForm_88,__APForm_88);
 CLS(1,_APForm_24,__APForm_24);
 LCLS(1,_APForm_56,__APForm_56);
 LCLS(1,_APForm_87,__APForm_87);
 CLS(3,_APForm_23_c,__APForm_23);
 DEN("-zpSpec",__APForm_55);
 LCLS(2,_APForm_86,__APForm_86);
 LCLS(1,_APForm_54,__APForm_54);
 CLS(2,_APForm_117,__APForm_117);
 LCLS(1,_APForm_85,__APForm_85);
 LCLS(1,_APForm_53,__APForm_53);
 CLS(2,_APForm_116,__APForm_116);
 LCLS(1,_APForm_84,__APForm_84);
 CLS(1,_APForm_52,__APForm_52);
 CLS(2,_APForm_115,__APForm_115);
 LCLS(2,_APForm_51,__APForm_51);
 LCLS(1,_APForm_83,__APForm_83);
 LCLS(3,_APForm_114,__APForm_114);
 LCLS(2,_APForm_50,__APForm_50);
 LCLS(1,_APForm_82,__APForm_82);
 DEN("modProofBody:\n",__APForm_113);
 LCLS(1,_APForm_81,__APForm_81);
 LCLS(1,_APForm_49,__APForm_49);
 DEN("\n",__APForm_112);
 LCLS(1,_APForm_80,__APForm_80);
 LCLS(1,_APForm_48,__APForm_48);
 LCLS(2,_APForm_111,__APForm_111);
 LCLS(1,_APForm_79,__APForm_79);
 CLS(3,_APForm_15,__APForm_15);
 LCLS(2,_APForm_47,__APForm_47);
 LCLS(1,_APForm_110,__APForm_110);
 LCLS(1,_APForm_78,__APForm_78);
 CLS(1,_APForm_14,__APForm_14);
 LCLS(4,_APForm_46,__APForm_46);
 LCLS(1,_APForm_109,__APForm_109);
 LCLS(1,_APForm_77,__APForm_77);
 LCLS(4,_APForm_45,__APForm_45);
 LCLS(1,_APForm_108,__APForm_108);
 LCLS(2,_APForm_76,__APForm_76);
 CLS(1,_APForm_12,__APForm_12);
 LCLS(4,_APForm_44,__APForm_44);
 LCLS(1,_APForm_107,__APForm_107);
 LCLS(1,_APForm_75,__APForm_75);
 CLS(1,_APForm_11,__APForm_11);
 LCLS(4,_APForm_43,__APForm_43);
 LCLS(2,_APForm_106,__APForm_106);
 LCLS(1,_APForm_74,__APForm_74);
 CLS(1,_APForm_10,__APForm_10);
 LCLS(4,_APForm_42,__APForm_42);
 LCLS(1,_APForm_105,__APForm_105);
 LCLS(1,_APForm_73,__APForm_73);
 CLS(1,_APForm_9,__APForm_9);
 DEN("Eq is :",__APForm_41);
 LCLS(1,_APForm_104,__APForm_104);
 LCLS(1,_APForm_72,__APForm_72);
 CLS(1,_APForm_8,__APForm_8);
 DEN("Pre is:",__APForm_40);
 LCLS(1,_APForm_103,__APForm_103);
 LCLS(1,_APForm_71,__APForm_71);
 CLS(1,_APForm_7,__APForm_7);
 DEN(":\n",__APForm_39);
 LCLS(1,_APForm_102,__APForm_102);
 DEN("Post is:",__APForm_38);
 LCLS(1,_APForm_70,__APForm_70);
 LCLS(2,_APForm_101,__APForm_101);
 LCLS(1,_APForm_69,__APForm_69);
 CLS(1,_APForm_5,__APForm_5);
 DEN(":",__APForm_37);
 LCLS(1,_APForm_100,__APForm_100);
 LCLS(1,_APForm_68,__APForm_68);
 LCLS(1,_APForm_36,__APForm_36);
 LCLS(1,_APForm_99,__APForm_99);
 LCLS(1,_APForm_67,__APForm_67);
 CLS(1,_APForm_3,__APForm_3);
 DEN("cannot construct specification",__APForm_35);
 LCLS(1,_APForm_98,__APForm_98);
 LCLS(2,_APForm_66,__APForm_66);
 DEN("improper lhs of spc",__APForm_34);
 LCLS(1,_APForm_97,__APForm_97);
 LCLS(2,_APForm_65,__APForm_65);
 CLS(1,_APForm_1,__APForm_1);
 DEN("only one equation in specification",__APForm_33);
 LCLS(2,_APForm_96,__APForm_96);
 LCLS(2,_APForm_32,__APForm_32);
 LCLS(2,_APForm_64,__APForm_64);
 CPCLS(__APForm_116,1);
 PRD(1,0,__APForm_21);FLD(__APForm_21,1)=__APForm_116;
 CPCLS(__APForm_117,1);
 PRD(1,0,__APForm_22);FLD(__APForm_22,1)=__APForm_117;
 ___APForm_4();
 CPCLS(__APForm_3,1);
 CPCLS(__APForm_4,1);
 CPCLS(__ABaseParser_38,1);
 __APForm_2=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ABaseParser_38,2))(__ABaseParser_38,__APForm_3,__APForm_4);
 ___APForm_13();
 ___APForm_17();
 ___APForm_25();
 COPY(__APForm_17,1);
 CPPRD(__APForm_25,1);
 CPCLS(__APExpr_97,1);
 __APForm_16=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__APExpr_97,2))(__APExpr_97,__APForm_25,__APForm_17);
 CPCLS(__APForm_115,1);
 PRD(1,0,__APForm_20);FLD(__APForm_20,1)=__APForm_115;}

