

#ifndef AIdSet_included
#define AIdSet_included

#define __AIdSet_SOC __AIdSet_2
extern OBJ __AIdSet_SOC;

#define __AIdSet_Aincl __AIdSet_3
#define _AIdSet_Aincl _AIdSet_3
extern OBJ __AIdSet_Aincl;
extern OBJ _AIdSet_Aincl(OBJ,OBJ);

#define __AIdSet_Aexcl __AIdSet_4
#define _AIdSet_Aexcl _AIdSet_4
extern OBJ __AIdSet_Aexcl;
extern OBJ _AIdSet_Aexcl(OBJ,OBJ);

#define __AIdSet_Sdd __AIdSet_5
#define _AIdSet_Sdd _AIdSet_5
extern OBJ __AIdSet_Sdd;
extern OBJ _AIdSet_Sdd(OBJ,OBJ,OBJ);

#define __AIdSet_Sp __AIdSet_6
#define _AIdSet_Sp _AIdSet_6
extern OBJ __AIdSet_Sp;
extern OBJ _AIdSet_Sp(OBJ,OBJ);

#define __AIdSet_Sm __AIdSet_7
#define _AIdSet_Sm _AIdSet_7
extern OBJ __AIdSet_Sm;
extern OBJ _AIdSet_Sm(OBJ,OBJ);

#define __AIdSet_S8 __AIdSet_8
#define _AIdSet_S8 _AIdSet_8
extern OBJ __AIdSet_S8;
extern OBJ _AIdSet_S8(OBJ,OBJ);

#define __AIdSet_Aarb __AIdSet_9
#define _AIdSet_Aarb _AIdSet_9
extern OBJ __AIdSet_Aarb;
extern OBJ _AIdSet_Aarb(OBJ);

#define __AIdSet_SOC_ __AIdSet_10
#define _AIdSet_SOC_ _AIdSet_10
extern OBJ __AIdSet_SOC_;
extern OBJ _AIdSet_SOC_(OBJ);

#define __AIdSet_Ain __AIdSet_11
#define _AIdSet_Ain _AIdSet_11
extern OBJ __AIdSet_Ain;
extern OBJ _AIdSet_Ain(OBJ,OBJ);

#define __AIdSet_S3 __AIdSet_12
#define _AIdSet_S3 _AIdSet_12
extern OBJ __AIdSet_S3;
extern OBJ _AIdSet_S3(OBJ);

#define __AIdSet_Aexist_ __AIdSet_13
#define _AIdSet_Aexist_ _AIdSet_13
extern OBJ __AIdSet_Aexist_;
extern OBJ _AIdSet_Aexist_(OBJ,OBJ);

#define __AIdSet_Afind_ __AIdSet_14
#define _AIdSet_Afind_ _AIdSet_14
extern OBJ __AIdSet_Afind_;
extern OBJ _AIdSet_Afind_(OBJ,OBJ);

#define __AIdSet_Aforall_ __AIdSet_15
#define _AIdSet_Aforall_ _AIdSet_15
extern OBJ __AIdSet_Aforall_;
extern OBJ _AIdSet_Aforall_(OBJ,OBJ);

#define __AIdSet_Se __AIdSet_16
#define _AIdSet_Se _AIdSet_16
extern OBJ __AIdSet_Se;
extern OBJ _AIdSet_Se(OBJ,OBJ);

#define __AIdSet_Sle __AIdSet_17
#define _AIdSet_Sle _AIdSet_17
extern OBJ __AIdSet_Sle;
extern OBJ _AIdSet_Sle(OBJ,OBJ);

#define __AIdSet_Sl __AIdSet_18
#define _AIdSet_Sl _AIdSet_18
extern OBJ __AIdSet_Sl;
extern OBJ _AIdSet_Sl(OBJ,OBJ);

#define __AIdSet_AasSeq __AIdSet_19
#define _AIdSet_AasSeq _AIdSet_19
extern OBJ __AIdSet_AasSeq;
extern OBJ _AIdSet_AasSeq(OBJ);

#define __AIdSet_AasSet __AIdSet_20
#define _AIdSet_AasSet _AIdSet_20
extern OBJ __AIdSet_AasSet;
extern OBJ _AIdSet_AasSet(OBJ);

#define __AIdSet_AfmtIdset __AIdSet_21
#define _AIdSet_AfmtIdset _AIdSet_21
extern OBJ __AIdSet_AfmtIdset;
extern OBJ _AIdSet_AfmtIdset(OBJ);

#define __AIdSet_Aabs __AIdSet_22
#define _AIdSet_Aabs _AIdSet_22
extern OBJ __AIdSet_Aabs;
extern OBJ _AIdSet_Aabs(OBJ);

#define __AIdSet_Aabs_ __AIdSet_23
#define _AIdSet_Aabs_ _AIdSet_23
extern OBJ __AIdSet_Aabs_;
extern OBJ _AIdSet_Aabs_(OBJ);

#define __AIdSet_Arep __AIdSet_24
#define _AIdSet_Arep _AIdSet_24
extern OBJ __AIdSet_Arep;
extern OBJ _AIdSet_Arep(OBJ);

#ifndef AIdSet_Aincl
#define AIdSet_Aincl(x1,x2,x3) {x3=_AIdSet_Aincl(x1,x2);}
#endif

#ifndef AIdSet_Aexcl
#define AIdSet_Aexcl(x1,x2,x3) {x3=_AIdSet_Aexcl(x1,x2);}
#endif

#ifndef AIdSet_Sdd
#define AIdSet_Sdd(x1,x2,x3,x4) {x4=_AIdSet_Sdd(x1,x2,x3);}
#endif

#ifndef AIdSet_Sp
#define AIdSet_Sp(x1,x2,x3) {x3=_AIdSet_Sp(x1,x2);}
#endif

#ifndef AIdSet_Sm
#define AIdSet_Sm(x1,x2,x3) {x3=_AIdSet_Sm(x1,x2);}
#endif

#ifndef AIdSet_S8
#define AIdSet_S8(x1,x2,x3) {x3=_AIdSet_S8(x1,x2);}
#endif

#ifndef AIdSet_Aarb
#define AIdSet_Aarb(x1,x4) {x4=_AIdSet_Aarb(x1);}
#endif

#ifndef AIdSet_SOC_
#define AIdSet_SOC_(x1,x4) {x4=_AIdSet_SOC_(x1);}
#endif

#ifndef AIdSet_Ain
#define AIdSet_Ain(x1,x2,x3) {x3=_AIdSet_Ain(x1,x2);}
#endif

#ifndef AIdSet_S3
#define AIdSet_S3(x1,x2) {x2=_AIdSet_S3(x1);}
#endif

#ifndef AIdSet_Aexist_
#define AIdSet_Aexist_(x1,x2,x3) {x3=_AIdSet_Aexist_(x1,x2);}
#endif

#ifndef AIdSet_Afind_
#define AIdSet_Afind_(x1,x2,x3) {x3=_AIdSet_Afind_(x1,x2);}
#endif

#ifndef AIdSet_Aforall_
#define AIdSet_Aforall_(x1,x2,x3) {x3=_AIdSet_Aforall_(x1,x2);}
#endif

#ifndef AIdSet_Se
#define AIdSet_Se(x1,x2,x3) {x3=_AIdSet_Se(x1,x2);}
#endif

#ifndef AIdSet_Sle
#define AIdSet_Sle(x1,x2,x3) {x3=_AIdSet_Sle(x1,x2);}
#endif

#ifndef AIdSet_Sl
#define AIdSet_Sl(x1,x2,x3) {x3=_AIdSet_Sl(x1,x2);}
#endif

#ifndef AIdSet_AasSeq
#define AIdSet_AasSeq(x1,x2) {x2=_AIdSet_AasSeq(x1);}
#endif

#ifndef AIdSet_AasSet
#define AIdSet_AasSet(x1,x2) {x2=_AIdSet_AasSet(x1);}
#endif

#ifndef AIdSet_AfmtIdset
#define AIdSet_AfmtIdset(x1,x5) {x5=_AIdSet_AfmtIdset(x1);}
#endif

#ifndef AIdSet_Aabs
#define AIdSet_Aabs(x1,x2) {x2=_AIdSet_Aabs(x1);}
#endif

#ifndef AIdSet_Aabs_
#define AIdSet_Aabs_(x1,x2) {x2=_AIdSet_Aabs_(x1);}
#endif

#ifndef AIdSet_Arep
#define AIdSet_Arep(x1,x2) {x2=_AIdSet_Arep(x1);}
#endif

#ifndef AIdSet_AfmtIdset_L25
#define AIdSet_AfmtIdset_L25(x1,x2) {x2=_AIdSet_AfmtIdset_L25(x1);}
#endif

#ifndef AIdSet_AfmtIdset_L27
#define AIdSet_AfmtIdset_L27(x1,x2) {x2=_AIdSet_AfmtIdset_L27(x1);}
#endif

#ifndef AIdSet_AfmtIdset_L28
#define AIdSet_AfmtIdset_L28(x1,x2) {x2=_AIdSet_AfmtIdset_L28(x1);}
#endif

#endif
