r=1 LB*_1 ours [6, 16, 36, 66, 106, 156, 216, 286]  DV21 [6, 16, 36, 66, 106, 156, 216, 286]  MATCH
r=2 LB*_1 ours [12, 17, 32, 57, 92, 137, 192, 257, 332]  DV21 [12, 17, 32, 57, 92, 137, 192, 257, 332]  MATCH
r=3 LB*_1 ours [20, 20, 30, 50, 80, 120, 170, 230, 300]  DV21 [20, 20, 30, 50, 80, 120, 170, 230, 300]  MATCH
r=4 LB*_1 ours [32, 32, 37, 52, 77, 112, 157, 212, 277]  DV21 [32, 32, 37, 52, 77, 112, 157, 212, 277]  MATCH
k>=5: LB*_1 == Prop 4.1 for all admissible (n,m), n<=30, k<=30; mismatches: 0
  n=3 m=3  k=3,4: Prop4.1 [13, 24]  LB*_1 [12, 24]
  n=4 m=2  k=3,4: Prop4.1 [17, 33]  LB*_1 [16, 32]
  n=4 m=3  k=3,4: Prop4.1 [15, 30]  LB*_1 [14, 30]
  n=4 m=4  k=3,4: Prop4.1 [14, 30]  LB*_1 [14, 30]
  n=5 m=5  k=3,4: Prop4.1 [16, 36]  LB*_1 [16, 36]
  n=6 m=3  k=3,4: Prop4.1 [19, 42]  LB*_1 [18, 42]
  n=8 m=4  k=3,4: Prop4.1 [22, 54]  LB*_1 [22, 54]
ALL OK
