

#ifndef ASeq_included
#define ASeq_included

#define __ASeq_Sii __ASeq_2
#define _ASeq_Sii _ASeq_2
extern OBJ __ASeq_Sii;
extern OBJ _ASeq_Sii(OBJ,OBJ);

#define __ASeq_Sii_ __ASeq_3
#define _ASeq_Sii_ _ASeq_3
extern OBJ __ASeq_Sii_;
extern OBJ _ASeq_Sii_(OBJ);

#define __ASeq_Art __ASeq_4
#define _ASeq_Art _ASeq_4
extern OBJ __ASeq_Art;
extern OBJ _ASeq_Art(OBJ);

#define __ASeq_Aft __ASeq_5
#define _ASeq_Aft _ASeq_5
extern OBJ __ASeq_Aft;
extern OBJ _ASeq_Aft(OBJ);

#define __ASeq_Slg __ASeq_6
extern OBJ __ASeq_Slg;

#define __ASeq_Slg_ __ASeq_7
#define _ASeq_Slg_ _ASeq_7
extern OBJ __ASeq_Slg_;
extern OBJ _ASeq_Slg_(OBJ);

#define __ASeq_Aempty __ASeq_9
extern OBJ __ASeq_Aempty;

#define __ASeq_Acons __ASeq_10
#define _ASeq_Acons _ASeq_10
extern OBJ __ASeq_Acons;
extern OBJ _ASeq_Acons(OBJ,OBJ);

#define __ASeq_Aempty_ __ASeq_11
#define _ASeq_Aempty_ _ASeq_11
extern OBJ __ASeq_Aempty_;
extern OBJ _ASeq_Aempty_(OBJ);

#define __ASeq_Acons_ __ASeq_12
#define _ASeq_Acons_ _ASeq_12
extern OBJ __ASeq_Acons_;
extern OBJ _ASeq_Acons_(OBJ);

#define __ASeq_S5 __ASeq_13
#define _ASeq_S5 _ASeq_13
extern OBJ __ASeq_S5;
extern OBJ _ASeq_S5(OBJ);

#define __ASeq_S5_O1 __ASeq_14
#define _ASeq_S5_O1 _ASeq_14
extern OBJ __ASeq_S5_O1;
extern OBJ _ASeq_S5_O1(OBJ,OBJ);

#define __ASeq_S5_O2 __ASeq_15
#define _ASeq_S5_O2 _ASeq_15
extern OBJ __ASeq_S5_O2;
extern OBJ _ASeq_S5_O2(OBJ,OBJ,OBJ);

#define __ASeq_S5_O3 __ASeq_16
#define _ASeq_S5_O3 _ASeq_16
extern OBJ __ASeq_S5_O3;
extern OBJ _ASeq_S5_O3(OBJ,OBJ,OBJ,OBJ);

#define __ASeq_S5_O4 __ASeq_17
#define _ASeq_S5_O4 _ASeq_17
extern OBJ __ASeq_S5_O4;
extern OBJ _ASeq_S5_O4(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASeq_S5_O5 __ASeq_18
#define _ASeq_S5_O5 _ASeq_18
extern OBJ __ASeq_S5_O5;
extern OBJ _ASeq_S5_O5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASeq_S5_O6 __ASeq_19
#define _ASeq_S5_O6 _ASeq_19
extern OBJ __ASeq_S5_O6;
extern OBJ _ASeq_S5_O6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASeq_S5_O7 __ASeq_20
#define _ASeq_S5_O7 _ASeq_20
extern OBJ __ASeq_S5_O7;
extern OBJ _ASeq_S5_O7(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASeq_Sp5 __ASeq_23
#define _ASeq_Sp5 _ASeq_23
extern OBJ __ASeq_Sp5;
extern OBJ _ASeq_Sp5(OBJ,OBJ);

#define __ASeq_Sdd __ASeq_24
#define _ASeq_Sdd _ASeq_24
extern OBJ __ASeq_Sdd;
extern OBJ _ASeq_Sdd(OBJ,OBJ,OBJ);

#define __ASeq_Aiter __ASeq_25
#define _ASeq_Aiter _ASeq_25
extern OBJ __ASeq_Aiter;
extern OBJ _ASeq_Aiter(OBJ,OBJ,OBJ);

#define __ASeq_Spp __ASeq_26
#define _ASeq_Spp _ASeq_26
extern OBJ __ASeq_Spp;
extern OBJ _ASeq_Spp(OBJ,OBJ);

#define __ASeq_Spsp __ASeq_27
#define _ASeq_Spsp _ASeq_27
extern OBJ __ASeq_Spsp;
extern OBJ _ASeq_Spsp(OBJ,OBJ,OBJ);

#define __ASeq_Spsp_O1 __ASeq_28
#define _ASeq_Spsp_O1 _ASeq_28
extern OBJ __ASeq_Spsp_O1;
extern OBJ _ASeq_Spsp_O1(OBJ,OBJ,OBJ);

#define __ASeq_Sp5p __ASeq_29
#define _ASeq_Sp5p _ASeq_29
extern OBJ __ASeq_Sp5p;
extern OBJ _ASeq_Sp5p(OBJ,OBJ,OBJ);

#define __ASeq_Sp5p_O1 __ASeq_30
#define _ASeq_Sp5p_O1 _ASeq_30
extern OBJ __ASeq_Sp5p_O1;
extern OBJ _ASeq_Sp5p_O1(OBJ,OBJ,OBJ);

#define __ASeq_Atake __ASeq_31
#define _ASeq_Atake _ASeq_31
extern OBJ __ASeq_Atake;
extern OBJ _ASeq_Atake(OBJ,OBJ);

#define __ASeq_Adrop __ASeq_32
#define _ASeq_Adrop _ASeq_32
extern OBJ __ASeq_Adrop;
extern OBJ _ASeq_Adrop(OBJ,OBJ);

#define __ASeq_Asplit __ASeq_33
#define _ASeq_Asplit _ASeq_33
extern OBJ __ASeq_Asplit;
extern TUP2 _ASeq_Asplit(OBJ,OBJ);

#define __ASeq_Afront __ASeq_34
#define _ASeq_Afront _ASeq_34
extern OBJ __ASeq_Afront;
extern OBJ _ASeq_Afront(OBJ);

#define __ASeq_Arevert __ASeq_36
#define _ASeq_Arevert _ASeq_36
extern OBJ __ASeq_Arevert;
extern OBJ _ASeq_Arevert(OBJ);

#define __ASeq_Alast __ASeq_38
#define _ASeq_Alast _ASeq_38
extern OBJ __ASeq_Alast;
extern OBJ _ASeq_Alast(OBJ);

#define __ASeq_S3 __ASeq_39
#define _ASeq_S3 _ASeq_39
extern OBJ __ASeq_S3;
extern OBJ _ASeq_S3(OBJ);

#define __ASeq_Aexist_ __ASeq_40
#define _ASeq_Aexist_ _ASeq_40
extern OBJ __ASeq_Aexist_;
extern OBJ _ASeq_Aexist_(OBJ,OBJ);

#define __ASeq_Afind_ __ASeq_41
#define _ASeq_Afind_ _ASeq_41
extern OBJ __ASeq_Afind_;
extern OBJ _ASeq_Afind_(OBJ,OBJ);

#define __ASeq_Aforall_ __ASeq_42
#define _ASeq_Aforall_ _ASeq_42
extern OBJ __ASeq_Aforall_;
extern OBJ _ASeq_Aforall_(OBJ,OBJ);

#define __ASeq_Sl __ASeq_43
#define _ASeq_Sl _ASeq_43
extern OBJ __ASeq_Sl;
extern OBJ _ASeq_Sl(OBJ,OBJ,OBJ);

#define __ASeq_Se __ASeq_44
#define _ASeq_Se _ASeq_44
extern OBJ __ASeq_Se;
extern OBJ _ASeq_Se(OBJ,OBJ,OBJ);

#define __ASeq_Arev __ASeq_51
#define _ASeq_Arev _ASeq_51
extern OBJ __ASeq_Arev;
extern OBJ _ASeq_Arev(OBJ,OBJ);

#define __ASeq_S3_O1 __ASeq_52
#define _ASeq_S3_O1 _ASeq_52
extern OBJ __ASeq_S3_O1;
extern OBJ _ASeq_S3_O1(OBJ,OBJ);

#ifndef ASeq_Sii
#define ASeq_Sii(x1,x2,x3) {x3=_ASeq_Sii(x1,x2);}
#endif

#ifndef ASeq_Sii_
#define ASeq_Sii_(x1,x4) {x4=_ASeq_Sii_(x1);}
#endif

#ifndef ASeq_Art
#define ASeq_Art(x1,x4) {x4=_ASeq_Art(x1);}
#endif

#ifndef ASeq_Aft
#define ASeq_Aft(x1,x4) {x4=_ASeq_Aft(x1);}
#endif

#ifndef ASeq_Slg_
#define ASeq_Slg_(x1,x4) {x4=_ASeq_Slg_(x1);}
#endif

#ifndef ASeq_Acons
#define ASeq_Acons(x1,x2,x3) {x3=_ASeq_Acons(x1,x2);}
#endif

#ifndef ASeq_Aempty_
#define ASeq_Aempty_(x1,x4) {x4=_ASeq_Aempty_(x1);}
#endif

#ifndef ASeq_Acons_
#define ASeq_Acons_(x1,x4) {x4=_ASeq_Acons_(x1);}
#endif

#ifndef ASeq_S5
#define ASeq_S5(x1,x2) {x2=_ASeq_S5(x1);}
#endif

#ifndef ASeq_S5_O1
#define ASeq_S5_O1(x1,x2,x4) {x4=_ASeq_S5_O1(x1,x2);}
#endif

#ifndef ASeq_S5_O2
#define ASeq_S5_O2(x1,x2,x3,x6) {x6=_ASeq_S5_O2(x1,x2,x3);}
#endif

#ifndef ASeq_S5_O3
#define ASeq_S5_O3(x1,x2,x3,x4,x6) {x6=_ASeq_S5_O3(x1,x2,x3,x4);}
#endif

#ifndef ASeq_S5_O4
#define ASeq_S5_O4(x1,x2,x3,x4,x5,x8) {x8=_ASeq_S5_O4(x1,x2,x3,x4,x5);}
#endif

#ifndef ASeq_S5_O5
#define ASeq_S5_O5(x1,x2,x3,x4,x5,x6,x8) {x8=_ASeq_S5_O5(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ASeq_S5_O6
#define ASeq_S5_O6(x1,x2,x3,x4,x5,x6,x7,x10) {x10=_ASeq_S5_O6(x1,x2,x3,x4,x5,x6,x7);}
#endif

#ifndef ASeq_S5_O7
#define ASeq_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x10) {x10=_ASeq_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8);}
#endif

#ifndef ASeq_Sp5
#define ASeq_Sp5(x1,x2,x25) {x25=_ASeq_Sp5(x1,x2);}
#endif

#ifndef ASeq_Sdd
#define ASeq_Sdd(x1,x2,x3,x8) {x8=_ASeq_Sdd(x1,x2,x3);}
#endif

#ifndef ASeq_Aiter
#define ASeq_Aiter(x1,x2,x3,x10) {x10=_ASeq_Aiter(x1,x2,x3);}
#endif

#ifndef ASeq_Spp
#define ASeq_Spp(x1,x2,x25) {x25=_ASeq_Spp(x1,x2);}
#endif

#ifndef ASeq_Spsp
#define ASeq_Spsp(x1,x2,x3,x25) {x25=_ASeq_Spsp(x1,x2,x3);}
#endif

#ifndef ASeq_Spsp_O1
#define ASeq_Spsp_O1(x1,x2,x3,x25) {x25=_ASeq_Spsp_O1(x1,x2,x3);}
#endif

#ifndef ASeq_Sp5p
#define ASeq_Sp5p(x1,x2,x3,x5) {x5=_ASeq_Sp5p(x1,x2,x3);}
#endif

#ifndef ASeq_Sp5p_O1
#define ASeq_Sp5p_O1(x1,x2,x3,x5) {x5=_ASeq_Sp5p_O1(x1,x2,x3);}
#endif

#ifndef ASeq_Atake
#define ASeq_Atake(x1,x2,x29) {x29=_ASeq_Atake(x1,x2);}
#endif

#ifndef ASeq_Adrop
#define ASeq_Adrop(x1,x2,x18) {x18=_ASeq_Adrop(x1,x2);}
#endif

#ifndef ASeq_Asplit
#define ASeq_Asplit(x1,x2,x35,x36) {TUP2 t;t=_ASeq_Asplit(x1,x2);x35=t.c1;x36=t.c2;}
#endif

#ifndef ASeq_Afront
#define ASeq_Afront(x1,x29) {x29=_ASeq_Afront(x1);}
#endif

#ifndef ASeq_Arevert
#define ASeq_Arevert(x1,x2) {x2=_ASeq_Arevert(x1);}
#endif

#ifndef ASeq_Alast
#define ASeq_Alast(x1,x24) {x24=_ASeq_Alast(x1);}
#endif

#ifndef ASeq_S3
#define ASeq_S3(x1,x2) {x2=_ASeq_S3(x1);}
#endif

#ifndef ASeq_Aexist_
#define ASeq_Aexist_(x1,x2,x25) {x25=_ASeq_Aexist_(x1,x2);}
#endif

#ifndef ASeq_Afind_
#define ASeq_Afind_(x1,x2,x25) {x25=_ASeq_Afind_(x1,x2);}
#endif

#ifndef ASeq_Aforall_
#define ASeq_Aforall_(x1,x2,x25) {x25=_ASeq_Aforall_(x1,x2);}
#endif

#ifndef ASeq_Sl
#define ASeq_Sl(x1,x2,x3,x73) {x73=_ASeq_Sl(x1,x2,x3);}
#endif

#ifndef ASeq_Se
#define ASeq_Se(x1,x2,x3,x69) {x69=_ASeq_Se(x1,x2,x3);}
#endif

#ifndef ASeq_Arev
#define ASeq_Arev(x1,x2,x25) {x25=_ASeq_Arev(x1,x2);}
#endif

#ifndef ASeq_S3_O1
#define ASeq_S3_O1(x1,x2,x16) {x16=_ASeq_S3_O1(x1,x2);}
#endif

#endif
