% d_4_5_2

:- declare(4, 5).

a_4_2 :- a_3_2.
a_3_2 :- a_2_2.
a_2_2 :- a_1_2.
a_4_1 :- a_3_1.
a_3_1 :- a_2_1.
a_2_1 :- a_1_1.
true ---> a_4_1 ; a_4_2 ; a_4_3 ; a_4_4 ; a_4_5.
true ---> a_3_1 ; a_3_2 ; a_3_3 ; a_3_4 ; a_3_5.
true ---> a_2_1 ; a_2_2 ; a_2_3 ; a_2_4 ; a_2_5.
true ---> a_1_1 ; a_1_2 ; a_1_3 ; a_1_4 ; a_1_5.