{
  "schema": "slow-transport-weight-checks/v1",
  "pair_swap_order_constant": 4,
  "positive_involution_square": 1,
  "numerical_pair_samples": [
    {
      "m": 1,
      "fast_pair": [
        4,
        8
      ],
      "unbounded_fast_defect": 4,
      "first_log_defect_sample": 0.5877866649021193,
      "slow_24_term_sample": 0.2565996859958376,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.6931471805599453
    },
    {
      "m": 2,
      "fast_pair": [
        16,
        32
      ],
      "unbounded_fast_defect": 16,
      "first_log_defect_sample": 0.6632942174102641,
      "slow_24_term_sample": 0.20984928800736888,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.6931471805599453
    },
    {
      "m": 4,
      "fast_pair": [
        256,
        512
      ],
      "unbounded_fast_defect": 256,
      "first_log_defect_sample": 0.6911997602755493,
      "slow_24_term_sample": 0.13686529593463792,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.49964871265450206
    },
    {
      "m": 8,
      "fast_pair": [
        65536,
        131072
      ],
      "unbounded_fast_defect": 65536,
      "first_log_defect_sample": 0.6931395512527239,
      "slow_24_term_sample": 0.0779660582272479,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.24999965603779573
    },
    {
      "m": 16,
      "fast_pair": [
        4294967296,
        8589934592
      ],
      "unbounded_fast_defect": 4294967296,
      "first_log_defect_sample": 0.6931471804435319,
      "slow_24_term_sample": 0.04181471100402977,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.12499999999868788
    },
    {
      "m": 32,
      "fast_pair": [
        18446744073709551616,
        36893488147419103232
      ],
      "unbounded_fast_defect": 18446744073709551616,
      "first_log_defect_sample": 0.6931471805599472,
      "slow_24_term_sample": 0.02169427618024711,
      "proved_tail_formula": "log(2)/2^24",
      "proved_tail_bound": 4.1314791474339085e-08,
      "proved_slow_bound": 0.0625
    }
  ],
  "sample_count": 32,
  "finite_sum_terms": 24,
  "first_log_limit": "log(2)",
  "slow_defect_limit": 0,
  "proved_tail": "log(2)/2^24",
  "plotted_quantities": "numerical samples of the exact positive series; analytic tail and limit bounds are proved in the lesson",
  "actual_compact_transport_weight_proved": true,
  "actual_weighted_normal_core_proved": true,
  "coefficient_identity_algebra": "C0(Y)",
  "original_unit_gamma_identity_inferred": false,
  "original_graph_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1710
  ],
  "text_canvas_overflows": []
}