0.00/0.37 MAYBE 0.00/0.37 Input TRS: 0.00/0.37 C symbols: d _+_ _*_ gcd 0.00/0.37 1: 1() -> s_(0()) 0.00/0.37 2: 2() -> s_(s_(0())) 0.00/0.37 3: 3() -> s_(s_(s_(0()))) 0.00/0.37 4: 4() -> s_(s_(s_(s_(0())))) 0.00/0.37 5: 5() -> s_(s_(s_(s_(s_(0()))))) 0.00/0.37 6: 6() -> s_(s_(s_(s_(s_(s_(0())))))) 0.00/0.37 7: 7() -> s_(s_(s_(s_(s_(s_(s_(0()))))))) 0.00/0.37 8: U11(tt(),M,N) -> U12(tt(),M,N) 0.00/0.37 9: U12(tt(),M,N) -> s_(_+_(N,_+_(M,_*_(N,M)))) 0.00/0.37 10: U21(tt(),M,N) -> U22(tt(),M,N) 0.00/0.37 11: U22(tt(),M,N) -> s_(s_(_+_(N,M))) 0.00/0.37 12: U31(tt(),M,N) -> U32(tt(),M,N) 0.00/0.37 13: U32(tt(),M,N) -> _>_(M,N) 0.00/0.37 14: U41(tt(),M,N) -> U42(tt(),M,N) 0.00/0.37 15: U42(tt(),M,N) -> _>_(N,M) 0.00/0.37 16: U51(tt(),M,N) -> U52(tt(),M,N) 0.00/0.37 17: U52(tt(),M,N) -> d(N,M) 0.00/0.37 18: U61(tt(),M',N') -> U62(tt(),M',N') 0.00/0.37 19: U62(tt(),M',N') -> U63(equal(_>_(N',M'),true()),M',N') 0.00/0.37 20: U63(tt(),M',N') -> gcd(d(N',M'),M') 0.00/0.37 21: U71(tt(),M',N) -> U72(tt(),M',N) 0.00/0.37 22: U72(tt(),M',N) -> U73(equal(_>_(M',N),true())) 0.00/0.37 23: U73(tt()) -> 0() 0.00/0.37 24: U81(tt(),M',N) -> U82(tt(),M',N) 0.00/0.37 25: U82(tt(),M',N) -> U83(equal(_>_(N,M'),true()),M',N) 0.00/0.37 26: U83(tt(),M',N) -> s_(quot(d(N,M'),M')) 0.00/0.37 27: _*_(N,0()) -> 0() 0.00/0.37 28: _*_(s_(N),s_(M)) -> U11(tt(),M,N) 0.00/0.37 29: _+_(N,0()) -> N 0.00/0.37 30: _+_(s_(N),s_(M)) -> U21(tt(),M,N) 0.00/0.37 31: _<_(N,M) -> U31(tt(),M,N) 0.00/0.37 32: _>_(0(),M) -> false() 0.00/0.37 33: _>_(N',0()) -> true() 0.00/0.37 34: _>_(s_(N),s_(M)) -> U41(tt(),M,N) 0.00/0.37 35: d(0(),N) -> N 0.00/0.37 36: d(s_(N),s_(M)) -> U51(tt(),M,N) 0.00/0.37 37: equal(X,X) -> tt() 0.00/0.37 38: gcd(0(),N) -> 0() 0.00/0.37 39: gcd(N',M') -> U61(tt(),M',N') 0.00/0.37 40: gcd(N',N') -> N' 0.00/0.37 41: p_(s_(N)) -> N 0.00/0.37 42: quot(M',M') -> s_(0()) 0.00/0.37 43: quot(N,M') -> U71(tt(),M',N) 0.00/0.37 44: quot(N,M') -> U81(tt(),M',N) 0.00/0.37 Number of strict rules: 44 0.00/0.37 Direct POLO(bPol) ... failed. 0.00/0.37 Uncurrying U71 U41 U42 U32 U12 U51 U22 U62 U72 U82 U81 U11 U21 U31 U61 U52 0.00/0.37 C symbols: d _+_ _*_ gcd 0.00/0.37 1: 1() -> s_(0()) 0.00/0.37 2: 2() -> s_(s_(0())) 0.00/0.37 3: 3() -> s_(s_(s_(0()))) 0.00/0.37 4: 4() -> s_(s_(s_(s_(0())))) 0.00/0.37 5: 5() -> s_(s_(s_(s_(s_(0()))))) 0.00/0.37 6: 6() -> s_(s_(s_(s_(s_(s_(0())))))) 0.00/0.37 7: 7() -> s_(s_(s_(s_(s_(s_(s_(0()))))))) 0.00/0.37 8: U11^1_tt(M,N) -> U12^1_tt(M,N) 0.00/0.37 9: U12^1_tt(M,N) -> s_(_+_(N,_+_(M,_*_(N,M)))) 0.00/0.37 10: U21^1_tt(M,N) -> U22^1_tt(M,N) 0.00/0.37 11: U22^1_tt(M,N) -> s_(s_(_+_(N,M))) 0.00/0.37 12: U31^1_tt(M,N) -> U32^1_tt(M,N) 0.00/0.37 13: U32^1_tt(M,N) -> _>_(M,N) 0.00/0.37 14: U41^1_tt(M,N) -> U42^1_tt(M,N) 0.00/0.37 15: U42^1_tt(M,N) -> _>_(N,M) 0.00/0.37 16: U51^1_tt(M,N) -> U52^1_tt(M,N) 0.00/0.37 17: U52^1_tt(M,N) -> d(N,M) 0.00/0.37 18: U61^1_tt(M',N') -> U62^1_tt(M',N') 0.00/0.37 19: U62^1_tt(M',N') -> U63(equal(_>_(N',M'),true()),M',N') 0.00/0.37 20: U63(tt(),M',N') -> gcd(d(N',M'),M') 0.00/0.37 21: U71^1_tt(M',N) -> U72^1_tt(M',N) 0.00/0.37 22: U72^1_tt(M',N) -> U73(equal(_>_(M',N),true())) 0.00/0.37 23: U73(tt()) -> 0() 0.00/0.37 24: U81^1_tt(M',N) -> U82^1_tt(M',N) 0.00/0.37 25: U82^1_tt(M',N) -> U83(equal(_>_(N,M'),true()),M',N) 0.00/0.37 26: U83(tt(),M',N) -> s_(quot(d(N,M'),M')) 0.00/0.37 27: _*_(N,0()) -> 0() 0.00/0.37 28: _*_(s_(N),s_(M)) -> U11^1_tt(M,N) 0.00/0.37 29: _+_(N,0()) -> N 0.00/0.37 30: _+_(s_(N),s_(M)) -> U21^1_tt(M,N) 0.00/0.37 31: _<_(N,M) -> U31^1_tt(M,N) 0.00/0.37 32: _>_(0(),M) -> false() 0.00/0.37 33: _>_(N',0()) -> true() 0.00/0.37 34: _>_(s_(N),s_(M)) -> U41^1_tt(M,N) 0.00/0.37 35: d(0(),N) -> N 0.00/0.37 36: d(s_(N),s_(M)) -> U51^1_tt(M,N) 0.00/0.37 37: equal(X,X) -> tt() 0.00/0.37 38: gcd(0(),N) -> 0() 0.00/0.37 39: gcd(N',M') -> U61^1_tt(M',N') 0.00/0.37 40: gcd(N',N') -> N' 0.00/0.37 41: p_(s_(N)) -> N 0.00/0.37 42: quot(M',M') -> s_(0()) 0.00/0.37 43: quot(N,M') -> U71^1_tt(M',N) 0.00/0.37 44: quot(N,M') -> U81^1_tt(M',N) 0.00/0.37 45: U52(tt(),_2,_3) ->= U52^1_tt(_2,_3) 0.00/0.37 46: U61(tt(),_2,_3) ->= U61^1_tt(_2,_3) 0.00/0.37 47: U31(tt(),_2,_3) ->= U31^1_tt(_2,_3) 0.00/0.37 48: U21(tt(),_2,_3) ->= U21^1_tt(_2,_3) 0.00/0.37 49: U11(tt(),_2,_3) ->= U11^1_tt(_2,_3) 0.00/0.37 50: U81(tt(),_2,_3) ->= U81^1_tt(_2,_3) 0.00/0.37 51: U82(tt(),_2,_3) ->= U82^1_tt(_2,_3) 0.00/0.37 52: U72(tt(),_2,_3) ->= U72^1_tt(_2,_3) 0.00/0.37 53: U62(tt(),_2,_3) ->= U62^1_tt(_2,_3) 0.00/0.37 54: U22(tt(),_2,_3) ->= U22^1_tt(_2,_3) 0.00/0.37 55: U51(tt(),_2,_3) ->= U51^1_tt(_2,_3) 0.00/0.37 56: U12(tt(),_2,_3) ->= U12^1_tt(_2,_3) 0.00/0.37 57: U32(tt(),_2,_3) ->= U32^1_tt(_2,_3) 0.00/0.37 58: U42(tt(),_2,_3) ->= U42^1_tt(_2,_3) 0.00/0.37 59: U41(tt(),_2,_3) ->= U41^1_tt(_2,_3) 0.00/0.37 60: U71(tt(),_2,_3) ->= U71^1_tt(_2,_3) 0.00/0.37 Number of strict rules: 44 0.00/0.37 Direct POLO(bPol) ... failed. 0.00/0.37 Dependency Pairs: 0.00/0.37 #1: #quot(N,M') -> #U71^1_tt(M',N) 0.00/0.37 #2: #U61(tt(),_2,_3) ->? #U61^1_tt(_2,_3) 0.00/0.37 #3: #U31(tt(),_2,_3) ->? #U31^1_tt(_2,_3) 0.00/0.37 #4: #U62(tt(),_2,_3) ->? #U62^1_tt(_2,_3) 0.00/0.37 #5: #U21(tt(),_2,_3) ->? #U21^1_tt(_2,_3) 0.00/0.37 #6: #U42(tt(),_2,_3) ->? #U42^1_tt(_2,_3) 0.00/0.37 #7: #U41(tt(),_2,_3) ->? #U41^1_tt(_2,_3) 0.00/0.37 #8: #U51(tt(),_2,_3) ->? #U51^1_tt(_2,_3) 0.00/0.37 #9: #U82(tt(),_2,_3) ->? #U82^1_tt(_2,_3) 0.00/0.37 #10: #U32^1_tt(M,N) -> #_>_(M,N) 0.00/0.37 #11: #U12^1_tt(M,N) -> #_+_(N,_+_(M,_*_(N,M))) 0.00/0.37 #12: #U12^1_tt(M,N) -> #_+_(M,_*_(N,M)) 0.00/0.37 #13: #U12^1_tt(M,N) -> #_*_(N,M) 0.00/0.37 #14: #U22^1_tt(M,N) -> #_+_(N,M) 0.00/0.37 #15: #U32(tt(),_2,_3) ->? #U32^1_tt(_2,_3) 0.00/0.37 #16: #U81^1_tt(M',N) -> #U82^1_tt(M',N) 0.00/0.37 #17: #U52(tt(),_2,_3) ->? #U52^1_tt(_2,_3) 0.00/0.37 #18: #U31^1_tt(M,N) -> #U32^1_tt(M,N) 0.00/0.37 #19: #_<_(N,M) -> #U31^1_tt(M,N) 0.00/0.37 #20: #U12(tt(),_2,_3) ->? #U12^1_tt(_2,_3) 0.00/0.37 #21: #U41^1_tt(M,N) -> #U42^1_tt(M,N) 0.00/0.37 #22: #_+_(s_(N),s_(M)) -> #U21^1_tt(M,N) 0.00/0.37 #23: #U11(tt(),_2,_3) ->? #U11^1_tt(_2,_3) 0.00/0.37 #24: #U72(tt(),_2,_3) ->? #U72^1_tt(_2,_3) 0.00/0.37 #25: #U82^1_tt(M',N) -> #U83(equal(_>_(N,M'),true()),M',N) 0.00/0.37 #26: #U82^1_tt(M',N) -> #equal(_>_(N,M'),true()) 0.00/0.37 #27: #U82^1_tt(M',N) -> #_>_(N,M') 0.00/0.37 #28: #U63(tt(),M',N') -> #gcd(d(N',M'),M') 0.00/0.37 #29: #U63(tt(),M',N') -> #d(N',M') 0.00/0.37 #30: #gcd(N',M') -> #U61^1_tt(M',N') 0.00/0.37 #31: #U21^1_tt(M,N) -> #U22^1_tt(M,N) 0.00/0.37 #32: #quot(N,M') -> #U81^1_tt(M',N) 0.00/0.37 #33: #_*_(s_(N),s_(M)) -> #U11^1_tt(M,N) 0.00/0.37 #34: #U72^1_tt(M',N) -> #U73(equal(_>_(M',N),true())) 0.00/0.37 #35: #U72^1_tt(M',N) -> #equal(_>_(M',N),true()) 0.00/0.37 #36: #U72^1_tt(M',N) -> #_>_(M',N) 0.00/0.37 #37: #_>_(s_(N),s_(M)) -> #U41^1_tt(M,N) 0.00/0.37 #38: #U71(tt(),_2,_3) ->? #U71^1_tt(_2,_3) 0.00/0.37 #39: #U52^1_tt(M,N) -> #d(N,M) 0.00/0.37 #40: #U62^1_tt(M',N') -> #U63(equal(_>_(N',M'),true()),M',N') 0.00/0.37 #41: #U62^1_tt(M',N') -> #equal(_>_(N',M'),true()) 0.00/0.37 #42: #U62^1_tt(M',N') -> #_>_(N',M') 0.00/0.37 #43: #U83(tt(),M',N) -> #quot(d(N,M'),M') 0.00/0.37 #44: #U83(tt(),M',N) -> #d(N,M') 0.00/0.37 #45: #d(s_(N),s_(M)) -> #U51^1_tt(M,N) 0.00/0.37 #46: #U71^1_tt(M',N) -> #U72^1_tt(M',N) 0.00/0.37 #47: #U51^1_tt(M,N) -> #U52^1_tt(M,N) 0.00/0.37 #48: #U22(tt(),_2,_3) ->? #U22^1_tt(_2,_3) 0.00/0.37 #49: #U11^1_tt(M,N) -> #U12^1_tt(M,N) 0.00/0.37 #50: #U42^1_tt(M,N) -> #_>_(N,M) 0.00/0.37 #51: #U81(tt(),_2,_3) ->? #U81^1_tt(_2,_3) 0.00/0.37 #52: #U61^1_tt(M',N') -> #U62^1_tt(M',N') 0.00/0.37 Number of SCCs: 6, DPs: 20 0.00/0.37 SCC { #39 #45 #47 } 0.00/0.37 POLO(Sum)... succeeded. 0.00/0.37 7 w: 0 0.00/0.37 #U72 w: 0 0.00/0.37 #U32 w: 0 0.00/0.37 U21 w: 0 0.00/0.37 #U83 w: 0 0.00/0.37 1 w: 0 0.00/0.37 U71^1_tt w: 0 0.00/0.37 U11 w: 0 0.00/0.37 d w: 0 0.00/0.37 #U72^1_tt w: 0 0.00/0.37 4 w: 0 0.00/0.37 #U32^1_tt w: 0 0.00/0.37 #U82^1_tt w: 0 0.00/0.37 #7 w: 0 0.00/0.37 #_+_ w: 0 0.00/0.37 #U42^1_tt w: 0 0.00/0.37 5 w: 0 0.00/0.37 _*_ w: 0 0.00/0.37 _+_ w: 0 0.00/0.37 #U52^1_tt w: x1 + x2 + 2 0.00/0.37 U42 w: 0 0.00/0.37 gcd w: 0 0.00/0.37 #equal w: 0 0.00/0.37 #U31^1_tt w: 0 0.00/0.37 #U22^1_tt w: 0 0.00/0.37 #U82 w: 0 0.00/0.37 U61^1_tt w: 0 0.00/0.37 3 w: 0 0.00/0.37 U71 w: 0 0.00/0.37 #U81 w: 0 0.00/0.37 U52^1_tt w: 0 0.00/0.37 #_*_ w: 0 0.00/0.37 #6 w: 0 0.00/0.37 false w: 0 0.00/0.37 U41^1_tt w: 0 0.00/0.37 #2 w: 0 0.00/0.37 #U81^1_tt w: 0 0.00/0.37 U63 w: 0 0.00/0.37 U72 w: 0 0.00/0.37 #U62^1_tt w: 0 0.00/0.37 U62^1_tt w: 0 0.00/0.37 #p_ w: 0 0.00/0.37 U81^1_tt w: 0 0.00/0.37 #U52 w: 0 0.00/0.37 U12 w: 0 0.00/0.37 _>_ w: 0 0.00/0.37 true w: 0 0.00/0.37 U22^1_tt w: 0 0.00/0.37 #_<_ w: 0 0.00/0.37 #U51^1_tt w: x1 + x2 + 4 0.00/0.37 #4 w: 0 0.00/0.37 #U42 w: 0 0.00/0.37 #U12 w: 0 0.00/0.37 #U62 w: 0 0.00/0.37 U83 w: 0 0.00/0.37 s_ w: x1 + 3 0.00/0.37 0 w: 0 0.00/0.37 U21^1_tt w: 0 0.00/0.37 #U21^1_tt w: 0 0.00/0.37 quot w: 0 0.00/0.37 U42^1_tt w: 0 0.00/0.37 U73 w: 0 0.00/0.37 #U73 w: 0 0.00/0.37 U11^1_tt w: 0 0.00/0.37 U62 w: 0 0.00/0.37 #U63 w: 0 0.00/0.37 #3 w: 0 0.00/0.37 #d w: x1 + x2 0.00/0.37 #U71^1_tt w: 0 0.00/0.37 U31^1_tt w: 0 0.00/0.37 #U12^1_tt w: 0 0.00/0.37 U32 w: 0 0.00/0.37 U51^1_tt w: 0 0.00/0.37 _<_ w: 0 0.00/0.37 U12^1_tt w: 0 0.00/0.37 p_ w: 0 0.00/0.37 U52 w: 0 0.00/0.37 U61 w: 0 0.00/0.37 #U51 w: 0 0.00/0.37 #5 w: 0 0.00/0.37 #U11 w: 0 0.00/0.37 2 w: 0 0.00/0.37 U31 w: 0 0.00/0.37 #U41^1_tt w: 0 0.00/0.37 #U41 w: 0 0.00/0.37 equal w: 0 0.00/0.37 #U21 w: 0 0.00/0.37 6 w: 0 0.00/0.37 U81 w: 0 0.00/0.37 U82 w: 0 0.00/0.37 #U22 w: 0 0.00/0.37 #_>_ w: 0 0.00/0.37 tt w: 0 0.00/0.37 U32^1_tt w: 0 0.00/0.37 #quot w: 0 0.00/0.37 U82^1_tt w: 0 0.00/0.37 #U71 w: 0 0.00/0.37 U72^1_tt w: 0 0.00/0.37 #1 w: 0 0.00/0.37 U22 w: 0 0.00/0.37 U51 w: 0 0.00/0.37 #U61^1_tt w: 0 0.00/0.37 U41 w: 0 0.00/0.37 #U31 w: 0 0.00/0.37 #U61 w: 0 0.00/0.37 #U11^1_tt w: 0 0.00/0.37 #gcd w: 0 0.00/0.37 USABLE RULES: { } 0.00/0.37 Removed DPs: #39 #45 #47 0.00/0.38 Number of SCCs: 5, DPs: 17 0.00/0.38 SCC { #21 #37 #50 } 0.00/0.38 POLO(Sum)... succeeded. 0.00/0.38 7 w: 0 0.00/0.38 #U72 w: 0 0.00/0.38 #U32 w: 0 0.00/0.38 U21 w: 0 0.00/0.38 #U83 w: 0 0.00/0.38 1 w: 0 0.00/0.38 U71^1_tt w: 0 0.00/0.38 U11 w: 0 0.00/0.38 d w: 0 0.00/0.38 #U72^1_tt w: 0 0.00/0.38 4 w: 0 0.00/0.38 #U32^1_tt w: 0 0.00/0.38 #U82^1_tt w: 0 0.00/0.38 #7 w: 0 0.00/0.38 #_+_ w: 0 0.00/0.38 #U42^1_tt w: x1 + 1 0.00/0.38 5 w: 0 0.00/0.38 _*_ w: 0 0.00/0.38 _+_ w: 0 0.00/0.38 #U52^1_tt w: 1 0.00/0.38 U42 w: 0 0.00/0.38 gcd w: 0 0.00/0.38 #equal w: 0 0.00/0.38 #U31^1_tt w: 0 0.00/0.38 #U22^1_tt w: 0 0.00/0.38 #U82 w: 0 0.00/0.38 U61^1_tt w: 0 0.00/0.38 3 w: 0 0.00/0.38 U71 w: 0 0.00/0.38 #U81 w: 0 0.00/0.38 U52^1_tt w: 0 0.00/0.38 #_*_ w: 0 0.00/0.38 #6 w: 0 0.00/0.38 false w: 0 0.00/0.38 U41^1_tt w: 0 0.00/0.38 #2 w: 0 0.00/0.38 #U81^1_tt w: 0 0.00/0.38 U63 w: 0 0.00/0.38 U72 w: 0 0.00/0.38 #U62^1_tt w: 0 0.00/0.38 U62^1_tt w: 0 0.00/0.38 #p_ w: 0 0.00/0.38 U81^1_tt w: 0 0.00/0.38 #U52 w: 0 0.00/0.38 U12 w: 0 0.00/0.38 _>_ w: 0 0.00/0.38 true w: 0 0.00/0.38 U22^1_tt w: 0 0.00/0.38 #_<_ w: 0 0.00/0.38 #U51^1_tt w: 2 0.00/0.38 #4 w: 0 0.00/0.38 #U42 w: 0 0.00/0.38 #U12 w: 0 0.00/0.38 #U62 w: 0 0.00/0.38 U83 w: 0 0.00/0.38 s_ w: x1 + 3 0.00/0.38 0 w: 0 0.00/0.38 U21^1_tt w: 0 0.00/0.38 #U21^1_tt w: 0 0.00/0.38 quot w: 0 0.00/0.38 U42^1_tt w: 0 0.00/0.38 U73 w: 0 0.00/0.38 #U73 w: 0 0.00/0.38 U11^1_tt w: 0 0.00/0.38 U62 w: 0 0.00/0.38 #U63 w: 0 0.00/0.38 #3 w: 0 0.00/0.38 #d w: 0 0.00/0.38 #U71^1_tt w: 0 0.00/0.38 U31^1_tt w: 0 0.00/0.38 #U12^1_tt w: 0 0.00/0.38 U32 w: 0 0.00/0.38 U51^1_tt w: 0 0.00/0.38 _<_ w: 0 0.00/0.38 U12^1_tt w: 0 0.00/0.38 p_ w: 0 0.00/0.38 U52 w: 0 0.00/0.38 U61 w: 0 0.00/0.38 #U51 w: 0 0.00/0.38 #5 w: 0 0.00/0.38 #U11 w: 0 0.00/0.38 2 w: 0 0.00/0.38 U31 w: 0 0.00/0.38 #U41^1_tt w: x1 + 2 0.00/0.38 #U41 w: 0 0.00/0.38 equal w: 0 0.00/0.38 #U21 w: 0 0.00/0.38 6 w: 0 0.00/0.38 U81 w: 0 0.00/0.38 U82 w: 0 0.00/0.38 #U22 w: 0 0.00/0.38 #_>_ w: x2 0.00/0.38 tt w: 0 0.00/0.38 U32^1_tt w: 0 0.00/0.38 #quot w: 0 0.00/0.38 U82^1_tt w: 0 0.00/0.38 #U71 w: 0 0.00/0.38 U72^1_tt w: 0 0.00/0.38 #1 w: 0 0.00/0.38 U22 w: 0 0.00/0.38 U51 w: 0 0.00/0.38 #U61^1_tt w: 0 0.00/0.38 U41 w: 0 0.00/0.38 #U31 w: 0 0.00/0.38 #U61 w: 0 0.00/0.38 #U11^1_tt w: 0 0.00/0.38 #gcd w: 0 0.00/0.38 USABLE RULES: { } 0.00/0.38 Removed DPs: #21 #37 #50 0.00/0.38 Number of SCCs: 4, DPs: 14 0.00/0.38 SCC { #13 #33 #49 } 0.00/0.38 POLO(Sum)... succeeded. 0.00/0.38 7 w: 0 0.00/0.38 #U72 w: 0 0.00/0.38 #U32 w: 0 0.00/0.38 U21 w: 0 0.00/0.38 #U83 w: 0 0.00/0.38 1 w: 0 0.00/0.38 U71^1_tt w: 0 0.00/0.38 U11 w: 0 0.00/0.38 d w: 0 0.00/0.38 #U72^1_tt w: 0 0.00/0.38 4 w: 0 0.00/0.38 #U32^1_tt w: 0 0.00/0.38 #U82^1_tt w: 0 0.00/0.38 #7 w: 0 0.00/0.38 #_+_ w: 0 0.00/0.38 #U42^1_tt w: 1 0.00/0.38 5 w: 0 0.00/0.38 _*_ w: 0 0.00/0.38 _+_ w: 0 0.00/0.38 #U52^1_tt w: 1 0.00/0.38 U42 w: 0 0.00/0.38 gcd w: 0 0.00/0.38 #equal w: 0 0.00/0.38 #U31^1_tt w: 0 0.00/0.38 #U22^1_tt w: 0 0.00/0.38 #U82 w: 0 0.00/0.38 U61^1_tt w: 0 0.00/0.38 3 w: 0 0.00/0.38 U71 w: 0 0.00/0.38 #U81 w: 0 0.00/0.38 U52^1_tt w: 0 0.00/0.38 #_*_ w: x1 + x2 0.00/0.38 #6 w: 0 0.00/0.38 false w: 0 0.00/0.38 U41^1_tt w: 0 0.00/0.38 #2 w: 0 0.00/0.38 #U81^1_tt w: 0 0.00/0.38 U63 w: 0 0.00/0.38 U72 w: 0 0.00/0.38 #U62^1_tt w: 0 0.00/0.38 U62^1_tt w: 0 0.00/0.38 #p_ w: 0 0.00/0.38 U81^1_tt w: 0 0.00/0.38 #U52 w: 0 0.00/0.38 U12 w: 0 0.00/0.38 _>_ w: 0 0.00/0.38 true w: 0 0.00/0.38 U22^1_tt w: 0 0.00/0.38 #_<_ w: 0 0.00/0.38 #U51^1_tt w: 2 0.00/0.38 #4 w: 0 0.00/0.38 #U42 w: 0 0.00/0.38 #U12 w: 0 0.00/0.38 #U62 w: 0 0.00/0.38 U83 w: 0 0.00/0.38 s_ w: x1 + 3 0.00/0.38 0 w: 0 0.00/0.38 U21^1_tt w: 0 0.00/0.38 #U21^1_tt w: 0 0.00/0.38 quot w: 0 0.00/0.38 U42^1_tt w: 0 0.00/0.38 U73 w: 0 0.00/0.38 #U73 w: 0 0.00/0.38 U11^1_tt w: 0 0.00/0.38 U62 w: 0 0.00/0.38 #U63 w: 0 0.00/0.38 #3 w: 0 0.00/0.38 #d w: 0 0.00/0.38 #U71^1_tt w: 0 0.00/0.38 U31^1_tt w: 0 0.00/0.38 #U12^1_tt w: x1 + x2 + 2 0.00/0.38 U32 w: 0 0.00/0.38 U51^1_tt w: 0 0.00/0.38 _<_ w: 0 0.00/0.38 U12^1_tt w: 0 0.00/0.38 p_ w: 0 0.00/0.38 U52 w: 0 0.00/0.38 U61 w: 0 0.00/0.38 #U51 w: 0 0.00/0.38 #5 w: 0 0.00/0.38 #U11 w: 0 0.00/0.38 2 w: 0 0.00/0.38 U31 w: 0 0.00/0.38 #U41^1_tt w: 2 0.00/0.38 #U41 w: 0 0.00/0.38 equal w: 0 0.00/0.38 #U21 w: 0 0.00/0.38 6 w: 0 0.00/0.38 U81 w: 0 0.00/0.38 U82 w: 0 0.00/0.38 #U22 w: 0 0.00/0.38 #_>_ w: 0 0.00/0.38 tt w: 0 0.00/0.38 U32^1_tt w: 0 0.00/0.38 #quot w: 0 0.00/0.38 U82^1_tt w: 0 0.00/0.38 #U71 w: 0 0.00/0.38 U72^1_tt w: 0 0.00/0.38 #1 w: 0 0.00/0.38 U22 w: 0 0.00/0.38 U51 w: 0 0.00/0.38 #U61^1_tt w: 0 0.00/0.38 U41 w: 0 0.00/0.38 #U31 w: 0 0.00/0.38 #U61 w: 0 0.00/0.38 #U11^1_tt w: x1 + x2 + 4 0.00/0.38 #gcd w: 0 0.00/0.38 USABLE RULES: { } 0.00/0.38 Removed DPs: #13 #33 #49 0.00/0.38 Number of SCCs: 3, DPs: 11 0.00/0.38 SCC { #14 #22 #31 } 0.00/0.38 POLO(Sum)... succeeded. 0.00/0.38 7 w: 0 0.00/0.38 #U72 w: 0 0.00/0.38 #U32 w: 0 0.00/0.38 U21 w: 0 0.00/0.38 #U83 w: 0 0.00/0.38 1 w: 0 0.00/0.38 U71^1_tt w: 0 0.00/0.38 U11 w: 0 0.00/0.38 d w: 0 0.00/0.38 #U72^1_tt w: 0 0.00/0.38 4 w: 0 0.00/0.38 #U32^1_tt w: 0 0.00/0.38 #U82^1_tt w: 0 0.00/0.38 #7 w: 0 0.00/0.38 #_+_ w: x1 + x2 0.00/0.38 #U42^1_tt w: 1 0.00/0.38 5 w: 0 0.00/0.38 _*_ w: 0 0.00/0.38 _+_ w: 0 0.00/0.38 #U52^1_tt w: 1 0.00/0.38 U42 w: 0 0.00/0.38 gcd w: 0 0.00/0.38 #equal w: 0 0.00/0.38 #U31^1_tt w: 0 0.00/0.38 #U22^1_tt w: x1 + x2 + 2 0.00/0.38 #U82 w: 0 0.00/0.38 U61^1_tt w: 0 0.00/0.38 3 w: 0 0.00/0.38 U71 w: 0 0.00/0.38 #U81 w: 0 0.00/0.38 U52^1_tt w: 0 0.00/0.38 #_*_ w: 0 0.00/0.38 #6 w: 0 0.00/0.38 false w: 0 0.00/0.38 U41^1_tt w: 0 0.00/0.38 #2 w: 0 0.00/0.38 #U81^1_tt w: 0 0.00/0.38 U63 w: 0 0.00/0.38 U72 w: 0 0.00/0.38 #U62^1_tt w: 0 0.00/0.38 U62^1_tt w: 0 0.00/0.38 #p_ w: 0 0.00/0.38 U81^1_tt w: 0 0.00/0.38 #U52 w: 0 0.00/0.38 U12 w: 0 0.00/0.38 _>_ w: 0 0.00/0.38 true w: 0 0.00/0.38 U22^1_tt w: 0 0.00/0.38 #_<_ w: 0 0.00/0.38 #U51^1_tt w: 2 0.00/0.38 #4 w: 0 0.00/0.38 #U42 w: 0 0.00/0.38 #U12 w: 0 0.00/0.38 #U62 w: 0 0.00/0.38 U83 w: 0 0.00/0.38 s_ w: x1 + 3 0.00/0.38 0 w: 0 0.00/0.38 U21^1_tt w: 0 0.00/0.38 #U21^1_tt w: x1 + x2 + 4 0.00/0.38 quot w: 0 0.00/0.38 U42^1_tt w: 0 0.00/0.38 U73 w: 0 0.00/0.38 #U73 w: 0 0.00/0.38 U11^1_tt w: 0 0.00/0.38 U62 w: 0 0.00/0.38 #U63 w: 0 0.00/0.38 #3 w: 0 0.00/0.38 #d w: 0 0.00/0.38 #U71^1_tt w: 0 0.00/0.38 U31^1_tt w: 0 0.00/0.38 #U12^1_tt w: 1 0.00/0.38 U32 w: 0 0.00/0.38 U51^1_tt w: 0 0.00/0.38 _<_ w: 0 0.00/0.38 U12^1_tt w: 0 0.00/0.38 p_ w: 0 0.00/0.38 U52 w: 0 0.00/0.38 U61 w: 0 0.00/0.38 #U51 w: 0 0.00/0.38 #5 w: 0 0.00/0.38 #U11 w: 0 0.00/0.38 2 w: 0 0.00/0.38 U31 w: 0 0.00/0.38 #U41^1_tt w: 2 0.00/0.38 #U41 w: 0 0.00/0.38 equal w: 0 0.00/0.38 #U21 w: 0 0.00/0.38 6 w: 0 0.00/0.38 U81 w: 0 0.00/0.38 U82 w: 0 0.00/0.38 #U22 w: 0 0.00/0.38 #_>_ w: 0 0.00/0.38 tt w: 0 0.00/0.38 U32^1_tt w: 0 0.00/0.38 #quot w: 0 0.00/0.38 U82^1_tt w: 0 0.00/0.38 #U71 w: 0 0.00/0.38 U72^1_tt w: 0 0.00/0.38 #1 w: 0 0.00/0.38 U22 w: 0 0.00/0.38 U51 w: 0 0.00/0.38 #U61^1_tt w: 0 0.00/0.38 U41 w: 0 0.00/0.38 #U31 w: 0 0.00/0.38 #U61 w: 0 0.00/0.38 #U11^1_tt w: 2 0.00/0.38 #gcd w: 0 0.00/0.38 USABLE RULES: { } 0.00/0.38 Removed DPs: #14 #22 #31 0.00/0.38 Number of SCCs: 2, DPs: 8 0.00/0.38 SCC { #16 #25 #32 #43 } 0.00/0.38 POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed. 0.00/0.38 Finding a loop... failed. 0.00/0.38 EOF