% a_5_10

:- declare(5, 10).

true ---> a_5_1 ; a_5_2 ; a_5_3 ; a_5_4 ; a_5_5 ; a_5_6 ; a_5_7 ; a_5_8 ; a_5_9 ; a_5_10.
true ---> a_4_1 ; a_4_2 ; a_4_3 ; a_4_4 ; a_4_5 ; a_4_6 ; a_4_7 ; a_4_8 ; a_4_9 ; a_4_10.
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 ; a_3_10.
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 ; a_2_10.
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 ; a_1_10.