% b_4_3_81

:- declare(4, 3).

false :- a_1_2, a_2_3, a_3_3, a_4_3.
false :- a_1_1, a_2_3, a_3_3, a_4_3.
false :- a_1_3, a_2_2, a_3_3, a_4_3.
false :- a_1_2, a_2_2, a_3_3, a_4_3.
false :- a_1_1, a_2_2, a_3_3, a_4_3.
false :- a_1_3, a_2_1, a_3_3, a_4_3.
false :- a_1_2, a_2_1, a_3_3, a_4_3.
false :- a_1_1, a_2_1, a_3_3, a_4_3.
false :- a_1_3, a_2_3, a_3_2, a_4_3.
false :- a_1_2, a_2_3, a_3_2, a_4_3.
false :- a_1_1, a_2_3, a_3_2, a_4_3.
false :- a_1_3, a_2_2, a_3_2, a_4_3.
false :- a_1_2, a_2_2, a_3_2, a_4_3.
false :- a_1_1, a_2_2, a_3_2, a_4_3.
false :- a_1_3, a_2_1, a_3_2, a_4_3.
false :- a_1_2, a_2_1, a_3_2, a_4_3.
false :- a_1_1, a_2_1, a_3_2, a_4_3.
false :- a_1_3, a_2_3, a_3_1, a_4_3.
false :- a_1_2, a_2_3, a_3_1, a_4_3.
false :- a_1_1, a_2_3, a_3_1, a_4_3.
false :- a_1_3, a_2_2, a_3_1, a_4_3.
false :- a_1_2, a_2_2, a_3_1, a_4_3.
false :- a_1_1, a_2_2, a_3_1, a_4_3.
false :- a_1_3, a_2_1, a_3_1, a_4_3.
false :- a_1_2, a_2_1, a_3_1, a_4_3.
false :- a_1_1, a_2_1, a_3_1, a_4_3.
false :- a_1_3, a_2_3, a_3_3, a_4_2.
false :- a_1_2, a_2_3, a_3_3, a_4_2.
false :- a_1_1, a_2_3, a_3_3, a_4_2.
false :- a_1_3, a_2_2, a_3_3, a_4_2.
false :- a_1_2, a_2_2, a_3_3, a_4_2.
false :- a_1_1, a_2_2, a_3_3, a_4_2.
false :- a_1_3, a_2_1, a_3_3, a_4_2.
false :- a_1_2, a_2_1, a_3_3, a_4_2.
false :- a_1_1, a_2_1, a_3_3, a_4_2.
false :- a_1_3, a_2_3, a_3_2, a_4_2.
false :- a_1_2, a_2_3, a_3_2, a_4_2.
false :- a_1_1, a_2_3, a_3_2, a_4_2.
false :- a_1_3, a_2_2, a_3_2, a_4_2.
false :- a_1_2, a_2_2, a_3_2, a_4_2.
false :- a_1_1, a_2_2, a_3_2, a_4_2.
false :- a_1_3, a_2_1, a_3_2, a_4_2.
false :- a_1_2, a_2_1, a_3_2, a_4_2.
false :- a_1_1, a_2_1, a_3_2, a_4_2.
false :- a_1_3, a_2_3, a_3_1, a_4_2.
false :- a_1_2, a_2_3, a_3_1, a_4_2.
false :- a_1_1, a_2_3, a_3_1, a_4_2.
false :- a_1_3, a_2_2, a_3_1, a_4_2.
false :- a_1_2, a_2_2, a_3_1, a_4_2.
false :- a_1_1, a_2_2, a_3_1, a_4_2.
false :- a_1_3, a_2_1, a_3_1, a_4_2.
false :- a_1_2, a_2_1, a_3_1, a_4_2.
false :- a_1_1, a_2_1, a_3_1, a_4_2.
false :- a_1_3, a_2_3, a_3_3, a_4_1.
false :- a_1_2, a_2_3, a_3_3, a_4_1.
false :- a_1_1, a_2_3, a_3_3, a_4_1.
false :- a_1_3, a_2_2, a_3_3, a_4_1.
false :- a_1_2, a_2_2, a_3_3, a_4_1.
false :- a_1_1, a_2_2, a_3_3, a_4_1.
false :- a_1_3, a_2_1, a_3_3, a_4_1.
false :- a_1_2, a_2_1, a_3_3, a_4_1.
false :- a_1_1, a_2_1, a_3_3, a_4_1.
false :- a_1_3, a_2_3, a_3_2, a_4_1.
false :- a_1_2, a_2_3, a_3_2, a_4_1.
false :- a_1_1, a_2_3, a_3_2, a_4_1.
false :- a_1_3, a_2_2, a_3_2, a_4_1.
false :- a_1_2, a_2_2, a_3_2, a_4_1.
false :- a_1_1, a_2_2, a_3_2, a_4_1.
false :- a_1_3, a_2_1, a_3_2, a_4_1.
false :- a_1_2, a_2_1, a_3_2, a_4_1.
false :- a_1_1, a_2_1, a_3_2, a_4_1.
false :- a_1_3, a_2_3, a_3_1, a_4_1.
false :- a_1_2, a_2_3, a_3_1, a_4_1.
false :- a_1_1, a_2_3, a_3_1, a_4_1.
false :- a_1_3, a_2_2, a_3_1, a_4_1.
false :- a_1_2, a_2_2, a_3_1, a_4_1.
false :- a_1_1, a_2_2, a_3_1, a_4_1.
false :- a_1_3, a_2_1, a_3_1, a_4_1.
false :- a_1_2, a_2_1, a_3_1, a_4_1.
false :- a_1_1, a_2_1, a_3_1, a_4_1.
true ---> a_4_1 ; a_4_2 ; a_4_3.
true ---> a_3_1 ; a_3_2 ; a_3_3.
true ---> a_2_1 ; a_2_2 ; a_2_3.
true ---> a_1_1 ; a_1_2 ; a_1_3.