

#ifndef ARelHomog_included
#define ARelHomog_included

#define __ARelHomog_Aid __ARelHomog_7
#define _ARelHomog_Aid _ARelHomog_7
extern OBJ __ARelHomog_Aid;
extern OBJ _ARelHomog_Aid(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Aiter __ARelHomog_8
#define _ARelHomog_Aiter _ARelHomog_8
extern OBJ __ARelHomog_Aiter;
extern OBJ _ARelHomog_Aiter(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_S6 __ARelHomog_9
#define _ARelHomog_S6 _ARelHomog_9
extern OBJ __ARelHomog_S6;
extern OBJ _ARelHomog_S6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Asymmetric_ __ARelHomog_10
#define _ARelHomog_Asymmetric_ _ARelHomog_10
extern OBJ __ARelHomog_Asymmetric_;
extern OBJ _ARelHomog_Asymmetric_(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_AsymClosure __ARelHomog_11
#define _ARelHomog_AsymClosure _ARelHomog_11
extern OBJ __ARelHomog_AsymClosure;
extern OBJ _ARelHomog_AsymClosure(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Areflexive_ __ARelHomog_12
#define _ARelHomog_Areflexive_ _ARelHomog_12
extern OBJ __ARelHomog_Areflexive_;
extern OBJ _ARelHomog_Areflexive_(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_ArefClosure __ARelHomog_13
#define _ARelHomog_ArefClosure _ARelHomog_13
extern OBJ __ARelHomog_ArefClosure;
extern OBJ _ARelHomog_ArefClosure(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Atransitive_ __ARelHomog_14
#define _ARelHomog_Atransitive_ _ARelHomog_14
extern OBJ __ARelHomog_Atransitive_;
extern OBJ _ARelHomog_Atransitive_(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Sp __ARelHomog_15
#define _ARelHomog_Sp _ARelHomog_15
extern OBJ __ARelHomog_Sp;
extern OBJ _ARelHomog_Sp(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_AtransClosure __ARelHomog_16
#define _ARelHomog_AtransClosure _ARelHomog_16
extern OBJ __ARelHomog_AtransClosure;
extern OBJ _ARelHomog_AtransClosure(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_S8 __ARelHomog_17
#define _ARelHomog_S8 _ARelHomog_17
extern OBJ __ARelHomog_S8;
extern OBJ _ARelHomog_S8(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_ArefTransClosure __ARelHomog_18
#define _ARelHomog_ArefTransClosure _ARelHomog_18
extern OBJ __ARelHomog_ArefTransClosure;
extern OBJ _ARelHomog_ArefTransClosure(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_ARSTClosure __ARelHomog_19
#define _ARelHomog_ARSTClosure _ARelHomog_19
extern OBJ __ARelHomog_ARSTClosure;
extern OBJ _ARelHomog_ARSTClosure(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARelHomog_Sa __ARelHomog_20
#define _ARelHomog_Sa _ARelHomog_20
extern OBJ __ARelHomog_Sa;
extern TUP2 _ARelHomog_Sa(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

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

#ifndef ARelHomog_Aiter
#define ARelHomog_Aiter(x1,x2,x3,x4,x5,x6,x7) {x7=_ARelHomog_Aiter(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARelHomog_S6
#define ARelHomog_S6(x1,x2,x3,x4,x5,x6,x13) {x13=_ARelHomog_S6(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARelHomog_Asymmetric_
#define ARelHomog_Asymmetric_(x1,x2,x3,x4,x5,x7) {x7=_ARelHomog_Asymmetric_(x1,x2,x3,x4,x5);}
#endif

#ifndef ARelHomog_AsymClosure
#define ARelHomog_AsymClosure(x1,x2,x3,x4,x5,x7) {x7=_ARelHomog_AsymClosure(x1,x2,x3,x4,x5);}
#endif

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

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

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

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

#ifndef ARelHomog_AtransClosure
#define ARelHomog_AtransClosure(x1,x2,x3,x4,x5,x6) {x6=_ARelHomog_AtransClosure(x1,x2,x3,x4,x5);}
#endif

#ifndef ARelHomog_S8
#define ARelHomog_S8(x1,x2,x3,x4,x5,x7) {x7=_ARelHomog_S8(x1,x2,x3,x4,x5);}
#endif

#ifndef ARelHomog_ArefTransClosure
#define ARelHomog_ArefTransClosure(x1,x2,x3,x4,x5,x7) {x7=_ARelHomog_ArefTransClosure(x1,x2,x3,x4,x5);}
#endif

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

#ifndef ARelHomog_Sa
#define ARelHomog_Sa(x1,x2,x3,x4,x5,x6,x12,x13) {TUP2 t;t=_ARelHomog_Sa(x1,x2,x3,x4,x5,x6);x12=t.c1;x13=t.c2;}
#endif

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

#ifndef ARelHomog_Asymmetric__L22
#define ARelHomog_Asymmetric__L22(x1,x2,x3,x4,x5) {x5=_ARelHomog_Asymmetric__L22(x1,x2,x3,x4);}
#endif

#ifndef ARelHomog_AsymClosure_L23
#define ARelHomog_AsymClosure_L23(x1,x2,x3,x4,x5,x6,x9) {x9=_ARelHomog_AsymClosure_L23(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARelHomog_Areflexive__L24
#define ARelHomog_Areflexive__L24(x1,x2,x3,x4) {x4=_ARelHomog_Areflexive__L24(x1,x2,x3);}
#endif

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

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

#ifndef ARelHomog_Sa_L27
#define ARelHomog_Sa_L27(x1,x2,x3,x4,x5,x6,x7,x16) {x16=_ARelHomog_Sa_L27(x1,x2,x3,x4,x5,x6,x7);}
#endif

#endif
