

#ifndef ABag_included
#define ABag_included

#define __ABag_SOC __ABag_4
#define _ABag_SOC _ABag_4
extern OBJ __ABag_SOC;
extern OBJ _ABag_SOC(OBJ);

#define __ABag_Aincl __ABag_5
#define _ABag_Aincl _ABag_5
extern OBJ __ABag_Aincl;
extern OBJ _ABag_Aincl(OBJ,OBJ,OBJ);

#define __ABag_S5 __ABag_6
#define _ABag_S5 _ABag_6
extern OBJ __ABag_S5;
extern OBJ _ABag_S5(OBJ,OBJ);

#define __ABag_S5_O1 __ABag_7
#define _ABag_S5_O1 _ABag_7
extern OBJ __ABag_S5_O1;
extern OBJ _ABag_S5_O1(OBJ,OBJ,OBJ);

#define __ABag_S5_O2 __ABag_8
#define _ABag_S5_O2 _ABag_8
extern OBJ __ABag_S5_O2;
extern OBJ _ABag_S5_O2(OBJ,OBJ,OBJ,OBJ);

#define __ABag_S5_O3 __ABag_9
#define _ABag_S5_O3 _ABag_9
extern OBJ __ABag_S5_O3;
extern OBJ _ABag_S5_O3(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABag_S5_O4 __ABag_10
#define _ABag_S5_O4 _ABag_10
extern OBJ __ABag_S5_O4;
extern OBJ _ABag_S5_O4(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABag_S5_O5 __ABag_11
#define _ABag_S5_O5 _ABag_11
extern OBJ __ABag_S5_O5;
extern OBJ _ABag_S5_O5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABag_S5_O6 __ABag_12
#define _ABag_S5_O6 _ABag_12
extern OBJ __ABag_S5_O6;
extern OBJ _ABag_S5_O6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABag_S5_O7 __ABag_13
#define _ABag_S5_O7 _ABag_13
extern OBJ __ABag_S5_O7;
extern OBJ _ABag_S5_O7(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABag_Aexcl __ABag_15
#define _ABag_Aexcl _ABag_15
extern OBJ __ABag_Aexcl;
extern OBJ _ABag_Aexcl(OBJ,OBJ,OBJ);

#define __ABag_AinclCt __ABag_16
#define _ABag_AinclCt _ABag_16
extern OBJ __ABag_AinclCt;
extern OBJ _ABag_AinclCt(OBJ,OBJ,OBJ,OBJ);

#define __ABag_AexclAll __ABag_17
#define _ABag_AexclAll _ABag_17
extern OBJ __ABag_AexclAll;
extern OBJ _ABag_AexclAll(OBJ,OBJ,OBJ);

#define __ABag_Sdd __ABag_18
#define _ABag_Sdd _ABag_18
extern OBJ __ABag_Sdd;
extern OBJ _ABag_Sdd(OBJ,OBJ,OBJ,OBJ);

#define __ABag_Aiter __ABag_19
#define _ABag_Aiter _ABag_19
extern OBJ __ABag_Aiter;
extern OBJ _ABag_Aiter(OBJ,OBJ,OBJ,OBJ);

#define __ABag_Sp __ABag_20
#define _ABag_Sp _ABag_20
extern OBJ __ABag_Sp;
extern OBJ _ABag_Sp(OBJ,OBJ,OBJ);

#define __ABag_Sm __ABag_21
#define _ABag_Sm _ABag_21
extern OBJ __ABag_Sm;
extern OBJ _ABag_Sm(OBJ,OBJ,OBJ);

#define __ABag_S8 __ABag_22
#define _ABag_S8 _ABag_22
extern OBJ __ABag_S8;
extern OBJ _ABag_S8(OBJ,OBJ,OBJ);

#define __ABag_AU __ABag_23
#define _ABag_AU _ABag_23
extern OBJ __ABag_AU;
extern OBJ _ABag_AU(OBJ,OBJ,OBJ);

#define __ABag_Aarb __ABag_24
#define _ABag_Aarb _ABag_24
extern OBJ __ABag_Aarb;
extern OBJ _ABag_Aarb(OBJ,OBJ);

#define __ABag_SOC_ __ABag_25
#define _ABag_SOC_ _ABag_25
extern OBJ __ABag_SOC_;
extern OBJ _ABag_SOC_(OBJ,OBJ);

#define __ABag_Ain __ABag_26
#define _ABag_Ain _ABag_26
extern OBJ __ABag_Ain;
extern OBJ _ABag_Ain(OBJ,OBJ,OBJ);

#define __ABag_S3 __ABag_27
#define _ABag_S3 _ABag_27
extern OBJ __ABag_S3;
extern OBJ _ABag_S3(OBJ,OBJ);

#define __ABag_Act __ABag_28
#define _ABag_Act _ABag_28
extern OBJ __ABag_Act;
extern OBJ _ABag_Act(OBJ,OBJ,OBJ);

#define __ABag_Aexist_ __ABag_29
#define _ABag_Aexist_ _ABag_29
extern OBJ __ABag_Aexist_;
extern OBJ _ABag_Aexist_(OBJ,OBJ,OBJ);

#define __ABag_Afind_ __ABag_30
#define _ABag_Afind_ _ABag_30
extern OBJ __ABag_Afind_;
extern OBJ _ABag_Afind_(OBJ,OBJ,OBJ);

#define __ABag_Aforall_ __ABag_31
#define _ABag_Aforall_ _ABag_31
extern OBJ __ABag_Aforall_;
extern OBJ _ABag_Aforall_(OBJ,OBJ,OBJ);

#define __ABag_Se __ABag_32
#define _ABag_Se _ABag_32
extern OBJ __ABag_Se;
extern OBJ _ABag_Se(OBJ,OBJ,OBJ);

#define __ABag_Sle __ABag_33
#define _ABag_Sle _ABag_33
extern OBJ __ABag_Sle;
extern OBJ _ABag_Sle(OBJ,OBJ,OBJ);

#define __ABag_Sl __ABag_34
#define _ABag_Sl _ABag_34
extern OBJ __ABag_Sl;
extern OBJ _ABag_Sl(OBJ,OBJ,OBJ);

#define __ABag_Aabs __ABag_35
#define _ABag_Aabs _ABag_35
extern OBJ __ABag_Aabs;
extern OBJ _ABag_Aabs(OBJ,OBJ);

#define __ABag_Arep __ABag_36
#define _ABag_Arep _ABag_36
extern OBJ __ABag_Arep;
extern OBJ _ABag_Arep(OBJ,OBJ);

#define __ABag_Aabs_ __ABag_38
#define _ABag_Aabs_ _ABag_38
extern OBJ __ABag_Aabs_;
extern OBJ _ABag_Aabs_(OBJ,OBJ);

#define __ABag_Ainsert __ABag_40
#define _ABag_Ainsert _ABag_40
extern OBJ __ABag_Ainsert;
extern OBJ _ABag_Ainsert(OBJ,OBJ,OBJ);

#define __ABag_AinsertCt __ABag_41
#define _ABag_AinsertCt _ABag_41
extern OBJ __ABag_AinsertCt;
extern OBJ _ABag_AinsertCt(OBJ,OBJ,OBJ,OBJ);

#define __ABag_Adelete __ABag_42
#define _ABag_Adelete _ABag_42
extern OBJ __ABag_Adelete;
extern OBJ _ABag_Adelete(OBJ,OBJ,OBJ);

#define __ABag_Adeleteall __ABag_43
#define _ABag_Adeleteall _ABag_43
extern OBJ __ABag_Adeleteall;
extern OBJ _ABag_Adeleteall(OBJ,OBJ,OBJ);

#define __ABag_Aunion __ABag_44
#define _ABag_Aunion _ABag_44
extern OBJ __ABag_Aunion;
extern OBJ _ABag_Aunion(OBJ,OBJ,OBJ);

#define __ABag_Adiff __ABag_45
#define _ABag_Adiff _ABag_45
extern OBJ __ABag_Adiff;
extern OBJ _ABag_Adiff(OBJ,OBJ,OBJ);

#define __ABag_Aisect __ABag_46
#define _ABag_Aisect _ABag_46
extern OBJ __ABag_Aisect;
extern OBJ _ABag_Aisect(OBJ,OBJ,OBJ);

#define __ABag_Aunionmax __ABag_47
#define _ABag_Aunionmax _ABag_47
extern OBJ __ABag_Aunionmax;
extern OBJ _ABag_Aunionmax(OBJ,OBJ,OBJ);

#define __ABag_Asearch __ABag_48
#define _ABag_Asearch _ABag_48
extern OBJ __ABag_Asearch;
extern OBJ _ABag_Asearch(OBJ,OBJ,OBJ);

#define __ABag_Act_O1 __ABag_49
#define _ABag_Act_O1 _ABag_49
extern OBJ __ABag_Act_O1;
extern OBJ _ABag_Act_O1(OBJ,OBJ,OBJ);

#define __ABag_Asubbag __ABag_50
#define _ABag_Asubbag _ABag_50
extern OBJ __ABag_Asubbag;
extern OBJ _ABag_Asubbag(OBJ,OBJ,OBJ);

#define __ABag_Aequal __ABag_51
#define _ABag_Aequal _ABag_51
extern OBJ __ABag_Aequal;
extern OBJ _ABag_Aequal(OBJ,OBJ,OBJ);

#define __ABag_Apropersubbag __ABag_52
#define _ABag_Apropersubbag _ABag_52
extern OBJ __ABag_Apropersubbag;
extern OBJ _ABag_Apropersubbag(OBJ,OBJ,OBJ);

#ifndef ABag_SOC
#define ABag_SOC(x1,x2) {x2=_ABag_SOC(x1);}
#endif

#ifndef ABag_Aincl
#define ABag_Aincl(x1,x2,x3,x4) {x4=_ABag_Aincl(x1,x2,x3);}
#endif

#ifndef ABag_S5
#define ABag_S5(x1,x2,x4) {x4=_ABag_S5(x1,x2);}
#endif

#ifndef ABag_S5_O1
#define ABag_S5_O1(x1,x2,x3,x6) {x6=_ABag_S5_O1(x1,x2,x3);}
#endif

#ifndef ABag_S5_O2
#define ABag_S5_O2(x1,x2,x3,x4,x8) {x8=_ABag_S5_O2(x1,x2,x3,x4);}
#endif

#ifndef ABag_S5_O3
#define ABag_S5_O3(x1,x2,x3,x4,x5,x10) {x10=_ABag_S5_O3(x1,x2,x3,x4,x5);}
#endif

#ifndef ABag_S5_O4
#define ABag_S5_O4(x1,x2,x3,x4,x5,x6,x12) {x12=_ABag_S5_O4(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ABag_S5_O5
#define ABag_S5_O5(x1,x2,x3,x4,x5,x6,x7,x14) {x14=_ABag_S5_O5(x1,x2,x3,x4,x5,x6,x7);}
#endif

#ifndef ABag_S5_O6
#define ABag_S5_O6(x1,x2,x3,x4,x5,x6,x7,x8,x16) {x16=_ABag_S5_O6(x1,x2,x3,x4,x5,x6,x7,x8);}
#endif

#ifndef ABag_S5_O7
#define ABag_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9,x18) {x18=_ABag_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9);}
#endif

#ifndef ABag_Aexcl
#define ABag_Aexcl(x1,x2,x3,x4) {x4=_ABag_Aexcl(x1,x2,x3);}
#endif

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

#ifndef ABag_AexclAll
#define ABag_AexclAll(x1,x2,x3,x4) {x4=_ABag_AexclAll(x1,x2,x3);}
#endif

#ifndef ABag_Sdd
#define ABag_Sdd(x1,x2,x3,x4,x9) {x9=_ABag_Sdd(x1,x2,x3,x4);}
#endif

#ifndef ABag_Aiter
#define ABag_Aiter(x1,x2,x3,x4,x11) {x11=_ABag_Aiter(x1,x2,x3,x4);}
#endif

#ifndef ABag_Sp
#define ABag_Sp(x1,x2,x3,x4) {x4=_ABag_Sp(x1,x2,x3);}
#endif

#ifndef ABag_Sm
#define ABag_Sm(x1,x2,x3,x4) {x4=_ABag_Sm(x1,x2,x3);}
#endif

#ifndef ABag_S8
#define ABag_S8(x1,x2,x3,x4) {x4=_ABag_S8(x1,x2,x3);}
#endif

#ifndef ABag_AU
#define ABag_AU(x1,x2,x3,x4) {x4=_ABag_AU(x1,x2,x3);}
#endif

#ifndef ABag_Aarb
#define ABag_Aarb(x1,x2,x18) {x18=_ABag_Aarb(x1,x2);}
#endif

#ifndef ABag_SOC_
#define ABag_SOC_(x1,x2,x5) {x5=_ABag_SOC_(x1,x2);}
#endif

#ifndef ABag_Ain
#define ABag_Ain(x1,x2,x3,x4) {x4=_ABag_Ain(x1,x2,x3);}
#endif

#ifndef ABag_S3
#define ABag_S3(x1,x2,x3) {x3=_ABag_S3(x1,x2);}
#endif

#ifndef ABag_Act
#define ABag_Act(x1,x2,x3,x4) {x4=_ABag_Act(x1,x2,x3);}
#endif

#ifndef ABag_Aexist_
#define ABag_Aexist_(x1,x2,x3,x5) {x5=_ABag_Aexist_(x1,x2,x3);}
#endif

#ifndef ABag_Afind_
#define ABag_Afind_(x1,x2,x3,x6) {x6=_ABag_Afind_(x1,x2,x3);}
#endif

#ifndef ABag_Aforall_
#define ABag_Aforall_(x1,x2,x3,x5) {x5=_ABag_Aforall_(x1,x2,x3);}
#endif

#ifndef ABag_Se
#define ABag_Se(x1,x2,x3,x4) {x4=_ABag_Se(x1,x2,x3);}
#endif

#ifndef ABag_Sle
#define ABag_Sle(x1,x2,x3,x4) {x4=_ABag_Sle(x1,x2,x3);}
#endif

#ifndef ABag_Sl
#define ABag_Sl(x1,x2,x3,x4) {x4=_ABag_Sl(x1,x2,x3);}
#endif

#ifndef ABag_Aabs
#define ABag_Aabs(x1,x2,x3) {x3=_ABag_Aabs(x1,x2);}
#endif

#ifndef ABag_Arep
#define ABag_Arep(x1,x2,x3) {x3=_ABag_Arep(x1,x2);}
#endif

#ifndef ABag_Aabs_
#define ABag_Aabs_(x1,x2,x3) {x3=_ABag_Aabs_(x1,x2);}
#endif

#ifndef ABag_Ainsert
#define ABag_Ainsert(x1,x2,x3,x57) {x57=_ABag_Ainsert(x1,x2,x3);}
#endif

#ifndef ABag_AinsertCt
#define ABag_AinsertCt(x1,x2,x3,x4,x58) {x58=_ABag_AinsertCt(x1,x2,x3,x4);}
#endif

#ifndef ABag_Adelete
#define ABag_Adelete(x1,x2,x3,x55) {x55=_ABag_Adelete(x1,x2,x3);}
#endif

#ifndef ABag_Adeleteall
#define ABag_Adeleteall(x1,x2,x3,x46) {x46=_ABag_Adeleteall(x1,x2,x3);}
#endif

#ifndef ABag_Aunion
#define ABag_Aunion(x1,x2,x3,x153) {x153=_ABag_Aunion(x1,x2,x3);}
#endif

#ifndef ABag_Adiff
#define ABag_Adiff(x1,x2,x3,x147) {x147=_ABag_Adiff(x1,x2,x3);}
#endif

#ifndef ABag_Aisect
#define ABag_Aisect(x1,x2,x3,x129) {x129=_ABag_Aisect(x1,x2,x3);}
#endif

#ifndef ABag_Aunionmax
#define ABag_Aunionmax(x1,x2,x3,x153) {x153=_ABag_Aunionmax(x1,x2,x3);}
#endif

#ifndef ABag_Asearch
#define ABag_Asearch(x1,x2,x3,x40) {x40=_ABag_Asearch(x1,x2,x3);}
#endif

#ifndef ABag_Act_O1
#define ABag_Act_O1(x1,x2,x3,x40) {x40=_ABag_Act_O1(x1,x2,x3);}
#endif

#ifndef ABag_Asubbag
#define ABag_Asubbag(x1,x2,x3,x117) {x117=_ABag_Asubbag(x1,x2,x3);}
#endif

#ifndef ABag_Aequal
#define ABag_Aequal(x1,x2,x3,x117) {x117=_ABag_Aequal(x1,x2,x3);}
#endif

#ifndef ABag_Apropersubbag
#define ABag_Apropersubbag(x1,x2,x3,x129) {x129=_ABag_Apropersubbag(x1,x2,x3);}
#endif

#ifndef ABag_Aexist__L53
#define ABag_Aexist__L53(x1,x2,x6) {x6=_ABag_Aexist__L53(x1,x2);}
#endif

#ifndef ABag_Afind__L54
#define ABag_Afind__L54(x1,x2,x6) {x6=_ABag_Afind__L54(x1,x2);}
#endif

#ifndef ABag_Aforall__L55
#define ABag_Aforall__L55(x1,x2,x6) {x6=_ABag_Aforall__L55(x1,x2);}
#endif

#endif
