{
  "all_registered_source_expressions_found": true,
  "appendix_source_sha256": "891d6dd653b36cc0604b020009fbfb5dd7df7f4fc89d933bfa958c1b831cc30a",
  "expressions": {
    "byzantine_convex_upper": true,
    "byzantine_strong_upper": true,
    "poisoning_convex_lower": true,
    "poisoning_convex_upper": true,
    "poisoning_strong_upper": true,
    "smea_kappa_expression": true
  },
  "literal_claim5_contradiction": {
    "claim_denominator": "n-f",
    "source_locator": "sections/section-III-stability-analysis.tex:127-130",
    "source_upper_denominator": "n-2f"
  },
  "main_source_sha256": "233766f62d0d304c1b92b6e2e3f01054c412a4c3e0f1b0c80d89a6b63ef63486"
}