

#ifndef ASet_included
#define ASet_included

#define __ASet_SOC __ASet_4
#define _ASet_SOC _ASet_4
extern OBJ __ASet_SOC;
extern OBJ _ASet_SOC(OBJ);

#define __ASet_Aincl __ASet_5
#define _ASet_Aincl _ASet_5
extern OBJ __ASet_Aincl;
extern OBJ _ASet_Aincl(OBJ,OBJ,OBJ);

#define __ASet_S5 __ASet_6
#define _ASet_S5 _ASet_6
extern OBJ __ASet_S5;
extern OBJ _ASet_S5(OBJ,OBJ);

#define __ASet_S5_O1 __ASet_7
#define _ASet_S5_O1 _ASet_7
extern OBJ __ASet_S5_O1;
extern OBJ _ASet_S5_O1(OBJ,OBJ,OBJ);

#define __ASet_S5_O2 __ASet_8
#define _ASet_S5_O2 _ASet_8
extern OBJ __ASet_S5_O2;
extern OBJ _ASet_S5_O2(OBJ,OBJ,OBJ,OBJ);

#define __ASet_S5_O3 __ASet_9
#define _ASet_S5_O3 _ASet_9
extern OBJ __ASet_S5_O3;
extern OBJ _ASet_S5_O3(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASet_S5_O4 __ASet_10
#define _ASet_S5_O4 _ASet_10
extern OBJ __ASet_S5_O4;
extern OBJ _ASet_S5_O4(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASet_S5_O5 __ASet_11
#define _ASet_S5_O5 _ASet_11
extern OBJ __ASet_S5_O5;
extern OBJ _ASet_S5_O5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASet_S5_O6 __ASet_12
#define _ASet_S5_O6 _ASet_12
extern OBJ __ASet_S5_O6;
extern OBJ _ASet_S5_O6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASet_S5_O7 __ASet_13
#define _ASet_S5_O7 _ASet_13
extern OBJ __ASet_S5_O7;
extern OBJ _ASet_S5_O7(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ASet_Aexcl __ASet_15
#define _ASet_Aexcl _ASet_15
extern OBJ __ASet_Aexcl;
extern OBJ _ASet_Aexcl(OBJ,OBJ,OBJ);

#define __ASet_Sdd __ASet_16
#define _ASet_Sdd _ASet_16
extern OBJ __ASet_Sdd;
extern OBJ _ASet_Sdd(OBJ,OBJ,OBJ,OBJ);

#define __ASet_Aiter __ASet_17
#define _ASet_Aiter _ASet_17
extern OBJ __ASet_Aiter;
extern OBJ _ASet_Aiter(OBJ,OBJ,OBJ,OBJ);

#define __ASet_Sp __ASet_18
#define _ASet_Sp _ASet_18
extern OBJ __ASet_Sp;
extern OBJ _ASet_Sp(OBJ,OBJ,OBJ);

#define __ASet_Sm __ASet_19
#define _ASet_Sm _ASet_19
extern OBJ __ASet_Sm;
extern OBJ _ASet_Sm(OBJ,OBJ,OBJ);

#define __ASet_S8 __ASet_20
#define _ASet_S8 _ASet_20
extern OBJ __ASet_S8;
extern OBJ _ASet_S8(OBJ,OBJ,OBJ);

#define __ASet_Aarb __ASet_21
#define _ASet_Aarb _ASet_21
extern OBJ __ASet_Aarb;
extern OBJ _ASet_Aarb(OBJ,OBJ);

#define __ASet_SOC_ __ASet_22
#define _ASet_SOC_ _ASet_22
extern OBJ __ASet_SOC_;
extern OBJ _ASet_SOC_(OBJ,OBJ);

#define __ASet_Ain __ASet_23
#define _ASet_Ain _ASet_23
extern OBJ __ASet_Ain;
extern OBJ _ASet_Ain(OBJ,OBJ,OBJ);

#define __ASet_S3 __ASet_24
#define _ASet_S3 _ASet_24
extern OBJ __ASet_S3;
extern OBJ _ASet_S3(OBJ,OBJ);

#define __ASet_Amin __ASet_25
#define _ASet_Amin _ASet_25
extern OBJ __ASet_Amin;
extern OBJ _ASet_Amin(OBJ,OBJ);

#define __ASet_Amax __ASet_26
#define _ASet_Amax _ASet_26
extern OBJ __ASet_Amax;
extern OBJ _ASet_Amax(OBJ,OBJ);

#define __ASet_Aexist_ __ASet_27
#define _ASet_Aexist_ _ASet_27
extern OBJ __ASet_Aexist_;
extern OBJ _ASet_Aexist_(OBJ,OBJ,OBJ);

#define __ASet_Afind_ __ASet_28
#define _ASet_Afind_ _ASet_28
extern OBJ __ASet_Afind_;
extern OBJ _ASet_Afind_(OBJ,OBJ,OBJ);

#define __ASet_Aforall_ __ASet_29
#define _ASet_Aforall_ _ASet_29
extern OBJ __ASet_Aforall_;
extern OBJ _ASet_Aforall_(OBJ,OBJ,OBJ);

#define __ASet_Se __ASet_30
#define _ASet_Se _ASet_30
extern OBJ __ASet_Se;
extern OBJ _ASet_Se(OBJ,OBJ,OBJ);

#define __ASet_Sle __ASet_31
#define _ASet_Sle _ASet_31
extern OBJ __ASet_Sle;
extern OBJ _ASet_Sle(OBJ,OBJ,OBJ);

#define __ASet_Sl __ASet_32
#define _ASet_Sl _ASet_32
extern OBJ __ASet_Sl;
extern OBJ _ASet_Sl(OBJ,OBJ,OBJ);

#define __ASet_SOlC __ASet_33
#define _ASet_SOlC _ASet_33
extern OBJ __ASet_SOlC;
extern OBJ _ASet_SOlC(OBJ,OBJ,OBJ);

#define __ASet_Aabs __ASet_34
#define _ASet_Aabs _ASet_34
extern OBJ __ASet_Aabs;
extern OBJ _ASet_Aabs(OBJ,OBJ);

#define __ASet_Arep __ASet_35
#define _ASet_Arep _ASet_35
extern OBJ __ASet_Arep;
extern OBJ _ASet_Arep(OBJ,OBJ);

#define __ASet_Aabs_ __ASet_37
#define _ASet_Aabs_ _ASet_37
extern OBJ __ASet_Aabs_;
extern OBJ _ASet_Aabs_(OBJ,OBJ);

#define __ASet_Ainsert __ASet_39
#define _ASet_Ainsert _ASet_39
extern OBJ __ASet_Ainsert;
extern OBJ _ASet_Ainsert(OBJ,OBJ,OBJ);

#define __ASet_Adelete __ASet_40
#define _ASet_Adelete _ASet_40
extern OBJ __ASet_Adelete;
extern OBJ _ASet_Adelete(OBJ,OBJ,OBJ);

#define __ASet_Aunion __ASet_41
#define _ASet_Aunion _ASet_41
extern OBJ __ASet_Aunion;
extern OBJ _ASet_Aunion(OBJ,OBJ,OBJ);

#define __ASet_Adiff __ASet_42
#define _ASet_Adiff _ASet_42
extern OBJ __ASet_Adiff;
extern OBJ _ASet_Adiff(OBJ,OBJ,OBJ);

#define __ASet_Aisect __ASet_43
#define _ASet_Aisect _ASet_43
extern OBJ __ASet_Aisect;
extern OBJ _ASet_Aisect(OBJ,OBJ,OBJ);

#define __ASet_Asearch __ASet_44
#define _ASet_Asearch _ASet_44
extern OBJ __ASet_Asearch;
extern OBJ _ASet_Asearch(OBJ,OBJ,OBJ);

#define __ASet_Asubset __ASet_45
#define _ASet_Asubset _ASet_45
extern OBJ __ASet_Asubset;
extern OBJ _ASet_Asubset(OBJ,OBJ,OBJ);

#define __ASet_Aequal __ASet_46
#define _ASet_Aequal _ASet_46
extern OBJ __ASet_Aequal;
extern OBJ _ASet_Aequal(OBJ,OBJ,OBJ);

#define __ASet_Apropersubset __ASet_47
#define _ASet_Apropersubset _ASet_47
extern OBJ __ASet_Apropersubset;
extern OBJ _ASet_Apropersubset(OBJ,OBJ,OBJ);

#ifndef ASet_SOC
#define ASet_SOC(x1,x2) {x2=_ASet_SOC(x1);}
#endif

#ifndef ASet_Aincl
#define ASet_Aincl(x1,x2,x3,x4) {x4=_ASet_Aincl(x1,x2,x3);}
#endif

#ifndef ASet_S5
#define ASet_S5(x1,x2,x3) {x3=_ASet_S5(x1,x2);}
#endif

#ifndef ASet_S5_O1
#define ASet_S5_O1(x1,x2,x3,x5) {x5=_ASet_S5_O1(x1,x2,x3);}
#endif

#ifndef ASet_S5_O2
#define ASet_S5_O2(x1,x2,x3,x4,x7) {x7=_ASet_S5_O2(x1,x2,x3,x4);}
#endif

#ifndef ASet_S5_O3
#define ASet_S5_O3(x1,x2,x3,x4,x5,x9) {x9=_ASet_S5_O3(x1,x2,x3,x4,x5);}
#endif

#ifndef ASet_S5_O4
#define ASet_S5_O4(x1,x2,x3,x4,x5,x6,x11) {x11=_ASet_S5_O4(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ASet_S5_O5
#define ASet_S5_O5(x1,x2,x3,x4,x5,x6,x7,x13) {x13=_ASet_S5_O5(x1,x2,x3,x4,x5,x6,x7);}
#endif

#ifndef ASet_S5_O6
#define ASet_S5_O6(x1,x2,x3,x4,x5,x6,x7,x8,x15) {x15=_ASet_S5_O6(x1,x2,x3,x4,x5,x6,x7,x8);}
#endif

#ifndef ASet_S5_O7
#define ASet_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9,x17) {x17=_ASet_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x9);}
#endif

#ifndef ASet_Aexcl
#define ASet_Aexcl(x1,x2,x3,x4) {x4=_ASet_Aexcl(x1,x2,x3);}
#endif

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

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

#ifndef ASet_Sp
#define ASet_Sp(x1,x2,x3,x4) {x4=_ASet_Sp(x1,x2,x3);}
#endif

#ifndef ASet_Sm
#define ASet_Sm(x1,x2,x3,x4) {x4=_ASet_Sm(x1,x2,x3);}
#endif

#ifndef ASet_S8
#define ASet_S8(x1,x2,x3,x4) {x4=_ASet_S8(x1,x2,x3);}
#endif

#ifndef ASet_Aarb
#define ASet_Aarb(x1,x2,x13) {x13=_ASet_Aarb(x1,x2);}
#endif

#ifndef ASet_SOC_
#define ASet_SOC_(x1,x2,x5) {x5=_ASet_SOC_(x1,x2);}
#endif

#ifndef ASet_Ain
#define ASet_Ain(x1,x2,x3,x4) {x4=_ASet_Ain(x1,x2,x3);}
#endif

#ifndef ASet_S3
#define ASet_S3(x1,x2,x3) {x3=_ASet_S3(x1,x2);}
#endif

#ifndef ASet_Amin
#define ASet_Amin(x1,x2,x13) {x13=_ASet_Amin(x1,x2);}
#endif

#ifndef ASet_Amax
#define ASet_Amax(x1,x2,x8) {x8=_ASet_Amax(x1,x2);}
#endif

#ifndef ASet_Aexist_
#define ASet_Aexist_(x1,x2,x3,x4) {x4=_ASet_Aexist_(x1,x2,x3);}
#endif

#ifndef ASet_Afind_
#define ASet_Afind_(x1,x2,x3,x4) {x4=_ASet_Afind_(x1,x2,x3);}
#endif

#ifndef ASet_Aforall_
#define ASet_Aforall_(x1,x2,x3,x4) {x4=_ASet_Aforall_(x1,x2,x3);}
#endif

#ifndef ASet_Se
#define ASet_Se(x1,x2,x3,x4) {x4=_ASet_Se(x1,x2,x3);}
#endif

#ifndef ASet_Sle
#define ASet_Sle(x1,x2,x3,x4) {x4=_ASet_Sle(x1,x2,x3);}
#endif

#ifndef ASet_Sl
#define ASet_Sl(x1,x2,x3,x4) {x4=_ASet_Sl(x1,x2,x3);}
#endif

#ifndef ASet_SOlC
#define ASet_SOlC(x1,x2,x3,x4) {x4=_ASet_SOlC(x1,x2,x3);}
#endif

#ifndef ASet_Aabs
#define ASet_Aabs(x1,x2,x3) {x3=_ASet_Aabs(x1,x2);}
#endif

#ifndef ASet_Arep
#define ASet_Arep(x1,x2,x3) {x3=_ASet_Arep(x1,x2);}
#endif

#ifndef ASet_Aabs_
#define ASet_Aabs_(x1,x2,x3) {x3=_ASet_Aabs_(x1,x2);}
#endif

#ifndef ASet_Ainsert
#define ASet_Ainsert(x1,x2,x3,x30) {x30=_ASet_Ainsert(x1,x2,x3);}
#endif

#ifndef ASet_Adelete
#define ASet_Adelete(x1,x2,x3,x30) {x30=_ASet_Adelete(x1,x2,x3);}
#endif

#ifndef ASet_Aunion
#define ASet_Aunion(x1,x2,x3,x85) {x85=_ASet_Aunion(x1,x2,x3);}
#endif

#ifndef ASet_Adiff
#define ASet_Adiff(x1,x2,x3,x77) {x77=_ASet_Adiff(x1,x2,x3);}
#endif

#ifndef ASet_Aisect
#define ASet_Aisect(x1,x2,x3,x77) {x77=_ASet_Aisect(x1,x2,x3);}
#endif

#ifndef ASet_Asearch
#define ASet_Asearch(x1,x2,x3,x28) {x28=_ASet_Asearch(x1,x2,x3);}
#endif

#ifndef ASet_Asubset
#define ASet_Asubset(x1,x2,x3,x73) {x73=_ASet_Asubset(x1,x2,x3);}
#endif

#ifndef ASet_Aequal
#define ASet_Aequal(x1,x2,x3,x73) {x73=_ASet_Aequal(x1,x2,x3);}
#endif

#ifndef ASet_Apropersubset
#define ASet_Apropersubset(x1,x2,x3,x73) {x73=_ASet_Apropersubset(x1,x2,x3);}
#endif

#endif
