

#ifndef AIdMap_included
#define AIdMap_included

#define __AIdMap_SOC __AIdMap_3
extern OBJ __AIdMap_SOC;

#define __AIdMap_SOC_ __AIdMap_4
#define _AIdMap_SOC_ _AIdMap_4
extern OBJ __AIdMap_SOC_;
extern OBJ _AIdMap_SOC_(OBJ);

#define __AIdMap_Adef __AIdMap_5
#define _AIdMap_Adef _AIdMap_5
extern OBJ __AIdMap_Adef;
extern OBJ _AIdMap_Adef(OBJ,OBJ,OBJ);

#define __AIdMap_Aupd __AIdMap_6
#define _AIdMap_Aupd _AIdMap_6
extern OBJ __AIdMap_Aupd;
extern OBJ _AIdMap_Aupd(OBJ,OBJ,OBJ);

#define __AIdMap_S1 __AIdMap_7
#define _AIdMap_S1 _AIdMap_7
extern OBJ __AIdMap_S1;
extern OBJ _AIdMap_S1(OBJ,OBJ);

#define __AIdMap_S1_ __AIdMap_8
#define _AIdMap_S1_ _AIdMap_8
extern OBJ __AIdMap_S1_;
extern OBJ _AIdMap_S1_(OBJ,OBJ);

#define __AIdMap_Adef_ __AIdMap_9
#define _AIdMap_Adef_ _AIdMap_9
extern OBJ __AIdMap_Adef_;
extern OBJ _AIdMap_Adef_(OBJ,OBJ);

#define __AIdMap_Aundef __AIdMap_10
#define _AIdMap_Aundef _AIdMap_10
extern OBJ __AIdMap_Aundef;
extern OBJ _AIdMap_Aundef(OBJ,OBJ);

#define __AIdMap_Aexists_ __AIdMap_11
#define _AIdMap_Aexists_ _AIdMap_11
extern OBJ __AIdMap_Aexists_;
extern OBJ _AIdMap_Aexists_(OBJ,OBJ);

#define __AIdMap_Aforall_ __AIdMap_12
#define _AIdMap_Aforall_ _AIdMap_12
extern OBJ __AIdMap_Aforall_;
extern OBJ _AIdMap_Aforall_(OBJ,OBJ);

#define __AIdMap_Afind_ __AIdMap_13
#define _AIdMap_Afind_ _AIdMap_13
extern OBJ __AIdMap_Afind_;
extern OBJ _AIdMap_Afind_(OBJ,OBJ);

#define __AIdMap_Afind__O1 __AIdMap_14
#define _AIdMap_Afind__O1 _AIdMap_14
extern OBJ __AIdMap_Afind__O1;
extern OBJ _AIdMap_Afind__O1(OBJ,OBJ);

#define __AIdMap_Afree __AIdMap_15
#define _AIdMap_Afree _AIdMap_15
extern OBJ __AIdMap_Afree;
extern OBJ _AIdMap_Afree(OBJ);

#define __AIdMap_Adom __AIdMap_16
#define _AIdMap_Adom _AIdMap_16
extern OBJ __AIdMap_Adom;
extern OBJ _AIdMap_Adom(OBJ);

#define __AIdMap_Acodom __AIdMap_17
#define _AIdMap_Acodom _AIdMap_17
extern OBJ __AIdMap_Acodom;
extern OBJ _AIdMap_Acodom(OBJ);

#define __AIdMap_AcodomST __AIdMap_18
#define _AIdMap_AcodomST _AIdMap_18
extern OBJ __AIdMap_AcodomST;
extern OBJ _AIdMap_AcodomST(OBJ,OBJ);

#define __AIdMap_Slp __AIdMap_19
#define _AIdMap_Slp _AIdMap_19
extern OBJ __AIdMap_Slp;
extern OBJ _AIdMap_Slp(OBJ,OBJ);

#define __AIdMap_Slm __AIdMap_20
#define _AIdMap_Slm _AIdMap_20
extern OBJ __AIdMap_Slm;
extern OBJ _AIdMap_Slm(OBJ,OBJ);

#define __AIdMap_Aextend __AIdMap_21
#define _AIdMap_Aextend _AIdMap_21
extern OBJ __AIdMap_Aextend;
extern OBJ _AIdMap_Aextend(OBJ,OBJ,OBJ);

#define __AIdMap_AasMap __AIdMap_22
#define _AIdMap_AasMap _AIdMap_22
extern OBJ __AIdMap_AasMap;
extern OBJ _AIdMap_AasMap(OBJ);

#define __AIdMap_AasSeq __AIdMap_23
#define _AIdMap_AasSeq _AIdMap_23
extern OBJ __AIdMap_AasSeq;
extern OBJ _AIdMap_AasSeq(OBJ);

#define __AIdMap_AfmtIdmap __AIdMap_24
#define _AIdMap_AfmtIdmap _AIdMap_24
extern OBJ __AIdMap_AfmtIdmap;
extern OBJ _AIdMap_AfmtIdmap(OBJ,OBJ);

#define __AIdMap_Aabs __AIdMap_25
#define _AIdMap_Aabs _AIdMap_25
extern OBJ __AIdMap_Aabs;
extern OBJ _AIdMap_Aabs(OBJ);

#define __AIdMap_Aabs_ __AIdMap_26
#define _AIdMap_Aabs_ _AIdMap_26
extern OBJ __AIdMap_Aabs_;
extern OBJ _AIdMap_Aabs_(OBJ);

#define __AIdMap_Atab __AIdMap_27
#define _AIdMap_Atab _AIdMap_27
extern OBJ __AIdMap_Atab;
extern OBJ _AIdMap_Atab(OBJ);

#define __AIdMap_AasIdPair __AIdMap_28
#define _AIdMap_AasIdPair _AIdMap_28
extern OBJ __AIdMap_AasIdPair;
extern OBJ _AIdMap_AasIdPair(OBJ);

#define __AIdMap_AasId __AIdMap_29
#define _AIdMap_AasId _AIdMap_29
extern OBJ __AIdMap_AasId;
extern OBJ _AIdMap_AasId(OBJ);

#ifndef AIdMap_SOC_
#define AIdMap_SOC_(x1,x2) {x2=_AIdMap_SOC_(x1);}
#endif

#ifndef AIdMap_Adef
#define AIdMap_Adef(x1,x2,x3,x4) {x4=_AIdMap_Adef(x1,x2,x3);}
#endif

#ifndef AIdMap_Aupd
#define AIdMap_Aupd(x1,x2,x3,x4) {x4=_AIdMap_Aupd(x1,x2,x3);}
#endif

#ifndef AIdMap_S1
#define AIdMap_S1(x1,x2,x3) {x3=_AIdMap_S1(x1,x2);}
#endif

#ifndef AIdMap_S1_
#define AIdMap_S1_(x1,x2,x3) {x3=_AIdMap_S1_(x1,x2);}
#endif

#ifndef AIdMap_Adef_
#define AIdMap_Adef_(x1,x2,x3) {x3=_AIdMap_Adef_(x1,x2);}
#endif

#ifndef AIdMap_Aundef
#define AIdMap_Aundef(x1,x2,x3) {x3=_AIdMap_Aundef(x1,x2);}
#endif

#ifndef AIdMap_Aexists_
#define AIdMap_Aexists_(x1,x2,x4) {x4=_AIdMap_Aexists_(x1,x2);}
#endif

#ifndef AIdMap_Aforall_
#define AIdMap_Aforall_(x1,x2,x4) {x4=_AIdMap_Aforall_(x1,x2);}
#endif

#ifndef AIdMap_Afind_
#define AIdMap_Afind_(x1,x2,x5) {x5=_AIdMap_Afind_(x1,x2);}
#endif

#ifndef AIdMap_Afind__O1
#define AIdMap_Afind__O1(x1,x2,x5) {x5=_AIdMap_Afind__O1(x1,x2);}
#endif

#ifndef AIdMap_Afree
#define AIdMap_Afree(x1,x5) {x5=_AIdMap_Afree(x1);}
#endif

#ifndef AIdMap_Adom
#define AIdMap_Adom(x1,x4) {x4=_AIdMap_Adom(x1);}
#endif

#ifndef AIdMap_Acodom
#define AIdMap_Acodom(x1,x2) {x2=_AIdMap_Acodom(x1);}
#endif

#ifndef AIdMap_AcodomST
#define AIdMap_AcodomST(x1,x2,x5) {x5=_AIdMap_AcodomST(x1,x2);}
#endif

#ifndef AIdMap_Slp
#define AIdMap_Slp(x1,x2,x3) {x3=_AIdMap_Slp(x1,x2);}
#endif

#ifndef AIdMap_Slm
#define AIdMap_Slm(x1,x2,x5) {x5=_AIdMap_Slm(x1,x2);}
#endif

#ifndef AIdMap_Aextend
#define AIdMap_Aextend(x1,x2,x3,x5) {x5=_AIdMap_Aextend(x1,x2,x3);}
#endif

#ifndef AIdMap_AasMap
#define AIdMap_AasMap(x1,x3) {x3=_AIdMap_AasMap(x1);}
#endif

#ifndef AIdMap_AasSeq
#define AIdMap_AasSeq(x1,x3) {x3=_AIdMap_AasSeq(x1);}
#endif

#ifndef AIdMap_AfmtIdmap
#define AIdMap_AfmtIdmap(x1,x2,x9) {x9=_AIdMap_AfmtIdmap(x1,x2);}
#endif

#ifndef AIdMap_Aabs
#define AIdMap_Aabs(x1,x2) {x2=_AIdMap_Aabs(x1);}
#endif

#ifndef AIdMap_Aabs_
#define AIdMap_Aabs_(x1,x2) {x2=_AIdMap_Aabs_(x1);}
#endif

#ifndef AIdMap_Atab
#define AIdMap_Atab(x1,x2) {x2=_AIdMap_Atab(x1);}
#endif

#ifndef AIdMap_AasIdPair
#define AIdMap_AasIdPair(x1,x14) {x14=_AIdMap_AasIdPair(x1);}
#endif

#ifndef AIdMap_AasId
#define AIdMap_AasId(x1,x3) {x3=_AIdMap_AasId(x1);}
#endif

#ifndef AIdMap_Aexists__L30
#define AIdMap_Aexists__L30(x1,x2,x3,x4) {x4=_AIdMap_Aexists__L30(x1,x2,x3);}
#endif

#ifndef AIdMap_Aforall__L31
#define AIdMap_Aforall__L31(x1,x2,x3,x4) {x4=_AIdMap_Aforall__L31(x1,x2,x3);}
#endif

#ifndef AIdMap_Afind__O1_L32
#define AIdMap_Afind__O1_L32(x1,x2,x3,x6) {x6=_AIdMap_Afind__O1_L32(x1,x2,x3);}
#endif

#ifndef AIdMap_Afind__L33
#define AIdMap_Afind__L33(x1,x2,x3,x4) {x4=_AIdMap_Afind__L33(x1,x2,x3);}
#endif

#ifndef AIdMap_AcodomST_L34
#define AIdMap_AcodomST_L34(x1,x2,x3,x4) {x4=_AIdMap_AcodomST_L34(x1,x2,x3);}
#endif

#ifndef AIdMap_AasMap_L35
#define AIdMap_AasMap_L35(x1,x10) {x10=_AIdMap_AasMap_L35(x1);}
#endif

#ifndef AIdMap_AfmtIdmap_L36
#define AIdMap_AfmtIdmap_L36(x1,x2) {x2=_AIdMap_AfmtIdmap_L36(x1);}
#endif

#ifndef AIdMap_AfmtIdmap_L38
#define AIdMap_AfmtIdmap_L38(x1,x2) {x2=_AIdMap_AfmtIdmap_L38(x1);}
#endif

#ifndef AIdMap_AfmtIdmap_L39
#define AIdMap_AfmtIdmap_L39(x1,x2) {x2=_AIdMap_AfmtIdmap_L39(x1);}
#endif

#ifndef AIdMap_AfmtIdmap_L41
#define AIdMap_AfmtIdmap_L41(x1,x2) {x2=_AIdMap_AfmtIdmap_L41(x1);}
#endif

#ifndef AIdMap_AfmtIdmap_L42
#define AIdMap_AfmtIdmap_L42(x1,x2,x18) {x18=_AIdMap_AfmtIdmap_L42(x1,x2);}
#endif

#endif
