{
  "status": "PASS",
  "closure": {
    "status": "DISTANCES",
    "caps": [
      1,
      2,
      4,
      8
    ],
    "matrices": [
      [
        [
          0,
          4,
          8,
          null,
          null
        ],
        [
          null,
          0,
          -2,
          6,
          null
        ],
        [
          null,
          null,
          0,
          3,
          null
        ],
        [
          null,
          0,
          null,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          4,
          2,
          10,
          null
        ],
        [
          null,
          0,
          -2,
          1,
          null
        ],
        [
          null,
          3,
          0,
          3,
          null
        ],
        [
          null,
          0,
          -2,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          4,
          2,
          5,
          null
        ],
        [
          null,
          0,
          -2,
          1,
          null
        ],
        [
          null,
          3,
          0,
          3,
          null
        ],
        [
          null,
          0,
          -2,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          4,
          2,
          5,
          null
        ],
        [
          null,
          0,
          -2,
          1,
          null
        ],
        [
          null,
          3,
          0,
          3,
          null
        ],
        [
          null,
          0,
          -2,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ]
    ],
    "product_tests": 375,
    "negative_witness": null,
    "route_0_3": [
      10,
      20,
      40
    ]
  },
  "negative_migration": {
    "status": "NEGATIVE_CYCLE",
    "caps": [
      1,
      2,
      4,
      8
    ],
    "matrices": [
      [
        [
          0,
          4,
          8,
          null,
          null
        ],
        [
          null,
          0,
          -2,
          6,
          null
        ],
        [
          null,
          null,
          0,
          3,
          null
        ],
        [
          null,
          -2,
          null,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          4,
          2,
          10,
          null
        ],
        [
          null,
          0,
          -2,
          1,
          null
        ],
        [
          null,
          1,
          0,
          3,
          null
        ],
        [
          null,
          -2,
          -4,
          0,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          3,
          2,
          5,
          null
        ],
        [
          null,
          -1,
          -3,
          1,
          null
        ],
        [
          null,
          1,
          -1,
          2,
          null
        ],
        [
          null,
          -3,
          -4,
          -1,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ],
      [
        [
          0,
          2,
          0,
          4,
          null
        ],
        [
          null,
          -2,
          -4,
          -1,
          null
        ],
        [
          null,
          -1,
          -2,
          1,
          null
        ],
        [
          null,
          -4,
          -6,
          -2,
          null
        ],
        [
          null,
          null,
          null,
          null,
          0
        ]
      ]
    ],
    "product_tests": 375,
    "negative_witness": {
      "vertex": 1,
      "cost": -2,
      "arc_ids": [
        20,
        40,
        70,
        20,
        40,
        70
      ]
    }
  },
  "product": {
    "a": [
      [
        0,
        4,
        null
      ],
      [
        -1,
        2,
        5
      ],
      [
        null,
        0,
        3
      ]
    ],
    "b": [
      [
        3,
        null,
        1
      ],
      [
        2,
        -2,
        null
      ],
      [
        null,
        4,
        0
      ]
    ],
    "c": [
      [
        3,
        2,
        1
      ],
      [
        2,
        0,
        0
      ],
      [
        2,
        -2,
        3
      ]
    ],
    "argmin": [
      [
        0,
        1,
        0
      ],
      [
        0,
        1,
        0
      ],
      [
        1,
        1,
        2
      ]
    ],
    "candidate_tests": 27,
    "graph": {
      "vertices": 9,
      "arcs": [
        [
          0,
          0,
          3,
          0
        ],
        [
          1,
          3,
          6,
          3
        ],
        [
          2,
          0,
          4,
          4
        ],
        [
          3,
          3,
          8,
          1
        ],
        [
          4,
          1,
          3,
          -1
        ],
        [
          5,
          4,
          6,
          2
        ],
        [
          6,
          1,
          4,
          2
        ],
        [
          7,
          4,
          7,
          -2
        ],
        [
          8,
          1,
          5,
          5
        ],
        [
          9,
          2,
          4,
          0
        ],
        [
          10,
          5,
          7,
          4
        ],
        [
          11,
          2,
          5,
          3
        ],
        [
          12,
          5,
          8,
          0
        ]
      ]
    }
  },
  "matrix": [
    [
      1,
      0,
      1,
      0
    ],
    [
      0,
      1,
      1,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      1
    ]
  ],
  "vectors": [
    [
      1,
      0,
      1,
      0
    ],
    [
      0,
      1,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      1,
      1,
      1
    ]
  ],
  "direct": {
    "block_size": 4,
    "block_count": 1,
    "graph_vertices_per_block": 9,
    "input_cells": 16,
    "updates": 12,
    "queries": 16,
    "merges": 16,
    "actual_baseline_edge_scans": 80,
    "transcript": [
      {
        "round": 0,
        "vector": [
          1,
          0,
          1,
          0
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 2,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              1,
              0,
              1
            ]
          }
        ],
        "answer": [
          1,
          1,
          0,
          1
        ]
      },
      {
        "round": 1,
        "vector": [
          0,
          1,
          0,
          1
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "delete"
              },
              {
                "column": 1,
                "action": "insert"
              },
              {
                "column": 2,
                "action": "delete"
              },
              {
                "column": 3,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1,
              0,
              1
            ]
          }
        ],
        "answer": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "round": 2,
        "vector": [
          0,
          0,
          0,
          0
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 1,
                "action": "delete"
              },
              {
                "column": 3,
                "action": "delete"
              }
            ],
            "partial": [
              0,
              0,
              0,
              0
            ]
          }
        ],
        "answer": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "round": 3,
        "vector": [
          1,
          1,
          1,
          1
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 1,
                "action": "insert"
              },
              {
                "column": 2,
                "action": "insert"
              },
              {
                "column": 3,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              1,
              0,
              1
            ]
          }
        ],
        "answer": [
          1,
          1,
          0,
          1
        ]
      }
    ],
    "protocol": [
      {
        "event": "reveal",
        "round": 0,
        "vector": [
          1,
          0,
          1,
          0
        ]
      },
      {
        "event": "submit",
        "round": 0,
        "answer": [
          1,
          1,
          0,
          1
        ]
      },
      {
        "event": "reveal",
        "round": 1,
        "vector": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "event": "submit",
        "round": 1,
        "answer": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "event": "reveal",
        "round": 2,
        "vector": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "event": "submit",
        "round": 2,
        "answer": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "event": "reveal",
        "round": 3,
        "vector": [
          1,
          1,
          1,
          1
        ]
      },
      {
        "event": "submit",
        "round": 3,
        "answer": [
          1,
          1,
          0,
          1
        ]
      }
    ]
  },
  "blocked": {
    "block_size": 2,
    "block_count": 4,
    "graph_vertices_per_block": 5,
    "input_cells": 16,
    "updates": 24,
    "queries": 32,
    "merges": 32,
    "actual_baseline_edge_scans": 56,
    "transcript": [
      {
        "round": 0,
        "vector": [
          1,
          0,
          1,
          0
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              0
            ]
          },
          {
            "block": [
              0,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              1
            ]
          },
          {
            "block": [
              1,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1
            ]
          },
          {
            "block": [
              1,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              0
            ]
          }
        ],
        "answer": [
          1,
          1,
          0,
          1
        ]
      },
      {
        "round": 1,
        "vector": [
          0,
          1,
          0,
          1
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "delete"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1
            ]
          },
          {
            "block": [
              0,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "delete"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              0
            ]
          },
          {
            "block": [
              1,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "delete"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              0
            ]
          },
          {
            "block": [
              1,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "delete"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1
            ]
          }
        ],
        "answer": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "round": 2,
        "vector": [
          0,
          0,
          0,
          0
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 1,
                "action": "delete"
              }
            ],
            "partial": [
              0,
              0
            ]
          },
          {
            "block": [
              0,
              1
            ],
            "updates": [
              {
                "column": 1,
                "action": "delete"
              }
            ],
            "partial": [
              0,
              0
            ]
          },
          {
            "block": [
              1,
              0
            ],
            "updates": [
              {
                "column": 1,
                "action": "delete"
              }
            ],
            "partial": [
              0,
              0
            ]
          },
          {
            "block": [
              1,
              1
            ],
            "updates": [
              {
                "column": 1,
                "action": "delete"
              }
            ],
            "partial": [
              0,
              0
            ]
          }
        ],
        "answer": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "round": 3,
        "vector": [
          1,
          1,
          1,
          1
        ],
        "blocks": [
          {
            "block": [
              0,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              1
            ]
          },
          {
            "block": [
              0,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              1,
              1
            ]
          },
          {
            "block": [
              1,
              0
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1
            ]
          },
          {
            "block": [
              1,
              1
            ],
            "updates": [
              {
                "column": 0,
                "action": "insert"
              },
              {
                "column": 1,
                "action": "insert"
              }
            ],
            "partial": [
              0,
              1
            ]
          }
        ],
        "answer": [
          1,
          1,
          0,
          1
        ]
      }
    ],
    "protocol": [
      {
        "event": "reveal",
        "round": 0,
        "vector": [
          1,
          0,
          1,
          0
        ]
      },
      {
        "event": "submit",
        "round": 0,
        "answer": [
          1,
          1,
          0,
          1
        ]
      },
      {
        "event": "reveal",
        "round": 1,
        "vector": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "event": "submit",
        "round": 1,
        "answer": [
          0,
          1,
          0,
          1
        ]
      },
      {
        "event": "reveal",
        "round": 2,
        "vector": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "event": "submit",
        "round": 2,
        "answer": [
          0,
          0,
          0,
          0
        ]
      },
      {
        "event": "reveal",
        "round": 3,
        "vector": [
          1,
          1,
          1,
          1
        ]
      },
      {
        "event": "submit",
        "round": 3,
        "answer": [
          1,
          1,
          0,
          1
        ]
      }
    ]
  },
  "budget_c5_epsilon_third": {
    "c": "5",
    "epsilon": "1/3",
    "alpha": "1/12",
    "preprocess": "9/4",
    "operations": "107/36",
    "merge": "35/12",
    "after_log_margin": "1/72"
  },
  "migrations": {
    "sentinel": {
      "correct": [
        [
          null,
          -10
        ],
        [
          null,
          null
        ]
      ],
      "finite": [
        [
          null,
          -10
        ],
        [
          null,
          null
        ]
      ],
      "h": 31,
      "wrong_h20": [
        [
          10,
          -10
        ],
        [
          10,
          null
        ]
      ]
    },
    "large_integer": {
      "magnitude": "1606938044258990275541962092341162602522202993782792835301377",
      "sentinel": "4820814132776970826625886277023487807566608981348378505904132",
      "sentinel_bits": 202,
      "product": [
        [
          null,
          -1606938044258990275541962092341162602522202993782792835301377
        ],
        [
          null,
          null
        ]
      ]
    },
    "matrix_bit": {
      "row2_outputs": [
        0,
        1,
        0,
        1
      ],
      "updates": 12,
      "queries": 16
    },
    "insert_only_wrong": [
      [
        1,
        1,
        0,
        1
      ],
      [
        1,
        1,
        0,
        1
      ],
      [
        1,
        1,
        0,
        1
      ],
      [
        1,
        1,
        0,
        1
      ]
    ],
    "parity_wrong": [
      0,
      1,
      0,
      1
    ],
    "transpose_wrong": [
      1,
      0,
      1,
      0
    ],
    "lookahead": {
      "error": "must submit complete answer before next vector",
      "provider_calls": [
        0,
        1
      ],
      "events": [
        {
          "event": "reveal",
          "round": 0,
          "vector": [
            1,
            0,
            1,
            0
          ]
        },
        {
          "event": "submit",
          "round": 0,
          "answer": [
            1,
            1,
            0,
            1
          ]
        },
        {
          "event": "reveal",
          "round": 1,
          "vector": [
            0,
            1,
            0,
            1
          ]
        }
      ]
    }
  },
  "self_checks": {
    "matrix_products": 360,
    "acyclic_graphs": 360,
    "negative_graphs": 300,
    "online_sequences": 960
  }
}