{
  "s1_h1_random_damage_mean_formal": 6.8381,
  "s1_h1_random_damage_mean_prose": 4.7688,
  "s1_h1_random_damage_ratio": 1.434,
  "s1_h1_fvt_damage_mean_formal": 2.0111,
  "s1_h1_fvt_damage_mean_prose": 2.5065,
  "s1_h1_fvt_damage_ratio": 0.802,
  "s1_h1_passed": 0,
  "s1_h2_domains_ranking_holds": 9,
  "s1_h2_domains_total": 9,
  "s1_h2_passed": 1,
  "s1_h3_mean_formal_spread": 4.9746,
  "s1_h3_mean_prose_spread": 2.535,
  "s1_h3_ratio": 1.962,
  "s1_h3_passed": 1,
  "s1_h4_mean_formal_gap": 0.1477,
  "s1_h4_mean_prose_gap": 0.2726,
  "s1_h4_passed": 0,
  "s1_g1_passed": 1,
  "s1_g1_max_abs_difference": 5e-05,
  "s1_g1_domains": 9,
  "s1_g4_passed": 1,
  "s1_g4_overlap_rows": 5972,
  "s1_spread_sci_latex": 4.4733,
  "s1_spread_sci_latex_ci95_low": 4.3617,
  "s1_spread_sci_latex_ci95_high": 4.5874,
  "s1_gap_sci_latex": 0.0909,
  "s1_gap_sci_latex_ci95_low": 0.082,
  "s1_gap_sci_latex_ci95_high": 0.1,
  "s1_spread_sci_python": 3.6061,
  "s1_spread_sci_python_ci95_low": 3.5234,
  "s1_spread_sci_python_ci95_high": 3.6984,
  "s1_gap_sci_python": 0.0715,
  "s1_gap_sci_python_ci95_low": 0.0563,
  "s1_gap_sci_python_ci95_high": 0.0861,
  "s1_spread_math_clean": 6.8443,
  "s1_spread_math_clean_ci95_low": 6.6981,
  "s1_spread_math_clean_ci95_high": 6.9945,
  "s1_gap_math_clean": 0.2806,
  "s1_gap_math_clean_ci95_low": 0.2647,
  "s1_gap_math_clean_ci95_high": 0.2964,
  "s1_spread_sci_arxiv": 3.4017,
  "s1_spread_sci_arxiv_ci95_low": 3.3576,
  "s1_spread_sci_arxiv_ci95_high": 3.4463,
  "s1_gap_sci_arxiv": 0.1173,
  "s1_gap_sci_arxiv_ci95_low": 0.1061,
  "s1_gap_sci_arxiv_ci95_high": 0.1277,
  "s1_spread_pl_wiki_sci": 2.0799,
  "s1_spread_pl_wiki_sci_ci95_low": 2.0399,
  "s1_spread_pl_wiki_sci_ci95_high": 2.1198,
  "s1_gap_pl_wiki_sci": 0.284,
  "s1_gap_pl_wiki_sci_ci95_low": 0.2732,
  "s1_gap_pl_wiki_sci_ci95_high": 0.2948,
  "s1_spread_pl_pes": 2.4153,
  "s1_spread_pl_pes_ci95_low": 2.3295,
  "s1_spread_pl_pes_ci95_high": 2.5103,
  "s1_gap_pl_pes": 0.329,
  "s1_gap_pl_pes_ci95_low": 0.303,
  "s1_gap_pl_pes_ci95_high": 0.3535,
  "s1_spread_pl": 1.9862,
  "s1_spread_pl_ci95_low": 1.9268,
  "s1_spread_pl_ci95_high": 2.0638,
  "s1_gap_pl": 0.3194,
  "s1_gap_pl_ci95_low": 0.3074,
  "s1_gap_pl_ci95_high": 0.3338,
  "s1_spread_en": 3.4901,
  "s1_spread_en_ci95_low": 3.418,
  "s1_spread_en_ci95_high": 3.5621,
  "s1_gap_en": 0.1365,
  "s1_gap_en_ci95_low": 0.1212,
  "s1_gap_en_ci95_high": 0.1499,
  "s1_spread_pl_informal": 1.8365,
  "s1_spread_pl_informal_ci95_low": 1.7701,
  "s1_spread_pl_informal_ci95_high": 1.9129,
  "s1_gap_pl_informal": 0.4492,
  "s1_gap_pl_informal_ci95_low": 0.4087,
  "s1_gap_pl_informal_ci95_high": 0.4784,
  "s1_gap_domains_ci95_excluding_zero": 9,
  "s1_sanity_loss_focus": 8.8109,
  "s1_sanity_loss_fvt": 10.3366,
  "s1_sanity_loss_random": 13.7575,
  "s1_sanity_tokens": 40,
  "s1_focus_fallback_tokens": 0,
  "s1_pieces_overlap": 5972,
  "s1_pieces_new": 25769,
  "s1_pieces_byte": 256,
  "s1_pieces_special": 3,
  "s1_aux_corpus_tokens": 48050703,
  "s1_aux_pieces_in_vocabulary": 31820
}