{
  "status": "PASS",
  "arithmetic": "Python standard library, exact integers and Fraction",
  "checks": 30275,
  "section_checks": {
    "boundaries": 6,
    "hook_and_factorial": 4808,
    "main_fibre": 4,
    "path_involution": 1058,
    "permutations": 5967,
    "poset_bridge": 790,
    "tableaux_and_jt": 3392,
    "word_bijection": 14250
  },
  "lgv_path_families": 502,
  "main_shape": [
    4,
    2,
    1
  ],
  "standard_count": 35,
  "semistandard_count_three_letters": 15,
  "word_fibre_count": 525,
  "shape_distribution": [
    {
      "shape": [
        7
      ],
      "standard": 1,
      "semistandard": 36,
      "words": 36
    },
    {
      "shape": [
        6,
        1
      ],
      "standard": 6,
      "semistandard": 48,
      "words": 288
    },
    {
      "shape": [
        5,
        2
      ],
      "standard": 14,
      "semistandard": 42,
      "words": 588
    },
    {
      "shape": [
        5,
        1,
        1
      ],
      "standard": 15,
      "semistandard": 15,
      "words": 225
    },
    {
      "shape": [
        4,
        3
      ],
      "standard": 14,
      "semistandard": 24,
      "words": 336
    },
    {
      "shape": [
        4,
        2,
        1
      ],
      "standard": 35,
      "semistandard": 15,
      "words": 525
    },
    {
      "shape": [
        3,
        3,
        1
      ],
      "standard": 21,
      "semistandard": 6,
      "words": 126
    },
    {
      "shape": [
        3,
        2,
        2
      ],
      "standard": 21,
      "semistandard": 3,
      "words": 63
    }
  ],
  "tableau_content_distribution": [
    {
      "content": [
        1,
        2,
        4
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        1,
        3,
        3
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        1,
        4,
        2
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        2,
        1,
        4
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        2,
        2,
        3
      ],
      "tableaux": 2,
      "words": 70
    },
    {
      "content": [
        2,
        3,
        2
      ],
      "tableaux": 2,
      "words": 70
    },
    {
      "content": [
        2,
        4,
        1
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        3,
        1,
        3
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        3,
        2,
        2
      ],
      "tableaux": 2,
      "words": 70
    },
    {
      "content": [
        3,
        3,
        1
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        4,
        1,
        2
      ],
      "tableaux": 1,
      "words": 35
    },
    {
      "content": [
        4,
        2,
        1
      ],
      "tableaux": 1,
      "words": 35
    }
  ],
  "insertion_trace": [
    {
      "time": 1,
      "letter": 1,
      "rows": [
        [
          1
        ]
      ],
      "new_cell": [
        1,
        1
      ],
      "bumps": [
        [
          1,
          1,
          1,
          null
        ]
      ]
    },
    {
      "time": 2,
      "letter": 3,
      "rows": [
        [
          1,
          3
        ]
      ],
      "new_cell": [
        1,
        2
      ],
      "bumps": [
        [
          1,
          2,
          3,
          null
        ]
      ]
    },
    {
      "time": 3,
      "letter": 2,
      "rows": [
        [
          1,
          2
        ],
        [
          3
        ]
      ],
      "new_cell": [
        2,
        1
      ],
      "bumps": [
        [
          1,
          2,
          2,
          3
        ],
        [
          2,
          1,
          3,
          null
        ]
      ]
    },
    {
      "time": 4,
      "letter": 3,
      "rows": [
        [
          1,
          2,
          3
        ],
        [
          3
        ]
      ],
      "new_cell": [
        1,
        3
      ],
      "bumps": [
        [
          1,
          3,
          3,
          null
        ]
      ]
    },
    {
      "time": 5,
      "letter": 2,
      "rows": [
        [
          1,
          2,
          2
        ],
        [
          3,
          3
        ]
      ],
      "new_cell": [
        2,
        2
      ],
      "bumps": [
        [
          1,
          3,
          2,
          3
        ],
        [
          2,
          2,
          3,
          null
        ]
      ]
    },
    {
      "time": 6,
      "letter": 1,
      "rows": [
        [
          1,
          1,
          2
        ],
        [
          2,
          3
        ],
        [
          3
        ]
      ],
      "new_cell": [
        3,
        1
      ],
      "bumps": [
        [
          1,
          2,
          1,
          2
        ],
        [
          2,
          1,
          2,
          3
        ],
        [
          3,
          1,
          3,
          null
        ]
      ]
    },
    {
      "time": 7,
      "letter": 3,
      "rows": [
        [
          1,
          1,
          2,
          3
        ],
        [
          2,
          3
        ],
        [
          3
        ]
      ],
      "new_cell": [
        1,
        4
      ],
      "bumps": [
        [
          1,
          4,
          3,
          null
        ]
      ]
    }
  ],
  "final_P": [
    [
      1,
      1,
      2,
      3
    ],
    [
      2,
      3
    ],
    [
      3
    ]
  ],
  "final_Q": [
    [
      1,
      2,
      4,
      7
    ],
    [
      3,
      5
    ],
    [
      6
    ]
  ],
  "fixed_content_inverse_examples": [
    {
      "P": [
        [
          1,
          1,
          1,
          2
        ],
        [
          2,
          3
        ],
        [
          3
        ]
      ],
      "Q": [
        [
          1,
          2,
          4,
          7
        ],
        [
          3,
          5
        ],
        [
          6
        ]
      ],
      "word": [
        1,
        3,
        1,
        3,
        2,
        1,
        2
      ]
    },
    {
      "P": [
        [
          1,
          1,
          1,
          3
        ],
        [
          2,
          2
        ],
        [
          3
        ]
      ],
      "Q": [
        [
          1,
          2,
          4,
          7
        ],
        [
          3,
          5
        ],
        [
          6
        ]
      ],
      "word": [
        1,
        2,
        1,
        3,
        2,
        1,
        3
      ]
    }
  ],
  "specified_content_total_words": 210,
  "scope": "Finite exact audits supplement, and do not replace, the general proofs in the four articles."
}