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