interface alpha_F_m2_1<gamma_n, alpha_n_1, gamma_o, alpha_o_1> { 
    gamma_n n(alpha_n_1 x); 
    gamma_o o(alpha_o_1 x); 
} 

interface alpha_F_m3_1<gamma_n, alpha_n_1> { 
    gamma_n n(alpha_n_1 x); 
} 

class F< 
        A11 extends R1, 
        A12, 
        R1 extends R2, 
A21 extends alpha_F_m2_1<Gamma_F_m2_1_o,A22,Gamma_F_m2_1_n,sup_A23>, 
Gamma_F_m2_1_o extends A12, 
Gamma_F_m2_1_n extends A11, 
A22, 
sup_A23, 
A23 extends sup_A23, 
R2, 
 	sup_A33_A32, 
 	A31 extends alpha_F_m3_1<Gamma_F_m3_1_n,sup_A33_A32>, 
 	A33 extends sup_A33_A32, 
 	A32 extends sup_A33_A32, 
 	Gamma_F_m3_1_n extends A11, 
         A32, 
 	A33, 
 	R3 
> { 
    R1 m1(A11 x, A12 y) { return x; } 
    R2 m2(A21 x, A22 y, A23 z) { return m1(x.o(z), x.n(y)); } 
    R3 m3(A31 x, A32 y, A33 z) { return m1(x.n(z), x.n(y)); } 
}