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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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