{
  "schema": "countable-presentation-map-finite-checks/v1",
  "classes": [
    [
      0,
      3
    ],
    [
      1,
      2,
      5
    ],
    [
      4
    ]
  ],
  "unit_weights": [
    "2",
    "3",
    "5"
  ],
  "enumerations": [
    [
      0,
      1,
      2,
      3,
      4,
      5
    ],
    [
      5,
      4,
      3,
      2,
      1,
      0
    ],
    [
      2,
      0,
      4,
      5,
      3,
      1
    ]
  ],
  "least_index_codes": [
    [
      {
        "b": 0,
        "j": 0,
        "a": 0,
        "source_class": 0
      },
      {
        "b": 0,
        "j": 1,
        "a": 1,
        "source_class": 1
      },
      {
        "b": 0,
        "j": 4,
        "a": 4,
        "source_class": 2
      }
    ],
    [
      {
        "b": 1,
        "j": 0,
        "a": 5,
        "source_class": 1
      },
      {
        "b": 1,
        "j": 1,
        "a": 4,
        "source_class": 2
      },
      {
        "b": 1,
        "j": 2,
        "a": 3,
        "source_class": 0
      }
    ],
    [
      {
        "b": 2,
        "j": 0,
        "a": 2,
        "source_class": 1
      },
      {
        "b": 2,
        "j": 1,
        "a": 0,
        "source_class": 0
      },
      {
        "b": 2,
        "j": 2,
        "a": 4,
        "source_class": 2
      }
    ]
  ],
  "cutoff_columns": [
    [
      1,
      1,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      1,
      1,
      1
    ],
    [
      1,
      0,
      1,
      0,
      1,
      0
    ]
  ],
  "class_normalization_sums": [
    [
      1,
      1,
      1
    ],
    [
      1,
      1,
      1
    ],
    [
      1,
      1,
      1
    ]
  ],
  "complete_transversal_mass": "18",
  "coarse_source_presentation_mass": "10",
  "normalized_column_integrals": [
    "10",
    "10",
    "10"
  ],
  "uniform_column_integrals": [
    "10",
    "10",
    "10"
  ],
  "normalized_full_image": "30",
  "raw_incidence_mass": "54",
  "raw_class_sums": [
    2,
    3,
    1
  ],
  "code_count": 9,
  "proof_locators": [
    "CP.4",
    "CP.5",
    "CP.6",
    "CP.7",
    "CP.8",
    "CP.9",
    "CP.10",
    "CP.11"
  ],
  "scope": "Finite exact arithmetic verifies the displayed model; it proves no descriptive-set-theoretic theorem and does not parametrize a nonsmooth quotient.",
  "canvas": [
    2500,
    1840
  ],
  "text_canvas_overflows": [],
  "font_sha256": "3FDF69CABF06049EA70A00B5919340E2CE1E6D02B0CC3C4B44FB6801BD1E0D22"
}