(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M) (RULES f11(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f13(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 0 >= A f11(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f13(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 2 f13(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f15(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 1 >= A f13(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f15(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 3 f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f17(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 2 >= A f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f17(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 4 f17(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f19(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 3 >= A f17(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f19(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 5 f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f21(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 4 >= A f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f21(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 6 f21(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f23(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 5 >= A f21(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f23(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 7 f23(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f25(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 6 >= A f23(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f25(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 8 f25(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f27(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 7 >= A f25(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f27(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 9 f65(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f67(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 0 >= B f65(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f67(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 2 f67(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f69(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 1 >= B f67(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f69(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 3 f69(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f71(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 2 >= B f69(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f71(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 4 f71(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f73(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 3 >= B f71(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f73(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 5 f73(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f75(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 4 >= B f73(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f75(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 6 f75(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f77(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 5 >= B f75(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f77(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 7 f77(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f79(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 6 >= B f77(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f79(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 8 f79(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f81(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 7 >= B f79(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f81(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 9 f81(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f83(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 8 >= B f81(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f83(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 10 f83(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f85(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 9 >= B f83(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f85(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 11 f85(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f87(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 10 >= B f85(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f87(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 12 f87(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f89(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 11 >= B f87(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f89(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 13 f89(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f91(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 12 >= B f89(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f91(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 14 f91(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f93(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 13 >= B f91(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f93(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 15 f93(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f95(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 14 >= B f93(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f95(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 16 f95(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f97(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 15 >= B f95(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f97(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 17 f97(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f99(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 16 >= B f97(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f99(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 18 f99(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f101(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 17 >= B f99(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f101(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 19 f101(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f103(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 18 >= B f101(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f103(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 20 f103(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f105(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 19 >= B f103(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f105(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 21 f105(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f107(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 20 >= B f105(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f107(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 22 f107(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f109(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 21 >= B f107(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f109(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 23 f109(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f111(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 22 >= B f109(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f111(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 24 f111(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f113(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 23 >= B f111(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f113(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 25 f113(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f115(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 24 >= B f113(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f115(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 26 f115(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f117(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 25 >= B f115(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f117(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 27 f117(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f119(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 26 >= B f117(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f119(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 28 f119(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f121(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 27 >= B f119(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f121(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 29 f121(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f123(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 28 >= B f121(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f123(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 30 f123(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f125(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 29 >= B f123(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f125(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 31 f125(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f127(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 30 >= B f125(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f127(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 32 f127(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f129(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 31 >= B f127(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f129(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 33 f129(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f131(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 32 >= B f129(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f131(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 34 f131(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f133(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 33 >= B f131(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f133(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 35 f133(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f135(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 34 >= B f133(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f135(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 36 f135(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f137(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 35 >= B f135(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f137(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 37 f137(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f139(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 36 >= B f137(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f139(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 38 f139(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f141(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 37 >= B f139(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f141(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 39 f141(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f143(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 38 >= B f141(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f143(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 40 f143(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f145(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 39 >= B f143(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f145(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 41
content may be truncated. 'popout' for larger text window.