{
  "checks": 325,
  "passed": 325,
  "results": [
    {
      "name": "2x2_count_total_0_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_0_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_1_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_1_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_1_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_1_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_1_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_1_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_1_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_1_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_2_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_2_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_3_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_3_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_4_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_4_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_0_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_0_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_1_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_1_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_2_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_2_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_3_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_3_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_4_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_4_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_5_row_5_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_5_row_5_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_0_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_0_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_1_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_1_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_2_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_2_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_3_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_3_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_4_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_4_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_5_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_5_col_6",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_0",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_0",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_1",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_1",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_2",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_2",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_3",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_3",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_4",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_4",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_5",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_5",
      "passed": true
    },
    {
      "name": "2x2_count_total_6_row_6_col_6",
      "passed": true
    },
    {
      "name": "2x2_rank_bijection_total_6_row_6_col_6",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_0",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_1",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_2",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_3",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_4",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_5",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_6",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_7",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_8",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_9",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_10",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_11",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_12",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_13",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_14",
      "passed": true
    },
    {
      "name": "structural_zeros_mask_15",
      "passed": true
    },
    {
      "name": "independent_cartesian_fixture_0",
      "passed": true
    },
    {
      "name": "independent_cartesian_fixture_1",
      "passed": true
    },
    {
      "name": "independent_cartesian_fixture_2",
      "passed": true
    },
    {
      "name": "independent_cartesian_fixture_3",
      "passed": true
    },
    {
      "name": "independent_cartesian_fixture_4",
      "passed": true
    },
    {
      "name": "3x3_permutation_count",
      "passed": true
    },
    {
      "name": "6x6_permutation_count",
      "passed": true
    },
    {
      "name": "zero_total_is_one_zero_table",
      "passed": true
    },
    {
      "name": "one_row_is_unique",
      "passed": true
    },
    {
      "name": "completed_infeasible_count_is_zero",
      "passed": true
    },
    {
      "name": "state_budget_exhaustion_is_unknown",
      "passed": true
    },
    {
      "name": "work_budget_exhaustion_is_unknown",
      "passed": true
    },
    {
      "name": "OS_random_draws_have_replayable_valid_ranks",
      "passed": true
    },
    {
      "name": "invalid_input_0",
      "passed": true
    },
    {
      "name": "invalid_input_1",
      "passed": true
    },
    {
      "name": "invalid_input_2",
      "passed": true
    },
    {
      "name": "invalid_input_3",
      "passed": true
    },
    {
      "name": "invalid_input_4",
      "passed": true
    },
    {
      "name": "invalid_input_5",
      "passed": true
    },
    {
      "name": "invalid_input_6",
      "passed": true
    },
    {
      "name": "invalid_input_7",
      "passed": true
    },
    {
      "name": "invalid_input_8",
      "passed": true
    },
    {
      "name": "invalid_rank_negative",
      "passed": true
    },
    {
      "name": "invalid_rank_boolean",
      "passed": true
    },
    {
      "name": "invalid_rank_out_of_range",
      "passed": true
    },
    {
      "name": "sample_count_cap",
      "passed": true
    },
    {
      "name": "conditional_independence_law_not_uniform",
      "passed": true
    },
    {
      "name": "conditional_mass_normalizes",
      "passed": true
    },
    {
      "name": "law_total_variation_is_one_third",
      "passed": true
    }
  ]
}