The rewrite relation of the following TRS is considered.
There are 407 ruless (increase limit for explicit display).
There are 498 ruless (increase limit for explicit display).
The dependency pairs are split into 3 components.
There are 238 ruless (increase limit for explicit display).
[U291(x1, x2, x3)] | = | max(x1 + 35397, x2 + 35405, x3 + 35406, 0) |
[a__U193#(x1)] | = | 0 |
[a__U83(x1)] | = | x1 + 19 |
[U231(x1, x2)] | = | max(x1 + 16329, x2 + 668, 0) |
[U301(x1, x2, x3)] | = | max(x1 + 24, x2 + 24, x3 + 24, 0) |
[a__U293(x1, x2, x3)] | = | max(x1 + 35372, x2 + 35383, x3 + 35383, 0) |
[a__U241(x1, x2, x3)] | = | max(x1 + 44, x2 + 43, x3 + 42, 0) |
[U204(x1, x2, x3)] | = | max(x1 + 1, x2 + 15022, x3 + 15022, 0) |
[a__U324(x1,...,x4)] | = | max(x1 + 53, x2 + 58, x3 + 57, x4 + 77, 0) |
[a__U302(x1, x2)] | = | max(x1 + 1, x2 + 24, 0) |
[a__isNaturalKind#(x1)] | = | 0 |
[a__U325(x1,...,x4)] | = | max(x1 + 39, x2 + 58, x3 + 55, x4 + 77, 0) |
[a__U151(x1)] | = | x1 + 7885 |
[a__U292(x1, x2, x3)] | = | max(x1 + 35405, x2 + 35405, x3 + 35392, 0) |
[a__U73#(x1)] | = | 0 |
[a__U131#(x1)] | = | 0 |
[a__U63(x1)] | = | x1 + 4 |
[U21(x1, x2, x3)] | = | max(x1 + 14, x2 + 51, x3 + 50, 0) |
[U261(x1, x2)] | = | max(x1 + 40, x2 + 40, 0) |
[a__U102(x1, x2, x3)] | = | max(x1 + 21, x2 + 38, x3 + 37, 0) |
[U254(x1, x2, x3)] | = | max(x1 + 32, x2 + 32, x3 + 31, 0) |
[U333(x1, x2)] | = | max(x1 + 8, x2 + 8, 0) |
[a__U82#(x1, x2)] | = | max(0) |
[a__U332(x1, x2)] | = | max(x1 + 1, x2 + 28, 0) |
[a__U45(x1, x2)] | = | max(x1 + 64, x2 + 64, 0) |
[U193(x1)] | = | x1 + 0 |
[a__U72#(x1, x2)] | = | max(0) |
[a__U242#(x1, x2, x3)] | = | max(0) |
[a__U246(x1)] | = | x1 + 1 |
[U161(x1)] | = | x1 + 16 |
[a__U321#(x1,...,x4)] | = | max(x1 + 75, x2 + 84, x3 + 89, x4 + 92, 0) |
[a__U71#(x1, x2)] | = | max(0) |
[a__U232(x1)] | = | x1 + 643 |
[U182(x1, x2)] | = | max(x1 + 34, x2 + 40, 0) |
[a__U291#(x1, x2, x3)] | = | max(x2 + 35430, x3 + 35432, 0) |
[U11(x1, x2, x3)] | = | max(x1 + 19172, x2 + 19170, x3 + 19172, 0) |
[a__U171(x1, x2)] | = | max(x1 + 73, x2 + 80, 0) |
[a__U92#(x1, x2)] | = | max(0) |
[a__U104(x1, x2, x3)] | = | max(x1 + 17, x2 + 36, x3 + 37, 0) |
[a__U294(x1, x2, x3)] | = | max(x1 + 35380, x2 + 35382, x3 + 35379, 0) |
[a__U182(x1, x2)] | = | max(x1 + 34, x2 + 40, 0) |
[a__U191(x1, x2)] | = | max(x1 + 2, x2 + 9, 0) |
[a__U281(x1, x2)] | = | max(x1 + 2, x2 + 11, 0) |
[U243(x1, x2, x3)] | = | max(x1 + 7, x2 + 42, x3 + 22, 0) |
[a__U245(x1, x2)] | = | max(x1 + 22, x2 + 21, 0) |
[a__U112#(x1)] | = | 0 |
[s(x1)] | = | x1 + 0 |
[U105(x1, x2)] | = | max(x1 + 27, x2 + 26, 0) |
[U303(x1, x2)] | = | max(x1 + 4, x2 + 4, 0) |
[a__U292#(x1, x2, x3)] | = | max(x2 + 35429, x3 + 35419, 0) |
[a__U24(x1, x2)] | = | max(x1 + 8, x2 + 10, 0) |
[a__U341#(x1, x2, x3)] | = | max(x2 + 125, x3 + 123, 0) |
[a__U31#(x1, x2, x3)] | = | max(x2 + 16222, 0) |
[a__U243(x1, x2, x3)] | = | max(x1 + 7, x2 + 42, x3 + 22, 0) |
[a__U33#(x1, x2, x3)] | = | max(x2 + 16200, 0) |
[a__U93#(x1)] | = | 0 |
[a__head#(x1)] | = | x1 + 16223 |
[U192(x1, x2)] | = | max(x1 + 3, x2 + 9, 0) |
[a__U253#(x1, x2, x3)] | = | max(0) |
[U24(x1, x2)] | = | max(x1 + 8, x2 + 10, 0) |
[a__U33(x1, x2, x3)] | = | max(x1 + 16163, x2 + 16205, x3 + 16162, 0) |
[U106(x1)] | = | x1 + 6 |
[a__U24#(x1, x2)] | = | max(x2 + 45, 0) |
[a__natsFrom#(x1)] | = | x1 + 40 |
[isPLNatKind(x1)] | = | x1 + 0 |
[a__U252#(x1, x2, x3)] | = | max(0) |
[a__U256#(x1)] | = | 0 |
[a__U244(x1, x2, x3)] | = | max(x1 + 22, x2 + 42, x3 + 21, 0) |
[a__U343(x1, x2, x3)] | = | max(x1 + 87, x2 + 86, x3 + 88, 0) |
[U242(x1, x2, x3)] | = | max(x1 + 43, x2 + 42, x3 + 42, 0) |
[a__U303#(x1, x2)] | = | max(x2 + 39, 0) |
[U262(x1)] | = | x1 + 40 |
[U244(x1, x2, x3)] | = | max(x1 + 22, x2 + 42, x3 + 21, 0) |
[U272(x1)] | = | x1 + 57 |
[U56(x1)] | = | x1 + 0 |
[a__U191#(x1, x2)] | = | max(0) |
[a__U272#(x1)] | = | 0 |
[a__U23#(x1, x2, x3)] | = | max(x2 + 47, 0) |
[a__U55(x1, x2)] | = | max(x1 + 12, x2 + 20, 0) |
[isPLNat(x1)] | = | x1 + 0 |
[a__snd#(x1)] | = | x1 + 0 |
[a__U331(x1, x2, x3)] | = | max(x1 + 20, x2 + 36, x3 + 28, 0) |
[a__U312#(x1, x2)] | = | max(x2 + 37, 0) |
[a__afterNth(x1, x2)] | = | max(x1 + 19181, x2 + 19182, 0) |
[U42(x1, x2, x3)] | = | max(x1 + 66, x2 + 83, x3 + 82, 0) |
[U91(x1, x2)] | = | max(x1 + 48, x2 + 44, 0) |
[U221(x1)] | = | x1 + 0 |
[U293(x1, x2, x3)] | = | max(x1 + 35372, x2 + 35383, x3 + 35383, 0) |
[a__U73(x1)] | = | x1 + 16 |
[a__U106#(x1)] | = | 0 |
[U325(x1,...,x4)] | = | max(x1 + 39, x2 + 58, x3 + 55, x4 + 77, 0) |
[a__U82(x1, x2)] | = | max(x1 + 16528, x2 + 19091, 0) |
[a__U182#(x1, x2)] | = | max(0) |
[take(x1, x2)] | = | max(x1 + 119, x2 + 111, 0) |
[a__U14#(x1, x2, x3)] | = | max(x2 + 93, x3 + 93, 0) |
[U71(x1, x2)] | = | max(x1 + 26, x2 + 26, 0) |
[a__U62(x1, x2)] | = | max(x1 + 5, x2 + 4, 0) |
[a__U44(x1, x2, x3)] | = | max(x1 + 82, x2 + 73, x3 + 81, 0) |
[U131(x1)] | = | x1 + 5 |
[U206(x1)] | = | x1 + 14992 |
[a__U221(x1)] | = | x1 + 0 |
[U101(x1, x2, x3)] | = | max(x1 + 133, x2 + 132, x3 + 37, 0) |
[a__U43#(x1, x2, x3)] | = | max(0) |
[a__U334#(x1, x2)] | = | max(x1 + 31, x2 + 39, 0) |
[pair(x1, x2)] | = | max(x1 + 44, x2 + 44, 0) |
[U255(x1, x2)] | = | max(x1 + 22, x2 + 21, 0) |
[a__U326#(x1,...,x4)] | = | max(x2 + 84, x3 + 87, x4 + 92, 0) |
[a__U261(x1, x2)] | = | max(x1 + 40, x2 + 40, 0) |
[fst(x1)] | = | x1 + 7 |
[U111(x1, x2)] | = | max(x1 + 109, x2 + 77, 0) |
[U43(x1, x2, x3)] | = | max(x1 + 74, x2 + 73, x3 + 82, 0) |
[a__U13#(x1, x2, x3)] | = | max(x2 + 94, x3 + 19202, 0) |
[a__U121(x1, x2)] | = | max(x1 + 1, x2 + 0, 0) |
[a__U262(x1)] | = | x1 + 40 |
[a__U246#(x1)] | = | 0 |
[a__U44#(x1, x2, x3)] | = | max(0) |
[a__U204#(x1, x2, x3)] | = | max(0) |
[U103(x1, x2, x3)] | = | max(x1 + 10, x2 + 38, x3 + 37, 0) |
[a__U111(x1, x2)] | = | max(x1 + 109, x2 + 77, 0) |
[a__U272(x1)] | = | x1 + 57 |
[natsFrom(x1)] | = | x1 + 11 |
[U281(x1, x2)] | = | max(x1 + 2, x2 + 11, 0) |
[a__U103#(x1, x2, x3)] | = | max(0) |
[a__U301#(x1, x2, x3)] | = | max(x3 + 41, 0) |
[U44(x1, x2, x3)] | = | max(x1 + 82, x2 + 73, x3 + 81, 0) |
[U55(x1, x2)] | = | max(x1 + 12, x2 + 20, 0) |
[a__U46#(x1)] | = | 0 |
[a__snd(x1)] | = | x1 + 19071 |
[a__U252(x1, x2, x3)] | = | max(x1 + 33, x2 + 33, x3 + 32, 0) |
[U253(x1, x2, x3)] | = | max(x1 + 32, x2 + 32, x3 + 32, 0) |
[U312(x1, x2)] | = | max(x1 + 56, x2 + 56, 0) |
[a__U206#(x1)] | = | 0 |
[a__U181#(x1, x2)] | = | max(0) |
[a__U193(x1)] | = | x1 + 0 |
[a__U271(x1, x2)] | = | max(x1 + 58, x2 + 57, 0) |
[a__U51#(x1, x2, x3)] | = | max(0) |
[U341(x1, x2, x3)] | = | max(x1 + 110, x2 + 109, x3 + 111, 0) |
[a__U254(x1, x2, x3)] | = | max(x1 + 32, x2 + 32, x3 + 31, 0) |
[U23(x1, x2, x3)] | = | max(x1 + 1, x2 + 51, x3 + 10, 0) |
[U292(x1, x2, x3)] | = | max(x1 + 35405, x2 + 35405, x3 + 35392, 0) |
[U342(x1, x2, x3)] | = | max(x1 + 109, x2 + 108, x3 + 107, 0) |
[a__U172(x1)] | = | x1 + 80 |
[U63(x1)] | = | x1 + 4 |
[a__U56#(x1)] | = | 0 |
[a__U344#(x1, x2, x3)] | = | max(x2 + 121, x3 + 93, 0) |
[a__U22(x1, x2, x3)] | = | max(x1 + 44, x2 + 51, x3 + 50, 0) |
[U172(x1)] | = | x1 + 80 |
[U93(x1)] | = | x1 + 24 |
[splitAt(x1, x2)] | = | max(x1 + 58, x2 + 77, 0) |
[isNaturalKind(x1)] | = | x1 + 0 |
[U326(x1,...,x4)] | = | max(x1 + 46, x2 + 58, x3 + 55, x4 + 77, 0) |
[a__U323#(x1,...,x4)] | = | max(x2 + 84, x3 + 88, x4 + 92, 0) |
[a__U106(x1)] | = | x1 + 6 |
[U72(x1, x2)] | = | max(x1 + 26, x2 + 25, 0) |
[a__U11#(x1, x2, x3)] | = | max(x2 + 19204, x3 + 19207, 0) |
[a__U291(x1, x2, x3)] | = | max(x1 + 35397, x2 + 35405, x3 + 35406, 0) |
[U241(x1, x2, x3)] | = | max(x1 + 44, x2 + 43, x3 + 42, 0) |
[U34(x1, x2)] | = | max(x1 + 16162, x2 + 16161, 0) |
[a__U192(x1, x2)] | = | max(x1 + 3, x2 + 9, 0) |
[a__U31(x1, x2, x3)] | = | max(x1 + 16187, x2 + 16205, x3 + 16183, 0) |
[a__U51(x1, x2, x3)] | = | max(x1 + 20, x2 + 27, x3 + 20, 0) |
[a__U253(x1, x2, x3)] | = | max(x1 + 32, x2 + 32, x3 + 32, 0) |
[a__U81(x1, x2)] | = | max(x1 + 19091, x2 + 19091, 0) |
[a__U53#(x1, x2, x3)] | = | max(0) |
[a__U205#(x1, x2)] | = | max(0) |
[a__take#(x1, x2)] | = | max(x1 + 126, x2 + 124, 0) |
[a__U172#(x1)] | = | 0 |
[a__U255#(x1, x2)] | = | max(0) |
[U12(x1, x2, x3)] | = | max(x1 + 19164, x2 + 19169, x3 + 19170, 0) |
[a__U43(x1, x2, x3)] | = | max(x1 + 74, x2 + 73, x3 + 82, 0) |
[U271(x1, x2)] | = | max(x1 + 58, x2 + 57, 0) |
[a__U231(x1, x2)] | = | max(x1 + 16329, x2 + 668, 0) |
[a__U232#(x1)] | = | 0 |
[a__isLNatKind#(x1)] | = | 0 |
[a__U62#(x1, x2)] | = | max(0) |
[a__U321(x1,...,x4)] | = | max(x1 + 49, x2 + 58, x3 + 78, x4 + 77, 0) |
[a__U206(x1)] | = | x1 + 14992 |
[isNatural(x1)] | = | x1 + 9 |
[U302(x1, x2)] | = | max(x1 + 1, x2 + 24, 0) |
[U54(x1, x2, x3)] | = | max(x1 + 20, x2 + 21, x3 + 20, 0) |
[a__U42#(x1, x2, x3)] | = | max(0) |
[a__U183#(x1)] | = | 0 |
[a__U41(x1, x2, x3)] | = | max(x1 + 59, x2 + 83, x3 + 84, 0) |
[U232(x1)] | = | x1 + 643 |
[a__U262#(x1)] | = | 0 |
[a__U122#(x1)] | = | 0 |
[a__U12#(x1, x2, x3)] | = | max(x2 + 19201, x3 + 19203, 0) |
[U205(x1, x2)] | = | max(x1 + 15013, x2 + 15012, 0) |
[a__U205(x1, x2)] | = | max(x1 + 15013, x2 + 15012, 0) |
[U201(x1, x2, x3)] | = | max(x1 + 35414, x2 + 15024, x3 + 35415, 0) |
[U104(x1, x2, x3)] | = | max(x1 + 17, x2 + 36, x3 + 37, 0) |
[a__U122(x1)] | = | x1 + 0 |
[a__U14(x1, x2, x3)] | = | max(x1 + 19148, x2 + 19148, x3 + 19149, 0) |
[a__U81#(x1, x2)] | = | max(0) |
[a__U21#(x1, x2, x3)] | = | max(x2 + 49, 0) |
[a__U161(x1)] | = | x1 + 16 |
[a__U61#(x1, x2)] | = | max(0) |
[a__U333#(x1, x2)] | = | max(x2 + 40, 0) |
[a__U34(x1, x2)] | = | max(x1 + 16162, x2 + 16161, 0) |
[U252(x1, x2, x3)] | = | max(x1 + 33, x2 + 33, x3 + 32, 0) |
[a__U261#(x1, x2)] | = | max(0) |
[U141(x1)] | = | x1 + 11 |
[a__fst(x1)] | = | x1 + 7 |
[tail(x1)] | = | x1 + 28 |
[a__natsFrom(x1)] | = | x1 + 11 |
[a__U302#(x1, x2)] | = | max(x2 + 40, 0) |
[U83(x1)] | = | x1 + 19 |
[a__U294#(x1, x2, x3)] | = | max(x2 + 35417, x3 + 35406, 0) |
[mark#(x1)] | = | x1 + 36 |
[a__U204(x1, x2, x3)] | = | max(x1 + 1, x2 + 15022, x3 + 15022, 0) |
[0] | = | 6 |
[a__U211#(x1)] | = | 0 |
[U294(x1, x2, x3)] | = | max(x1 + 35380, x2 + 35382, x3 + 35379, 0) |
[a__U244#(x1, x2, x3)] | = | max(0) |
[a__isLNat(x1)] | = | x1 + 20 |
[U191(x1, x2)] | = | max(x1 + 2, x2 + 9, 0) |
[U343(x1, x2, x3)] | = | max(x1 + 87, x2 + 86, x3 + 88, 0) |
[a__U251(x1, x2, x3)] | = | max(x1 + 34, x2 + 33, x3 + 34, 0) |
[U73(x1)] | = | x1 + 16 |
[a__U282#(x1, x2)] | = | max(x2 + 38, 0) |
[a__U21(x1, x2, x3)] | = | max(x1 + 14, x2 + 51, x3 + 50, 0) |
[U332(x1, x2)] | = | max(x1 + 1, x2 + 28, 0) |
[a__U311(x1, x2)] | = | max(x1 + 57, x2 + 56, 0) |
[U171(x1, x2)] | = | max(x1 + 73, x2 + 80, 0) |
[a__U32(x1, x2, x3)] | = | max(x1 + 16184, x2 + 16205, x3 + 16183, 0) |
[a__U91(x1, x2)] | = | max(x1 + 48, x2 + 44, 0) |
[a__U231#(x1, x2)] | = | max(0) |
[sel(x1, x2)] | = | max(x1 + 35406, x2 + 35407, 0) |
[U202(x1, x2, x3)] | = | max(x1 + 15024, x2 + 15024, x3 + 15024, 0) |
[afterNth(x1, x2)] | = | max(x1 + 19181, x2 + 19182, 0) |
[a__U151#(x1)] | = | 0 |
[a__U111#(x1, x2)] | = | max(0) |
[a__U161#(x1)] | = | 0 |
[a__U242(x1, x2, x3)] | = | max(x1 + 43, x2 + 42, x3 + 42, 0) |
[a__U141#(x1)] | = | 0 |
[nil] | = | 6 |
[a__splitAt(x1, x2)] | = | max(x1 + 58, x2 + 77, 0) |
[isLNat(x1)] | = | x1 + 20 |
[U246(x1)] | = | x1 + 1 |
[a__U245#(x1, x2)] | = | max(0) |
[U62(x1, x2)] | = | max(x1 + 5, x2 + 4, 0) |
[a__U52#(x1, x2, x3)] | = | max(0) |
[a__U211(x1)] | = | x1 + 5967 |
[a__U102#(x1, x2, x3)] | = | max(0) |
[U304(x1, x2)] | = | max(x1 + 3, x2 + 4, 0) |
[U45(x1, x2)] | = | max(x1 + 64, x2 + 64, 0) |
[a__sel#(x1, x2)] | = | max(x1 + 35431, x2 + 35433, 0) |
[mark(x1)] | = | x1 + 0 |
[U151(x1)] | = | x1 + 7885 |
[a__isLNat#(x1)] | = | 0 |
[a__U56(x1)] | = | x1 + 0 |
[a__U342#(x1, x2, x3)] | = | max(x1 + 116, x2 + 122, x3 + 122, 0) |
[a__U72(x1, x2)] | = | max(x1 + 26, x2 + 25, 0) |
[U334(x1, x2)] | = | max(x1 + 2, x2 + 8, 0) |
[a__U101#(x1, x2, x3)] | = | max(0) |
[a__U11(x1, x2, x3)] | = | max(x1 + 19172, x2 + 19170, x3 + 19172, 0) |
[U32(x1, x2, x3)] | = | max(x1 + 16184, x2 + 16205, x3 + 16183, 0) |
[a__U53(x1, x2, x3)] | = | max(x1 + 15, x2 + 21, x3 + 20, 0) |
[a__U141(x1)] | = | x1 + 11 |
[a__U322(x1,...,x4)] | = | max(x1 + 57, x2 + 58, x3 + 78, x4 + 77, 0) |
[a__sel(x1, x2)] | = | max(x1 + 35406, x2 + 35407, 0) |
[a__U42(x1, x2, x3)] | = | max(x1 + 66, x2 + 83, x3 + 82, 0) |
[a__U93(x1)] | = | x1 + 24 |
[U33(x1, x2, x3)] | = | max(x1 + 16163, x2 + 16205, x3 + 16162, 0) |
[a__U45#(x1, x2)] | = | max(0) |
[a__U52(x1, x2, x3)] | = | max(x1 + 27, x2 + 21, x3 + 20, 0) |
[a__U181(x1, x2)] | = | max(x1 + 1, x2 + 40, 0) |
[isLNatKind(x1)] | = | x1 + 0 |
[U14(x1, x2, x3)] | = | max(x1 + 19148, x2 + 19148, x3 + 19149, 0) |
[U211(x1)] | = | x1 + 5967 |
[a__U243#(x1, x2, x3)] | = | max(0) |
[a__U54#(x1, x2, x3)] | = | max(0) |
[U203(x1, x2, x3)] | = | max(x1 + 15023, x2 + 15022, x3 + 15024, 0) |
[a__U105#(x1, x2)] | = | max(0) |
[a__U202#(x1, x2, x3)] | = | max(0) |
[a__U12(x1, x2, x3)] | = | max(x1 + 19164, x2 + 19169, x3 + 19170, 0) |
[U327(x1, x2)] | = | max(x1 + 0, x2 + 52, 0) |
[a__U104#(x1, x2, x3)] | = | max(0) |
[a__U201#(x1, x2, x3)] | = | max(0) |
[a__U63#(x1)] | = | 0 |
[a__isPLNat(x1)] | = | x1 + 0 |
[a__U327(x1, x2)] | = | max(x1 + 0, x2 + 52, 0) |
[U46(x1)] | = | x1 + 44 |
[a__U332#(x1, x2)] | = | max(x2 + 41, 0) |
[a__U326(x1,...,x4)] | = | max(x1 + 46, x2 + 58, x3 + 55, x4 + 77, 0) |
[U251(x1, x2, x3)] | = | max(x1 + 34, x2 + 33, x3 + 34, 0) |
[a__U322#(x1,...,x4)] | = | max(x2 + 84, x3 + 89, x4 + 92, 0) |
[a__isLNatKind(x1)] | = | x1 + 0 |
[a__U121#(x1, x2)] | = | max(0) |
[U52(x1, x2, x3)] | = | max(x1 + 27, x2 + 21, x3 + 20, 0) |
[a__U254#(x1, x2, x3)] | = | max(0) |
[a__U324#(x1,...,x4)] | = | max(x2 + 84, x3 + 88, x4 + 92, 0) |
[a__U281#(x1, x2)] | = | max(x2 + 39, 0) |
[a__U251#(x1, x2, x3)] | = | max(0) |
[U61(x1, x2)] | = | max(x1 + 6, x2 + 5, 0) |
[a__U46(x1)] | = | x1 + 44 |
[a__U22#(x1, x2, x3)] | = | max(x2 + 48, 0) |
[a__U13(x1, x2, x3)] | = | max(x1 + 19149, x2 + 19149, x3 + 19170, 0) |
[a__U304(x1, x2)] | = | max(x1 + 3, x2 + 4, 0) |
[U31(x1, x2, x3)] | = | max(x1 + 16187, x2 + 16205, x3 + 16183, 0) |
[a__U83#(x1)] | = | 0 |
[a__U171#(x1, x2)] | = | max(0) |
[a__U71(x1, x2)] | = | max(x1 + 26, x2 + 26, 0) |
[U183(x1)] | = | x1 + 20 |
[U245(x1, x2)] | = | max(x1 + 22, x2 + 21, 0) |
[U92(x1, x2)] | = | max(x1 + 43, x2 + 44, 0) |
[a__isPLNat#(x1)] | = | 0 |
[a__U203#(x1, x2, x3)] | = | max(0) |
[head(x1)] | = | x1 + 16197 |
[a__afterNth#(x1, x2)] | = | max(x1 + 19208, x2 + 19208, 0) |
[U112(x1)] | = | x1 + 42 |
[a__U343#(x1, x2, x3)] | = | max(x2 + 121, x3 + 93, 0) |
[a__splitAt#(x1, x2)] | = | max(x1 + 84, x2 + 92, 0) |
[a__isPLNatKind#(x1)] | = | 0 |
[a__U192#(x1, x2)] | = | max(0) |
[a__U255(x1, x2)] | = | max(x1 + 22, x2 + 21, 0) |
[cons(x1, x2)] | = | max(x1 + 8, x2 + 0, 0) |
[a__U344(x1, x2, x3)] | = | max(x1 + 58, x2 + 86, x3 + 84, 0) |
[a__U92(x1, x2)] | = | max(x1 + 43, x2 + 44, 0) |
[U323(x1,...,x4)] | = | max(x1 + 47, x2 + 58, x3 + 78, x4 + 77, 0) |
[a__U61(x1, x2)] | = | max(x1 + 6, x2 + 5, 0) |
[U102(x1, x2, x3)] | = | max(x1 + 21, x2 + 38, x3 + 37, 0) |
[a__U105(x1, x2)] | = | max(x1 + 27, x2 + 26, 0) |
[a__U334(x1, x2)] | = | max(x1 + 2, x2 + 8, 0) |
[snd(x1)] | = | x1 + 19071 |
[a__take(x1, x2)] | = | max(x1 + 119, x2 + 111, 0) |
[U256(x1)] | = | x1 + 1 |
[a__U301(x1, x2, x3)] | = | max(x1 + 24, x2 + 24, x3 + 24, 0) |
[U81(x1, x2)] | = | max(x1 + 19091, x2 + 19091, 0) |
[a__U41#(x1, x2, x3)] | = | max(0) |
[U82(x1, x2)] | = | max(x1 + 16528, x2 + 19091, 0) |
[a__U304#(x1, x2)] | = | max(x2 + 37, 0) |
[tt] | = | 6 |
[a__isNatural(x1)] | = | x1 + 9 |
[a__isNaturalKind(x1)] | = | x1 + 0 |
[a__U131(x1)] | = | x1 + 5 |
[a__isNatural#(x1)] | = | 0 |
[U13(x1, x2, x3)] | = | max(x1 + 19149, x2 + 19149, x3 + 19170, 0) |
[a__fst#(x1)] | = | x1 + 6 |
[a__U23(x1, x2, x3)] | = | max(x1 + 1, x2 + 51, x3 + 10, 0) |
[a__U311#(x1, x2)] | = | max(x2 + 91, 0) |
[a__U201(x1, x2, x3)] | = | max(x1 + 35414, x2 + 15024, x3 + 35415, 0) |
[a__U271#(x1, x2)] | = | max(0) |
[a__U202(x1, x2, x3)] | = | max(x1 + 15024, x2 + 15024, x3 + 15024, 0) |
[U321(x1,...,x4)] | = | max(x1 + 49, x2 + 58, x3 + 78, x4 + 77, 0) |
[a__U282(x1, x2)] | = | max(x1 + 1, x2 + 11, 0) |
[a__U241#(x1, x2, x3)] | = | max(0) |
[a__U183(x1)] | = | x1 + 20 |
[a__U333(x1, x2)] | = | max(x1 + 8, x2 + 8, 0) |
[U22(x1, x2, x3)] | = | max(x1 + 44, x2 + 51, x3 + 50, 0) |
[a__U293#(x1, x2, x3)] | = | max(x2 + 35418, x3 + 35407, 0) |
[U51(x1, x2, x3)] | = | max(x1 + 20, x2 + 27, x3 + 20, 0) |
[U311(x1, x2)] | = | max(x1 + 57, x2 + 56, 0) |
[a__U325#(x1,...,x4)] | = | max(x2 + 84, x3 + 88, x4 + 92, 0) |
[a__U34#(x1, x2)] | = | max(x2 + 37, 0) |
[U322(x1,...,x4)] | = | max(x1 + 57, x2 + 58, x3 + 78, x4 + 77, 0) |
[U344(x1, x2, x3)] | = | max(x1 + 58, x2 + 86, x3 + 84, 0) |
[a__U342(x1, x2, x3)] | = | max(x1 + 109, x2 + 108, x3 + 107, 0) |
[a__tail(x1)] | = | x1 + 28 |
[a__U103(x1, x2, x3)] | = | max(x1 + 10, x2 + 38, x3 + 37, 0) |
[a__U54(x1, x2, x3)] | = | max(x1 + 20, x2 + 21, x3 + 20, 0) |
[a__isPLNatKind(x1)] | = | x1 + 0 |
[U53(x1, x2, x3)] | = | max(x1 + 15, x2 + 21, x3 + 20, 0) |
[a__U303(x1, x2)] | = | max(x1 + 4, x2 + 4, 0) |
[a__U323(x1,...,x4)] | = | max(x1 + 47, x2 + 58, x3 + 78, x4 + 77, 0) |
[a__U55#(x1, x2)] | = | max(0) |
[a__U112(x1)] | = | x1 + 42 |
[a__U331#(x1, x2, x3)] | = | max(x2 + 65, x3 + 62, 0) |
[U41(x1, x2, x3)] | = | max(x1 + 59, x2 + 83, x3 + 84, 0) |
[a__tail#(x1)] | = | x1 + 63 |
[a__U203(x1, x2, x3)] | = | max(x1 + 15023, x2 + 15022, x3 + 15024, 0) |
[a__U32#(x1, x2, x3)] | = | max(x2 + 16221, 0) |
[a__U221#(x1)] | = | 0 |
[a__U101(x1, x2, x3)] | = | max(x1 + 133, x2 + 132, x3 + 37, 0) |
[a__U91#(x1, x2)] | = | max(0) |
[a__U341(x1, x2, x3)] | = | max(x1 + 110, x2 + 109, x3 + 111, 0) |
[U282(x1, x2)] | = | max(x1 + 1, x2 + 11, 0) |
[a__U256(x1)] | = | x1 + 1 |
[U121(x1, x2)] | = | max(x1 + 1, x2 + 0, 0) |
[a__head(x1)] | = | x1 + 16197 |
[U181(x1, x2)] | = | max(x1 + 1, x2 + 40, 0) |
[U324(x1,...,x4)] | = | max(x1 + 53, x2 + 58, x3 + 57, x4 + 77, 0) |
[U331(x1, x2, x3)] | = | max(x1 + 20, x2 + 36, x3 + 28, 0) |
[U122(x1)] | = | x1 + 0 |
[a__U312(x1, x2)] | = | max(x1 + 56, x2 + 56, 0) |
[a__U327#(x1, x2)] | = | max(x1 + 6, x2 + 37, 0) |
There are 407 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsThere are 224 ruless (increase limit for explicit display).
could be deleted.The dependency pairs are split into 2 components.
mark#(U56(X)) | → | mark#(X) | (706) |
mark#(U193(X)) | → | mark#(X) | (568) |
mark#(U221(X)) | → | mark#(X) | (738) |
mark#(U122(X)) | → | mark#(X) | (674) |
mark#(U327(X1,X2)) | → | mark#(X1) | (459) |
mark#(s(X)) | → | mark#(X) | (575) |
[U291(x1, x2, x3)] | = | 20507 |
[a__U193#(x1)] | = | 0 |
[a__U83(x1)] | = | 0 |
[U231(x1, x2)] | = | x1 + 1 |
[U301(x1, x2, x3)] | = | x3 + 0 |
[a__U293(x1, x2, x3)] | = | 6 |
[a__U241(x1, x2, x3)] | = | 7 |
[U204(x1, x2, x3)] | = | x2 + x3 + 1850 |
[a__U324(x1,...,x4)] | = | x1 + 33928 |
[a__U302(x1, x2)] | = | x1 + 0 |
[a__isNaturalKind#(x1)] | = | 0 |
[a__U325(x1,...,x4)] | = | x1 + 33926 |
[a__U151(x1)] | = | 3 |
[a__U292(x1, x2, x3)] | = | x1 + 20508 |
[a__U73#(x1)] | = | 0 |
[a__U131#(x1)] | = | 0 |
[a__U63(x1)] | = | x1 + 2 |
[U21(x1, x2, x3)] | = | x2 + x3 + 9089 |
[U261(x1, x2)] | = | 2 |
[a__U102(x1, x2, x3)] | = | x1 + x3 + 14 |
[U254(x1, x2, x3)] | = | x3 + 1 |
[U333(x1, x2)] | = | 4 |
[a__U82#(x1, x2)] | = | 0 |
[a__U332(x1, x2)] | = | 6 |
[a__U45(x1, x2)] | = | 3 |
[U193(x1)] | = | x1 + 1698 |
[a__U72#(x1, x2)] | = | 0 |
[a__U242#(x1, x2, x3)] | = | 0 |
[a__U246(x1)] | = | 3 |
[U161(x1)] | = | 0 |
[a__U321#(x1,...,x4)] | = | 2 |
[a__U71#(x1, x2)] | = | 0 |
[a__U232(x1)] | = | x1 + 16201 |
[U182(x1, x2)] | = | x2 + 6373 |
[a__U291#(x1, x2, x3)] | = | 2 |
[U11(x1, x2, x3)] | = | x1 + 3 |
[a__U171(x1, x2)] | = | 3 |
[a__U92#(x1, x2)] | = | 0 |
[a__U104(x1, x2, x3)] | = | x1 + 16 |
[a__U294(x1, x2, x3)] | = | 6 |
[a__U182(x1, x2)] | = | x1 + x2 + 6374 |
[a__U191(x1, x2)] | = | x1 + x2 + 29518 |
[a__U281(x1, x2)] | = | 1 |
[U243(x1, x2, x3)] | = | x2 + 7 |
[a__U245(x1, x2)] | = | x1 + 1 |
[a__U112#(x1)] | = | 0 |
[s(x1)] | = | x1 + 33922 |
[U105(x1, x2)] | = | x2 + 19 |
[U303(x1, x2)] | = | x2 + 38750 |
[a__U292#(x1, x2, x3)] | = | 2 |
[a__U24(x1, x2)] | = | 4 |
[a__U341#(x1, x2, x3)] | = | 2 |
[a__U31#(x1, x2, x3)] | = | 2 |
[a__U243(x1, x2, x3)] | = | x2 + 7 |
[a__U33#(x1, x2, x3)] | = | 0 |
[a__U93#(x1)] | = | 0 |
[a__head#(x1)] | = | 2 |
[U192(x1, x2)] | = | x2 + 1 |
[a__U253#(x1, x2, x3)] | = | 0 |
[U24(x1, x2)] | = | 4 |
[a__U33(x1, x2, x3)] | = | 4 |
[U106(x1)] | = | 1 |
[a__U24#(x1, x2)] | = | 2 |
[a__natsFrom#(x1)] | = | 2 |
[isPLNatKind(x1)] | = | 4 |
[a__U252#(x1, x2, x3)] | = | 0 |
[a__U256#(x1)] | = | 0 |
[a__U244(x1, x2, x3)] | = | 7 |
[a__U343(x1, x2, x3)] | = | x1 + 5 |
[U242(x1, x2, x3)] | = | x3 + 7 |
[a__U303#(x1, x2)] | = | 2 |
[U262(x1)] | = | 3 |
[U244(x1, x2, x3)] | = | 7 |
[U272(x1)] | = | 1 |
[U56(x1)] | = | x1 + 2 |
[a__U191#(x1, x2)] | = | 0 |
[a__U272#(x1)] | = | 0 |
[a__U23#(x1, x2, x3)] | = | 2 |
[a__U55(x1, x2)] | = | 7 |
[isPLNat(x1)] | = | x1 + 2 |
[a__snd#(x1)] | = | 0 |
[a__U331(x1, x2, x3)] | = | x1 + 2 |
[a__U312#(x1, x2)] | = | 2 |
[a__afterNth(x1, x2)] | = | 1 |
[U42(x1, x2, x3)] | = | x1 + 4 |
[U91(x1, x2)] | = | x1 + 27957 |
[U221(x1)] | = | x1 + 0 |
[U293(x1, x2, x3)] | = | x1 + x2 + x3 + 6 |
[a__U73(x1)] | = | 24424 |
[a__U106#(x1)] | = | 0 |
[U325(x1,...,x4)] | = | x3 + x4 + 33927 |
[a__U82(x1, x2)] | = | x1 + x2 + 1 |
[a__U182#(x1, x2)] | = | 0 |
[take(x1, x2)] | = | x1 + 9 |
[a__U14#(x1, x2, x3)] | = | 2 |
[U71(x1, x2)] | = | x2 + 43960 |
[a__U62(x1, x2)] | = | 9 |
[a__U44(x1, x2, x3)] | = | 3 |
[U131(x1)] | = | 2 |
[U206(x1)] | = | 37276 |
[a__U221(x1)] | = | 4 |
[U101(x1, x2, x3)] | = | x2 + x3 + 14 |
[a__U43#(x1, x2, x3)] | = | 0 |
[a__U334#(x1, x2)] | = | 2 |
[pair(x1, x2)] | = | 33932 |
[U255(x1, x2)] | = | x2 + 3 |
[a__U326#(x1,...,x4)] | = | 2 |
[a__U261(x1, x2)] | = | 3 |
[fst(x1)] | = | 1 |
[U111(x1, x2)] | = | x2 + 1 |
[U43(x1, x2, x3)] | = | x1 + x3 + 4 |
[a__U13#(x1, x2, x3)] | = | 1 |
[a__U121(x1, x2)] | = | x1 + 1 |
[a__U262(x1)] | = | 3 |
[a__U246#(x1)] | = | 0 |
[a__U44#(x1, x2, x3)] | = | 0 |
[a__U204#(x1, x2, x3)] | = | 0 |
[U103(x1, x2, x3)] | = | x3 + 0 |
[a__U111(x1, x2)] | = | x1 + x2 + 1 |
[a__U272(x1)] | = | x1 + 1 |
[natsFrom(x1)] | = | 24415 |
[U281(x1, x2)] | = | 1 |
[a__U103#(x1, x2, x3)] | = | 0 |
[a__U301#(x1, x2, x3)] | = | 2 |
[U44(x1, x2, x3)] | = | 3 |
[U55(x1, x2)] | = | 1 |
[a__U46#(x1)] | = | 0 |
[a__snd(x1)] | = | 4 |
[a__U252(x1, x2, x3)] | = | 4 |
[U253(x1, x2, x3)] | = | x3 + 1 |
[U312(x1, x2)] | = | x2 + 33933 |
[a__U206#(x1)] | = | 0 |
[a__U181#(x1, x2)] | = | 0 |
[a__U193(x1)] | = | 2 |
[a__U271(x1, x2)] | = | x1 + 2 |
[a__U51#(x1, x2, x3)] | = | 0 |
[U341(x1, x2, x3)] | = | x1 + x3 + 11 |
[a__U254(x1, x2, x3)] | = | 4 |
[U23(x1, x2, x3)] | = | x2 + x3 + 3534 |
[U292(x1, x2, x3)] | = | 20508 |
[U342(x1, x2, x3)] | = | x3 + 7 |
[a__U172(x1)] | = | 3 |
[U63(x1)] | = | 27022 |
[a__U56#(x1)] | = | 0 |
[a__U344#(x1, x2, x3)] | = | 2 |
[a__U22(x1, x2, x3)] | = | x1 + 3532 |
[U172(x1)] | = | 2 |
[U93(x1)] | = | 9432 |
[splitAt(x1, x2)] | = | x1 + 13925 |
[isNaturalKind(x1)] | = | 6021 |
[U326(x1,...,x4)] | = | x1 + x2 + x3 + 33931 |
[a__U323#(x1,...,x4)] | = | 2 |
[a__U106(x1)] | = | 3 |
[U72(x1, x2)] | = | x2 + 24421 |
[a__U11#(x1, x2, x3)] | = | 1 |
[a__U291(x1, x2, x3)] | = | 20511 |
[U241(x1, x2, x3)] | = | 6 |
[U34(x1, x2)] | = | 2 |
[a__U192(x1, x2)] | = | 1 |
[a__U31(x1, x2, x3)] | = | 4 |
[a__U51(x1, x2, x3)] | = | 7 |
[a__U253(x1, x2, x3)] | = | x1 + 1 |
[a__U81(x1, x2)] | = | x1 + x2 + 2 |
[a__U53#(x1, x2, x3)] | = | 0 |
[a__U205#(x1, x2)] | = | 0 |
[a__take#(x1, x2)] | = | 2 |
[a__U172#(x1)] | = | 0 |
[a__U255#(x1, x2)] | = | 0 |
[U12(x1, x2, x3)] | = | 0 |
[a__U43(x1, x2, x3)] | = | 3 |
[U271(x1, x2)] | = | 2 |
[a__U231(x1, x2)] | = | x2 + 6 |
[a__U232#(x1)] | = | 0 |
[a__isLNatKind#(x1)] | = | 0 |
[a__U62#(x1, x2)] | = | 0 |
[a__U321(x1,...,x4)] | = | x1 + x3 + 33923 |
[a__U206(x1)] | = | x1 + 37276 |
[isNatural(x1)] | = | x1 + 1 |
[U302(x1, x2)] | = | 0 |
[U54(x1, x2, x3)] | = | 8 |
[a__U42#(x1, x2, x3)] | = | 0 |
[a__U183#(x1)] | = | 0 |
[a__U41(x1, x2, x3)] | = | 3 |
[U232(x1)] | = | 16201 |
[a__U262#(x1)] | = | 0 |
[a__U122#(x1)] | = | 0 |
[a__U12#(x1, x2, x3)] | = | 0 |
[U205(x1, x2)] | = | x2 + 6839 |
[a__U205(x1, x2)] | = | 1853 |
[U201(x1, x2, x3)] | = | x2 + x3 + 20510 |
[U104(x1, x2, x3)] | = | 0 |
[a__U122(x1)] | = | 3 |
[a__U14(x1, x2, x3)] | = | 47722 |
[a__U81#(x1, x2)] | = | 0 |
[a__U21#(x1, x2, x3)] | = | 2 |
[a__U161(x1)] | = | x1 + 0 |
[a__U61#(x1, x2)] | = | 0 |
[a__U333#(x1, x2)] | = | 2 |
[a__U34(x1, x2)] | = | 4 |
[U252(x1, x2, x3)] | = | 4 |
[a__U261#(x1, x2)] | = | 0 |
[U141(x1)] | = | 2 |
[a__fst(x1)] | = | x1 + 1 |
[tail(x1)] | = | x1 + 22588 |
[a__natsFrom(x1)] | = | 24415 |
[a__U302#(x1, x2)] | = | 2 |
[U83(x1)] | = | 630 |
[a__U294#(x1, x2, x3)] | = | 2 |
[mark#(x1)] | = | x1 + 2 |
[a__U204(x1, x2, x3)] | = | x1 + 1849 |
[0] | = | 1 |
[a__U211#(x1)] | = | 0 |
[U294(x1, x2, x3)] | = | 3 |
[a__U244#(x1, x2, x3)] | = | 0 |
[a__isLNat(x1)] | = | x1 + 6 |
[U191(x1, x2)] | = | x2 + 29518 |
[U343(x1, x2, x3)] | = | x3 + 5 |
[a__U251(x1, x2, x3)] | = | 4 |
[U73(x1)] | = | x1 + 24425 |
[a__U282#(x1, x2)] | = | 2 |
[a__U21(x1, x2, x3)] | = | x1 + 9089 |
[U332(x1, x2)] | = | x2 + 3 |
[a__U311(x1, x2)] | = | 3 |
[U171(x1, x2)] | = | 3 |
[a__U32(x1, x2, x3)] | = | 4 |
[a__U91(x1, x2)] | = | 1 |
[a__U231#(x1, x2)] | = | 0 |
[sel(x1, x2)] | = | 20511 |
[U202(x1, x2, x3)] | = | x2 + x3 + 7853 |
[afterNth(x1, x2)] | = | 1 |
[a__U151#(x1)] | = | 0 |
[a__U111#(x1, x2)] | = | 0 |
[a__U161#(x1)] | = | 0 |
[a__U242(x1, x2, x3)] | = | x2 + 7 |
[a__U141#(x1)] | = | 0 |
[nil] | = | 4585 |
[a__splitAt(x1, x2)] | = | x1 + 1 |
[isLNat(x1)] | = | x1 + 1 |
[U246(x1)] | = | 1 |
[a__U245#(x1, x2)] | = | 0 |
[U62(x1, x2)] | = | x1 + x2 + 4 |
[a__U52#(x1, x2, x3)] | = | 0 |
[a__U211(x1)] | = | 0 |
[a__U102#(x1, x2, x3)] | = | 0 |
[U304(x1, x2)] | = | x2 + 17285 |
[U45(x1, x2)] | = | 1 |
[a__sel#(x1, x2)] | = | 2 |
[mark(x1)] | = | x1 + 4 |
[U151(x1)] | = | 3 |
[a__isLNat#(x1)] | = | 0 |
[a__U56(x1)] | = | 7 |
[a__U342#(x1, x2, x3)] | = | 2 |
[a__U72(x1, x2)] | = | x1 + 24420 |
[U334(x1, x2)] | = | 4 |
[a__U101#(x1, x2, x3)] | = | 0 |
[a__U11(x1, x2, x3)] | = | 3 |
[U32(x1, x2, x3)] | = | 4 |
[a__U53(x1, x2, x3)] | = | x1 + x3 + 4 |
[a__U141(x1)] | = | 3 |
[a__U322(x1,...,x4)] | = | x3 + 33927 |
[a__sel(x1, x2)] | = | x2 + 20511 |
[a__U42(x1, x2, x3)] | = | x2 + x3 + 3 |
[a__U93(x1)] | = | 2 |
[U33(x1, x2, x3)] | = | x2 + x3 + 4 |
[a__U45#(x1, x2)] | = | 0 |
[a__U52(x1, x2, x3)] | = | x2 + x3 + 7 |
[a__U181(x1, x2)] | = | 6 |
[isLNatKind(x1)] | = | x1 + 3 |
[U14(x1, x2, x3)] | = | 47717 |
[U211(x1)] | = | x1 + 15431 |
[a__U243#(x1, x2, x3)] | = | 0 |
[a__U54#(x1, x2, x3)] | = | 0 |
[U203(x1, x2, x3)] | = | x2 + x3 + 1848 |
[a__U105#(x1, x2)] | = | 0 |
[a__U202#(x1, x2, x3)] | = | 0 |
[a__U12(x1, x2, x3)] | = | x1 + 0 |
[U327(x1, x2)] | = | x1 + 33931 |
[a__U104#(x1, x2, x3)] | = | 0 |
[a__U201#(x1, x2, x3)] | = | 0 |
[a__U63#(x1)] | = | 0 |
[a__isPLNat(x1)] | = | 8 |
[a__U327(x1, x2)] | = | x2 + 33931 |
[U46(x1)] | = | 1 |
[a__U332#(x1, x2)] | = | 2 |
[a__U326(x1,...,x4)] | = | x4 + 33930 |
[U251(x1, x2, x3)] | = | 2 |
[a__U322#(x1,...,x4)] | = | 2 |
[a__isLNatKind(x1)] | = | 3 |
[a__U121#(x1, x2)] | = | 0 |
[U52(x1, x2, x3)] | = | x1 + x3 + 2 |
[a__U254#(x1, x2, x3)] | = | 0 |
[a__U324#(x1,...,x4)] | = | 2 |
[a__U281#(x1, x2)] | = | 2 |
[a__U251#(x1, x2, x3)] | = | 0 |
[U61(x1, x2)] | = | 3 |
[a__U46(x1)] | = | 3 |
[a__U22#(x1, x2, x3)] | = | 2 |
[a__U13(x1, x2, x3)] | = | x1 + x3 + 47719 |
[a__U304(x1, x2)] | = | x1 + 17286 |
[U31(x1, x2, x3)] | = | 4 |
[a__U83#(x1)] | = | 0 |
[a__U171#(x1, x2)] | = | 0 |
[a__U71(x1, x2)] | = | x1 + 24419 |
[U183(x1)] | = | 2 |
[U245(x1, x2)] | = | 1 |
[U92(x1, x2)] | = | x1 + 1 |
[a__isPLNat#(x1)] | = | 0 |
[a__U203#(x1, x2, x3)] | = | 0 |
[head(x1)] | = | 5 |
[a__afterNth#(x1, x2)] | = | 2 |
[U112(x1)] | = | 1 |
[a__U343#(x1, x2, x3)] | = | 1 |
[a__splitAt#(x1, x2)] | = | 2 |
[a__isPLNatKind#(x1)] | = | 0 |
[a__U192#(x1, x2)] | = | 0 |
[a__U255(x1, x2)] | = | x1 + 3 |
[cons(x1, x2)] | = | 1 |
[a__U344(x1, x2, x3)] | = | 6 |
[a__U92(x1, x2)] | = | 1 |
[U323(x1,...,x4)] | = | 33928 |
[a__U61(x1, x2)] | = | 8 |
[U102(x1, x2, x3)] | = | x2 + x3 + 15 |
[a__U105(x1, x2)] | = | x1 + 19 |
[a__U334(x1, x2)] | = | 4 |
[snd(x1)] | = | x1 + 0 |
[a__take(x1, x2)] | = | 11 |
[U256(x1)] | = | 3 |
[a__U301(x1, x2, x3)] | = | x1 + 0 |
[U81(x1, x2)] | = | x2 + 3 |
[a__U41#(x1, x2, x3)] | = | 0 |
[U82(x1, x2)] | = | x2 + 2 |
[a__U304#(x1, x2)] | = | 2 |
[tt] | = | 3 |
[a__isNatural(x1)] | = | x1 + 1 |
[a__isNaturalKind(x1)] | = | 3 |
[a__U131(x1)] | = | 3 |
[a__isNatural#(x1)] | = | 0 |
[U13(x1, x2, x3)] | = | 47719 |
[a__fst#(x1)] | = | 2 |
[a__U23(x1, x2, x3)] | = | x2 + 3535 |
[a__U311#(x1, x2)] | = | 2 |
[a__U201(x1, x2, x3)] | = | x1 + x3 + 20510 |
[a__U271#(x1, x2)] | = | 0 |
[a__U202(x1, x2, x3)] | = | x1 + 7853 |
[U321(x1,...,x4)] | = | x3 + x4 + 33923 |
[a__U282(x1, x2)] | = | 1 |
[a__U241#(x1, x2, x3)] | = | 0 |
[a__U183(x1)] | = | 3 |
[a__U333(x1, x2)] | = | 4 |
[U22(x1, x2, x3)] | = | x2 + x3 + 3532 |
[a__U293#(x1, x2, x3)] | = | 1 |
[U51(x1, x2, x3)] | = | x2 + x3 + 2 |
[U311(x1, x2)] | = | 28695 |
[a__U325#(x1,...,x4)] | = | 2 |
[a__U34#(x1, x2)] | = | 0 |
[U322(x1,...,x4)] | = | x3 + 33928 |
[U344(x1, x2, x3)] | = | 3 |
[a__U342(x1, x2, x3)] | = | x3 + 11 |
[a__tail(x1)] | = | x1 + 22588 |
[a__U103(x1, x2, x3)] | = | x1 + x2 + 15 |
[a__U54(x1, x2, x3)] | = | x2 + x3 + 7 |
[a__isPLNatKind(x1)] | = | 5 |
[U53(x1, x2, x3)] | = | 5 |
[a__U303(x1, x2)] | = | x1 + 38751 |
[a__U323(x1,...,x4)] | = | x1 + 33927 |
[a__U55#(x1, x2)] | = | 0 |
[a__U112(x1)] | = | 3 |
[a__U331#(x1, x2, x3)] | = | 2 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 4 |
[a__tail#(x1)] | = | 2 |
[a__U203(x1, x2, x3)] | = | x1 + 1848 |
[a__U32#(x1, x2, x3)] | = | 0 |
[a__U221#(x1)] | = | 0 |
[a__U101(x1, x2, x3)] | = | x1 + 13 |
[a__U91#(x1, x2)] | = | 0 |
[a__U341(x1, x2, x3)] | = | x3 + 11 |
[U282(x1, x2)] | = | 1 |
[a__U256(x1)] | = | 3 |
[U121(x1, x2)] | = | x2 + 1 |
[a__head(x1)] | = | x1 + 5 |
[U181(x1, x2)] | = | 1 |
[U324(x1,...,x4)] | = | x2 + x3 + x4 + 33927 |
[U331(x1, x2, x3)] | = | 2 |
[U122(x1)] | = | x1 + 3 |
[a__U312(x1, x2)] | = | 33932 |
[a__U327#(x1, x2)] | = | 2 |
There are 113 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsmark#(U56(X)) | → | mark#(X) | (706) |
mark#(U193(X)) | → | mark#(X) | (568) |
mark#(U122(X)) | → | mark#(X) | (674) |
mark#(U327(X1,X2)) | → | mark#(X1) | (459) |
mark#(s(X)) | → | mark#(X) | (575) |
The dependency pairs are split into 1 component.
mark#(U221(X)) | → | mark#(X) | (738) |
[U291(x1, x2, x3)] | = | 20490 |
[a__U193#(x1)] | = | 0 |
[a__U83(x1)] | = | 0 |
[U231(x1, x2)] | = | x1 + 1 |
[U301(x1, x2, x3)] | = | x3 + 0 |
[a__U293(x1, x2, x3)] | = | 20493 |
[a__U241(x1, x2, x3)] | = | 17 |
[U204(x1, x2, x3)] | = | x2 + x3 + 3862 |
[a__U324(x1,...,x4)] | = | x1 + 8 |
[a__U302(x1, x2)] | = | x1 + 0 |
[a__isNaturalKind#(x1)] | = | 0 |
[a__U325(x1,...,x4)] | = | x1 + 0 |
[a__U151(x1)] | = | 3 |
[a__U292(x1, x2, x3)] | = | x1 + 20490 |
[a__U73#(x1)] | = | 0 |
[a__U131#(x1)] | = | 0 |
[a__U63(x1)] | = | x1 + 1 |
[U21(x1, x2, x3)] | = | x2 + x3 + 1 |
[U261(x1, x2)] | = | 1 |
[a__U102(x1, x2, x3)] | = | x1 + x3 + 27634 |
[U254(x1, x2, x3)] | = | x3 + 3 |
[U333(x1, x2)] | = | 2 |
[a__U82#(x1, x2)] | = | 0 |
[a__U332(x1, x2)] | = | 7340 |
[a__U45(x1, x2)] | = | 3 |
[U193(x1)] | = | x1 + 1698 |
[a__U72#(x1, x2)] | = | 0 |
[a__U242#(x1, x2, x3)] | = | 0 |
[a__U246(x1)] | = | 3 |
[U161(x1)] | = | 0 |
[a__U321#(x1,...,x4)] | = | 2 |
[a__U71#(x1, x2)] | = | 0 |
[a__U232(x1)] | = | x1 + 16200 |
[U182(x1, x2)] | = | x2 + 26860 |
[a__U291#(x1, x2, x3)] | = | 2 |
[U11(x1, x2, x3)] | = | x1 + 1 |
[a__U171(x1, x2)] | = | 3 |
[a__U92#(x1, x2)] | = | 0 |
[a__U104(x1, x2, x3)] | = | x1 + 27636 |
[a__U294(x1, x2, x3)] | = | 20493 |
[a__U182(x1, x2)] | = | x1 + x2 + 26861 |
[a__U191(x1, x2)] | = | x1 + x2 + 1 |
[a__U281(x1, x2)] | = | 1 |
[U243(x1, x2, x3)] | = | x2 + 14 |
[a__U245(x1, x2)] | = | x1 + 5 |
[a__U112#(x1)] | = | 0 |
[s(x1)] | = | x1 + 3 |
[U105(x1, x2)] | = | x2 + 27639 |
[U303(x1, x2)] | = | x2 + 38750 |
[a__U292#(x1, x2, x3)] | = | 2 |
[a__U24(x1, x2)] | = | 3 |
[a__U341#(x1, x2, x3)] | = | 2 |
[a__U31#(x1, x2, x3)] | = | 2 |
[a__U243(x1, x2, x3)] | = | x2 + 17 |
[a__U33#(x1, x2, x3)] | = | 0 |
[a__U93#(x1)] | = | 0 |
[a__head#(x1)] | = | 2 |
[U192(x1, x2)] | = | x2 + 1 |
[a__U253#(x1, x2, x3)] | = | 0 |
[U24(x1, x2)] | = | 2 |
[a__U33(x1, x2, x3)] | = | 4 |
[U106(x1)] | = | 2 |
[a__U24#(x1, x2)] | = | 2 |
[a__natsFrom#(x1)] | = | 2 |
[isPLNatKind(x1)] | = | 3 |
[a__U252#(x1, x2, x3)] | = | 0 |
[a__U256#(x1)] | = | 0 |
[a__U244(x1, x2, x3)] | = | 17 |
[a__U343(x1, x2, x3)] | = | x1 + 21859 |
[U242(x1, x2, x3)] | = | x3 + 14 |
[a__U303#(x1, x2)] | = | 2 |
[U262(x1)] | = | 3 |
[U244(x1, x2, x3)] | = | 15 |
[U272(x1)] | = | 1 |
[U56(x1)] | = | x1 + 1 |
[a__U191#(x1, x2)] | = | 0 |
[a__U272#(x1)] | = | 0 |
[a__U23#(x1, x2, x3)] | = | 2 |
[a__U55(x1, x2)] | = | 7 |
[isPLNat(x1)] | = | x1 + 2 |
[a__snd#(x1)] | = | 0 |
[a__U331(x1, x2, x3)] | = | x1 + 2 |
[a__U312#(x1, x2)] | = | 2 |
[a__afterNth(x1, x2)] | = | 1 |
[U42(x1, x2, x3)] | = | x1 + 4 |
[U91(x1, x2)] | = | x1 + 27957 |
[U221(x1)] | = | x1 + 2 |
[U293(x1, x2, x3)] | = | x1 + x2 + x3 + 20490 |
[a__U73(x1)] | = | 24424 |
[a__U106#(x1)] | = | 0 |
[U325(x1,...,x4)] | = | x3 + x4 + 33919 |
[a__U82(x1, x2)] | = | x1 + x2 + 5875 |
[a__U182#(x1, x2)] | = | 0 |
[take(x1, x2)] | = | x1 + 27623 |
[a__U14#(x1, x2, x3)] | = | 2 |
[U71(x1, x2)] | = | x2 + 43960 |
[a__U62(x1, x2)] | = | 17 |
[a__U44(x1, x2, x3)] | = | 3 |
[U131(x1)] | = | 2 |
[U206(x1)] | = | 37276 |
[a__U221(x1)] | = | 4 |
[U101(x1, x2, x3)] | = | x2 + x3 + 27634 |
[a__U43#(x1, x2, x3)] | = | 0 |
[a__U334#(x1, x2)] | = | 2 |
[pair(x1, x2)] | = | 10 |
[U255(x1, x2)] | = | x2 + 4 |
[a__U326#(x1,...,x4)] | = | 2 |
[a__U261(x1, x2)] | = | 3 |
[fst(x1)] | = | 3 |
[U111(x1, x2)] | = | x2 + 3136 |
[U43(x1, x2, x3)] | = | x1 + x3 + 15354 |
[a__U13#(x1, x2, x3)] | = | 1 |
[a__U121(x1, x2)] | = | x1 + 1 |
[a__U262(x1)] | = | 3 |
[a__U246#(x1)] | = | 0 |
[a__U44#(x1, x2, x3)] | = | 0 |
[a__U204#(x1, x2, x3)] | = | 0 |
[U103(x1, x2, x3)] | = | x3 + 0 |
[a__U111(x1, x2)] | = | x1 + x2 + 3136 |
[a__U272(x1)] | = | x1 + 1 |
[natsFrom(x1)] | = | 1 |
[U281(x1, x2)] | = | 1 |
[a__U103#(x1, x2, x3)] | = | 0 |
[a__U301#(x1, x2, x3)] | = | 2 |
[U44(x1, x2, x3)] | = | 1 |
[U55(x1, x2)] | = | 3 |
[a__U46#(x1)] | = | 0 |
[a__snd(x1)] | = | 0 |
[a__U252(x1, x2, x3)] | = | 14 |
[U253(x1, x2, x3)] | = | x3 + 11 |
[U312(x1, x2)] | = | x2 + 11 |
[a__U206#(x1)] | = | 0 |
[a__U181#(x1, x2)] | = | 0 |
[a__U193(x1)] | = | 2 |
[a__U271(x1, x2)] | = | x1 + 1 |
[a__U51#(x1, x2, x3)] | = | 0 |
[U341(x1, x2, x3)] | = | x1 + x3 + 27623 |
[a__U254(x1, x2, x3)] | = | 5 |
[U23(x1, x2, x3)] | = | x2 + x3 + 2 |
[U292(x1, x2, x3)] | = | 20490 |
[U342(x1, x2, x3)] | = | x3 + 21870 |
[a__U172(x1)] | = | 3 |
[U63(x1)] | = | 27020 |
[a__U56#(x1)] | = | 0 |
[a__U344#(x1, x2, x3)] | = | 2 |
[a__U22(x1, x2, x3)] | = | x1 + 1 |
[U172(x1)] | = | 3 |
[U93(x1)] | = | 9431 |
[splitAt(x1, x2)] | = | x1 + 13925 |
[isNaturalKind(x1)] | = | 6021 |
[U326(x1,...,x4)] | = | x1 + x2 + x3 + 33923 |
[a__U323#(x1,...,x4)] | = | 2 |
[a__U106(x1)] | = | 3 |
[U72(x1, x2)] | = | x2 + 24421 |
[a__U11#(x1, x2, x3)] | = | 1 |
[a__U291(x1, x2, x3)] | = | 20493 |
[U241(x1, x2, x3)] | = | 14 |
[U34(x1, x2)] | = | 4 |
[a__U192(x1, x2)] | = | 1 |
[a__U31(x1, x2, x3)] | = | 4 |
[a__U51(x1, x2, x3)] | = | 8 |
[a__U253(x1, x2, x3)] | = | x1 + 11 |
[a__U81(x1, x2)] | = | x1 + x2 + 9 |
[a__U53#(x1, x2, x3)] | = | 0 |
[a__U205#(x1, x2)] | = | 0 |
[a__take#(x1, x2)] | = | 2 |
[a__U172#(x1)] | = | 0 |
[a__U255#(x1, x2)] | = | 0 |
[U12(x1, x2, x3)] | = | 0 |
[a__U43(x1, x2, x3)] | = | 3 |
[U271(x1, x2)] | = | 1 |
[a__U231(x1, x2)] | = | x2 + 5 |
[a__U232#(x1)] | = | 0 |
[a__isLNatKind#(x1)] | = | 0 |
[a__U62#(x1, x2)] | = | 0 |
[a__U321(x1,...,x4)] | = | x1 + x3 + 3 |
[a__U206(x1)] | = | x1 + 37276 |
[isNatural(x1)] | = | x1 + 1 |
[U302(x1, x2)] | = | 0 |
[U54(x1, x2, x3)] | = | 8 |
[a__U42#(x1, x2, x3)] | = | 0 |
[a__U183#(x1)] | = | 0 |
[a__U41(x1, x2, x3)] | = | 3 |
[U232(x1)] | = | 16200 |
[a__U262#(x1)] | = | 0 |
[a__U122#(x1)] | = | 0 |
[a__U12#(x1, x2, x3)] | = | 0 |
[U205(x1, x2)] | = | x2 + 3866 |
[a__U205(x1, x2)] | = | 3865 |
[U201(x1, x2, x3)] | = | x2 + x3 + 20510 |
[U104(x1, x2, x3)] | = | 0 |
[a__U122(x1)] | = | 3 |
[a__U14(x1, x2, x3)] | = | 12152 |
[a__U81#(x1, x2)] | = | 0 |
[a__U21#(x1, x2, x3)] | = | 2 |
[a__U161(x1)] | = | x1 + 0 |
[a__U61#(x1, x2)] | = | 0 |
[a__U333#(x1, x2)] | = | 2 |
[a__U34(x1, x2)] | = | 4 |
[U252(x1, x2, x3)] | = | 11 |
[a__U261#(x1, x2)] | = | 0 |
[U141(x1)] | = | 3 |
[a__fst(x1)] | = | x1 + 3 |
[tail(x1)] | = | x1 + 2 |
[a__natsFrom(x1)] | = | 1 |
[a__U302#(x1, x2)] | = | 2 |
[U83(x1)] | = | 630 |
[a__U294#(x1, x2, x3)] | = | 2 |
[mark#(x1)] | = | x1 + 2 |
[a__U204(x1, x2, x3)] | = | x1 + 3861 |
[0] | = | 1 |
[a__U211#(x1)] | = | 0 |
[U294(x1, x2, x3)] | = | 20490 |
[a__U244#(x1, x2, x3)] | = | 0 |
[a__isLNat(x1)] | = | x1 + 12 |
[U191(x1, x2)] | = | x2 + 1 |
[U343(x1, x2, x3)] | = | x3 + 21859 |
[a__U251(x1, x2, x3)] | = | 14 |
[U73(x1)] | = | x1 + 24425 |
[a__U282#(x1, x2)] | = | 2 |
[a__U21(x1, x2, x3)] | = | x1 + 1 |
[U332(x1, x2)] | = | x2 + 7337 |
[a__U311(x1, x2)] | = | 2 |
[U171(x1, x2)] | = | 3 |
[a__U32(x1, x2, x3)] | = | 4 |
[a__U91(x1, x2)] | = | 1 |
[a__U231#(x1, x2)] | = | 0 |
[sel(x1, x2)] | = | 20511 |
[U202(x1, x2, x3)] | = | x2 + x3 + 7853 |
[afterNth(x1, x2)] | = | 1 |
[a__U151#(x1)] | = | 0 |
[a__U111#(x1, x2)] | = | 0 |
[a__U161#(x1)] | = | 0 |
[a__U242(x1, x2, x3)] | = | x2 + 17 |
[a__U141#(x1)] | = | 0 |
[nil] | = | 1 |
[a__splitAt(x1, x2)] | = | x1 + 0 |
[isLNat(x1)] | = | x1 + 1 |
[U246(x1)] | = | 2 |
[a__U245#(x1, x2)] | = | 0 |
[U62(x1, x2)] | = | x1 + x2 + 9 |
[a__U52#(x1, x2, x3)] | = | 0 |
[a__U211(x1)] | = | 0 |
[a__U102#(x1, x2, x3)] | = | 0 |
[U304(x1, x2)] | = | x2 + 23012 |
[U45(x1, x2)] | = | 3 |
[a__sel#(x1, x2)] | = | 2 |
[mark(x1)] | = | x1 + 3 |
[U151(x1)] | = | 2 |
[a__isLNat#(x1)] | = | 0 |
[a__U56(x1)] | = | 5 |
[a__U342#(x1, x2, x3)] | = | 2 |
[a__U72(x1, x2)] | = | x1 + 24420 |
[U334(x1, x2)] | = | 3 |
[a__U101#(x1, x2, x3)] | = | 0 |
[a__U11(x1, x2, x3)] | = | 3 |
[U32(x1, x2, x3)] | = | 4 |
[a__U53(x1, x2, x3)] | = | x1 + x3 + 4 |
[a__U141(x1)] | = | 3 |
[a__U322(x1,...,x4)] | = | x3 + 7 |
[a__sel(x1, x2)] | = | x2 + 20511 |
[a__U42(x1, x2, x3)] | = | x2 + x3 + 3 |
[a__U93(x1)] | = | 2 |
[U33(x1, x2, x3)] | = | x2 + x3 + 1 |
[a__U45#(x1, x2)] | = | 0 |
[a__U52(x1, x2, x3)] | = | x2 + x3 + 8 |
[a__U181(x1, x2)] | = | 20493 |
[isLNatKind(x1)] | = | x1 + 3 |
[U14(x1, x2, x3)] | = | 12148 |
[U211(x1)] | = | x1 + 15431 |
[a__U243#(x1, x2, x3)] | = | 0 |
[a__U54#(x1, x2, x3)] | = | 0 |
[U203(x1, x2, x3)] | = | x2 + x3 + 3860 |
[a__U105#(x1, x2)] | = | 0 |
[a__U202#(x1, x2, x3)] | = | 0 |
[a__U12(x1, x2, x3)] | = | x1 + 0 |
[U327(x1, x2)] | = | x1 + 2 |
[a__U104#(x1, x2, x3)] | = | 0 |
[a__U201#(x1, x2, x3)] | = | 0 |
[a__U63#(x1)] | = | 0 |
[a__isPLNat(x1)] | = | 17 |
[a__U327(x1, x2)] | = | x2 + 5 |
[U46(x1)] | = | 2 |
[a__U332#(x1, x2)] | = | 2 |
[a__U326(x1,...,x4)] | = | x4 + 4 |
[U251(x1, x2, x3)] | = | 14 |
[a__U322#(x1,...,x4)] | = | 2 |
[a__isLNatKind(x1)] | = | 3 |
[a__U121#(x1, x2)] | = | 0 |
[U52(x1, x2, x3)] | = | x1 + x3 + 4 |
[a__U254#(x1, x2, x3)] | = | 0 |
[a__U324#(x1,...,x4)] | = | 2 |
[a__U281#(x1, x2)] | = | 2 |
[a__U251#(x1, x2, x3)] | = | 0 |
[U61(x1, x2)] | = | 12 |
[a__U46(x1)] | = | 3 |
[a__U22#(x1, x2, x3)] | = | 2 |
[a__U13(x1, x2, x3)] | = | x1 + x3 + 47719 |
[a__U304(x1, x2)] | = | x1 + 23013 |
[U31(x1, x2, x3)] | = | 4 |
[a__U83#(x1)] | = | 0 |
[a__U171#(x1, x2)] | = | 0 |
[a__U71(x1, x2)] | = | x1 + 24419 |
[U183(x1)] | = | 1 |
[U245(x1, x2)] | = | 5 |
[U92(x1, x2)] | = | x1 + 1 |
[a__isPLNat#(x1)] | = | 0 |
[a__U203#(x1, x2, x3)] | = | 0 |
[head(x1)] | = | 20492 |
[a__afterNth#(x1, x2)] | = | 2 |
[U112(x1)] | = | 2 |
[a__U343#(x1, x2, x3)] | = | 1 |
[a__splitAt#(x1, x2)] | = | 2 |
[a__isPLNatKind#(x1)] | = | 0 |
[a__U192#(x1, x2)] | = | 0 |
[a__U255(x1, x2)] | = | x1 + 4 |
[cons(x1, x2)] | = | 1 |
[a__U344(x1, x2, x3)] | = | 6 |
[a__U92(x1, x2)] | = | 1 |
[U323(x1,...,x4)] | = | 9 |
[a__U61(x1, x2)] | = | 16 |
[U102(x1, x2, x3)] | = | x2 + x3 + 27635 |
[a__U105(x1, x2)] | = | x1 + 27639 |
[a__U334(x1, x2)] | = | 3 |
[snd(x1)] | = | x1 + 0 |
[a__take(x1, x2)] | = | 27626 |
[U256(x1)] | = | 3 |
[a__U301(x1, x2, x3)] | = | x1 + 0 |
[U81(x1, x2)] | = | x2 + 10 |
[a__U41#(x1, x2, x3)] | = | 0 |
[U82(x1, x2)] | = | x2 + 5876 |
[a__U304#(x1, x2)] | = | 2 |
[tt] | = | 3 |
[a__isNatural(x1)] | = | x1 + 1 |
[a__isNaturalKind(x1)] | = | 3 |
[a__U131(x1)] | = | 3 |
[a__isNatural#(x1)] | = | 0 |
[U13(x1, x2, x3)] | = | 47719 |
[a__fst#(x1)] | = | 2 |
[a__U23(x1, x2, x3)] | = | x2 + 4 |
[a__U311#(x1, x2)] | = | 2 |
[a__U201(x1, x2, x3)] | = | x1 + x3 + 20510 |
[a__U271#(x1, x2)] | = | 0 |
[a__U202(x1, x2, x3)] | = | x1 + 7853 |
[U321(x1,...,x4)] | = | x3 + x4 + 3 |
[a__U282(x1, x2)] | = | 1 |
[a__U241#(x1, x2, x3)] | = | 0 |
[a__U183(x1)] | = | 3 |
[a__U333(x1, x2)] | = | 3 |
[U22(x1, x2, x3)] | = | x2 + x3 + 1 |
[a__U293#(x1, x2, x3)] | = | 1 |
[U51(x1, x2, x3)] | = | x2 + x3 + 1 |
[U311(x1, x2)] | = | 28694 |
[a__U325#(x1,...,x4)] | = | 2 |
[a__U34#(x1, x2)] | = | 0 |
[U322(x1,...,x4)] | = | x3 + 33927 |
[U344(x1, x2, x3)] | = | 3 |
[a__U342(x1, x2, x3)] | = | x3 + 21871 |
[a__tail(x1)] | = | x1 + 2 |
[a__U103(x1, x2, x3)] | = | x1 + x2 + 27635 |
[a__U54(x1, x2, x3)] | = | x2 + x3 + 7 |
[a__isPLNatKind(x1)] | = | 4 |
[U53(x1, x2, x3)] | = | 5 |
[a__U303(x1, x2)] | = | x1 + 38751 |
[a__U323(x1,...,x4)] | = | x1 + 7 |
[a__U55#(x1, x2)] | = | 0 |
[a__U112(x1)] | = | 3 |
[a__U331#(x1, x2, x3)] | = | 2 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 4 |
[a__tail#(x1)] | = | 2 |
[a__U203(x1, x2, x3)] | = | x1 + 3860 |
[a__U32#(x1, x2, x3)] | = | 0 |
[a__U221#(x1)] | = | 0 |
[a__U101(x1, x2, x3)] | = | x1 + 27633 |
[a__U91#(x1, x2)] | = | 0 |
[a__U341(x1, x2, x3)] | = | x3 + 27626 |
[U282(x1, x2)] | = | 1 |
[a__U256(x1)] | = | 3 |
[U121(x1, x2)] | = | x2 + 1 |
[a__head(x1)] | = | x1 + 20492 |
[U181(x1, x2)] | = | 11568 |
[U324(x1,...,x4)] | = | x2 + x3 + x4 + 1 |
[U331(x1, x2, x3)] | = | 2 |
[U122(x1)] | = | x1 + 3 |
[a__U312(x1, x2)] | = | 10 |
[a__U327#(x1, x2)] | = | 2 |
There are 113 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairmark#(U221(X)) | → | mark#(X) | (738) |
The dependency pairs are split into 0 components.
a__U322#(tt,N,X,XS) | → | a__U323#(a__isNatural(X),N,X,XS) | (687) |
a__U326#(tt,N,X,XS) | → | a__splitAt#(mark(N),mark(XS)) | (732) |
a__U324#(tt,N,X,XS) | → | a__U325#(a__isLNat(XS),N,X,XS) | (666) |
a__U325#(tt,N,X,XS) | → | a__U326#(a__isLNatKind(XS),N,X,XS) | (897) |
a__splitAt#(s(N),cons(X,XS)) | → | a__U321#(a__isNatural(N),N,X,XS) | (692) |
a__U321#(tt,N,X,XS) | → | a__U322#(a__isNaturalKind(N),N,X,XS) | (581) |
a__U323#(tt,N,X,XS) | → | a__U324#(a__isNaturalKind(X),N,X,XS) | (639) |
π(a__U193#) | = | 1 |
π(U231) | = | 1 |
π(a__U131#) | = | 1 |
π(a__U24) | = | 2 |
π(U24) | = | 2 |
π(U272) | = | 1 |
π(a__U23#) | = | 2 |
π(a__U106#) | = | 1 |
π(a__U13#) | = | 2 |
π(a__U272) | = | 1 |
π(a__U206#) | = | 1 |
π(U23) | = | 2 |
π(a__U255#) | = | 1 |
π(a__U231) | = | 1 |
π(a__U282#) | = | 2 |
π(mark) | = | 1 |
π(a__U45#) | = | 2 |
π(isLNatKind) | = | 1 |
π(a__isLNatKind) | = | 1 |
π(a__fst#) | = | 1 |
π(a__U23) | = | 2 |
π(a__U221#) | = | 1 |
prec(U291) | = | 19 | status(U291) | = | [] | list-extension(U291) | = | Lex | ||
prec(a__U83) | = | 0 | status(a__U83) | = | [] | list-extension(a__U83) | = | Lex | ||
prec(U301) | = | 2 | status(U301) | = | [] | list-extension(U301) | = | Lex | ||
prec(a__U293) | = | 17 | status(a__U293) | = | [] | list-extension(a__U293) | = | Lex | ||
prec(a__U241) | = | 3 | status(a__U241) | = | [] | list-extension(a__U241) | = | Lex | ||
prec(U204) | = | 14 | status(U204) | = | [] | list-extension(U204) | = | Lex | ||
prec(a__U324) | = | 5 | status(a__U324) | = | [] | list-extension(a__U324) | = | Lex | ||
prec(a__U302) | = | 1 | status(a__U302) | = | [] | list-extension(a__U302) | = | Lex | ||
prec(a__isNaturalKind#) | = | 0 | status(a__isNaturalKind#) | = | [] | list-extension(a__isNaturalKind#) | = | Lex | ||
prec(a__U325) | = | 4 | status(a__U325) | = | [4, 3, 2] | list-extension(a__U325) | = | Lex | ||
prec(a__U151) | = | 17 | status(a__U151) | = | [] | list-extension(a__U151) | = | Lex | ||
prec(a__U292) | = | 18 | status(a__U292) | = | [2, 3] | list-extension(a__U292) | = | Lex | ||
prec(a__U73#) | = | 0 | status(a__U73#) | = | [] | list-extension(a__U73#) | = | Lex | ||
prec(a__U63) | = | 10 | status(a__U63) | = | [] | list-extension(a__U63) | = | Lex | ||
prec(U21) | = | 3 | status(U21) | = | [] | list-extension(U21) | = | Lex | ||
prec(U261) | = | 16 | status(U261) | = | [] | list-extension(U261) | = | Lex | ||
prec(a__U102) | = | 4 | status(a__U102) | = | [] | list-extension(a__U102) | = | Lex | ||
prec(U254) | = | 17 | status(U254) | = | [] | list-extension(U254) | = | Lex | ||
prec(U333) | = | 0 | status(U333) | = | [2] | list-extension(U333) | = | Lex | ||
prec(a__U82#) | = | 0 | status(a__U82#) | = | [1, 2] | list-extension(a__U82#) | = | Lex | ||
prec(a__U332) | = | 1 | status(a__U332) | = | [] | list-extension(a__U332) | = | Lex | ||
prec(a__U45) | = | 1 | status(a__U45) | = | [] | list-extension(a__U45) | = | Lex | ||
prec(U193) | = | 10 | status(U193) | = | [] | list-extension(U193) | = | Lex | ||
prec(a__U72#) | = | 0 | status(a__U72#) | = | [] | list-extension(a__U72#) | = | Lex | ||
prec(a__U242#) | = | 0 | status(a__U242#) | = | [2] | list-extension(a__U242#) | = | Lex | ||
prec(a__U246) | = | 11 | status(a__U246) | = | [] | list-extension(a__U246) | = | Lex | ||
prec(U161) | = | 4 | status(U161) | = | [1] | list-extension(U161) | = | Lex | ||
prec(a__U321#) | = | 14 | status(a__U321#) | = | [2, 4, 3] | list-extension(a__U321#) | = | Lex | ||
prec(a__U71#) | = | 0 | status(a__U71#) | = | [2, 1] | list-extension(a__U71#) | = | Lex | ||
prec(a__U232) | = | 10 | status(a__U232) | = | [] | list-extension(a__U232) | = | Lex | ||
prec(U182) | = | 10 | status(U182) | = | [] | list-extension(U182) | = | Lex | ||
prec(a__U291#) | = | 0 | status(a__U291#) | = | [2, 3] | list-extension(a__U291#) | = | Lex | ||
prec(U11) | = | 12 | status(U11) | = | [] | list-extension(U11) | = | Lex | ||
prec(a__U171) | = | 16 | status(a__U171) | = | [] | list-extension(a__U171) | = | Lex | ||
prec(a__U92#) | = | 0 | status(a__U92#) | = | [2] | list-extension(a__U92#) | = | Lex | ||
prec(a__U104) | = | 5 | status(a__U104) | = | [3] | list-extension(a__U104) | = | Lex | ||
prec(a__U294) | = | 16 | status(a__U294) | = | [3, 1] | list-extension(a__U294) | = | Lex | ||
prec(a__U182) | = | 10 | status(a__U182) | = | [] | list-extension(a__U182) | = | Lex | ||
prec(a__U191) | = | 12 | status(a__U191) | = | [] | list-extension(a__U191) | = | Lex | ||
prec(a__U281) | = | 18 | status(a__U281) | = | [] | list-extension(a__U281) | = | Lex | ||
prec(U243) | = | 15 | status(U243) | = | [3] | list-extension(U243) | = | Lex | ||
prec(a__U245) | = | 12 | status(a__U245) | = | [] | list-extension(a__U245) | = | Lex | ||
prec(a__U112#) | = | 0 | status(a__U112#) | = | [1] | list-extension(a__U112#) | = | Lex | ||
prec(s) | = | 7 | status(s) | = | [1] | list-extension(s) | = | Lex | ||
prec(U105) | = | 4 | status(U105) | = | [] | list-extension(U105) | = | Lex | ||
prec(U303) | = | 5 | status(U303) | = | [] | list-extension(U303) | = | Lex | ||
prec(a__U292#) | = | 0 | status(a__U292#) | = | [3, 2, 1] | list-extension(a__U292#) | = | Lex | ||
prec(a__U341#) | = | 0 | status(a__U341#) | = | [3, 2, 1] | list-extension(a__U341#) | = | Lex | ||
prec(a__U31#) | = | 0 | status(a__U31#) | = | [] | list-extension(a__U31#) | = | Lex | ||
prec(a__U243) | = | 15 | status(a__U243) | = | [3] | list-extension(a__U243) | = | Lex | ||
prec(a__U33#) | = | 0 | status(a__U33#) | = | [] | list-extension(a__U33#) | = | Lex | ||
prec(a__U93#) | = | 0 | status(a__U93#) | = | [] | list-extension(a__U93#) | = | Lex | ||
prec(a__head#) | = | 0 | status(a__head#) | = | [] | list-extension(a__head#) | = | Lex | ||
prec(U192) | = | 11 | status(U192) | = | [] | list-extension(U192) | = | Lex | ||
prec(a__U253#) | = | 0 | status(a__U253#) | = | [1, 3, 2] | list-extension(a__U253#) | = | Lex | ||
prec(a__U33) | = | 7 | status(a__U33) | = | [] | list-extension(a__U33) | = | Lex | ||
prec(U106) | = | 3 | status(U106) | = | [] | list-extension(U106) | = | Lex | ||
prec(a__U24#) | = | 0 | status(a__U24#) | = | [] | list-extension(a__U24#) | = | Lex | ||
prec(a__natsFrom#) | = | 0 | status(a__natsFrom#) | = | [] | list-extension(a__natsFrom#) | = | Lex | ||
prec(isPLNatKind) | = | 16 | status(isPLNatKind) | = | [] | list-extension(isPLNatKind) | = | Lex | ||
prec(a__U252#) | = | 0 | status(a__U252#) | = | [2, 1, 3] | list-extension(a__U252#) | = | Lex | ||
prec(a__U256#) | = | 0 | status(a__U256#) | = | [] | list-extension(a__U256#) | = | Lex | ||
prec(a__U244) | = | 15 | status(a__U244) | = | [] | list-extension(a__U244) | = | Lex | ||
prec(a__U343) | = | 1 | status(a__U343) | = | [] | list-extension(a__U343) | = | Lex | ||
prec(U242) | = | 0 | status(U242) | = | [] | list-extension(U242) | = | Lex | ||
prec(a__U303#) | = | 0 | status(a__U303#) | = | [2, 1] | list-extension(a__U303#) | = | Lex | ||
prec(U262) | = | 17 | status(U262) | = | [] | list-extension(U262) | = | Lex | ||
prec(U244) | = | 15 | status(U244) | = | [] | list-extension(U244) | = | Lex | ||
prec(U56) | = | 6 | status(U56) | = | [] | list-extension(U56) | = | Lex | ||
prec(a__U191#) | = | 0 | status(a__U191#) | = | [1, 2] | list-extension(a__U191#) | = | Lex | ||
prec(a__U272#) | = | 0 | status(a__U272#) | = | [] | list-extension(a__U272#) | = | Lex | ||
prec(a__U55) | = | 8 | status(a__U55) | = | [] | list-extension(a__U55) | = | Lex | ||
prec(isPLNat) | = | 19 | status(isPLNat) | = | [] | list-extension(isPLNat) | = | Lex | ||
prec(a__snd#) | = | 0 | status(a__snd#) | = | [] | list-extension(a__snd#) | = | Lex | ||
prec(a__U331) | = | 17 | status(a__U331) | = | [3] | list-extension(a__U331) | = | Lex | ||
prec(a__U312#) | = | 0 | status(a__U312#) | = | [1, 2] | list-extension(a__U312#) | = | Lex | ||
prec(a__afterNth) | = | 15 | status(a__afterNth) | = | [1] | list-extension(a__afterNth) | = | Lex | ||
prec(U42) | = | 7 | status(U42) | = | [] | list-extension(U42) | = | Lex | ||
prec(U91) | = | 16 | status(U91) | = | [1] | list-extension(U91) | = | Lex | ||
prec(U221) | = | 9 | status(U221) | = | [] | list-extension(U221) | = | Lex | ||
prec(U293) | = | 17 | status(U293) | = | [] | list-extension(U293) | = | Lex | ||
prec(a__U73) | = | 11 | status(a__U73) | = | [] | list-extension(a__U73) | = | Lex | ||
prec(U325) | = | 4 | status(U325) | = | [4, 3, 2] | list-extension(U325) | = | Lex | ||
prec(a__U82) | = | 0 | status(a__U82) | = | [2] | list-extension(a__U82) | = | Lex | ||
prec(a__U182#) | = | 0 | status(a__U182#) | = | [2, 1] | list-extension(a__U182#) | = | Lex | ||
prec(take) | = | 16 | status(take) | = | [] | list-extension(take) | = | Lex | ||
prec(a__U14#) | = | 0 | status(a__U14#) | = | [] | list-extension(a__U14#) | = | Lex | ||
prec(U71) | = | 8 | status(U71) | = | [] | list-extension(U71) | = | Lex | ||
prec(a__U62) | = | 0 | status(a__U62) | = | [] | list-extension(a__U62) | = | Lex | ||
prec(a__U44) | = | 1 | status(a__U44) | = | [] | list-extension(a__U44) | = | Lex | ||
prec(U131) | = | 4 | status(U131) | = | [] | list-extension(U131) | = | Lex | ||
prec(U206) | = | 14 | status(U206) | = | [] | list-extension(U206) | = | Lex | ||
prec(a__U221) | = | 9 | status(a__U221) | = | [] | list-extension(a__U221) | = | Lex | ||
prec(U101) | = | 4 | status(U101) | = | [2, 3] | list-extension(U101) | = | Lex | ||
prec(a__U43#) | = | 0 | status(a__U43#) | = | [3, 2, 1] | list-extension(a__U43#) | = | Lex | ||
prec(a__U334#) | = | 0 | status(a__U334#) | = | [2, 1] | list-extension(a__U334#) | = | Lex | ||
prec(pair) | = | 2 | status(pair) | = | [] | list-extension(pair) | = | Lex | ||
prec(U255) | = | 12 | status(U255) | = | [1] | list-extension(U255) | = | Lex | ||
prec(a__U326#) | = | 14 | status(a__U326#) | = | [2, 4] | list-extension(a__U326#) | = | Lex | ||
prec(a__U261) | = | 16 | status(a__U261) | = | [] | list-extension(a__U261) | = | Lex | ||
prec(fst) | = | 4 | status(fst) | = | [1] | list-extension(fst) | = | Lex | ||
prec(U111) | = | 15 | status(U111) | = | [] | list-extension(U111) | = | Lex | ||
prec(U43) | = | 7 | status(U43) | = | [] | list-extension(U43) | = | Lex | ||
prec(a__U121) | = | 16 | status(a__U121) | = | [] | list-extension(a__U121) | = | Lex | ||
prec(a__U262) | = | 17 | status(a__U262) | = | [] | list-extension(a__U262) | = | Lex | ||
prec(a__U246#) | = | 0 | status(a__U246#) | = | [] | list-extension(a__U246#) | = | Lex | ||
prec(a__U44#) | = | 0 | status(a__U44#) | = | [1, 3] | list-extension(a__U44#) | = | Lex | ||
prec(a__U204#) | = | 0 | status(a__U204#) | = | [2, 3, 1] | list-extension(a__U204#) | = | Lex | ||
prec(U103) | = | 5 | status(U103) | = | [] | list-extension(U103) | = | Lex | ||
prec(a__U111) | = | 15 | status(a__U111) | = | [] | list-extension(a__U111) | = | Lex | ||
prec(natsFrom) | = | 19 | status(natsFrom) | = | [] | list-extension(natsFrom) | = | Lex | ||
prec(U281) | = | 18 | status(U281) | = | [] | list-extension(U281) | = | Lex | ||
prec(a__U103#) | = | 0 | status(a__U103#) | = | [1, 3] | list-extension(a__U103#) | = | Lex | ||
prec(a__U301#) | = | 0 | status(a__U301#) | = | [] | list-extension(a__U301#) | = | Lex | ||
prec(U44) | = | 1 | status(U44) | = | [] | list-extension(U44) | = | Lex | ||
prec(U55) | = | 8 | status(U55) | = | [] | list-extension(U55) | = | Lex | ||
prec(a__U46#) | = | 0 | status(a__U46#) | = | [] | list-extension(a__U46#) | = | Lex | ||
prec(a__snd) | = | 16 | status(a__snd) | = | [1] | list-extension(a__snd) | = | Lex | ||
prec(a__U252) | = | 17 | status(a__U252) | = | [] | list-extension(a__U252) | = | Lex | ||
prec(U253) | = | 16 | status(U253) | = | [] | list-extension(U253) | = | Lex | ||
prec(U312) | = | 3 | status(U312) | = | [2] | list-extension(U312) | = | Lex | ||
prec(a__U181#) | = | 0 | status(a__U181#) | = | [2] | list-extension(a__U181#) | = | Lex | ||
prec(a__U193) | = | 10 | status(a__U193) | = | [] | list-extension(a__U193) | = | Lex | ||
prec(a__U271) | = | 16 | status(a__U271) | = | [] | list-extension(a__U271) | = | Lex | ||
prec(a__U51#) | = | 0 | status(a__U51#) | = | [3, 2, 1] | list-extension(a__U51#) | = | Lex | ||
prec(U341) | = | 0 | status(U341) | = | [] | list-extension(U341) | = | Lex | ||
prec(a__U254) | = | 17 | status(a__U254) | = | [] | list-extension(a__U254) | = | Lex | ||
prec(U292) | = | 18 | status(U292) | = | [2, 3] | list-extension(U292) | = | Lex | ||
prec(U342) | = | 1 | status(U342) | = | [] | list-extension(U342) | = | Lex | ||
prec(a__U172) | = | 16 | status(a__U172) | = | [] | list-extension(a__U172) | = | Lex | ||
prec(U63) | = | 10 | status(U63) | = | [] | list-extension(U63) | = | Lex | ||
prec(a__U56#) | = | 0 | status(a__U56#) | = | [] | list-extension(a__U56#) | = | Lex | ||
prec(a__U344#) | = | 0 | status(a__U344#) | = | [2, 3, 1] | list-extension(a__U344#) | = | Lex | ||
prec(a__U22) | = | 2 | status(a__U22) | = | [1, 3, 2] | list-extension(a__U22) | = | Lex | ||
prec(U172) | = | 16 | status(U172) | = | [] | list-extension(U172) | = | Lex | ||
prec(U93) | = | 11 | status(U93) | = | [] | list-extension(U93) | = | Lex | ||
prec(splitAt) | = | 13 | status(splitAt) | = | [] | list-extension(splitAt) | = | Lex | ||
prec(isNaturalKind) | = | 8 | status(isNaturalKind) | = | [] | list-extension(isNaturalKind) | = | Lex | ||
prec(U326) | = | 3 | status(U326) | = | [] | list-extension(U326) | = | Lex | ||
prec(a__U323#) | = | 14 | status(a__U323#) | = | [2, 4, 3] | list-extension(a__U323#) | = | Lex | ||
prec(a__U106) | = | 3 | status(a__U106) | = | [] | list-extension(a__U106) | = | Lex | ||
prec(U72) | = | 7 | status(U72) | = | [] | list-extension(U72) | = | Lex | ||
prec(a__U11#) | = | 0 | status(a__U11#) | = | [1, 2] | list-extension(a__U11#) | = | Lex | ||
prec(a__U291) | = | 19 | status(a__U291) | = | [] | list-extension(a__U291) | = | Lex | ||
prec(U241) | = | 3 | status(U241) | = | [] | list-extension(U241) | = | Lex | ||
prec(U34) | = | 6 | status(U34) | = | [2] | list-extension(U34) | = | Lex | ||
prec(a__U192) | = | 11 | status(a__U192) | = | [] | list-extension(a__U192) | = | Lex | ||
prec(a__U31) | = | 8 | status(a__U31) | = | [2] | list-extension(a__U31) | = | Lex | ||
prec(a__U51) | = | 8 | status(a__U51) | = | [] | list-extension(a__U51) | = | Lex | ||
prec(a__U253) | = | 16 | status(a__U253) | = | [] | list-extension(a__U253) | = | Lex | ||
prec(a__U81) | = | 8 | status(a__U81) | = | [] | list-extension(a__U81) | = | Lex | ||
prec(a__U53#) | = | 0 | status(a__U53#) | = | [1, 3] | list-extension(a__U53#) | = | Lex | ||
prec(a__U205#) | = | 0 | status(a__U205#) | = | [2] | list-extension(a__U205#) | = | Lex | ||
prec(a__take#) | = | 0 | status(a__take#) | = | [1, 2] | list-extension(a__take#) | = | Lex | ||
prec(a__U172#) | = | 0 | status(a__U172#) | = | [] | list-extension(a__U172#) | = | Lex | ||
prec(U12) | = | 11 | status(U12) | = | [3] | list-extension(U12) | = | Lex | ||
prec(a__U43) | = | 7 | status(a__U43) | = | [] | list-extension(a__U43) | = | Lex | ||
prec(U271) | = | 16 | status(U271) | = | [] | list-extension(U271) | = | Lex | ||
prec(a__U232#) | = | 0 | status(a__U232#) | = | [] | list-extension(a__U232#) | = | Lex | ||
prec(a__isLNatKind#) | = | 0 | status(a__isLNatKind#) | = | [] | list-extension(a__isLNatKind#) | = | Lex | ||
prec(a__U62#) | = | 0 | status(a__U62#) | = | [1] | list-extension(a__U62#) | = | Lex | ||
prec(a__U321) | = | 13 | status(a__U321) | = | [] | list-extension(a__U321) | = | Lex | ||
prec(a__U206) | = | 14 | status(a__U206) | = | [] | list-extension(a__U206) | = | Lex | ||
prec(isNatural) | = | 13 | status(isNatural) | = | [1] | list-extension(isNatural) | = | Lex | ||
prec(U302) | = | 1 | status(U302) | = | [] | list-extension(U302) | = | Lex | ||
prec(U54) | = | 8 | status(U54) | = | [] | list-extension(U54) | = | Lex | ||
prec(a__U42#) | = | 0 | status(a__U42#) | = | [3] | list-extension(a__U42#) | = | Lex | ||
prec(a__U183#) | = | 0 | status(a__U183#) | = | [] | list-extension(a__U183#) | = | Lex | ||
prec(a__U41) | = | 8 | status(a__U41) | = | [] | list-extension(a__U41) | = | Lex | ||
prec(U232) | = | 10 | status(U232) | = | [] | list-extension(U232) | = | Lex | ||
prec(a__U262#) | = | 0 | status(a__U262#) | = | [] | list-extension(a__U262#) | = | Lex | ||
prec(a__U122#) | = | 0 | status(a__U122#) | = | [] | list-extension(a__U122#) | = | Lex | ||
prec(a__U12#) | = | 0 | status(a__U12#) | = | [] | list-extension(a__U12#) | = | Lex | ||
prec(U205) | = | 14 | status(U205) | = | [] | list-extension(U205) | = | Lex | ||
prec(a__U205) | = | 14 | status(a__U205) | = | [] | list-extension(a__U205) | = | Lex | ||
prec(U201) | = | 5 | status(U201) | = | [] | list-extension(U201) | = | Lex | ||
prec(U104) | = | 5 | status(U104) | = | [3] | list-extension(U104) | = | Lex | ||
prec(a__U122) | = | 17 | status(a__U122) | = | [] | list-extension(a__U122) | = | Lex | ||
prec(a__U14) | = | 5 | status(a__U14) | = | [] | list-extension(a__U14) | = | Lex | ||
prec(a__U81#) | = | 0 | status(a__U81#) | = | [1, 2] | list-extension(a__U81#) | = | Lex | ||
prec(a__U21#) | = | 0 | status(a__U21#) | = | [1] | list-extension(a__U21#) | = | Lex | ||
prec(a__U161) | = | 4 | status(a__U161) | = | [1] | list-extension(a__U161) | = | Lex | ||
prec(a__U61#) | = | 0 | status(a__U61#) | = | [1, 2] | list-extension(a__U61#) | = | Lex | ||
prec(a__U333#) | = | 0 | status(a__U333#) | = | [] | list-extension(a__U333#) | = | Lex | ||
prec(a__U34) | = | 6 | status(a__U34) | = | [2] | list-extension(a__U34) | = | Lex | ||
prec(U252) | = | 17 | status(U252) | = | [] | list-extension(U252) | = | Lex | ||
prec(a__U261#) | = | 0 | status(a__U261#) | = | [2] | list-extension(a__U261#) | = | Lex | ||
prec(U141) | = | 6 | status(U141) | = | [1] | list-extension(U141) | = | Lex | ||
prec(a__fst) | = | 4 | status(a__fst) | = | [1] | list-extension(a__fst) | = | Lex | ||
prec(tail) | = | 5 | status(tail) | = | [1] | list-extension(tail) | = | Lex | ||
prec(a__natsFrom) | = | 19 | status(a__natsFrom) | = | [] | list-extension(a__natsFrom) | = | Lex | ||
prec(a__U302#) | = | 0 | status(a__U302#) | = | [] | list-extension(a__U302#) | = | Lex | ||
prec(U83) | = | 0 | status(U83) | = | [] | list-extension(U83) | = | Lex | ||
prec(a__U294#) | = | 0 | status(a__U294#) | = | [1, 3] | list-extension(a__U294#) | = | Lex | ||
prec(mark#) | = | 0 | status(mark#) | = | [] | list-extension(mark#) | = | Lex | ||
prec(a__U204) | = | 14 | status(a__U204) | = | [] | list-extension(a__U204) | = | Lex | ||
prec(0) | = | 9 | status(0) | = | [] | list-extension(0) | = | Lex | ||
prec(a__U211#) | = | 0 | status(a__U211#) | = | [] | list-extension(a__U211#) | = | Lex | ||
prec(U294) | = | 16 | status(U294) | = | [3, 1] | list-extension(U294) | = | Lex | ||
prec(a__U244#) | = | 0 | status(a__U244#) | = | [3, 2, 1] | list-extension(a__U244#) | = | Lex | ||
prec(a__isLNat) | = | 8 | status(a__isLNat) | = | [] | list-extension(a__isLNat) | = | Lex | ||
prec(U191) | = | 12 | status(U191) | = | [] | list-extension(U191) | = | Lex | ||
prec(U343) | = | 1 | status(U343) | = | [] | list-extension(U343) | = | Lex | ||
prec(a__U251) | = | 18 | status(a__U251) | = | [] | list-extension(a__U251) | = | Lex | ||
prec(U73) | = | 11 | status(U73) | = | [] | list-extension(U73) | = | Lex | ||
prec(a__U21) | = | 3 | status(a__U21) | = | [] | list-extension(a__U21) | = | Lex | ||
prec(U332) | = | 1 | status(U332) | = | [] | list-extension(U332) | = | Lex | ||
prec(a__U311) | = | 4 | status(a__U311) | = | [] | list-extension(a__U311) | = | Lex | ||
prec(U171) | = | 16 | status(U171) | = | [] | list-extension(U171) | = | Lex | ||
prec(a__U32) | = | 7 | status(a__U32) | = | [1] | list-extension(a__U32) | = | Lex | ||
prec(a__U91) | = | 16 | status(a__U91) | = | [1] | list-extension(a__U91) | = | Lex | ||
prec(a__U231#) | = | 0 | status(a__U231#) | = | [1, 2] | list-extension(a__U231#) | = | Lex | ||
prec(sel) | = | 20 | status(sel) | = | [] | list-extension(sel) | = | Lex | ||
prec(U202) | = | 5 | status(U202) | = | [] | list-extension(U202) | = | Lex | ||
prec(afterNth) | = | 15 | status(afterNth) | = | [1] | list-extension(afterNth) | = | Lex | ||
prec(a__U151#) | = | 0 | status(a__U151#) | = | [] | list-extension(a__U151#) | = | Lex | ||
prec(a__U111#) | = | 0 | status(a__U111#) | = | [2, 1] | list-extension(a__U111#) | = | Lex | ||
prec(a__U161#) | = | 0 | status(a__U161#) | = | [] | list-extension(a__U161#) | = | Lex | ||
prec(a__U242) | = | 0 | status(a__U242) | = | [] | list-extension(a__U242) | = | Lex | ||
prec(a__U141#) | = | 0 | status(a__U141#) | = | [] | list-extension(a__U141#) | = | Lex | ||
prec(nil) | = | 0 | status(nil) | = | [] | list-extension(nil) | = | Lex | ||
prec(a__splitAt) | = | 13 | status(a__splitAt) | = | [] | list-extension(a__splitAt) | = | Lex | ||
prec(isLNat) | = | 8 | status(isLNat) | = | [] | list-extension(isLNat) | = | Lex | ||
prec(U246) | = | 11 | status(U246) | = | [] | list-extension(U246) | = | Lex | ||
prec(a__U245#) | = | 0 | status(a__U245#) | = | [2] | list-extension(a__U245#) | = | Lex | ||
prec(U62) | = | 0 | status(U62) | = | [] | list-extension(U62) | = | Lex | ||
prec(a__U52#) | = | 0 | status(a__U52#) | = | [1, 2, 3] | list-extension(a__U52#) | = | Lex | ||
prec(a__U211) | = | 11 | status(a__U211) | = | [] | list-extension(a__U211) | = | Lex | ||
prec(a__U102#) | = | 0 | status(a__U102#) | = | [3, 2, 1] | list-extension(a__U102#) | = | Lex | ||
prec(U304) | = | 5 | status(U304) | = | [] | list-extension(U304) | = | Lex | ||
prec(U45) | = | 1 | status(U45) | = | [] | list-extension(U45) | = | Lex | ||
prec(a__sel#) | = | 0 | status(a__sel#) | = | [1, 2] | list-extension(a__sel#) | = | Lex | ||
prec(U151) | = | 17 | status(U151) | = | [] | list-extension(U151) | = | Lex | ||
prec(a__isLNat#) | = | 0 | status(a__isLNat#) | = | [] | list-extension(a__isLNat#) | = | Lex | ||
prec(a__U56) | = | 6 | status(a__U56) | = | [] | list-extension(a__U56) | = | Lex | ||
prec(a__U342#) | = | 0 | status(a__U342#) | = | [1, 2] | list-extension(a__U342#) | = | Lex | ||
prec(a__U72) | = | 7 | status(a__U72) | = | [] | list-extension(a__U72) | = | Lex | ||
prec(U334) | = | 0 | status(U334) | = | [] | list-extension(U334) | = | Lex | ||
prec(a__U101#) | = | 0 | status(a__U101#) | = | [3, 1, 2] | list-extension(a__U101#) | = | Lex | ||
prec(a__U11) | = | 12 | status(a__U11) | = | [] | list-extension(a__U11) | = | Lex | ||
prec(U32) | = | 7 | status(U32) | = | [1] | list-extension(U32) | = | Lex | ||
prec(a__U53) | = | 8 | status(a__U53) | = | [] | list-extension(a__U53) | = | Lex | ||
prec(a__U141) | = | 6 | status(a__U141) | = | [1] | list-extension(a__U141) | = | Lex | ||
prec(a__U322) | = | 12 | status(a__U322) | = | [] | list-extension(a__U322) | = | Lex | ||
prec(a__sel) | = | 20 | status(a__sel) | = | [] | list-extension(a__sel) | = | Lex | ||
prec(a__U42) | = | 7 | status(a__U42) | = | [] | list-extension(a__U42) | = | Lex | ||
prec(a__U93) | = | 11 | status(a__U93) | = | [] | list-extension(a__U93) | = | Lex | ||
prec(U33) | = | 7 | status(U33) | = | [] | list-extension(U33) | = | Lex | ||
prec(a__U52) | = | 8 | status(a__U52) | = | [] | list-extension(a__U52) | = | Lex | ||
prec(a__U181) | = | 13 | status(a__U181) | = | [1, 2] | list-extension(a__U181) | = | Lex | ||
prec(U14) | = | 5 | status(U14) | = | [] | list-extension(U14) | = | Lex | ||
prec(U211) | = | 11 | status(U211) | = | [] | list-extension(U211) | = | Lex | ||
prec(a__U243#) | = | 0 | status(a__U243#) | = | [1, 2] | list-extension(a__U243#) | = | Lex | ||
prec(a__U54#) | = | 0 | status(a__U54#) | = | [3, 2] | list-extension(a__U54#) | = | Lex | ||
prec(U203) | = | 15 | status(U203) | = | [3] | list-extension(U203) | = | Lex | ||
prec(a__U105#) | = | 0 | status(a__U105#) | = | [1, 2] | list-extension(a__U105#) | = | Lex | ||
prec(a__U202#) | = | 0 | status(a__U202#) | = | [2] | list-extension(a__U202#) | = | Lex | ||
prec(a__U12) | = | 11 | status(a__U12) | = | [3] | list-extension(a__U12) | = | Lex | ||
prec(U327) | = | 2 | status(U327) | = | [2] | list-extension(U327) | = | Lex | ||
prec(a__U104#) | = | 0 | status(a__U104#) | = | [3, 1, 2] | list-extension(a__U104#) | = | Lex | ||
prec(a__U201#) | = | 0 | status(a__U201#) | = | [1, 3] | list-extension(a__U201#) | = | Lex | ||
prec(a__U63#) | = | 0 | status(a__U63#) | = | [] | list-extension(a__U63#) | = | Lex | ||
prec(a__isPLNat) | = | 19 | status(a__isPLNat) | = | [] | list-extension(a__isPLNat) | = | Lex | ||
prec(a__U327) | = | 2 | status(a__U327) | = | [2] | list-extension(a__U327) | = | Lex | ||
prec(U46) | = | 0 | status(U46) | = | [1] | list-extension(U46) | = | Lex | ||
prec(a__U332#) | = | 0 | status(a__U332#) | = | [2, 1] | list-extension(a__U332#) | = | Lex | ||
prec(a__U326) | = | 3 | status(a__U326) | = | [] | list-extension(a__U326) | = | Lex | ||
prec(U251) | = | 18 | status(U251) | = | [] | list-extension(U251) | = | Lex | ||
prec(a__U322#) | = | 14 | status(a__U322#) | = | [2, 4, 3] | list-extension(a__U322#) | = | Lex | ||
prec(a__U121#) | = | 0 | status(a__U121#) | = | [1, 2] | list-extension(a__U121#) | = | Lex | ||
prec(U52) | = | 8 | status(U52) | = | [] | list-extension(U52) | = | Lex | ||
prec(a__U254#) | = | 0 | status(a__U254#) | = | [1, 2, 3] | list-extension(a__U254#) | = | Lex | ||
prec(a__U324#) | = | 14 | status(a__U324#) | = | [2, 4] | list-extension(a__U324#) | = | Lex | ||
prec(a__U281#) | = | 0 | status(a__U281#) | = | [2, 1] | list-extension(a__U281#) | = | Lex | ||
prec(a__U251#) | = | 0 | status(a__U251#) | = | [2] | list-extension(a__U251#) | = | Lex | ||
prec(U61) | = | 17 | status(U61) | = | [] | list-extension(U61) | = | Lex | ||
prec(a__U46) | = | 0 | status(a__U46) | = | [1] | list-extension(a__U46) | = | Lex | ||
prec(a__U22#) | = | 0 | status(a__U22#) | = | [] | list-extension(a__U22#) | = | Lex | ||
prec(a__U13) | = | 6 | status(a__U13) | = | [2, 3] | list-extension(a__U13) | = | Lex | ||
prec(a__U304) | = | 5 | status(a__U304) | = | [] | list-extension(a__U304) | = | Lex | ||
prec(U31) | = | 8 | status(U31) | = | [2] | list-extension(U31) | = | Lex | ||
prec(a__U83#) | = | 0 | status(a__U83#) | = | [] | list-extension(a__U83#) | = | Lex | ||
prec(a__U171#) | = | 0 | status(a__U171#) | = | [1, 2] | list-extension(a__U171#) | = | Lex | ||
prec(a__U71) | = | 8 | status(a__U71) | = | [] | list-extension(a__U71) | = | Lex | ||
prec(U183) | = | 10 | status(U183) | = | [] | list-extension(U183) | = | Lex | ||
prec(U245) | = | 12 | status(U245) | = | [] | list-extension(U245) | = | Lex | ||
prec(U92) | = | 16 | status(U92) | = | [] | list-extension(U92) | = | Lex | ||
prec(a__isPLNat#) | = | 0 | status(a__isPLNat#) | = | [] | list-extension(a__isPLNat#) | = | Lex | ||
prec(a__U203#) | = | 0 | status(a__U203#) | = | [2] | list-extension(a__U203#) | = | Lex | ||
prec(head) | = | 16 | status(head) | = | [] | list-extension(head) | = | Lex | ||
prec(a__afterNth#) | = | 0 | status(a__afterNth#) | = | [2, 1] | list-extension(a__afterNth#) | = | Lex | ||
prec(U112) | = | 15 | status(U112) | = | [] | list-extension(U112) | = | Lex | ||
prec(a__U343#) | = | 0 | status(a__U343#) | = | [] | list-extension(a__U343#) | = | Lex | ||
prec(a__splitAt#) | = | 14 | status(a__splitAt#) | = | [1] | list-extension(a__splitAt#) | = | Lex | ||
prec(a__isPLNatKind#) | = | 0 | status(a__isPLNatKind#) | = | [] | list-extension(a__isPLNatKind#) | = | Lex | ||
prec(a__U192#) | = | 0 | status(a__U192#) | = | [1] | list-extension(a__U192#) | = | Lex | ||
prec(a__U255) | = | 12 | status(a__U255) | = | [1] | list-extension(a__U255) | = | Lex | ||
prec(cons) | = | 16 | status(cons) | = | [] | list-extension(cons) | = | Lex | ||
prec(a__U344) | = | 5 | status(a__U344) | = | [] | list-extension(a__U344) | = | Lex | ||
prec(a__U92) | = | 16 | status(a__U92) | = | [] | list-extension(a__U92) | = | Lex | ||
prec(U323) | = | 11 | status(U323) | = | [3] | list-extension(U323) | = | Lex | ||
prec(a__U61) | = | 17 | status(a__U61) | = | [] | list-extension(a__U61) | = | Lex | ||
prec(U102) | = | 4 | status(U102) | = | [] | list-extension(U102) | = | Lex | ||
prec(a__U105) | = | 4 | status(a__U105) | = | [] | list-extension(a__U105) | = | Lex | ||
prec(a__U334) | = | 0 | status(a__U334) | = | [] | list-extension(a__U334) | = | Lex | ||
prec(snd) | = | 16 | status(snd) | = | [1] | list-extension(snd) | = | Lex | ||
prec(a__take) | = | 16 | status(a__take) | = | [] | list-extension(a__take) | = | Lex | ||
prec(U256) | = | 11 | status(U256) | = | [] | list-extension(U256) | = | Lex | ||
prec(a__U301) | = | 2 | status(a__U301) | = | [] | list-extension(a__U301) | = | Lex | ||
prec(U81) | = | 8 | status(U81) | = | [] | list-extension(U81) | = | Lex | ||
prec(a__U41#) | = | 0 | status(a__U41#) | = | [2, 1] | list-extension(a__U41#) | = | Lex | ||
prec(U82) | = | 0 | status(U82) | = | [2] | list-extension(U82) | = | Lex | ||
prec(a__U304#) | = | 0 | status(a__U304#) | = | [2, 1] | list-extension(a__U304#) | = | Lex | ||
prec(tt) | = | 10 | status(tt) | = | [] | list-extension(tt) | = | Lex | ||
prec(a__isNatural) | = | 13 | status(a__isNatural) | = | [1] | list-extension(a__isNatural) | = | Lex | ||
prec(a__isNaturalKind) | = | 8 | status(a__isNaturalKind) | = | [] | list-extension(a__isNaturalKind) | = | Lex | ||
prec(a__U131) | = | 4 | status(a__U131) | = | [] | list-extension(a__U131) | = | Lex | ||
prec(a__isNatural#) | = | 0 | status(a__isNatural#) | = | [] | list-extension(a__isNatural#) | = | Lex | ||
prec(U13) | = | 6 | status(U13) | = | [2, 3] | list-extension(U13) | = | Lex | ||
prec(a__U311#) | = | 0 | status(a__U311#) | = | [2, 1] | list-extension(a__U311#) | = | Lex | ||
prec(a__U201) | = | 5 | status(a__U201) | = | [] | list-extension(a__U201) | = | Lex | ||
prec(a__U271#) | = | 0 | status(a__U271#) | = | [1, 2] | list-extension(a__U271#) | = | Lex | ||
prec(a__U202) | = | 5 | status(a__U202) | = | [] | list-extension(a__U202) | = | Lex | ||
prec(U321) | = | 13 | status(U321) | = | [] | list-extension(U321) | = | Lex | ||
prec(a__U282) | = | 17 | status(a__U282) | = | [] | list-extension(a__U282) | = | Lex | ||
prec(a__U241#) | = | 0 | status(a__U241#) | = | [2] | list-extension(a__U241#) | = | Lex | ||
prec(a__U183) | = | 10 | status(a__U183) | = | [] | list-extension(a__U183) | = | Lex | ||
prec(a__U333) | = | 0 | status(a__U333) | = | [2] | list-extension(a__U333) | = | Lex | ||
prec(U22) | = | 2 | status(U22) | = | [1, 3, 2] | list-extension(U22) | = | Lex | ||
prec(a__U293#) | = | 0 | status(a__U293#) | = | [2, 1, 3] | list-extension(a__U293#) | = | Lex | ||
prec(U51) | = | 8 | status(U51) | = | [] | list-extension(U51) | = | Lex | ||
prec(U311) | = | 4 | status(U311) | = | [] | list-extension(U311) | = | Lex | ||
prec(a__U325#) | = | 14 | status(a__U325#) | = | [2, 4] | list-extension(a__U325#) | = | Lex | ||
prec(a__U34#) | = | 0 | status(a__U34#) | = | [1, 2] | list-extension(a__U34#) | = | Lex | ||
prec(U322) | = | 12 | status(U322) | = | [] | list-extension(U322) | = | Lex | ||
prec(U344) | = | 5 | status(U344) | = | [] | list-extension(U344) | = | Lex | ||
prec(a__U342) | = | 1 | status(a__U342) | = | [] | list-extension(a__U342) | = | Lex | ||
prec(a__tail) | = | 5 | status(a__tail) | = | [1] | list-extension(a__tail) | = | Lex | ||
prec(a__U103) | = | 5 | status(a__U103) | = | [] | list-extension(a__U103) | = | Lex | ||
prec(a__U54) | = | 8 | status(a__U54) | = | [] | list-extension(a__U54) | = | Lex | ||
prec(a__isPLNatKind) | = | 16 | status(a__isPLNatKind) | = | [] | list-extension(a__isPLNatKind) | = | Lex | ||
prec(U53) | = | 8 | status(U53) | = | [] | list-extension(U53) | = | Lex | ||
prec(a__U303) | = | 5 | status(a__U303) | = | [] | list-extension(a__U303) | = | Lex | ||
prec(a__U323) | = | 11 | status(a__U323) | = | [3] | list-extension(a__U323) | = | Lex | ||
prec(a__U55#) | = | 0 | status(a__U55#) | = | [1] | list-extension(a__U55#) | = | Lex | ||
prec(a__U112) | = | 15 | status(a__U112) | = | [] | list-extension(a__U112) | = | Lex | ||
prec(a__U331#) | = | 0 | status(a__U331#) | = | [] | list-extension(a__U331#) | = | Lex | ||
prec(U41) | = | 8 | status(U41) | = | [] | list-extension(U41) | = | Lex | ||
prec(a__tail#) | = | 0 | status(a__tail#) | = | [] | list-extension(a__tail#) | = | Lex | ||
prec(a__U203) | = | 15 | status(a__U203) | = | [3] | list-extension(a__U203) | = | Lex | ||
prec(a__U32#) | = | 0 | status(a__U32#) | = | [1, 2, 3] | list-extension(a__U32#) | = | Lex | ||
prec(a__U101) | = | 4 | status(a__U101) | = | [2, 3] | list-extension(a__U101) | = | Lex | ||
prec(a__U91#) | = | 0 | status(a__U91#) | = | [] | list-extension(a__U91#) | = | Lex | ||
prec(a__U341) | = | 0 | status(a__U341) | = | [] | list-extension(a__U341) | = | Lex | ||
prec(U282) | = | 17 | status(U282) | = | [] | list-extension(U282) | = | Lex | ||
prec(a__U256) | = | 11 | status(a__U256) | = | [] | list-extension(a__U256) | = | Lex | ||
prec(U121) | = | 16 | status(U121) | = | [] | list-extension(U121) | = | Lex | ||
prec(a__head) | = | 16 | status(a__head) | = | [] | list-extension(a__head) | = | Lex | ||
prec(U181) | = | 13 | status(U181) | = | [1, 2] | list-extension(U181) | = | Lex | ||
prec(U324) | = | 5 | status(U324) | = | [] | list-extension(U324) | = | Lex | ||
prec(U331) | = | 17 | status(U331) | = | [3] | list-extension(U331) | = | Lex | ||
prec(U122) | = | 17 | status(U122) | = | [] | list-extension(U122) | = | Lex | ||
prec(a__U312) | = | 3 | status(a__U312) | = | [2] | list-extension(a__U312) | = | Lex | ||
prec(a__U327#) | = | 0 | status(a__U327#) | = | [] | list-extension(a__U327#) | = | Lex |
[U291(x1, x2, x3)] | = | max(x2 + 531474, x3 + 531477, 0) |
[a__U83(x1)] | = | 1 |
[U301(x1, x2, x3)] | = | max(x3 + 106280, 0) |
[a__U293(x1, x2, x3)] | = | max(x1 + 425171, x2 + 425170, x3 + 531475, 0) |
[a__U241(x1, x2, x3)] | = | max(x1 + 136289, x2 + 136288, x3 + 136286, 0) |
[U204(x1, x2, x3)] | = | max(x3 + 21838, 0) |
[a__U324(x1,...,x4)] | = | max(x2 + 80432, x3 + 155520, x4 + 80431, 0) |
[a__U302(x1, x2)] | = | max(x2 + 13846, 0) |
[a__isNaturalKind#(x1)] | = | 1 |
[a__U325(x1,...,x4)] | = | max(x2 + 80432, x3 + 155519, x4 + 80431, 0) |
[a__U151(x1)] | = | 0 |
[a__U292(x1, x2, x3)] | = | max(x2 + 531474, x3 + 531476, 0) |
[a__U73#(x1)] | = | 1 |
[a__U63(x1)] | = | 238464 |
[U21(x1, x2, x3)] | = | max(x1 + 49217, x2 + 49219, x3 + 49217, 0) |
[U261(x1, x2)] | = | max(x2 + 50964, 0) |
[a__U102(x1, x2, x3)] | = | max(x1 + 106285, x2 + 106287, x3 + 106289, 0) |
[U254(x1, x2, x3)] | = | max(x2 + 212597, 0) |
[U333(x1, x2)] | = | max(x1 + 1, x2 + 19699, 0) |
[a__U82#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U332(x1, x2)] | = | max(x1 + 106305, x2 + 106304, 0) |
[a__U45(x1, x2)] | = | max(x2 + 106303, 0) |
[U193(x1)] | = | 0 |
[a__U72#(x1, x2)] | = | max(x2 + 1, 0) |
[a__U242#(x1, x2, x3)] | = | max(x2 + 1, x3 + 1, 0) |
[a__U246(x1)] | = | 0 |
[U161(x1)] | = | x1 + 0 |
[a__U321#(x1,...,x4)] | = | max(x1 + 106292, x2 + 212586, x3 + 318878, x4 + 212579, 0) |
[a__U71#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U232(x1)] | = | 0 |
[U182(x1, x2)] | = | max(x1 + 106303, x2 + 1, 0) |
[a__U291#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[U11(x1, x2, x3)] | = | max(x2 + 212580, x3 + 106291, 0) |
[a__U171(x1, x2)] | = | 0 |
[a__U92#(x1, x2)] | = | max(x2 + 1, 0) |
[a__U104(x1, x2, x3)] | = | max(x3 + 40877, 0) |
[a__U294(x1, x2, x3)] | = | max(x1 + 531475, x2 + 425170, x3 + 318880, 0) |
[a__U182(x1, x2)] | = | max(x1 + 106303, x2 + 1, 0) |
[a__U191(x1, x2)] | = | max(x1 + 1, 0) |
[a__U281(x1, x2)] | = | max(x2 + 318878, 0) |
[U243(x1, x2, x3)] | = | max(x1 + 136283, x2 + 136281, x3 + 136284, 0) |
[a__U245(x1, x2)] | = | max(x1 + 29977, 0) |
[a__U112#(x1)] | = | x1 + 1 |
[s(x1)] | = | x1 + 0 |
[U105(x1, x2)] | = | max(x2 + 28834, 0) |
[U303(x1, x2)] | = | max(x2 + 1, 0) |
[a__U292#(x1, x2, x3)] | = | x1 + x2 + x3 + 0 |
[a__U341#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[a__U31#(x1, x2, x3)] | = | x1 + 1 |
[a__U243(x1, x2, x3)] | = | max(x1 + 136283, x2 + 136281, x3 + 136284, 0) |
[a__U33#(x1, x2, x3)] | = | x3 + 1 |
[a__U93#(x1)] | = | 1 |
[a__head#(x1)] | = | 1 |
[U192(x1, x2)] | = | max(0) |
[a__U253#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U33(x1, x2, x3)] | = | max(x2 + 47711, x3 + 106298, 0) |
[U106(x1)] | = | 1 |
[a__U24#(x1, x2)] | = | x1 + 1 |
[a__natsFrom#(x1)] | = | 1 |
[isPLNatKind(x1)] | = | x1 + 1745 |
[a__U252#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U256#(x1)] | = | 1 |
[a__U244(x1, x2, x3)] | = | max(x1 + 136278, x2 + 136280, 0) |
[a__U343(x1, x2, x3)] | = | max(x2 + 320645, x3 + 320646, 0) |
[U242(x1, x2, x3)] | = | max(x1 + 136287, x2 + 136282, x3 + 136285, 0) |
[a__U303#(x1, x2)] | = | x1 + x2 + 1 |
[U262(x1)] | = | 0 |
[U244(x1, x2, x3)] | = | max(x1 + 136278, x2 + 136280, 0) |
[U56(x1)] | = | 1 |
[a__U191#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U272#(x1)] | = | 1 |
[a__U55(x1, x2)] | = | max(x1 + 1, 0) |
[isPLNat(x1)] | = | x1 + 238462 |
[a__snd#(x1)] | = | 1 |
[a__U331(x1, x2, x3)] | = | max(x2 + 106305, x3 + 212597, 0) |
[a__U312#(x1, x2)] | = | x1 + x2 + 0 |
[a__afterNth(x1, x2)] | = | max(x1 + 212581, x2 + 106291, 0) |
[U42(x1, x2, x3)] | = | max(x3 + 106307, 0) |
[U91(x1, x2)] | = | max(x1 + 17020, x2 + 106305, 0) |
[U221(x1)] | = | 1 |
[U293(x1, x2, x3)] | = | max(x1 + 425171, x2 + 425170, x3 + 531475, 0) |
[a__U73(x1)] | = | 8837 |
[U325(x1,...,x4)] | = | max(x2 + 80432, x3 + 155519, x4 + 80431, 0) |
[a__U82(x1, x2)] | = | max(x2 + 25851, 0) |
[a__U182#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[take(x1, x2)] | = | x1 + x2 + 320651 |
[a__U14#(x1, x2, x3)] | = | x2 + x3 + 1 |
[U71(x1, x2)] | = | max(x1 + 212586, x2 + 212587, 0) |
[a__U62(x1, x2)] | = | max(x1 + 238465, x2 + 238463, 0) |
[a__U44(x1, x2, x3)] | = | max(x3 + 106304, 0) |
[U131(x1)] | = | 240211 |
[U206(x1)] | = | 0 |
[a__U221(x1)] | = | 1 |
[U101(x1, x2, x3)] | = | max(x1 + 212577, x2 + 106288, x3 + 106290, 0) |
[a__U43#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U334#(x1, x2)] | = | x1 + x2 + 1 |
[pair(x1, x2)] | = | max(x1 + 49218, x2 + 80427, 0) |
[U255(x1, x2)] | = | max(x1 + 106303, 0) |
[a__U326#(x1,...,x4)] | = | max(x1 + 212579, x2 + 212586, x3 + 212582, x4 + 212579, 0) |
[a__U261(x1, x2)] | = | max(x2 + 50964, 0) |
[fst(x1)] | = | x1 + 240211 |
[U111(x1, x2)] | = | max(x1 + 0, x2 + 106290, 0) |
[U43(x1, x2, x3)] | = | max(x1 + 106306, x3 + 106305, 0) |
[a__U121(x1, x2)] | = | max(x1 + 6, x2 + 0, 0) |
[a__U262(x1)] | = | 0 |
[a__U246#(x1)] | = | 1 |
[a__U44#(x1, x2, x3)] | = | max(x1 + 1, x3 + 1, 0) |
[a__U204#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[U103(x1, x2, x3)] | = | max(x3 + 106286, 0) |
[a__U111(x1, x2)] | = | max(x1 + 0, x2 + 106290, 0) |
[natsFrom(x1)] | = | x1 + 318878 |
[U281(x1, x2)] | = | max(x2 + 318878, 0) |
[a__U103#(x1, x2, x3)] | = | max(x1 + 1, x3 + 1, 0) |
[a__U301#(x1, x2, x3)] | = | x1 + 0 |
[U44(x1, x2, x3)] | = | max(x3 + 106304, 0) |
[U55(x1, x2)] | = | max(x1 + 1, 0) |
[a__U46#(x1)] | = | 1 |
[a__snd(x1)] | = | x1 + 25853 |
[a__U252(x1, x2, x3)] | = | max(x2 + 212599, 0) |
[U253(x1, x2, x3)] | = | max(x2 + 212598, 0) |
[U312(x1, x2)] | = | max(x1 + 80428, x2 + 80429, 0) |
[a__U181#(x1, x2)] | = | max(x2 + 1, 0) |
[a__U193(x1)] | = | 0 |
[a__U271(x1, x2)] | = | max(x2 + 82176, 0) |
[a__U51#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[U341(x1, x2, x3)] | = | max(x2 + 320649, x3 + 320650, 0) |
[a__U254(x1, x2, x3)] | = | max(x2 + 212597, 0) |
[U292(x1, x2, x3)] | = | max(x2 + 531474, x3 + 531476, 0) |
[U342(x1, x2, x3)] | = | max(x1 + 0, x2 + 320648, x3 + 320647, 0) |
[a__U172(x1)] | = | 0 |
[U63(x1)] | = | 238464 |
[a__U56#(x1)] | = | 1 |
[a__U344#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U22(x1, x2, x3)] | = | max(x1 + 21445, x2 + 0, x3 + 0, 0) |
[U172(x1)] | = | 0 |
[U93(x1)] | = | 106304 |
[splitAt(x1, x2)] | = | max(x1 + 80432, x2 + 80431, 0) |
[isNaturalKind(x1)] | = | 106291 |
[U326(x1,...,x4)] | = | max(x2 + 80432, x3 + 155518, x4 + 80431, 0) |
[a__U323#(x1,...,x4)] | = | max(x1 + 212578, x2 + 212586, x3 + 212585, x4 + 212579, 0) |
[a__U106(x1)] | = | 1 |
[U72(x1, x2)] | = | max(x1 + 106294, x2 + 8836, 0) |
[a__U11#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[a__U291(x1, x2, x3)] | = | max(x2 + 531474, x3 + 531477, 0) |
[U241(x1, x2, x3)] | = | max(x1 + 136289, x2 + 136288, x3 + 136286, 0) |
[U34(x1, x2)] | = | max(x2 + 3441, 0) |
[a__U192(x1, x2)] | = | max(0) |
[a__U31(x1, x2, x3)] | = | max(x1 + 212594, x2 + 318887, x3 + 106298, 0) |
[a__U51(x1, x2, x3)] | = | max(x1 + 106310, x2 + 106300, x3 + 106301, 0) |
[a__U253(x1, x2, x3)] | = | max(x2 + 212598, 0) |
[a__U81(x1, x2)] | = | max(x2 + 25852, 0) |
[a__U53#(x1, x2, x3)] | = | max(x1 + 1, x3 + 1, 0) |
[a__U205#(x1, x2)] | = | max(x2 + 1, 0) |
[a__take#(x1, x2)] | = | x1 + x2 + 1 |
[a__U172#(x1)] | = | 1 |
[U12(x1, x2, x3)] | = | max(x1 + 106288, x2 + 106288, x3 + 106290, 0) |
[a__U43(x1, x2, x3)] | = | max(x1 + 106306, x3 + 106305, 0) |
[U271(x1, x2)] | = | max(x2 + 82176, 0) |
[a__U232#(x1)] | = | 1 |
[a__isLNatKind#(x1)] | = | 1 |
[a__U62#(x1, x2)] | = | max(x1 + 1, 0) |
[a__U321(x1,...,x4)] | = | max(x2 + 80432, x3 + 186730, x4 + 80431, 0) |
[a__U206(x1)] | = | 0 |
[isNatural(x1)] | = | x1 + 106293 |
[U302(x1, x2)] | = | max(x2 + 13846, 0) |
[U54(x1, x2, x3)] | = | max(x1 + 106294, x2 + 106294, 0) |
[a__U42#(x1, x2, x3)] | = | max(x3 + 1, 0) |
[a__U183#(x1)] | = | 1 |
[a__U41(x1, x2, x3)] | = | max(x3 + 212582, 0) |
[U232(x1)] | = | 0 |
[a__U262#(x1)] | = | 1 |
[a__U122#(x1)] | = | 1 |
[a__U12#(x1, x2, x3)] | = | 0 |
[U205(x1, x2)] | = | max(0) |
[a__U205(x1, x2)] | = | max(0) |
[U201(x1, x2, x3)] | = | max(x1 + 106292, x2 + 212588, x3 + 212587, 0) |
[U104(x1, x2, x3)] | = | max(x3 + 40877, 0) |
[a__U122(x1)] | = | 1 |
[a__U14(x1, x2, x3)] | = | max(x2 + 106286, x3 + 106288, 0) |
[a__U81#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U21#(x1, x2, x3)] | = | x1 + 1 |
[a__U161(x1)] | = | x1 + 0 |
[a__U61#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U333#(x1, x2)] | = | x2 + 1 |
[a__U34(x1, x2)] | = | max(x2 + 3441, 0) |
[U252(x1, x2, x3)] | = | max(x2 + 212599, 0) |
[a__U261#(x1, x2)] | = | max(x2 + 1, 0) |
[U141(x1)] | = | x1 + 24213 |
[a__fst(x1)] | = | x1 + 240211 |
[tail(x1)] | = | x1 + 212598 |
[a__natsFrom(x1)] | = | x1 + 318878 |
[a__U302#(x1, x2)] | = | 1 |
[U83(x1)] | = | 1 |
[a__U294#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[mark#(x1)] | = | 1 |
[a__U204(x1, x2, x3)] | = | max(x3 + 21838, 0) |
[0] | = | 675 |
[a__U211#(x1)] | = | 1 |
[U294(x1, x2, x3)] | = | max(x1 + 531475, x2 + 425170, x3 + 318880, 0) |
[a__U244#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__isLNat(x1)] | = | x1 + 106302 |
[U191(x1, x2)] | = | max(x1 + 1, 0) |
[U343(x1, x2, x3)] | = | max(x2 + 320645, x3 + 320646, 0) |
[a__U251(x1, x2, x3)] | = | max(x1 + 212601, x2 + 212600, x3 + 212602, 0) |
[U73(x1)] | = | 8837 |
[a__U21(x1, x2, x3)] | = | max(x1 + 49217, x2 + 49219, x3 + 49217, 0) |
[U332(x1, x2)] | = | max(x1 + 106305, x2 + 106304, 0) |
[a__U311(x1, x2)] | = | max(x2 + 80430, 0) |
[U171(x1, x2)] | = | 0 |
[a__U32(x1, x2, x3)] | = | max(x1 + 106303, x2 + 106297, x3 + 106298, 0) |
[a__U91(x1, x2)] | = | max(x1 + 17020, x2 + 106305, 0) |
[a__U231#(x1, x2)] | = | x1 + x2 + 0 |
[sel(x1, x2)] | = | x1 + x2 + 531478 |
[U202(x1, x2, x3)] | = | max(x1 + 106295, x2 + 106293, x3 + 106296, 0) |
[afterNth(x1, x2)] | = | max(x1 + 212581, x2 + 106291, 0) |
[a__U151#(x1)] | = | 1 |
[a__U111#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U161#(x1)] | = | 1 |
[a__U242(x1, x2, x3)] | = | max(x1 + 136287, x2 + 136282, x3 + 136285, 0) |
[a__U141#(x1)] | = | 1 |
[nil] | = | 31211 |
[a__splitAt(x1, x2)] | = | max(x1 + 80432, x2 + 80431, 0) |
[isLNat(x1)] | = | x1 + 106302 |
[U246(x1)] | = | 0 |
[a__U245#(x1, x2)] | = | max(x2 + 1, 0) |
[U62(x1, x2)] | = | max(x1 + 238465, x2 + 238463, 0) |
[a__U52#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U211(x1)] | = | 0 |
[a__U102#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[U304(x1, x2)] | = | max(x2 + 1, 0) |
[U45(x1, x2)] | = | max(x2 + 106303, 0) |
[a__sel#(x1, x2)] | = | x1 + x2 + 0 |
[U151(x1)] | = | 0 |
[a__isLNat#(x1)] | = | 1 |
[a__U56(x1)] | = | 1 |
[a__U342#(x1, x2, x3)] | = | x1 + x2 + 0 |
[a__U72(x1, x2)] | = | max(x1 + 106294, x2 + 8836, 0) |
[U334(x1, x2)] | = | max(x1 + 1, x2 + 2, 0) |
[a__U101#(x1, x2, x3)] | = | max(x1 + 0, x2 + 0, x3 + 0, 0) |
[a__U11(x1, x2, x3)] | = | max(x2 + 212580, x3 + 106291, 0) |
[U32(x1, x2, x3)] | = | max(x1 + 106303, x2 + 106297, x3 + 106298, 0) |
[a__U53(x1, x2, x3)] | = | max(x1 + 106298, x2 + 106296, x3 + 106295, 0) |
[a__U141(x1)] | = | x1 + 24213 |
[a__U322(x1,...,x4)] | = | max(x2 + 80432, x3 + 155522, x4 + 80431, 0) |
[a__sel(x1, x2)] | = | x1 + x2 + 531478 |
[a__U42(x1, x2, x3)] | = | max(x3 + 106307, 0) |
[a__U93(x1)] | = | 106304 |
[U33(x1, x2, x3)] | = | max(x2 + 47711, x3 + 106298, 0) |
[a__U52(x1, x2, x3)] | = | max(x2 + 106297, x3 + 106299, 0) |
[a__U181(x1, x2)] | = | max(x1 + 106305, x2 + 106304, 0) |
[U14(x1, x2, x3)] | = | max(x2 + 106286, x3 + 106288, 0) |
[U211(x1)] | = | 0 |
[a__U243#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U54#(x1, x2, x3)] | = | max(x2 + 1, x3 + 1, 0) |
[U203(x1, x2, x3)] | = | max(x3 + 106294, 0) |
[a__U105#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U202#(x1, x2, x3)] | = | max(x2 + 1, 0) |
[a__U12(x1, x2, x3)] | = | max(x1 + 106288, x2 + 106288, x3 + 106290, 0) |
[U327(x1, x2)] | = | max(x1 + 0, x2 + 155517, 0) |
[a__U104#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U201#(x1, x2, x3)] | = | max(x1 + 1, x3 + 1, 0) |
[a__U63#(x1)] | = | 1 |
[a__isPLNat(x1)] | = | x1 + 238462 |
[a__U327(x1, x2)] | = | max(x1 + 0, x2 + 155517, 0) |
[U46(x1)] | = | x1 + 0 |
[a__U332#(x1, x2)] | = | x1 + x2 + 1 |
[a__U326(x1,...,x4)] | = | max(x2 + 80432, x3 + 155518, x4 + 80431, 0) |
[U251(x1, x2, x3)] | = | max(x1 + 212601, x2 + 212600, x3 + 212602, 0) |
[a__U322#(x1,...,x4)] | = | max(x1 + 212587, x2 + 212586, x3 + 318872, x4 + 212579, 0) |
[a__U121#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[U52(x1, x2, x3)] | = | max(x2 + 106297, x3 + 106299, 0) |
[a__U254#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U324#(x1,...,x4)] | = | max(x2 + 212586, x3 + 212584, x4 + 212579, 0) |
[a__U281#(x1, x2)] | = | x1 + x2 + 1 |
[a__U251#(x1, x2, x3)] | = | max(x2 + 1, 0) |
[U61(x1, x2)] | = | max(x2 + 240210, 0) |
[a__U46(x1)] | = | x1 + 0 |
[a__U22#(x1, x2, x3)] | = | x3 + 1 |
[a__U13(x1, x2, x3)] | = | max(x2 + 106287, x3 + 106289, 0) |
[a__U304(x1, x2)] | = | max(x2 + 1, 0) |
[U31(x1, x2, x3)] | = | max(x1 + 212594, x2 + 318887, x3 + 106298, 0) |
[a__U83#(x1)] | = | 1 |
[a__U171#(x1, x2)] | = | x1 + x2 + 1 |
[a__U71(x1, x2)] | = | max(x1 + 212586, x2 + 212587, 0) |
[U183(x1)] | = | 11681 |
[U245(x1, x2)] | = | max(x1 + 29977, 0) |
[U92(x1, x2)] | = | max(x1 + 106304, x2 + 106303, 0) |
[a__isPLNat#(x1)] | = | 1 |
[a__U203#(x1, x2, x3)] | = | max(x2 + 1, 0) |
[head(x1)] | = | x1 + 212589 |
[a__afterNth#(x1, x2)] | = | x1 + x2 + 1 |
[U112(x1)] | = | 0 |
[a__U343#(x1, x2, x3)] | = | 1 |
[a__splitAt#(x1, x2)] | = | max(x1 + 212586, x2 + 212579, 0) |
[a__isPLNatKind#(x1)] | = | 1 |
[a__U192#(x1, x2)] | = | max(x1 + 1, 0) |
[a__U255(x1, x2)] | = | max(x1 + 106303, 0) |
[cons(x1, x2)] | = | max(x1 + 106299, x2 + 0, 0) |
[a__U344(x1, x2, x3)] | = | max(x1 + 320641, x2 + 320644, x3 + 320642, 0) |
[a__U92(x1, x2)] | = | max(x1 + 106304, x2 + 106303, 0) |
[U323(x1,...,x4)] | = | max(x1 + 0, x2 + 80432, x3 + 155521, x4 + 80431, 0) |
[a__U61(x1, x2)] | = | max(x2 + 240210, 0) |
[U102(x1, x2, x3)] | = | max(x1 + 106285, x2 + 106287, x3 + 106289, 0) |
[a__U105(x1, x2)] | = | max(x2 + 28834, 0) |
[a__U334(x1, x2)] | = | max(x1 + 1, x2 + 2, 0) |
[snd(x1)] | = | x1 + 25853 |
[a__take(x1, x2)] | = | x1 + x2 + 320651 |
[U256(x1)] | = | 0 |
[a__U301(x1, x2, x3)] | = | max(x3 + 106280, 0) |
[U81(x1, x2)] | = | max(x2 + 25852, 0) |
[a__U41#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, 0) |
[U82(x1, x2)] | = | max(x2 + 25851, 0) |
[a__U304#(x1, x2)] | = | x1 + x2 + 1 |
[tt] | = | 0 |
[a__isNatural(x1)] | = | x1 + 106293 |
[a__isNaturalKind(x1)] | = | 106291 |
[a__U131(x1)] | = | 240211 |
[a__isNatural#(x1)] | = | 1 |
[U13(x1, x2, x3)] | = | max(x2 + 106287, x3 + 106289, 0) |
[a__U311#(x1, x2)] | = | x1 + x2 + 1 |
[a__U201(x1, x2, x3)] | = | max(x1 + 106292, x2 + 212588, x3 + 212587, 0) |
[a__U271#(x1, x2)] | = | max(x1 + 1, x2 + 1, 0) |
[a__U202(x1, x2, x3)] | = | max(x1 + 106295, x2 + 106293, x3 + 106296, 0) |
[U321(x1,...,x4)] | = | max(x2 + 80432, x3 + 186730, x4 + 80431, 0) |
[a__U282(x1, x2)] | = | max(x1 + 106300, x2 + 318878, 0) |
[a__U241#(x1, x2, x3)] | = | max(x1 + 1, x2 + 1, x3 + 1, 0) |
[a__U183(x1)] | = | 11681 |
[a__U333(x1, x2)] | = | max(x1 + 1, x2 + 19699, 0) |
[U22(x1, x2, x3)] | = | max(x1 + 21445, x2 + 0, x3 + 0, 0) |
[a__U293#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[U51(x1, x2, x3)] | = | max(x1 + 106310, x2 + 106300, x3 + 106301, 0) |
[U311(x1, x2)] | = | max(x2 + 80430, 0) |
[a__U325#(x1,...,x4)] | = | max(x1 + 1, x2 + 212586, x3 + 212583, x4 + 212579, 0) |
[a__U34#(x1, x2)] | = | x1 + x2 + 1 |
[U322(x1,...,x4)] | = | max(x2 + 80432, x3 + 155522, x4 + 80431, 0) |
[U344(x1, x2, x3)] | = | max(x1 + 320641, x2 + 320644, x3 + 320642, 0) |
[a__U342(x1, x2, x3)] | = | max(x1 + 0, x2 + 320648, x3 + 320647, 0) |
[a__tail(x1)] | = | x1 + 212598 |
[a__U103(x1, x2, x3)] | = | max(x3 + 106286, 0) |
[a__U54(x1, x2, x3)] | = | max(x1 + 106294, x2 + 106294, 0) |
[a__isPLNatKind(x1)] | = | x1 + 1745 |
[U53(x1, x2, x3)] | = | max(x1 + 106298, x2 + 106296, x3 + 106295, 0) |
[a__U303(x1, x2)] | = | max(x2 + 1, 0) |
[a__U323(x1,...,x4)] | = | max(x1 + 0, x2 + 80432, x3 + 155521, x4 + 80431, 0) |
[a__U55#(x1, x2)] | = | max(x1 + 1, 0) |
[a__U112(x1)] | = | 0 |
[a__U331#(x1, x2, x3)] | = | x2 + 1 |
[U41(x1, x2, x3)] | = | max(x3 + 212582, 0) |
[a__tail#(x1)] | = | 1 |
[a__U203(x1, x2, x3)] | = | max(x3 + 106294, 0) |
[a__U32#(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[a__U101(x1, x2, x3)] | = | max(x1 + 212577, x2 + 106288, x3 + 106290, 0) |
[a__U91#(x1, x2)] | = | max(x1 + 1, 0) |
[a__U341(x1, x2, x3)] | = | max(x2 + 320649, x3 + 320650, 0) |
[U282(x1, x2)] | = | max(x1 + 106300, x2 + 318878, 0) |
[a__U256(x1)] | = | 0 |
[U121(x1, x2)] | = | max(x1 + 6, x2 + 0, 0) |
[a__head(x1)] | = | x1 + 212589 |
[U181(x1, x2)] | = | max(x1 + 106305, x2 + 106304, 0) |
[U324(x1,...,x4)] | = | max(x2 + 80432, x3 + 155520, x4 + 80431, 0) |
[U331(x1, x2, x3)] | = | max(x2 + 106305, x3 + 212597, 0) |
[U122(x1)] | = | 1 |
[a__U312(x1, x2)] | = | max(x1 + 80428, x2 + 80429, 0) |
[a__U327#(x1, x2)] | = | 1 |
There are 407 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsa__U326#(tt,N,X,XS) | → | a__splitAt#(mark(N),mark(XS)) | (732) |
a__splitAt#(s(N),cons(X,XS)) | → | a__U321#(a__isNatural(N),N,X,XS) | (692) |
a__U323#(tt,N,X,XS) | → | a__U324#(a__isNaturalKind(X),N,X,XS) | (639) |
The dependency pairs are split into 0 components.
a__U191#(tt,V1) | → | a__U192#(a__isNaturalKind(V1),V1) | (903) |
a__U105#(tt,V2) | → | a__isLNat#(V2) | (896) |
a__U44#(tt,V1,V2) | → | a__U45#(a__isNatural(V1),V2) | (898) |
a__U244#(tt,V1,V2) | → | a__U245#(a__isLNat(V1),V2) | (894) |
a__U51#(tt,V1,V2) | → | a__U52#(a__isNaturalKind(V1),V1,V2) | (870) |
a__U103#(tt,V1,V2) | → | a__U104#(a__isLNatKind(V2),V1,V2) | (848) |
a__U251#(tt,V1,V2) | → | a__U252#(a__isNaturalKind(V1),V1,V2) | (843) |
a__U102#(tt,V1,V2) | → | a__U103#(a__isLNatKind(V2),V1,V2) | (836) |
a__U204#(tt,V1,V2) | → | a__isNatural#(V1) | (833) |
a__U55#(tt,V2) | → | a__isLNat#(V2) | (830) |
a__isPLNat#(splitAt(V1,V2)) | → | a__U251#(a__isNaturalKind(V1),V1,V2) | (805) |
a__U253#(tt,V1,V2) | → | a__U254#(a__isLNatKind(V2),V1,V2) | (803) |
a__isNatural#(s(V1)) | → | a__U191#(a__isNaturalKind(V1),V1) | (804) |
a__U101#(tt,V1,V2) | → | a__U102#(a__isNaturalKind(V1),V1,V2) | (790) |
a__U92#(tt,V1) | → | a__isLNat#(V1) | (787) |
a__U241#(tt,V1,V2) | → | a__U242#(a__isLNatKind(V1),V1,V2) | (780) |
a__isLNat#(take(V1,V2)) | → | a__U101#(a__isNaturalKind(V1),V1,V2) | (750) |
a__U82#(tt,V1) | → | a__isPLNat#(V1) | (751) |
a__U43#(tt,V1,V2) | → | a__U44#(a__isLNatKind(V2),V1,V2) | (749) |
a__isLNat#(tail(V1)) | → | a__U91#(a__isLNatKind(V1),V1) | (737) |
a__U62#(tt,V1) | → | a__isPLNat#(V1) | (740) |
a__U72#(tt,V1) | → | a__isNatural#(V1) | (735) |
a__U204#(tt,V1,V2) | → | a__U205#(a__isNatural(V1),V2) | (727) |
a__U242#(tt,V1,V2) | → | a__U243#(a__isLNatKind(V2),V1,V2) | (716) |
a__isLNat#(snd(V1)) | → | a__U81#(a__isPLNatKind(V1),V1) | (712) |
a__U45#(tt,V2) | → | a__isLNat#(V2) | (704) |
a__isNatural#(sel(V1,V2)) | → | a__U201#(a__isNaturalKind(V1),V1,V2) | (696) |
a__U243#(tt,V1,V2) | → | a__U244#(a__isLNatKind(V2),V1,V2) | (698) |
a__U181#(tt,V1) | → | a__U182#(a__isLNatKind(V1),V1) | (694) |
a__U81#(tt,V1) | → | a__U82#(a__isPLNatKind(V1),V1) | (681) |
a__U203#(tt,V1,V2) | → | a__U204#(a__isLNatKind(V2),V1,V2) | (667) |
a__isNatural#(head(V1)) | → | a__U181#(a__isLNatKind(V1),V1) | (661) |
a__U182#(tt,V1) | → | a__isLNat#(V1) | (656) |
a__U71#(tt,V1) | → | a__U72#(a__isNaturalKind(V1),V1) | (641) |
a__U54#(tt,V1,V2) | → | a__isNatural#(V1) | (640) |
a__U192#(tt,V1) | → | a__isNatural#(V1) | (634) |
a__U52#(tt,V1,V2) | → | a__U53#(a__isLNatKind(V2),V1,V2) | (632) |
a__U254#(tt,V1,V2) | → | a__U255#(a__isNatural(V1),V2) | (616) |
a__isLNat#(cons(V1,V2)) | → | a__U51#(a__isNaturalKind(V1),V1,V2) | (600) |
a__U245#(tt,V2) | → | a__isLNat#(V2) | (601) |
a__U244#(tt,V1,V2) | → | a__isLNat#(V1) | (590) |
a__isLNat#(natsFrom(V1)) | → | a__U71#(a__isNaturalKind(V1),V1) | (584) |
a__U252#(tt,V1,V2) | → | a__U253#(a__isLNatKind(V2),V1,V2) | (569) |
a__U205#(tt,V2) | → | a__isLNat#(V2) | (558) |
a__U104#(tt,V1,V2) | → | a__U105#(a__isNatural(V1),V2) | (556) |
a__U53#(tt,V1,V2) | → | a__U54#(a__isLNatKind(V2),V1,V2) | (555) |
a__U201#(tt,V1,V2) | → | a__U202#(a__isNaturalKind(V1),V1,V2) | (549) |
a__U44#(tt,V1,V2) | → | a__isNatural#(V1) | (548) |
a__U255#(tt,V2) | → | a__isLNat#(V2) | (543) |
a__isLNat#(afterNth(V1,V2)) | → | a__U41#(a__isNaturalKind(V1),V1,V2) | (526) |
a__U42#(tt,V1,V2) | → | a__U43#(a__isLNatKind(V2),V1,V2) | (516) |
a__isLNat#(fst(V1)) | → | a__U61#(a__isPLNatKind(V1),V1) | (517) |
a__U202#(tt,V1,V2) | → | a__U203#(a__isLNatKind(V2),V1,V2) | (511) |
a__U91#(tt,V1) | → | a__U92#(a__isLNatKind(V1),V1) | (482) |
a__isPLNat#(pair(V1,V2)) | → | a__U241#(a__isLNatKind(V1),V1,V2) | (484) |
a__U254#(tt,V1,V2) | → | a__isNatural#(V1) | (474) |
a__U54#(tt,V1,V2) | → | a__U55#(a__isNatural(V1),V2) | (476) |
a__U61#(tt,V1) | → | a__U62#(a__isPLNatKind(V1),V1) | (451) |
a__U104#(tt,V1,V2) | → | a__isNatural#(V1) | (436) |
a__U41#(tt,V1,V2) | → | a__U42#(a__isNaturalKind(V1),V1,V2) | (415) |
[U291(x1, x2, x3)] | = | 14 |
[a__U193#(x1)] | = | 0 |
[a__U83(x1)] | = | 14 |
[U231(x1, x2)] | = | 0 |
[U301(x1, x2, x3)] | = | 0 |
[a__U293(x1, x2, x3)] | = | x1 + x2 + 4 |
[a__U241(x1, x2, x3)] | = | 6 |
[U204(x1, x2, x3)] | = | x1 + 0 |
[a__U324(x1,...,x4)] | = | x1 + 35 |
[a__U302(x1, x2)] | = | 12 |
[a__isNaturalKind#(x1)] | = | 0 |
[a__U325(x1,...,x4)] | = | x3 + x4 + 54 |
[a__U151(x1)] | = | 15 |
[a__U292(x1, x2, x3)] | = | x3 + 14 |
[a__U73#(x1)] | = | 0 |
[a__U131#(x1)] | = | 0 |
[a__U63(x1)] | = | 14 |
[U21(x1, x2, x3)] | = | x1 + 0 |
[U261(x1, x2)] | = | 0 |
[a__U102(x1, x2, x3)] | = | x1 + x2 + 23 |
[U254(x1, x2, x3)] | = | x1 + x2 + 0 |
[U333(x1, x2)] | = | x1 + 2 |
[a__U82#(x1, x2)] | = | x2 + 1 |
[a__U332(x1, x2)] | = | 0 |
[a__U45(x1, x2)] | = | 16 |
[U193(x1)] | = | x1 + 1 |
[a__U72#(x1, x2)] | = | x2 + 13 |
[a__U242#(x1, x2, x3)] | = | x2 + x3 + 17 |
[a__U246(x1)] | = | x1 + 11 |
[U161(x1)] | = | 5 |
[a__U321#(x1,...,x4)] | = | 1 |
[a__U71#(x1, x2)] | = | x2 + 14 |
[a__U232(x1)] | = | 27 |
[U182(x1, x2)] | = | x1 + x2 + 16 |
[a__U291#(x1, x2, x3)] | = | 2 |
[U11(x1, x2, x3)] | = | x1 + 7 |
[a__U171(x1, x2)] | = | 16 |
[a__U92#(x1, x2)] | = | x2 + 14 |
[a__U104(x1, x2, x3)] | = | x2 + x3 + 52 |
[a__U294(x1, x2, x3)] | = | x3 + 23 |
[a__U182(x1, x2)] | = | 15 |
[a__U191(x1, x2)] | = | 10 |
[a__U281(x1, x2)] | = | 4 |
[U243(x1, x2, x3)] | = | 0 |
[a__U245(x1, x2)] | = | 21 |
[a__U112#(x1)] | = | 0 |
[s(x1)] | = | x1 + 8 |
[U105(x1, x2)] | = | 0 |
[U303(x1, x2)] | = | 12573 |
[a__U292#(x1, x2, x3)] | = | 2 |
[a__U24(x1, x2)] | = | x2 + 1 |
[a__U341#(x1, x2, x3)] | = | 2 |
[a__U31#(x1, x2, x3)] | = | 2 |
[a__U243(x1, x2, x3)] | = | x1 + x3 + 1 |
[a__U33#(x1, x2, x3)] | = | 0 |
[a__U93#(x1)] | = | 0 |
[a__head#(x1)] | = | 2 |
[U192(x1, x2)] | = | 8 |
[a__U253#(x1, x2, x3)] | = | x2 + x3 + 16 |
[U24(x1, x2)] | = | 5128 |
[a__U33(x1, x2, x3)] | = | x3 + 51 |
[U106(x1)] | = | 44 |
[a__U24#(x1, x2)] | = | 2 |
[a__natsFrom#(x1)] | = | 2 |
[isPLNatKind(x1)] | = | 0 |
[a__U252#(x1, x2, x3)] | = | x2 + x3 + 17 |
[a__U256#(x1)] | = | 0 |
[a__U244(x1, x2, x3)] | = | 20 |
[a__U343(x1, x2, x3)] | = | x1 + x2 + x3 + 9 |
[U242(x1, x2, x3)] | = | 0 |
[a__U303#(x1, x2)] | = | 2 |
[U262(x1)] | = | 0 |
[U244(x1, x2, x3)] | = | x1 + x2 + 0 |
[U272(x1)] | = | 0 |
[U56(x1)] | = | x1 + 18 |
[a__U191#(x1, x2)] | = | x2 + 14 |
[a__U272#(x1)] | = | 0 |
[a__U23#(x1, x2, x3)] | = | 2 |
[a__U55(x1, x2)] | = | x2 + 16 |
[isPLNat(x1)] | = | 0 |
[a__snd#(x1)] | = | 0 |
[a__U331(x1, x2, x3)] | = | x1 + x3 + 3324 |
[a__U312#(x1, x2)] | = | 2 |
[a__afterNth(x1, x2)] | = | x1 + x2 + 5 |
[U42(x1, x2, x3)] | = | 0 |
[U91(x1, x2)] | = | x1 + 0 |
[U221(x1)] | = | x1 + 14 |
[U293(x1, x2, x3)] | = | x2 + x3 + 0 |
[a__U73(x1)] | = | x1 + 41 |
[a__U106#(x1)] | = | 0 |
[U325(x1,...,x4)] | = | x1 + 0 |
[a__U82(x1, x2)] | = | x2 + 13 |
[a__U182#(x1, x2)] | = | x2 + 14 |
[take(x1, x2)] | = | x1 + x2 + 6 |
[a__U14#(x1, x2, x3)] | = | 2 |
[U71(x1, x2)] | = | 0 |
[a__U62(x1, x2)] | = | 13 |
[a__U44(x1, x2, x3)] | = | x3 + 15 |
[U131(x1)] | = | 0 |
[U206(x1)] | = | 0 |
[a__U221(x1)] | = | 13 |
[U101(x1, x2, x3)] | = | x1 + x3 + 0 |
[a__U43#(x1, x2, x3)] | = | x2 + x3 + 16 |
[a__U334#(x1, x2)] | = | 2 |
[pair(x1, x2)] | = | x1 + x2 + 43 |
[U255(x1, x2)] | = | 38 |
[a__U326#(x1,...,x4)] | = | 0 |
[a__U261(x1, x2)] | = | 18 |
[fst(x1)] | = | x1 + 7 |
[U111(x1, x2)] | = | x1 + 0 |
[U43(x1, x2, x3)] | = | x1 + x2 + 15 |
[a__U13#(x1, x2, x3)] | = | 1 |
[a__U121(x1, x2)] | = | 16 |
[a__U262(x1)] | = | 18 |
[a__U246#(x1)] | = | 0 |
[a__U44#(x1, x2, x3)] | = | x2 + x3 + 15 |
[a__U204#(x1, x2, x3)] | = | x2 + x3 + 15 |
[U103(x1, x2, x3)] | = | x3 + 0 |
[a__U111(x1, x2)] | = | x2 + 16 |
[a__U272(x1)] | = | 18 |
[natsFrom(x1)] | = | x1 + 2 |
[U281(x1, x2)] | = | 0 |
[a__U103#(x1, x2, x3)] | = | x2 + x3 + 16 |
[a__U301#(x1, x2, x3)] | = | 2 |
[U44(x1, x2, x3)] | = | x1 + x2 + 0 |
[U55(x1, x2)] | = | x1 + 0 |
[a__U46#(x1)] | = | 0 |
[a__snd(x1)] | = | 10 |
[a__U252(x1, x2, x3)] | = | x1 + x2 + 17 |
[U253(x1, x2, x3)] | = | x1 + 37 |
[U312(x1, x2)] | = | 0 |
[a__U206#(x1)] | = | 0 |
[a__U181#(x1, x2)] | = | x2 + 15 |
[a__U193(x1)] | = | 0 |
[a__U271(x1, x2)] | = | 18 |
[a__U51#(x1, x2, x3)] | = | x2 + x3 + 18 |
[U341(x1, x2, x3)] | = | x1 + 22910 |
[a__U254(x1, x2, x3)] | = | 37 |
[U23(x1, x2, x3)] | = | x1 + 0 |
[U292(x1, x2, x3)] | = | 0 |
[U342(x1, x2, x3)] | = | 0 |
[a__U172(x1)] | = | 17 |
[U63(x1)] | = | x1 + 0 |
[a__U56#(x1)] | = | 0 |
[a__U344#(x1, x2, x3)] | = | 2 |
[a__U22(x1, x2, x3)] | = | x1 + x2 + 16912 |
[U172(x1)] | = | x1 + 0 |
[U93(x1)] | = | 0 |
[splitAt(x1, x2)] | = | x1 + x2 + 19 |
[isNaturalKind(x1)] | = | 5 |
[U326(x1,...,x4)] | = | 0 |
[a__U323#(x1,...,x4)] | = | 0 |
[a__U106(x1)] | = | x1 + 43 |
[U72(x1, x2)] | = | x1 + 0 |
[a__U11#(x1, x2, x3)] | = | 1 |
[a__U291(x1, x2, x3)] | = | x2 + x3 + 13 |
[U241(x1, x2, x3)] | = | x3 + 0 |
[U34(x1, x2)] | = | x1 + 0 |
[a__U192(x1, x2)] | = | x1 + x2 + 7 |
[a__U31(x1, x2, x3)] | = | x1 + x2 + x3 + 17 |
[a__U51(x1, x2, x3)] | = | 12 |
[a__U253(x1, x2, x3)] | = | x3 + 36 |
[a__U81(x1, x2)] | = | x2 + 12 |
[a__U53#(x1, x2, x3)] | = | x2 + x3 + 16 |
[a__U205#(x1, x2)] | = | x2 + 14 |
[a__take#(x1, x2)] | = | 2 |
[a__U172#(x1)] | = | 0 |
[a__U255#(x1, x2)] | = | x2 + 14 |
[U12(x1, x2, x3)] | = | 0 |
[a__U43(x1, x2, x3)] | = | 14 |
[U271(x1, x2)] | = | 0 |
[a__U231(x1, x2)] | = | x1 + x2 + 8 |
[a__U232#(x1)] | = | 0 |
[a__isLNatKind#(x1)] | = | 0 |
[a__U62#(x1, x2)] | = | x1 + x2 + 0 |
[a__U321(x1,...,x4)] | = | 5 |
[a__U206(x1)] | = | x1 + 12 |
[isNatural(x1)] | = | 6535 |
[U302(x1, x2)] | = | x1 + 0 |
[U54(x1, x2, x3)] | = | x1 + 0 |
[a__U42#(x1, x2, x3)] | = | x2 + x3 + 17 |
[a__U183#(x1)] | = | 0 |
[a__U41(x1, x2, x3)] | = | x2 + x3 + 12 |
[U232(x1)] | = | x1 + 28 |
[a__U262#(x1)] | = | 0 |
[a__U122#(x1)] | = | 0 |
[a__U12#(x1, x2, x3)] | = | 0 |
[U205(x1, x2)] | = | x1 + 0 |
[a__U205(x1, x2)] | = | x2 + 22 |
[U201(x1, x2, x3)] | = | 10 |
[U104(x1, x2, x3)] | = | 0 |
[a__U122(x1)] | = | 17 |
[a__U14(x1, x2, x3)] | = | x2 + 9 |
[a__U81#(x1, x2)] | = | x2 + 2 |
[a__U21#(x1, x2, x3)] | = | 2 |
[a__U161(x1)] | = | x1 + 4 |
[a__U61#(x1, x2)] | = | x1 + x2 + 1 |
[a__U333#(x1, x2)] | = | 2 |
[a__U34(x1, x2)] | = | x1 + x2 + 43 |
[U252(x1, x2, x3)] | = | x1 + x3 + 18 |
[a__U261#(x1, x2)] | = | 0 |
[U141(x1)] | = | 18 |
[a__fst(x1)] | = | 6 |
[tail(x1)] | = | x1 + 3 |
[a__natsFrom(x1)] | = | x1 + 3 |
[a__U302#(x1, x2)] | = | 2 |
[U83(x1)] | = | 0 |
[a__U294#(x1, x2, x3)] | = | 2 |
[mark#(x1)] | = | 2 |
[a__U204(x1, x2, x3)] | = | x1 + x2 + x3 + 3 |
[0] | = | 11 |
[a__U211#(x1)] | = | 0 |
[U294(x1, x2, x3)] | = | 4 |
[a__U244#(x1, x2, x3)] | = | x2 + x3 + 15 |
[a__isLNat(x1)] | = | 11 |
[U191(x1, x2)] | = | x1 + 11 |
[U343(x1, x2, x3)] | = | x1 + 0 |
[a__U251(x1, x2, x3)] | = | x1 + x2 + x3 + 2 |
[U73(x1)] | = | x1 + 42 |
[a__U282#(x1, x2)] | = | 2 |
[a__U21(x1, x2, x3)] | = | x1 + x3 + 1 |
[U332(x1, x2)] | = | 15220 |
[a__U311(x1, x2)] | = | x2 + 5 |
[U171(x1, x2)] | = | x1 + 17 |
[a__U32(x1, x2, x3)] | = | x1 + x2 + 32 |
[a__U91(x1, x2)] | = | x2 + 12 |
[a__U231#(x1, x2)] | = | 0 |
[sel(x1, x2)] | = | x1 + x2 + 7 |
[U202(x1, x2, x3)] | = | 11 |
[afterNth(x1, x2)] | = | x1 + x2 + 6 |
[a__U151#(x1)] | = | 0 |
[a__U111#(x1, x2)] | = | 0 |
[a__U161#(x1)] | = | 0 |
[a__U242(x1, x2, x3)] | = | x2 + x3 + 7 |
[a__U141#(x1)] | = | 0 |
[nil] | = | 0 |
[a__splitAt(x1, x2)] | = | 1 |
[isLNat(x1)] | = | 6 |
[U246(x1)] | = | 0 |
[a__U245#(x1, x2)] | = | x2 + 14 |
[U62(x1, x2)] | = | x1 + 0 |
[a__U52#(x1, x2, x3)] | = | x2 + x3 + 17 |
[a__U211(x1)] | = | 17 |
[a__U102#(x1, x2, x3)] | = | x2 + x3 + 17 |
[U304(x1, x2)] | = | x2 + 2 |
[U45(x1, x2)] | = | x2 + 17 |
[a__sel#(x1, x2)] | = | 2 |
[mark(x1)] | = | x1 + 4 |
[U151(x1)] | = | 16 |
[a__isLNat#(x1)] | = | x1 + 13 |
[a__U56(x1)] | = | 17 |
[a__U342#(x1, x2, x3)] | = | 2 |
[a__U72(x1, x2)] | = | x1 + 23 |
[U334(x1, x2)] | = | 4 |
[a__U101#(x1, x2, x3)] | = | x2 + x3 + 18 |
[a__U11(x1, x2, x3)] | = | x2 + x3 + 6 |
[U32(x1, x2, x3)] | = | x1 + 0 |
[a__U53(x1, x2, x3)] | = | x2 + x3 + 14 |
[a__U141(x1)] | = | 17 |
[a__U322(x1,...,x4)] | = | x1 + x3 + 2 |
[a__sel(x1, x2)] | = | 12 |
[a__U42(x1, x2, x3)] | = | x2 + x3 + 13 |
[a__U93(x1)] | = | 17 |
[U33(x1, x2, x3)] | = | x1 + x2 + 0 |
[a__U45#(x1, x2)] | = | x2 + 14 |
[a__U52(x1, x2, x3)] | = | x2 + 13 |
[a__U181(x1, x2)] | = | 14 |
[isLNatKind(x1)] | = | x1 + 2 |
[U14(x1, x2, x3)] | = | 0 |
[U211(x1)] | = | x1 + 0 |
[a__U243#(x1, x2, x3)] | = | x2 + x3 + 16 |
[a__U54#(x1, x2, x3)] | = | x2 + x3 + 15 |
[U203(x1, x2, x3)] | = | 0 |
[a__U105#(x1, x2)] | = | x2 + 14 |
[a__U202#(x1, x2, x3)] | = | x2 + x3 + 17 |
[a__U12(x1, x2, x3)] | = | x3 + 7 |
[U327(x1, x2)] | = | x1 + 57 |
[a__U104#(x1, x2, x3)] | = | x2 + x3 + 15 |
[a__U201#(x1, x2, x3)] | = | x2 + x3 + 18 |
[a__U63#(x1)] | = | 0 |
[a__isPLNat(x1)] | = | 5 |
[a__U327(x1, x2)] | = | 56 |
[U46(x1)] | = | 18 |
[a__U332#(x1, x2)] | = | 2 |
[a__U326(x1,...,x4)] | = | 55 |
[U251(x1, x2, x3)] | = | x1 + 0 |
[a__U322#(x1,...,x4)] | = | 1 |
[a__isLNatKind(x1)] | = | x1 + 9 |
[a__U121#(x1, x2)] | = | 0 |
[U52(x1, x2, x3)] | = | x1 + 14 |
[a__U254#(x1, x2, x3)] | = | x2 + x3 + 15 |
[a__U324#(x1,...,x4)] | = | 0 |
[a__U281#(x1, x2)] | = | 2 |
[a__U251#(x1, x2, x3)] | = | x2 + x3 + 18 |
[U61(x1, x2)] | = | 0 |
[a__U46(x1)] | = | 17 |
[a__U22#(x1, x2, x3)] | = | 2 |
[a__U13(x1, x2, x3)] | = | 8 |
[a__U304(x1, x2)] | = | x1 + x2 + 5 |
[U31(x1, x2, x3)] | = | x1 + 0 |
[a__U83#(x1)] | = | 0 |
[a__U171#(x1, x2)] | = | 0 |
[a__U71(x1, x2)] | = | x1 + x2 + 8 |
[U183(x1)] | = | x1 + 17 |
[U245(x1, x2)] | = | x1 + 0 |
[U92(x1, x2)] | = | 14 |
[a__isPLNat#(x1)] | = | x1 + 0 |
[a__U203#(x1, x2, x3)] | = | x2 + x3 + 16 |
[head(x1)] | = | x1 + 12 |
[a__afterNth#(x1, x2)] | = | 2 |
[U112(x1)] | = | x1 + 0 |
[a__U343#(x1, x2, x3)] | = | 1 |
[a__splitAt#(x1, x2)] | = | 1 |
[a__isPLNatKind#(x1)] | = | 0 |
[a__U192#(x1, x2)] | = | x2 + 13 |
[a__U255(x1, x2)] | = | x1 + 37 |
[cons(x1, x2)] | = | x1 + x2 + 6 |
[a__U344(x1, x2, x3)] | = | x2 + 5 |
[a__U92(x1, x2)] | = | x2 + 13 |
[U323(x1,...,x4)] | = | x1 + x2 + x4 + 21 |
[a__U61(x1, x2)] | = | x2 + 12 |
[U102(x1, x2, x3)] | = | x3 + 0 |
[a__U105(x1, x2)] | = | x2 + 53 |
[a__U334(x1, x2)] | = | x2 + 3 |
[snd(x1)] | = | x1 + 5 |
[a__take(x1, x2)] | = | 0 |
[U256(x1)] | = | x1 + 0 |
[a__U301(x1, x2, x3)] | = | x2 + x3 + 11 |
[U81(x1, x2)] | = | x1 + 13 |
[a__U41#(x1, x2, x3)] | = | x2 + x3 + 18 |
[U82(x1, x2)] | = | x1 + 14 |
[a__U304#(x1, x2)] | = | 2 |
[tt] | = | 18 |
[a__isNatural(x1)] | = | x1 + 1 |
[a__isNaturalKind(x1)] | = | x1 + 4 |
[a__U131(x1)] | = | 17 |
[a__isNatural#(x1)] | = | x1 + 12 |
[U13(x1, x2, x3)] | = | x1 + 0 |
[a__fst#(x1)] | = | 2 |
[a__U23(x1, x2, x3)] | = | x3 + 0 |
[a__U311#(x1, x2)] | = | 2 |
[a__U201(x1, x2, x3)] | = | 9 |
[a__U271#(x1, x2)] | = | 0 |
[a__U202(x1, x2, x3)] | = | x2 + x3 + 10 |
[U321(x1,...,x4)] | = | x1 + 0 |
[a__U282(x1, x2)] | = | x1 + x2 + 1 |
[a__U241#(x1, x2, x3)] | = | x2 + x3 + 18 |
[a__U183(x1)] | = | 16 |
[a__U333(x1, x2)] | = | 1 |
[U22(x1, x2, x3)] | = | x1 + 16911 |
[a__U293#(x1, x2, x3)] | = | 1 |
[U51(x1, x2, x3)] | = | x1 + x2 + 0 |
[U311(x1, x2)] | = | 0 |
[a__U325#(x1,...,x4)] | = | 0 |
[a__U34#(x1, x2)] | = | 0 |
[U322(x1,...,x4)] | = | x1 + x2 + 0 |
[U344(x1, x2, x3)] | = | x1 + 0 |
[a__U342(x1, x2, x3)] | = | x3 + 19 |
[a__tail(x1)] | = | 2 |
[a__U103(x1, x2, x3)] | = | x1 + 33 |
[a__U54(x1, x2, x3)] | = | x2 + 15 |
[a__isPLNatKind(x1)] | = | 18 |
[U53(x1, x2, x3)] | = | x1 + 15 |
[a__U303(x1, x2)] | = | x2 + 13 |
[a__U323(x1,...,x4)] | = | x1 + x3 + 20 |
[a__U55#(x1, x2)] | = | x2 + 14 |
[a__U112(x1)] | = | 17 |
[a__U331#(x1, x2, x3)] | = | 2 |
[U41(x1, x2, x3)] | = | 0 |
[a__tail#(x1)] | = | 2 |
[a__U203(x1, x2, x3)] | = | x2 + 11 |
[a__U32#(x1, x2, x3)] | = | 0 |
[a__U221#(x1)] | = | 0 |
[a__U101(x1, x2, x3)] | = | x1 + x2 + 8 |
[a__U91#(x1, x2)] | = | x2 + 15 |
[a__U341(x1, x2, x3)] | = | x1 + 0 |
[U282(x1, x2)] | = | 0 |
[a__U256(x1)] | = | x1 + 45 |
[U121(x1, x2)] | = | 0 |
[a__head(x1)] | = | x1 + 11 |
[U181(x1, x2)] | = | x1 + 0 |
[U324(x1,...,x4)] | = | x1 + 36 |
[U331(x1, x2, x3)] | = | x1 + x2 + x3 + 3325 |
[U122(x1)] | = | 18 |
[a__U312(x1, x2)] | = | 6 |
[a__U327#(x1, x2)] | = | 2 |
a__isPLNatKind(pair(V1,V2)) | → | a__U261(a__isLNatKind(V1),V2) | (141) |
a__U262(tt) | → | tt | (54) |
a__U272(X) | → | U272(X) | (343) |
a__isPLNatKind(splitAt(V1,V2)) | → | a__U271(a__isNaturalKind(V1),V2) | (142) |
a__U272(tt) | → | tt | (56) |
a__U262(X) | → | U262(X) | (341) |
a__isPLNatKind(X) | → | isPLNatKind(X) | (393) |
a__U271(tt,V2) | → | a__U272(a__isLNatKind(V2)) | (55) |
a__U271(X1,X2) | → | U271(X1,X2) | (342) |
a__U261(tt,V2) | → | a__U262(a__isLNatKind(V2)) | (53) |
a__U261(X1,X2) | → | U261(X1,X2) | (340) |
a__U191#(tt,V1) | → | a__U192#(a__isNaturalKind(V1),V1) | (903) |
a__U105#(tt,V2) | → | a__isLNat#(V2) | (896) |
a__U44#(tt,V1,V2) | → | a__U45#(a__isNatural(V1),V2) | (898) |
a__U244#(tt,V1,V2) | → | a__U245#(a__isLNat(V1),V2) | (894) |
a__U51#(tt,V1,V2) | → | a__U52#(a__isNaturalKind(V1),V1,V2) | (870) |
a__U103#(tt,V1,V2) | → | a__U104#(a__isLNatKind(V2),V1,V2) | (848) |
a__U251#(tt,V1,V2) | → | a__U252#(a__isNaturalKind(V1),V1,V2) | (843) |
a__U102#(tt,V1,V2) | → | a__U103#(a__isLNatKind(V2),V1,V2) | (836) |
a__U204#(tt,V1,V2) | → | a__isNatural#(V1) | (833) |
a__U55#(tt,V2) | → | a__isLNat#(V2) | (830) |
a__isPLNat#(splitAt(V1,V2)) | → | a__U251#(a__isNaturalKind(V1),V1,V2) | (805) |
a__U253#(tt,V1,V2) | → | a__U254#(a__isLNatKind(V2),V1,V2) | (803) |
a__isNatural#(s(V1)) | → | a__U191#(a__isNaturalKind(V1),V1) | (804) |
a__U101#(tt,V1,V2) | → | a__U102#(a__isNaturalKind(V1),V1,V2) | (790) |
a__U92#(tt,V1) | → | a__isLNat#(V1) | (787) |
a__U241#(tt,V1,V2) | → | a__U242#(a__isLNatKind(V1),V1,V2) | (780) |
a__isLNat#(take(V1,V2)) | → | a__U101#(a__isNaturalKind(V1),V1,V2) | (750) |
a__U82#(tt,V1) | → | a__isPLNat#(V1) | (751) |
a__U43#(tt,V1,V2) | → | a__U44#(a__isLNatKind(V2),V1,V2) | (749) |
a__isLNat#(tail(V1)) | → | a__U91#(a__isLNatKind(V1),V1) | (737) |
a__U62#(tt,V1) | → | a__isPLNat#(V1) | (740) |
a__U72#(tt,V1) | → | a__isNatural#(V1) | (735) |
a__U204#(tt,V1,V2) | → | a__U205#(a__isNatural(V1),V2) | (727) |
a__U242#(tt,V1,V2) | → | a__U243#(a__isLNatKind(V2),V1,V2) | (716) |
a__isLNat#(snd(V1)) | → | a__U81#(a__isPLNatKind(V1),V1) | (712) |
a__U45#(tt,V2) | → | a__isLNat#(V2) | (704) |
a__isNatural#(sel(V1,V2)) | → | a__U201#(a__isNaturalKind(V1),V1,V2) | (696) |
a__U243#(tt,V1,V2) | → | a__U244#(a__isLNatKind(V2),V1,V2) | (698) |
a__U181#(tt,V1) | → | a__U182#(a__isLNatKind(V1),V1) | (694) |
a__U81#(tt,V1) | → | a__U82#(a__isPLNatKind(V1),V1) | (681) |
a__U203#(tt,V1,V2) | → | a__U204#(a__isLNatKind(V2),V1,V2) | (667) |
a__isNatural#(head(V1)) | → | a__U181#(a__isLNatKind(V1),V1) | (661) |
a__U182#(tt,V1) | → | a__isLNat#(V1) | (656) |
a__U71#(tt,V1) | → | a__U72#(a__isNaturalKind(V1),V1) | (641) |
a__U54#(tt,V1,V2) | → | a__isNatural#(V1) | (640) |
a__U192#(tt,V1) | → | a__isNatural#(V1) | (634) |
a__U52#(tt,V1,V2) | → | a__U53#(a__isLNatKind(V2),V1,V2) | (632) |
a__U254#(tt,V1,V2) | → | a__U255#(a__isNatural(V1),V2) | (616) |
a__isLNat#(cons(V1,V2)) | → | a__U51#(a__isNaturalKind(V1),V1,V2) | (600) |
a__U245#(tt,V2) | → | a__isLNat#(V2) | (601) |
a__U244#(tt,V1,V2) | → | a__isLNat#(V1) | (590) |
a__isLNat#(natsFrom(V1)) | → | a__U71#(a__isNaturalKind(V1),V1) | (584) |
a__U252#(tt,V1,V2) | → | a__U253#(a__isLNatKind(V2),V1,V2) | (569) |
a__U205#(tt,V2) | → | a__isLNat#(V2) | (558) |
a__U104#(tt,V1,V2) | → | a__U105#(a__isNatural(V1),V2) | (556) |
a__U53#(tt,V1,V2) | → | a__U54#(a__isLNatKind(V2),V1,V2) | (555) |
a__U201#(tt,V1,V2) | → | a__U202#(a__isNaturalKind(V1),V1,V2) | (549) |
a__U44#(tt,V1,V2) | → | a__isNatural#(V1) | (548) |
a__U255#(tt,V2) | → | a__isLNat#(V2) | (543) |
a__isLNat#(afterNth(V1,V2)) | → | a__U41#(a__isNaturalKind(V1),V1,V2) | (526) |
a__U42#(tt,V1,V2) | → | a__U43#(a__isLNatKind(V2),V1,V2) | (516) |
a__isLNat#(fst(V1)) | → | a__U61#(a__isPLNatKind(V1),V1) | (517) |
a__U202#(tt,V1,V2) | → | a__U203#(a__isLNatKind(V2),V1,V2) | (511) |
a__U91#(tt,V1) | → | a__U92#(a__isLNatKind(V1),V1) | (482) |
a__isPLNat#(pair(V1,V2)) | → | a__U241#(a__isLNatKind(V1),V1,V2) | (484) |
a__U254#(tt,V1,V2) | → | a__isNatural#(V1) | (474) |
a__U54#(tt,V1,V2) | → | a__U55#(a__isNatural(V1),V2) | (476) |
a__U61#(tt,V1) | → | a__U62#(a__isPLNatKind(V1),V1) | (451) |
a__U104#(tt,V1,V2) | → | a__isNatural#(V1) | (436) |
a__U41#(tt,V1,V2) | → | a__U42#(a__isNaturalKind(V1),V1,V2) | (415) |
The dependency pairs are split into 0 components.
a__isLNatKind#(cons(V1,V2)) | → | a__U121#(a__isNaturalKind(V1),V2) | (904) |
a__isPLNatKind#(pair(V1,V2)) | → | a__isLNatKind#(V1) | (886) |
a__isLNatKind#(afterNth(V1,V2)) | → | a__U111#(a__isNaturalKind(V1),V2) | (847) |
a__U261#(tt,V2) | → | a__isLNatKind#(V2) | (800) |
a__isNaturalKind#(s(V1)) | → | a__isNaturalKind#(V1) | (773) |
a__isPLNatKind#(splitAt(V1,V2)) | → | a__isNaturalKind#(V1) | (759) |
a__isNaturalKind#(head(V1)) | → | a__isLNatKind#(V1) | (730) |
a__isLNatKind#(take(V1,V2)) | → | a__U171#(a__isNaturalKind(V1),V2) | (726) |
a__isLNatKind#(natsFrom(V1)) | → | a__isNaturalKind#(V1) | (718) |
a__isPLNatKind#(pair(V1,V2)) | → | a__U261#(a__isLNatKind(V1),V2) | (710) |
a__isLNatKind#(cons(V1,V2)) | → | a__isNaturalKind#(V1) | (669) |
a__isPLNatKind#(splitAt(V1,V2)) | → | a__U271#(a__isNaturalKind(V1),V2) | (654) |
a__U271#(tt,V2) | → | a__isLNatKind#(V2) | (651) |
a__U231#(tt,V2) | → | a__isLNatKind#(V2) | (628) |
a__isNaturalKind#(sel(V1,V2)) | → | a__isNaturalKind#(V1) | (559) |
a__U111#(tt,V2) | → | a__isLNatKind#(V2) | (552) |
a__isLNatKind#(snd(V1)) | → | a__isPLNatKind#(V1) | (525) |
a__U171#(tt,V2) | → | a__isLNatKind#(V2) | (510) |
a__U121#(tt,V2) | → | a__isLNatKind#(V2) | (512) |
a__isLNatKind#(afterNth(V1,V2)) | → | a__isNaturalKind#(V1) | (508) |
a__isLNatKind#(tail(V1)) | → | a__isLNatKind#(V1) | (491) |
a__isLNatKind#(fst(V1)) | → | a__isPLNatKind#(V1) | (465) |
a__isNaturalKind#(sel(V1,V2)) | → | a__U231#(a__isNaturalKind(V1),V2) | (450) |
a__isLNatKind#(take(V1,V2)) | → | a__isNaturalKind#(V1) | (443) |
[U291(x1, x2, x3)] | = | 18 |
[a__U193#(x1)] | = | 0 |
[a__U83(x1)] | = | 21 |
[U231(x1, x2)] | = | 0 |
[U301(x1, x2, x3)] | = | 0 |
[a__U293(x1, x2, x3)] | = | x1 + x2 + 1 |
[a__U241(x1, x2, x3)] | = | 11 |
[U204(x1, x2, x3)] | = | x1 + 0 |
[a__U324(x1,...,x4)] | = | x1 + 30 |
[a__U302(x1, x2)] | = | 17 |
[a__isNaturalKind#(x1)] | = | x1 + 3 |
[a__U325(x1,...,x4)] | = | x3 + x4 + 56 |
[a__U151(x1)] | = | 16 |
[a__U292(x1, x2, x3)] | = | x3 + 18 |
[a__U73#(x1)] | = | 0 |
[a__U131#(x1)] | = | 0 |
[a__U63(x1)] | = | 24 |
[U21(x1, x2, x3)] | = | x1 + 0 |
[U261(x1, x2)] | = | 0 |
[a__U102(x1, x2, x3)] | = | x1 + x2 + 5 |
[U254(x1, x2, x3)] | = | x1 + x2 + 0 |
[U333(x1, x2)] | = | x1 + 2 |
[a__U82#(x1, x2)] | = | 1 |
[a__U332(x1, x2)] | = | 0 |
[a__U45(x1, x2)] | = | 23 |
[U193(x1)] | = | x1 + 1 |
[a__U72#(x1, x2)] | = | 13 |
[a__U242#(x1, x2, x3)] | = | 17 |
[a__U246(x1)] | = | x1 + 12 |
[U161(x1)] | = | 3249 |
[a__U321#(x1,...,x4)] | = | 1 |
[a__U71#(x1, x2)] | = | 14 |
[a__U232(x1)] | = | 29 |
[U182(x1, x2)] | = | x1 + x2 + 12 |
[a__U291#(x1, x2, x3)] | = | 2 |
[U11(x1, x2, x3)] | = | x1 + 21269 |
[a__U171(x1, x2)] | = | 16 |
[a__U92#(x1, x2)] | = | 14 |
[a__U104(x1, x2, x3)] | = | x2 + x3 + 46 |
[a__U294(x1, x2, x3)] | = | x3 + 27 |
[a__U182(x1, x2)] | = | 11 |
[a__U191(x1, x2)] | = | 6 |
[a__U281(x1, x2)] | = | 9 |
[U243(x1, x2, x3)] | = | 0 |
[a__U245(x1, x2)] | = | 29 |
[a__U112#(x1)] | = | 0 |
[s(x1)] | = | x1 + 1 |
[U105(x1, x2)] | = | 0 |
[U303(x1, x2)] | = | 12573 |
[a__U292#(x1, x2, x3)] | = | 2 |
[a__U24(x1, x2)] | = | x2 + 1 |
[a__U341#(x1, x2, x3)] | = | 2 |
[a__U31#(x1, x2, x3)] | = | 2 |
[a__U243(x1, x2, x3)] | = | x1 + x3 + 2 |
[a__U33#(x1, x2, x3)] | = | 0 |
[a__U93#(x1)] | = | 0 |
[a__head#(x1)] | = | 2 |
[U192(x1, x2)] | = | 28540 |
[a__U253#(x1, x2, x3)] | = | 16 |
[U24(x1, x2)] | = | 5128 |
[a__U33(x1, x2, x3)] | = | x3 + 37 |
[U106(x1)] | = | 31 |
[a__U24#(x1, x2)] | = | 2 |
[a__natsFrom#(x1)] | = | 2 |
[isPLNatKind(x1)] | = | 0 |
[a__U252#(x1, x2, x3)] | = | 17 |
[a__U256#(x1)] | = | 0 |
[a__U244(x1, x2, x3)] | = | 28 |
[a__U343(x1, x2, x3)] | = | x1 + x2 + x3 + 9 |
[U242(x1, x2, x3)] | = | 0 |
[a__U303#(x1, x2)] | = | 2 |
[U262(x1)] | = | 0 |
[U244(x1, x2, x3)] | = | x1 + x2 + 0 |
[U272(x1)] | = | 0 |
[U56(x1)] | = | x1 + 25 |
[a__U191#(x1, x2)] | = | 14 |
[a__U272#(x1)] | = | 0 |
[a__U23#(x1, x2, x3)] | = | 2 |
[a__U55(x1, x2)] | = | x2 + 23 |
[isPLNat(x1)] | = | 0 |
[a__snd#(x1)] | = | 0 |
[a__U331(x1, x2, x3)] | = | x1 + x3 + 7932 |
[a__U312#(x1, x2)] | = | 2 |
[a__afterNth(x1, x2)] | = | x1 + x2 + 10 |
[U42(x1, x2, x3)] | = | 0 |
[U91(x1, x2)] | = | x1 + 0 |
[U221(x1)] | = | x1 + 905 |
[U293(x1, x2, x3)] | = | x2 + x3 + 0 |
[a__U73(x1)] | = | x1 + 27 |
[a__U106#(x1)] | = | 0 |
[U325(x1,...,x4)] | = | x1 + 0 |
[a__U82(x1, x2)] | = | x2 + 20 |
[a__U182#(x1, x2)] | = | 14 |
[take(x1, x2)] | = | x1 + x2 + 4 |
[a__U14#(x1, x2, x3)] | = | 2 |
[U71(x1, x2)] | = | 0 |
[a__U62(x1, x2)] | = | 23 |
[a__U44(x1, x2, x3)] | = | x3 + 22 |
[U131(x1)] | = | 0 |
[U206(x1)] | = | 0 |
[a__U221(x1)] | = | 24 |
[U101(x1, x2, x3)] | = | x1 + x3 + 0 |
[a__U43#(x1, x2, x3)] | = | 16 |
[a__U334#(x1, x2)] | = | 2 |
[pair(x1, x2)] | = | x1 + x2 + 31 |
[U255(x1, x2)] | = | 30 |
[a__U326#(x1,...,x4)] | = | 0 |
[a__U261(x1, x2)] | = | 25 |
[fst(x1)] | = | x1 + 12 |
[U111(x1, x2)] | = | x1 + 0 |
[U43(x1, x2, x3)] | = | x1 + x2 + 22 |
[a__U13#(x1, x2, x3)] | = | 1 |
[a__U121(x1, x2)] | = | 22 |
[a__U262(x1)] | = | 25 |
[a__U246#(x1)] | = | 0 |
[a__U44#(x1, x2, x3)] | = | 15 |
[a__U204#(x1, x2, x3)] | = | 15 |
[U103(x1, x2, x3)] | = | x3 + 0 |
[a__U111(x1, x2)] | = | x2 + 23 |
[a__U272(x1)] | = | 25 |
[natsFrom(x1)] | = | x1 + 7 |
[U281(x1, x2)] | = | 0 |
[a__U103#(x1, x2, x3)] | = | 16 |
[a__U301#(x1, x2, x3)] | = | 2 |
[U44(x1, x2, x3)] | = | x1 + x2 + 0 |
[U55(x1, x2)] | = | x1 + 0 |
[a__U46#(x1)] | = | 0 |
[a__snd(x1)] | = | 15 |
[a__U252(x1, x2, x3)] | = | x1 + x2 + 5 |
[U253(x1, x2, x3)] | = | x1 + 32 |
[U312(x1, x2)] | = | 0 |
[a__U206#(x1)] | = | 0 |
[a__U181#(x1, x2)] | = | 15 |
[a__U193(x1)] | = | 0 |
[a__U271(x1, x2)] | = | 25 |
[a__U51#(x1, x2, x3)] | = | 18 |
[U341(x1, x2, x3)] | = | x1 + 17251 |
[a__U254(x1, x2, x3)] | = | 32 |
[U23(x1, x2, x3)] | = | x1 + 0 |
[U292(x1, x2, x3)] | = | 0 |
[U342(x1, x2, x3)] | = | 0 |
[a__U172(x1)] | = | 17 |
[U63(x1)] | = | x1 + 0 |
[a__U56#(x1)] | = | 0 |
[a__U344#(x1, x2, x3)] | = | 2 |
[a__U22(x1, x2, x3)] | = | x1 + x2 + 16912 |
[U172(x1)] | = | x1 + 0 |
[U93(x1)] | = | 0 |
[splitAt(x1, x2)] | = | x1 + x2 + 10505 |
[isNaturalKind(x1)] | = | 23 |
[U326(x1,...,x4)] | = | 0 |
[a__U323#(x1,...,x4)] | = | 0 |
[a__U106(x1)] | = | x1 + 30 |
[U72(x1, x2)] | = | x1 + 0 |
[a__U11#(x1, x2, x3)] | = | 1 |
[a__U291(x1, x2, x3)] | = | x2 + x3 + 17 |
[U241(x1, x2, x3)] | = | x3 + 0 |
[U34(x1, x2)] | = | x1 + 0 |
[a__U192(x1, x2)] | = | x1 + x2 + 0 |
[a__U31(x1, x2, x3)] | = | x1 + x2 + x3 + 7 |
[a__U51(x1, x2, x3)] | = | 19 |
[a__U253(x1, x2, x3)] | = | x3 + 31 |
[a__U81(x1, x2)] | = | x2 + 19 |
[a__U53#(x1, x2, x3)] | = | 16 |
[a__U205#(x1, x2)] | = | 14 |
[a__take#(x1, x2)] | = | 2 |
[a__U172#(x1)] | = | 0 |
[a__U255#(x1, x2)] | = | 14 |
[U12(x1, x2, x3)] | = | 0 |
[a__U43(x1, x2, x3)] | = | 21 |
[U271(x1, x2)] | = | 0 |
[a__U231(x1, x2)] | = | x1 + x2 + 3 |
[a__U232#(x1)] | = | 0 |
[a__isLNatKind#(x1)] | = | x1 + 0 |
[a__U62#(x1, x2)] | = | x1 + 0 |
[a__U321(x1,...,x4)] | = | 10 |
[a__U206(x1)] | = | x1 + 10 |
[isNatural(x1)] | = | 6538 |
[U302(x1, x2)] | = | x1 + 0 |
[U54(x1, x2, x3)] | = | x1 + 0 |
[a__U42#(x1, x2, x3)] | = | 17 |
[a__U183#(x1)] | = | 0 |
[a__U41(x1, x2, x3)] | = | x2 + x3 + 19 |
[U232(x1)] | = | x1 + 30 |
[a__U262#(x1)] | = | 0 |
[a__U122#(x1)] | = | 0 |
[a__U12#(x1, x2, x3)] | = | 0 |
[U205(x1, x2)] | = | x1 + 0 |
[a__U205(x1, x2)] | = | x2 + 27 |
[U201(x1, x2, x3)] | = | 8 |
[U104(x1, x2, x3)] | = | 0 |
[a__U122(x1)] | = | 24 |
[a__U14(x1, x2, x3)] | = | x2 + 14 |
[a__U81#(x1, x2)] | = | 2 |
[a__U21#(x1, x2, x3)] | = | 2 |
[a__U161(x1)] | = | x1 + 3248 |
[a__U61#(x1, x2)] | = | x1 + 1 |
[a__U333#(x1, x2)] | = | 2 |
[a__U34(x1, x2)] | = | x1 + x2 + 27 |
[U252(x1, x2, x3)] | = | x1 + x3 + 6 |
[a__U261#(x1, x2)] | = | x2 + 1 |
[U141(x1)] | = | 21 |
[a__fst(x1)] | = | 11 |
[tail(x1)] | = | x1 + 3247 |
[a__natsFrom(x1)] | = | x1 + 8 |
[a__U302#(x1, x2)] | = | 2 |
[U83(x1)] | = | 0 |
[a__U294#(x1, x2, x3)] | = | 2 |
[mark#(x1)] | = | 2 |
[a__U204(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[0] | = | 1 |
[a__U211#(x1)] | = | 0 |
[U294(x1, x2, x3)] | = | 17 |
[a__U244#(x1, x2, x3)] | = | 15 |
[a__isLNat(x1)] | = | 18 |
[U191(x1, x2)] | = | x1 + 30962 |
[U343(x1, x2, x3)] | = | x1 + 0 |
[a__U251(x1, x2, x3)] | = | x1 + x2 + x3 + 1 |
[U73(x1)] | = | x1 + 28 |
[a__U282#(x1, x2)] | = | 2 |
[a__U21(x1, x2, x3)] | = | x1 + x3 + 1 |
[U332(x1, x2)] | = | 15220 |
[a__U311(x1, x2)] | = | x2 + 10 |
[U171(x1, x2)] | = | x1 + 17 |
[a__U32(x1, x2, x3)] | = | x1 + x2 + 11 |
[a__U91(x1, x2)] | = | x2 + 19 |
[a__U231#(x1, x2)] | = | x2 + 1 |
[sel(x1, x2)] | = | x1 + x2 + 2 |
[U202(x1, x2, x3)] | = | 9 |
[afterNth(x1, x2)] | = | x1 + x2 + 11 |
[a__U151#(x1)] | = | 0 |
[a__U111#(x1, x2)] | = | x2 + 1 |
[a__U161#(x1)] | = | 0 |
[a__U242(x1, x2, x3)] | = | x2 + x3 + 12 |
[a__U141#(x1)] | = | 0 |
[nil] | = | 0 |
[a__splitAt(x1, x2)] | = | 1 |
[isLNat(x1)] | = | 4 |
[U246(x1)] | = | 0 |
[a__U245#(x1, x2)] | = | 14 |
[U62(x1, x2)] | = | x1 + 0 |
[a__U52#(x1, x2, x3)] | = | 17 |
[a__U211(x1)] | = | 24 |
[a__U102#(x1, x2, x3)] | = | 17 |
[U304(x1, x2)] | = | x2 + 4 |
[U45(x1, x2)] | = | x2 + 24 |
[a__sel#(x1, x2)] | = | 2 |
[mark(x1)] | = | x1 + 9 |
[U151(x1)] | = | 17 |
[a__isLNat#(x1)] | = | 13 |
[a__U56(x1)] | = | 24 |
[a__U342#(x1, x2, x3)] | = | 2 |
[a__U72(x1, x2)] | = | x1 + 5 |
[U334(x1, x2)] | = | 12033 |
[a__U101#(x1, x2, x3)] | = | 18 |
[a__U11(x1, x2, x3)] | = | x2 + x3 + 11 |
[U32(x1, x2, x3)] | = | x1 + 0 |
[a__U53(x1, x2, x3)] | = | x2 + x3 + 21 |
[a__U141(x1)] | = | 20 |
[a__U322(x1,...,x4)] | = | x1 + x3 + 1 |
[a__sel(x1, x2)] | = | 12 |
[a__U42(x1, x2, x3)] | = | x2 + x3 + 20 |
[a__U93(x1)] | = | 24 |
[U33(x1, x2, x3)] | = | x1 + x2 + 0 |
[a__U45#(x1, x2)] | = | 14 |
[a__U52(x1, x2, x3)] | = | x2 + 20 |
[a__U181(x1, x2)] | = | 10 |
[isLNatKind(x1)] | = | x1 + 1 |
[U14(x1, x2, x3)] | = | 0 |
[U211(x1)] | = | x1 + 0 |
[a__U243#(x1, x2, x3)] | = | 16 |
[a__U54#(x1, x2, x3)] | = | 15 |
[U203(x1, x2, x3)] | = | 0 |
[a__U105#(x1, x2)] | = | 14 |
[a__U202#(x1, x2, x3)] | = | 17 |
[a__U12(x1, x2, x3)] | = | x3 + 12 |
[U327(x1, x2)] | = | x1 + 59 |
[a__U104#(x1, x2, x3)] | = | 15 |
[a__U201#(x1, x2, x3)] | = | 18 |
[a__U63#(x1)] | = | 0 |
[a__isPLNat(x1)] | = | 10 |
[a__U327(x1, x2)] | = | 58 |
[U46(x1)] | = | 25099 |
[a__U332#(x1, x2)] | = | 2 |
[a__U326(x1,...,x4)] | = | 57 |
[U251(x1, x2, x3)] | = | x1 + 0 |
[a__U322#(x1,...,x4)] | = | 1 |
[a__isLNatKind(x1)] | = | x1 + 11 |
[a__U121#(x1, x2)] | = | x2 + 1 |
[U52(x1, x2, x3)] | = | x1 + 21 |
[a__U254#(x1, x2, x3)] | = | 15 |
[a__U324#(x1,...,x4)] | = | 0 |
[a__U281#(x1, x2)] | = | 2 |
[a__U251#(x1, x2, x3)] | = | 18 |
[U61(x1, x2)] | = | 0 |
[a__U46(x1)] | = | 24 |
[a__U22#(x1, x2, x3)] | = | 2 |
[a__U13(x1, x2, x3)] | = | 13 |
[a__U304(x1, x2)] | = | x1 + x2 + 8 |
[U31(x1, x2, x3)] | = | x1 + 0 |
[a__U83#(x1)] | = | 0 |
[a__U171#(x1, x2)] | = | x2 + 3 |
[a__U71(x1, x2)] | = | x1 + x2 + 1 |
[U183(x1)] | = | x1 + 10203 |
[U245(x1, x2)] | = | x1 + 0 |
[U92(x1, x2)] | = | 14042 |
[a__isPLNat#(x1)] | = | 0 |
[a__U203#(x1, x2, x3)] | = | 16 |
[head(x1)] | = | x1 + 1 |
[a__afterNth#(x1, x2)] | = | 2 |
[U112(x1)] | = | x1 + 0 |
[a__U343#(x1, x2, x3)] | = | 1 |
[a__splitAt#(x1, x2)] | = | 1 |
[a__isPLNatKind#(x1)] | = | x1 + 3 |
[a__U192#(x1, x2)] | = | 13 |
[a__U255(x1, x2)] | = | x1 + 29 |
[cons(x1, x2)] | = | x1 + x2 + 10 |
[a__U344(x1, x2, x3)] | = | x2 + 10 |
[a__U92(x1, x2)] | = | x2 + 23 |
[U323(x1,...,x4)] | = | x1 + x2 + x4 + 24 |
[a__U61(x1, x2)] | = | x2 + 22 |
[U102(x1, x2, x3)] | = | x3 + 0 |
[a__U105(x1, x2)] | = | x2 + 47 |
[a__U334(x1, x2)] | = | x2 + 2 |
[snd(x1)] | = | x1 + 4 |
[a__take(x1, x2)] | = | 3 |
[U256(x1)] | = | x1 + 0 |
[a__U301(x1, x2, x3)] | = | x2 + x3 + 16 |
[U81(x1, x2)] | = | x1 + 20 |
[a__U41#(x1, x2, x3)] | = | 18 |
[U82(x1, x2)] | = | x1 + 21 |
[a__U304#(x1, x2)] | = | 2 |
[tt] | = | 25 |
[a__isNatural(x1)] | = | x1 + 4 |
[a__isNaturalKind(x1)] | = | x1 + 22 |
[a__U131(x1)] | = | 24 |
[a__isNatural#(x1)] | = | 12 |
[U13(x1, x2, x3)] | = | x1 + 0 |
[a__fst#(x1)] | = | 2 |
[a__U23(x1, x2, x3)] | = | x3 + 0 |
[a__U311#(x1, x2)] | = | 2 |
[a__U201(x1, x2, x3)] | = | 7 |
[a__U271#(x1, x2)] | = | x2 + 10507 |
[a__U202(x1, x2, x3)] | = | x2 + x3 + 8 |
[U321(x1,...,x4)] | = | x1 + 0 |
[a__U282(x1, x2)] | = | x1 + x2 + 1 |
[a__U241#(x1, x2, x3)] | = | 18 |
[a__U183(x1)] | = | 12 |
[a__U333(x1, x2)] | = | 1 |
[U22(x1, x2, x3)] | = | x1 + 4698 |
[a__U293#(x1, x2, x3)] | = | 1 |
[U51(x1, x2, x3)] | = | x1 + x2 + 0 |
[U311(x1, x2)] | = | 0 |
[a__U325#(x1,...,x4)] | = | 0 |
[a__U34#(x1, x2)] | = | 0 |
[U322(x1,...,x4)] | = | x1 + x2 + 0 |
[U344(x1, x2, x3)] | = | x1 + 0 |
[a__U342(x1, x2, x3)] | = | x3 + 26 |
[a__tail(x1)] | = | 3246 |
[a__U103(x1, x2, x3)] | = | x1 + 20 |
[a__U54(x1, x2, x3)] | = | x2 + 22 |
[a__isPLNatKind(x1)] | = | 25 |
[U53(x1, x2, x3)] | = | x1 + 7157 |
[a__U303(x1, x2)] | = | x2 + 18 |
[a__U323(x1,...,x4)] | = | x1 + x3 + 23 |
[a__U55#(x1, x2)] | = | 14 |
[a__U112(x1)] | = | 24 |
[a__U331#(x1, x2, x3)] | = | 2 |
[U41(x1, x2, x3)] | = | 0 |
[a__tail#(x1)] | = | 2 |
[a__U203(x1, x2, x3)] | = | x2 + 10 |
[a__U32#(x1, x2, x3)] | = | 0 |
[a__U221#(x1)] | = | 0 |
[a__U101(x1, x2, x3)] | = | x1 + x2 + 1 |
[a__U91#(x1, x2)] | = | 15 |
[a__U341(x1, x2, x3)] | = | x1 + 0 |
[U282(x1, x2)] | = | 0 |
[a__U256(x1)] | = | x1 + 37 |
[U121(x1, x2)] | = | 0 |
[a__head(x1)] | = | x1 + 0 |
[U181(x1, x2)] | = | x1 + 0 |
[U324(x1,...,x4)] | = | x1 + 2467 |
[U331(x1, x2, x3)] | = | x1 + x2 + x3 + 7933 |
[U122(x1)] | = | 24102 |
[a__U312(x1, x2)] | = | 39 |
[a__U327#(x1, x2)] | = | 2 |
a__isPLNatKind(pair(V1,V2)) | → | a__U261(a__isLNatKind(V1),V2) | (141) |
a__U262(tt) | → | tt | (54) |
a__U272(X) | → | U272(X) | (343) |
a__isPLNatKind(splitAt(V1,V2)) | → | a__U271(a__isNaturalKind(V1),V2) | (142) |
a__U272(tt) | → | tt | (56) |
a__U262(X) | → | U262(X) | (341) |
a__isPLNatKind(X) | → | isPLNatKind(X) | (393) |
a__U271(tt,V2) | → | a__U272(a__isLNatKind(V2)) | (55) |
a__U271(X1,X2) | → | U271(X1,X2) | (342) |
a__U261(tt,V2) | → | a__U262(a__isLNatKind(V2)) | (53) |
a__U261(X1,X2) | → | U261(X1,X2) | (340) |
a__isLNatKind#(cons(V1,V2)) | → | a__U121#(a__isNaturalKind(V1),V2) | (904) |
a__isPLNatKind#(pair(V1,V2)) | → | a__isLNatKind#(V1) | (886) |
a__isLNatKind#(afterNth(V1,V2)) | → | a__U111#(a__isNaturalKind(V1),V2) | (847) |
a__U261#(tt,V2) | → | a__isLNatKind#(V2) | (800) |
a__isNaturalKind#(s(V1)) | → | a__isNaturalKind#(V1) | (773) |
a__isPLNatKind#(splitAt(V1,V2)) | → | a__isNaturalKind#(V1) | (759) |
a__isNaturalKind#(head(V1)) | → | a__isLNatKind#(V1) | (730) |
a__isLNatKind#(take(V1,V2)) | → | a__U171#(a__isNaturalKind(V1),V2) | (726) |
a__isLNatKind#(natsFrom(V1)) | → | a__isNaturalKind#(V1) | (718) |
a__isPLNatKind#(pair(V1,V2)) | → | a__U261#(a__isLNatKind(V1),V2) | (710) |
a__isLNatKind#(cons(V1,V2)) | → | a__isNaturalKind#(V1) | (669) |
a__isPLNatKind#(splitAt(V1,V2)) | → | a__U271#(a__isNaturalKind(V1),V2) | (654) |
a__U271#(tt,V2) | → | a__isLNatKind#(V2) | (651) |
a__U231#(tt,V2) | → | a__isLNatKind#(V2) | (628) |
a__isNaturalKind#(sel(V1,V2)) | → | a__isNaturalKind#(V1) | (559) |
a__U111#(tt,V2) | → | a__isLNatKind#(V2) | (552) |
a__isLNatKind#(snd(V1)) | → | a__isPLNatKind#(V1) | (525) |
a__U171#(tt,V2) | → | a__isLNatKind#(V2) | (510) |
a__U121#(tt,V2) | → | a__isLNatKind#(V2) | (512) |
a__isLNatKind#(afterNth(V1,V2)) | → | a__isNaturalKind#(V1) | (508) |
a__isLNatKind#(tail(V1)) | → | a__isLNatKind#(V1) | (491) |
a__isLNatKind#(fst(V1)) | → | a__isPLNatKind#(V1) | (465) |
a__isNaturalKind#(sel(V1,V2)) | → | a__U231#(a__isNaturalKind(V1),V2) | (450) |
a__isLNatKind#(take(V1,V2)) | → | a__isNaturalKind#(V1) | (443) |
The dependency pairs are split into 0 components.