Input TRS:
    1: active(U11(tt(),N,XS)) -> mark(U12(tt(),N,XS))
    2: active(U12(tt(),N,XS)) -> mark(snd(splitAt(N,XS)))
    3: active(U21(tt(),X)) -> mark(U22(tt(),X))
    4: active(U22(tt(),X)) -> mark(X)
    5: active(U31(tt(),N)) -> mark(U32(tt(),N))
    6: active(U32(tt(),N)) -> mark(N)
    7: active(U41(tt(),N,XS)) -> mark(U42(tt(),N,XS))
    8: active(U42(tt(),N,XS)) -> mark(head(afterNth(N,XS)))
    9: active(U51(tt(),Y)) -> mark(U52(tt(),Y))
    10: active(U52(tt(),Y)) -> mark(Y)
    11: active(U61(tt(),N,X,XS)) -> mark(U62(tt(),N,X,XS))
    12: active(U62(tt(),N,X,XS)) -> mark(U63(tt(),N,X,XS))
    13: active(U63(tt(),N,X,XS)) -> mark(U64(splitAt(N,XS),X))
    14: active(U64(pair(YS,ZS),X)) -> mark(pair(cons(X,YS),ZS))
    15: active(U71(tt(),XS)) -> mark(U72(tt(),XS))
    16: active(U72(tt(),XS)) -> mark(XS)
    17: active(U81(tt(),N,XS)) -> mark(U82(tt(),N,XS))
    18: active(U82(tt(),N,XS)) -> mark(fst(splitAt(N,XS)))
    19: active(afterNth(N,XS)) -> mark(U11(tt(),N,XS))
    20: active(fst(pair(X,Y))) -> mark(U21(tt(),X))
    21: active(head(cons(N,XS))) -> mark(U31(tt(),N))
    22: active(natsFrom(N)) -> mark(cons(N,natsFrom(s(N))))
    23: active(sel(N,XS)) -> mark(U41(tt(),N,XS))
    24: active(snd(pair(X,Y))) -> mark(U51(tt(),Y))
    25: active(splitAt(0(),XS)) -> mark(pair(nil(),XS))
    26: active(splitAt(s(N),cons(X,XS))) -> mark(U61(tt(),N,X,XS))
    27: active(tail(cons(N,XS))) -> mark(U71(tt(),XS))
    28: active(take(N,XS)) -> mark(U81(tt(),N,XS))
    29: mark(U11(X1,X2,X3)) -> active(U11(mark(X1),X2,X3))
    30: mark(tt()) -> active(tt())
    31: mark(U12(X1,X2,X3)) -> active(U12(mark(X1),X2,X3))
    32: mark(snd(X)) -> active(snd(mark(X)))
    33: mark(splitAt(X1,X2)) -> active(splitAt(mark(X1),mark(X2)))
    34: mark(U21(X1,X2)) -> active(U21(mark(X1),X2))
    35: mark(U22(X1,X2)) -> active(U22(mark(X1),X2))
    36: mark(U31(X1,X2)) -> active(U31(mark(X1),X2))
    37: mark(U32(X1,X2)) -> active(U32(mark(X1),X2))
    38: mark(U41(X1,X2,X3)) -> active(U41(mark(X1),X2,X3))
    39: mark(U42(X1,X2,X3)) -> active(U42(mark(X1),X2,X3))
    40: mark(head(X)) -> active(head(mark(X)))
    41: mark(afterNth(X1,X2)) -> active(afterNth(mark(X1),mark(X2)))
    42: mark(U51(X1,X2)) -> active(U51(mark(X1),X2))
    43: mark(U52(X1,X2)) -> active(U52(mark(X1),X2))
    44: mark(U61(X1,X2,X3,X4)) -> active(U61(mark(X1),X2,X3,X4))
    45: mark(U62(X1,X2,X3,X4)) -> active(U62(mark(X1),X2,X3,X4))
    46: mark(U63(X1,X2,X3,X4)) -> active(U63(mark(X1),X2,X3,X4))
    47: mark(U64(X1,X2)) -> active(U64(mark(X1),X2))
    48: mark(pair(X1,X2)) -> active(pair(mark(X1),mark(X2)))
    49: mark(cons(X1,X2)) -> active(cons(mark(X1),X2))
    50: mark(U71(X1,X2)) -> active(U71(mark(X1),X2))
    51: mark(U72(X1,X2)) -> active(U72(mark(X1),X2))
    52: mark(U81(X1,X2,X3)) -> active(U81(mark(X1),X2,X3))
    53: mark(U82(X1,X2,X3)) -> active(U82(mark(X1),X2,X3))
    54: mark(fst(X)) -> active(fst(mark(X)))
    55: mark(natsFrom(X)) -> active(natsFrom(mark(X)))
    56: mark(s(X)) -> active(s(mark(X)))
    57: mark(sel(X1,X2)) -> active(sel(mark(X1),mark(X2)))
    58: mark(0()) -> active(0())
    59: mark(nil()) -> active(nil())
    60: mark(tail(X)) -> active(tail(mark(X)))
    61: mark(take(X1,X2)) -> active(take(mark(X1),mark(X2)))
    62: U11(mark(X1),X2,X3) -> U11(X1,X2,X3)
    63: U11(X1,mark(X2),X3) -> U11(X1,X2,X3)
    64: U11(X1,X2,mark(X3)) -> U11(X1,X2,X3)
    65: U11(active(X1),X2,X3) -> U11(X1,X2,X3)
    66: U11(X1,active(X2),X3) -> U11(X1,X2,X3)
    67: U11(X1,X2,active(X3)) -> U11(X1,X2,X3)
    68: U12(mark(X1),X2,X3) -> U12(X1,X2,X3)
    69: U12(X1,mark(X2),X3) -> U12(X1,X2,X3)
    70: U12(X1,X2,mark(X3)) -> U12(X1,X2,X3)
    71: U12(active(X1),X2,X3) -> U12(X1,X2,X3)
    72: U12(X1,active(X2),X3) -> U12(X1,X2,X3)
    73: U12(X1,X2,active(X3)) -> U12(X1,X2,X3)
    74: snd(mark(X)) -> snd(X)
    75: snd(active(X)) -> snd(X)
    76: splitAt(mark(X1),X2) -> splitAt(X1,X2)
    77: splitAt(X1,mark(X2)) -> splitAt(X1,X2)
    78: splitAt(active(X1),X2) -> splitAt(X1,X2)
    79: splitAt(X1,active(X2)) -> splitAt(X1,X2)
    80: U21(mark(X1),X2) -> U21(X1,X2)
    81: U21(X1,mark(X2)) -> U21(X1,X2)
    82: U21(active(X1),X2) -> U21(X1,X2)
    83: U21(X1,active(X2)) -> U21(X1,X2)
    84: U22(mark(X1),X2) -> U22(X1,X2)
    85: U22(X1,mark(X2)) -> U22(X1,X2)
    86: U22(active(X1),X2) -> U22(X1,X2)
    87: U22(X1,active(X2)) -> U22(X1,X2)
    88: U31(mark(X1),X2) -> U31(X1,X2)
    89: U31(X1,mark(X2)) -> U31(X1,X2)
    90: U31(active(X1),X2) -> U31(X1,X2)
    91: U31(X1,active(X2)) -> U31(X1,X2)
    92: U32(mark(X1),X2) -> U32(X1,X2)
    93: U32(X1,mark(X2)) -> U32(X1,X2)
    94: U32(active(X1),X2) -> U32(X1,X2)
    95: U32(X1,active(X2)) -> U32(X1,X2)
    96: U41(mark(X1),X2,X3) -> U41(X1,X2,X3)
    97: U41(X1,mark(X2),X3) -> U41(X1,X2,X3)
    98: U41(X1,X2,mark(X3)) -> U41(X1,X2,X3)
    99: U41(active(X1),X2,X3) -> U41(X1,X2,X3)
    100: U41(X1,active(X2),X3) -> U41(X1,X2,X3)
    101: U41(X1,X2,active(X3)) -> U41(X1,X2,X3)
    102: U42(mark(X1),X2,X3) -> U42(X1,X2,X3)
    103: U42(X1,mark(X2),X3) -> U42(X1,X2,X3)
    104: U42(X1,X2,mark(X3)) -> U42(X1,X2,X3)
    105: U42(active(X1),X2,X3) -> U42(X1,X2,X3)
    106: U42(X1,active(X2),X3) -> U42(X1,X2,X3)
    107: U42(X1,X2,active(X3)) -> U42(X1,X2,X3)
    108: head(mark(X)) -> head(X)
    109: head(active(X)) -> head(X)
    110: afterNth(mark(X1),X2) -> afterNth(X1,X2)
    111: afterNth(X1,mark(X2)) -> afterNth(X1,X2)
    112: afterNth(active(X1),X2) -> afterNth(X1,X2)
    113: afterNth(X1,active(X2)) -> afterNth(X1,X2)
    114: U51(mark(X1),X2) -> U51(X1,X2)
    115: U51(X1,mark(X2)) -> U51(X1,X2)
    116: U51(active(X1),X2) -> U51(X1,X2)
    117: U51(X1,active(X2)) -> U51(X1,X2)
    118: U52(mark(X1),X2) -> U52(X1,X2)
    119: U52(X1,mark(X2)) -> U52(X1,X2)
    120: U52(active(X1),X2) -> U52(X1,X2)
    121: U52(X1,active(X2)) -> U52(X1,X2)
    122: U61(mark(X1),X2,X3,X4) -> U61(X1,X2,X3,X4)
    123: U61(X1,mark(X2),X3,X4) -> U61(X1,X2,X3,X4)
    124: U61(X1,X2,mark(X3),X4) -> U61(X1,X2,X3,X4)
    125: U61(X1,X2,X3,mark(X4)) -> U61(X1,X2,X3,X4)
    126: U61(active(X1),X2,X3,X4) -> U61(X1,X2,X3,X4)
    127: U61(X1,active(X2),X3,X4) -> U61(X1,X2,X3,X4)
    128: U61(X1,X2,active(X3),X4) -> U61(X1,X2,X3,X4)
    129: U61(X1,X2,X3,active(X4)) -> U61(X1,X2,X3,X4)
    130: U62(mark(X1),X2,X3,X4) -> U62(X1,X2,X3,X4)
    131: U62(X1,mark(X2),X3,X4) -> U62(X1,X2,X3,X4)
    132: U62(X1,X2,mark(X3),X4) -> U62(X1,X2,X3,X4)
    133: U62(X1,X2,X3,mark(X4)) -> U62(X1,X2,X3,X4)
    134: U62(active(X1),X2,X3,X4) -> U62(X1,X2,X3,X4)
    135: U62(X1,active(X2),X3,X4) -> U62(X1,X2,X3,X4)
    136: U62(X1,X2,active(X3),X4) -> U62(X1,X2,X3,X4)
    137: U62(X1,X2,X3,active(X4)) -> U62(X1,X2,X3,X4)
    138: U63(mark(X1),X2,X3,X4) -> U63(X1,X2,X3,X4)
    139: U63(X1,mark(X2),X3,X4) -> U63(X1,X2,X3,X4)
    140: U63(X1,X2,mark(X3),X4) -> U63(X1,X2,X3,X4)
    141: U63(X1,X2,X3,mark(X4)) -> U63(X1,X2,X3,X4)
    142: U63(active(X1),X2,X3,X4) -> U63(X1,X2,X3,X4)
    143: U63(X1,active(X2),X3,X4) -> U63(X1,X2,X3,X4)
    144: U63(X1,X2,active(X3),X4) -> U63(X1,X2,X3,X4)
    145: U63(X1,X2,X3,active(X4)) -> U63(X1,X2,X3,X4)
    146: U64(mark(X1),X2) -> U64(X1,X2)
    147: U64(X1,mark(X2)) -> U64(X1,X2)
    148: U64(active(X1),X2) -> U64(X1,X2)
    149: U64(X1,active(X2)) -> U64(X1,X2)
    150: pair(mark(X1),X2) -> pair(X1,X2)
    151: pair(X1,mark(X2)) -> pair(X1,X2)
    152: pair(active(X1),X2) -> pair(X1,X2)
    153: pair(X1,active(X2)) -> pair(X1,X2)
    154: cons(mark(X1),X2) -> cons(X1,X2)
    155: cons(X1,mark(X2)) -> cons(X1,X2)
    156: cons(active(X1),X2) -> cons(X1,X2)
    157: cons(X1,active(X2)) -> cons(X1,X2)
    158: U71(mark(X1),X2) -> U71(X1,X2)
    159: U71(X1,mark(X2)) -> U71(X1,X2)
    160: U71(active(X1),X2) -> U71(X1,X2)
    161: U71(X1,active(X2)) -> U71(X1,X2)
    162: U72(mark(X1),X2) -> U72(X1,X2)
    163: U72(X1,mark(X2)) -> U72(X1,X2)
    164: U72(active(X1),X2) -> U72(X1,X2)
    165: U72(X1,active(X2)) -> U72(X1,X2)
    166: U81(mark(X1),X2,X3) -> U81(X1,X2,X3)
    167: U81(X1,mark(X2),X3) -> U81(X1,X2,X3)
    168: U81(X1,X2,mark(X3)) -> U81(X1,X2,X3)
    169: U81(active(X1),X2,X3) -> U81(X1,X2,X3)
    170: U81(X1,active(X2),X3) -> U81(X1,X2,X3)
    171: U81(X1,X2,active(X3)) -> U81(X1,X2,X3)
    172: U82(mark(X1),X2,X3) -> U82(X1,X2,X3)
    173: U82(X1,mark(X2),X3) -> U82(X1,X2,X3)
    174: U82(X1,X2,mark(X3)) -> U82(X1,X2,X3)
    175: U82(active(X1),X2,X3) -> U82(X1,X2,X3)
    176: U82(X1,active(X2),X3) -> U82(X1,X2,X3)
    177: U82(X1,X2,active(X3)) -> U82(X1,X2,X3)
    178: fst(mark(X)) -> fst(X)
    179: fst(active(X)) -> fst(X)
    180: natsFrom(mark(X)) -> natsFrom(X)
    181: natsFrom(active(X)) -> natsFrom(X)
    182: s(mark(X)) -> s(X)
    183: s(active(X)) -> s(X)
    184: sel(mark(X1),X2) -> sel(X1,X2)
    185: sel(X1,mark(X2)) -> sel(X1,X2)
    186: sel(active(X1),X2) -> sel(X1,X2)
    187: sel(X1,active(X2)) -> sel(X1,X2)
    188: tail(mark(X)) -> tail(X)
    189: tail(active(X)) -> tail(X)
    190: take(mark(X1),X2) -> take(X1,X2)
    191: take(X1,mark(X2)) -> take(X1,X2)
    192: take(active(X1),X2) -> take(X1,X2)
    193: take(X1,active(X2)) -> take(X1,X2)
Number of strict rules: 193
Direct Order(PosReal,>,Poly) ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #active(U12(tt(),N,XS)) -> #mark(snd(splitAt(N,XS)))
   #2: #active(U12(tt(),N,XS)) -> #snd(splitAt(N,XS))
   #3: #active(U12(tt(),N,XS)) -> #splitAt(N,XS)
   #4: #U22(active(X1),X2) -> #U22(X1,X2)
   #5: #mark(U52(X1,X2)) -> #active(U52(mark(X1),X2))
   #6: #mark(U52(X1,X2)) -> #U52(mark(X1),X2)
   #7: #mark(U52(X1,X2)) -> #mark(X1)
   #8: #mark(U11(X1,X2,X3)) -> #active(U11(mark(X1),X2,X3))
   #9: #mark(U11(X1,X2,X3)) -> #U11(mark(X1),X2,X3)
   #10: #mark(U11(X1,X2,X3)) -> #mark(X1)
   #11: #mark(U22(X1,X2)) -> #active(U22(mark(X1),X2))
   #12: #mark(U22(X1,X2)) -> #U22(mark(X1),X2)
   #13: #mark(U22(X1,X2)) -> #mark(X1)
   #14: #U21(X1,active(X2)) -> #U21(X1,X2)
   #15: #U11(X1,active(X2),X3) -> #U11(X1,X2,X3)
   #16: #U82(X1,X2,active(X3)) -> #U82(X1,X2,X3)
   #17: #mark(U63(X1,X2,X3,X4)) -> #active(U63(mark(X1),X2,X3,X4))
   #18: #mark(U63(X1,X2,X3,X4)) -> #U63(mark(X1),X2,X3,X4)
   #19: #mark(U63(X1,X2,X3,X4)) -> #mark(X1)
   #20: #mark(U51(X1,X2)) -> #active(U51(mark(X1),X2))
   #21: #mark(U51(X1,X2)) -> #U51(mark(X1),X2)
   #22: #mark(U51(X1,X2)) -> #mark(X1)
   #23: #U51(X1,mark(X2)) -> #U51(X1,X2)
   #24: #U64(X1,active(X2)) -> #U64(X1,X2)
   #25: #U32(X1,active(X2)) -> #U32(X1,X2)
   #26: #mark(afterNth(X1,X2)) -> #active(afterNth(mark(X1),mark(X2)))
   #27: #mark(afterNth(X1,X2)) -> #afterNth(mark(X1),mark(X2))
   #28: #mark(afterNth(X1,X2)) -> #mark(X1)
   #29: #mark(afterNth(X1,X2)) -> #mark(X2)
   #30: #mark(U32(X1,X2)) -> #active(U32(mark(X1),X2))
   #31: #mark(U32(X1,X2)) -> #U32(mark(X1),X2)
   #32: #mark(U32(X1,X2)) -> #mark(X1)
   #33: #U51(mark(X1),X2) -> #U51(X1,X2)
   #34: #U41(active(X1),X2,X3) -> #U41(X1,X2,X3)
   #35: #U72(X1,mark(X2)) -> #U72(X1,X2)
   #36: #U41(X1,mark(X2),X3) -> #U41(X1,X2,X3)
   #37: #U31(X1,active(X2)) -> #U31(X1,X2)
   #38: #U12(X1,X2,active(X3)) -> #U12(X1,X2,X3)
   #39: #mark(U64(X1,X2)) -> #active(U64(mark(X1),X2))
   #40: #mark(U64(X1,X2)) -> #U64(mark(X1),X2)
   #41: #mark(U64(X1,X2)) -> #mark(X1)
   #42: #take(X1,mark(X2)) -> #take(X1,X2)
   #43: #mark(U82(X1,X2,X3)) -> #active(U82(mark(X1),X2,X3))
   #44: #mark(U82(X1,X2,X3)) -> #U82(mark(X1),X2,X3)
   #45: #mark(U82(X1,X2,X3)) -> #mark(X1)
   #46: #U82(X1,mark(X2),X3) -> #U82(X1,X2,X3)
   #47: #U12(active(X1),X2,X3) -> #U12(X1,X2,X3)
   #48: #U64(X1,mark(X2)) -> #U64(X1,X2)
   #49: #U63(X1,mark(X2),X3,X4) -> #U63(X1,X2,X3,X4)
   #50: #mark(pair(X1,X2)) -> #active(pair(mark(X1),mark(X2)))
   #51: #mark(pair(X1,X2)) -> #pair(mark(X1),mark(X2))
   #52: #mark(pair(X1,X2)) -> #mark(X1)
   #53: #mark(pair(X1,X2)) -> #mark(X2)
   #54: #U61(X1,mark(X2),X3,X4) -> #U61(X1,X2,X3,X4)
   #55: #snd(active(X)) -> #snd(X)
   #56: #fst(mark(X)) -> #fst(X)
   #57: #afterNth(active(X1),X2) -> #afterNth(X1,X2)
   #58: #snd(mark(X)) -> #snd(X)
   #59: #U81(X1,active(X2),X3) -> #U81(X1,X2,X3)
   #60: #mark(0()) -> #active(0())
   #61: #U63(mark(X1),X2,X3,X4) -> #U63(X1,X2,X3,X4)
   #62: #afterNth(X1,active(X2)) -> #afterNth(X1,X2)
   #63: #U71(mark(X1),X2) -> #U71(X1,X2)
   #64: #mark(take(X1,X2)) -> #active(take(mark(X1),mark(X2)))
   #65: #mark(take(X1,X2)) -> #take(mark(X1),mark(X2))
   #66: #mark(take(X1,X2)) -> #mark(X1)
   #67: #mark(take(X1,X2)) -> #mark(X2)
   #68: #mark(U41(X1,X2,X3)) -> #active(U41(mark(X1),X2,X3))
   #69: #mark(U41(X1,X2,X3)) -> #U41(mark(X1),X2,X3)
   #70: #mark(U41(X1,X2,X3)) -> #mark(X1)
   #71: #pair(X1,mark(X2)) -> #pair(X1,X2)
   #72: #cons(mark(X1),X2) -> #cons(X1,X2)
   #73: #U51(active(X1),X2) -> #U51(X1,X2)
   #74: #cons(X1,mark(X2)) -> #cons(X1,X2)
   #75: #active(U32(tt(),N)) -> #mark(N)
   #76: #U72(X1,active(X2)) -> #U72(X1,X2)
   #77: #mark(nil()) -> #active(nil())
   #78: #take(X1,active(X2)) -> #take(X1,X2)
   #79: #afterNth(mark(X1),X2) -> #afterNth(X1,X2)
   #80: #U62(X1,X2,mark(X3),X4) -> #U62(X1,X2,X3,X4)
   #81: #mark(natsFrom(X)) -> #active(natsFrom(mark(X)))
   #82: #mark(natsFrom(X)) -> #natsFrom(mark(X))
   #83: #mark(natsFrom(X)) -> #mark(X)
   #84: #U11(X1,X2,active(X3)) -> #U11(X1,X2,X3)
   #85: #mark(head(X)) -> #active(head(mark(X)))
   #86: #mark(head(X)) -> #head(mark(X))
   #87: #mark(head(X)) -> #mark(X)
   #88: #U31(active(X1),X2) -> #U31(X1,X2)
   #89: #U64(mark(X1),X2) -> #U64(X1,X2)
   #90: #U42(X1,X2,active(X3)) -> #U42(X1,X2,X3)
   #91: #mark(U72(X1,X2)) -> #active(U72(mark(X1),X2))
   #92: #mark(U72(X1,X2)) -> #U72(mark(X1),X2)
   #93: #mark(U72(X1,X2)) -> #mark(X1)
   #94: #active(U63(tt(),N,X,XS)) -> #mark(U64(splitAt(N,XS),X))
   #95: #active(U63(tt(),N,X,XS)) -> #U64(splitAt(N,XS),X)
   #96: #active(U63(tt(),N,X,XS)) -> #splitAt(N,XS)
   #97: #active(U51(tt(),Y)) -> #mark(U52(tt(),Y))
   #98: #active(U51(tt(),Y)) -> #U52(tt(),Y)
   #99: #active(U61(tt(),N,X,XS)) -> #mark(U62(tt(),N,X,XS))
   #100: #active(U61(tt(),N,X,XS)) -> #U62(tt(),N,X,XS)
   #101: #U41(X1,X2,mark(X3)) -> #U41(X1,X2,X3)
   #102: #cons(active(X1),X2) -> #cons(X1,X2)
   #103: #mark(sel(X1,X2)) -> #active(sel(mark(X1),mark(X2)))
   #104: #mark(sel(X1,X2)) -> #sel(mark(X1),mark(X2))
   #105: #mark(sel(X1,X2)) -> #mark(X1)
   #106: #mark(sel(X1,X2)) -> #mark(X2)
   #107: #splitAt(mark(X1),X2) -> #splitAt(X1,X2)
   #108: #U81(X1,mark(X2),X3) -> #U81(X1,X2,X3)
   #109: #take(mark(X1),X2) -> #take(X1,X2)
   #110: #head(active(X)) -> #head(X)
   #111: #U32(active(X1),X2) -> #U32(X1,X2)
   #112: #active(snd(pair(X,Y))) -> #mark(U51(tt(),Y))
   #113: #active(snd(pair(X,Y))) -> #U51(tt(),Y)
   #114: #U62(active(X1),X2,X3,X4) -> #U62(X1,X2,X3,X4)
   #115: #U12(X1,X2,mark(X3)) -> #U12(X1,X2,X3)
   #116: #active(sel(N,XS)) -> #mark(U41(tt(),N,XS))
   #117: #active(sel(N,XS)) -> #U41(tt(),N,XS)
   #118: #U61(X1,X2,active(X3),X4) -> #U61(X1,X2,X3,X4)
   #119: #U21(X1,mark(X2)) -> #U21(X1,X2)
   #120: #U52(mark(X1),X2) -> #U52(X1,X2)
   #121: #splitAt(active(X1),X2) -> #splitAt(X1,X2)
   #122: #mark(U62(X1,X2,X3,X4)) -> #active(U62(mark(X1),X2,X3,X4))
   #123: #mark(U62(X1,X2,X3,X4)) -> #U62(mark(X1),X2,X3,X4)
   #124: #mark(U62(X1,X2,X3,X4)) -> #mark(X1)
   #125: #U41(mark(X1),X2,X3) -> #U41(X1,X2,X3)
   #126: #U12(X1,mark(X2),X3) -> #U12(X1,X2,X3)
   #127: #U41(X1,X2,active(X3)) -> #U41(X1,X2,X3)
   #128: #active(U62(tt(),N,X,XS)) -> #mark(U63(tt(),N,X,XS))
   #129: #active(U62(tt(),N,X,XS)) -> #U63(tt(),N,X,XS)
   #130: #mark(U12(X1,X2,X3)) -> #active(U12(mark(X1),X2,X3))
   #131: #mark(U12(X1,X2,X3)) -> #U12(mark(X1),X2,X3)
   #132: #mark(U12(X1,X2,X3)) -> #mark(X1)
   #133: #U72(active(X1),X2) -> #U72(X1,X2)
   #134: #splitAt(X1,active(X2)) -> #splitAt(X1,X2)
   #135: #mark(s(X)) -> #active(s(mark(X)))
   #136: #mark(s(X)) -> #s(mark(X))
   #137: #mark(s(X)) -> #mark(X)
   #138: #U31(X1,mark(X2)) -> #U31(X1,X2)
   #139: #U62(X1,X2,X3,mark(X4)) -> #U62(X1,X2,X3,X4)
   #140: #U21(active(X1),X2) -> #U21(X1,X2)
   #141: #afterNth(X1,mark(X2)) -> #afterNth(X1,X2)
   #142: #active(U64(pair(YS,ZS),X)) -> #mark(pair(cons(X,YS),ZS))
   #143: #active(U64(pair(YS,ZS),X)) -> #pair(cons(X,YS),ZS)
   #144: #active(U64(pair(YS,ZS),X)) -> #cons(X,YS)
   #145: #U42(X1,active(X2),X3) -> #U42(X1,X2,X3)
   #146: #sel(X1,mark(X2)) -> #sel(X1,X2)
   #147: #U11(mark(X1),X2,X3) -> #U11(X1,X2,X3)
   #148: #mark(tt()) -> #active(tt())
   #149: #mark(U81(X1,X2,X3)) -> #active(U81(mark(X1),X2,X3))
   #150: #mark(U81(X1,X2,X3)) -> #U81(mark(X1),X2,X3)
   #151: #mark(U81(X1,X2,X3)) -> #mark(X1)
   #152: #mark(cons(X1,X2)) -> #active(cons(mark(X1),X2))
   #153: #mark(cons(X1,X2)) -> #cons(mark(X1),X2)
   #154: #mark(cons(X1,X2)) -> #mark(X1)
   #155: #active(splitAt(0(),XS)) -> #mark(pair(nil(),XS))
   #156: #active(splitAt(0(),XS)) -> #pair(nil(),XS)
   #157: #U62(mark(X1),X2,X3,X4) -> #U62(X1,X2,X3,X4)
   #158: #U81(mark(X1),X2,X3) -> #U81(X1,X2,X3)
   #159: #head(mark(X)) -> #head(X)
   #160: #U61(X1,X2,X3,active(X4)) -> #U61(X1,X2,X3,X4)
   #161: #active(fst(pair(X,Y))) -> #mark(U21(tt(),X))
   #162: #active(fst(pair(X,Y))) -> #U21(tt(),X)
   #163: #fst(active(X)) -> #fst(X)
   #164: #U61(active(X1),X2,X3,X4) -> #U61(X1,X2,X3,X4)
   #165: #U82(X1,X2,mark(X3)) -> #U82(X1,X2,X3)
   #166: #U31(mark(X1),X2) -> #U31(X1,X2)
   #167: #active(U41(tt(),N,XS)) -> #mark(U42(tt(),N,XS))
   #168: #active(U41(tt(),N,XS)) -> #U42(tt(),N,XS)
   #169: #mark(U42(X1,X2,X3)) -> #active(U42(mark(X1),X2,X3))
   #170: #mark(U42(X1,X2,X3)) -> #U42(mark(X1),X2,X3)
   #171: #mark(U42(X1,X2,X3)) -> #mark(X1)
   #172: #pair(X1,active(X2)) -> #pair(X1,X2)
   #173: #U62(X1,X2,active(X3),X4) -> #U62(X1,X2,X3,X4)
   #174: #active(U52(tt(),Y)) -> #mark(Y)
   #175: #U32(mark(X1),X2) -> #U32(X1,X2)
   #176: #U82(active(X1),X2,X3) -> #U82(X1,X2,X3)
   #177: #U52(X1,mark(X2)) -> #U52(X1,X2)
   #178: #U32(X1,mark(X2)) -> #U32(X1,X2)
   #179: #U11(X1,X2,mark(X3)) -> #U11(X1,X2,X3)
   #180: #mark(splitAt(X1,X2)) -> #active(splitAt(mark(X1),mark(X2)))
   #181: #mark(splitAt(X1,X2)) -> #splitAt(mark(X1),mark(X2))
   #182: #mark(splitAt(X1,X2)) -> #mark(X1)
   #183: #mark(splitAt(X1,X2)) -> #mark(X2)
   #184: #U12(X1,active(X2),X3) -> #U12(X1,X2,X3)
   #185: #U72(mark(X1),X2) -> #U72(X1,X2)
   #186: #sel(mark(X1),X2) -> #sel(X1,X2)
   #187: #U52(active(X1),X2) -> #U52(X1,X2)
   #188: #active(U31(tt(),N)) -> #mark(U32(tt(),N))
   #189: #active(U31(tt(),N)) -> #U32(tt(),N)
   #190: #mark(U61(X1,X2,X3,X4)) -> #active(U61(mark(X1),X2,X3,X4))
   #191: #mark(U61(X1,X2,X3,X4)) -> #U61(mark(X1),X2,X3,X4)
   #192: #mark(U61(X1,X2,X3,X4)) -> #mark(X1)
   #193: #U11(active(X1),X2,X3) -> #U11(X1,X2,X3)
   #194: #U64(active(X1),X2) -> #U64(X1,X2)
   #195: #active(take(N,XS)) -> #mark(U81(tt(),N,XS))
   #196: #active(take(N,XS)) -> #U81(tt(),N,XS)
   #197: #active(natsFrom(N)) -> #mark(cons(N,natsFrom(s(N))))
   #198: #active(natsFrom(N)) -> #cons(N,natsFrom(s(N)))
   #199: #active(natsFrom(N)) -> #natsFrom(s(N))
   #200: #active(natsFrom(N)) -> #s(N)
   #201: #U61(X1,active(X2),X3,X4) -> #U61(X1,X2,X3,X4)
   #202: #U81(active(X1),X2,X3) -> #U81(X1,X2,X3)
   #203: #mark(U21(X1,X2)) -> #active(U21(mark(X1),X2))
   #204: #mark(U21(X1,X2)) -> #U21(mark(X1),X2)
   #205: #mark(U21(X1,X2)) -> #mark(X1)
   #206: #U81(X1,X2,active(X3)) -> #U81(X1,X2,X3)
   #207: #s(active(X)) -> #s(X)
   #208: #U22(mark(X1),X2) -> #U22(X1,X2)
   #209: #U22(X1,active(X2)) -> #U22(X1,X2)
   #210: #cons(X1,active(X2)) -> #cons(X1,X2)
   #211: #active(tail(cons(N,XS))) -> #mark(U71(tt(),XS))
   #212: #active(tail(cons(N,XS))) -> #U71(tt(),XS)
   #213: #U62(X1,X2,X3,active(X4)) -> #U62(X1,X2,X3,X4)
   #214: #U63(X1,X2,active(X3),X4) -> #U63(X1,X2,X3,X4)
   #215: #U63(active(X1),X2,X3,X4) -> #U63(X1,X2,X3,X4)
   #216: #U71(X1,active(X2)) -> #U71(X1,X2)
   #217: #sel(X1,active(X2)) -> #sel(X1,X2)
   #218: #pair(mark(X1),X2) -> #pair(X1,X2)
   #219: #mark(tail(X)) -> #active(tail(mark(X)))
   #220: #mark(tail(X)) -> #tail(mark(X))
   #221: #mark(tail(X)) -> #mark(X)
   #222: #U51(X1,active(X2)) -> #U51(X1,X2)
   #223: #U82(mark(X1),X2,X3) -> #U82(X1,X2,X3)
   #224: #active(U81(tt(),N,XS)) -> #mark(U82(tt(),N,XS))
   #225: #active(U81(tt(),N,XS)) -> #U82(tt(),N,XS)
   #226: #mark(snd(X)) -> #active(snd(mark(X)))
   #227: #mark(snd(X)) -> #snd(mark(X))
   #228: #mark(snd(X)) -> #mark(X)
   #229: #active(afterNth(N,XS)) -> #mark(U11(tt(),N,XS))
   #230: #active(afterNth(N,XS)) -> #U11(tt(),N,XS)
   #231: #U63(X1,active(X2),X3,X4) -> #U63(X1,X2,X3,X4)
   #232: #U61(X1,X2,X3,mark(X4)) -> #U61(X1,X2,X3,X4)
   #233: #take(active(X1),X2) -> #take(X1,X2)
   #234: #sel(active(X1),X2) -> #sel(X1,X2)
   #235: #U82(X1,active(X2),X3) -> #U82(X1,X2,X3)
   #236: #U11(X1,mark(X2),X3) -> #U11(X1,X2,X3)
   #237: #U62(X1,active(X2),X3,X4) -> #U62(X1,X2,X3,X4)
   #238: #U42(active(X1),X2,X3) -> #U42(X1,X2,X3)
   #239: #active(splitAt(s(N),cons(X,XS))) -> #mark(U61(tt(),N,X,XS))
   #240: #active(splitAt(s(N),cons(X,XS))) -> #U61(tt(),N,X,XS)
   #241: #U41(X1,active(X2),X3) -> #U41(X1,X2,X3)
   #242: #U22(X1,mark(X2)) -> #U22(X1,X2)
   #243: #natsFrom(active(X)) -> #natsFrom(X)
   #244: #U61(mark(X1),X2,X3,X4) -> #U61(X1,X2,X3,X4)
   #245: #U12(mark(X1),X2,X3) -> #U12(X1,X2,X3)
   #246: #U62(X1,mark(X2),X3,X4) -> #U62(X1,X2,X3,X4)
   #247: #mark(U31(X1,X2)) -> #active(U31(mark(X1),X2))
   #248: #mark(U31(X1,X2)) -> #U31(mark(X1),X2)
   #249: #mark(U31(X1,X2)) -> #mark(X1)
   #250: #active(head(cons(N,XS))) -> #mark(U31(tt(),N))
   #251: #active(head(cons(N,XS))) -> #U31(tt(),N)
   #252: #active(U72(tt(),XS)) -> #mark(XS)
   #253: #active(U21(tt(),X)) -> #mark(U22(tt(),X))
   #254: #active(U21(tt(),X)) -> #U22(tt(),X)
   #255: #U71(X1,mark(X2)) -> #U71(X1,X2)
   #256: #splitAt(X1,mark(X2)) -> #splitAt(X1,X2)
   #257: #active(U11(tt(),N,XS)) -> #mark(U12(tt(),N,XS))
   #258: #active(U11(tt(),N,XS)) -> #U12(tt(),N,XS)
   #259: #U63(X1,X2,mark(X3),X4) -> #U63(X1,X2,X3,X4)
   #260: #U61(X1,X2,mark(X3),X4) -> #U61(X1,X2,X3,X4)
   #261: #mark(fst(X)) -> #active(fst(mark(X)))
   #262: #mark(fst(X)) -> #fst(mark(X))
   #263: #mark(fst(X)) -> #mark(X)
   #264: #U71(active(X1),X2) -> #U71(X1,X2)
   #265: #active(U42(tt(),N,XS)) -> #mark(head(afterNth(N,XS)))
   #266: #active(U42(tt(),N,XS)) -> #head(afterNth(N,XS))
   #267: #active(U42(tt(),N,XS)) -> #afterNth(N,XS)
   #268: #pair(active(X1),X2) -> #pair(X1,X2)
   #269: #U81(X1,X2,mark(X3)) -> #U81(X1,X2,X3)
   #270: #U63(X1,X2,X3,mark(X4)) -> #U63(X1,X2,X3,X4)
   #271: #U52(X1,active(X2)) -> #U52(X1,X2)
   #272: #natsFrom(mark(X)) -> #natsFrom(X)
   #273: #active(U71(tt(),XS)) -> #mark(U72(tt(),XS))
   #274: #active(U71(tt(),XS)) -> #U72(tt(),XS)
   #275: #U63(X1,X2,X3,active(X4)) -> #U63(X1,X2,X3,X4)
   #276: #U42(mark(X1),X2,X3) -> #U42(X1,X2,X3)
   #277: #tail(active(X)) -> #tail(X)
   #278: #U42(X1,mark(X2),X3) -> #U42(X1,X2,X3)
   #279: #active(U22(tt(),X)) -> #mark(X)
   #280: #tail(mark(X)) -> #tail(X)
   #281: #U42(X1,X2,mark(X3)) -> #U42(X1,X2,X3)
   #282: #U21(mark(X1),X2) -> #U21(X1,X2)
   #283: #mark(U71(X1,X2)) -> #active(U71(mark(X1),X2))
   #284: #mark(U71(X1,X2)) -> #U71(mark(X1),X2)
   #285: #mark(U71(X1,X2)) -> #mark(X1)
   #286: #active(U82(tt(),N,XS)) -> #mark(fst(splitAt(N,XS)))
   #287: #active(U82(tt(),N,XS)) -> #fst(splitAt(N,XS))
   #288: #active(U82(tt(),N,XS)) -> #splitAt(N,XS)
   #289: #s(mark(X)) -> #s(X)
Number of SCCs: 31, DPs: 222, edges: 3165
	SCC { #56 #163 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: x1
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #56 #163
Number of SCCs: 30, DPs: 220, edges: 3161
	SCC { #55 #58 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: x1
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #55 #58
Number of SCCs: 29, DPs: 218, edges: 3157
	SCC { #277 #280 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: x1
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #277 #280
Number of SCCs: 28, DPs: 216, edges: 3153
	SCC { #207 #289 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: x1
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #207 #289
Number of SCCs: 27, DPs: 214, edges: 3149
	SCC { #110 #159 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: x1
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #110 #159
Number of SCCs: 26, DPs: 212, edges: 3145
	SCC { #243 #272 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: x1
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #243 #272
Number of SCCs: 25, DPs: 210, edges: 3141
	SCC { #107 #121 #134 #256 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: x1
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #107 #121
Number of SCCs: 25, DPs: 208, edges: 3129
	SCC { #134 #256 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: x2
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #134 #256
Number of SCCs: 24, DPs: 206, edges: 3125
	SCC { #63 #216 #255 #264 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: x1
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #63 #264
Number of SCCs: 25, DPs: 204, edges: 3113
	SCC { #216 #255 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: x2
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #216 #255
Number of SCCs: 24, DPs: 202, edges: 3109
	SCC { #35 #76 #133 #185 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: x1
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #133 #185
Number of SCCs: 25, DPs: 200, edges: 3097
	SCC { #35 #76 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: x2
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #35 #76
Number of SCCs: 24, DPs: 198, edges: 3093
	SCC { #14 #119 #140 #282 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: x2
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #14 #119
Number of SCCs: 25, DPs: 196, edges: 3081
	SCC { #140 #282 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: x1
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #140 #282
Number of SCCs: 24, DPs: 194, edges: 3077
	SCC { #37 #88 #138 #166 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: x1
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #88 #166
Number of SCCs: 25, DPs: 192, edges: 3065
	SCC { #37 #138 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: x2
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #37 #138
Number of SCCs: 24, DPs: 190, edges: 3061
	SCC { #25 #111 #175 #178 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: x1
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #111 #175
Number of SCCs: 25, DPs: 188, edges: 3049
	SCC { #25 #178 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: x2
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #25 #178
Number of SCCs: 24, DPs: 186, edges: 3045
	SCC { #23 #33 #73 #222 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: x2
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #23 #222
Number of SCCs: 25, DPs: 184, edges: 3033
	SCC { #33 #73 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: x1
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #33 #73
Number of SCCs: 24, DPs: 182, edges: 3029
	SCC { #4 #208 #209 #242 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: x1
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #4 #208
Number of SCCs: 25, DPs: 180, edges: 3017
	SCC { #209 #242 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: x2
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #209 #242
Number of SCCs: 24, DPs: 178, edges: 3013
	SCC { #71 #172 #218 #268 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: x2
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #71 #172
Number of SCCs: 25, DPs: 176, edges: 3001
	SCC { #218 #268 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: x1
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #218 #268
Number of SCCs: 24, DPs: 174, edges: 2997
	SCC { #57 #62 #79 #141 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: x2
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #62 #141
Number of SCCs: 25, DPs: 172, edges: 2985
	SCC { #57 #79 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: x1
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #57 #79
Number of SCCs: 24, DPs: 170, edges: 2981
	SCC { #72 #74 #102 #210 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: x1
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #72 #102
Number of SCCs: 25, DPs: 168, edges: 2969
	SCC { #74 #210 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: x2
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #74 #210
Number of SCCs: 24, DPs: 166, edges: 2965
	SCC { #146 #186 #217 #234 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: x2
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #146 #217
Number of SCCs: 25, DPs: 164, edges: 2953
	SCC { #186 #234 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: x1
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #186 #234
Number of SCCs: 24, DPs: 162, edges: 2949
	SCC { #42 #78 #109 #233 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: x1
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #109 #233
Number of SCCs: 25, DPs: 160, edges: 2937
	SCC { #42 #78 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: x2
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #42 #78
Number of SCCs: 24, DPs: 158, edges: 2933
	SCC { #24 #48 #89 #194 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: x1
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #89 #194
Number of SCCs: 25, DPs: 156, edges: 2921
	SCC { #24 #48 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: x2
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #24 #48
Number of SCCs: 24, DPs: 154, edges: 2917
	SCC { #120 #177 #187 #271 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: x1
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #120 #187
Number of SCCs: 25, DPs: 152, edges: 2905
	SCC { #177 #271 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: x2
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #177 #271
Number of SCCs: 24, DPs: 150, edges: 2901
	SCC { #90 #145 #238 #276 #278 #281 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: x2 + x3
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #90 #145 #278 #281
Number of SCCs: 25, DPs: 146, edges: 2869
	SCC { #238 #276 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: x1
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #238 #276
Number of SCCs: 24, DPs: 144, edges: 2865
	SCC { #59 #108 #158 #202 #206 #269 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: x2 + x3
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #59 #108 #206 #269
Number of SCCs: 25, DPs: 140, edges: 2833
	SCC { #158 #202 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: x1
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #158 #202
Number of SCCs: 24, DPs: 138, edges: 2829
	SCC { #16 #46 #165 #176 #223 #235 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: x1 + x3
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #16 #165 #176 #223
Number of SCCs: 25, DPs: 134, edges: 2797
	SCC { #46 #235 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: x2
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #46 #235
Number of SCCs: 24, DPs: 132, edges: 2793
	SCC { #38 #47 #115 #126 #184 #245 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: x1 + x2
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #47 #126 #184 #245
Number of SCCs: 25, DPs: 128, edges: 2761
	SCC { #38 #115 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: x3
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #38 #115
Number of SCCs: 24, DPs: 126, edges: 2757
	SCC { #34 #36 #101 #125 #127 #241 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: x1 + x2
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #34 #36 #125 #241
Number of SCCs: 25, DPs: 122, edges: 2725
	SCC { #101 #127 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: x3
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #101 #127
Number of SCCs: 24, DPs: 120, edges: 2721
	SCC { #15 #84 #147 #179 #193 #236 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: x2 + x3
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #15 #84 #179 #236
Number of SCCs: 25, DPs: 116, edges: 2689
	SCC { #147 #193 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: x1
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #147 #193
Number of SCCs: 24, DPs: 114, edges: 2685
	SCC { #54 #118 #160 #164 #201 #232 #244 #260 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: x1 + x2 + x3
    Usable rules: { }
    Removed DPs: #54 #118 #164 #201 #244 #260
Number of SCCs: 25, DPs: 108, edges: 2625
	SCC { #160 #232 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: x4
    Usable rules: { }
    Removed DPs: #160 #232
Number of SCCs: 24, DPs: 106, edges: 2621
	SCC { #80 #114 #139 #157 #173 #213 #237 #246 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: x2 + x3 + x4
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #80 #139 #173 #213 #237 #246
Number of SCCs: 25, DPs: 100, edges: 2561
	SCC { #114 #157 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: x1
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #114 #157
Number of SCCs: 24, DPs: 98, edges: 2557
	SCC { #49 #61 #214 #215 #231 #259 #270 #275 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: x2 + x3 + x4
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #49 #214 #231 #259 #270 #275
Number of SCCs: 25, DPs: 92, edges: 2497
	SCC { #61 #215 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: 0
   U64(x1,x2)	weight: 0
#cons(x1,x2)	weight: 0
     s(x1)	weight: 0
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: 0
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: 0
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: 0
   fst(x1)	weight: 0
natsFrom(x1)	weight: 0
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: 0
splitAt(x1,x2)	weight: 0
   U72(x1,x2)	weight: 0
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: 0
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: 0
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: 0
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: 0
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: x1
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 2) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: 0
   U52(x1,x2)	weight: 0
   U61(x1,x2,x3,x4)	weight: 0
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 2) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: 0
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: 0
#natsFrom(x1)	weight: 0
#active(x1)	weight: 0
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: 0
   U82(x1,x2,x3)	weight: 0
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: 0
   U51(x1,x2)	weight: 0
   U41(x1,x2,x3)	weight: 0
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { }
    Removed DPs: #61 #215
Number of SCCs: 24, DPs: 90, edges: 2493
	SCC { #1 #5 #7 #8 #10 #11 #13 #17 #19 #20 #22 #26 #28..30 #32 #39 #41 #43 #45 #52 #53 #64 #66..68 #70 #75 #81 #83 #85 #87 #91 #93 #94 #97 #99 #103 #105 #106 #112 #116 #122 #124 #128 #130 #132 #137 #142 #149 #151 #154 #155 #161 #167 #169 #171 #174 #180 #182 #183 #188 #190 #192 #195 #197 #203 #205 #211 #219 #221 #224 #226 #228 #229 #239 #247 #249 #250 #252 #253 #257 #261 #263 #265 #273 #279 #283 #285 #286 }
Removing DPs: Order(PosReal,>,Sum)... Order(PosReal,>,Max)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: max{(/ 1 8) + x2, (/ 9 64) + x1}
   U11(x1,x2,x3)	weight: max{(/ 29 64) + x3, (/ 31 64) + x2, (/ 15 32) + x1}
   U64(x1,x2)	weight: max{(/ 9 64) + x2, x1}
#cons(x1,x2)	weight: 0
     s(x1)	weight: x1
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: max{(/ 49 64) + x3, (/ 3 4) + x2, (/ 25 32) + x1}
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: max{(/ 37 64) + x2, (/ 19 32) + x1}
   U71(x1,x2)	weight: max{(/ 9 64) + x2, (/ 1 32) + x1}
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: max{(/ 1 64) + x2, (/ 1 32) + x1}
   fst(x1)	weight: (/ 15 64) + x1
natsFrom(x1)	weight: (/ 1 8) + x1
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: max{(/ 11 64) + x4, (/ 9 64) + x3, (/ 5 32) + x2, (/ 3 32) + x1}
splitAt(x1,x2)	weight: max{(/ 11 64) + x2, (/ 5 32) + x1}
   U72(x1,x2)	weight: max{(/ 7 64) + x2, (/ 1 64) + x1}
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: max{(/ 7 16) + x3, (/ 27 64) + x2, (/ 13 32) + x1}
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: (/ 9 64) + x1
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: x1
     0()	weight: (/ 1 32)
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: max{(/ 33 32) + x2, (/ 67 64) + x1}
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: max{(/ 19 32) + x2, (/ 37 64) + x1}
   nil()	weight: (/ 5 32)
   U62(x1,x2,x3,x4)	weight: max{(/ 11 64) + x4, (/ 9 64) + x3, (/ 5 32) + x2, (/ 3 16) + x1}
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: max{(/ 7 64) + x2, (/ 1 64) + x1}
   U52(x1,x2)	weight: max{(/ 1 32) + x2, (/ 1 64) + x1}
   U61(x1,x2,x3,x4)	weight: max{(/ 11 64) + x4, (/ 9 32) + x3, (/ 5 32) + x2, (/ 3 32) + x1}
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: x1
   U31(x1,x2)	weight: max{(/ 1 8) + x2, (/ 1 16) + x1}
  head(x1)	weight: (/ 9 64) + x1
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: max{x2, (/ 7 64) + x1}
#natsFrom(x1)	weight: 0
#active(x1)	weight: x1
   snd(x1)	weight: (/ 15 64) + x1
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: max{(/ 9 16) + x3, (/ 35 64) + x2, (/ 29 64) + x1}
   U82(x1,x2,x3)	weight: max{(/ 17 32) + x3, (/ 27 64) + x2, (/ 7 16) + x1}
 #U22(x1,x2)	weight: 0
    tt()	weight: (/ 3 32)
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: max{(/ 1 32) + x2, (/ 1 64) + x1}
   U51(x1,x2)	weight: max{(/ 1 8) + x2, (/ 9 64) + x1}
   U41(x1,x2,x3)	weight: max{(/ 57 64) + x3, (/ 29 32) + x2, (/ 59 64) + x1}
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { 1..193 }
    Removed DPs: #1 #7 #10 #13 #19 #22 #28 #29 #32 #45 #52 #53 #66 #67 #70 #75 #83 #87 #93 #97 #105 #106 #112 #116 #124 #132 #151 #154 #161 #167 #171 #174 #182 #183 #188 #192 #195 #205 #221 #224 #228 #229 #249 #250 #252 #253 #257 #263 #265 #273 #279 #285 #286
Number of SCCs: 25, DPs: 10, edges: 20
	SCC { #17 #41 #94 #99 #122 #128 #137 #180 #190 #239 }
Removing DPs: Order(PosReal,>,Sum)... succeeded.
 #U72(x1,x2)	weight: 0
 #U32(x1,x2)	weight: 0
   U21(x1,x2)	weight: 0
   U11(x1,x2,x3)	weight: x3
   U64(x1,x2)	weight: x1
#cons(x1,x2)	weight: 0
     s(x1)	weight: (/ 1 16) + x1
#take(x1,x2)	weight: 0
   U42(x1,x2,x3)	weight: x2
 #U82(x1,x2,x3)	weight: 0
  take(x1,x2)	weight: (/ 1 16)
   U71(x1,x2)	weight: 0
 #U81(x1,x2,x3)	weight: 0
  pair(x1,x2)	weight: (/ 3 16)
   fst(x1)	weight: (/ 7 16)
natsFrom(x1)	weight: (/ 1 16)
#head(x1)	weight: 0
   U63(x1,x2,x3,x4)	weight: (/ 1 16)
splitAt(x1,x2)	weight: (/ 1 16)
   U72(x1,x2)	weight: (/ 1 8)
 #fst(x1)	weight: 0
 #U52(x1,x2)	weight: 0
   U12(x1,x2,x3)	weight: (/ 1 8)
 #U42(x1,x2,x3)	weight: 0
 #U12(x1,x2,x3)	weight: 0
  tail(x1)	weight: 0
 #U62(x1,x2,x3,x4)	weight: 0
#mark(x1)	weight: (/ 1 16) + x1
     0()	weight: 0
 #sel(x1,x2)	weight: 0
   sel(x1,x2)	weight: (/ 1 16)
   #s(x1)	weight: 0
afterNth(x1,x2)	weight: 0
   nil()	weight: 0
   U62(x1,x2,x3,x4)	weight: (/ 1 16) + x1
#tail(x1)	weight: 0
 #U63(x1,x2,x3,x4)	weight: 0
#splitAt(x1,x2)	weight: 0
  mark(x1)	weight: (/ 1 16) + x1
#afterNth(x1,x2)	weight: 0
   U32(x1,x2)	weight: (/ 1 8) + x2
   U52(x1,x2)	weight: x2
   U61(x1,x2,x3,x4)	weight: (/ 1 16)
 #U51(x1,x2)	weight: 0
 #U11(x1,x2,x3)	weight: 0
 #U64(x1,x2)	weight: 0
active(x1)	weight: (/ 1 8) + x1
   U31(x1,x2)	weight: 0
  head(x1)	weight: (/ 1 8)
 #snd(x1)	weight: 0
 #U41(x1,x2,x3)	weight: 0
  cons(x1,x2)	weight: (/ 3 16)
#natsFrom(x1)	weight: 0
#active(x1)	weight: (/ 1 8)
   snd(x1)	weight: 0
 #U21(x1,x2)	weight: 0
   U81(x1,x2,x3)	weight: (/ 3 16) + x2
   U82(x1,x2,x3)	weight: (/ 5 16) + x2 + x3
 #U22(x1,x2)	weight: 0
    tt()	weight: 0
 #U71(x1,x2)	weight: 0
#pair(x1,x2)	weight: 0
   U22(x1,x2)	weight: (/ 1 8) + x2
   U51(x1,x2)	weight: (/ 1 8) + x2
   U41(x1,x2,x3)	weight: (/ 3 16) + x2 + x3
 #U31(x1,x2)	weight: 0
 #U61(x1,x2,x3,x4)	weight: 0
    Usable rules: { 62..73 76..107 114..177 182 183 }
    Removed DPs: #137
Number of SCCs: 25, DPs: 9, edges: 13
	SCC { #17 #41 #94 #99 #122 #128 #180 #190 #239 }
Removing DPs: Order(PosReal,>,Sum)... Order(PosReal,>,Max)... QLPOpS... Order(PosReal,>,MaxSum)... QWPOpS(PosReal,>,MaxSum)... succeeded.
 #U72(x1,x2)	weight: x2	status: []	precedence above:
 #U32(x1,x2)	weight: (/ 1 4) + x1	status: [x1]	precedence above:
   U21(x1,x2)	weight: (/ 15297 4) + x2 + x1	status: [x1,x2]	precedence above: U22
   U11(x1,x2,x3)	weight: (/ 61183 4) + x3 + x2	status: []	precedence above: U64 pair U63 splitAt U12 #mark nil U62 mark U52 U61 active #active tt U51
   U64(x1,x2)	weight: max{(/ 15295 2) + x2, x1}	status: [x1]	precedence above: pair mark U52 tt U51
#cons(x1,x2)	weight: x2	status: []	precedence above:
     s(x1)	weight: x1	status: [x1]	precedence above:
#take(x1,x2)	weight: (/ 1 4) + x1	status: [x1]	precedence above:
   U42(x1,x2,x3)	weight: (/ 91775 4) + x3 + x2	status: []	precedence above:
 #U82(x1,x2,x3)	weight: (/ 1 4) + x1	status: [x1]	precedence above:
  take(x1,x2)	weight: (/ 45889 2) + x2 + x1	status: [x2,x1]	precedence above: U81 tt
   U71(x1,x2)	weight: (/ 30591 4) + x2	status: [x2]	precedence above: U72 tt
 #U81(x1,x2,x3)	weight: (/ 1 4) + x3 + x2 + x1	status: [x2,x3,x1]	precedence above:
  pair(x1,x2)	weight: max{(/ 30591 4) + x2, x1}	status: []	precedence above: U64 mark U52 tt U51
   fst(x1)	weight: (/ 30593 4) + x1	status: [x1]	precedence above: U21 U64 U42 pair #mark mark U52 U31 head cons #active tt U22 U51
natsFrom(x1)	weight: (/ 30591 4) + x1	status: []	precedence above: U64 s pair #mark mark U52 active U31 cons #active tt U51
#head(x1)	weight: x1	status: []	precedence above:
   U63(x1,x2,x3,x4)	weight: max{11472 + x4, (/ 30591 4) + x3, (/ 30591 2) + x2, (/ 45887 4) + x1}	status: [x2,x3,x4]	precedence above: U64 pair splitAt #mark nil U62 mark U52 U61 active #active tt U51
splitAt(x1,x2)	weight: max{11472 + x2, (/ 30591 2) + x1}	status: [x1]	precedence above: U64 pair U63 #mark nil U62 mark U52 U61 active #active tt U51
   U72(x1,x2)	weight: (/ 30591 4) + x2	status: []	precedence above:
 #fst(x1)	weight: x1	status: []	precedence above:
 #U52(x1,x2)	weight: x2	status: [x2]	precedence above:
   U12(x1,x2,x3)	weight: (/ 61183 4) + x3 + x2	status: []	precedence above: U11 U64 pair U63 splitAt #mark nil U62 mark U52 U61 active #active tt U51
 #U42(x1,x2,x3)	weight: (/ 1 4) + x3 + x2 + x1	status: [x1,x2,x3]	precedence above:
 #U12(x1,x2,x3)	weight: (/ 1 4) + x3	status: [x3]	precedence above:
  tail(x1)	weight: 7648 + x1	status: []	precedence above: tt
 #U62(x1,x2,x3,x4)	weight: x3	status: []	precedence above:
#mark(x1)	weight: x1	status: [x1]	precedence above: #active
     0()	weight: (/ 1 4)	status: []	precedence above:
 #sel(x1,x2)	weight: (/ 1 4) + x2 + x1	status: [x2,x1]	precedence above:
   sel(x1,x2)	weight: (/ 91777 4) + x2 + x1	status: []	precedence above: U42 tt U41
   #s(x1)	weight: x1	status: []	precedence above:
afterNth(x1,x2)	weight: (/ 61183 4) + x2 + x1	status: [x1,x2]	precedence above: U11 U64 pair U63 splitAt U12 #mark nil U62 mark U52 U61 active #active tt U51
   nil()	weight: 0	status: []	precedence above: U64 pair U63 splitAt #mark U62 mark U52 U61 active #active tt U51
   U62(x1,x2,x3,x4)	weight: max{11472 + x4, (/ 30591 4) + x3, (/ 30591 2) + x2, 7648 + x1}	status: [x2,x3,x4,x1]	precedence above: U64 pair U63 splitAt #mark nil mark U52 U61 active #active tt U51
#tail(x1)	weight: (/ 1 4)	status: []	precedence above:
 #U63(x1,x2,x3,x4)	weight: (/ 1 4) + x4 + x3 + x2 + x1	status: [x3,x2,x1]	precedence above:
#splitAt(x1,x2)	weight: (/ 1 4) + x2	status: [x2]	precedence above:
  mark(x1)	weight: x1	status: x1
#afterNth(x1,x2)	weight: (/ 1 4) + x2 + x1	status: [x2,x1]	precedence above:
   U32(x1,x2)	weight: (/ 1 4) + x2	status: []	precedence above: U21 U11 U64 U42 pair fst U63 splitAt U12 #mark nil U62 mark U52 U61 active U31 head cons #active tt U22 U51
   U52(x1,x2)	weight: 3824 + x2	status: []	precedence above: mark tt U51
   U61(x1,x2,x3,x4)	weight: max{11472 + x4, (/ 61181 4) + x3, (/ 30591 2) + x2, (/ 61183 4) + x1}	status: [x2,x3,x4,x1]	precedence above: U64 pair U63 splitAt #mark nil U62 mark U52 active #active tt U51
 #U51(x1,x2)	weight: (/ 1 4) + x1	status: [x1]	precedence above:
 #U11(x1,x2,x3)	weight: (/ 1 4) + x3 + x2 + x1	status: [x3,x1,x2]	precedence above:
 #U64(x1,x2)	weight: (/ 1 4) + x2 + x1	status: [x1,x2]	precedence above:
active(x1)	weight: x1	status: x1
   U31(x1,x2)	weight: (/ 15295 4) + x2 + x1	status: []	precedence above: U64 pair #mark mark U52 cons #active tt U51
  head(x1)	weight: (/ 30591 4) + x1	status: []	precedence above: U64 pair #mark mark U52 U31 cons #active tt U51
 #snd(x1)	weight: (/ 1 4)	status: []	precedence above:
 #U41(x1,x2,x3)	weight: (/ 1 4) + x3 + x2 + x1	status: [x3,x1,x2]	precedence above:
  cons(x1,x2)	weight: max{x2, (/ 15295 2) + x1}	status: []	precedence above: U64 pair #mark mark U52 U31 #active tt U51
#natsFrom(x1)	weight: x1	status: []	precedence above:
#active(x1)	weight: x1	status: [x1]	precedence above: #mark
   snd(x1)	weight: x1	status: x1
 #U21(x1,x2)	weight: (/ 1 4) + x1	status: [x1]	precedence above:
   U81(x1,x2,x3)	weight: (/ 91777 4) + x3 + x2	status: []	precedence above: take tt
   U82(x1,x2,x3)	weight: (/ 76481 4) + x3 + x2 + x1	status: [x1]	precedence above:
 #U22(x1,x2)	weight: x1	status: [x1]	precedence above:
    tt()	weight: (/ 15295 4)	status: []	precedence above:
 #U71(x1,x2)	weight: x2	status: []	precedence above:
#pair(x1,x2)	weight: (/ 1 4)	status: []	precedence above:
   U22(x1,x2)	weight: 7648 + x2	status: []	precedence above:
   U51(x1,x2)	weight: (/ 30591 4) + x2	status: [x2]	precedence above: mark U52 tt
   U41(x1,x2,x3)	weight: 22944 + x3 + x2	status: [x2]	precedence above: U42
 #U31(x1,x2)	weight: x1	status: []	precedence above:
 #U61(x1,x2,x3,x4)	weight: (/ 1 4) + x3 + x2 + x1	status: [x2,x1,x3]	precedence above:
    Usable rules: { 1..193 }
    Removed DPs: #41 #94 #128 #239
Number of SCCs: 24, DPs: 0, edges: 0
YES