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



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