   multipliers: 1 x [plane(1,1)<=2]   objective coefficients: [2, 2]
d=2: LP bound 2.000000 ~ 2;  exact dual check: valid, bound = 2;  stacking lower bound 2;  trivial upper bound 8/3 = 2.667
   multipliers: 1 x [space(1,1,1)<=6]   objective coefficients: [3, 6, 4]
d=3: LP bound 6.000000 ~ 6;  exact dual check: valid, bound = 6;  stacking lower bound 6;  trivial upper bound 26/3 = 8.667
   multipliers: 4 x [D_3<=2/3], 1 x [space(1,1,1)<=6], 2 x [space(1,1,2)<=6]   objective coefficients: [4, 12, 16, 8]
d=4: LP bound 20.666667 ~ 62/3;  exact dual check: valid, bound = 62/3;  stacking lower bound 18;  trivial upper bound 80/3 = 26.667
   multipliers: 8 x [D_3<=2/3], 16 x [D_4<=2/3], 4 x [space(1,1,2)<=6], 4 x [space(1,2,2)<=6]   objective coefficients: [5, 20, 40, 40, 16]
d=5: LP bound 64.000000 ~ 64;  exact dual check: valid, bound = 64;  stacking lower bound 54;  trivial upper bound 242/3 = 80.667
   multipliers: 76 x [D_4<=2/3], 24 x [D_5<=2/3], 14 x [space(1,2,2)<=6], 8 x [space(1,2,3)<=6]   objective coefficients: [6, 30, 80, 120, 96, 32]
d=6: LP bound 198.666667 ~ 596/3;  exact dual check: valid, bound = 596/3;  stacking lower bound 162;  trivial upper bound 728/3 = 242.667
