{
  "clauses": [
    [
      1
    ],
    [
      -1,
      2
    ]
  ],
  "variables": 2,
  "occurrences": 3,
  "vertices": 106,
  "arcs": 157,
  "source_entities": 157,
  "source_reactions": 104,
  "max_stoichiometry": 2,
  "assignment_search": {
    "status": "sat",
    "assignment": [
      true,
      true
    ]
  },
  "certificate_verified": true,
  "square_size": 80,
  "integer_flow_bits": 9
}