:- 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).

