%
% Pigeon hole problem -- 5 pigeons into 4 holes.
%

set(binary_res) .
set(split_when_given).
set(split_pos).

clear(print_kept).
clear(print_back_sub).
assign(stats_level, 1).

list(sos) .

% Every pigeon flies into a hole.

p00 | p01 | p02 | p03 .
p04 | p05 | p06 | p07 .
p08 | p09 | p10 | p11 .
p12 | p13 | p14 | p15 .
p16 | p17 | p18 | p19 .

% Each hole holds at most one piegeon.

-p00 | -p04 .
-p00 | -p08 .
-p00 | -p12 .
-p00 | -p16 .
-p04 | -p08 .
-p04 | -p12 .
-p04 | -p16 .
-p08 | -p12 .
-p08 | -p16 .
-p12 | -p16 .
-p01 | -p05 .
-p01 | -p09 .
-p01 | -p13 .
-p01 | -p17 .
-p05 | -p09 .
-p05 | -p13 .
-p05 | -p17 .
-p09 | -p13 .
-p09 | -p17 .
-p13 | -p17 .
-p02 | -p06 .
-p02 | -p10 .
-p02 | -p14 .
-p02 | -p18 .
-p06 | -p10 .
-p06 | -p14 .
-p06 | -p18 .
-p10 | -p14 .
-p10 | -p18 .
-p14 | -p18 .
-p03 | -p07 .
-p03 | -p11 .
-p03 | -p15 .
-p03 | -p19 .
-p07 | -p11 .
-p07 | -p15 .
-p07 | -p19 .
-p11 | -p15 .
-p11 | -p19 .
-p15 | -p19 .

end_of_list .
