%% _ _ _ _ _ _ _ _ _ _
%% | ! | ! ! | ! ! |0! |
%% |_!_|_!_!_|_!_!_|_!_|
%% | ! |5! ! |_!_!_|1! |
%% | ! | ! ! |0! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|
%% |1! |2! ! |2! ! | ! |
%% | ! |_!_!_| ! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|
%% |0! | ! ! |1! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|
#const c=10.
#const f=10.
#const r=18.
habi(0,1,1,2,2). habi(1,1,3,2,5). habi(2,1,6,2,8).
habi(3,1,9,2,10). habi(4,3,1,5,2). habi(5,3,3,5,5).
habi(6,3,6,3,8). habi(7,3,9,5,10). habi(8,4,6,5,8).
habi(9,6,1,8,2). habi(10,6,3,7,5). habi(11,6,6,8,8).
habi(12,6,9,8,10). habi(13,8,3,8,5). habi(14,9,1,10,2).
habi(15,9,3,10,5). habi(16,9,6,10,8). habi(17,9,9,10,10).
tiene(0,-1). tiene(1,-1). tiene(2,-1).
tiene(3,0). tiene(4,-1). tiene(5,5).
tiene(6,-1). tiene(7,1). tiene(8,0).
tiene(9,1). tiene(10,2). tiene(11,2).
tiene(12,-1). tiene(13,-1). tiene(14,0).
tiene(15,-1). tiene(16,1). tiene(17,-1).
