{
  "at": "2026-10-11T17:25:40.143105+00:00",
  "source_id": "chen-hou-author-code:Est_hol_const_itl:20261011",
  "source_file": "Est_hol_const_itl.mat",
  "source_sha256": "c02c90a99cb3a557d55398396c4f28559581aac0c1436456230dffac508ee303",
  "sk": 2,
  "Der": [
    1,
    1
  ],
  "direction": 1,
  "original_entry_count": 3896,
  "lookup": "Holder_C_main.m14 then Holder_C.m23-26; chosen arguments avoid ambiguous interval comparisons",
  "rows": [
    {
      "distance_lower_multiple": 0,
      "argument": "inf",
      "matlab_index": 3896,
      "previous_edge_upper": "100000000",
      "selected_edge_lower": "infinity",
      "stored_lower": "5738469427030459/2251799813685248",
      "stored_upper": "2869249718738045/1125899906842624",
      "stored_upper_decimal": 2.5484056809137856,
      "global_replacement_increase": "83642975475447/140737488355328000"
    },
    {
      "distance_lower_multiple": 1,
      "argument": "6",
      "matlab_index": 1482,
      "previous_edge_upper": "3371423257243637/562949953421312",
      "selected_edge_lower": "3388264239944697/562949953421312",
      "stored_lower": "1214578553349449/562949953421312",
      "stored_upper": "4858314485510007/2251799813685248",
      "stored_upper_decimal": 2.1575250410732525,
      "global_replacement_increase": "110190404946711269/281474976710656000"
    },
    {
      "distance_lower_multiple": 2,
      "argument": "3",
      "matlab_index": 1137,
      "previous_edge_upper": "6748193681651951/2251799813685248",
      "selected_edge_lower": "6756750520943955/2251799813685248",
      "stored_lower": "2247462579810729/1125899906842624",
      "stored_upper": "8989850704159971/4503599627370496",
      "stored_upper_decimal": 1.9961478479402153,
      "global_replacement_increase": "311228093250927913/562949953421312000"
    },
    {
      "distance_lower_multiple": 4,
      "argument": "3/2",
      "matlab_index": 743,
      "previous_edge_upper": "6753598001204795/4503599627370496",
      "selected_edge_lower": "6770711679788803/4503599627370496",
      "stored_lower": "7992704475147893/4503599627370496",
      "stored_upper": "1998176179006309/1125899906842624",
      "stored_upper_decimal": 1.774736960952258,
      "global_replacement_increase": "108967835441942447/140737488355328000"
    }
  ],
  "whole_array_certified": false,
  "matlab_executed": false,
  "whole_original_grid_strictly_separated": true
}