MAYBE
0.07/0.19	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 f1() -> g1()
0.07/0.19	 f1() -> g2()
0.07/0.19	 f2() -> g1()
0.07/0.19	 f2() -> g2()
0.07/0.19	 g1() -> h1()
0.07/0.19	 g1() -> h2()
0.07/0.19	 g2() -> h1()
0.07/0.19	 g2() -> h2()
0.07/0.19	 h1() -> i()
0.07/0.19	 h2() -> i()
0.07/0.19	 e1(h1(),h2(),x,y,z) -> e2(x,x,y,z,z)
0.07/0.19	 e1(x1,x1,x,y,z) -> e5(x1,x,y,z)
0.07/0.19	 e2(f1(),x,y,z,f2()) -> e3(x,y,x,y,y,z,y,z,x,y,z)
0.07/0.19	 e2(x,x,y,z,z) -> e6(x,y,z)
0.07/0.19	 e2(i(),x,y,z,i()) -> e6(x,y,z)
0.07/0.19	 e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
0.07/0.19	 e3(x,y,x,y,y,z,y,z,x,y,z) -> e6(x,y,z)
0.07/0.19	 e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> e1(x1,x1,x,y,z)
0.07/0.19	 e4(i(),x1,i(),x1,i(),x1,i(),x1,x,y,z) -> e5(x1,x,y,z)
0.07/0.19	 e4(x,x,x,x,x,x,x,x,x,x,x) -> e6(x,x,x)
0.07/0.19	 e5(i(),x,y,z) -> e6(x,y,z)
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF