22.44/22.57 YES 22.44/22.57 22.44/22.57 Problem 1: 22.44/22.57 22.44/22.57 (VAR v_NonEmpty:S fun:S x:S xs:S y:S) 22.44/22.57 (RULES 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ) 22.44/22.57 (STRATEGY INNERMOST) 22.44/22.57 22.44/22.57 Problem 1: 22.44/22.57 22.44/22.57 Dependency Pairs Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(f,app(g,app(s,0))),y:S) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(f,app(g,app(s,0))) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(g,app(s,0)) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(filter2,app(fun:S,x:S)),fun:S),x:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(filter2,app(fun:S,x:S)),fun:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(filter2,app(fun:S,x:S)) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(map,fun:S),xs:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(cons,app(fun:S,x:S)) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(g,app(s,x:S)) -> APP(g,x:S) 22.44/22.57 APP(g,app(s,x:S)) -> APP(s,app(g,x:S)) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 22.44/22.57 Problem 1: 22.44/22.57 22.44/22.57 SCC Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(f,app(g,app(s,0))),y:S) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(f,app(g,app(s,0))) 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(g,app(s,0)) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(filter2,app(fun:S,x:S)),fun:S),x:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(filter2,app(fun:S,x:S)),fun:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(filter2,app(fun:S,x:S)) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(map,fun:S),xs:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(cons,app(fun:S,x:S)) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(g,app(s,x:S)) -> APP(g,x:S) 22.44/22.57 APP(g,app(s,x:S)) -> APP(s,app(g,x:S)) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Strongly Connected Components: 22.44/22.57 ->->Cycle: 22.44/22.57 ->->-> Pairs: 22.44/22.57 APP(g,app(s,x:S)) -> APP(g,x:S) 22.44/22.57 ->->-> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->->Cycle: 22.44/22.57 ->->-> Pairs: 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 ->->-> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->->Cycle: 22.44/22.57 ->->-> Pairs: 22.44/22.57 APP(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(map,fun:S),xs:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 ->->-> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 22.44/22.57 22.44/22.57 The problem is decomposed in 3 subproblems. 22.44/22.57 22.44/22.57 Problem 1.1: 22.44/22.57 22.44/22.57 Subterm Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(g,app(s,x:S)) -> APP(g,x:S) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Projection: 22.44/22.57 pi(APP) = 2 22.44/22.57 22.44/22.57 Problem 1.1: 22.44/22.57 22.44/22.57 SCC Processor: 22.44/22.57 -> Pairs: 22.44/22.57 Empty 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Strongly Connected Components: 22.44/22.57 There is no strongly connected component 22.44/22.57 22.44/22.57 The problem is finite. 22.44/22.57 22.44/22.57 Problem 1.2: 22.44/22.57 22.44/22.57 Instantiation Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Instantiated Pairs: 22.44/22.57 ->->Original Pair: 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),y:S) -> APP(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 ->-> Instantiated pairs: 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),app(g,x6:S)) -> APP(app(app(f,app(g,app(s,0))),app(g,x6:S)),app(g,x:S)) 22.44/22.57 22.44/22.57 Problem 1.2: 22.44/22.57 22.44/22.57 SCC Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(f,app(g,x:S)),app(s,0)),app(g,x6:S)) -> APP(app(app(f,app(g,app(s,0))),app(g,x6:S)),app(g,x:S)) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Strongly Connected Components: 22.44/22.57 There is no strongly connected component 22.44/22.57 22.44/22.57 The problem is finite. 22.44/22.57 22.44/22.57 Problem 1.3: 22.44/22.57 22.44/22.57 Subterm Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 APP(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(app(map,fun:S),xs:S) 22.44/22.57 APP(app(map,fun:S),app(app(cons,x:S),xs:S)) -> APP(fun:S,x:S) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Projection: 22.44/22.57 pi(APP) = 2 22.44/22.57 22.44/22.57 Problem 1.3: 22.44/22.57 22.44/22.57 SCC Processor: 22.44/22.57 -> Pairs: 22.44/22.57 APP(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 APP(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> APP(app(filter,fun:S),xs:S) 22.44/22.57 -> Rules: 22.44/22.57 app(app(app(app(filter2,ffalse),fun:S),x:S),xs:S) -> app(app(filter,fun:S),xs:S) 22.44/22.57 app(app(app(app(filter2,ttrue),fun:S),x:S),xs:S) -> app(app(cons,x:S),app(app(filter,fun:S),xs:S)) 22.44/22.57 app(app(app(f,app(g,x:S)),app(s,0)),y:S) -> app(app(app(f,app(g,app(s,0))),y:S),app(g,x:S)) 22.44/22.57 app(app(filter,fun:S),app(app(cons,x:S),xs:S)) -> app(app(app(app(filter2,app(fun:S,x:S)),fun:S),x:S),xs:S) 22.44/22.57 app(app(filter,fun:S),nil) -> nil 22.44/22.57 app(app(map,fun:S),app(app(cons,x:S),xs:S)) -> app(app(cons,app(fun:S,x:S)),app(app(map,fun:S),xs:S)) 22.44/22.57 app(app(map,fun:S),nil) -> nil 22.44/22.57 app(g,app(s,x:S)) -> app(s,app(g,x:S)) 22.44/22.57 app(g,0) -> 0 22.44/22.57 ->Strongly Connected Components: 22.44/22.57 There is no strongly connected component 22.44/22.57 22.44/22.57 The problem is finite. 22.44/22.57 EOF