{
  "schema": "normal-form-weight-figure/v1",
  "license": "CC0",
  "real_coefficient_example": true,
  "block_checks": [
    {
      "n": 2,
      "two_sided_norm": "63/256",
      "one_sided_norm": "63/4"
    },
    {
      "n": 3,
      "two_sided_norm": "16777215/134217728",
      "one_sided_norm": "16777215/8"
    },
    {
      "n": 4,
      "two_sided_norm": "1152921504606846975/18446744073709551616",
      "one_sided_norm": "1152921504606846975/16"
    },
    {
      "n": 5,
      "two_sided_norm": "1329227995784915872903807060280344575/42535295865117307932921825928971026432",
      "one_sided_norm": "1329227995784915872903807060280344575/32"
    },
    {
      "n": 6,
      "two_sided_norm": "1645504557321206042154969182557350504982735865633579863348609023/105312291668557186697918027683670432318895095400549111254310977536",
      "one_sided_norm": "1645504557321206042154969182557350504982735865633579863348609023/64"
    }
  ],
  "order_sample": {
    "C": "1/2",
    "a": "1/4",
    "remainder": "8",
    "diagonal": [
      "12",
      "16392"
    ],
    "determinant": "133200",
    "both_signs_positive": true
  },
  "finite_exact_matrix_cases": 5,
  "derivative_and_inverse_identity_checked": true,
  "normalizations_are_separate": true,
  "text_canvas_overflows": [],
  "font_sha256": "3fdf69cabf06049ea70a00b5919340e2ce1e6d02b0cc3c4b44fb6801bd1e0d22",
  "font_dependency": "Shared unchanged DejaVuSans.ttf; complete font and notice embedded in SVG",
  "proof_locators": [
    "CW.1\u2013CW.9",
    "CW.10\u2013CW.12",
    "IJ.1\u2013IJ.7"
  ],
  "human_source_context": "Connes, A survey of foliations and operator algebras (1982), end of Section8; the normal-form and real block proofs are original CW.1\u2013CW.12",
  "completed_section_domain_example_proved": true,
  "actual_G_weight_transport_domain_proved": false,
  "physical_graph_operator_proved": false
}