const n=15.
const m=15.
const r=31.


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