added_tokens.json

{
  "<casename>": 250100,
  "<claim>": 250105,
  "<conclusion>": 250103,
  "<fact>": 250101,
  "<law>": 250104,
  "<reasoning>": 250102
}