[1481468516933,
  [36885, [1,1], "Handout view 2: Title"],
  [44740, [1,2], "Handout view 3: Credits"],
  [82324, [1,3], "Handout view 4: Web and disclaimer"],
  [126548, [1,4], "Handout view 5: Abstract"],
  [724101, [1,5], "Handout view 6: Three Steps"],
  [905972, [1,5], "Handout view 6: Three Steps"],
  [941612, [1,6], "Handout view 7: Demo Programs"],
  [976388, [1,7], "Handout view 8: Preparation"],
  [1432037, [1,8], "Handout view 9: Program: Preparation"],
  [1484012, [1,7], "Handout view 8: Preparation"],
  [1487565, [1,8], "Handout view 9: Program: Preparation"],
  [1495148, [1,9], "Handout view 10: Run: Preparation"],
  [1545572, [1,10], "Handout view 11: Form of formulas"],
  [1689476, [1,11], "Handout view 12: Rewrite rules"],
  [1832269, [1,12], "Handout view 13: le sorts"],
  [2233004, [1,13], "Handout view 14: Program: DP & l sorts"],
  [2292548, [1,14], "Handout view 15: fe sorts"],
  [2474156, [1,15], "Handout view 16: Logos"],
  [2554276, [1,16], "Handout view 17: Program: Logos"],
  [2568917, [1,17], "Handout view 18: Program: fe sorts"],
  [2609420, [1,18], "Handout view 19: elf merges"],
  [2706148, [1,19], "Handout view 20: Program: elf merges"],
  [2724572, [1,20], "Handout view 21: Run: elf merges"],
  [2790396, [1,21], "Handout view 22: Readout"],
  [2839070, [1,22], "Handout view 23: Program and run: readout"],
  [2854284, [1,23], "Handout view 24: Table"],
  [2865692, [1,22], "Handout view 23: Program and run: readout"],
  [2886052, [1,23], "Handout view 24: Table"],
  [2911564, [1,24], "Handout view 25: log log"],
  [2990803, [1,25], "Handout view 26: Power"],
  [3101421, [1,26], "Handout view 27: Genus"],
  [3190812, [1,27], "Handout view 28: Why works?"],
  [3263068, [1,28], "Handout view 29: g1"],
  [3299539, [1,29], "Handout view 30: How arose?"],
  [3315908, [1,30], "Handout view 31: bbO"],
  [3319876, [1,32], "Handout view 33: What we didn't do"],
  [3373988, [1,33], "Handout view 34: Bday and Propaganda"],
  [3476982, [1,32], "Handout view 33: What we didn't do"],
  [3717611, [1,33], "Handout view 34: Bday and Propaganda"]
]