% d_3_9_8

:- declare(3, 9).

a_3_8 :- a_2_8.
a_2_8 :- a_1_8.
a_3_7 :- a_2_7.
a_2_7 :- a_1_7.
a_3_6 :- a_2_6.
a_2_6 :- a_1_6.
a_3_5 :- a_2_5.
a_2_5 :- a_1_5.
a_3_4 :- a_2_4.
a_2_4 :- a_1_4.
a_3_3 :- a_2_3.
a_2_3 :- a_1_3.
a_3_2 :- a_2_2.
a_2_2 :- a_1_2.
a_3_1 :- a_2_1.
a_2_1 :- a_1_1.
true ---> a_3_1 ; a_3_2 ; a_3_3 ; a_3_4 ; a_3_5 ; a_3_6 ; a_3_7 ; a_3_8 ; a_3_9.
true ---> a_2_1 ; a_2_2 ; a_2_3 ; a_2_4 ; a_2_5 ; a_2_6 ; a_2_7 ; a_2_8 ; a_2_9.
true ---> a_1_1 ; a_1_2 ; a_1_3 ; a_1_4 ; a_1_5 ; a_1_6 ; a_1_7 ; a_1_8 ; a_1_9.