

#ifndef ABSTree_included
#define ABSTree_included

#define __ABSTree_Anode __ABSTree_2
#define _ABSTree_Anode _ABSTree_2
extern OBJ __ABSTree_Anode;
extern OBJ _ABSTree_Anode(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_Anode_ __ABSTree_3
#define _ABSTree_Anode_ _ABSTree_3
extern OBJ __ABSTree_Anode_;
extern OBJ _ABSTree_Anode_(OBJ,OBJ);

#define __ABSTree_Aright __ABSTree_4
#define _ABSTree_Aright _ABSTree_4
extern OBJ __ABSTree_Aright;
extern OBJ _ABSTree_Aright(OBJ,OBJ);

#define __ABSTree_Aleft __ABSTree_5
#define _ABSTree_Aleft _ABSTree_5
extern OBJ __ABSTree_Aleft;
extern OBJ _ABSTree_Aleft(OBJ,OBJ);

#define __ABSTree_Aval __ABSTree_6
#define _ABSTree_Aval _ABSTree_6
extern OBJ __ABSTree_Aval;
extern OBJ _ABSTree_Aval(OBJ,OBJ);

#define __ABSTree_Anil __ABSTree_7
#define _ABSTree_Anil _ABSTree_7
extern OBJ __ABSTree_Anil;
extern OBJ _ABSTree_Anil(OBJ);

#define __ABSTree_Anil_ __ABSTree_8
#define _ABSTree_Anil_ _ABSTree_8
extern OBJ __ABSTree_Anil_;
extern OBJ _ABSTree_Anil_(OBJ,OBJ);

#define __ABSTree_S5 __ABSTree_11
#define _ABSTree_S5 _ABSTree_11
extern OBJ __ABSTree_S5;
extern OBJ _ABSTree_S5(OBJ,OBJ);

#define __ABSTree_S5_O1 __ABSTree_12
#define _ABSTree_S5_O1 _ABSTree_12
extern OBJ __ABSTree_S5_O1;
extern OBJ _ABSTree_S5_O1(OBJ,OBJ,OBJ);

#define __ABSTree_S5_O2 __ABSTree_13
#define _ABSTree_S5_O2 _ABSTree_13
extern OBJ __ABSTree_S5_O2;
extern OBJ _ABSTree_S5_O2(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_S5_O3 __ABSTree_14
#define _ABSTree_S5_O3 _ABSTree_14
extern OBJ __ABSTree_S5_O3;
extern OBJ _ABSTree_S5_O3(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_S5_O4 __ABSTree_15
#define _ABSTree_S5_O4 _ABSTree_15
extern OBJ __ABSTree_S5_O4;
extern OBJ _ABSTree_S5_O4(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_S5_O5 __ABSTree_16
#define _ABSTree_S5_O5 _ABSTree_16
extern OBJ __ABSTree_S5_O5;
extern OBJ _ABSTree_S5_O5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_S5_O6 __ABSTree_17
#define _ABSTree_S5_O6 _ABSTree_17
extern OBJ __ABSTree_S5_O6;
extern OBJ _ABSTree_S5_O6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_S5_O7 __ABSTree_18
#define _ABSTree_S5_O7 _ABSTree_18
extern OBJ __ABSTree_S5_O7;
extern OBJ _ABSTree_S5_O7(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_Aincl __ABSTree_19
#define _ABSTree_Aincl _ABSTree_19
extern OBJ __ABSTree_Aincl;
extern OBJ _ABSTree_Aincl(OBJ,OBJ,OBJ);

#define __ABSTree_Aexcl __ABSTree_20
#define _ABSTree_Aexcl _ABSTree_20
extern OBJ __ABSTree_Aexcl;
extern OBJ _ABSTree_Aexcl(OBJ,OBJ,OBJ);

#define __ABSTree_Aiter __ABSTree_21
#define _ABSTree_Aiter _ABSTree_21
extern OBJ __ABSTree_Aiter;
extern OBJ _ABSTree_Aiter(OBJ,OBJ,OBJ);

#define __ABSTree_Spp __ABSTree_22
#define _ABSTree_Spp _ABSTree_22
extern OBJ __ABSTree_Spp;
extern OBJ _ABSTree_Spp(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_Sie_Aval __ABSTree_23
#define _ABSTree_Sie_Aval _ABSTree_23
extern OBJ __ABSTree_Sie_Aval;
extern OBJ _ABSTree_Sie_Aval(OBJ,OBJ,OBJ);

#define __ABSTree_Sie_Aleft __ABSTree_24
#define _ABSTree_Sie_Aleft _ABSTree_24
extern OBJ __ABSTree_Sie_Aleft;
extern OBJ _ABSTree_Sie_Aleft(OBJ,OBJ,OBJ);

#define __ABSTree_Sie_Aright __ABSTree_25
#define _ABSTree_Sie_Aright _ABSTree_25
extern OBJ __ABSTree_Sie_Aright;
extern OBJ _ABSTree_Sie_Aright(OBJ,OBJ,OBJ);

#define __ABSTree_Amin __ABSTree_26
#define _ABSTree_Amin _ABSTree_26
extern OBJ __ABSTree_Amin;
extern OBJ _ABSTree_Amin(OBJ,OBJ);

#define __ABSTree_Aleftmost __ABSTree_27
#define _ABSTree_Aleftmost _ABSTree_27
extern OBJ __ABSTree_Aleftmost;
extern OBJ _ABSTree_Aleftmost(OBJ,OBJ);

#define __ABSTree_Arightmost __ABSTree_28
#define _ABSTree_Arightmost _ABSTree_28
extern OBJ __ABSTree_Arightmost;
extern OBJ _ABSTree_Arightmost(OBJ,OBJ);

#define __ABSTree_Achildren __ABSTree_29
#define _ABSTree_Achildren _ABSTree_29
extern OBJ __ABSTree_Achildren;
extern OBJ _ABSTree_Achildren(OBJ,OBJ);

#define __ABSTree_Agrandchildren __ABSTree_30
#define _ABSTree_Agrandchildren _ABSTree_30
extern OBJ __ABSTree_Agrandchildren;
extern OBJ _ABSTree_Agrandchildren(OBJ,OBJ);

#define __ABSTree_Alevel __ABSTree_31
#define _ABSTree_Alevel _ABSTree_31
extern OBJ __ABSTree_Alevel;
extern OBJ _ABSTree_Alevel(OBJ,OBJ,OBJ);

#define __ABSTree_Afront __ABSTree_32
#define _ABSTree_Afront _ABSTree_32
extern OBJ __ABSTree_Afront;
extern OBJ _ABSTree_Afront(OBJ,OBJ);

#define __ABSTree_Ain __ABSTree_33
#define _ABSTree_Ain _ABSTree_33
extern OBJ __ABSTree_Ain;
extern OBJ _ABSTree_Ain(OBJ,OBJ,OBJ);

#define __ABSTree_S3 __ABSTree_34
#define _ABSTree_S3 _ABSTree_34
extern OBJ __ABSTree_S3;
extern OBJ _ABSTree_S3(OBJ,OBJ);

#define __ABSTree_Adepth __ABSTree_35
#define _ABSTree_Adepth _ABSTree_35
extern OBJ __ABSTree_Adepth;
extern OBJ _ABSTree_Adepth(OBJ,OBJ);

#define __ABSTree_Awidth __ABSTree_36
#define _ABSTree_Awidth _ABSTree_36
extern OBJ __ABSTree_Awidth;
extern OBJ _ABSTree_Awidth(OBJ,OBJ);

#define __ABSTree_Aleaf_ __ABSTree_37
#define _ABSTree_Aleaf_ _ABSTree_37
extern OBJ __ABSTree_Aleaf_;
extern OBJ _ABSTree_Aleaf_(OBJ,OBJ);

#define __ABSTree_Aexist_ __ABSTree_38
#define _ABSTree_Aexist_ _ABSTree_38
extern OBJ __ABSTree_Aexist_;
extern OBJ _ABSTree_Aexist_(OBJ,OBJ,OBJ);

#define __ABSTree_Aforall_ __ABSTree_39
#define _ABSTree_Aforall_ _ABSTree_39
extern OBJ __ABSTree_Aforall_;
extern OBJ _ABSTree_Aforall_(OBJ,OBJ,OBJ);

#define __ABSTree_Afind_ __ABSTree_40
#define _ABSTree_Afind_ _ABSTree_40
extern OBJ __ABSTree_Afind_;
extern OBJ _ABSTree_Afind_(OBJ,OBJ,OBJ);

#define __ABSTree_Sl __ABSTree_41
#define _ABSTree_Sl _ABSTree_41
extern OBJ __ABSTree_Sl;
extern OBJ _ABSTree_Sl(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_SOlC __ABSTree_42
#define _ABSTree_SOlC _ABSTree_42
extern OBJ __ABSTree_SOlC;
extern OBJ _ABSTree_SOlC(OBJ,OBJ,OBJ);

#define __ABSTree_Se __ABSTree_43
#define _ABSTree_Se _ABSTree_43
extern OBJ __ABSTree_Se;
extern OBJ _ABSTree_Se(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_Aabs __ABSTree_44
#define _ABSTree_Aabs _ABSTree_44
extern OBJ __ABSTree_Aabs;
extern OBJ _ABSTree_Aabs(OBJ,OBJ);

#define __ABSTree_Arep __ABSTree_45
#define _ABSTree_Arep _ABSTree_45
extern OBJ __ABSTree_Arep;
extern OBJ _ABSTree_Arep(OBJ,OBJ);

#define __ABSTree_Abstree_ __ABSTree_46
#define _ABSTree_Abstree_ _ABSTree_46
extern OBJ __ABSTree_Abstree_;
extern OBJ _ABSTree_Abstree_(OBJ,OBJ);

#define __ABSTree_Abstree0_ __ABSTree_47
#define _ABSTree_Abstree0_ _ABSTree_47
extern OBJ __ABSTree_Abstree0_;
extern OBJ _ABSTree_Abstree0_(OBJ,OBJ);

#define __ABSTree_Abalance __ABSTree_48
#define _ABSTree_Abalance _ABSTree_48
extern OBJ __ABSTree_Abalance;
extern OBJ _ABSTree_Abalance(OBJ,OBJ);

#define __ABSTree_Abalanced_ __ABSTree_49
#define _ABSTree_Abalanced_ _ABSTree_49
extern OBJ __ABSTree_Abalanced_;
extern OBJ _ABSTree_Abalanced_(OBJ,OBJ);

#define __ABSTree_Alrotate __ABSTree_50
#define _ABSTree_Alrotate _ABSTree_50
extern OBJ __ABSTree_Alrotate;
extern OBJ _ABSTree_Alrotate(OBJ,OBJ);

#define __ABSTree_Arrotate __ABSTree_51
#define _ABSTree_Arrotate _ABSTree_51
extern OBJ __ABSTree_Arrotate;
extern OBJ _ABSTree_Arrotate(OBJ,OBJ);

#define __ABSTree_Adlrotate __ABSTree_52
#define _ABSTree_Adlrotate _ABSTree_52
extern OBJ __ABSTree_Adlrotate;
extern OBJ _ABSTree_Adlrotate(OBJ,OBJ);

#define __ABSTree_Adrrotate __ABSTree_53
#define _ABSTree_Adrrotate _ABSTree_53
extern OBJ __ABSTree_Adrrotate;
extern OBJ _ABSTree_Adrrotate(OBJ,OBJ);

#define __ABSTree_Aabs_ __ABSTree_55
#define _ABSTree_Aabs_ _ABSTree_55
extern OBJ __ABSTree_Aabs_;
extern OBJ _ABSTree_Aabs_(OBJ,OBJ);

#define __ABSTree_Aincl_O1 __ABSTree_57
#define _ABSTree_Aincl_O1 _ABSTree_57
extern OBJ __ABSTree_Aincl_O1;
extern OBJ _ABSTree_Aincl_O1(OBJ,OBJ,OBJ);

#define __ABSTree_Aexcl_O1 __ABSTree_58
#define _ABSTree_Aexcl_O1 _ABSTree_58
extern OBJ __ABSTree_Aexcl_O1;
extern OBJ _ABSTree_Aexcl_O1(OBJ,OBJ,OBJ);

#define __ABSTree_AextractLeftmost __ABSTree_59
#define _ABSTree_AextractLeftmost _ABSTree_59
extern OBJ __ABSTree_AextractLeftmost;
extern TUP2 _ABSTree_AextractLeftmost(OBJ,OBJ);

#define __ABSTree_Spp_O1 __ABSTree_60
#define _ABSTree_Spp_O1 _ABSTree_60
extern OBJ __ABSTree_Spp_O1;
extern OBJ _ABSTree_Spp_O1(OBJ,OBJ,OBJ,OBJ);

#define __ABSTree_Ain_O1 __ABSTree_61
#define _ABSTree_Ain_O1 _ABSTree_61
extern OBJ __ABSTree_Ain_O1;
extern OBJ _ABSTree_Ain_O1(OBJ,OBJ,OBJ);

#define __ABSTree_S3_O1 __ABSTree_62
#define _ABSTree_S3_O1 _ABSTree_62
extern OBJ __ABSTree_S3_O1;
extern OBJ _ABSTree_S3_O1(OBJ,OBJ);

#define __ABSTree_Sg_Aratio __ABSTree_65
#define _ABSTree_Sg_Aratio _ABSTree_65
extern OBJ __ABSTree_Sg_Aratio;
extern OBJ _ABSTree_Sg_Aratio(OBJ,OBJ,OBJ);

#define __ABSTree_Abalanced0_ __ABSTree_68
#define _ABSTree_Abalanced0_ _ABSTree_68
extern OBJ __ABSTree_Abalanced0_;
extern OBJ _ABSTree_Abalanced0_(OBJ,OBJ);

#ifndef ABSTree_Anode
#define ABSTree_Anode(x1,x2,x3,x4,x23) {x23=_ABSTree_Anode(x1,x2,x3,x4);}
#endif

#ifndef ABSTree_Anode_
#define ABSTree_Anode_(x1,x2,x6) {x6=_ABSTree_Anode_(x1,x2);}
#endif

#ifndef ABSTree_Aright
#define ABSTree_Aright(x1,x2,x13) {x13=_ABSTree_Aright(x1,x2);}
#endif

#ifndef ABSTree_Aleft
#define ABSTree_Aleft(x1,x2,x13) {x13=_ABSTree_Aleft(x1,x2);}
#endif

#ifndef ABSTree_Aval
#define ABSTree_Aval(x1,x2,x18) {x18=_ABSTree_Aval(x1,x2);}
#endif

#ifndef ABSTree_Anil
#define ABSTree_Anil(x1,x2) {x2=_ABSTree_Anil(x1);}
#endif

#ifndef ABSTree_Anil_
#define ABSTree_Anil_(x1,x2,x6) {x6=_ABSTree_Anil_(x1,x2);}
#endif

#ifndef ABSTree_S5
#define ABSTree_S5(x1,x2,x4) {x4=_ABSTree_S5(x1,x2);}
#endif

#ifndef ABSTree_S5_O1
#define ABSTree_S5_O1(x1,x2,x3,x6) {x6=_ABSTree_S5_O1(x1,x2,x3);}
#endif

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

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

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

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

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

#ifndef ABSTree_S5_O7
#define ABSTree_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9,x12) {x12=_ABSTree_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9);}
#endif

#ifndef ABSTree_Aincl
#define ABSTree_Aincl(x1,x2,x3,x4) {x4=_ABSTree_Aincl(x1,x2,x3);}
#endif

#ifndef ABSTree_Aexcl
#define ABSTree_Aexcl(x1,x2,x3,x4) {x4=_ABSTree_Aexcl(x1,x2,x3);}
#endif

#ifndef ABSTree_Aiter
#define ABSTree_Aiter(x1,x2,x3,x11) {x11=_ABSTree_Aiter(x1,x2,x3);}
#endif

#ifndef ABSTree_Spp
#define ABSTree_Spp(x1,x2,x3,x4,x64) {x64=_ABSTree_Spp(x1,x2,x3,x4);}
#endif

#ifndef ABSTree_Sie_Aval
#define ABSTree_Sie_Aval(x1,x2,x3,x13) {x13=_ABSTree_Sie_Aval(x1,x2,x3);}
#endif

#ifndef ABSTree_Sie_Aleft
#define ABSTree_Sie_Aleft(x1,x2,x3,x62) {x62=_ABSTree_Sie_Aleft(x1,x2,x3);}
#endif

#ifndef ABSTree_Sie_Aright
#define ABSTree_Sie_Aright(x1,x2,x3,x62) {x62=_ABSTree_Sie_Aright(x1,x2,x3);}
#endif

#ifndef ABSTree_Amin
#define ABSTree_Amin(x1,x2,x16) {x16=_ABSTree_Amin(x1,x2);}
#endif

#ifndef ABSTree_Aleftmost
#define ABSTree_Aleftmost(x1,x2,x16) {x16=_ABSTree_Aleftmost(x1,x2);}
#endif

#ifndef ABSTree_Arightmost
#define ABSTree_Arightmost(x1,x2,x16) {x16=_ABSTree_Arightmost(x1,x2);}
#endif

#ifndef ABSTree_Achildren
#define ABSTree_Achildren(x1,x2,x4) {x4=_ABSTree_Achildren(x1,x2);}
#endif

#ifndef ABSTree_Agrandchildren
#define ABSTree_Agrandchildren(x1,x2,x4) {x4=_ABSTree_Agrandchildren(x1,x2);}
#endif

#ifndef ABSTree_Alevel
#define ABSTree_Alevel(x1,x2,x3,x5) {x5=_ABSTree_Alevel(x1,x2,x3);}
#endif

#ifndef ABSTree_Afront
#define ABSTree_Afront(x1,x2,x4) {x4=_ABSTree_Afront(x1,x2);}
#endif

#ifndef ABSTree_Ain
#define ABSTree_Ain(x1,x2,x3,x4) {x4=_ABSTree_Ain(x1,x2,x3);}
#endif

#ifndef ABSTree_S3
#define ABSTree_S3(x1,x2,x8) {x8=_ABSTree_S3(x1,x2);}
#endif

#ifndef ABSTree_Adepth
#define ABSTree_Adepth(x1,x2,x3) {x3=_ABSTree_Adepth(x1,x2);}
#endif

#ifndef ABSTree_Awidth
#define ABSTree_Awidth(x1,x2,x3) {x3=_ABSTree_Awidth(x1,x2);}
#endif

#ifndef ABSTree_Aleaf_
#define ABSTree_Aleaf_(x1,x2,x3) {x3=_ABSTree_Aleaf_(x1,x2);}
#endif

#ifndef ABSTree_Aexist_
#define ABSTree_Aexist_(x1,x2,x3,x5) {x5=_ABSTree_Aexist_(x1,x2,x3);}
#endif

#ifndef ABSTree_Aforall_
#define ABSTree_Aforall_(x1,x2,x3,x5) {x5=_ABSTree_Aforall_(x1,x2,x3);}
#endif

#ifndef ABSTree_Afind_
#define ABSTree_Afind_(x1,x2,x3,x6) {x6=_ABSTree_Afind_(x1,x2,x3);}
#endif

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

#ifndef ABSTree_SOlC
#define ABSTree_SOlC(x1,x2,x3,x5) {x5=_ABSTree_SOlC(x1,x2,x3);}
#endif

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

#ifndef ABSTree_Aabs
#define ABSTree_Aabs(x1,x2,x3) {x3=_ABSTree_Aabs(x1,x2);}
#endif

#ifndef ABSTree_Arep
#define ABSTree_Arep(x1,x2,x3) {x3=_ABSTree_Arep(x1,x2);}
#endif

#ifndef ABSTree_Abstree_
#define ABSTree_Abstree_(x1,x2,x303) {x303=_ABSTree_Abstree_(x1,x2);}
#endif

#ifndef ABSTree_Abstree0_
#define ABSTree_Abstree0_(x1,x2,x277) {x277=_ABSTree_Abstree0_(x1,x2);}
#endif

#ifndef ABSTree_Abalance
#define ABSTree_Abalance(x1,x2,x190) {x190=_ABSTree_Abalance(x1,x2);}
#endif

#ifndef ABSTree_Abalanced_
#define ABSTree_Abalanced_(x1,x2,x64) {x64=_ABSTree_Abalanced_(x1,x2);}
#endif

#ifndef ABSTree_Alrotate
#define ABSTree_Alrotate(x1,x2,x210) {x210=_ABSTree_Alrotate(x1,x2);}
#endif

#ifndef ABSTree_Arrotate
#define ABSTree_Arrotate(x1,x2,x210) {x210=_ABSTree_Arrotate(x1,x2);}
#endif

#ifndef ABSTree_Adlrotate
#define ABSTree_Adlrotate(x1,x2,x523) {x523=_ABSTree_Adlrotate(x1,x2);}
#endif

#ifndef ABSTree_Adrrotate
#define ABSTree_Adrrotate(x1,x2,x523) {x523=_ABSTree_Adrrotate(x1,x2);}
#endif

#ifndef ABSTree_Aabs_
#define ABSTree_Aabs_(x1,x2,x3) {x3=_ABSTree_Aabs_(x1,x2);}
#endif

#ifndef ABSTree_Aincl_O1
#define ABSTree_Aincl_O1(x1,x2,x3,x155) {x155=_ABSTree_Aincl_O1(x1,x2,x3);}
#endif

#ifndef ABSTree_Aexcl_O1
#define ABSTree_Aexcl_O1(x1,x2,x3,x248) {x248=_ABSTree_Aexcl_O1(x1,x2,x3);}
#endif

#ifndef ABSTree_AextractLeftmost
#define ABSTree_AextractLeftmost(x1,x2,x86,x87) {TUP2 t;t=_ABSTree_AextractLeftmost(x1,x2);x86=t.c1;x87=t.c2;}
#endif

#ifndef ABSTree_Spp_O1
#define ABSTree_Spp_O1(x1,x2,x3,x4,x367) {x367=_ABSTree_Spp_O1(x1,x2,x3,x4);}
#endif

#ifndef ABSTree_Ain_O1
#define ABSTree_Ain_O1(x1,x2,x3,x51) {x51=_ABSTree_Ain_O1(x1,x2,x3);}
#endif

#ifndef ABSTree_S3_O1
#define ABSTree_S3_O1(x1,x2,x27) {x27=_ABSTree_S3_O1(x1,x2);}
#endif

#ifndef ABSTree_Sg_Aratio
#define ABSTree_Sg_Aratio(x1,x2,x3,x6) {x6=_ABSTree_Sg_Aratio(x1,x2,x3);}
#endif

#ifndef ABSTree_Abalanced0_
#define ABSTree_Abalanced0_(x1,x2,x62) {x62=_ABSTree_Abalanced0_(x1,x2);}
#endif

#ifndef ABSTree_Aiter_L69
#define ABSTree_Aiter_L69(x1,x2,x3,x7,x8) {TUP2 t;t=_ABSTree_Aiter_L69(x1,x2,x3);x7=t.c1;x8=t.c2;}
#endif

#ifndef ABSTree_Aexist__L70
#define ABSTree_Aexist__L70(x1,x2,x6) {x6=_ABSTree_Aexist__L70(x1,x2);}
#endif

#ifndef ABSTree_Aforall__L71
#define ABSTree_Aforall__L71(x1,x2,x6) {x6=_ABSTree_Aforall__L71(x1,x2);}
#endif

#ifndef ABSTree_Afind__L72
#define ABSTree_Afind__L72(x1,x2,x6) {x6=_ABSTree_Afind__L72(x1,x2);}
#endif

#ifndef ABSTree_Sl_L73
#define ABSTree_Sl_L73(x1,x2,x3,x15) {x15=_ABSTree_Sl_L73(x1,x2,x3);}
#endif

#ifndef ABSTree_SOlC_L74
#define ABSTree_SOlC_L74(x1,x2,x3,x15) {x15=_ABSTree_SOlC_L74(x1,x2,x3);}
#endif

#ifndef ABSTree_Se_L75
#define ABSTree_Se_L75(x1,x2,x3,x15) {x15=_ABSTree_Se_L75(x1,x2,x3);}
#endif

#endif
