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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

