lt(1,3).
lt(2,4).
lt(3,5).
lt(4,6).
lt(5,7).
lt(6,8).
lt(7,9).
lt(8,10).
lt(9,11).

lt(0,3).
lt(1,4).
lt(2,5).
lt(3,6).
lt(4,7).
lt(5,8).
