MAYBE
Input TRS:
      1: active(sel(s(X),cons(Y,Z))) -> mark(sel(X,Z))
      2: active(sel(0(),cons(X,Z))) -> mark(X)
      3: active(first(0(),Z)) -> mark(nil())
      4: active(first(s(X),cons(Y,Z))) -> mark(cons(Y,first(X,Z)))
      5: active(from(X)) -> mark(cons(X,from(s(X))))
      6: active(sel1(s(X),cons(Y,Z))) -> mark(sel1(X,Z))
      7: active(sel1(0(),cons(X,Z))) -> mark(quote(X))
      8: active(first1(0(),Z)) -> mark(nil1())
      9: active(first1(s(X),cons(Y,Z))) -> mark(cons1(quote(Y),first1(X,Z)))
      10: active(quote(0())) -> mark(01())
      11: active(quote1(cons(X,Z))) -> mark(cons1(quote(X),quote1(Z)))
      12: active(quote1(nil())) -> mark(nil1())
      13: active(quote(s(X))) -> mark(s1(quote(X)))
      14: active(quote(sel(X,Z))) -> mark(sel1(X,Z))
      15: active(quote1(first(X,Z))) -> mark(first1(X,Z))
      16: active(unquote(01())) -> mark(0())
      17: active(unquote(s1(X))) -> mark(s(unquote(X)))
      18: active(unquote1(nil1())) -> mark(nil())
      19: active(unquote1(cons1(X,Z))) -> mark(fcons(unquote(X),unquote1(Z)))
      20: active(fcons(X,Z)) -> mark(cons(X,Z))
      21: mark(sel(X1,X2)) -> active(sel(mark(X1),mark(X2)))
      22: mark(s(X)) -> active(s(mark(X)))
      23: mark(cons(X1,X2)) -> active(cons(mark(X1),X2))
      24: mark(0()) -> active(0())
      25: mark(first(X1,X2)) -> active(first(mark(X1),mark(X2)))
      26: mark(nil()) -> active(nil())
      27: mark(from(X)) -> active(from(mark(X)))
      28: mark(sel1(X1,X2)) -> active(sel1(mark(X1),mark(X2)))
      29: mark(quote(X)) -> active(quote(X))
      30: mark(first1(X1,X2)) -> active(first1(mark(X1),mark(X2)))
      31: mark(nil1()) -> active(nil1())
      32: mark(cons1(X1,X2)) -> active(cons1(mark(X1),mark(X2)))
      33: mark(01()) -> active(01())
      34: mark(quote1(X)) -> active(quote1(X))
      35: mark(s1(X)) -> active(s1(mark(X)))
      36: mark(unquote(X)) -> active(unquote(mark(X)))
      37: mark(unquote1(X)) -> active(unquote1(mark(X)))
      38: mark(fcons(X1,X2)) -> active(fcons(mark(X1),mark(X2)))
      39: sel(mark(X1),X2) -> sel(X1,X2)
      40: sel(X1,mark(X2)) -> sel(X1,X2)
      41: sel(active(X1),X2) -> sel(X1,X2)
      42: sel(X1,active(X2)) -> sel(X1,X2)
      43: s(mark(X)) -> s(X)
      44: s(active(X)) -> s(X)
      45: cons(mark(X1),X2) -> cons(X1,X2)
      46: cons(X1,mark(X2)) -> cons(X1,X2)
      47: cons(active(X1),X2) -> cons(X1,X2)
      48: cons(X1,active(X2)) -> cons(X1,X2)
      49: first(mark(X1),X2) -> first(X1,X2)
      50: first(X1,mark(X2)) -> first(X1,X2)
      51: first(active(X1),X2) -> first(X1,X2)
      52: first(X1,active(X2)) -> first(X1,X2)
      53: from(mark(X)) -> from(X)
      54: from(active(X)) -> from(X)
      55: sel1(mark(X1),X2) -> sel1(X1,X2)
      56: sel1(X1,mark(X2)) -> sel1(X1,X2)
      57: sel1(active(X1),X2) -> sel1(X1,X2)
      58: sel1(X1,active(X2)) -> sel1(X1,X2)
      59: quote(mark(X)) -> quote(X)
      60: quote(active(X)) -> quote(X)
      61: first1(mark(X1),X2) -> first1(X1,X2)
      62: first1(X1,mark(X2)) -> first1(X1,X2)
      63: first1(active(X1),X2) -> first1(X1,X2)
      64: first1(X1,active(X2)) -> first1(X1,X2)
      65: cons1(mark(X1),X2) -> cons1(X1,X2)
      66: cons1(X1,mark(X2)) -> cons1(X1,X2)
      67: cons1(active(X1),X2) -> cons1(X1,X2)
      68: cons1(X1,active(X2)) -> cons1(X1,X2)
      69: quote1(mark(X)) -> quote1(X)
      70: quote1(active(X)) -> quote1(X)
      71: s1(mark(X)) -> s1(X)
      72: s1(active(X)) -> s1(X)
      73: unquote(mark(X)) -> unquote(X)
      74: unquote(active(X)) -> unquote(X)
      75: unquote1(mark(X)) -> unquote1(X)
      76: unquote1(active(X)) -> unquote1(X)
      77: fcons(mark(X1),X2) -> fcons(X1,X2)
      78: fcons(X1,mark(X2)) -> fcons(X1,X2)
      79: fcons(active(X1),X2) -> fcons(X1,X2)
      80: fcons(X1,active(X2)) -> fcons(X1,X2)
Number of strict rules: 80
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #active(sel(0(),cons(X,Z))) -> #mark(X)
     #2: #s(mark(X)) -> #s(X)
     #3: #mark(quote(X)) -> #active(quote(X))
     #4: #mark(s1(X)) -> #active(s1(mark(X)))
     #5: #mark(s1(X)) -> #s1(mark(X))
     #6: #mark(s1(X)) -> #mark(X)
     #7: #cons1(X1,mark(X2)) -> #cons1(X1,X2)
     #8: #cons(X1,mark(X2)) -> #cons(X1,X2)
     #9: #sel(X1,active(X2)) -> #sel(X1,X2)
     #10: #sel(active(X1),X2) -> #sel(X1,X2)
     #11: #mark(unquote1(X)) -> #active(unquote1(mark(X)))
     #12: #mark(unquote1(X)) -> #unquote1(mark(X))
     #13: #mark(unquote1(X)) -> #mark(X)
     #14: #unquote(mark(X)) -> #unquote(X)
     #15: #cons(active(X1),X2) -> #cons(X1,X2)
     #16: #from(mark(X)) -> #from(X)
     #17: #s1(mark(X)) -> #s1(X)
     #18: #cons(X1,active(X2)) -> #cons(X1,X2)
     #19: #unquote1(mark(X)) -> #unquote1(X)
     #20: #unquote(active(X)) -> #unquote(X)
     #21: #sel1(X1,active(X2)) -> #sel1(X1,X2)
     #22: #first1(mark(X1),X2) -> #first1(X1,X2)
     #23: #mark(fcons(X1,X2)) -> #active(fcons(mark(X1),mark(X2)))
     #24: #mark(fcons(X1,X2)) -> #fcons(mark(X1),mark(X2))
     #25: #mark(fcons(X1,X2)) -> #mark(X1)
     #26: #mark(fcons(X1,X2)) -> #mark(X2)
     #27: #active(sel1(s(X),cons(Y,Z))) -> #mark(sel1(X,Z))
     #28: #active(sel1(s(X),cons(Y,Z))) -> #sel1(X,Z)
     #29: #quote(mark(X)) -> #quote(X)
     #30: #sel1(mark(X1),X2) -> #sel1(X1,X2)
     #31: #cons1(active(X1),X2) -> #cons1(X1,X2)
     #32: #sel(X1,mark(X2)) -> #sel(X1,X2)
     #33: #first(active(X1),X2) -> #first(X1,X2)
     #34: #active(quote(s(X))) -> #mark(s1(quote(X)))
     #35: #active(quote(s(X))) -> #s1(quote(X))
     #36: #active(quote(s(X))) -> #quote(X)
     #37: #active(first1(s(X),cons(Y,Z))) -> #mark(cons1(quote(Y),first1(X,Z)))
     #38: #active(first1(s(X),cons(Y,Z))) -> #cons1(quote(Y),first1(X,Z))
     #39: #active(first1(s(X),cons(Y,Z))) -> #quote(Y)
     #40: #active(first1(s(X),cons(Y,Z))) -> #first1(X,Z)
     #41: #active(quote1(cons(X,Z))) -> #mark(cons1(quote(X),quote1(Z)))
     #42: #active(quote1(cons(X,Z))) -> #cons1(quote(X),quote1(Z))
     #43: #active(quote1(cons(X,Z))) -> #quote(X)
     #44: #active(quote1(cons(X,Z))) -> #quote1(Z)
     #45: #sel1(active(X1),X2) -> #sel1(X1,X2)
     #46: #unquote1(active(X)) -> #unquote1(X)
     #47: #mark(0()) -> #active(0())
     #48: #quote1(active(X)) -> #quote1(X)
     #49: #mark(cons(X1,X2)) -> #active(cons(mark(X1),X2))
     #50: #mark(cons(X1,X2)) -> #cons(mark(X1),X2)
     #51: #mark(cons(X1,X2)) -> #mark(X1)
     #52: #fcons(X1,mark(X2)) -> #fcons(X1,X2)
     #53: #cons(mark(X1),X2) -> #cons(X1,X2)
     #54: #quote1(mark(X)) -> #quote1(X)
     #55: #active(quote1(nil())) -> #mark(nil1())
     #56: #mark(nil1()) -> #active(nil1())
     #57: #fcons(active(X1),X2) -> #fcons(X1,X2)
     #58: #sel1(X1,mark(X2)) -> #sel1(X1,X2)
     #59: #active(quote(sel(X,Z))) -> #mark(sel1(X,Z))
     #60: #active(quote(sel(X,Z))) -> #sel1(X,Z)
     #61: #first1(X1,mark(X2)) -> #first1(X1,X2)
     #62: #mark(first1(X1,X2)) -> #active(first1(mark(X1),mark(X2)))
     #63: #mark(first1(X1,X2)) -> #first1(mark(X1),mark(X2))
     #64: #mark(first1(X1,X2)) -> #mark(X1)
     #65: #mark(first1(X1,X2)) -> #mark(X2)
     #66: #first(X1,active(X2)) -> #first(X1,X2)
     #67: #first(mark(X1),X2) -> #first(X1,X2)
     #68: #mark(first(X1,X2)) -> #active(first(mark(X1),mark(X2)))
     #69: #mark(first(X1,X2)) -> #first(mark(X1),mark(X2))
     #70: #mark(first(X1,X2)) -> #mark(X1)
     #71: #mark(first(X1,X2)) -> #mark(X2)
     #72: #active(fcons(X,Z)) -> #mark(cons(X,Z))
     #73: #active(fcons(X,Z)) -> #cons(X,Z)
     #74: #active(sel1(0(),cons(X,Z))) -> #mark(quote(X))
     #75: #active(sel1(0(),cons(X,Z))) -> #quote(X)
     #76: #sel(mark(X1),X2) -> #sel(X1,X2)
     #77: #active(quote(0())) -> #mark(01())
     #78: #first1(X1,active(X2)) -> #first1(X1,X2)
     #79: #mark(01()) -> #active(01())
     #80: #s1(active(X)) -> #s1(X)
     #81: #active(from(X)) -> #mark(cons(X,from(s(X))))
     #82: #active(from(X)) -> #cons(X,from(s(X)))
     #83: #active(from(X)) -> #from(s(X))
     #84: #active(from(X)) -> #s(X)
     #85: #s(active(X)) -> #s(X)
     #86: #cons1(mark(X1),X2) -> #cons1(X1,X2)
     #87: #mark(sel1(X1,X2)) -> #active(sel1(mark(X1),mark(X2)))
     #88: #mark(sel1(X1,X2)) -> #sel1(mark(X1),mark(X2))
     #89: #mark(sel1(X1,X2)) -> #mark(X1)
     #90: #mark(sel1(X1,X2)) -> #mark(X2)
     #91: #mark(s(X)) -> #active(s(mark(X)))
     #92: #mark(s(X)) -> #s(mark(X))
     #93: #mark(s(X)) -> #mark(X)
     #94: #mark(quote1(X)) -> #active(quote1(X))
     #95: #mark(from(X)) -> #active(from(mark(X)))
     #96: #mark(from(X)) -> #from(mark(X))
     #97: #mark(from(X)) -> #mark(X)
     #98: #quote(active(X)) -> #quote(X)
     #99: #active(unquote(s1(X))) -> #mark(s(unquote(X)))
     #100: #active(unquote(s1(X))) -> #s(unquote(X))
     #101: #active(unquote(s1(X))) -> #unquote(X)
     #102: #mark(cons1(X1,X2)) -> #active(cons1(mark(X1),mark(X2)))
     #103: #mark(cons1(X1,X2)) -> #cons1(mark(X1),mark(X2))
     #104: #mark(cons1(X1,X2)) -> #mark(X1)
     #105: #mark(cons1(X1,X2)) -> #mark(X2)
     #106: #active(unquote1(cons1(X,Z))) -> #mark(fcons(unquote(X),unquote1(Z)))
     #107: #active(unquote1(cons1(X,Z))) -> #fcons(unquote(X),unquote1(Z))
     #108: #active(unquote1(cons1(X,Z))) -> #unquote(X)
     #109: #active(unquote1(cons1(X,Z))) -> #unquote1(Z)
     #110: #first1(active(X1),X2) -> #first1(X1,X2)
     #111: #mark(nil()) -> #active(nil())
     #112: #cons1(X1,active(X2)) -> #cons1(X1,X2)
     #113: #mark(unquote(X)) -> #active(unquote(mark(X)))
     #114: #mark(unquote(X)) -> #unquote(mark(X))
     #115: #mark(unquote(X)) -> #mark(X)
     #116: #mark(sel(X1,X2)) -> #active(sel(mark(X1),mark(X2)))
     #117: #mark(sel(X1,X2)) -> #sel(mark(X1),mark(X2))
     #118: #mark(sel(X1,X2)) -> #mark(X1)
     #119: #mark(sel(X1,X2)) -> #mark(X2)
     #120: #active(unquote(01())) -> #mark(0())
     #121: #active(first(0(),Z)) -> #mark(nil())
     #122: #fcons(mark(X1),X2) -> #fcons(X1,X2)
     #123: #active(sel(s(X),cons(Y,Z))) -> #mark(sel(X,Z))
     #124: #active(sel(s(X),cons(Y,Z))) -> #sel(X,Z)
     #125: #from(active(X)) -> #from(X)
     #126: #active(first1(0(),Z)) -> #mark(nil1())
     #127: #active(quote1(first(X,Z))) -> #mark(first1(X,Z))
     #128: #active(quote1(first(X,Z))) -> #first1(X,Z)
     #129: #active(first(s(X),cons(Y,Z))) -> #mark(cons(Y,first(X,Z)))
     #130: #active(first(s(X),cons(Y,Z))) -> #cons(Y,first(X,Z))
     #131: #active(first(s(X),cons(Y,Z))) -> #first(X,Z)
     #132: #fcons(X1,active(X2)) -> #fcons(X1,X2)
     #133: #first(X1,mark(X2)) -> #first(X1,X2)
     #134: #active(unquote1(nil1())) -> #mark(nil())
Number of SCCs: 15, DPs: 84
  SCC { #48 #54 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: x1
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #48 #54
Number of SCCs: 14, DPs: 82
  SCC { #17 #80 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: x1
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #17 #80
Number of SCCs: 13, DPs: 80
  SCC { #16 #125 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: x1
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #16 #125
Number of SCCs: 12, DPs: 78
  SCC { #19 #46 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: x1
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #19 #46
Number of SCCs: 11, DPs: 76
  SCC { #29 #98 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: x1
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #29 #98
Number of SCCs: 10, DPs: 74
  SCC { #2 #85 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: x1
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #2 #85
Number of SCCs: 9, DPs: 72
  SCC { #14 #20 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: x1
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #14 #20
Number of SCCs: 8, DPs: 70
  SCC { #52 #57 #122 #132 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: x1
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #57 #122
Number of SCCs: 8, DPs: 68
  SCC { #52 #132 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: x2
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #52 #132
Number of SCCs: 7, DPs: 66
  SCC { #22 #61 #78 #110 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: x2
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #61 #78
Number of SCCs: 7, DPs: 64
  SCC { #22 #110 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: x1
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #22 #110
Number of SCCs: 6, DPs: 62
  SCC { #8 #15 #18 #53 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: x2
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #8 #18
Number of SCCs: 6, DPs: 60
  SCC { #15 #53 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: x1
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #15 #53
Number of SCCs: 5, DPs: 58
  SCC { #9 #10 #32 #76 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: x2
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #9 #32
Number of SCCs: 5, DPs: 56
  SCC { #10 #76 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: x1
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #10 #76
Number of SCCs: 4, DPs: 54
  SCC { #33 #66 #67 #133 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: x1
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #33 #67
Number of SCCs: 4, DPs: 52
  SCC { #66 #133 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: x2
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #66 #133
Number of SCCs: 3, DPs: 50
  SCC { #21 #30 #45 #58 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: x1 + x2
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #21 #30 #45 #58
Number of SCCs: 2, DPs: 46
  SCC { #7 #31 #86 #112 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: x2
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #7 #112
Number of SCCs: 2, DPs: 44
  SCC { #31 #86 }
POLO(Sum)... succeeded.
      01	w: 0
      #cons	w: 0
      s 	w: 0
      unquote1	w: 0
      #quote1	w: 0
      #cons1	w: x1
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: 0
      #mark	w: 0
      0 	w: 0
      #sel	w: 0
      sel	w: 0
      from	w: 0
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 0
      mark	w: x1 + 1
      nil1	w: 0
      first	w: 0
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1 + 1
      quote	w: 0
      cons	w: 0
      #active	w: 0
      #quote	w: 0
      #s1	w: 0
      sel1	w: 0
      s1	w: 0
      unquote	w: 0
      fcons	w: 0
    USABLE RULES: { }
    Removed DPs: #31 #86
Number of SCCs: 1, DPs: 42
  SCC { #1 #3 #6 #11 #13 #23 #25..27 #34 #37 #41 #51 #59 #62 #64 #65 #68 #70..72 #74 #81 #87 #89 #90 #93..95 #97 #99 #104..106 #113 #115 #116 #118 #119 #123 #127 #129 }
POLO(Sum)... POLO(max)... succeeded.
      01	w: 25785
      #cons	w: 0
      s 	w: x1
      unquote1	w: x1 + 25785
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: max(x1 + 5, x2)
      #mark	w: x1
      0 	w: 25785
      #sel	w: 0
      sel	w: max(x1 + 2, x2 + 1)
      from	w: x1 + 25789
      #s 	w: 0
      #first	w: 0
      nil	w: 25790
      #sel1	w: 0
      quote1	w: x1 + 5
      mark	w: x1
      nil1	w: 25795
      first	w: max(x1 + 25790, x2 + 25789)
      first1	w: max(x1 + 25795, x2 + 5)
      #unquote	w: 0
      #from	w: 0
      active	w: x1
      quote	w: x1 + 25788
      cons	w: max(x1 + 25788, x2)
      #active	w: x1
      #quote	w: 0
      #s1	w: 0
      sel1	w: max(x1 + 2, x2 + 1)
      s1	w: x1
      unquote	w: x1 + 1
      fcons	w: max(x1 + 25789, x2)
    USABLE RULES: { 1..80 }
    Removed DPs: #1 #13 #25 #51 #59 #64 #65 #70 #71 #74 #89 #90 #97 #104 #115 #118 #119
Number of SCCs: 3, DPs: 19
  SCC { #27 #87 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... succeeded.
      01	s: []	p: 1	w: 89605
      #cons	s: [2]	p: 0	w: max(x2 + 1)
      s 	s: [1]	p: 4	w: x1
      unquote1	s: [1]	p: 4	w: x1 + 44802
      #quote1	s: []	p: 0	w: 1
      #cons1	s: []	p: 0	w: 0
      #unquote1	s: []	p: 0	w: 1
      #fcons	s: []	p: 0	w: max(x2 + 1)
      #first1	s: []	p: 0	w: x2 + 1
      cons1	s: []	p: 2	w: max(x1, x2)
      #mark	s: 1
      0 	s: []	p: 0	w: 44803
      #sel	s: [2]	p: 0	w: x2 + 1
      sel	s: []	p: 2	w: x1 + x2 + 26051
      from	s: [1]	p: 4	w: x1 + 44801
      #s 	s: 1
      #first	s: [1,2]	p: 0	w: x1 + x2 + 1
      nil	s: []	p: 9	w: 0
      #sel1	s: [2]	p: 0	w: x2 + 1
      quote1	s: []	p: 5	w: x1 + 44803
      mark	s: 1
      nil1	s: []	p: 10	w: 44800
      first	s: []	p: 8	w: x1 + x2
      first1	s: []	p: 7	w: x2 + 44801
      #unquote	s: []	p: 0	w: 1
      #from	s: []	p: 0	w: 1
      active	s: 1
      quote	s: [1]	p: 6	w: x1 + 44802
      cons	s: []	p: 4	w: max(x1 + 44800, x2)
      #active	s: 1
      #quote	s: []	p: 0	w: 1
      #s1	s: []	p: 0	w: 1
      sel1	s: [1]	p: 7	w: x1 + x2 + 26052
      s1	s: [1]	p: 5	w: x1
      unquote	s: [1]	p: 4	w: x1
      fcons	s: []	p: 4	w: max(x1 + 44801, x2)
    USABLE RULES: { 1..80 }
    Removed DPs: #27
Number of SCCs: 2, DPs: 17
  SCC { #116 #123 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... succeeded.
      01	s: []	p: 1	w: 17151
      #cons	s: [2]	p: 0	w: max(x2 + 1)
      s 	s: [1]	p: 4	w: x1
      unquote1	s: [1]	p: 4	w: x1 + 37711
      #quote1	s: []	p: 0	w: 1
      #cons1	s: []	p: 0	w: 0
      #unquote1	s: []	p: 0	w: 1
      #fcons	s: []	p: 0	w: max(x2 + 1)
      #first1	s: []	p: 0	w: x2 + 1
      cons1	s: []	p: 2	w: max(x1 + 29135, x2)
      #mark	s: 1
      0 	s: []	p: 0	w: 8576
      #sel	s: [2]	p: 0	w: x2 + 1
      sel	s: [1]	p: 4	w: x1 + x2 + 37710
      from	s: [1]	p: 4	w: x1 + 37710
      #s 	s: 1
      #first	s: [1,2]	p: 0	w: x1 + x2 + 1
      nil	s: []	p: 9	w: 0
      #sel1	s: [2]	p: 0	w: x2 + 1
      quote1	s: []	p: 2	w: x1 + 37711
      mark	s: 1
      nil1	s: []	p: 10	w: 1
      first	s: []	p: 8	w: x2 + 37710
      first1	s: []	p: 7	w: x2 + 8574
      #unquote	s: []	p: 0	w: 1
      #from	s: []	p: 0	w: 1
      active	s: 1
      quote	s: [1]	p: 6	w: x1 + 8575
      cons	s: []	p: 4	w: max(x1 + 37709, x2)
      #active	s: 1
      #quote	s: []	p: 0	w: 1
      #s1	s: []	p: 0	w: 1
      sel1	s: []	p: 4	w: x2 + 1
      s1	s: [1]	p: 5	w: x1
      unquote	s: [1]	p: 4	w: x1
      fcons	s: []	p: 4	w: max(x1 + 37710, x2)
    USABLE RULES: { 1..80 }
    Removed DPs: #123
Number of SCCs: 1, DPs: 15
  SCC { #3 #6 #11 #26 #34 #37 #41 #62 #93 #94 #99 #105 #106 #113 #127 }
POLO(Sum)... POLO(max)... succeeded.
      01	w: 1
      #cons	w: 0
      s 	w: x1
      unquote1	w: 39374
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: max(x2)
      #mark	w: x1
      0 	w: 0
      #sel	w: 0
      sel	w: max(x1, x2 + 1)
      from	w: x1 + 31696
      #s 	w: 0
      #first	w: 0
      nil	w: 0
      #sel1	w: 0
      quote1	w: 1
      mark	w: x1
      nil1	w: 0
      first	w: max(x2 + 1)
      first1	w: 0
      #unquote	w: 0
      #from	w: 0
      active	w: x1
      quote	w: x1 + 2
      cons	w: max(x1 + 1, x2)
      #active	w: x1
      #quote	w: 0
      #s1	w: 0
      sel1	w: max(x2 + 1)
      s1	w: x1
      unquote	w: 39372
      fcons	w: max(x1 + 1, x2)
    USABLE RULES: { 1..80 }
    Removed DPs: #127
Number of SCCs: 1, DPs: 14
  SCC { #3 #6 #11 #26 #34 #37 #41 #62 #93 #94 #99 #105 #106 #113 }
POLO(Sum)... POLO(max)... QLPOS... succeeded.
      01	s: []	p: 2
      #cons	s: 1
      s 	s: 1
      unquote1	s: []	p: 3
      #quote1	s: 1
      #cons1	s: [1,2]	p: 0
      #unquote1	s: []	p: 0
      #fcons	s: 1
      #first1	s: [1,2]	p: 0
      cons1	s: 2
      #mark	s: 1
      0 	s: []	p: 4
      #sel	s: 1
      sel	s: []	p: 5
      from	s: [1]	p: 2
      #s 	s: []	p: 0
      #first	s: [1,2]	p: 0
      nil	s: []	p: 4
      #sel1	s: []	p: 0
      quote1	s: [1]	p: 1
      mark	s: 1
      nil1	s: []	p: 3
      first	s: [2,1]	p: 1
      first1	s: []	p: 3
      #unquote	s: []	p: 0
      #from	s: []	p: 0
      active	s: 1
      quote	s: 1
      cons	s: [2]	p: 5
      #active	s: 1
      #quote	s: []	p: 0
      #s1	s: []	p: 0
      sel1	s: []	p: 1
      s1	s: 1
      unquote	s: []	p: 3
      fcons	s: 2
    USABLE RULES: { 39..42 55..64 69 70 73..76 }
    Removed DPs: #41
Number of SCCs: 1, DPs: 12
  SCC { #3 #6 #11 #26 #34 #37 #62 #93 #99 #105 #106 #113 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... succeeded.
      01	w: 111074
      #cons	w: 0
      s 	w: max(x1 + 148816, 0)
      unquote1	w: 58077
      #quote1	w: max(x1 - 1, 0)
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: max(x2 + 47911, 0)
      #mark	w: max(x1 - 153899, 0)
      0 	w: 1
      #sel	w: max(x2 - 1, 0)
      sel	w: 0
      from	w: 24898
      #s 	w: max(x1 - 1, 0)
      #first	w: max(x1 - 1, 0)
      nil	w: 10168
      #sel1	w: max(x1 - 1, 0)
      quote1	w: 47909
      mark	w: max(x1 + 95822, 0)
      nil1	w: 5085
      first	w: max(x2 + 47911, 0)
      first1	w: 52994
      #unquote	w: 0
      #from	w: 0
      active	w: max(x1 + 47912, 0)
      quote	w: max(x1 + 158982, 0)
      cons	w: 0
      #active	w: max(x1 - 158981, 0)
      #quote	w: 0
      #s1	w: max(x1 - 1, 0)
      sel1	w: 111073
      s1	w: max(x1 + 111073, 0)
      unquote	w: 5083
      fcons	w: max(x1 + 47911, x2 + 95822, 0)
    USABLE RULES: { 39..42 45..48 55..64 73..76 }
    Removed DPs: #3 #34
Number of SCCs: 1, DPs: 10
  SCC { #6 #11 #26 #37 #62 #93 #99 #105 #106 #113 }
POLO(Sum)... succeeded.
      01	w: 1
      #cons	w: 0
      s 	w: x1
      unquote1	w: 1941
      #quote1	w: 0
      #cons1	w: 0
      #unquote1	w: 0
      #fcons	w: 0
      #first1	w: 0
      cons1	w: x2
      #mark	w: x1
      0 	w: 1
      #sel	w: 0
      sel	w: 1
      from	w: 1
      #s 	w: 0
      #first	w: 0
      nil	w: 1
      #sel1	w: 0
      quote1	w: 32111
      mark	w: 32940
      nil1	w: 1
      first	w: x1 + x2 + 1
      first1	w: 1941
      #unquote	w: 0
      #from	w: 0
      active	w: 32940
      quote	w: 1
      cons	w: 1
      #active	w: 1941
      #quote	w: 0
      #s1	w: 0
      sel1	w: 1
      s1	w: x1 + 1
      unquote	w: 1941
      fcons	w: x2
    USABLE RULES: { 1..42 45..48 55..64 69 70 73..76 }
    Removed DPs: #6
Number of SCCs: 1, DPs: 9
  SCC { #11 #26 #37 #62 #93 #99 #105 #106 #113 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.