function KB = BR_DT_KB_gen
%

KB(1).clauses = [-4,-17,-30,-5,3];
KB(2).clauses = [-4,-17,-30,5,18,1];
KB(3).clauses = [-4,-17,-30,5,-18,2];
KB(4).clauses = [-4,-17,30,-19,-31,-20,-6,3];
KB(5).clauses = [-4,-17,30,-19,-31,-20,6,1];
KB(6).clauses = [-4,-17,30,-19,-31,20,-7,-32,3];
KB(7).clauses = [-4,-17,30,-19,-31,20,-7,32,-21,3];
KB(8).clauses = [-4,-17,30,-19,-31,20,-7,32,21,1];
KB(9).clauses = [-4,-17,30,-19,-31,20,7,1];
KB(10).clauses = [-4,-17,30,-19,31,3];
KB(11).clauses = [-4,-17,30,19,2];
KB(12).clauses = [-4,17,-22,-8,2];
KB(13).clauses = [-4,17,-22,8,-33,3];
KB(14).clauses = [-4,17,-22,8,33,-9,-10,-23,3];
KB(15).clauses = [-4,17,-22,8,33,-9,-10,23,2];
KB(16).clauses = [-4,17,-22,8,33,-9,10,-23,2];
KB(17).clauses = [-4,17,-22,8,33,-9,10,23,3];
KB(18).clauses = [-4,17,-22,8,33,9,2];
KB(19).clauses = [-4,17,22,2];
KB(20).clauses = [4,-24,-11,-34,3];
KB(21).clauses = [4,-24,-11,34,-25,1];
KB(22).clauses = [4,-24,-11,34,25,-12,-35,-26,1];
KB(23).clauses = [4,-24,-11,34,25,-12,-35,26,-13,3];
KB(24).clauses = [4,-24,-11,34,25,-12,-35,26,13,2];
KB(25).clauses = [4,-24,-11,34,25,-12,35,2];
KB(26).clauses = [4,-24,-11,34,25,12,1];
KB(27).clauses = [4,-24,11,-14,-27,1];
KB(28).clauses = [4,-24,11,-14,27,-36,3];
KB(29).clauses = [4,-24,11,-14,27,36,-28,3];
KB(30).clauses = [4,-24,11,-14,27,36,28,1];
KB(31).clauses = [4,-24,11,14,1];
KB(32).clauses = [4,24,-15,2];
KB(33).clauses = [4,24,15,-16,3];
KB(34).clauses = [4,24,15,16,-29,1];
KB(35).clauses = [4,24,15,16,29,3];

for k = 1:35
    KB(k).prob = 1;
end

KB(2).prob = 1 - 2/7;
KB(7).prob = 1 - 4/10;
KB(8).prob = 1 - 1/14;
KB(12).prob = 1 - 2/73;
KB(17).prob = 1 - 2/14;
KB(19).prob = 1 - 1/142;
KB(20).prob = 1 - 1/80;
KB(21).prob = 1 - 1/53;
KB(26).prob = 1 - 3/37;
KB(27).prob = 1 - 3/79;
