const n=10.
const m=10.
const r=15.


room(0,1,1,2,4). has(0,3).
room(1,3,1,5,4). has(1,2).
room(2,6,1,7,4). has(2,4).
room(3,8,1,8,4). has(3,-1).
room(4,9,1,10,4). has(4,-1).
room(5,1,5,5,6). has(5,4).
room(6,6,5,10,7). has(6,4).
room(7,1,7,1,7). has(7,1).
room(8,2,7,5,7). has(8,-1).
room(9,1,8,5,9). has(9,4).
room(10,6,8,10,9). has(10,4).
room(11,1,10,1,10). has(11,1).
room(12,2,10,5,10). has(12,-1).
room(13,6,10,6,10). has(13,1).
room(14,7,10,10,10). has(14,-1).
