set(auto).
clear(print_given).

assign(max_seconds,8).

assign(max_distinct_vars, 2).
assign(max_literals, 1).
assign(max_mem, 44000).
assign(max_weight, 20).

include("booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx1.txt").
include("peirceanAx2.txt").
include("uzDef.txt").

include("xiii.txt"). % precedentemente dimostrato
include("i.txt"). % precedentemente dimostrato

include("xvii_b.txt").