

#include "BUILTIN.h"
extern OBJ _AISeq_26(OBJ);extern OBJ __AISeq_26;
extern OBJ _AISeq_27(OBJ);extern OBJ __AISeq_27;

#include "Nat.h"
extern OBJ _AISeqSort_2(OBJ,OBJ,OBJ);OBJ __AISeqSort_2; /* merge */
extern OBJ _AISeqSort_3(OBJ,OBJ);OBJ __AISeqSort_3; /* merge'3 */
extern OBJ _AISeqSort_4(OBJ,OBJ,OBJ,OBJ);OBJ __AISeqSort_4; /* merge'4 */
extern OBJ _AISeqSort_5(OBJ,OBJ);OBJ __AISeqSort_5; /* merge'5 */
extern OBJ _AISeqSort_6(OBJ,OBJ,OBJ,OBJ);OBJ __AISeqSort_6; /* merge'6 */

extern OBJ _AISeqSort_2(OBJ x1,OBJ x2,OBJ x3) /* merge */
{OBJ r;
 CPCLS(__AISeq_27,2);
 CPCLS(x1,1);
 CPPRD(x2,1);
 CPPRD(x3,1);
 {OBJ x4;OBJ x5;OBJ x6;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AISeq_27,2))(__AISeq_27,x2,__ABUILTIN_20);
  COPY(x4,1);
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AISeq_27,2))(__AISeq_27,x3,__ABUILTIN_20);
  COPY(x5,1);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(x1,2))(x1,x4,x5);
  if(ISTGPRM(x6,1)){
   FREE(x5,1);
   CPCLS(__AISeqSort_3,1);
   CPCLS(__AISeqSort_4,1);
   {OBJ x7;OBJ x8;
    x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__AISeqSort_3,1))(__AISeqSort_3,x4);
    x8=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AISeqSort_4,3))(__AISeqSort_4,x1,x2,x3);
    PRD1(2,r);FLD1(r,1)=x7;FLD1(r,2)=x8;}
  }else{
   FREE(x4,1);
   CPCLS(__AISeqSort_5,1);
   CPCLS(__AISeqSort_6,1);
   {OBJ x9;OBJ x10;
    x9=(*(OBJ(*)(OBJ,OBJ))METHOD(__AISeqSort_5,1))(__AISeqSort_5,x5);
    x10=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AISeqSort_6,3))(__AISeqSort_6,x1,x2,x3);
    PRD1(2,r);FLD1(r,1)=x9;FLD1(r,2)=x10;}}}
 return r;}

extern OBJ _AISeqSort_3(OBJ x1,OBJ x2) /* merge'3 */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AISeqSort_4(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* merge'4 */
{OBJ r;
 CPCLS(__AISeq_26,1);
 {OBJ x5;
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AISeq_26,2))(__AISeq_26,x2,__ABUILTIN_20);
  r=_AISeqSort_2(x1,x5,x3);}
 return r;}

extern OBJ _AISeqSort_5(OBJ x1,OBJ x2) /* merge'5 */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AISeqSort_6(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* merge'6 */
{OBJ r;
 CPCLS(__AISeq_26,1);
 {OBJ x5;
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AISeq_26,2))(__AISeq_26,x3,__ABUILTIN_20);
  r=_AISeqSort_2(x1,x2,x5);}
 return r;}

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

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

static OBJ _mt_4_3_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);
  DCCLS(t,1);}
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),t1);
 return r;}
static OBJ _mt_4_3_1_l(OBJ t,OBJ t1) 
{OBJ r;
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),t1);
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  DCCLS(t,1);
  FLDCLS(t,1)=NIL;FLDCLS(t,2)=NIL;FLDCLS(t,3)=NIL;
  COPY(r,1);LZYCLS(t,r);}
 return r;}

init_AISeqSort()
{
 static int visited=0; if(visited) return; visited=1;
 init_AISeq();
 init_ANat();
 init_AOption();
 init_ASeq();
 LCLS(4,_AISeqSort_6,__AISeqSort_6);
 LCLS(2,_AISeqSort_5,__AISeqSort_5);
 LCLS(4,_AISeqSort_4,__AISeqSort_4);
 LCLS(2,_AISeqSort_3,__AISeqSort_3);
 CLS(3,_AISeqSort_2,__AISeqSort_2);
 MTH(4,0,3,_mt_4_0_3);LZYMTH(4,0,3,_mt_4_0_3);
 MTH(4,0,4,_mt_4_0_4);LZYMTH(4,0,4,_mt_4_0_4);
 MTH(4,3,1,_mt_4_3_1);LZYMTH(4,3,1,_mt_4_3_1_l);}

