% Solving a Dr. Ecco's puzzle "Lines of Fire", Dennis E. Shasha, DDJ, July 1998
% http://www.ddj.com/ddj/1998/1998_07/SHAS/SHAS.htm
%
% This file defines the layout and vulnerabilities of the hills the puzzle is
% all about.
% A fact hill_fires(F,T) says that if someone occupies a hill F
% he can fire upon a hill T.

hill_fires(0,1).
hill_fires(0,2).
hill_fires(0,3).
hill_fires(0,7).
hill_fires(0,9).
hill_fires(0,8).
hill_fires(0,13).
hill_fires(0,17).
hill_fires(0,18).
hill_fires(0,19).
hill_fires(0,20).
hill_fires(0,22).
hill_fires(0,24).

hill_fires(1,0).
hill_fires(1,2).
hill_fires(1,3).
hill_fires(1,9).
hill_fires(1,10).
hill_fires(1,13).
hill_fires(1,14).
hill_fires(1,15).
hill_fires(1,16).
hill_fires(1,17).
hill_fires(1,20).
hill_fires(1,21).
hill_fires(1,24).

hill_fires(2,3).
hill_fires(2,5).
hill_fires(2,9).
hill_fires(2,11).
hill_fires(2,12).
hill_fires(2,13).
hill_fires(2,16).
hill_fires(2,22).
hill_fires(2,23).

hill_fires(3,2).
hill_fires(3,5).
hill_fires(3,7).
hill_fires(3,9).
hill_fires(3,11).
hill_fires(3,12).
hill_fires(3,13).
hill_fires(3,16).
hill_fires(3,22).

hill_fires(4,5).
hill_fires(4,7).
hill_fires(4,9).
hill_fires(4,11).
hill_fires(4,12).
hill_fires(4,13).
hill_fires(4,16).
hill_fires(4,22).
hill_fires(4,23).
hill_fires(5,2).
hill_fires(5,3).
hill_fires(5,4).
hill_fires(5,7).
hill_fires(5,9).
hill_fires(5,11).
hill_fires(5,12).
hill_fires(5,23).
hill_fires(6,1).
hill_fires(6,2).
hill_fires(6,3).
hill_fires(6,7).
hill_fires(6,9).
hill_fires(6,8).
hill_fires(6,13).
hill_fires(6,14).
hill_fires(6,15).
hill_fires(6,16).
hill_fires(6,18).
hill_fires(6,20).
hill_fires(6,21).

hill_fires(7,3).
hill_fires(7,4).
hill_fires(7,5).
hill_fires(7,9).
hill_fires(7,12).
hill_fires(7,19).
hill_fires(7,20).
hill_fires(7,22).
hill_fires(7,23).
hill_fires(8,0).
hill_fires(8,6).
hill_fires(8,10).
hill_fires(8,14).
hill_fires(8,15).
hill_fires(8,17).
hill_fires(8,18).
hill_fires(8,19).
hill_fires(8,24).
hill_fires(9,2).
hill_fires(9,3).
hill_fires(9,4).
hill_fires(9,5).
hill_fires(9,7).
hill_fires(9,11).
hill_fires(9,19).
hill_fires(9,20).
hill_fires(9,22).

hill_fires(10,1).
hill_fires(10,2).
hill_fires(10,3).
hill_fires(10,7).
hill_fires(10,8).
hill_fires(10,9).
hill_fires(10,13).
hill_fires(10,15).
hill_fires(10,16).
hill_fires(10,20).
hill_fires(10,21).
hill_fires(10,22).
hill_fires(10,24).
hill_fires(11,2).
hill_fires(11,3).
hill_fires(11,4).
hill_fires(11,5).
hill_fires(11,9).
hill_fires(11,19).
hill_fires(11,20).
hill_fires(11,22).
hill_fires(11,23).
hill_fires(12,2).
hill_fires(12,3).
hill_fires(12,4).
hill_fires(12,5).
hill_fires(12,7).
hill_fires(12,8).
hill_fires(12,17).
hill_fires(12,18).
hill_fires(12,23).

hill_fires(13,0).
hill_fires(13,1).
hill_fires(13,2).
hill_fires(13,3).
hill_fires(13,6).
hill_fires(13,7).
hill_fires(13,9).
hill_fires(13,10).
hill_fires(13,16).
hill_fires(13,18).
hill_fires(13,21).
hill_fires(13,22).
hill_fires(13,24).
hill_fires(14,1).
hill_fires(14,6).
hill_fires(14,8).
hill_fires(14,15).
hill_fires(14,16).
hill_fires(14,17).
hill_fires(14,18).
hill_fires(14,19).
hill_fires(14,21).
hill_fires(14,22).
hill_fires(14,24).
hill_fires(15,1).
hill_fires(15,2).
hill_fires(15,3).
hill_fires(15,6).
hill_fires(15,8).
hill_fires(15,10).
hill_fires(15,14).
hill_fires(15,16).
hill_fires(15,18).
hill_fires(15,19).
hill_fires(15,20).
hill_fires(15,22).

hill_fires(16,1).
hill_fires(16,2).
hill_fires(16,3).
hill_fires(16,4).
hill_fires(16,7).
hill_fires(16,6).
hill_fires(16,9).
hill_fires(16,10).
hill_fires(16,13).
hill_fires(16,14).
hill_fires(16,15).
hill_fires(16,17).
hill_fires(16,19).
hill_fires(16,22).
hill_fires(17,0).
hill_fires(17,1).
hill_fires(17,8).
hill_fires(17,14).
hill_fires(17,16).
hill_fires(17,18).
hill_fires(17,20).
hill_fires(17,21).
hill_fires(17,24).
hill_fires(18,0).
hill_fires(18,6).
hill_fires(18,8).
hill_fires(18,13).
hill_fires(18,14).
hill_fires(18,15).
hill_fires(18,17).
hill_fires(18,21).
hill_fires(18,22).


hill_fires(19,0).
hill_fires(19,8).
hill_fires(19,14).
hill_fires(19,15).
hill_fires(19,16).
hill_fires(19,20).
hill_fires(19,21).
hill_fires(19,22).
hill_fires(19,24).
hill_fires(20,0).
hill_fires(20,1).
hill_fires(20,2).
hill_fires(20,3).
hill_fires(20,6).
hill_fires(20,9).
hill_fires(20,10).
hill_fires(20,15).
hill_fires(20,17).
hill_fires(20,19).
hill_fires(20,22).
hill_fires(20,24).
hill_fires(21,1).
hill_fires(21,6).
hill_fires(21,10).
hill_fires(21,13).
hill_fires(21,14).
hill_fires(21,17).
hill_fires(21,18).
hill_fires(21,19).
hill_fires(21,24).


hill_fires(22,0).
hill_fires(22,10).
hill_fires(22,13).
hill_fires(22,14).
hill_fires(22,15).
hill_fires(22,16).
hill_fires(22,18).
hill_fires(22,19).
hill_fires(22,20).
hill_fires(23,2).
hill_fires(23,4).
hill_fires(23,5).
hill_fires(23,7).
hill_fires(23,11).
hill_fires(23,12).
hill_fires(23,19).
hill_fires(23,20).
hill_fires(23,22).
hill_fires(24,0).
hill_fires(24,1).
hill_fires(24,8).
hill_fires(24,10).
hill_fires(24,13).
hill_fires(24,14).
hill_fires(24,15).
hill_fires(24,17).
hill_fires(24,19).
hill_fires(24,20).
hill_fires(24,21).