0.00/0.21	MAYBE
0.00/0.21	Input TRS:
0.00/0.21	    AC symbols: + *
0.00/0.21	    C symbols: *_Q +_Q
0.00/0.21	    1: 0(\#()) -> \#()
0.00/0.21	    2: +(\#(),x) -> x
0.00/0.21	    3: +(0(x),0(y)) -> 0(+(x,y))
0.00/0.21	    4: +(0(x),1(y)) -> 1(+(x,y))
0.00/0.21	    5: +(0(x),j(y)) -> j(+(x,y))
0.00/0.21	    6: +(1(x),1(y)) -> j(+(1(\#()),+(x,y)))
0.00/0.21	    7: +(j(x),j(y)) -> 1(+(j(\#()),+(x,y)))
0.00/0.21	    8: +(1(x),j(y)) -> 0(+(x,y))
0.00/0.21	    9: opp(\#()) -> \#()
0.00/0.21	    10: opp(0(x)) -> 0(opp(x))
0.00/0.21	    11: opp(1(x)) -> j(opp(x))
0.00/0.21	    12: opp(j(x)) -> 1(opp(x))
0.00/0.21	    13: -(x,y) -> +(opp(y),x)
0.00/0.21	    14: *(\#(),x) -> \#()
0.00/0.21	    15: *(0(x),y) -> 0(*(x,y))
0.00/0.21	    16: *(1(x),y) -> +(0(*(x,y)),y)
0.00/0.21	    17: *(j(x),y) -> -(0(*(x,y)),y)
0.00/0.21	    18: abs(x) -> test_abs_pos(x,x)
0.00/0.21	    19: test_abs_pos(\#(),x) -> x
0.00/0.21	    20: test_abs_pos(0(x),y) -> test_abs_pos(x,y)
0.00/0.21	    21: test_abs_pos(1(x),y) -> test_abs_pos(x,y)
0.00/0.21	    22: test_abs_pos(j(x),y) -> test_abs_neg(x,y)
0.00/0.21	    23: test_abs_neg(\#(),x) -> opp(x)
0.00/0.21	    24: test_abs_neg(0(x),y) -> test_abs_neg(x,y)
0.00/0.21	    25: test_abs_neg(1(x),y) -> test_abs_pos(x,y)
0.00/0.21	    26: test_abs_neg(j(x),y) -> test_abs_neg(x,y)
0.00/0.21	    27: signe(\#()) -> \#()
0.00/0.21	    28: signe(0(x)) -> signe(x)
0.00/0.21	    29: signe(1(x)) -> test_signe_pos(x)
0.00/0.21	    30: signe(j(x)) -> test_signe_neg(x)
0.00/0.21	    31: test_signe_pos(\#()) -> 1(\#())
0.00/0.21	    32: test_signe_pos(0(x)) -> test_signe_pos(x)
0.00/0.21	    33: test_signe_pos(1(x)) -> test_signe_pos(x)
0.00/0.21	    34: test_signe_pos(j(x)) -> test_signe_neg(x)
0.00/0.21	    35: test_signe_neg(\#()) -> j(\#())
0.00/0.21	    36: test_signe_neg(0(x)) -> test_signe_neg(x)
0.00/0.21	    37: test_signe_neg(1(x)) -> test_signe_pos(x)
0.00/0.21	    38: test_signe_neg(j(x)) -> test_signe_neg(x)
0.00/0.21	    39: min(x,y) -> test_min_pos(-(abs(y),abs(x)),x,y)
0.00/0.21	    40: min'(x,y) -> test_min_pos(-(abs(1(y)),abs(1(x))),x,y)
0.00/0.21	    41: min''(x,y) -> test_min_pos(-(abs(j(y)),abs(j(x))),x,y)
0.00/0.21	    42: test_min_pos(\#(),x,y) -> x
0.00/0.21	    43: test_min_pos(0(x),y,z) -> test_min_pos(x,y,z)
0.00/0.21	    44: test_min_pos(1(x),y,z) -> test_min_pos(x,y,z)
0.00/0.21	    45: test_min_pos(j(x),y,z) -> test_min_neg(x,y,z)
0.00/0.21	    46: test_min_neg(\#(),x,y) -> y
0.00/0.21	    47: test_min_neg(0(x),y,z) -> test_min_neg(x,y,z)
0.00/0.21	    48: test_min_neg(1(x),y,z) -> test_min_pos(x,y,z)
0.00/0.21	    49: test_min_neg(j(x),y,z) -> test_min_neg(x,y,z)
0.00/0.21	    50: f(\#(),x) -> \#()
0.00/0.21	    51: f(x,\#()) -> signe(x)
0.00/0.21	    52: f(0(x),0(y)) -> f(x,y)
0.00/0.21	    53: f(0(x),1(y)) -> 0(f(x,1(y)))
0.00/0.21	    54: f(0(x),j(y)) -> 0(f(x,j(y)))
0.00/0.21	    55: f(1(x),0(y)) -> f(1(x),y)
0.00/0.21	    56: f(1(x),1(y)) -> +(0(f(-(x,min'(x,y)),1(y))),f(min(1(x),1(y)),-(x,y)))
0.00/0.21	    57: f(1(x),j(y)) -> +(0(f(+(min''(opp(x),y),x),j(y))),f(min(1(x),1(opp(y))),+(x,y)))
0.00/0.21	    58: f(j(x),0(y)) -> f(j(x),y)
0.00/0.21	    59: f(j(x),1(y)) -> +(0(f(+(min'(opp(x),y),x),1(y))),f(min(j(x),j(opp(y))),+(x,y)))
0.00/0.21	    60: f(j(x),j(y)) -> +(0(f(-(x,min''(x,y)),j(y))),f(min(j(x),j(y)),-(x,y)))
0.00/0.21	    61: rat(x,y) -> irred(*(signe(y),f(x,y)),*(signe(y),f(y,x)))
0.00/0.21	    62: +_Q(irred(x,y),irred(u,v)) -> irred(+(*(x,v),*(y,u)),*(y,v))
0.00/0.21	    63: *_Q(irred(x,y),irred(u,v)) -> rat(*(x,u),*(y,v))
0.00/0.21	Number of strict rules: 63
0.00/0.21	Direct POLO(bPol) ... failed.
0.00/0.21	Uncurrying ... failed.
0.00/0.21	Dependency Pairs:
0.00/0.21	   #1: #test_min_pos(0(x),y,z) -> #test_min_pos(x,y,z)
0.00/0.21	   #2: #signe(1(x)) -> #test_signe_pos(x)
0.00/0.21	   #3: #min''(x,y) -> #test_min_pos(-(abs(j(y)),abs(j(x))),x,y)
0.00/0.21	   #4: #min''(x,y) -> #-(abs(j(y)),abs(j(x)))
0.00/0.21	   #5: #min''(x,y) -> #abs(j(y))
0.00/0.21	   #6: #min''(x,y) -> #abs(j(x))
0.00/0.21	   #7: #test_signe_neg(1(x)) -> #test_signe_pos(x)
0.00/0.21	   #8: #test_min_neg(0(x),y,z) -> #test_min_neg(x,y,z)
0.00/0.21	   #9: #f(0(x),1(y)) -> #0(f(x,1(y)))
0.00/0.21	   #10: #f(0(x),1(y)) -> #f(x,1(y))
0.00/0.21	   #11: #test_min_neg(1(x),y,z) -> #test_min_pos(x,y,z)
0.00/0.21	   #12: #f(j(x),0(y)) -> #f(j(x),y)
0.00/0.21	   #13: #rat(x,y) -> #*(signe(y),f(x,y))
0.00/0.21	   #14: #rat(x,y) -> #signe(y)
0.00/0.21	   #15: #rat(x,y) -> #f(x,y)
0.00/0.21	   #16: #rat(x,y) -> #*(signe(y),f(y,x))
0.00/0.21	   #17: #rat(x,y) -> #signe(y)
0.00/0.21	   #18: #rat(x,y) -> #f(y,x)
0.00/0.21	   #19: #test_signe_neg(j(x)) -> #test_signe_neg(x)
0.00/0.21	   #20: #+(1(x),1(y)) -> #+(1(\#()),+(x,y))
0.00/0.21	   #21: #+(1(x),1(y)) -> #+(x,y)
0.00/0.21	   #22: #f(j(x),1(y)) -> #+(0(f(+(min'(opp(x),y),x),1(y))),f(min(j(x),j(opp(y))),+(x,y)))
0.00/0.21	   #23: #f(j(x),1(y)) -> #0(f(+(min'(opp(x),y),x),1(y)))
0.00/0.21	   #24: #f(j(x),1(y)) -> #f(+(min'(opp(x),y),x),1(y))
0.00/0.21	   #25: #f(j(x),1(y)) -> #+(min'(opp(x),y),x)
0.00/0.21	   #26: #f(j(x),1(y)) -> #min'(opp(x),y)
0.00/0.21	   #27: #f(j(x),1(y)) -> #opp(x)
0.00/0.21	   #28: #f(j(x),1(y)) -> #f(min(j(x),j(opp(y))),+(x,y))
0.00/0.21	   #29: #f(j(x),1(y)) -> #min(j(x),j(opp(y)))
0.00/0.21	   #30: #f(j(x),1(y)) -> #opp(y)
0.00/0.21	   #31: #f(j(x),1(y)) -> #+(x,y)
0.00/0.21	   #32: #f(1(x),0(y)) -> #f(1(x),y)
0.00/0.21	   #33: #min'(x,y) -> #test_min_pos(-(abs(1(y)),abs(1(x))),x,y)
0.00/0.21	   #34: #min'(x,y) -> #-(abs(1(y)),abs(1(x)))
0.00/0.21	   #35: #min'(x,y) -> #abs(1(y))
0.00/0.21	   #36: #min'(x,y) -> #abs(1(x))
0.00/0.21	   #37: #f(x,\#()) -> #signe(x)
0.00/0.21	   #38: #-(x,y) -> #+(opp(y),x)
0.00/0.21	   #39: #-(x,y) -> #opp(y)
0.00/0.21	   #40: #opp(1(x)) -> #opp(x)
0.00/0.21	   #41: #f(1(x),j(y)) -> #+(0(f(+(min''(opp(x),y),x),j(y))),f(min(1(x),1(opp(y))),+(x,y)))
0.00/0.21	   #42: #f(1(x),j(y)) -> #0(f(+(min''(opp(x),y),x),j(y)))
0.00/0.21	   #43: #f(1(x),j(y)) -> #f(+(min''(opp(x),y),x),j(y))
0.00/0.21	   #44: #f(1(x),j(y)) -> #+(min''(opp(x),y),x)
0.00/0.21	   #45: #f(1(x),j(y)) -> #min''(opp(x),y)
0.00/0.21	   #46: #f(1(x),j(y)) -> #opp(x)
0.00/0.21	   #47: #f(1(x),j(y)) -> #f(min(1(x),1(opp(y))),+(x,y))
0.00/0.21	   #48: #f(1(x),j(y)) -> #min(1(x),1(opp(y)))
0.00/0.21	   #49: #f(1(x),j(y)) -> #opp(y)
0.00/0.21	   #50: #f(1(x),j(y)) -> #+(x,y)
0.00/0.21	   #51: #test_abs_neg(0(x),y) -> #test_abs_neg(x,y)
0.00/0.21	   #52: #test_abs_neg(\#(),x) -> #opp(x)
0.00/0.21	   #53: #test_min_pos(j(x),y,z) -> #test_min_neg(x,y,z)
0.00/0.21	   #54: #opp(j(x)) -> #opp(x)
0.00/0.21	   #55: #f(1(x),1(y)) -> #+(0(f(-(x,min'(x,y)),1(y))),f(min(1(x),1(y)),-(x,y)))
0.00/0.21	   #56: #f(1(x),1(y)) -> #0(f(-(x,min'(x,y)),1(y)))
0.00/0.21	   #57: #f(1(x),1(y)) -> #f(-(x,min'(x,y)),1(y))
0.00/0.21	   #58: #f(1(x),1(y)) -> #-(x,min'(x,y))
0.00/0.21	   #59: #f(1(x),1(y)) -> #min'(x,y)
0.00/0.21	   #60: #f(1(x),1(y)) -> #f(min(1(x),1(y)),-(x,y))
0.00/0.21	   #61: #f(1(x),1(y)) -> #min(1(x),1(y))
0.00/0.21	   #62: #f(1(x),1(y)) -> #-(x,y)
0.00/0.21	   #63: #+_Q(irred(x,y),irred(u,v)) -> #+(*(x,v),*(y,u))
0.00/0.21	   #64: #+_Q(irred(x,y),irred(u,v)) -> #*(x,v)
0.00/0.21	   #65: #+_Q(irred(x,y),irred(u,v)) -> #*(y,u)
0.00/0.21	   #66: #+_Q(irred(x,y),irred(u,v)) -> #*(y,v)
0.00/0.21	   #67: #signe(j(x)) -> #test_signe_neg(x)
0.00/0.21	   #68: #f(0(x),0(y)) -> #f(x,y)
0.00/0.21	   #69: #test_min_neg(j(x),y,z) -> #test_min_neg(x,y,z)
0.00/0.21	   #70: #test_abs_neg(1(x),y) -> #test_abs_pos(x,y)
0.00/0.21	   #71: #test_abs_pos(0(x),y) -> #test_abs_pos(x,y)
0.00/0.21	   #72: #+(j(x),j(y)) -> #+(j(\#()),+(x,y))
0.00/0.21	   #73: #+(j(x),j(y)) -> #+(x,y)
0.00/0.21	   #74: #min(x,y) -> #test_min_pos(-(abs(y),abs(x)),x,y)
0.00/0.21	   #75: #min(x,y) -> #-(abs(y),abs(x))
0.00/0.21	   #76: #min(x,y) -> #abs(y)
0.00/0.21	   #77: #min(x,y) -> #abs(x)
0.00/0.21	   #78: #opp(0(x)) -> #0(opp(x))
0.00/0.21	   #79: #opp(0(x)) -> #opp(x)
0.00/0.21	   #80: #+(x,+(y,z)) ->= #+(+(x,y),z)
0.00/0.21	   #81: #+(x,+(y,z)) ->= #+(x,y)
0.00/0.21	   #82: #test_signe_pos(1(x)) -> #test_signe_pos(x)
0.00/0.21	   #83: #+(0(x),j(y)) -> #+(x,y)
0.00/0.21	   #84: #test_min_pos(1(x),y,z) -> #test_min_pos(x,y,z)
0.00/0.21	   #85: #*(x,*(y,z)) ->= #*(*(x,y),z)
0.00/0.21	   #86: #*(x,*(y,z)) ->= #*(x,y)
0.00/0.21	   #87: #signe(0(x)) -> #signe(x)
0.00/0.21	   #88: #test_abs_pos(j(x),y) -> #test_abs_neg(x,y)
0.00/0.21	   #89: #test_signe_pos(j(x)) -> #test_signe_neg(x)
0.00/0.21	   #90: #f(j(x),j(y)) -> #+(0(f(-(x,min''(x,y)),j(y))),f(min(j(x),j(y)),-(x,y)))
0.00/0.21	   #91: #f(j(x),j(y)) -> #0(f(-(x,min''(x,y)),j(y)))
0.00/0.21	   #92: #f(j(x),j(y)) -> #f(-(x,min''(x,y)),j(y))
0.00/0.21	   #93: #f(j(x),j(y)) -> #-(x,min''(x,y))
0.00/0.21	   #94: #f(j(x),j(y)) -> #min''(x,y)
0.00/0.21	   #95: #f(j(x),j(y)) -> #f(min(j(x),j(y)),-(x,y))
0.00/0.21	   #96: #f(j(x),j(y)) -> #min(j(x),j(y))
0.00/0.21	   #97: #f(j(x),j(y)) -> #-(x,y)
0.00/0.21	   #98: #*(j(x),y) -> #-(0(*(x,y)),y)
0.00/0.21	   #99: #*(j(x),y) -> #0(*(x,y))
0.00/0.21	   #100: #*(j(x),y) -> #*(x,y)
0.00/0.21	   #101: #test_signe_pos(0(x)) -> #test_signe_pos(x)
0.00/0.21	   #102: #*_Q(irred(x,y),irred(u,v)) -> #rat(*(x,u),*(y,v))
0.00/0.21	   #103: #*_Q(irred(x,y),irred(u,v)) -> #*(x,u)
0.00/0.21	   #104: #*_Q(irred(x,y),irred(u,v)) -> #*(y,v)
0.00/0.21	   #105: #test_abs_neg(j(x),y) -> #test_abs_neg(x,y)
0.00/0.21	   #106: #test_signe_neg(0(x)) -> #test_signe_neg(x)
0.00/0.21	   #107: #test_abs_pos(1(x),y) -> #test_abs_pos(x,y)
0.00/0.21	   #108: #*(1(x),y) -> #+(0(*(x,y)),y)
0.00/0.21	   #109: #*(1(x),y) -> #0(*(x,y))
0.00/0.21	   #110: #*(1(x),y) -> #*(x,y)
0.00/0.21	   #111: #+(0(x),0(y)) -> #0(+(x,y))
0.00/0.21	   #112: #+(0(x),0(y)) -> #+(x,y)
0.00/0.21	   #113: #f(0(x),j(y)) -> #0(f(x,j(y)))
0.00/0.21	   #114: #f(0(x),j(y)) -> #f(x,j(y))
0.00/0.21	   #115: #+(1(x),j(y)) -> #0(+(x,y))
0.00/0.21	   #116: #+(1(x),j(y)) -> #+(x,y)
0.00/0.21	   #117: #*(0(x),y) -> #0(*(x,y))
0.00/0.21	   #118: #*(0(x),y) -> #*(x,y)
0.00/0.21	   #119: #+(0(x),1(y)) -> #+(x,y)
0.00/0.21	   #120: #abs(x) -> #test_abs_pos(x,x)
0.00/0.21	Number of SCCs: 8, DPs: 50
0.00/0.21	  SCC { #87 }
0.00/0.21	POLO(Sum)... succeeded.
0.00/0.21	      #0 	w: 0
0.00/0.21	      min'	w: 0
0.00/0.21	      1 	w: 0
0.00/0.21	      test_signe_neg	w: 0
0.00/0.21	      #min	w: 0
0.00/0.21	      #min'	w: 0
0.00/0.21	      #test_abs_pos	w: 0
0.00/0.21	      *_Q	w: 0
0.00/0.21	      #* 	w: 0
0.00/0.21	      #test_min_neg	w: 0
0.00/0.21	      +_Q	w: 0
0.00/0.21	      \#	w: 0
0.00/0.21	      test_abs_neg	w: 0
0.00/0.21	      #abs	w: 0
0.00/0.21	      min''	w: 0
0.00/0.21	      abs	w: 0
0.00/0.21	      #opp	w: 0
0.00/0.21	      f 	w: 0
0.00/0.21	      irred	w: 0
0.00/0.21	      test_abs_pos	w: 0
0.00/0.21	      #min''	w: 0
0.00/0.21	      #signe	w: x1
0.00/0.21	      0 	w: x1 + 1
0.00/0.21	      test_signe_pos	w: 0
0.00/0.21	      - 	w: 0
0.00/0.21	      #f 	w: 0
0.00/0.21	      j 	w: 0
0.00/0.21	      opp	w: 0
0.00/0.21	      test_min_neg	w: 0
0.00/0.21	      #test_min_pos	w: 0
0.00/0.21	      min	w: 0
0.00/0.21	      signe	w: 0
0.00/0.21	      #rat	w: 0
0.00/0.21	      #- 	w: 0
0.00/0.21	      #test_signe_pos	w: 0
0.00/0.21	      #test_signe_neg	w: 0
0.00/0.21	      + 	w: 0
0.00/0.21	      #*_Q	w: 0
0.00/0.21	      rat	w: 0
0.00/0.21	      #test_abs_neg	w: 0
0.00/0.21	      #+ 	w: 0
0.00/0.21	      #+_Q	w: 0
0.00/0.21	      test_min_pos	w: 0
0.00/0.21	      * 	w: 0
0.00/0.21	    USABLE RULES: { }
0.00/0.21	    Removed DPs: #87
0.00/0.21	Number of SCCs: 7, DPs: 49
0.00/0.21	  SCC { #40 #54 #79 }
0.00/0.21	POLO(Sum)... succeeded.
0.00/0.21	      #0 	w: 0
0.00/0.21	      min'	w: 0
0.00/0.21	      1 	w: x1 + 1
0.00/0.21	      test_signe_neg	w: 0
0.00/0.21	      #min	w: 0
0.00/0.21	      #min'	w: 0
0.00/0.21	      #test_abs_pos	w: 0
0.00/0.21	      *_Q	w: 0
0.00/0.21	      #* 	w: 0
0.00/0.21	      #test_min_neg	w: 0
0.00/0.21	      +_Q	w: 0
0.00/0.21	      \#	w: 0
0.00/0.21	      test_abs_neg	w: 0
0.00/0.21	      #abs	w: 0
0.00/0.21	      min''	w: 0
0.00/0.21	      abs	w: 0
0.00/0.21	      #opp	w: x1
0.00/0.21	      f 	w: 0
0.00/0.21	      irred	w: 0
0.00/0.21	      test_abs_pos	w: 0
0.00/0.21	      #min''	w: 0
0.00/0.21	      #signe	w: 0
0.00/0.21	      0 	w: x1 + 1
0.00/0.21	      test_signe_pos	w: 0
0.00/0.21	      - 	w: 0
0.00/0.21	      #f 	w: 0
0.00/0.21	      j 	w: x1 + 1
0.00/0.21	      opp	w: 0
0.00/0.21	      test_min_neg	w: 0
0.00/0.21	      #test_min_pos	w: 0
0.00/0.21	      min	w: 0
0.00/0.21	      signe	w: 0
0.00/0.21	      #rat	w: 0
0.00/0.21	      #- 	w: 0
0.00/0.21	      #test_signe_pos	w: 0
0.00/0.21	      #test_signe_neg	w: 0
0.00/0.21	      + 	w: 0
0.00/0.21	      #*_Q	w: 0
0.00/0.21	      rat	w: 0
0.00/0.21	      #test_abs_neg	w: 0
0.00/0.21	      #+ 	w: 0
0.00/0.21	      #+_Q	w: 0
0.00/0.21	      test_min_pos	w: 0
0.00/0.21	      * 	w: 0
0.00/0.21	    USABLE RULES: { }
0.00/0.21	    Removed DPs: #40 #54 #79
0.00/0.21	Number of SCCs: 6, DPs: 46
0.00/0.21	  SCC { #7 #19 #82 #89 #101 #106 }
0.00/0.21	POLO(Sum)... succeeded.
0.00/0.21	      #0 	w: 0
0.00/0.21	      min'	w: 0
0.00/0.21	      1 	w: x1 + 1
0.00/0.21	      test_signe_neg	w: 0
0.00/0.21	      #min	w: 0
0.00/0.21	      #min'	w: 0
0.00/0.21	      #test_abs_pos	w: 0
0.00/0.21	      *_Q	w: 0
0.00/0.21	      #* 	w: 0
0.00/0.21	      #test_min_neg	w: 0
0.00/0.21	      +_Q	w: 0
0.00/0.21	      \#	w: 0
0.00/0.21	      test_abs_neg	w: 0
0.00/0.21	      #abs	w: 0
0.00/0.21	      min''	w: 0
0.00/0.21	      abs	w: 0
0.00/0.21	      #opp	w: 0
0.00/0.21	      f 	w: 0
0.00/0.21	      irred	w: 0
0.00/0.21	      test_abs_pos	w: 0
0.00/0.21	      #min''	w: 0
0.00/0.21	      #signe	w: 0
0.00/0.21	      0 	w: x1 + 1
0.00/0.21	      test_signe_pos	w: 0
0.00/0.21	      - 	w: 0
0.00/0.21	      #f 	w: 0
0.00/0.21	      j 	w: x1 + 1
0.00/0.21	      opp	w: 0
0.00/0.21	      test_min_neg	w: 0
0.00/0.21	      #test_min_pos	w: 0
0.00/0.21	      min	w: 0
0.00/0.21	      signe	w: 0
0.00/0.21	      #rat	w: 0
0.00/0.21	      #- 	w: 0
0.00/0.21	      #test_signe_pos	w: x1
0.00/0.21	      #test_signe_neg	w: x1
0.00/0.21	      + 	w: 0
0.00/0.21	      #*_Q	w: 0
0.00/0.21	      rat	w: 0
0.00/0.21	      #test_abs_neg	w: 0
0.00/0.21	      #+ 	w: 0
0.00/0.21	      #+_Q	w: 0
0.00/0.21	      test_min_pos	w: 0
0.00/0.21	      * 	w: 0
0.00/0.21	    USABLE RULES: { }
0.00/0.21	    Removed DPs: #7 #19 #82 #89 #101 #106
0.00/0.21	Number of SCCs: 5, DPs: 40
0.00/0.21	  SCC { #85 #86 #100 #110 #118 }
0.00/0.21	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
0.00/0.21	Finding a loop...  failed.
0.00/0.21	EOF