72.54/60.04	MAYBE
72.54/60.04	
72.54/60.04	Problem:
72.54/60.04	 F(A(),A()) -> G(B(),B())
72.54/60.04	 A() -> A'()
72.54/60.04	 F(A'(),x) -> F(x,x)
72.54/60.04	 F(x,A'()) -> F(x,x)
72.54/60.04	 G(B(),B()) -> F(A(),A())
72.54/60.04	 B() -> B'()
72.54/60.04	 G(B'(),x) -> G(x,x)
72.54/60.04	 G(x,B'()) -> G(x,x)
72.54/60.04	
72.54/60.04	Proof:
72.54/60.04	 Open
72.54/60.05	EOF