Update tableaux code in the report.