{
  1: [0, 5, "hyp", "", [2,3,4,5], [6,7,8,9,10,11,12]],
  2: [1, 4, ".e", "1", [], [6,7,8]],
  3: [1, 4, ".e", "2", [], [7,8]],
  4: [1, 4, ".e", "3", [], [8,10,11]],
  5: [1, 4, ".e", "4", [], [9]],
  6: [1, 5, "v", "1", [], []],
  7: [1, 5, "v", "2", [], []],
  8: [1, 5, "v", "3", [], []],
  9: [1, 5, "v", "4", [], []],
  10: [1, 5, "v", "5", [], []],
  11: [1, 5, "v", "6", [], []],
  12: [1, 5, "v", "7", [], []],
}