

#ifndef ARel_included
#define ARel_included

#define __ARel_SOC __ARel_7
#define _ARel_SOC _ARel_7
extern OBJ __ARel_SOC;
extern OBJ _ARel_SOC(OBJ,OBJ);

#define __ARel_Aincl __ARel_8
#define _ARel_Aincl _ARel_8
extern OBJ __ARel_Aincl;
extern OBJ _ARel_Aincl(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aincl_O1 __ARel_9
#define _ARel_Aincl_O1 _ARel_9
extern OBJ __ARel_Aincl_O1;
extern OBJ _ARel_Aincl_O1(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Simg __ARel_10
#define _ARel_Simg _ARel_10
extern OBJ __ARel_Simg;
extern OBJ _ARel_Simg(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Simg_O1 __ARel_11
#define _ARel_Simg_O1 _ARel_11
extern OBJ __ARel_Simg_O1;
extern OBJ _ARel_Simg_O1(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aexcl __ARel_13
#define _ARel_Aexcl _ARel_13
extern OBJ __ARel_Aexcl;
extern OBJ _ARel_Aexcl(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aextend __ARel_14
#define _ARel_Aextend _ARel_14
extern OBJ __ARel_Aextend;
extern OBJ _ARel_Aextend(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aextend_O1 __ARel_15
#define _ARel_Aextend_O1 _ARel_15
extern OBJ __ARel_Aextend_O1;
extern OBJ _ARel_Aextend_O1(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Ax __ARel_16
#define _ARel_Ax _ARel_16
extern OBJ __ARel_Ax;
extern OBJ _ARel_Ax(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Ax_O1 __ARel_17
#define _ARel_Ax_O1 _ARel_17
extern OBJ __ARel_Ax_O1;
extern OBJ _ARel_Ax_O1(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Ax_O2 __ARel_18
#define _ARel_Ax_O2 _ARel_18
extern OBJ __ARel_Ax_O2;
extern OBJ _ARel_Ax_O2(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Sp __ARel_19
#define _ARel_Sp _ARel_19
extern OBJ __ARel_Sp;
extern OBJ _ARel_Sp(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Sm __ARel_20
#define _ARel_Sm _ARel_20
extern OBJ __ARel_Sm;
extern OBJ _ARel_Sm(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S8 __ARel_21
#define _ARel_S8 _ARel_21
extern OBJ __ARel_S8;
extern OBJ _ARel_S8(OBJ,OBJ,OBJ,OBJ);

#define __ARel_SlS __ARel_22
#define _ARel_SlS _ARel_22
extern OBJ __ARel_SlS;
extern OBJ _ARel_SlS(OBJ,OBJ,OBJ,OBJ);

#define __ARel_SSg __ARel_23
#define _ARel_SSg _ARel_23
extern OBJ __ARel_SSg;
extern OBJ _ARel_SSg(OBJ,OBJ,OBJ,OBJ);

#define __ARel_SltS __ARel_24
#define _ARel_SltS _ARel_24
extern OBJ __ARel_SltS;
extern OBJ _ARel_SltS(OBJ,OBJ,OBJ,OBJ);

#define __ARel_SStg __ARel_25
#define _ARel_SStg _ARel_25
extern OBJ __ARel_SStg;
extern OBJ _ARel_SStg(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aarb __ARel_26
#define _ARel_Aarb _ARel_26
extern OBJ __ARel_Aarb;
extern TUP2 _ARel_Aarb(OBJ,OBJ,OBJ);

#define __ARel_Aarb_O1 __ARel_27
#define _ARel_Aarb_O1 _ARel_27
extern OBJ __ARel_Aarb_O1;
extern TUP3 _ARel_Aarb_O1(OBJ,OBJ,OBJ);

#define __ARel_S1 __ARel_28
#define _ARel_S1 _ARel_28
extern OBJ __ARel_S1;
extern OBJ _ARel_S1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S1_O1 __ARel_29
#define _ARel_S1_O1 _ARel_29
extern OBJ __ARel_S1_O1;
extern OBJ _ARel_S1_O1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S1_Ac __ARel_30
#define _ARel_S1_Ac _ARel_30
extern OBJ __ARel_S1_Ac;
extern OBJ _ARel_S1_Ac(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S1_Ac_O1 __ARel_31
#define _ARel_S1_Ac_O1 _ARel_31
extern OBJ __ARel_S1_Ac_O1;
extern OBJ _ARel_S1_Ac_O1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S1_O2 __ARel_32
#define _ARel_S1_O2 _ARel_32
extern OBJ __ARel_S1_O2;
extern OBJ _ARel_S1_O2(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_S1_ __ARel_33
#define _ARel_S1_ _ARel_33
extern OBJ __ARel_S1_;
extern OBJ _ARel_S1_(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_SOC_ __ARel_34
#define _ARel_SOC_ _ARel_34
extern OBJ __ARel_SOC_;
extern OBJ _ARel_SOC_(OBJ,OBJ,OBJ);

#define __ARel_Ain __ARel_35
#define _ARel_Ain _ARel_35
extern OBJ __ARel_Ain;
extern OBJ _ARel_Ain(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_Adef_ __ARel_36
#define _ARel_Adef_ _ARel_36
extern OBJ __ARel_Adef_;
extern OBJ _ARel_Adef_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Adef_Ac_ __ARel_37
#define _ARel_Adef_Ac_ _ARel_37
extern OBJ __ARel_Adef_Ac_;
extern OBJ _ARel_Adef_Ac_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_S3 __ARel_38
#define _ARel_S3 _ARel_38
extern OBJ __ARel_S3;
extern OBJ _ARel_S3(OBJ,OBJ,OBJ);

#define __ARel_Adom __ARel_39
#define _ARel_Adom _ARel_39
extern OBJ __ARel_Adom;
extern OBJ _ARel_Adom(OBJ,OBJ,OBJ);

#define __ARel_Acodom __ARel_40
#define _ARel_Acodom _ARel_40
extern OBJ __ARel_Acodom;
extern OBJ _ARel_Acodom(OBJ,OBJ,OBJ);

#define __ARel_Abijective_ __ARel_41
#define _ARel_Abijective_ _ARel_41
extern OBJ __ARel_Abijective_;
extern OBJ _ARel_Abijective_(OBJ,OBJ,OBJ);

#define __ARel_Afunction_ __ARel_42
#define _ARel_Afunction_ _ARel_42
extern OBJ __ARel_Afunction_;
extern OBJ _ARel_Afunction_(OBJ,OBJ,OBJ);

#define __ARel_Amin __ARel_43
#define _ARel_Amin _ARel_43
extern OBJ __ARel_Amin;
extern TUP2 _ARel_Amin(OBJ,OBJ,OBJ);

#define __ARel_Amax __ARel_44
#define _ARel_Amax _ARel_44
extern OBJ __ARel_Amax;
extern TUP2 _ARel_Amax(OBJ,OBJ,OBJ);

#define __ARel_Aexist_ __ARel_45
#define _ARel_Aexist_ _ARel_45
extern OBJ __ARel_Aexist_;
extern OBJ _ARel_Aexist_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Afind_ __ARel_46
#define _ARel_Afind_ _ARel_46
extern OBJ __ARel_Afind_;
extern OBJ _ARel_Afind_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aforall_ __ARel_47
#define _ARel_Aforall_ _ARel_47
extern OBJ __ARel_Aforall_;
extern OBJ _ARel_Aforall_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aexist__O1 __ARel_48
#define _ARel_Aexist__O1 _ARel_48
extern OBJ __ARel_Aexist__O1;
extern OBJ _ARel_Aexist__O1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Afind__O1 __ARel_49
#define _ARel_Afind__O1 _ARel_49
extern OBJ __ARel_Afind__O1;
extern OBJ _ARel_Afind__O1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aforall__O1 __ARel_50
#define _ARel_Aforall__O1 _ARel_50
extern OBJ __ARel_Aforall__O1;
extern OBJ _ARel_Aforall__O1(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Se __ARel_51
#define _ARel_Se _ARel_51
extern OBJ __ARel_Se;
extern OBJ _ARel_Se(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Sl __ARel_52
#define _ARel_Sl _ARel_52
extern OBJ __ARel_Sl;
extern OBJ _ARel_Sl(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Sle __ARel_53
#define _ARel_Sle _ARel_53
extern OBJ __ARel_Sle;
extern OBJ _ARel_Sle(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Adisjoint_ __ARel_54
#define _ARel_Adisjoint_ _ARel_54
extern OBJ __ARel_Adisjoint_;
extern OBJ _ARel_Adisjoint_(OBJ,OBJ,OBJ,OBJ);

#define __ARel_SOlC __ARel_55
#define _ARel_SOlC _ARel_55
extern OBJ __ARel_SOlC;
extern OBJ _ARel_SOlC(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aabs __ARel_56
#define _ARel_Aabs _ARel_56
extern OBJ __ARel_Aabs;
extern OBJ _ARel_Aabs(OBJ,OBJ,OBJ);

#define __ARel_Aabs_ __ARel_57
#define _ARel_Aabs_ _ARel_57
extern OBJ __ARel_Aabs_;
extern OBJ _ARel_Aabs_(OBJ,OBJ,OBJ);

#define __ARel_Arep __ARel_58
#define _ARel_Arep _ARel_58
extern OBJ __ARel_Arep;
extern OBJ _ARel_Arep(OBJ,OBJ,OBJ);

#define __ARel_Acmp __ARel_59
#define _ARel_Acmp _ARel_59
extern OBJ __ARel_Acmp;
extern OBJ _ARel_Acmp(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ARel_S2 __ARel_60
#define _ARel_S2 _ARel_60
extern OBJ __ARel_S2;
extern OBJ _ARel_S2(OBJ,OBJ,OBJ,OBJ);

#define __ARel_Aclean __ARel_61
#define _ARel_Aclean _ARel_61
extern OBJ __ARel_Aclean;
extern OBJ _ARel_Aclean(OBJ,OBJ,OBJ);

#define __ARel_Aclean_L71 __ARel_71
#define _ARel_Aclean_L71 _ARel_71
extern OBJ __ARel_Aclean_L71;
extern OBJ _ARel_Aclean_L71(OBJ,OBJ);

#ifndef ARel_SOC
#define ARel_SOC(x1,x2,x3) {x3=_ARel_SOC(x1,x2);}
#endif

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

#ifndef ARel_Aincl_O1
#define ARel_Aincl_O1(x1,x2,x3,x4,x5,x6,x10) {x10=_ARel_Aincl_O1(x1,x2,x3,x4,x5,x6);}
#endif

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

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

#ifndef ARel_Aexcl
#define ARel_Aexcl(x1,x2,x3,x4,x5,x15) {x15=_ARel_Aexcl(x1,x2,x3,x4,x5);}
#endif

#ifndef ARel_Aextend
#define ARel_Aextend(x1,x2,x3,x4,x5,x6,x138) {x138=_ARel_Aextend(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARel_Aextend_O1
#define ARel_Aextend_O1(x1,x2,x3,x4,x5,x6,x80) {x80=_ARel_Aextend_O1(x1,x2,x3,x4,x5,x6);}
#endif

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

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

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

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

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

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

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

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

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

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

#ifndef ARel_Aarb
#define ARel_Aarb(x1,x2,x3,x4,x5) {TUP2 t;t=_ARel_Aarb(x1,x2,x3);x4=t.c1;x5=t.c2;}
#endif

#ifndef ARel_Aarb_O1
#define ARel_Aarb_O1(x1,x2,x3,x18,x19,x20) {TUP3 t;t=_ARel_Aarb_O1(x1,x2,x3);x18=t.c1;x19=t.c2;x20=t.c3;}
#endif

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

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

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

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

#ifndef ARel_S1_O2
#define ARel_S1_O2(x1,x2,x3,x4,x5,x19) {x19=_ARel_S1_O2(x1,x2,x3,x4,x5);}
#endif

#ifndef ARel_S1_
#define ARel_S1_(x1,x2,x3,x4,x5,x12) {x12=_ARel_S1_(x1,x2,x3,x4,x5);}
#endif

#ifndef ARel_SOC_
#define ARel_SOC_(x1,x2,x3,x5) {x5=_ARel_SOC_(x1,x2,x3);}
#endif

#ifndef ARel_Ain
#define ARel_Ain(x1,x2,x3,x4,x5,x16) {x16=_ARel_Ain(x1,x2,x3,x4,x5);}
#endif

#ifndef ARel_Adef_
#define ARel_Adef_(x1,x2,x3,x4,x21) {x21=_ARel_Adef_(x1,x2,x3,x4);}
#endif

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

#ifndef ARel_S3
#define ARel_S3(x1,x2,x3,x6) {x6=_ARel_S3(x1,x2,x3);}
#endif

#ifndef ARel_Adom
#define ARel_Adom(x1,x2,x3,x5) {x5=_ARel_Adom(x1,x2,x3);}
#endif

#ifndef ARel_Acodom
#define ARel_Acodom(x1,x2,x3,x7) {x7=_ARel_Acodom(x1,x2,x3);}
#endif

#ifndef ARel_Abijective_
#define ARel_Abijective_(x1,x2,x3,x10) {x10=_ARel_Abijective_(x1,x2,x3);}
#endif

#ifndef ARel_Afunction_
#define ARel_Afunction_(x1,x2,x3,x6) {x6=_ARel_Afunction_(x1,x2,x3);}
#endif

#ifndef ARel_Amin
#define ARel_Amin(x1,x2,x3,x14,x15) {TUP2 t;t=_ARel_Amin(x1,x2,x3);x14=t.c1;x15=t.c2;}
#endif

#ifndef ARel_Amax
#define ARel_Amax(x1,x2,x3,x10,x11) {TUP2 t;t=_ARel_Amax(x1,x2,x3);x10=t.c1;x11=t.c2;}
#endif

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

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

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

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

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

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

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

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

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

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

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

#ifndef ARel_Aabs
#define ARel_Aabs(x1,x2,x3,x4) {x4=_ARel_Aabs(x1,x2,x3);}
#endif

#ifndef ARel_Aabs_
#define ARel_Aabs_(x1,x2,x3,x4) {x4=_ARel_Aabs_(x1,x2,x3);}
#endif

#ifndef ARel_Arep
#define ARel_Arep(x1,x2,x3,x4) {x4=_ARel_Arep(x1,x2,x3);}
#endif

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

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

#ifndef ARel_Aclean
#define ARel_Aclean(x1,x2,x3,x4) {x4=_ARel_Aclean(x1,x2,x3);}
#endif

#ifndef ARel_Ax_L62
#define ARel_Ax_L62(x1,x2,x3,x4) {x4=_ARel_Ax_L62(x1,x2,x3);}
#endif

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

#ifndef ARel_Ax_O1_L64
#define ARel_Ax_O1_L64(x1,x2,x3,x4) {x4=_ARel_Ax_O1_L64(x1,x2,x3);}
#endif

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

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

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

#ifndef ARel_S8_L68
#define ARel_S8_L68(x1,x2,x3,x4,x5,x6,x8) {x8=_ARel_S8_L68(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARel_S8_L69
#define ARel_S8_L69(x1,x2,x3,x4,x5,x6,x10) {x10=_ARel_S8_L69(x1,x2,x3,x4,x5,x6);}
#endif

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

#ifndef ARel_Aclean_L71
#define ARel_Aclean_L71(x1,x2,x10) {x10=_ARel_Aclean_L71(x1,x2);}
#endif

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

#ifndef ARel_SSg_L73
#define ARel_SSg_L73(x1,x2,x3,x5) {x5=_ARel_SSg_L73(x1,x2,x3);}
#endif

#ifndef ARel_SltS_L74
#define ARel_SltS_L74(x1,x2,x3,x4) {x4=_ARel_SltS_L74(x1,x2,x3);}
#endif

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

#ifndef ARel_SStg_L76
#define ARel_SStg_L76(x1,x2,x3,x5) {x5=_ARel_SStg_L76(x1,x2,x3);}
#endif

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

#ifndef ARel_S1_Ac_L78
#define ARel_S1_Ac_L78(x1,x2,x3,x4,x5,x6,x8) {x8=_ARel_S1_Ac_L78(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ARel_S1_Ac_O1_L79
#define ARel_S1_Ac_O1_L79(x1,x2,x3,x4,x5,x6,x14) {x14=_ARel_S1_Ac_O1_L79(x1,x2,x3,x4,x5,x6);}
#endif

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

#ifndef ARel_Afunction__L81
#define ARel_Afunction__L81(x1,x2,x3,x6) {x6=_ARel_Afunction__L81(x1,x2,x3);}
#endif

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

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

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

#ifndef ARel_Afind__L85
#define ARel_Afind__L85(x1,x2,x6) {x6=_ARel_Afind__L85(x1,x2);}
#endif

#ifndef ARel_Afind__L86
#define ARel_Afind__L86(x1,x2,x3,x4,x5,x15) {x15=_ARel_Afind__L86(x1,x2,x3,x4,x5);}
#endif

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

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

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

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

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

#ifndef ARel_Afind__O1_L92
#define ARel_Afind__O1_L92(x1,x2,x11) {x11=_ARel_Afind__O1_L92(x1,x2);}
#endif

#ifndef ARel_Afind__O1_L93
#define ARel_Afind__O1_L93(x1,x2,x3,x4,x5,x15) {x15=_ARel_Afind__O1_L93(x1,x2,x3,x4,x5);}
#endif

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

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

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

#ifndef ARel_Adisjoint__L97
#define ARel_Adisjoint__L97(x1,x2,x3,x4,x5,x13) {x13=_ARel_Adisjoint__L97(x1,x2,x3,x4,x5);}
#endif

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

#endif
