4% :- include('instances/01-weight_assignment_tree-654-0.asp').
    5% :- include('instances/02-weight_assignment_tree-687-0.asp'). 
    6% :- include('instances/03-weight_assignment_tree-742-0.asp'). 
    7% :- include('instances/04-weight_assignment_tree-612-0.asp'). 
    8% :- include('instances/05-weight_assignment_tree-579-0.asp'). 
    9% :- include('instances/06-weight_assignment_tree-560-0.asp'). 
   10% :- include('instances/07-weight_assignment_tree-547-0.asp'). 
   11% :- include('instances/08-weight_assignment_tree-806-0.asp'). 
   12% :- include('instances/09-weight_assignment_tree-778-0.asp'). 
   13% :- include('instances/10-weight_assignment_tree-938-0.asp'). 
   14% :- include('instances/11-weight_assignment_tree-934-0.asp'). 
   15% :- include('instances/12-weight_assignment_tree-918-0.asp'). 
   16% :- include('instances/13-weight_assignment_tree-901-0.asp'). 
   17 :- include('instances/14-weight_assignment_tree-1070-0.asp').
   18% ...
   19% :- include('instances/60-weight_assignment_tree-1588-0.asp').
   20% :- include('instances/61-weight_assignment_tree-1542-0.asp').
   21% :- include('instances/62-weight_assignment_tree-2102-0.asp').

leafWeightCardinality(leaf1, 4, 5). leafWeightCardinality(leaf2, 3, 7).

   27% innerNode(1).
   28
   29% num(2).
   30% max_total_weight(9).
   31%% EXAMPLE