YES

Consider the TRS R consisting of the following rewrite rules:

	not(x) -> if(x,false,true)
	and(x,y) -> if(x,y,false)
	or(x,y) -> if(x,true,y)
	implies(x,y) -> if(x,y,true)
	=(x,x) -> true
	=(x,y) -> if(x,y,not(y))
	if(true,x,y) -> x
	if(false,x,y) -> y
	if(x,x,if(x,false,true)) -> true
	=(x,y) -> if(x,y,if(y,false,true))

The TRS R is terminating because R is roof-raise-bounded for
the set of all ground terms by 3.
A raise-compatible and quasi-deterministic tree automaton compatible
with roof(R) and the set of all ground terms has
	- 10 states (1,...,10)
	- 6 final states (1,4,5,8,9,10)
	- 933 transitions:
		2 -> 1
		3 -> 1
		4 -> 1
		5 -> 1
		6 -> 1
		7 -> 1
		8 -> 1
		9 -> 1
		10 -> 1
		not_1(10) -> 1
		not_1(4) -> 1
		not_1(8) -> 1
		not_1(5) -> 1
		not_1(9) -> 1
		not_1(1) -> 1
		not_0(5) -> 1
		not_0(9) -> 1
		not_0(1) -> 1
		not_0(10) -> 1
		not_0(4) -> 1
		not_0(8) -> 1
		true_3 -> 1
		true_3 -> 9
		true_3 -> 3
		true_3 -> 5
		true_3 -> 7
		true_3 -> 10
		true_2 -> 7
		true_2 -> 5
		true_2 -> 1
		true_2 -> 3
		true_2 -> 9
		true_1 -> 3
		true_1 -> 1
		true_1 -> 5
		true_0 -> 1
		or_0(5,5) -> 1
		or_0(8,1) -> 1
		or_0(1,10) -> 1
		or_0(8,8) -> 1
		or_0(10,9) -> 1
		or_0(5,9) -> 1
		or_0(8,5) -> 1
		or_0(1,4) -> 1
		or_0(4,10) -> 1
		or_0(8,9) -> 1
		or_0(9,4) -> 1
		or_0(10,10) -> 1
		or_0(1,8) -> 1
		or_0(4,4) -> 1
		or_0(9,1) -> 1
		or_0(1,5) -> 1
		or_0(9,8) -> 1
		or_0(1,1) -> 1
		or_0(4,8) -> 1
		or_0(8,10) -> 1
		or_0(9,5) -> 1
		or_0(1,9) -> 1
		or_0(4,5) -> 1
		or_0(5,10) -> 1
		or_0(4,1) -> 1
		or_0(10,4) -> 1
		or_0(9,9) -> 1
		or_0(4,9) -> 1
		or_0(5,4) -> 1
		or_0(10,1) -> 1
		or_0(5,1) -> 1
		or_0(10,8) -> 1
		or_0(5,8) -> 1
		or_0(8,4) -> 1
		or_0(9,10) -> 1
		or_0(10,5) -> 1
		=_0(5,5) -> 1
		=_0(8,1) -> 1
		=_0(1,10) -> 1
		=_0(8,8) -> 1
		=_0(10,9) -> 1
		=_0(5,9) -> 1
		=_0(8,5) -> 1
		=_0(1,4) -> 1
		=_0(4,10) -> 1
		=_0(8,9) -> 1
		=_0(9,4) -> 1
		=_0(10,10) -> 1
		=_0(1,8) -> 1
		=_0(4,4) -> 1
		=_0(9,1) -> 1
		=_0(1,5) -> 1
		=_0(9,8) -> 1
		=_0(1,1) -> 1
		=_0(4,8) -> 1
		=_0(8,10) -> 1
		=_0(9,5) -> 1
		=_0(1,9) -> 1
		=_0(4,5) -> 1
		=_0(5,10) -> 1
		=_0(4,1) -> 1
		=_0(10,4) -> 1
		=_0(9,9) -> 1
		=_0(4,9) -> 1
		=_0(5,4) -> 1
		=_0(10,1) -> 1
		=_0(5,1) -> 1
		=_0(10,8) -> 1
		=_0(5,8) -> 1
		=_0(8,4) -> 1
		=_0(9,10) -> 1
		=_0(10,5) -> 1
		implies_0(5,5) -> 1
		implies_0(8,1) -> 1
		implies_0(1,10) -> 1
		implies_0(8,8) -> 1
		implies_0(10,9) -> 1
		implies_0(5,9) -> 1
		implies_0(8,5) -> 1
		implies_0(1,4) -> 1
		implies_0(4,10) -> 1
		implies_0(8,9) -> 1
		implies_0(9,4) -> 1
		implies_0(10,10) -> 1
		implies_0(1,8) -> 1
		implies_0(4,4) -> 1
		implies_0(9,1) -> 1
		implies_0(1,5) -> 1
		implies_0(9,8) -> 1
		implies_0(1,1) -> 1
		implies_0(4,8) -> 1
		implies_0(8,10) -> 1
		implies_0(9,5) -> 1
		implies_0(1,9) -> 1
		implies_0(4,5) -> 1
		implies_0(5,10) -> 1
		implies_0(4,1) -> 1
		implies_0(10,4) -> 1
		implies_0(9,9) -> 1
		implies_0(4,9) -> 1
		implies_0(5,4) -> 1
		implies_0(10,1) -> 1
		implies_0(5,1) -> 1
		implies_0(10,8) -> 1
		implies_0(5,8) -> 1
		implies_0(8,4) -> 1
		implies_0(9,10) -> 1
		implies_0(10,5) -> 1
		and_0(5,5) -> 1
		and_0(8,1) -> 1
		and_0(1,10) -> 1
		and_0(8,8) -> 1
		and_0(10,9) -> 1
		and_0(5,9) -> 1
		and_0(8,5) -> 1
		and_0(1,4) -> 1
		and_0(4,10) -> 1
		and_0(8,9) -> 1
		and_0(9,4) -> 1
		and_0(10,10) -> 1
		and_0(1,8) -> 1
		and_0(4,4) -> 1
		and_0(9,1) -> 1
		and_0(1,5) -> 1
		and_0(9,8) -> 1
		and_0(1,1) -> 1
		and_0(4,8) -> 1
		and_0(8,10) -> 1
		and_0(9,5) -> 1
		and_0(1,9) -> 1
		and_0(4,5) -> 1
		and_0(5,10) -> 1
		and_0(4,1) -> 1
		and_0(10,4) -> 1
		and_0(9,9) -> 1
		and_0(4,9) -> 1
		and_0(5,4) -> 1
		and_0(10,1) -> 1
		and_0(5,1) -> 1
		and_0(10,8) -> 1
		and_0(5,8) -> 1
		and_0(8,4) -> 1
		and_0(9,10) -> 1
		and_0(10,5) -> 1
		false_2 -> 6
		false_2 -> 4
		false_2 -> 1
		false_2 -> 2
		false_2 -> 8
		false_1 -> 2
		false_1 -> 1
		false_1 -> 4
		false_0 -> 1
		if_2(4,1,1) -> 1
		if_2(8,5,10) -> 1
		if_2(5,1,1) -> 1
		if_2(9,5,10) -> 1
		if_2(10,5,10) -> 1
		if_2(8,1,1) -> 1
		if_2(9,1,1) -> 1
		if_2(10,1,1) -> 1
		if_2(1,1,4) -> 1
		if_2(1,1,5) -> 1
		if_2(4,1,4) -> 1
		if_2(5,1,4) -> 1
		if_2(4,1,5) -> 1
		if_2(5,1,5) -> 1
		if_2(8,1,4) -> 1
		if_2(1,4,10) -> 1
		if_2(9,1,4) -> 1
		if_2(10,1,4) -> 1
		if_2(8,1,5) -> 1
		if_2(4,4,10) -> 1
		if_2(9,1,5) -> 1
		if_2(10,1,5) -> 1
		if_2(1,10,1) -> 1
		if_2(5,4,10) -> 1
		if_2(4,10,1) -> 1
		if_2(8,4,10) -> 1
		if_2(5,10,1) -> 1
		if_2(9,4,10) -> 1
		if_2(10,4,10) -> 1
		if_2(8,10,1) -> 1
		if_2(9,10,1) -> 1
		if_2(1,2,9) -> 1
		if_2(10,10,1) -> 1
		if_2(1,10,4) -> 1
		if_2(4,2,9) -> 1
		if_2(1,10,5) -> 1
		if_2(4,10,4) -> 1
		if_2(5,2,9) -> 1
		if_2(5,10,4) -> 1
		if_2(4,10,5) -> 1
		if_2(8,2,9) -> 1
		if_2(5,10,5) -> 1
		if_2(8,10,4) -> 1
		if_2(9,2,9) -> 1
		if_2(10,2,9) -> 1
		if_2(9,10,4) -> 1
		if_2(10,10,4) -> 1
		if_2(8,10,5) -> 1
		if_2(9,10,5) -> 1
		if_2(1,9,1) -> 1
		if_2(10,10,5) -> 1
		if_2(4,9,1) -> 1
		if_2(5,9,1) -> 1
		if_2(1,1,8) -> 1
		if_2(8,9,1) -> 1
		if_2(1,1,9) -> 1
		if_2(4,1,8) -> 1
		if_2(9,9,1) -> 1
		if_2(10,9,1) -> 1
		if_2(5,1,8) -> 1
		if_2(1,9,4) -> 1
		if_2(4,1,9) -> 1
		if_2(1,9,5) -> 1
		if_2(8,1,8) -> 1
		if_2(4,9,4) -> 1
		if_2(5,1,9) -> 1
		if_2(9,1,8) -> 1
		if_2(5,9,4) -> 1
		if_2(10,1,8) -> 1
		if_2(4,9,5) -> 1
		if_2(8,1,9) -> 1
		if_2(1,2,10) -> 1
		if_2(5,9,5) -> 1
		if_2(8,9,4) -> 1
		if_2(9,1,9) -> 1
		if_2(9,9,4) -> 1
		if_2(10,1,9) -> 1
		if_2(10,9,4) -> 1
		if_2(4,2,10) -> 1
		if_2(8,9,5) -> 1
		if_2(5,2,10) -> 1
		if_2(9,9,5) -> 1
		if_2(1,8,1) -> 1
		if_2(10,9,5) -> 1
		if_2(8,2,10) -> 1
		if_2(4,8,1) -> 1
		if_2(9,2,10) -> 1
		if_2(5,8,1) -> 1
		if_2(10,2,10) -> 1
		if_2(1,10,8) -> 1
		if_2(1,8,3) -> 1
		if_2(8,8,1) -> 1
		if_2(9,8,1) -> 1
		if_2(10,8,1) -> 1
		if_2(1,10,9) -> 1
		if_2(4,10,8) -> 1
		if_2(1,8,4) -> 1
		if_2(4,8,3) -> 1
		if_2(5,10,8) -> 1
		if_2(5,8,3) -> 1
		if_2(4,10,9) -> 1
		if_2(4,8,4) -> 1
		if_2(1,8,5) -> 1
		if_2(8,10,8) -> 1
		if_2(5,8,4) -> 1
		if_2(8,8,3) -> 1
		if_2(5,10,9) -> 1
		if_2(9,10,8) -> 1
		if_2(9,8,3) -> 1
		if_2(10,8,3) -> 1
		if_2(10,10,8) -> 1
		if_2(4,8,5) -> 1
		if_2(1,1,10) -> 1
		if_2(8,10,9) -> 1
		if_2(8,8,4) -> 1
		if_2(5,8,5) -> 1
		if_2(9,8,4) -> 1
		if_2(9,10,9) -> 1
		if_2(10,8,4) -> 1
		if_2(10,10,9) -> 1
		if_2(4,1,10) -> 1
		if_2(8,8,5) -> 1
		if_2(5,1,10) -> 1
		if_2(9,8,5) -> 1
		if_2(10,8,5) -> 1
		if_2(8,1,10) -> 1
		if_2(9,1,10) -> 1
		if_2(10,1,10) -> 1
		if_2(1,9,8) -> 1
		if_2(1,9,9) -> 1
		if_2(4,9,8) -> 1
		if_2(5,9,8) -> 1
		if_2(4,9,9) -> 1
		if_2(5,9,9) -> 1
		if_2(8,9,8) -> 1
		if_2(9,9,8) -> 1
		if_2(10,9,8) -> 1
		if_2(8,9,9) -> 1
		if_2(1,10,10) -> 1
		if_2(9,9,9) -> 1
		if_2(10,9,9) -> 1
		if_2(4,10,10) -> 1
		if_2(5,10,10) -> 1
		if_2(1,8,7) -> 1
		if_2(8,10,10) -> 1
		if_2(9,10,10) -> 1
		if_2(10,10,10) -> 1
		if_2(1,8,8) -> 1
		if_2(4,8,7) -> 1
		if_2(5,8,7) -> 1
		if_2(1,8,9) -> 1
		if_2(4,8,8) -> 1
		if_2(5,8,8) -> 1
		if_2(8,8,7) -> 1
		if_2(9,8,7) -> 1
		if_2(10,8,7) -> 1
		if_2(4,8,9) -> 1
		if_2(5,8,9) -> 1
		if_2(8,8,8) -> 1
		if_2(9,8,8) -> 1
		if_2(10,8,8) -> 1
		if_2(8,8,9) -> 1
		if_2(1,9,10) -> 1
		if_2(9,8,9) -> 1
		if_2(10,8,9) -> 1
		if_2(4,9,10) -> 1
		if_2(1,5,1) -> 1
		if_2(5,9,10) -> 1
		if_2(4,5,1) -> 1
		if_2(8,9,10) -> 1
		if_2(5,5,1) -> 1
		if_2(9,9,10) -> 1
		if_2(10,9,10) -> 1
		if_2(8,5,1) -> 1
		if_2(9,5,1) -> 1
		if_2(10,5,1) -> 1
		if_2(1,5,4) -> 1
		if_2(1,5,5) -> 1
		if_2(4,5,4) -> 1
		if_2(5,5,4) -> 1
		if_2(4,5,5) -> 1
		if_2(5,5,5) -> 1
		if_2(8,5,4) -> 1
		if_2(9,5,4) -> 1
		if_2(1,8,10) -> 1
		if_2(10,5,4) -> 1
		if_2(8,5,5) -> 1
		if_2(9,5,5) -> 1
		if_2(1,4,1) -> 1
		if_2(4,8,10) -> 1
		if_2(10,5,5) -> 1
		if_2(5,8,10) -> 1
		if_2(4,4,1) -> 1
		if_2(1,6,7) -> 1
		if_2(5,4,1) -> 1
		if_2(8,8,10) -> 1
		if_2(9,8,10) -> 1
		if_2(4,6,7) -> 1
		if_2(10,8,10) -> 1
		if_2(1,4,3) -> 1
		if_2(8,4,1) -> 1
		if_2(5,6,7) -> 1
		if_2(9,4,1) -> 1
		if_2(10,4,1) -> 1
		if_2(1,4,4) -> 1
		if_2(4,4,3) -> 1
		if_2(1,6,9) -> 1
		if_2(8,6,7) -> 1
		if_2(5,4,3) -> 1
		if_2(9,6,7) -> 1
		if_2(10,6,7) -> 1
		if_2(1,4,5) -> 1
		if_2(4,4,4) -> 1
		if_2(4,6,9) -> 1
		if_2(5,4,4) -> 1
		if_2(8,4,3) -> 1
		if_2(5,6,9) -> 1
		if_2(9,4,3) -> 1
		if_2(10,4,3) -> 1
		if_2(4,4,5) -> 1
		if_2(5,4,5) -> 1
		if_2(8,4,4) -> 1
		if_2(8,6,9) -> 1
		if_2(9,4,4) -> 1
		if_2(9,6,9) -> 1
		if_2(10,4,4) -> 1
		if_2(10,6,9) -> 1
		if_2(8,4,5) -> 1
		if_2(9,4,5) -> 1
		if_2(10,4,5) -> 1
		if_2(1,5,8) -> 1
		if_2(4,5,8) -> 1
		if_2(1,5,9) -> 1
		if_2(5,5,8) -> 1
		if_2(4,5,9) -> 1
		if_2(8,5,8) -> 1
		if_2(5,5,9) -> 1
		if_2(9,5,8) -> 1
		if_2(10,5,8) -> 1
		if_2(8,5,9) -> 1
		if_2(1,6,10) -> 1
		if_2(9,5,9) -> 1
		if_2(10,5,9) -> 1
		if_2(4,6,10) -> 1
		if_2(5,6,10) -> 1
		if_2(8,6,10) -> 1
		if_2(9,6,10) -> 1
		if_2(10,6,10) -> 1
		if_2(1,2,3) -> 1
		if_2(1,4,8) -> 1
		if_2(4,2,3) -> 1
		if_2(1,4,9) -> 1
		if_2(4,4,8) -> 1
		if_2(5,2,3) -> 1
		if_2(5,4,8) -> 1
		if_2(4,4,9) -> 1
		if_2(1,2,5) -> 1
		if_2(8,2,3) -> 1
		if_2(5,4,9) -> 1
		if_2(8,4,8) -> 1
		if_2(9,2,3) -> 1
		if_2(9,4,8) -> 1
		if_2(10,2,3) -> 1
		if_2(10,4,8) -> 1
		if_2(4,2,5) -> 1
		if_2(8,4,9) -> 1
		if_2(5,2,5) -> 1
		if_2(1,5,10) -> 1
		if_2(9,4,9) -> 1
		if_2(10,4,9) -> 1
		if_2(8,2,5) -> 1
		if_2(4,5,10) -> 1
		if_2(9,2,5) -> 1
		if_2(1,1,1) -> 1
		if_2(10,2,5) -> 1
		if_2(5,5,10) -> 1
		if_1(4,1,1) -> 1
		if_1(8,5,10) -> 1
		if_1(5,1,1) -> 1
		if_1(9,5,10) -> 1
		if_1(10,5,10) -> 1
		if_1(8,1,1) -> 1
		if_1(9,1,1) -> 1
		if_1(10,1,1) -> 1
		if_1(1,1,4) -> 1
		if_1(1,1,5) -> 1
		if_1(4,1,4) -> 1
		if_1(5,1,4) -> 1
		if_1(4,1,5) -> 1
		if_1(5,1,5) -> 1
		if_1(8,1,4) -> 1
		if_1(1,4,10) -> 1
		if_1(9,1,4) -> 1
		if_1(10,1,4) -> 1
		if_1(8,1,5) -> 1
		if_1(4,4,10) -> 1
		if_1(9,1,5) -> 1
		if_1(10,1,5) -> 1
		if_1(1,10,1) -> 1
		if_1(5,4,10) -> 1
		if_1(4,10,1) -> 1
		if_1(8,4,10) -> 1
		if_1(5,10,1) -> 1
		if_1(9,4,10) -> 1
		if_1(10,4,10) -> 1
		if_1(8,10,1) -> 1
		if_1(9,10,1) -> 1
		if_1(1,2,9) -> 1
		if_1(10,10,1) -> 1
		if_1(1,10,4) -> 1
		if_1(4,2,9) -> 1
		if_1(1,10,5) -> 1
		if_1(4,10,4) -> 1
		if_1(5,2,9) -> 1
		if_1(5,10,4) -> 1
		if_1(4,10,5) -> 1
		if_1(8,2,9) -> 1
		if_1(5,10,5) -> 1
		if_1(8,10,4) -> 1
		if_1(9,2,9) -> 1
		if_1(10,2,9) -> 1
		if_1(9,10,4) -> 1
		if_1(10,10,4) -> 1
		if_1(8,10,5) -> 1
		if_1(9,10,5) -> 1
		if_1(1,9,1) -> 1
		if_1(10,10,5) -> 1
		if_1(4,9,1) -> 1
		if_1(5,9,1) -> 1
		if_1(1,1,8) -> 1
		if_1(8,9,1) -> 1
		if_1(1,1,9) -> 1
		if_1(4,1,8) -> 1
		if_1(9,9,1) -> 1
		if_1(10,9,1) -> 1
		if_1(5,1,8) -> 1
		if_1(1,9,4) -> 1
		if_1(4,1,9) -> 1
		if_1(1,9,5) -> 1
		if_1(8,1,8) -> 1
		if_1(4,9,4) -> 1
		if_1(5,1,9) -> 1
		if_1(9,1,8) -> 1
		if_1(5,9,4) -> 1
		if_1(10,1,8) -> 1
		if_1(4,9,5) -> 1
		if_1(8,1,9) -> 1
		if_1(1,2,10) -> 1
		if_1(5,9,5) -> 1
		if_1(8,9,4) -> 1
		if_1(9,1,9) -> 1
		if_1(9,9,4) -> 1
		if_1(10,1,9) -> 1
		if_1(10,9,4) -> 1
		if_1(4,2,10) -> 1
		if_1(8,9,5) -> 1
		if_1(5,2,10) -> 1
		if_1(9,9,5) -> 1
		if_1(1,8,1) -> 1
		if_1(10,9,5) -> 1
		if_1(8,2,10) -> 1
		if_1(4,8,1) -> 1
		if_1(9,2,10) -> 1
		if_1(5,8,1) -> 1
		if_1(10,2,10) -> 1
		if_1(1,10,8) -> 1
		if_1(1,8,3) -> 1
		if_1(8,8,1) -> 1
		if_1(9,8,1) -> 1
		if_1(10,8,1) -> 1
		if_1(1,10,9) -> 1
		if_1(4,10,8) -> 1
		if_1(1,8,4) -> 1
		if_1(4,8,3) -> 1
		if_1(5,10,8) -> 1
		if_1(5,8,3) -> 1
		if_1(4,10,9) -> 1
		if_1(4,8,4) -> 1
		if_1(1,8,5) -> 1
		if_1(8,10,8) -> 1
		if_1(5,8,4) -> 1
		if_1(8,8,3) -> 1
		if_1(5,10,9) -> 1
		if_1(9,8,3) -> 1
		if_1(9,10,8) -> 1
		if_1(10,8,3) -> 1
		if_1(4,8,5) -> 1
		if_1(10,10,8) -> 1
		if_1(1,1,10) -> 1
		if_1(8,8,4) -> 1
		if_1(8,10,9) -> 1
		if_1(5,8,5) -> 1
		if_1(9,8,4) -> 1
		if_1(9,10,9) -> 1
		if_1(10,8,4) -> 1
		if_1(10,10,9) -> 1
		if_1(4,1,10) -> 1
		if_1(8,8,5) -> 1
		if_1(5,1,10) -> 1
		if_1(9,8,5) -> 1
		if_1(10,8,5) -> 1
		if_1(8,1,10) -> 1
		if_1(9,1,10) -> 1
		if_1(10,1,10) -> 1
		if_1(1,9,8) -> 1
		if_1(1,9,9) -> 1
		if_1(4,9,8) -> 1
		if_1(5,9,8) -> 1
		if_1(4,9,9) -> 1
		if_1(5,9,9) -> 1
		if_1(8,9,8) -> 1
		if_1(9,9,8) -> 1
		if_1(10,9,8) -> 1
		if_1(8,9,9) -> 1
		if_1(1,10,10) -> 1
		if_1(9,9,9) -> 1
		if_1(10,9,9) -> 1
		if_1(4,10,10) -> 1
		if_1(5,10,10) -> 1
		if_1(8,10,10) -> 1
		if_1(9,10,10) -> 1
		if_1(10,10,10) -> 1
		if_1(1,8,8) -> 1
		if_1(1,8,9) -> 1
		if_1(4,8,8) -> 1
		if_1(5,8,8) -> 1
		if_1(4,8,9) -> 1
		if_1(5,8,9) -> 1
		if_1(8,8,8) -> 1
		if_1(9,8,8) -> 1
		if_1(10,8,8) -> 1
		if_1(8,8,9) -> 1
		if_1(1,9,10) -> 1
		if_1(9,8,9) -> 1
		if_1(10,8,9) -> 1
		if_1(4,9,10) -> 1
		if_1(1,5,1) -> 1
		if_1(5,9,10) -> 1
		if_1(4,5,1) -> 1
		if_1(5,5,1) -> 1
		if_1(8,9,10) -> 1
		if_1(9,9,10) -> 1
		if_1(10,9,10) -> 1
		if_1(8,5,1) -> 1
		if_1(9,5,1) -> 1
		if_1(10,5,1) -> 1
		if_1(1,5,4) -> 1
		if_1(1,5,5) -> 1
		if_1(4,5,4) -> 1
		if_1(5,5,4) -> 1
		if_1(4,5,5) -> 1
		if_1(5,5,5) -> 1
		if_1(8,5,4) -> 1
		if_1(1,8,10) -> 1
		if_1(9,5,4) -> 1
		if_1(10,5,4) -> 1
		if_1(8,5,5) -> 1
		if_1(4,8,10) -> 1
		if_1(9,5,5) -> 1
		if_1(1,4,1) -> 1
		if_1(10,5,5) -> 1
		if_1(5,8,10) -> 1
		if_1(4,4,1) -> 1
		if_1(5,4,1) -> 1
		if_1(8,8,10) -> 1
		if_1(9,8,10) -> 1
		if_1(10,8,10) -> 1
		if_1(1,4,3) -> 1
		if_1(8,4,1) -> 1
		if_1(9,4,1) -> 1
		if_1(10,4,1) -> 1
		if_1(1,4,4) -> 1
		if_1(4,4,3) -> 1
		if_1(5,4,3) -> 1
		if_1(1,4,5) -> 1
		if_1(4,4,4) -> 1
		if_1(5,4,4) -> 1
		if_1(8,4,3) -> 1
		if_1(9,4,3) -> 1
		if_1(10,4,3) -> 1
		if_1(4,4,5) -> 1
		if_1(5,4,5) -> 1
		if_1(8,4,4) -> 1
		if_1(9,4,4) -> 1
		if_1(10,4,4) -> 1
		if_1(8,4,5) -> 1
		if_1(9,4,5) -> 1
		if_1(10,4,5) -> 1
		if_1(1,5,8) -> 1
		if_1(4,5,8) -> 1
		if_1(1,5,9) -> 1
		if_1(5,5,8) -> 1
		if_1(4,5,9) -> 1
		if_1(8,5,8) -> 1
		if_1(5,5,9) -> 1
		if_1(9,5,8) -> 1
		if_1(10,5,8) -> 1
		if_1(8,5,9) -> 1
		if_1(9,5,9) -> 1
		if_1(10,5,9) -> 1
		if_1(1,2,3) -> 1
		if_1(1,4,8) -> 1
		if_1(4,2,3) -> 1
		if_1(1,4,9) -> 1
		if_1(4,4,8) -> 1
		if_1(5,2,3) -> 1
		if_1(5,4,8) -> 1
		if_1(4,4,9) -> 1
		if_1(1,2,5) -> 1
		if_1(8,2,3) -> 1
		if_1(5,4,9) -> 1
		if_1(8,4,8) -> 1
		if_1(9,2,3) -> 1
		if_1(9,4,8) -> 1
		if_1(10,2,3) -> 1
		if_1(4,2,5) -> 1
		if_1(10,4,8) -> 1
		if_1(8,4,9) -> 1
		if_1(5,2,5) -> 1
		if_1(1,5,10) -> 1
		if_1(9,4,9) -> 1
		if_1(10,4,9) -> 1
		if_1(8,2,5) -> 1
		if_1(4,5,10) -> 1
		if_1(9,2,5) -> 1
		if_1(1,1,1) -> 1
		if_1(10,2,5) -> 1
		if_1(5,5,10) -> 1
		if_0(4,1,1) -> 1
		if_0(8,5,10) -> 1
		if_0(5,1,1) -> 1
		if_0(9,5,10) -> 1
		if_0(10,5,10) -> 1
		if_0(8,1,1) -> 1
		if_0(9,1,1) -> 1
		if_0(10,1,1) -> 1
		if_0(1,1,4) -> 1
		if_0(1,1,5) -> 1
		if_0(4,1,4) -> 1
		if_0(5,1,4) -> 1
		if_0(4,1,5) -> 1
		if_0(5,1,5) -> 1
		if_0(8,1,4) -> 1
		if_0(1,4,10) -> 1
		if_0(9,1,4) -> 1
		if_0(10,1,4) -> 1
		if_0(8,1,5) -> 1
		if_0(4,4,10) -> 1
		if_0(9,1,5) -> 1
		if_0(10,1,5) -> 1
		if_0(1,10,1) -> 1
		if_0(5,4,10) -> 1
		if_0(4,10,1) -> 1
		if_0(8,4,10) -> 1
		if_0(5,10,1) -> 1
		if_0(9,4,10) -> 1
		if_0(10,4,10) -> 1
		if_0(8,10,1) -> 1
		if_0(9,10,1) -> 1
		if_0(10,10,1) -> 1
		if_0(1,10,4) -> 1
		if_0(1,10,5) -> 1
		if_0(4,10,4) -> 1
		if_0(5,10,4) -> 1
		if_0(4,10,5) -> 1
		if_0(5,10,5) -> 1
		if_0(8,10,4) -> 1
		if_0(9,10,4) -> 1
		if_0(10,10,4) -> 1
		if_0(8,10,5) -> 1
		if_0(9,10,5) -> 1
		if_0(1,9,1) -> 1
		if_0(10,10,5) -> 1
		if_0(4,9,1) -> 1
		if_0(5,9,1) -> 1
		if_0(1,1,8) -> 1
		if_0(8,9,1) -> 1
		if_0(1,1,9) -> 1
		if_0(4,1,8) -> 1
		if_0(9,9,1) -> 1
		if_0(5,1,8) -> 1
		if_0(10,9,1) -> 1
		if_0(1,9,4) -> 1
		if_0(4,1,9) -> 1
		if_0(1,9,5) -> 1
		if_0(8,1,8) -> 1
		if_0(4,9,4) -> 1
		if_0(5,1,9) -> 1
		if_0(9,1,8) -> 1
		if_0(5,9,4) -> 1
		if_0(10,1,8) -> 1
		if_0(4,9,5) -> 1
		if_0(8,1,9) -> 1
		if_0(5,9,5) -> 1
		if_0(8,9,4) -> 1
		if_0(9,1,9) -> 1
		if_0(9,9,4) -> 1
		if_0(10,1,9) -> 1
		if_0(10,9,4) -> 1
		if_0(8,9,5) -> 1
		if_0(9,9,5) -> 1
		if_0(1,8,1) -> 1
		if_0(10,9,5) -> 1
		if_0(4,8,1) -> 1
		if_0(5,8,1) -> 1
		if_0(1,10,8) -> 1
		if_0(8,8,1) -> 1
		if_0(9,8,1) -> 1
		if_0(4,10,8) -> 1
		if_0(10,8,1) -> 1
		if_0(1,8,4) -> 1
		if_0(1,10,9) -> 1
		if_0(5,10,8) -> 1
		if_0(4,10,9) -> 1
		if_0(4,8,4) -> 1
		if_0(1,8,5) -> 1
		if_0(8,10,8) -> 1
		if_0(5,8,4) -> 1
		if_0(5,10,9) -> 1
		if_0(9,10,8) -> 1
		if_0(4,8,5) -> 1
		if_0(10,10,8) -> 1
		if_0(8,8,4) -> 1
		if_0(1,1,10) -> 1
		if_0(8,10,9) -> 1
		if_0(5,8,5) -> 1
		if_0(9,8,4) -> 1
		if_0(9,10,9) -> 1
		if_0(10,8,4) -> 1
		if_0(10,10,9) -> 1
		if_0(4,1,10) -> 1
		if_0(8,8,5) -> 1
		if_0(5,1,10) -> 1
		if_0(9,8,5) -> 1
		if_0(10,8,5) -> 1
		if_0(8,1,10) -> 1
		if_0(9,1,10) -> 1
		if_0(10,1,10) -> 1
		if_0(1,9,8) -> 1
		if_0(1,9,9) -> 1
		if_0(4,9,8) -> 1
		if_0(5,9,8) -> 1
		if_0(4,9,9) -> 1
		if_0(5,9,9) -> 1
		if_0(8,9,8) -> 1
		if_0(9,9,8) -> 1
		if_0(10,9,8) -> 1
		if_0(8,9,9) -> 1
		if_0(1,10,10) -> 1
		if_0(9,9,9) -> 1
		if_0(10,9,9) -> 1
		if_0(4,10,10) -> 1
		if_0(5,10,10) -> 1
		if_0(8,10,10) -> 1
		if_0(9,10,10) -> 1
		if_0(10,10,10) -> 1
		if_0(1,8,8) -> 1
		if_0(1,8,9) -> 1
		if_0(4,8,8) -> 1
		if_0(5,8,8) -> 1
		if_0(4,8,9) -> 1
		if_0(5,8,9) -> 1
		if_0(8,8,8) -> 1
		if_0(9,8,8) -> 1
		if_0(10,8,8) -> 1
		if_0(8,8,9) -> 1
		if_0(9,8,9) -> 1
		if_0(1,9,10) -> 1
		if_0(10,8,9) -> 1
		if_0(4,9,10) -> 1
		if_0(1,5,1) -> 1
		if_0(5,9,10) -> 1
		if_0(4,5,1) -> 1
		if_0(5,5,1) -> 1
		if_0(8,9,10) -> 1
		if_0(9,9,10) -> 1
		if_0(10,9,10) -> 1
		if_0(8,5,1) -> 1
		if_0(9,5,1) -> 1
		if_0(10,5,1) -> 1
		if_0(1,5,4) -> 1
		if_0(1,5,5) -> 1
		if_0(4,5,4) -> 1
		if_0(5,5,4) -> 1
		if_0(4,5,5) -> 1
		if_0(5,5,5) -> 1
		if_0(8,5,4) -> 1
		if_0(9,5,4) -> 1
		if_0(1,8,10) -> 1
		if_0(10,5,4) -> 1
		if_0(8,5,5) -> 1
		if_0(9,5,5) -> 1
		if_0(1,4,1) -> 1
		if_0(4,8,10) -> 1
		if_0(10,5,5) -> 1
		if_0(5,8,10) -> 1
		if_0(4,4,1) -> 1
		if_0(5,4,1) -> 1
		if_0(8,8,10) -> 1
		if_0(9,8,10) -> 1
		if_0(10,8,10) -> 1
		if_0(8,4,1) -> 1
		if_0(9,4,1) -> 1
		if_0(10,4,1) -> 1
		if_0(1,4,4) -> 1
		if_0(1,4,5) -> 1
		if_0(4,4,4) -> 1
		if_0(5,4,4) -> 1
		if_0(4,4,5) -> 1
		if_0(5,4,5) -> 1
		if_0(8,4,4) -> 1
		if_0(9,4,4) -> 1
		if_0(10,4,4) -> 1
		if_0(8,4,5) -> 1
		if_0(9,4,5) -> 1
		if_0(10,4,5) -> 1
		if_0(1,5,8) -> 1
		if_0(4,5,8) -> 1
		if_0(1,5,9) -> 1
		if_0(5,5,8) -> 1
		if_0(4,5,9) -> 1
		if_0(8,5,8) -> 1
		if_0(5,5,9) -> 1
		if_0(9,5,8) -> 1
		if_0(10,5,8) -> 1
		if_0(8,5,9) -> 1
		if_0(9,5,9) -> 1
		if_0(10,5,9) -> 1
		if_0(1,4,8) -> 1
		if_0(1,4,9) -> 1
		if_0(4,4,8) -> 1
		if_0(5,4,8) -> 1
		if_0(4,4,9) -> 1
		if_0(5,4,9) -> 1
		if_0(8,4,8) -> 1
		if_0(9,4,8) -> 1
		if_0(10,4,8) -> 1
		if_0(8,4,9) -> 1
		if_0(1,5,10) -> 1
		if_0(9,4,9) -> 1
		if_0(10,4,9) -> 1
		if_0(4,5,10) -> 1
		if_0(1,1,1) -> 1
		if_0(5,5,10) -> 1
		


__________________________________________________________________
TTTbox (13.339 seconds) - April 13, 2007
Source file - /home/ami/mkorp/Testbench/tpdb-3.2/TRS/SK90/2.32.trs