added_tokens.json

{
  "[/heading]": 21131,
  "[/triple]": 21130,
  "[heading]": 21129,
  "[t1]": 21133,
  "[t2]": 21134,
  "[t3]": 21135,
  "[t4]": 21136,
  "[t5]": 21137,
  "[t6]": 21138,
  "[t]": 21132,
  "[triple]": 21128
}