{
 "schema": "lebesgue-paper-figures.v1",
 "about": "figures of the crystallized paper that no single gate log holds; see code/paper_figures.py",
 "sums": {
  "f3_erosion_area_leaves": {
   "value": 56149,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run047 w4.c10",
    "run047 w4.c11"
   ]
  },
  "root6217_cycles_12_14_area_leaves": {
   "value": 66927,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run048 w4.c12",
    "run048 w4.c13",
    "run048 w4.c14"
   ]
  },
  "root6217_cycles_15_17_area_leaves": {
   "value": 115511,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run049 w4.exact",
    "run049 w5.h131.exact",
    "run049 w5.h129.exact"
   ]
  },
  "root6217_area_leaves": {
   "value": 182438,
   "rule": "sum of the two entries above",
   "reads": [
    "root6217_cycles_12_14_area_leaves",
    "root6217_cycles_15_17_area_leaves"
   ]
  },
  "f3_roots_closed": {
   "value": 644,
   "rule": "sum of the root counts of the two erosion certificates",
   "reads": [
    "run047 w1.c10",
    "run047 w1.c11"
   ]
  },
  "rhcert_stored_vertices": {
   "value": 4272769,
   "rule": "sum of the stored vertices of the cell 47 and cell 48 certificates",
   "reads": [
    "run037 w1.47.vertices",
    "run037 w1.48.vertices"
   ]
  },
  "barrier_above_A3plus": {
   "value": 0.0002049195592,
   "rule": "difference, in decimal arithmetic",
   "reads": [
    "run049 w2.exact",
    "run061 A3plus"
   ]
  },
  "anchored_cover_radius": {
   "value": 1.6881871888,
   "as_decimal": "1.6881871888",
   "rule": "R = 2 times the published upper bound, in decimal arithmetic",
   "reads": [
    "run002 upper"
   ]
  },
  "subgradient_shortfall_72": {
   "value": 0.0663,
   "rule": "the negated (negative) margin over 72 directions",
   "reads": [
    "run057 w3.margin_72"
   ]
  },
  "smoothing_bound_over_moment_bound": {
   "value": 6.549241587160462,
   "rule": "reciprocal of the ratio at the largest N logged",
   "reads": [
    "run005 k5_ratios.256"
   ]
  },
  "epsilon_over_actual_excess (the radius bound 2 Abar)": {
   "least": 12.568855205023988,
   "largest": 136.15525958443072,
   "by_cover": {
    "sec33": 133.9634056496876,
    "hexagon": 12.568855205023988,
    "chiral": 136.15525958443072
   },
   "rule": "ratio of the bound to the actual Hausdorff excess, per cover",
   "reads": [
    "run007 c4_rows.sec33.eps_global_R",
    "run007 c4_rows.sec33.excess",
    "run007 c4_rows.hexagon.eps_global_R",
    "run007 c4_rows.hexagon.excess",
    "run007 c4_rows.chiral.eps_global_R",
    "run007 c4_rows.chiral.excess"
   ]
  },
  "epsilon_over_actual_excess (each cover's true radius)": {
   "least": 4.349397266062809,
   "largest": 44.560020864291,
   "by_cover": {
    "sec33": 42.22879643390652,
    "hexagon": 4.349397266062809,
    "chiral": 44.560020864291
   },
   "rule": "ratio of the bound to the actual Hausdorff excess, per cover",
   "reads": [
    "run007 c4_rows.sec33.eps_true_R",
    "run007 c4_rows.sec33.excess",
    "run007 c4_rows.hexagon.eps_true_R",
    "run007 c4_rows.hexagon.excess",
    "run007 c4_rows.chiral.eps_true_R",
    "run007 c4_rows.chiral.excess"
   ]
  },
  "steiner_against_support_area": {
   "value": 4.152148396219246e-07,
   "rule": "largest difference between Steiner's formula and the support-function area, over the covers",
   "reads": [
    "run007 c5_rows.sec33.area_P_gamma_support",
    "run007 c5_rows.sec33.area_P_gamma_steiner",
    "run007 c5_rows.hexagon.area_P_gamma_support",
    "run007 c5_rows.hexagon.area_P_gamma_steiner",
    "run007 c5_rows.chiral.area_P_gamma_support",
    "run007 c5_rows.chiral.area_P_gamma_steiner"
   ]
  },
  "second_rung_dense_hull_against_exact": {
   "value": 8.042511101535865e-11,
   "rule": "difference",
   "reads": [
    "run008 w2.exact",
    "run008 w2.hull_dense"
   ]
  },
  "saturation_cells": {
   "cells": 20,
   "covers": 5,
   "grids": 4,
   "eps_b_tighter_least": 2.8011904502789573,
   "eps_b_tighter_largest": 3.2032807845148215,
   "closest_bound_to_smallest_member": 0.001284155291189193,
   "closest_at_M": 8,
   "rule": "counts of the logged cells; ratios eps_round04 / eps_b; least smallest_member - LB_cell",
   "reads": [
    "run008 n1_rows",
    "run008 n3_rows"
   ]
  },
  "recorded_J13_above_minimum": {
   "value": 6.197871180324555e-05,
   "rule": "difference",
   "reads": [
    "run010 w3.rows.13.package_sampled",
    "run010 w3.rows.13.J"
   ]
  },
  "fixed_seed_lift_above_four_body": {
   "value": 0.0006430996661216382,
   "rule": "difference",
   "reads": [
    "run010 w4.fixed_seed_J7",
    "run010 w4.four_body_search"
   ]
  },
  "rhcert_replayed": {
   "cells": 8,
   "leaves": 80809,
   "vertices": 19356171,
   "rule": "sums over the eight RHCERT cells of their leaves and stored vertices",
   "reads": [
    "run037 w1.47.vertices.0",
    "run037 w1.47.vertices.1",
    "run037 w1.48.vertices.0",
    "run037 w1.48.vertices.1",
    "run038 w2.pass",
    "run038 w1.vertices",
    "run039 w1.75.header.2",
    "run039 w1.75.ledger.2",
    "run039 w1.76.header.2",
    "run039 w1.76.ledger.2",
    "run040 w1.49.header.2",
    "run040 w1.49.mine.2",
    "run040 w1.64.header.2",
    "run040 w1.64.mine.2",
    "run040 w1.66.header.2",
    "run040 w1.66.mine.2"
   ]
  },
  "cells_certified_by_the_replay": {
   "cells": 10,
   "leaves": 97943,
   "rule": "the eight RHCERT cells and cells 0 and 69, each counted once",
   "reads": [
    "run031 w4.leaves",
    "run035 w3.69.pass",
    "rhcert_replayed"
   ]
  },
  "segment_boxes_inside_their_slices": {
   "value": 146483,
   "rule": "sum over the three checkpoints of the boxes checked inside their slices, each equal to all boxes",
   "reads": [
    "run040 w5.38.in_slice",
    "run040 w5.40.in_slice",
    "run040 w5.42.in_slice"
   ]
  },
  "core_over_representative_widest_cell (seed + best B7)": {
   "value": 2.215888008149892,
   "rule": "ratio of the widest cells the exact core and the representative close",
   "reads": [
    "run012 w5.widest_closing_half_width.seed + best B7.core",
    "run012 w5.widest_closing_half_width.seed + best B7.rep"
   ]
  },
  "core_over_representative_widest_cell (four-body optimum)": {
   "value": 2.2073805979874,
   "rule": "ratio of the widest cells the exact core and the representative close",
   "reads": [
    "run012 w5.widest_closing_half_width.four-body optimum.core",
    "run012 w5.widest_closing_half_width.four-body optimum.rep"
   ]
  }
 },
 "inventory": {
  "file": "crystal/data/inventory.json",
  "sha256": "c9e8e6e911f6b301d3c01bfa30638df35271d016f2d94a6b1debd23e06eced9d",
  "runs": 68,
  "items": 1218,
  "correction_rows": 236,
  "open_item_rows": 300,
  "by_strength": {
   "analytic (proof checked)": 136,
   "cited theorem": 52,
   "corrected": 124,
   "exact-arithmetic certificate": 115,
   "label only": 293,
   "not measured": 40,
   "numerical only": 389,
   "open": 42,
   "refuted": 27
  },
  "by_strength_before_audit": {
   "analytic (proof checked)": 199,
   "cited theorem": 52,
   "corrected": 122,
   "exact-arithmetic certificate": 111,
   "label only": 270,
   "not measured": 40,
   "numerical only": 356,
   "open": 41,
   "refuted": 27
  },
  "moved_by_audit": 82,
  "moves": [
   {
    "from": "analytic (proof checked)",
    "to": "corrected",
    "items": 2
   },
   {
    "from": "analytic (proof checked)",
    "to": "exact-arithmetic certificate",
    "items": 22
   },
   {
    "from": "analytic (proof checked)",
    "to": "label only",
    "items": 23
   },
   {
    "from": "analytic (proof checked)",
    "to": "numerical only",
    "items": 16
   },
   {
    "from": "analytic (proof checked)",
    "to": "open",
    "items": 1
   },
   {
    "from": "exact-arithmetic certificate",
    "to": "analytic (proof checked)",
    "items": 1
   },
   {
    "from": "exact-arithmetic certificate",
    "to": "numerical only",
    "items": 17
   }
  ]
 },
 "drill": {
  "runs": 68,
  "checks": 665,
  "plants": 1290,
  "caught_by_named_checks": 1290,
  "controls": 262,
  "controls_undisturbed": 262,
  "must_stay_green": 13068,
  "must_stay_green_held": 13068
 },
 "drill_by_paper": {
  "certified-finite-reduction": {
   "runs_named": [
    "run002",
    "run004",
    "run005",
    "run006",
    "run007",
    "run008",
    "run009",
    "run010",
    "run011",
    "run012",
    "run041",
    "run042"
   ],
   "runs": 12,
   "checks": 141,
   "plants": 215,
   "caught_by_named_checks": 215,
   "controls": 57,
   "controls_undisturbed": 57,
   "must_stay_green": 3023,
   "must_stay_green_held": 3023
  },
  "certificate-replay": {
   "runs_named": [
    "run030",
    "run031",
    "run032",
    "run033",
    "run034",
    "run035",
    "run036",
    "run037",
    "run038",
    "run039",
    "run040"
   ],
   "runs": 11,
   "checks": 113,
   "plants": 184,
   "caught_by_named_checks": 184,
   "controls": 44,
   "controls_undisturbed": 44,
   "must_stay_green": 2123,
   "must_stay_green_held": 2123
  }
 },
 "archive": {
  "leaves": 1459,
  "bytes": 401604076,
  "megabytes": 401.6,
  "rule": "decimal megabytes, one place"
 },
 "parameters": {
  "integer_interval_bits": {
   "value": 400,
   "reads": "code/run030_round27_interval_replay.py: ONE = 1 << P",
   "used_by": [
    "run030",
    "run031",
    "run045",
    "run047"
   ]
  },
  "reuleaux_reconstruction_grid": {
   "directions": 3601,
   "largest_odd_m": 4001,
   "reads": "code/run004_round01_reduction_chain.py: n1_reconstruction",
   "used_by": [
    "run004"
   ]
  },
  "reflection_counterexample_grid": {
   "orientations_P": 720,
   "directions_M": 512,
   "reads": "code/run006_round03_placement_certificate.py: P, M",
   "used_by": [
    "run006"
   ]
  },
  "dense_reference_grid": {
   "directions_M": 512,
   "orientations_P": 192,
   "reads": "code/run006_round03_placement_certificate.py: the dense reference G",
   "used_by": [
    "run006"
   ]
  },
  "curvature_inversion_odd_modes": {
   "largest_odd_mode": 11,
   "reads": "code/run004_round01_reduction_chain.py",
   "used_by": [
    "run004"
   ]
  },
  "translation_bound_lps": {
   "instances": 12,
   "branches": 2,
   "orientations": 5,
   "lps": 120,
   "reads": "code/run006_round03_placement_certificate.py: b3_translation",
   "used_by": [
    "run006"
   ]
  },
  "bracket_grids": {
   "coarse_M": 16,
   "coarse_P": 12,
   "fine_M": 256,
   "fine_P": 96,
   "reads": "code/run006_round03_placement_certificate.py: b4_bracket",
   "used_by": [
    "run006"
   ]
  },
  "test_instance": {
   "cos3_coefficient": "0.22",
   "sin5_coefficient": "0.10",
   "semi_axes": [
    "0.72",
    "0.52"
   ],
   "minor_width": "1.04",
   "reads": "code/run006_round03_placement_certificate.py",
   "used_by": [
    "run006"
   ]
  },
  "compiler_run_q": {
   "q": "0.025/672",
   "reads": "code/run005_round02_finite_compiler.py",
   "used_by": [
    "run005"
   ]
  },
  "cover_test_grid": {
   "M": 128,
   "q": "5e-4",
   "reads": "code/run007_round04_cover_compiler.py",
   "used_by": [
    "run007"
   ]
  },
  "sharp_radius_reference_polygon": {
   "sides_log2": 20,
   "sides": 1048576,
   "reads": "code/run041_dlmvc.py",
   "used_by": [
    "run041"
   ]
  },
  "offset_placements": {
   "distances": 4,
   "angles": 24,
   "offsets": 96,
   "reads": "code/run008_round05_saturation_gate.py",
   "used_by": [
    "run008"
   ]
  },
  "gauge_rotations": {
   "rotations": 20,
   "reads": "code/run009_round06_witness_exchange.py: w4_gauge",
   "used_by": [
    "run009"
   ]
  },
  "exact_dual_grid": {
   "M": 3072,
   "P": 12,
   "reads": "code/run009_round06_witness_exchange.py",
   "used_by": [
    "run009"
   ]
  },
  "motion_bound_placements": {
   "bodies": 7,
   "boxes_per_body": 40,
   "placements_per_box": 5,
   "placements": 1400,
   "reads": "code/run011_round08_conditional_lift.py: w2_motion",
   "used_by": [
    "run011"
   ]
  },
  "tree_identity_forests": {
   "forests": 200,
   "reads": "code/run011_round08_conditional_lift.py: w5_trees",
   "used_by": [
    "run011"
   ]
  },
  "refusal_density": {
   "directions": 4096,
   "reads": "code/run030_round27_interval_replay.py",
   "used_by": [
    "run030"
   ]
  },
  "exact_thresholds": {
   "T": "167/200",
   "T_M": "1673/2000",
   "reads": "code/run031_round28_exact_root.py",
   "used_by": [
    "run031"
   ]
  }
 },
 "unlogged": {
  "jackson_multipliers_N8": {
   "mode_3": "140/163",
   "mode_5": "108/163",
   "computes": "run005 jackson_coeffs(8), the exact multipliers K9 uses"
  },
  "smoothing_bound_E_256": {
   "value": 0.0001489913179299671,
   "computes": "run005 claims()['E_N'], as K5 and K6 do"
  },
  "exact_half_second_moment_256": {
   "value": 2.2749400208729345e-05,
   "computes": "run005 mu2(N) / 2, as K5 does"
  },
  "eta_64_test_instance": {
   "value": 0.2534945529894527,
   "computes": "run006 eta(1 + 0.72, 64), as B5 does"
  },
  "epsilon_deep": {
   "value": 0.013327012451411725,
   "computes": "run042 budget(ABAR)['epsilon_deep'], as W1 does"
  },
  "beta_as_used": {
   "value": 0.9063953966591665,
   "epsilon": 0.08339137281575232,
   "computes": "run007 claims()['beta'] at R = 2 Abar and the cover grid, as C7 does"
  }
 },
 "environment": {
  "about": "the interpreter and libraries this file was written with",
  "versions": {
   "python": "3.14.5",
   "mpmath": "1.3.0",
   "numpy": "2.4.6",
   "scipy": "1.17.1",
   "sympy": "1.14.0"
  },
  "series": {
   "python": "3.14",
   "mpmath": "1.3",
   "numpy": "2.4",
   "scipy": "1.17",
   "sympy": "1.14"
  }
 },
 "quotes": [
  {
   "figure": "tight reference A_ref (Cycle 16)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_16_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_16_Tight_Reference_and_Local_Secant_v0.1.md",
   "document_sha256": "f2295d88f6e1d8dbdba7dc69e0f4592de8984304be2a1eba960f008cd8f879e4",
   "at": "L112",
   "quoted_from_programme": {
    "as_written": "0.8349865",
    "line": "0.8349865."
   }
  },
  {
   "figure": "stated slack of the tight reference (Cycle 16)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_16_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_16_Tight_Reference_and_Local_Secant_v0.1.md",
   "document_sha256": "f2295d88f6e1d8dbdba7dc69e0f4592de8984304be2a1eba960f008cd8f879e4",
   "at": "L120",
   "quoted_from_programme": {
    "as_written": "6.5385446698911637e-08",
    "line": "6.5385446698911637e-08."
   }
  },
  {
   "figure": "separator constant s_7 (Cycle 03)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_03_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_03_Orbit_Localization_and_Scalar_Closure_v0.1.md",
   "document_sha256": "0912a45916bc3c6bad0bd341f511f1d87a1fc8a9357bfd37a2a233bb2f615fab",
   "at": "L344",
   "quoted_from_programme": {
    "as_written": "0.00938484",
    "line": "0.00938484."
   }
  },
  {
   "figure": "least centre area of the global pilot (Round 16)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_16_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_16_Global_Pilot_v0.1.md",
   "document_sha256": "ff11488c7d88130b25fad0929fc7d60ab0dc09e092dc4b98a051ba4bb762c846",
   "at": "L389",
   "quoted_from_programme": {
    "as_written": "0.8356828349502634",
    "line": "0.8356828349502634"
   }
  },
  {
   "figure": "area inflation bound beta as used (Round 04 package)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_04_Package_v0.1.zip!/AMRAL_LUC_FC_Round_04_VALIDATION.json",
   "document_sha256": "1a62cdcb82d5c1028168b4db5a0dcc5265fd1eeeecb7f3725b662ee218d76bc4",
   "at": "L34",
   "quoted_from_programme": {
    "as_written": "0.9063953966591665",
    "line": "\"analytic_beta_area_bound\": 0.9063953966591665,"
   }
  },
  {
   "figure": "lens growth coefficient (BCODR LUC 04)",
   "document": "main.zip!/BCODR/BCODR_LUC_04_Package_v0.1.zip!/BCODR_LUC_04_True_Overlap_Germ_Tangent_Decomposition_v0.1.md",
   "document_sha256": "1cc949d8f7b087293df3de774f7a9c6f52fe0680e26811a481a37a6dd12e1072",
   "at": "L704",
   "quoted_from_programme": {
    "as_written": "0.747599042164318",
    "line": "0.747599042164318"
   }
  },
  {
   "figure": "far-branch gradient g_3, whose negative is the multiplier eta_3 by the document's g_3 + eta_3 = 0 (LESR Paper 07)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper07_Package_v0.1.zip!/LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_v0.1.md",
   "document_sha256": "e9f7b9179656b972da7526baf65e1f8db16e800a93f750d5e796b1786643c5d6",
   "at": "L587",
   "quoted_from_programme": {
    "as_written": "-0.122791062735083228947666632271676747712689174",
    "line": "-0.122791062735083228947666632271676747712689174",
    "implies": {
     "eta_3": "0.122791062735083228947666632271676747712689174"
    }
   }
  },
  {
   "figure": "the document's equation for the multiplier (LESR Paper 07)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper07_Package_v0.1.zip!/LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_v0.1.md",
   "document_sha256": "e9f7b9179656b972da7526baf65e1f8db16e800a93f750d5e796b1786643c5d6",
   "at": "L623",
   "quoted_from_programme": {
    "as_written": "g_3+\\eta_3=0",
    "line": "g_3+\\eta_3=0."
   }
  },
  {
   "figure": "A_ref - m(0) (LESR Paper 08)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper08_Package_v0.1.zip!/LESR_Paper08_Positive_Rotation_Certificate_Reduction_v0.1.md",
   "document_sha256": "7805483a575aaf9d2edfe5011ab509bc5dcb4058e0aee158e6f8cfe875a2da86",
   "at": "L301",
   "quoted_from_programme": {
    "as_written": "3.8944077590\\times10^{-7}",
    "line": "3.8944077590\\times10^{-7}.",
    "reads_as": "3.8944077590e-7"
   }
  },
  {
   "figure": "inner-core factor lambda_b as recorded (Round 04 deep audit, Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L28",
   "quoted_from_programme": {
    "as_written": "0.9882053662605436",
    "line": "\"homothetic_core_lambda\": 0.9882053662605436,"
   }
  },
  {
   "figure": "homothetic-core area lower bound as recorded (Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L29",
   "quoted_from_programme": {
    "as_written": "0.8268069547848553",
    "line": "\"homothetic_area_lower\": 0.8268069547848553,"
   }
  },
  {
   "figure": "sharp cell radius as recorded (Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L32",
   "quoted_from_programme": {
    "as_written": "0.0059677037497217755",
    "line": "\"sharp_cell_radius_numeric\": 0.0059677037497217755,"
   }
  },
  {
   "figure": "marker 47's certificate margin as recorded (Round 29)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_29_Package_v0.1.zip!/AMRAL_LUC_FC_Round_29_MARKER_MIGRATION_SUMMARY.json",
   "document_sha256": "cc2407fc5cab812d881d5f8e50c569b32a515824c136b46a66386775c13ca979",
   "at": "L46",
   "quoted_from_programme": {
    "as_written": "7.567193043751078e-06",
    "line": "\"margin_decimal\": 7.567193043751078e-06,"
   }
  },
  {
   "figure": "marker 70's certificate margin as recorded (Round 29)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_29_Package_v0.1.zip!/AMRAL_LUC_FC_Round_29_MARKER_MIGRATION_SUMMARY.json",
   "document_sha256": "cc2407fc5cab812d881d5f8e50c569b32a515824c136b46a66386775c13ca979",
   "at": "L56",
   "quoted_from_programme": {
    "as_written": "9.24985498894471e-05",
    "line": "\"margin_decimal\": 9.24985498894471e-05,"
   }
  },
  {
   "figure": "packaged size of cell 47's certificate as stated (Round 34)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_34_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_34_RHCERT_Publication_Candidates_v0.1.md",
   "document_sha256": "a6b842ca8332bc90501391a60ce5b7b95b22a46d0c05d8afa74f385118747d01",
   "at": "L399",
   "quoted_from_programme": {
    "as_written": "8.1\\text{ MiB}",
    "line": "8.1\\text{ MiB}."
   }
  },
  {
   "figure": "packaged size of cell 48's certificate as stated (Round 34)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_34_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_34_RHCERT_Publication_Candidates_v0.1.md",
   "document_sha256": "a6b842ca8332bc90501391a60ce5b7b95b22a46d0c05d8afa74f385118747d01",
   "at": "L439",
   "quoted_from_programme": {
    "as_written": "7.6\\text{ MiB}",
    "line": "7.6\\text{ MiB}."
   }
  }
 ]
}