min tau = -12755, attained on [(54390, 54420), (54480, 54510), (54720, 54750), (54810, 54840)]
  level min+0 : 4 components of {tau <= level}
  level min+1 : 12 components of {tau <= level}
  level min+2 : 16 components of {tau <= level}
  level min+3 : 20 components of {tau <= level}
  level min+4 : 24 components of {tau <= level}
  level min+5 : 24 components of {tau <= level}
  level min+6 : 30 components of {tau <= level}
  level min+7 : 30 components of {tau <= level}
  level min+8 : 30 components of {tau <= level}
  level min+9 : 30 components of {tau <= level}
  level min+10: 30 components of {tau <= level}
  level min+11: 28 components of {tau <= level}
  level min+12: 26 components of {tau <= level}
  level min+13: 24 components of {tau <= level}
  level min+14: 24 components of {tau <= level}
  level min+15: 24 components of {tau <= level}
  level min+16: 19 components of {tau <= level}
  level min+17: 19 components of {tau <= level}
bars: 853, rank 4864
HF_red = T(16)^1 + T(14)^10 + T(13)^16 + T(12)^24 + T(11)^36 + T(10)^46 + T(9)^56 + T(8)^66 + T(7)^76 + T(6)^82 + T(5)^84 + T(4)^86 + T(3)^88 + T(2)^90 + T(1)^92
bars of length >= 13: (length, index of the minimum born, birth level - min, death level - min)
   (16, 54720, 0, 16)
   (14, 50670, 67, 81)
   (14, 52080, 28, 42)
   (14, 53070, 10, 24)
   (14, 53400, 6, 20)
   (14, 54060, 1, 15)
   (14, 55050, 1, 15)
   (14, 55710, 6, 20)
   (14, 56040, 10, 24)
   (14, 57120, 28, 42)
   (14, 58530, 67, 81)
   (13, 46770, 263, 276)
   (13, 48180, 177, 190)
   (13, 49260, 123, 136)
   (13, 49590, 108, 121)
   (13, 51000, 56, 69)
   (13, 51750, 36, 49)
   (13, 52410, 21, 34)
   (13, 53730, 3, 16)
   (13, 55380, 3, 16)
   (13, 56790, 21, 34)
   (13, 57450, 36, 49)
   (13, 58200, 56, 69)
   (13, 59610, 108, 121)
   (13, 59940, 123, 136)
   (13, 61020, 177, 190)
   (13, 62430, 263, 276)
