

#include "BUILTIN.h"

#include "Nat.h"

#include "Char.h"

#include "CharConv.h"
extern OBJ __APrintableChar_3;
extern OBJ __APrintableChar_10;
extern OBJ __APrintableChar_11;
extern OBJ __APrintableChar_36;
extern OBJ __APrintableChar_43;
extern OBJ __APrintableChar_54;
extern OBJ __APrintableChar_57;
extern OBJ __APrintableChar_61;
extern OBJ __APrintableChar_66;
extern OBJ __APair_2;
extern OBJ _AString_2(OBJ,OBJ);extern OBJ __AString_2;
extern OBJ _AString_4(OBJ);extern OBJ __AString_4;
extern OBJ _AString_5(OBJ);extern OBJ __AString_5;
extern OBJ __AString_6;
extern OBJ _AString_12(OBJ);extern OBJ __AString_12;
extern OBJ _AString_49(OBJ);extern OBJ __AString_49;
extern OBJ _AString_66(OBJ,OBJ);extern OBJ __AString_66;
extern OBJ _AStringConv_1(OBJ);extern OBJ __AStringConv_1;
extern OBJ _AStringConv_9(OBJ);extern OBJ __AStringConv_9;
extern OBJ _ASeqZip_4(OBJ,OBJ,OBJ);extern OBJ __ASeqZip_4;
extern OBJ _ASeqReduce_4(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_4;

#include "Array.h"

#include "Denotation.h"

#include "NatConv.h"

#include "Int.h"

#include "Real.h"
extern OBJ _AStringMapSeq_2(OBJ,OBJ);extern OBJ __AStringMapSeq_2;
extern OBJ _ASymbolMap_1(OBJ);OBJ __ASymbolMap_1; /* symbolMap */
OBJ __ASymbolMap_2; /* specials */
OBJ __ASymbolMap_3; /* placebos */
extern OBJ _ASymbolMap_4(OBJ,OBJ,OBJ,OBJ);OBJ __ASymbolMap_4; /* symbolStart */
extern OBJ _ASymbolMap_5(OBJ,OBJ);OBJ __ASymbolMap_5; /* symbolLetgit */
extern OBJ _ASymbolMap_6(OBJ,OBJ);OBJ __ASymbolMap_6; /* symbolQuestionMark */
extern OBJ _ASymbolMap_7(OBJ,OBJ);OBJ __ASymbolMap_7; /* symbolSpecial */
extern OBJ _ASymbolMap_8(OBJ,OBJ,OBJ);OBJ __ASymbolMap_8; /* symbolQualifier */
extern OBJ _ASymbolMap_9(OBJ,OBJ);OBJ __ASymbolMap_9; /* symbolQualifierO */
extern OBJ _ASymbolMap_10(OBJ,OBJ);OBJ __ASymbolMap_10; /* symbolQualifierL */
extern OBJ _ASymbolMap_11(OBJ,OBJ,OBJ,OBJ);OBJ __ASymbolMap_11; /* makeUnderscores */
OBJ __ASymbolMap_12; /* mappedQuestionMark */
OBJ __ASymbolMap_13; /* mappedUnderscore */
extern OBJ _ASymbolMap_14(OBJ);OBJ __ASymbolMap_14; /* mappedUnderscores */
extern OBJ _ASymbolMap_15(OBJ,OBJ);OBJ __ASymbolMap_15; /* mappedUnderscoresPrependedTo */
extern OBJ _ASymbolMap_16(OBJ);OBJ __ASymbolMap_16; /* map */
OBJ __ASymbolMap_17; /* specials,1 */
OBJ __ASymbolMap_18; /* specialsDomainMin */
OBJ __ASymbolMap_19; /* specialsDomainMax */
OBJ __ASymbolMap_20; /* specials,2 */
OBJ __ASymbolMap_21; /* placebos,1 */
OBJ __ASymbolMap_22; /* 127 */
extern OBJ _ASymbolMap_23(OBJ,OBJ,OBJ);OBJ __ASymbolMap_23; /* symbolUpperHalf */
extern OBJ _ASymbolMap_24(OBJ,OBJ,OBJ);OBJ __ASymbolMap_24; /* symbolUH */
extern OBJ _ASymbolMap_25(OBJ);OBJ __ASymbolMap_25; /* hex */
OBJ __ASymbolMap_26; /* hex'26 */
extern OBJ _ASymbolMap_27(OBJ);OBJ __ASymbolMap_27; /* symbolUH'27 */
extern OBJ _ASymbolMap_28(OBJ);OBJ __ASymbolMap_28; /* symbolUH'28 */
extern OBJ _ASymbolMap_29(OBJ);OBJ __ASymbolMap_29; /* makeUnderscores'29 */
extern OBJ _ASymbolMap_30(OBJ);OBJ __ASymbolMap_30; /* specials,1'30 */
extern OBJ _ASymbolMap_31(OBJ,OBJ);OBJ __ASymbolMap_31; /* specials,1'31 */
extern OBJ _ASymbolMap_32(OBJ,OBJ);OBJ __ASymbolMap_32; /* specialsDomainMin'32 */
extern OBJ _ASymbolMap_33(OBJ,OBJ);OBJ __ASymbolMap_33; /* specialsDomainMax'33 */

extern OBJ _ASymbolMap_1(OBJ x1) /* symbolMap */
{OBJ r;
 {OBJ x2;OBJ x3;
  x2=_AString_49(x1);
  x3=_ASymbolMap_4(x2,__AString_6,__ANat_5,__ABUILTIN_5);
  r=_AStringConv_1(x3);}
 return r;}

extern OBJ _ASymbolMap_4(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4) /* symbolStart */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   {OBJ x29;
    x29=_ASymbolMap_11(x2,x3,x4,__ABUILTIN_5);
    r=_AString_66(x29,__AString_6);}
  }else{
   CPPRD(x1,2);
   {OBJ x33;OBJ x34;OBJ x35;
    x33=_AString_4(x1);
    x34=_AString_5(x1);
    AChar_15(x34,__APrintableChar_11,x35);
    if(ISTGPRM(x35,1)){
     if(EXPRD(x1,1)){
      DSPRD(x1);
     }else{
      DCPRD(x1,1);}
     {OBJ x36;
      ANat_2(x3,x36);
      x1=x33;x3=x36;continue;}
    }else{
     {OBJ x37;
      AChar_26(x34,x37);
      if(ISTGPRM(x37,1)){
       if(EXPRD(x1,1)){
	DSPRD(x1);
       }else{
	DCPRD(x1,1);}
       {OBJ x38;OBJ x39;OBJ x40;
	x38=_ASymbolMap_11(x2,x3,x4,__ABUILTIN_3);
	x39=_AString_2(__APrintableChar_43,x38);
	x40=_AString_2(x34,x39);
	r=_ASymbolMap_5(x33,x40);}
      }else{
       {OBJ x41;OBJ x42;
	AChar_15(x34,__APrintableChar_10,x41);
	if(ISTGPRM(x41,1)){
	 x42=__ABUILTIN_5;
	}else{
	 AChar_15(x34,__APrintableChar_3,x42);}
	if(ISTGPRM(x42,1)){
	 if(EXPRD(x1,1)){
	  DSPRD(x1);
	 }else{
	  DCPRD(x1,1);}
	 {OBJ x43;
	  x43=_ASymbolMap_11(x2,x3,x4,__ABUILTIN_5);
	  r=_ASymbolMap_8(x34,x33,x43);}
	}else{
	 {OBJ x44;
	  AChar_18(x34,__ASymbolMap_22,x44);
	  if(ISTGPRM(x44,1)){
	   FREE(x33,1);
	   CPCLS(__ASymbolMap_5,1);
	   r=_ASymbolMap_23(__ASymbolMap_5,x1,x2);
	  }else{
	   if(EXPRD(x1,1)){
	    DSPRD(x1);
	   }else{
	    DCPRD(x1,1);}
	   {OBJ x45;OBJ x46;OBJ x47;
	    x45=_ASymbolMap_11(x2,x3,x4,__ABUILTIN_5);
	    x46=_ASymbolMap_16(x34);
	    x47=_AString_2(x46,x45);
	    r=_ASymbolMap_7(x33,x47);}}}}}}}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_5(register OBJ x1,register OBJ x2) /* symbolLetgit */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   r=_AString_66(x2,__AString_6);
  }else{
   CPPRD(x1,2);
   {OBJ x23;OBJ x24;OBJ x25;
    x23=_AString_4(x1);
    x24=_AString_5(x1);
    AChar_15(x24,__APrintableChar_11,x25);
    if(ISTGPRM(x25,1)){
     if(EXPRD(x1,1)){
      DSPRD(x1);
     }else{
      DCPRD(x1,1);}
     r=_ASymbolMap_4(x23,x2,__ANat_8,__ABUILTIN_3);
    }else{
     {OBJ x26;OBJ x27;
      AChar_15(x24,__APrintableChar_10,x26);
      if(ISTGPRM(x26,1)){
       x27=__ABUILTIN_5;
      }else{
       AChar_15(x24,__APrintableChar_3,x27);}
      if(ISTGPRM(x27,1)){
       if(EXPRD(x1,1)){
	DSPRD(x1);
       }else{
	DCPRD(x1,1);}
       r=_ASymbolMap_8(x24,x23,x2);
      }else{
       {OBJ x28;
	AChar_15(x24,__APrintableChar_36,x28);
	if(ISTGPRM(x28,1)){
	 if(EXPRD(x1,1)){
	  DSPRD(x1);
	 }else{
	  DCPRD(x1,1);}
	 {OBJ x29;
	  x29=_AString_2(__ASymbolMap_12,x2);
	  r=_ASymbolMap_6(x23,x29);}
	}else{
	 {OBJ x30;
	  AChar_18(x24,__ASymbolMap_22,x30);
	  if(ISTGPRM(x30,1)){
	   FREE(x23,1);
	   CPCLS(__ASymbolMap_5,1);
	   r=_ASymbolMap_23(__ASymbolMap_5,x1,x2);
	  }else{
	   if(EXPRD(x1,1)){
	    DSPRD(x1);
	   }else{
	    DCPRD(x1,1);}
	   {OBJ x31;
	    x31=_AString_2(x24,x2);
	    x1=x23;x2=x31;continue;}}}}}}}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_6(register OBJ x1,register OBJ x2) /* symbolQuestionMark */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   r=_AString_66(x2,__AString_6);
  }else{
   CPPRD(x1,1);
   {OBJ x21;OBJ x22;OBJ x23;
    x21=_AString_4(x1);
    x22=_AString_5(x1);
    AChar_15(x22,__APrintableChar_11,x23);
    if(ISTGPRM(x23,1)){
     r=_ASymbolMap_4(x21,x2,__ANat_8,__ABUILTIN_3);
    }else{
     {OBJ x24;OBJ x25;
      AChar_15(x22,__APrintableChar_10,x24);
      if(ISTGPRM(x24,1)){
       x25=__ABUILTIN_5;
      }else{
       AChar_15(x22,__APrintableChar_3,x25);}
      if(ISTGPRM(x25,1)){
       r=_ASymbolMap_8(x22,x21,x2);
      }else{
       {OBJ x26;
	AChar_15(x22,__APrintableChar_36,x26);
	if(ISTGPRM(x26,1)){
	 {OBJ x27;
	  x27=_AString_2(__ASymbolMap_12,x2);
	  x1=x21;x2=x27;continue;}
	}else{
	 HLT("SymbolMap at <99,6-107,51> : missing else in symbolQuestionMark\'SymbolMap:string**string->string");}}}}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_7(register OBJ x1,register OBJ x2) /* symbolSpecial */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   r=_AString_66(x2,__AString_6);
  }else{
   CPPRD(x1,2);
   {OBJ x69;OBJ x70;OBJ x71;
    x69=_AString_4(x1);
    x70=_AString_5(x1);
    AChar_15(x70,__APrintableChar_11,x71);
    if(ISTGPRM(x71,1)){
     if(ISPRM(x69)){
      if(EXPRD(x1,1)){
       DSPRD(x1);
      }else{
       DCPRD(x1,1);}
      {OBJ x72;
       x72=_AString_2(__ASymbolMap_13,x2);
       r=_AString_66(x72,__AString_6);}
     }else{
      CPPRD(x69,1);
      {OBJ x76;OBJ x77;
       x76=_AString_5(x69);
       AChar_15(x76,__APrintableChar_11,x77);
       if(ISTGPRM(x77,1)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	{OBJ x78;
	 x78=_AString_2(__ASymbolMap_13,x2);
	 x1=x69;x2=x78;continue;}
       }else{
	{OBJ x79;
	 AChar_26(x76,x79);
	 if(ISTGPRM(x79,1)){
	  if(EXPRD(x1,1)){
	   DSPRD(x1);
	  }else{
	   DCPRD(x1,1);}
	  {OBJ x80;OBJ x81;OBJ x82;OBJ x83;
	   x80=_AString_2(__APrintableChar_11,x2);
	   x81=_AString_4(x69);
	   x82=_AString_2(__APrintableChar_43,x80);
	   x83=_AString_2(x76,x82);
	   r=_ASymbolMap_5(x81,x83);}
	 }else{
	  {OBJ x84;OBJ x85;
	   AChar_15(x76,__APrintableChar_10,x84);
	   if(ISTGPRM(x84,1)){
	    x85=__ABUILTIN_5;
	   }else{
	    AChar_15(x76,__APrintableChar_3,x85);}
	   if(ISTGPRM(x85,1)){
	    if(EXPRD(x1,1)){
	     DSPRD(x1);
	    }else{
	     DCPRD(x1,1);}
	    {OBJ x86;OBJ x87;
	     x86=_AString_2(__ASymbolMap_13,x2);
	     x87=_AString_4(x69);
	     r=_ASymbolMap_8(x76,x87,x86);}
	   }else{
	    {OBJ x88;
	     AChar_18(x76,__ASymbolMap_22,x88);
	     if(ISTGPRM(x88,1)){
	      if(EXPRD(x69,1)){
	       DSPRD(x69);
	      }else{
	       DCPRD(x69,1);}
	      CPCLS(__ASymbolMap_7,1);
	      r=_ASymbolMap_23(__ASymbolMap_7,x1,x2);
	     }else{
	      if(EXPRD(x1,1)){
	       DSPRD(x1);
	      }else{
	       DCPRD(x1,1);}
	      {OBJ x89;OBJ x90;OBJ x91;OBJ x92;
	       x89=_AString_2(__ASymbolMap_13,x2);
	       x90=_AString_4(x69);
	       x91=_ASymbolMap_16(x76);
	       x92=_AString_2(x91,x89);
	       x1=x90;x2=x92;continue;}}}}}}}}}}
    }else{
     {OBJ x93;OBJ x94;
      AChar_15(x70,__APrintableChar_10,x93);
      if(ISTGPRM(x93,1)){
       x94=__ABUILTIN_5;
      }else{
       AChar_15(x70,__APrintableChar_3,x94);}
      if(ISTGPRM(x94,1)){
       if(EXPRD(x1,1)){
	DSPRD(x1);
       }else{
	DCPRD(x1,1);}
       r=_ASymbolMap_8(x70,x69,x2);
      }else{
       {OBJ x95;
	AChar_18(x70,__ASymbolMap_22,x95);
	if(ISTGPRM(x95,1)){
	 FREE(x69,1);
	 CPCLS(__ASymbolMap_7,1);
	 r=_ASymbolMap_23(__ASymbolMap_7,x1,x2);
	}else{
	 if(EXPRD(x1,1)){
	  DSPRD(x1);
	 }else{
	  DCPRD(x1,1);}
	 {OBJ x96;OBJ x97;
	  x96=_ASymbolMap_16(x70);
	  x97=_AString_2(x96,x2);
	  x1=x69;x2=x97;continue;}}}}}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_8(OBJ x1,OBJ x2,OBJ x3) /* symbolQualifier */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AString_2(__APrintableChar_11,x3);
  AChar_15(x1,__APrintableChar_10,x5);
  if(ISTGPRM(x5,1)){
   {OBJ x6;
    x6=_AString_2(__APrintableChar_57,x4);
    r=_ASymbolMap_9(x2,x6);}
  }else{
   {OBJ x7;
    AChar_15(x1,__APrintableChar_3,x7);
    if(ISTGPRM(x7,1)){
     {OBJ x8;
      x8=_AString_2(__APrintableChar_54,x4);
      r=_ASymbolMap_10(x2,x8);}
    }else{
     HLT("SymbolMap at <161,8-164,32> : missing else in symbolQualifier\'SymbolMap:char**string**string->string");}}}}
 return r;}

extern OBJ _ASymbolMap_9(register OBJ x1,register OBJ x2) /* symbolQualifierO */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   r=_AString_66(x2,__AString_6);
  }else{
   CPPRD(x1,1);
   {OBJ x20;OBJ x21;OBJ x22;
    x20=_AString_4(x1);
    x21=_AString_5(x1);
    AChar_15(x21,__APrintableChar_3,x22);
    if(ISTGPRM(x22,1)){
     {OBJ x23;OBJ x24;
      x23=_AString_2(__APrintableChar_11,x2);
      x24=_AString_2(__APrintableChar_54,x23);
      r=_ASymbolMap_10(x20,x24);}
    }else{
     {OBJ x25;
      x25=_AString_2(x21,x2);
      x1=x20;x2=x25;continue;}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_10(register OBJ x1,register OBJ x2) /* symbolQualifierL */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   r=_AString_66(x2,__AString_6);
  }else{
   CPPRD(x1,1);
   {OBJ x17;OBJ x18;OBJ x19;
    x17=_AString_4(x1);
    x18=_AString_5(x1);
    x19=_AString_2(x18,x2);
    x1=x17;x2=x19;continue;}}
  break;}
 return r;}

extern OBJ _ASymbolMap_11(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* makeUnderscores */
{OBJ r;
 if(ISPRM(x1)){
  if(ISTGPRM(x3,1)){
   if(ISTGPRM(x4,1)){
    CPCLS(__ASymbolMap_29,1);
    {OBJ x35;
     x35=(*(OBJ(*)(OBJ,OBJ))METHOD(__ASymbolMap_29,1))(__ASymbolMap_29,__ABUILTIN_20);
     r=_ASymbolMap_15(x2,x35);}
   }else{
    {OBJ x36;
     ANat_76(x2,__ANat_5,x36);
     if(ISTGPRM(x36,1)){
      r=__AString_6;
     }else{
      CPCLS(__ASymbolMap_29,1);
      {OBJ x37;OBJ x38;OBJ x39;
       ANat_62(x2,__ANat_8,x37);
       x38=(*(OBJ(*)(OBJ,OBJ))METHOD(__ASymbolMap_29,1))(__ASymbolMap_29,__ABUILTIN_20);
       x39=_ASymbolMap_15(x37,x38);
       r=_AString_2(__APrintableChar_11,x39);}}}}
  }else{
   if(ISTGPRM(x4,1)){
    {OBJ x40;
     ANat_76(x2,__ANat_5,x40);
     if(ISTGPRM(x40,1)){
      r=x1;
     }else{
      {OBJ x41;OBJ x42;OBJ x43;
       x41=_AString_2(__APrintableChar_11,x1);
       ANat_62(x2,__ANat_8,x42);
       x43=_AString_2(__APrintableChar_61,x41);
       r=_ASymbolMap_15(x42,x43);}}}
   }else{
    {OBJ x44;
     ANat_76(x2,__ANat_5,x44);
     if(ISTGPRM(x44,1)){
      r=x1;
     }else{
      {OBJ x45;OBJ x46;
       ANat_76(x2,__ANat_8,x45);
       x46=_AString_2(__APrintableChar_11,x1);
       if(ISTGPRM(x45,1)){
	r=x46;
       }else{
	{OBJ x47;OBJ x48;OBJ x49;
	 ANat_62(x2,__ANat_9,x47);
	 x48=_AString_2(__APrintableChar_61,x46);
	 x49=_ASymbolMap_15(x47,x48);
	 r=_AString_2(__APrintableChar_11,x49);}}}}}}}
 }else{
  if(ISTGPRM(x3,1)){
   if(EXPRD(x1,1)){
    DSPRD(x1);
   }else{
    DCPRD(x1,1);}
   if(ISTGPRM(x4,1)){
    CPCLS(__ASymbolMap_29,1);
    {OBJ x53;
     x53=(*(OBJ(*)(OBJ,OBJ))METHOD(__ASymbolMap_29,1))(__ASymbolMap_29,__ABUILTIN_20);
     r=_ASymbolMap_15(x2,x53);}
   }else{
    HLT("SymbolMap at <190,5-19> : missing else in makeUnderscores\'SymbolMap:string**nat**bool**bool->string");}
  }else{
   if(ISTGPRM(x4,1)){
    {OBJ x54;
     ANat_76(x2,__ANat_5,x54);
     if(ISTGPRM(x54,1)){
      r=x1;
     }else{
      {OBJ x55;OBJ x56;OBJ x57;
       x55=_AString_2(__APrintableChar_11,x1);
       ANat_62(x2,__ANat_8,x56);
       x57=_AString_2(__APrintableChar_61,x55);
       r=_ASymbolMap_15(x56,x57);}}}
   }else{
    {OBJ x58;
     ANat_76(x2,__ANat_5,x58);
     if(ISTGPRM(x58,1)){
      r=x1;
     }else{
      {OBJ x59;OBJ x60;
       ANat_76(x2,__ANat_8,x59);
       x60=_AString_2(__APrintableChar_11,x1);
       if(ISTGPRM(x59,1)){
	r=x60;
       }else{
	{OBJ x61;OBJ x62;OBJ x63;
	 ANat_62(x2,__ANat_9,x61);
	 x62=_AString_2(__APrintableChar_61,x60);
	 x63=_ASymbolMap_15(x61,x62);
	 r=_AString_2(__APrintableChar_11,x63);}}}}}}}}
 return r;}

extern OBJ _ASymbolMap_14(OBJ x1) /* mappedUnderscores */
{OBJ r;
 r=_ASymbolMap_15(x1,__AString_6);
 return r;}

extern OBJ _ASymbolMap_15(OBJ x1,OBJ x2) /* mappedUnderscoresPrependedTo */
{OBJ r;
 {OBJ x3;
  ANat_6(x1,x3);
  if(ISTGPRM(x3,1)){
   r=x2;
  }else{
   {OBJ x4;
    ANat_3(x1,x4);
    if(ISTGPRM(x4,1)){
     {OBJ x5;OBJ x6;
      ANat_4(x1,x5);
      x6=_ASymbolMap_15(x5,x2);
      r=_AString_2(__ASymbolMap_13,x6);}
    }else{
     HLT("SymbolMap at <246,5-32> : missing else in mappedUnderscoresPrependedTo\'SymbolMap:nat**string->string");}}}}
 return r;}

extern OBJ _ASymbolMap_16(OBJ x1) /* map */
{OBJ r;
 {OBJ x2;OBJ x3;OBJ x4;
  ACharConv_2(x1,x2);
  ANat_80(x2,__ASymbolMap_18,x3);
  if(ISTGPRM(x3,1)){
   x4=__ABUILTIN_5;
  }else{
   ANat_79(x2,__ASymbolMap_19,x4);}
  if(ISTGPRM(x4,0)){
   CPPRD(__ASymbolMap_17,1);
   {OBJ x5;OBJ x6;OBJ x7;
    ANat_62(x2,__ASymbolMap_18,x5);
    AArray_15(__ASymbolMap_17,x5,x6);
    AChar_15(x6,__AChar_8,x7);
    if(ISTGPRM(x7,0)){
     r=x6;
    }else{
     HLT("map\'SymbolMap: Illegal character in special fragment!!");}}
  }else{
   HLT("map\'SymbolMap: Illegal character in special fragment!");}}
 return r;}

extern OBJ _ASymbolMap_23(OBJ x1,OBJ x2,OBJ x3) /* symbolUpperHalf */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AString_2(__APrintableChar_11,x3);
  x5=_AString_2(__APrintableChar_66,x4);
  r=_ASymbolMap_24(x1,x2,x5);}
 return r;}

extern OBJ _ASymbolMap_24(register OBJ x1,register OBJ x2,register OBJ x3) /* symbolUH */
{OBJ r;
 for(;;){
  if(ISPRM(x2)){
   {OBJ x21;
    x21=_AString_2(__APrintableChar_11,x3);
    r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(x1,2))(x1,__AString_6,x21);}
  }else{
   CPPRD(x2,2);
   {OBJ x25;OBJ x26;OBJ x27;
    x25=_AString_4(x2);
    x26=_AString_5(x2);
    AChar_14(x26,__ASymbolMap_22,x27);
    if(ISTGPRM(x27,1)){
     FREE(x25,1);
     {OBJ x28;
      x28=_AString_2(__APrintableChar_11,x3);
      r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(x1,2))(x1,x2,x28);}
    }else{
     if(EXPRD(x2,1)){
      DSPRD(x2);
     }else{
      DCPRD(x2,1);}
     {OBJ x29;OBJ x30;OBJ x31;OBJ x32;
      x29=_ASymbolMap_27(x26);
      x30=_ASymbolMap_28(x26);
      x31=_AString_2(x29,x3);
      x32=_AString_2(x30,x31);
      x2=x25;x3=x32;continue;}}}}
  break;}
 return r;}

extern OBJ _ASymbolMap_25(OBJ x1) /* hex */
{OBJ r;
 CPPRD(__ASymbolMap_26,1);
 ADenotation_14(__ASymbolMap_26,x1,r);
 return r;}

extern OBJ _ASymbolMap_27(OBJ x1) /* symbolUH'27 */
{OBJ r;
 CPPRD(__ASymbolMap_26,1);
 {OBJ x2;OBJ x3;
  ACharConv_2(x1,x2);
  ANat_64(x2,__ANat_23,x3);
  ADenotation_14(__ASymbolMap_26,x3,r);}
 return r;}

extern OBJ _ASymbolMap_28(OBJ x1) /* symbolUH'28 */
{OBJ r;
 CPPRD(__ASymbolMap_26,1);
 {OBJ x2;OBJ x3;
  ACharConv_2(x1,x2);
  ANat_66(x2,__ANat_23,x3);
  ADenotation_14(__ASymbolMap_26,x3,r);}
 return r;}

extern OBJ _ASymbolMap_29(OBJ x1) /* makeUnderscores'29 */
{OBJ r;
 r=_AString_12(__APrintableChar_61);
 return r;}

extern OBJ _ASymbolMap_30(OBJ x1) /* specials,1'30 */
{OBJ r;
 r=__AChar_8;
 return r;}

extern OBJ _ASymbolMap_31(OBJ x1,OBJ x2) /* specials,1'31 */
{OBJ r;
 {OBJ x11=FLD1(x1,1);OBJ x12=FLD1(x1,2);
  if(EXPRD(x1,1)){
   DSPRDF(x1);
  }else{
   FRPRD(x1,1);}
  {OBJ x13;OBJ x14;
   ACharConv_2(x11,x13);
   ANat_62(x13,__ASymbolMap_18,x14);
   AArray_8(x2,x14,x12,r);}}
 return r;}

extern OBJ _ASymbolMap_32(OBJ x1,OBJ x2) /* specialsDomainMin'32 */
{OBJ r;
 {OBJ x3;
  ACharConv_2(x1,x3);
  ANat_72(x3,x2,r);}
 return r;}

extern OBJ _ASymbolMap_33(OBJ x1,OBJ x2) /* specialsDomainMax'33 */
{OBJ r;
 {OBJ x3;
  ACharConv_2(x1,x3);
  ANat_73(x3,x2,r);}
 return r;}



static void ___ASymbolMap_17()
{
 COPY(__ASymbolMap_20,1);
 COPY(__ASymbolMap_21,1);
 CPCLS(__ASymbolMap_30,1);
 CPCLS(__ASymbolMap_31,1);
 CPPRD(__APair_2,1);
 {OBJ x1;OBJ x2;OBJ x3;
  x1=_ASeqZip_4(__APair_2,__ASymbolMap_20,__ASymbolMap_21);
  ANat_62(__ASymbolMap_19,__ASymbolMap_18,x2);
  AArray_4(x2,__ASymbolMap_30,x3);
  __ASymbolMap_17=_ASeqReduce_4(__ASymbolMap_31,x3,x1);}}

static void ___ASymbolMap_18()
{
 COPY(__ASymbolMap_20,1);
 CPCLS(__ASymbolMap_32,1);
 {OBJ x1;OBJ x2;OBJ x3;
  ACharConv_2(__AChar_3,x1);
  x2=_ASeqReduce_4(__ASymbolMap_32,x1,__ASymbolMap_20);
  ANat_76(x2,x1,x3);
  if(ISTGPRM(x3,1)){
   __ASymbolMap_18=__ANat_5;
  }else{
   __ASymbolMap_18=x2;}}}

static void ___ASymbolMap_19()
{
 COPY(__ASymbolMap_20,1);
 CPCLS(__ASymbolMap_33,1);
 {OBJ x1;OBJ x2;OBJ x3;
  ACharConv_2(__AChar_2,x1);
  x2=_ASeqReduce_4(__ASymbolMap_33,x1,__ASymbolMap_20);
  ANat_76(x2,x1,x3);
  if(ISTGPRM(x3,1)){
   __ASymbolMap_19=__ANat_5;
  }else{
   ANat_2(x2,__ASymbolMap_19);}}}

static void ___ASymbolMap_20()
{
 CPPRD(__ASymbolMap_2,1);
 CPCLS(__AStringConv_9,1);
 {OBJ x1;
  x1=_AString_49(__ASymbolMap_2);
  __ASymbolMap_20=_AStringMapSeq_2(__AStringConv_9,x1);}}

static void ___ASymbolMap_21()
{
 CPPRD(__ASymbolMap_3,1);
 CPCLS(__AStringConv_9,1);
 {OBJ x1;
  x1=_AString_49(__ASymbolMap_3);
  __ASymbolMap_21=_AStringMapSeq_2(__AStringConv_9,x1);}}

static void ___ASymbolMap_22()
{
 {OBJ x1;
  ANat_62(__ANat_47,__ANat_8,x1);
  ANatConv_2(x1,__ASymbolMap_22);}}

init_ASymbolMap()
{
 static int visited=0; if(visited) return; visited=1;
 init_ANat();
 init_AChar();
 init_ACharConv();
 init_APrintableChar();
 init_APair();
 init_AString();
 init_AStringConv();
 init_ASeq();
 init_ASeqZip();
 init_ASeqReduce();
 init_AArray();
 init_ADenotation();
 init_ANatConv();
 init_AInt();
 init_AReal();
 init_AOption();
 init_AStringMapSeq();
 CLS(2,_ASymbolMap_31,__ASymbolMap_31);
 CLS(1,_ASymbolMap_30,__ASymbolMap_30);
 LCLS(1,_ASymbolMap_29,__ASymbolMap_29);
 CLS(1,_ASymbolMap_28,__ASymbolMap_28);
 CLS(1,_ASymbolMap_27,__ASymbolMap_27);
 DEN("0123456789abcedef",__ASymbolMap_26);
 CLS(1,_ASymbolMap_25,__ASymbolMap_25);
 CLS(3,_ASymbolMap_24,__ASymbolMap_24);
 CLS(3,_ASymbolMap_23,__ASymbolMap_23);
 CLS(1,_ASymbolMap_16,__ASymbolMap_16);
 CLS(2,_ASymbolMap_15,__ASymbolMap_15);
 CLS(1,_ASymbolMap_14,__ASymbolMap_14);
 CLS(4,_ASymbolMap_11,__ASymbolMap_11);
 CLS(2,_ASymbolMap_10,__ASymbolMap_10);
 CLS(2,_ASymbolMap_9,__ASymbolMap_9);
 CLS(3,_ASymbolMap_8,__ASymbolMap_8);
 CLS(2,_ASymbolMap_7,__ASymbolMap_7);
 CLS(2,_ASymbolMap_6,__ASymbolMap_6);
 CLS(2,_ASymbolMap_5,__ASymbolMap_5);
 CLS(4,_ASymbolMap_4,__ASymbolMap_4);
 DEN("12345678pStmebqOCocialgds_u",__ASymbolMap_3);
 DEN("!@#$%^&*+|~-=\\`{}[]:;<>./\?_",__ASymbolMap_2);
 CLS(2,_ASymbolMap_33,__ASymbolMap_33);
 CLS(1,_ASymbolMap_1,__ASymbolMap_1);
 CLS(2,_ASymbolMap_32,__ASymbolMap_32);
 ___ASymbolMap_20();
 ___ASymbolMap_18();
 ___ASymbolMap_19();
 ___ASymbolMap_21();
 ___ASymbolMap_17();
 __ASymbolMap_12=_ASymbolMap_16(__APrintableChar_36);
 __ASymbolMap_13=_ASymbolMap_16(__APrintableChar_11);
 ___ASymbolMap_22();}

