{
  "tid": "T478",
  "entries": 99,
  "all_numbers_and_parameters_unchanged": true,
  "source_paragraph_preserved_in_rigour_details": true,
  "proof_status_leads_comments": true,
  "full_document_matches_repair": true
}