:- lt([2,0,1],15).

:- lt([2,0,2],15).

:- lt([2,0,3],15).

:- lt([2,0,4],15).

:- lt([2,0,5],15).

:- lt([2,0,6],15).

:- lt([2,0,7],15).

:- lt([2,0,8],15).

:- lt([2,1],15).

:- lt([2,1,1],15).

:- lt([2,1,2],15).

:- lt([2,1,3],15).

:- lt([2,1,4],15).

:- lt([2,1,5],15).

:- lt([2,1,6],15).

:- lt([2,1,7],15).

:- lt([2,1,8],15).

:- lt([2,2],15).

:- lt([2,2,1],15).

:- lt([2,2,4],15).

:- lt([2,2,5],15).

:- lt([2,2,6],15).

:- lt([2,2,7],15).

:- lt([2,3],15).

:- lt([2,3,1],15).

:- lt([2,3,2],15).

:- lt([2,3,6],15).

:- lt([2,3,7],15).

:- lt([2,3,8],15).

:- lt([2,4],15).

:- lt([2,4,1],15).

:- lt([2,4,2],15).

:- lt([2,4,3],15).

:- lt([2,4,5],15).

:- lt([2,4,6],15).

:- lt([2,4,7],15).

:- lt([2,4,8],15).

:- lt([2,4,9],15).

:- lt([2,5],15).

:- lt([2,5,1],15).

:- lt([2,5,2],15).

:- lt([2,5,2,1],15).

:- lt([2,5,3],15).

:- lt([2,5,4],15).

:- lt([2,5,5],15).

:- lt([2,5,6],15).

:- lt([2,6],15).

:- lt([2,6,1],15).

:- lt([2,6,2],15).

:- lt([2,6,2,1],15).

:- lt([2,6,3],15).

:- lt([2,6,4],15).

:- lt([2,6,5],15).

:- lt([2,6,7],15).

:- lt([2,6,8],15).

:- lt([2,6,9],15).

:- lt([2,7,3],15).

:- lt([2,7,4],15).

:- lt([2,7,5],15).

:- lt([2,7,6],15).

:- lt([2,7,7],15).

:- lt([2,8],15).

:- lt([2,8,1],15).

:- lt([2,8,2],15).

:- lt([2,8,3],15).

:- lt([2,8,5],15).

:- lt([2,8,6],15).

:- lt([3,1],15).

:- lt([3,1,1],15).

:- lt([3,1,2],15).

:- lt([3,1,3],15).

:- lt([3,1,4],15).

:- lt([3,2],15).

:- lt([3,2,1],15).

:- lt([3,2,2],15).

:- lt([3,2,4],15).

:- lt([3,2,6],15).

:- lt([3,2,7],15).

:- lt([3,3],15).

:- lt([3,3,1],15).

:- lt([3,3,3],15).

:- lt([3,3,4],15).

:- lt([3,3,5],15).

:- lt([3,3,7],15).

:- lt([3,4],15).

:- lt([3,4,1],15).

:- lt([3,4,2],15).

:- lt([3,4,3],15).

:- lt([3,4,4],15).

:- lt([3,4,5],15).

:- lt([3,4,7],15).

:- lt([3,4,8],15).

