

#include "BUILTIN.h"
extern OBJ _AMapByBST_26(OBJ,OBJ,OBJ);extern OBJ __AMapByBST_26;
extern OBJ _AMapByBST_32(OBJ,OBJ,OBJ,OBJ);extern OBJ __AMapByBST_32;
extern OBJ _AString_57(OBJ);extern OBJ __AString_57;

#include "Nat.h"

#include "Char.h"
extern OBJ __ATree_7;
extern OBJ _ASeqConv_3(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __ASeqConv_3;
extern OBJ _ASeqConv_5(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __ASeqConv_5;
extern OBJ __ASeqConv_8;
extern OBJ _APairConv_4(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __APairConv_4;
extern OBJ _ABSTreeConv_7(OBJ,OBJ);extern OBJ __ABSTreeConv_7;
extern OBJ _AStringConv_1(OBJ);extern OBJ __AStringConv_1;
extern OBJ _ACompose_4(OBJ,OBJ,OBJ);extern OBJ __ACompose_4;
extern OBJ _AMapByBSTConv_4(OBJ,OBJ);OBJ __AMapByBSTConv_4; /* asSeq */
extern OBJ _AMapByBSTConv_5(OBJ,OBJ);OBJ __AMapByBSTConv_5; /* asMap */
extern OBJ _AMapByBSTConv_6(OBJ,OBJ,OBJ,OBJ);OBJ __AMapByBSTConv_6; /* ` */
extern OBJ _AMapByBSTConv_7(OBJ,OBJ,OBJ,OBJ);OBJ __AMapByBSTConv_7; /* `,1 */
extern OBJ _AMapByBSTConv_8(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AMapByBSTConv_8; /* `,2 */
extern OBJ _AMapByBSTConv_9(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AMapByBSTConv_9; /* `,3 */
OBJ __AMapByBSTConv_10; /* `,2'10 */
OBJ __AMapByBSTConv_11; /* `'11 */
OBJ __AMapByBSTConv_12; /* `'12 */
OBJ __AMapByBSTConv_13; /* `'13 */

extern OBJ _AMapByBSTConv_4(OBJ x1,OBJ x2) /* asSeq */
{OBJ r;
 CPCLS(__AMapByBST_26,1);
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMapByBST_26,1))(__AMapByBST_26,x1);
  r=_ABSTreeConv_7(x3,x2);}
 return r;}

extern OBJ _AMapByBSTConv_5(OBJ x1,OBJ x2) /* asMap */
{OBJ r;
 if(ISPRM(x2)){
  FRCLS(x1,1);
  r=__ATree_7;
 }else{
  {OBJ x29=FLD1(x2,1);OBJ x30=FLD1(x2,2);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    CPPRD(x29,1);COPY(x30,1);
    FRPRD(x2,1);}
   CPCLS(x1,1);
   {OBJ x32;
    x32=_AMapByBSTConv_5(x1,x30);
    {OBJ x33=FLD1(x29,1);OBJ x34=FLD1(x29,2);
     if(EXPRD(x29,1)){
      DSPRDF(x29);
     }else{
      COPY(x33,1);COPY(x34,1);
      FRPRD(x29,1);}
     r=_AMapByBST_32(x1,x33,x34,x32);}}}}
 return r;}

extern OBJ _AMapByBSTConv_6(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* ` */
{OBJ r;
 CPPRD(__AMapByBSTConv_11,1);
 CPPRD(__AMapByBSTConv_12,1);
 CPPRD(__AMapByBSTConv_13,1);
 CPPRD(__ASeqConv_8,1);
 r=_AMapByBSTConv_8(x1,__AMapByBSTConv_11,__AMapByBSTConv_12,__ASeqConv_8,__AMapByBSTConv_13,x2,x3,x4);
 return r;}

extern OBJ _AMapByBSTConv_7(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* `,1 */
{OBJ r;
 CPPRD(__AMapByBSTConv_11,1);
 CPPRD(__AMapByBSTConv_12,1);
 CPPRD(__AMapByBSTConv_13,1);
 CPPRD(__ASeqConv_8,1);
 r=_AMapByBSTConv_9(x1,__AMapByBSTConv_11,__AMapByBSTConv_12,__ASeqConv_8,__AMapByBSTConv_13,x2,x3,x4);
 return r;}

extern OBJ _AMapByBSTConv_8(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6,OBJ x7,OBJ x8) /* `,2 */
{OBJ r;
 CPPRD(__AMapByBSTConv_10,2);
 CPCLS(__AMapByBST_26,1);
 CPCLS(__APairConv_4,1);
 {OBJ x9;OBJ x10;OBJ x11;
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__APairConv_4,5))(__APairConv_4,__AMapByBSTConv_10,x2,__AMapByBSTConv_10,x6,x7);
  x10=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMapByBST_26,1))(__AMapByBST_26,x1);
  x11=_ABSTreeConv_7(x10,x8);
  r=_ASeqConv_3(x3,x4,x5,x9,x11);}
 return r;}

extern OBJ _AMapByBSTConv_9(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6,OBJ x7,OBJ x8) /* `,3 */
{OBJ r;
 CPPRD(__AMapByBSTConv_10,2);
 CPCLS(__AMapByBST_26,1);
 CPCLS(__AString_57,1);
 CPCLS(__APairConv_4,1);
 CPCLS(__AStringConv_1,2);
 CPCLS(__ACompose_4,3);
 {OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
  x9=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__AStringConv_1,x6);
  x10=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__AStringConv_1,x7);
  x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMapByBST_26,1))(__AMapByBST_26,x1);
  x12=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__APairConv_4,5))(__APairConv_4,__AMapByBSTConv_10,x2,__AMapByBSTConv_10,x9,x10);
  x13=_ABSTreeConv_7(x11,x8);
  x14=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__AString_57,x12);
  r=_ASeqConv_5(x3,x4,x5,x14,x13);}
 return r;}

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

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

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

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

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

static OBJ _mt_8_1_6(OBJ t,OBJ t1,OBJ t2,OBJ t3,OBJ t4,OBJ t5,OBJ t6) 
{OBJ r;
 if(EXCLS(t)){
  r=t;
 }else{
  DPCLS(t,r);
  FLDCLS(r,1)=FLDCLS(t,1);
  COPY(FLDCLS(r,1),1);}
 INCCLS(r,1,6);
 FLDCLS(r,2)=t1;
 FLDCLS(r,3)=t2;
 FLDCLS(r,4)=t3;
 FLDCLS(r,5)=t4;
 FLDCLS(r,6)=t5;
 FLDCLS(r,7)=t6;
 return r;}

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

static OBJ _mt_8_2_5(OBJ t,OBJ t1,OBJ t2,OBJ t3,OBJ t4,OBJ t5) 
{OBJ r;
 if(EXCLS(t)){
  r=t;
 }else{
  DPCLS(t,r);
  FLDCLS(r,1)=FLDCLS(t,1);
  FLDCLS(r,2)=FLDCLS(t,2);
  COPY(FLDCLS(r,1),1);
  COPY(FLDCLS(r,2),1);}
 INCCLS(r,2,5);
 FLDCLS(r,3)=t1;
 FLDCLS(r,4)=t2;
 FLDCLS(r,5)=t3;
 FLDCLS(r,6)=t4;
 FLDCLS(r,7)=t5;
 return r;}

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

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

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

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

init_AMapByBSTConv()
{
 static int visited=0; if(visited) return; visited=1;
 init_AMapByBST();
 init_ASeq();
 init_APair();
 init_AString();
 init_ANat();
 init_AChar();
 init_AOption();
 init_ASetByBST();
 init_ABSTree();
 init_ATree();
 init_ASeqConv();
 init_APairConv();
 init_ASetByBSTConv();
 init_ABSTreeConv();
 init_AStringConv();
 init_ACompose();
 init_ATreeMap();
 init_AStringMapSeq();
 DEN("}",__AMapByBSTConv_13);
 DEN("{",__AMapByBSTConv_12);
 DEN(" -> ",__AMapByBSTConv_11);
 DEN("",__AMapByBSTConv_10);
 CLS(8,_AMapByBSTConv_9,__AMapByBSTConv_9);
 CLS(8,_AMapByBSTConv_8,__AMapByBSTConv_8);
 CLS(4,_AMapByBSTConv_7,__AMapByBSTConv_7);
 CLS(4,_AMapByBSTConv_6,__AMapByBSTConv_6);
 CLS(2,_AMapByBSTConv_5,__AMapByBSTConv_5);
 CLS(2,_AMapByBSTConv_4,__AMapByBSTConv_4);
 MTH(8,0,2,_mt_8_0_2);LZYMTH(8,0,2,_mt_8_0_2);
 MTH(8,0,5,_mt_8_0_5);LZYMTH(8,0,5,_mt_8_0_5);
 MTH(8,0,7,_mt_8_0_7);LZYMTH(8,0,7,_mt_8_0_7);
 MTH(8,1,1,_mt_8_1_1);LZYMTH(8,1,1,_mt_8_1_1);
 MTH(8,1,4,_mt_8_1_4);LZYMTH(8,1,4,_mt_8_1_4);
 MTH(8,1,6,_mt_8_1_6);LZYMTH(8,1,6,_mt_8_1_6);
 MTH(8,2,3,_mt_8_2_3);LZYMTH(8,2,3,_mt_8_2_3);
 MTH(8,2,5,_mt_8_2_5);LZYMTH(8,2,5,_mt_8_2_5);
 MTH(8,2,6,_mt_8_2_6);LZYMTH(8,2,6,_mt_8_2_6);
 MTH(8,5,2,_mt_8_5_2);LZYMTH(8,5,2,_mt_8_5_2);
 MTH(8,5,3,_mt_8_5_3);LZYMTH(8,5,3,_mt_8_5_3);
 MTH(8,7,1,_mt_8_7_1);LZYMTH(8,7,1,_mt_8_7_1_l);}

