{
  "status": "PASS",
  "checks": 40654,
  "categories": {
    "Single-vertex update remains monotone": 835,
    "Each update is simplicially contiguous": 8276,
    "Integer prism chain-homotopy identity": 7872,
    "Two-stage diamond homotopy": 1,
    "Beat retraction is monotone": 824,
    "Beat homotopy fixes remaining vertices": 824,
    "Deleted beat witness rejected": 1,
    "Isolated beat point rejected": 1,
    "Contractibility certified by pointwise-comparable maps": 2934,
    "Mapping cylinder source deletion upper minimum": 2933,
    "Source deletion leaves target": 641,
    "Mapping cylinder target deletion exact lower fiber": 2911,
    "Target deletion leaves source": 641,
    "Integer chain-map identity": 7695,
    "Nerve canonical map homology isomorphism": 1,
    "Disconnected pairwise intersection rejected": 1,
    "Vertex-only cover rejected": 1,
    "Exact-point fibers cannot replace lower fibers": 1,
    "Empty contraction rejected": 1,
    "Dowker exact fiber and maximum": 2905,
    "Canonical Dowker map induces full homology isomorphism": 643,
    "Original Dowker Betti numbers agree": 643,
    "Both relation-filtration inclusion ranks agree": 2,
    "Duplicating a column preserves exact row faces": 64,
    "Pairwise witnesses do not create a triple face": 1,
    "Altered common-neighbor map rejected": 1,
    "Altered fiber maximum rejected": 1
  },
  "coefficient_contract": "Integer chain-map and chain-homotopy identities; Betti numbers and induced ranks over F2 only.",
  "diamond_homotopy": {
    "steps": [
      {
        "vertex": 1,
        "before": 1,
        "after": 3
      },
      {
        "vertex": 0,
        "before": 0,
        "after": 2
      }
    ],
    "changed_vertices": 2,
    "chain_homotopy": [
      {
        "source": [
          0
        ],
        "terms": [
          {
            "simplex": [
              0,
              2
            ],
            "coefficient": 1
          }
        ]
      },
      {
        "source": [
          1
        ],
        "terms": [
          {
            "simplex": [
              1,
              3
            ],
            "coefficient": 1
          }
        ]
      },
      {
        "source": [
          0,
          1
        ],
        "terms": [
          {
            "simplex": [
              0,
              1,
              3
            ],
            "coefficient": -1
          },
          {
            "simplex": [
              0,
              2,
              3
            ],
            "coefficient": 1
          }
        ]
      }
    ]
  },
  "diamond_beat_deletions": [
    {
      "current_vertices": [
        0,
        1,
        2,
        3
      ],
      "deleted": 1,
      "direction": "down",
      "witness": 0,
      "strict_neighbors": [
        0
      ],
      "retraction": [
        [
          0,
          0
        ],
        [
          1,
          0
        ],
        [
          2,
          2
        ],
        [
          3,
          3
        ]
      ],
      "integer_chain_homotopy": {
        "steps": [
          {
            "vertex": 1,
            "before": 0,
            "after": 1
          }
        ],
        "changed_vertices": 1,
        "chain_homotopy": [
          {
            "source": [
              0
            ],
            "terms": []
          },
          {
            "source": [
              1
            ],
            "terms": [
              {
                "simplex": [
                  0,
                  1
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              2
            ],
            "terms": []
          },
          {
            "source": [
              3
            ],
            "terms": []
          },
          {
            "source": [
              0,
              1
            ],
            "terms": []
          },
          {
            "source": [
              0,
              2
            ],
            "terms": []
          },
          {
            "source": [
              0,
              3
            ],
            "terms": []
          },
          {
            "source": [
              1,
              3
            ],
            "terms": [
              {
                "simplex": [
                  0,
                  1,
                  3
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              2,
              3
            ],
            "terms": []
          },
          {
            "source": [
              0,
              1,
              3
            ],
            "terms": []
          },
          {
            "source": [
              0,
              2,
              3
            ],
            "terms": []
          }
        ]
      }
    },
    {
      "current_vertices": [
        0,
        2,
        3
      ],
      "deleted": 2,
      "direction": "down",
      "witness": 0,
      "strict_neighbors": [
        0
      ],
      "retraction": [
        [
          0,
          0
        ],
        [
          2,
          0
        ],
        [
          3,
          3
        ]
      ],
      "integer_chain_homotopy": {
        "steps": [
          {
            "vertex": 2,
            "before": 0,
            "after": 2
          }
        ],
        "changed_vertices": 1,
        "chain_homotopy": [
          {
            "source": [
              0
            ],
            "terms": []
          },
          {
            "source": [
              2
            ],
            "terms": [
              {
                "simplex": [
                  0,
                  2
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              3
            ],
            "terms": []
          },
          {
            "source": [
              0,
              2
            ],
            "terms": []
          },
          {
            "source": [
              0,
              3
            ],
            "terms": []
          },
          {
            "source": [
              2,
              3
            ],
            "terms": [
              {
                "simplex": [
                  0,
                  2,
                  3
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              0,
              2,
              3
            ],
            "terms": []
          }
        ]
      }
    },
    {
      "current_vertices": [
        0,
        3
      ],
      "deleted": 3,
      "direction": "down",
      "witness": 0,
      "strict_neighbors": [
        0
      ],
      "retraction": [
        [
          0,
          0
        ],
        [
          3,
          0
        ]
      ],
      "integer_chain_homotopy": {
        "steps": [
          {
            "vertex": 3,
            "before": 0,
            "after": 3
          }
        ],
        "changed_vertices": 1,
        "chain_homotopy": [
          {
            "source": [
              0
            ],
            "terms": []
          },
          {
            "source": [
              3
            ],
            "terms": [
              {
                "simplex": [
                  0,
                  3
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              0,
              3
            ],
            "terms": []
          }
        ]
      }
    }
  ],
  "all_labeled_posets_sizes_one_to_four": 242,
  "individual_beat_certificates": 820,
  "good_circle_cover": {
    "nerve_faces": [
      [
        0
      ],
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        1
      ],
      [
        1,
        2
      ],
      [
        2
      ]
    ],
    "intersection_cones": [
      {
        "labels": [
          0
        ],
        "cone_vertex": 0,
        "nonempty_faces": 3
      },
      {
        "labels": [
          1
        ],
        "cone_vertex": 1,
        "nonempty_faces": 3
      },
      {
        "labels": [
          0,
          1
        ],
        "cone_vertex": 1,
        "nonempty_faces": 1
      },
      {
        "labels": [
          2
        ],
        "cone_vertex": 0,
        "nonempty_faces": 3
      },
      {
        "labels": [
          0,
          2
        ],
        "cone_vertex": 0,
        "nonempty_faces": 1
      },
      {
        "labels": [
          1,
          2
        ],
        "cone_vertex": 2,
        "nonempty_faces": 1
      }
    ],
    "map_homology_ranks": [
      1,
      1
    ]
  },
  "relation_filtration": [
    {
      "relation": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ],
        [
          2,
          2
        ],
        [
          3,
          0
        ],
        [
          3,
          1
        ]
      ],
      "row_facets": [
        [
          0,
          1,
          3
        ],
        [
          0,
          2,
          3
        ],
        [
          1,
          2
        ]
      ],
      "column_facets": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          1,
          2
        ]
      ],
      "row_f_vector": [
        4,
        6,
        2
      ],
      "column_f_vector": [
        3,
        3
      ],
      "row_betti": [
        1,
        1
      ],
      "column_betti": [
        1,
        1
      ],
      "face_map": [
        {
          "source": [
            0
          ],
          "target": [
            0,
            1
          ]
        },
        {
          "source": [
            1
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            0,
            1
          ],
          "target": [
            1
          ]
        },
        {
          "source": [
            2
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            0,
            2
          ],
          "target": [
            0
          ]
        },
        {
          "source": [
            1,
            2
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            3
          ],
          "target": [
            0,
            1
          ]
        },
        {
          "source": [
            0,
            3
          ],
          "target": [
            0,
            1
          ]
        },
        {
          "source": [
            1,
            3
          ],
          "target": [
            1
          ]
        },
        {
          "source": [
            0,
            1,
            3
          ],
          "target": [
            1
          ]
        },
        {
          "source": [
            2,
            3
          ],
          "target": [
            0
          ]
        },
        {
          "source": [
            0,
            2,
            3
          ],
          "target": [
            0
          ]
        }
      ],
      "fiber_maxima": [
        {
          "target_face": [
            0
          ],
          "maximum_source_face": [
            0,
            2,
            3
          ]
        },
        {
          "target_face": [
            1
          ],
          "maximum_source_face": [
            0,
            1,
            3
          ]
        },
        {
          "target_face": [
            0,
            1
          ],
          "maximum_source_face": [
            0,
            3
          ]
        },
        {
          "target_face": [
            2
          ],
          "maximum_source_face": [
            1,
            2
          ]
        },
        {
          "target_face": [
            0,
            2
          ],
          "maximum_source_face": [
            2
          ]
        },
        {
          "target_face": [
            1,
            2
          ],
          "maximum_source_face": [
            1
          ]
        }
      ],
      "map_homology_ranks": [
        1,
        1
      ],
      "mapping_cylinder_deletions": [
        {
          "side": "source",
          "original": 13,
          "witness": 1,
          "current_size": 18
        },
        {
          "side": "source",
          "original": 12,
          "witness": 1,
          "current_size": 17
        },
        {
          "side": "source",
          "original": 11,
          "witness": 2,
          "current_size": 16
        },
        {
          "side": "source",
          "original": 10,
          "witness": 2,
          "current_size": 15
        },
        {
          "side": "source",
          "original": 9,
          "witness": 3,
          "current_size": 14
        },
        {
          "side": "source",
          "original": 8,
          "witness": 3,
          "current_size": 13
        },
        {
          "side": "source",
          "original": 6,
          "witness": 4,
          "current_size": 12
        },
        {
          "side": "source",
          "original": 5,
          "witness": 1,
          "current_size": 11
        },
        {
          "side": "source",
          "original": 4,
          "witness": 5,
          "current_size": 10
        },
        {
          "side": "source",
          "original": 3,
          "witness": 2,
          "current_size": 9
        },
        {
          "side": "source",
          "original": 2,
          "witness": 6,
          "current_size": 8
        },
        {
          "side": "source",
          "original": 1,
          "witness": 3,
          "current_size": 7
        },
        {
          "side": "target",
          "original": 3,
          "fiber": [
            1,
            8,
            9
          ],
          "current_size": 18
        },
        {
          "side": "target",
          "original": 5,
          "fiber": [
            4
          ],
          "current_size": 17
        },
        {
          "side": "target",
          "original": 1,
          "fiber": [
            1,
            4,
            5,
            8,
            9,
            12,
            13
          ],
          "current_size": 16
        },
        {
          "side": "target",
          "original": 6,
          "fiber": [
            2
          ],
          "current_size": 15
        },
        {
          "side": "target",
          "original": 2,
          "fiber": [
            1,
            2,
            3,
            8,
            9,
            10,
            11
          ],
          "current_size": 14
        },
        {
          "side": "target",
          "original": 4,
          "fiber": [
            2,
            4,
            6
          ],
          "current_size": 13
        }
      ]
    },
    {
      "relation": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          1,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ],
        [
          2,
          2
        ],
        [
          3,
          0
        ],
        [
          3,
          1
        ]
      ],
      "row_facets": [
        [
          0,
          1,
          2
        ],
        [
          0,
          1,
          3
        ],
        [
          0,
          2,
          3
        ]
      ],
      "column_facets": [
        [
          0,
          1,
          2
        ]
      ],
      "row_f_vector": [
        4,
        6,
        3
      ],
      "column_f_vector": [
        3,
        3,
        1
      ],
      "row_betti": [
        1
      ],
      "column_betti": [
        1
      ],
      "face_map": [
        {
          "source": [
            0
          ],
          "target": [
            0,
            1,
            2
          ]
        },
        {
          "source": [
            1
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            0,
            1
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            2
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            0,
            2
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            1,
            2
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            0,
            1,
            2
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            3
          ],
          "target": [
            0,
            1
          ]
        },
        {
          "source": [
            0,
            3
          ],
          "target": [
            0,
            1
          ]
        },
        {
          "source": [
            1,
            3
          ],
          "target": [
            1
          ]
        },
        {
          "source": [
            0,
            1,
            3
          ],
          "target": [
            1
          ]
        },
        {
          "source": [
            2,
            3
          ],
          "target": [
            0
          ]
        },
        {
          "source": [
            0,
            2,
            3
          ],
          "target": [
            0
          ]
        }
      ],
      "fiber_maxima": [
        {
          "target_face": [
            0
          ],
          "maximum_source_face": [
            0,
            2,
            3
          ]
        },
        {
          "target_face": [
            1
          ],
          "maximum_source_face": [
            0,
            1,
            3
          ]
        },
        {
          "target_face": [
            0,
            1
          ],
          "maximum_source_face": [
            0,
            3
          ]
        },
        {
          "target_face": [
            2
          ],
          "maximum_source_face": [
            0,
            1,
            2
          ]
        },
        {
          "target_face": [
            0,
            2
          ],
          "maximum_source_face": [
            0,
            2
          ]
        },
        {
          "target_face": [
            1,
            2
          ],
          "maximum_source_face": [
            0,
            1
          ]
        },
        {
          "target_face": [
            0,
            1,
            2
          ],
          "maximum_source_face": [
            0
          ]
        }
      ],
      "map_homology_ranks": [
        1
      ],
      "mapping_cylinder_deletions": [
        {
          "side": "source",
          "original": 13,
          "witness": 1,
          "current_size": 20
        },
        {
          "side": "source",
          "original": 12,
          "witness": 1,
          "current_size": 19
        },
        {
          "side": "source",
          "original": 11,
          "witness": 2,
          "current_size": 18
        },
        {
          "side": "source",
          "original": 10,
          "witness": 2,
          "current_size": 17
        },
        {
          "side": "source",
          "original": 9,
          "witness": 3,
          "current_size": 16
        },
        {
          "side": "source",
          "original": 8,
          "witness": 3,
          "current_size": 15
        },
        {
          "side": "source",
          "original": 7,
          "witness": 4,
          "current_size": 14
        },
        {
          "side": "source",
          "original": 6,
          "witness": 4,
          "current_size": 13
        },
        {
          "side": "source",
          "original": 5,
          "witness": 5,
          "current_size": 12
        },
        {
          "side": "source",
          "original": 4,
          "witness": 5,
          "current_size": 11
        },
        {
          "side": "source",
          "original": 3,
          "witness": 6,
          "current_size": 10
        },
        {
          "side": "source",
          "original": 2,
          "witness": 6,
          "current_size": 9
        },
        {
          "side": "source",
          "original": 1,
          "witness": 7,
          "current_size": 8
        },
        {
          "side": "target",
          "original": 7,
          "fiber": [
            1
          ],
          "current_size": 20
        },
        {
          "side": "target",
          "original": 3,
          "fiber": [
            1,
            8,
            9
          ],
          "current_size": 19
        },
        {
          "side": "target",
          "original": 5,
          "fiber": [
            1,
            4,
            5
          ],
          "current_size": 18
        },
        {
          "side": "target",
          "original": 1,
          "fiber": [
            1,
            4,
            5,
            8,
            9,
            12,
            13
          ],
          "current_size": 17
        },
        {
          "side": "target",
          "original": 6,
          "fiber": [
            1,
            2,
            3
          ],
          "current_size": 16
        },
        {
          "side": "target",
          "original": 2,
          "fiber": [
            1,
            2,
            3,
            8,
            9,
            10,
            11
          ],
          "current_size": 15
        },
        {
          "side": "target",
          "original": 4,
          "fiber": [
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "current_size": 14
        }
      ]
    },
    {
      "relation": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          1,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ],
        [
          2,
          2
        ],
        [
          3,
          0
        ],
        [
          3,
          1
        ],
        [
          3,
          2
        ]
      ],
      "row_facets": [
        [
          0,
          1,
          2,
          3
        ]
      ],
      "column_facets": [
        [
          0,
          1,
          2
        ]
      ],
      "row_f_vector": [
        4,
        6,
        4,
        1
      ],
      "column_f_vector": [
        3,
        3,
        1
      ],
      "row_betti": [
        1
      ],
      "column_betti": [
        1
      ],
      "face_map": [
        {
          "source": [
            0
          ],
          "target": [
            0,
            1,
            2
          ]
        },
        {
          "source": [
            1
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            0,
            1
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            2
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            0,
            2
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            1,
            2
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            0,
            1,
            2
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            3
          ],
          "target": [
            0,
            1,
            2
          ]
        },
        {
          "source": [
            0,
            3
          ],
          "target": [
            0,
            1,
            2
          ]
        },
        {
          "source": [
            1,
            3
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            0,
            1,
            3
          ],
          "target": [
            1,
            2
          ]
        },
        {
          "source": [
            2,
            3
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            0,
            2,
            3
          ],
          "target": [
            0,
            2
          ]
        },
        {
          "source": [
            1,
            2,
            3
          ],
          "target": [
            2
          ]
        },
        {
          "source": [
            0,
            1,
            2,
            3
          ],
          "target": [
            2
          ]
        }
      ],
      "fiber_maxima": [
        {
          "target_face": [
            0
          ],
          "maximum_source_face": [
            0,
            2,
            3
          ]
        },
        {
          "target_face": [
            1
          ],
          "maximum_source_face": [
            0,
            1,
            3
          ]
        },
        {
          "target_face": [
            0,
            1
          ],
          "maximum_source_face": [
            0,
            3
          ]
        },
        {
          "target_face": [
            2
          ],
          "maximum_source_face": [
            0,
            1,
            2,
            3
          ]
        },
        {
          "target_face": [
            0,
            2
          ],
          "maximum_source_face": [
            0,
            2,
            3
          ]
        },
        {
          "target_face": [
            1,
            2
          ],
          "maximum_source_face": [
            0,
            1,
            3
          ]
        },
        {
          "target_face": [
            0,
            1,
            2
          ],
          "maximum_source_face": [
            0,
            3
          ]
        }
      ],
      "map_homology_ranks": [
        1
      ],
      "mapping_cylinder_deletions": [
        {
          "side": "source",
          "original": 15,
          "witness": 4,
          "current_size": 22
        },
        {
          "side": "source",
          "original": 14,
          "witness": 4,
          "current_size": 21
        },
        {
          "side": "source",
          "original": 13,
          "witness": 5,
          "current_size": 20
        },
        {
          "side": "source",
          "original": 12,
          "witness": 5,
          "current_size": 19
        },
        {
          "side": "source",
          "original": 11,
          "witness": 6,
          "current_size": 18
        },
        {
          "side": "source",
          "original": 10,
          "witness": 6,
          "current_size": 17
        },
        {
          "side": "source",
          "original": 9,
          "witness": 7,
          "current_size": 16
        },
        {
          "side": "source",
          "original": 8,
          "witness": 7,
          "current_size": 15
        },
        {
          "side": "source",
          "original": 7,
          "witness": 4,
          "current_size": 14
        },
        {
          "side": "source",
          "original": 6,
          "witness": 4,
          "current_size": 13
        },
        {
          "side": "source",
          "original": 5,
          "witness": 5,
          "current_size": 12
        },
        {
          "side": "source",
          "original": 4,
          "witness": 5,
          "current_size": 11
        },
        {
          "side": "source",
          "original": 3,
          "witness": 6,
          "current_size": 10
        },
        {
          "side": "source",
          "original": 2,
          "witness": 6,
          "current_size": 9
        },
        {
          "side": "source",
          "original": 1,
          "witness": 7,
          "current_size": 8
        },
        {
          "side": "target",
          "original": 7,
          "fiber": [
            1,
            8,
            9
          ],
          "current_size": 22
        },
        {
          "side": "target",
          "original": 3,
          "fiber": [
            1,
            8,
            9
          ],
          "current_size": 21
        },
        {
          "side": "target",
          "original": 5,
          "fiber": [
            1,
            4,
            5,
            8,
            9,
            12,
            13
          ],
          "current_size": 20
        },
        {
          "side": "target",
          "original": 1,
          "fiber": [
            1,
            4,
            5,
            8,
            9,
            12,
            13
          ],
          "current_size": 19
        },
        {
          "side": "target",
          "original": 6,
          "fiber": [
            1,
            2,
            3,
            8,
            9,
            10,
            11
          ],
          "current_size": 18
        },
        {
          "side": "target",
          "original": 2,
          "fiber": [
            1,
            2,
            3,
            8,
            9,
            10,
            11
          ],
          "current_size": 17
        },
        {
          "side": "target",
          "original": 4,
          "fiber": [
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14,
            15
          ],
          "current_size": 16
        }
      ]
    }
  ],
  "naturality_certificates": [
    {
      "row_inclusion_ranks": [
        1
      ],
      "column_inclusion_ranks": [
        1
      ],
      "homotopy": {
        "steps": [
          {
            "vertex": 3,
            "before": 6,
            "after": 2
          },
          {
            "vertex": 5,
            "before": 5,
            "after": 1
          },
          {
            "vertex": 1,
            "before": 7,
            "after": 3
          }
        ],
        "changed_vertices": 3,
        "chain_homotopy": [
          {
            "source": [
              1
            ],
            "terms": [
              {
                "simplex": [
                  3,
                  7
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              2
            ],
            "terms": []
          },
          {
            "source": [
              3
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  6
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              4
            ],
            "terms": []
          },
          {
            "source": [
              5
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  5
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              6
            ],
            "terms": []
          },
          {
            "source": [
              8
            ],
            "terms": []
          },
          {
            "source": [
              9
            ],
            "terms": []
          },
          {
            "source": [
              10
            ],
            "terms": []
          },
          {
            "source": [
              11
            ],
            "terms": []
          },
          {
            "source": [
              12
            ],
            "terms": []
          },
          {
            "source": [
              13
            ],
            "terms": []
          },
          {
            "source": [
              1,
              3
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  2,
                  6,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              1,
              5
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  1,
                  5,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              1,
              9
            ],
            "terms": []
          },
          {
            "source": [
              1,
              11
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  3,
                  7
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              1,
              13
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  3,
                  7
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              2,
              3
            ],
            "terms": []
          },
          {
            "source": [
              2,
              6
            ],
            "terms": []
          },
          {
            "source": [
              2,
              10
            ],
            "terms": []
          },
          {
            "source": [
              2,
              11
            ],
            "terms": []
          },
          {
            "source": [
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              4,
              5
            ],
            "terms": []
          },
          {
            "source": [
              4,
              6
            ],
            "terms": []
          },
          {
            "source": [
              4,
              12
            ],
            "terms": []
          },
          {
            "source": [
              4,
              13
            ],
            "terms": []
          },
          {
            "source": [
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9
            ],
            "terms": []
          },
          {
            "source": [
              8,
              10
            ],
            "terms": []
          },
          {
            "source": [
              8,
              11
            ],
            "terms": []
          },
          {
            "source": [
              8,
              12
            ],
            "terms": []
          },
          {
            "source": [
              8,
              13
            ],
            "terms": []
          },
          {
            "source": [
              9,
              11
            ],
            "terms": []
          },
          {
            "source": [
              9,
              13
            ],
            "terms": []
          },
          {
            "source": [
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              12,
              13
            ],
            "terms": []
          },
          {
            "source": [
              1,
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              1,
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              1,
              9,
              11
            ],
            "terms": []
          },
          {
            "source": [
              1,
              9,
              13
            ],
            "terms": []
          },
          {
            "source": [
              2,
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              2,
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              4,
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              4,
              12,
              13
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9,
              11
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9,
              13
            ],
            "terms": []
          },
          {
            "source": [
              8,
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              8,
              12,
              13
            ],
            "terms": []
          }
        ]
      }
    },
    {
      "row_inclusion_ranks": [
        1
      ],
      "column_inclusion_ranks": [
        1
      ],
      "homotopy": {
        "steps": [
          {
            "vertex": 11,
            "before": 6,
            "after": 2
          },
          {
            "vertex": 10,
            "before": 6,
            "after": 2
          },
          {
            "vertex": 13,
            "before": 5,
            "after": 1
          },
          {
            "vertex": 9,
            "before": 7,
            "after": 3
          },
          {
            "vertex": 12,
            "before": 5,
            "after": 1
          },
          {
            "vertex": 8,
            "before": 7,
            "after": 3
          }
        ],
        "changed_vertices": 6,
        "chain_homotopy": [
          {
            "source": [
              1
            ],
            "terms": []
          },
          {
            "source": [
              2
            ],
            "terms": []
          },
          {
            "source": [
              3
            ],
            "terms": []
          },
          {
            "source": [
              4
            ],
            "terms": []
          },
          {
            "source": [
              5
            ],
            "terms": []
          },
          {
            "source": [
              6
            ],
            "terms": []
          },
          {
            "source": [
              7
            ],
            "terms": []
          },
          {
            "source": [
              8
            ],
            "terms": [
              {
                "simplex": [
                  3,
                  7
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              9
            ],
            "terms": [
              {
                "simplex": [
                  3,
                  7
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              10
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  6
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              11
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  6
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              12
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  5
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              13
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  5
                ],
                "coefficient": -1
              }
            ]
          },
          {
            "source": [
              1,
              3
            ],
            "terms": []
          },
          {
            "source": [
              1,
              5
            ],
            "terms": []
          },
          {
            "source": [
              1,
              7
            ],
            "terms": []
          },
          {
            "source": [
              1,
              9
            ],
            "terms": []
          },
          {
            "source": [
              1,
              11
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  6,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              1,
              13
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  5,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              2,
              3
            ],
            "terms": []
          },
          {
            "source": [
              2,
              6
            ],
            "terms": []
          },
          {
            "source": [
              2,
              7
            ],
            "terms": []
          },
          {
            "source": [
              2,
              10
            ],
            "terms": []
          },
          {
            "source": [
              2,
              11
            ],
            "terms": []
          },
          {
            "source": [
              3,
              7
            ],
            "terms": []
          },
          {
            "source": [
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              4,
              5
            ],
            "terms": []
          },
          {
            "source": [
              4,
              6
            ],
            "terms": []
          },
          {
            "source": [
              4,
              7
            ],
            "terms": []
          },
          {
            "source": [
              4,
              12
            ],
            "terms": []
          },
          {
            "source": [
              4,
              13
            ],
            "terms": []
          },
          {
            "source": [
              5,
              7
            ],
            "terms": []
          },
          {
            "source": [
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              6,
              7
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9
            ],
            "terms": []
          },
          {
            "source": [
              8,
              10
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  2,
                  6,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              8,
              11
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  2,
                  6,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              8,
              12
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  1,
                  5,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              8,
              13
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  1,
                  5,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              9,
              11
            ],
            "terms": [
              {
                "simplex": [
                  2,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  2,
                  6,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              9,
              13
            ],
            "terms": [
              {
                "simplex": [
                  1,
                  3,
                  7
                ],
                "coefficient": -1
              },
              {
                "simplex": [
                  1,
                  5,
                  7
                ],
                "coefficient": 1
              }
            ]
          },
          {
            "source": [
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              12,
              13
            ],
            "terms": []
          },
          {
            "source": [
              1,
              3,
              7
            ],
            "terms": []
          },
          {
            "source": [
              1,
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              1,
              5,
              7
            ],
            "terms": []
          },
          {
            "source": [
              1,
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              1,
              9,
              11
            ],
            "terms": []
          },
          {
            "source": [
              1,
              9,
              13
            ],
            "terms": []
          },
          {
            "source": [
              2,
              3,
              7
            ],
            "terms": []
          },
          {
            "source": [
              2,
              3,
              11
            ],
            "terms": []
          },
          {
            "source": [
              2,
              6,
              7
            ],
            "terms": []
          },
          {
            "source": [
              2,
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              4,
              5,
              7
            ],
            "terms": []
          },
          {
            "source": [
              4,
              5,
              13
            ],
            "terms": []
          },
          {
            "source": [
              4,
              6,
              7
            ],
            "terms": []
          },
          {
            "source": [
              4,
              12,
              13
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9,
              11
            ],
            "terms": []
          },
          {
            "source": [
              8,
              9,
              13
            ],
            "terms": []
          },
          {
            "source": [
              8,
              10,
              11
            ],
            "terms": []
          },
          {
            "source": [
              8,
              12,
              13
            ],
            "terms": []
          }
        ]
      }
    }
  ],
  "all_3_by_3_relations": 512,
  "betti_histogram": {
    "0": 1,
    "1": 391,
    "1,1": 6,
    "2": 108,
    "3": 6
  },
  "duplicate_column_models": 64,
  "scope": "Finite constructive certificates. No inference from vanishing Betti numbers to contractibility; no general contractibility algorithm, arbitrary open-cover theorem, or claim about integer torsion from F2 ranks."
}