| Iteration | Variable | Reachability set | Antecedent set | Intersection set |
| I | 1 | 1j,3j,4j,5j,6j,7j,10j,12j,13j,14j,16j,18j,19j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,10ij,12ij,13ij,14ij,16ij,18ij,19ij,21ij | 2 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,15j,16j,17j,19j,20j,21j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,4ij,5ij,10ij,11ij,12ij,13ij,16ij,17ij,19ij | 3 | 1j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,20j,21j,22j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,18ij,19ij,20ij,21ij,22ij | 4 | 1j,2j,3j,4j,5j,6j,7j,10j,12j,13j,14j, 16j,17j,19j,20j,21j,22j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,6ij,7ij,10ij,12ij,13ij,14ij, 16ij,17ij,19ij,20ij,21ij,22ij | 5 | 1j,2j,3j,4j,5j,6j,7j,10j,12j,13j,14j,16j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,6ij,7ij,10ij,12ij,13ij,14ij,16ij,21ij | 6 | 1j,3j,4j,5j,6j,7j,10j,14j,16j,19j,20j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,10ij,14ij,16ij,19ij,20ij,21ij | 7 | 1j,3j,4j,5j,6j,7j,12j,13j,14j,16j,19j,20j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,12ij,13ij,14ij,16ij,19ij,20ij,21ij | 8 | 1j, 2j, 3j, 5j, 6j, 7j, 8j, 9j, 10j, 14j, 15j | 8i | 8ij | 9 | 1j,2j,3j,4j,5j,6j,7j,9j,10j,11j,12j,13j,14j,15j,16j,17j,18j,19j,20j,21j,22j | 9i,11i,13i | 9ij,11ij,13ij | 10 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,20j,21j,22j | 1i,2i,3i,4i,5i,6i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,6ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,18ijj,19ij,20ij,21ij,22ij, | 11 | 1j,2j,3j,4j,5j,6j,7j,9j,10j,11j,12j,13j,14j,15j,16j,17j,18j,19j,20j,21j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,3ij,9ij,10ij,11ij,12ij,13ij,16ij,17ij,19ij,20ij,21ij,22ij | 12 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,15j,16j,17j,18j,19j,20j,21j,22j | 1i,2i,3i,4i,5i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,7ij,10ij,11ij,12ij,13ij,14ij,15ij,16ij,17ij,18ij,19ij,20ij,21ij,22ij | 13 | 1j,2j,3j,4j,5j,6j,7j,9j,10j,11j,12j,13j,14j,16j,17j,18j,19j,20j,21j,22j | 1i,2i,3i,4i,5i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,7ij,9ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,18ij,19ij,20ij,21ij,22ij | 14 | 1j,3j,4j,5j,6j,7j,10j,12j,13j,14j,16j,18j,19j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,10ij,12ij,13ij,14ij,16ij,18ij,19ij,21ij | 15 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,21j,22j | 2i,8i,9i,11i,12i,15i,22i | 2ij,11ij,12ij,22ij | 16 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,21j,22j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,5ij,6ij,7ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,18ij,19ij,21ij,22ij | 17 | 1j2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,21j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i17i,19i,20i,21i,22i | 2ij,3ij,4ij,10ij,11ij,12ij,13ij,16ij,17ij,19ij,21ij,22ij | 18 | 1j,3j,4j,5j,6j,7j,10j,12j,13j,14j,16j,18j,19j,21j | 1i,3i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,22i | 1ij,3ij,10ij,12ij,13ij,14ij,16ij,18ij,19ij | 19 | 1j,2j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,21j,22j, | 1i,2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,2ij,3ij,4ij,6ij,7ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,18ij,19ij,21ij,22ij | 20 | 1j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,18j,19j,20j,21j,22j | 2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,20i,21i,22i, | 3ij,4ij,6ij,7ij,10ij,11ij,12ij,13ij,20ij,21ij,22ij | 21 | 1j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,16j,17j,19j,20j,21j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 1ij,3ij,4ij,5ij,6ij,7ij,10ij,11ij,12ij,13ij,14ij,16ij,17ij,19ij,20ij,21ij | 22 | 1j,3j,4j,5j,6j,7j,10j,11j,12j,13j,14j,15j,16j,17j,18j,19j,20j,21j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 3ij,4ij,10ij,11ij,12ij,13ij,16ij,17ij,19ij,20ij,22ij |
| II | 2 | 2j,10j,11j,12j,13j,14j,15j,17j,19j,20j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,10ij,11ij,12ij,13ij,17ij,19ij | 8 | 2j, 8j, 9j, 10j, 14j, 15j | 8i | 8ij | 9 | 2j,9j,10j,11j,12j,13j,14j,15j,17j,18j,19j,20j,22j | 9i,11i,13i | 9ij,11ij,13ij | 10 | 2j,10j,11j,12j,13j,14j,17j,18j,19j,20j,22j | 1i,2i,3i,4i,5i,6i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 2ij,10ij,11ij,12ij,13ij,14ij,17ij,18ijj,19ij,20ij,22ij, | 11 | 2j,9j,10j,11j,12j,13j,14j,15j,17j,18j,19j,20j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,9ij,10ij,11ij,12ij,13ij,17ij,19ij,20ij,22ij | 12 | 2j,10j,11j,12j,13j,14j,15j,17j,18j,19j,20j,22j | 1i,2i,3i, | 2ij,10ij,11ij,12ij,13ij,14ij,15ij,17ij,18ij,19ij,20ij,22ij | 13 | 2j,9j,10j,11j,12j,13j,14j,17j,18j,19j,20j,22j | 1i,2i,3i,4i,5i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 2ij,9ij,10ij,11ij,12ij,13ij,14ij,17ij,18ij,19ij,20ij,22ij | 14 | 10j,12j,13j,14j,18j,19j | 1i,2i,3i,4i,5i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 10ij,12ij,13ij,14ij,18ij,19ij | 15 | 2j,10j,11j,12j,13j,14j,17j,18j,19j,22j | 2i,8i,9i,11i,12i,15i,22i | 2ij,11ij,12ij,22ij | 17 | 2j,10j,11j,12j,13j,14j,17j,18j,19j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i17i,19i,20i,21i,22i | 2ij,10ij,11ij,12ij,13ij,17ij,19ij,22ij | 18 | 10j,12j,13j,14j,18j,19j | 1i,3i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,22i | 10ij,12ij,13ij,14ij,18ij,19ij | 19 | 2j,10j,11j,12j,13j,14j,17j,18j,19j,22j, | 1i,2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,21i,22i, | 2ij,10ij,11ij,12ij,13ij,14ij,17ij,18ij,19ij,22ij | 20 | 10j,11j,12j,13j,14j,17j,18j,19j,20j,22j | 2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,20i,21i,22i, | 10ij,11ij,12ij,13ij,20ij,22ij | 22 | 10j,11j,12j,13j,14j,15j,17j,18j,19j,20j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 10ij,11ij,12ij,13ij,17ij,19ij,20ij,22ij |
| III | 2 | 2j,11j,15j,17j,20j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,11ij,17ij | 8 | 2j, 8j, 9j,15j | 8i | 8ij | 9 | 2j,9j,11j,15j,17j,18j,20j,22j | 9i,11i,13i | 9ij,11ij | 11 | 2j,9j,11j,15j,17j,18j,20j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,9ij,11ij,17ij,20ij,22ij | 15 | 2j,11j,17j,18j,22j | 2i,8i,9i,11i,12i,15i,22i | 2ij,11ij,22ij | 17 | 2j,11j,17j,18j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i17i,19i,20i,21i,22i | 2ij,11ij,17ij,22ij | 18 | 18j | 1i,3i,8i,9i,10i,11i,12i,13i,14i,15i,16i,17i,18i,19i,20i,22i | 18ij | 20 | 11j,17j,18j,20j,22j | 2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,20i,21i,22i, | 11ij, 20ij,22ij | 22 | 11j,15j,17j,18j,20j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 11ij,17ij,20ij,22ij |
| IV | 2 | 2j,11j,15j,17j,20j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,11ij,17ij | 8 | 2j, 8j, 9j,15j | 8i | 8ij | 9 | 2j,9j,11j,15j,17j,20j,22j | 9i,11i,13i | 9ij,11ij | 11 | 2j,9j,11j,15j,17j,20j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,9ij,11ij,17ij,20ij,22ij | 15 | 2j,11j,17j,22j | 2i,8i,9i,11i,12i,15i,22i | 2ij,11ij,22ij | 17 | 2j,11j,17j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i17i,19i,20i,21i,22i | 2ij,11ij,17ij,22ij | 20 | 11j,17j,20j,22j | 2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,20i,21i,22i, | 11ij,20ij,22ij | 22 | 11j,15j,17j,20j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 11ij,17ij,20ij,22ij |
| V | 2 | 2j,11j,15j,20j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,11ij, | 8 | 2j, 8j, 9j,15j | 8i | 8ij | 9 | 2j,9j,11j,15j,20j,22j | 9i,11i,13i | 9ij,11ij | 11 | 2j,9j,11j,15j,20j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,9ij,11ij,20ij,22ij | 15 | 2j,11j,22j | 2i,8i,9i,11i,12i,15i,22i | 2ij,11ij,22ij | 20 | 11j,20j,22j | 2i,3i,4i,6i,7i,8i,9i,10i,11i,12i,13i,20i,21i,22i, | 11ij,20ij,22ij | 22 | 11j,15j,20j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 11ij,20ij,22ij |
| VI | 2 | 2j,11j,22j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij,11ij | 8 | 2j, 8j, 9j | 8i | 8ij | 9 | 2j,9j,11j,22j | 9i,11i,13i | 9ij,11ij | 11 | 2j,9j,11j,22j | 2i,3i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,21i,22i | 2ij,9ij,11ij,22ij | 22 | 11j,22j | 2i,3i,4i,8i,9i,10i,11i,12i,13i,16i,17i,19i,20i,22i | 11ij,22ij |
| VII | 2 | 2j | 2i,4i,5i,9i,10i,11i,12i,13i,16i,17i,19i' | 2ij | 8 | 2j, 8j, 9j | 8i | 8ij | 9 | 2j,9j | 9i,11i,13i | 9ij |
| VIII | 8 | 8j, 9j | 8i | 8ij | 9 | 9j | 9i,11i,13i | 9ij | IX | 8 | 8j | 8i | 8ij |
|
|