MAYBE
160.10/55.51	MAYBE
160.10/55.51	
160.10/55.51	Problem:
160.10/55.51	 0(0(0(0(x1)))) -> 0(1(0(1(x1))))
160.10/55.51	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
160.10/55.51	
160.10/55.51	Proof:
160.10/55.51	 Open
160.10/55.51	EOF