15 RET(f1(4,muh) == 1 && f1(5,kuh) == 0 &&
16 f2(5,muh) == 0 && f2(5,kuh) == 1 &&
17 f3(5,muh) == 1 && f3(5,kuh) == 0 &&
18 f4(5,muh) == 0 && f4(5,kuh) == 1 &&
19 f5(5,muh) == 1 && f5(5,kuh) == 0 &&
20 f6(6,muh) == 1 && f6(6,kuh) == 0 &&
21 f7(5,muh) == 0 && f7(5,kuh) == 1 &&
22 f8(5,muh) == 1 && f8(5,kuh) == 0 &&
23 f9(5,muh) == 0 && f9(5,kuh) == 1