ABB, d = 3, constants C_1..C_2 = ['2/3', '2']: 5 constraints
   primal D = ['1/3', '2/3', '1/2']  feasible: True  value 7
   dual multipliers: (2,):3, (1, 1):1/2, (1, 2):2  feasible: True  value 7
   exact LP optimum = 7   claimed in RESULT.md: (not stated; with planes only)   trivial bound ((3^d-1)/2)*C_1 = 26/3   stacking lower bound 3^(d-1)*C_1 = 6
ABB, d = 4, constants C_1..C_3 = ['2/3', '2', '6']: 10 constraints
   primal D = ['0', '5/9', '2/3', '5/12']  feasible: True  value 62/3
   dual multipliers: (3,):4, (1, 1, 1):1, (1, 1, 2):2  feasible: True  value 62/3
   exact LP optimum = 62/3   claimed in RESULT.md: 62/3   trivial bound ((3^d-1)/2)*C_1 = 80/3   stacking lower bound 3^(d-1)*C_1 = 18
ABB, d = 5, constants C_1..C_3 = ['2/3', '2', '6']: 15 constraints
   primal D = ['0', '2/9', '2/3', '2/3', '7/18']  feasible: True  value 64
   dual multipliers: (3,):8, (4,):16, (1, 1, 2):4, (1, 2, 2):4  feasible: True  value 64
   exact LP optimum = 64   claimed in RESULT.md: 64   trivial bound ((3^d-1)/2)*C_1 = 242/3   stacking lower bound 3^(d-1)*C_1 = 54
ABB, d = 6, constants C_1..C_3 = ['2/3', '2', '6']: 22 constraints
   primal D = ['0', '0', '1/2', '2/3', '2/3', '11/24']  feasible: True  value 596/3
   dual multipliers: (4,):76, (5,):24, (1, 2, 2):14, (1, 2, 3):8  feasible: True  value 596/3
   exact LP optimum = 596/3   claimed in RESULT.md: 596/3   trivial bound ((3^d-1)/2)*C_1 = 728/3   stacking lower bound 3^(d-1)*C_1 = 162
ABBB, d = 3, constants C_1..C_2 = ['1/2', '8/5']: 5 constraints
   primal D = ['3/10', '1/2', '2/5']  feasible: True  value 11/2
   dual multipliers: (2,):3, (1, 1):1/2, (1, 2):2  feasible: True  value 11/2
   exact LP optimum = 11/2   claimed in RESULT.md: 11/2   trivial bound ((3^d-1)/2)*C_1 = 13/2   stacking lower bound 3^(d-1)*C_1 = 9/2
explicit combinations of RESULT.md section 6:
   d=4: combination {(1, 1, 1): '1', (1, 1, 2): '2', (3,): '4'} gives coefficients ['7', '12', '16', '8'] >= objective ['4', '12', '16', '8']: True; bound 62/3 (claimed 62/3)
   d=5: combination {(1, 1, 2): '4', (1, 2, 2): '4', (3,): '8', (4,): '16'} gives coefficients ['12', '20', '40', '40', '16'] >= objective ['5', '20', '40', '40', '16']: True; bound 64 (claimed 64)
   d=3: combination {(1, 1): '1/2', (1, 2): '2', (2,): '3'} gives coefficients ['3', '6', '4'] >= objective ['3', '6', '4']: True; bound 11/2 (claimed 11/2)
