const n=15.
const m=15.
const r=29.


room(0,1,1,3,2). has(0,2).
room(1,4,1,4,2). has(1,0).
room(2,5,1,6,1). has(2,1).
room(3,7,1,8,1). has(3,-1).
room(4,9,1,11,2). has(4,2).
room(5,12,1,14,2). has(5,1).
room(6,15,1,15,2). has(6,-1).
room(7,1,3,4,4). has(7,-1).
room(8,5,2,8,4). has(8,3). 
room(9,9,3,9,6). has(9,2).
room(10,10,3,12,5). has(10,3).
room(11,13,3,15,6). has(11,3).
room(12,1,5,4,7). has(12,2).
room(13,5,5,5,7). has(13,1).
room(14,6,5,8,6). has(14,1).
room(15,1,8,2,11). has(15,3).
room(16,3,8,5,11). has(16,2).
room(17,6,7,8,10). has(17,4).
room(18,9,7,9,10). has(18,1).
room(19,10,6,12,8). has(19,2).
room(20,13,7,15,8). has(20,-1).
room(21,10,9,13,11). has(21,-1).
room(22,14,9,15,11). has(22,3).
room(23,1,12,3,15). has(23,-1).
room(24,4,12,5,15). has(24,-1).
room(25,6,11,9,13). has(25,3).
room(26,6,14,9,15). has(26,3).
room(27,10,12,12,15). has(27,2).
room(28,13,12,15,15). has(28,1).






