{
  "schema": "full-coefficient-complement-checks/v1",
  "exact_geometric_kernels": [
    {
      "mu": "25/169",
      "nu": "25/169",
      "a": "12/13",
      "c": "12/13",
      "series": "8939593/15625",
      "kernel": "313/144",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "25/169",
      "nu": "64/289",
      "a": "12/13",
      "c": "15/17",
      "series": "19585241/65600",
      "kernel": "32481/14801",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "25/169",
      "nu": "49/625",
      "a": "12/13",
      "c": "24/25",
      "series": "2589925/1813",
      "kernel": "22068/10693",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "25/169",
      "nu": "144/1369",
      "a": "12/13",
      "c": "35/37",
      "series": "208456261/219600",
      "kernel": "109021/51301",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "64/289",
      "nu": "25/169",
      "a": "15/17",
      "c": "12/13",
      "series": "19585241/65600",
      "kernel": "32481/14801",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "64/289",
      "nu": "64/289",
      "a": "15/17",
      "c": "15/17",
      "series": "21464897/131072",
      "kernel": "514/225",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "64/289",
      "nu": "49/625",
      "a": "15/17",
      "c": "24/25",
      "series": "28358125/40768",
      "kernel": "18997/9477",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "64/289",
      "nu": "144/1369",
      "a": "15/17",
      "c": "35/37",
      "series": "228284857/479232",
      "kernel": "14425/6877",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "49/625",
      "nu": "25/169",
      "a": "24/25",
      "c": "12/13",
      "series": "2589925/1813",
      "kernel": "22068/10693",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "49/625",
      "nu": "64/289",
      "a": "24/25",
      "c": "15/17",
      "series": "28358125/40768",
      "kernel": "18997/9477",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "49/625",
      "nu": "49/625",
      "a": "24/25",
      "c": "24/25",
      "series": "469140625/117649",
      "kernel": "1201/576",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "49/625",
      "nu": "144/1369",
      "a": "24/25",
      "c": "35/37",
      "series": "302035625/119952",
      "kernel": "59657/28577",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "144/1369",
      "nu": "25/169",
      "a": "35/37",
      "c": "12/13",
      "series": "208456261/219600",
      "kernel": "109021/51301",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "144/1369",
      "nu": "64/289",
      "a": "35/37",
      "c": "15/17",
      "series": "228284857/479232",
      "kernel": "14425/6877",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "144/1369",
      "nu": "49/625",
      "a": "35/37",
      "c": "24/25",
      "series": "302035625/119952",
      "kernel": "59657/28577",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    },
    {
      "mu": "144/1369",
      "nu": "144/1369",
      "a": "35/37",
      "c": "35/37",
      "series": "2430786817/1492992",
      "kernel": "2594/1225",
      "exact_series_identity": true,
      "exact_kernel_bound": true
    }
  ],
  "exact_defect_cell_matrices": [
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 0,
      "dimension": 2,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 1,
      "dimension": 3,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 2,
      "dimension": 4,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 3,
      "dimension": 5,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 4,
      "dimension": 6,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 5,
      "dimension": 7,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 6,
      "dimension": 8,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 7,
      "dimension": 9,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "5/13",
      "b": "12/13",
      "last_coordinate": 8,
      "dimension": 10,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 0,
      "dimension": 2,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 1,
      "dimension": 3,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 2,
      "dimension": 4,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 3,
      "dimension": 5,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 4,
      "dimension": 6,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 5,
      "dimension": 7,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 6,
      "dimension": 8,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 7,
      "dimension": 9,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "8/17",
      "b": "15/17",
      "last_coordinate": 8,
      "dimension": 10,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 0,
      "dimension": 2,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 1,
      "dimension": 3,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 2,
      "dimension": 4,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 3,
      "dimension": 5,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 4,
      "dimension": 6,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 5,
      "dimension": 7,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 6,
      "dimension": 8,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 7,
      "dimension": 9,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "7/25",
      "b": "24/25",
      "last_coordinate": 8,
      "dimension": 10,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 0,
      "dimension": 2,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 1,
      "dimension": 3,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 2,
      "dimension": 4,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 3,
      "dimension": 5,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 4,
      "dimension": 6,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 5,
      "dimension": 7,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 6,
      "dimension": 8,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 7,
      "dimension": 9,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    },
    {
      "s": "12/37",
      "b": "35/37",
      "last_coordinate": 8,
      "dimension": 10,
      "exact_both_unitary_products": true,
      "exact_J_and_K_columns": true,
      "scope": "Finite defect-cell unitary including terminal carrier; no infinite resolvent norm claim"
    }
  ],
  "exact_scalar_norms": [
    {
      "t": "1/2",
      "J_derivative_squared": "256/15",
      "K0_derivative_squared": "32/15",
      "exact_geometric_norm_identities": true
    },
    {
      "t": "1/4",
      "J_derivative_squared": "16384/255",
      "K0_derivative_squared": "128/255",
      "exact_geometric_norm_identities": true
    },
    {
      "t": "1/8",
      "J_derivative_squared": "1048576/4095",
      "K0_derivative_squared": "512/4095",
      "exact_geometric_norm_identities": true
    }
  ],
  "all_fraction_checks": true,
  "curve_samples": 201,
  "curve_values": [
    {
      "t": 0.015625,
      "J_derivative": 128.00000381469744,
      "K0_derivative": 0.04419417514124829,
      "full_derivative_upper_bound": 0.001953125060134004
    },
    {
      "t": 0.01589812018910448,
      "J_derivative": 125.80104063204574,
      "K0_derivative": 0.044966675811633966,
      "full_derivative_upper_bound": 0.001987265089288737
    },
    {
      "t": 0.01617601443502152,
      "J_derivative": 123.63985433505209,
      "K0_derivative": 0.045752679564592495,
      "full_derivative_upper_bound": 0.002022001876053896
    },
    {
      "t": 0.016458766186794312,
      "J_derivative": 121.51579594019806,
      "K0_derivative": 0.04655242243063768,
      "full_derivative_upper_bound": 0.0020573458516071667
    },
    {
      "t": 0.016746460352129577,
      "J_derivative": 119.42822761315487,
      "K0_derivative": 0.047366144566095184,
      "full_derivative_upper_bound": 0.002093307629463615
    },
    {
      "t": 0.01703918332289465,
      "J_derivative": 117.37652247724853,
      "K0_derivative": 0.048194090325227215,
      "full_derivative_upper_bound": 0.002129898008663246
    },
    {
      "t": 0.017337023001060083,
      "J_derivative": 115.36006442521662,
      "K0_derivative": 0.049036508333617945,
      "full_derivative_upper_bound": 0.00216712797701429
    },
    {
      "t": 0.0176400688250958,
      "J_derivative": 113.37824793419855,
      "K0_derivative": 0.0498936515628427,
      "full_derivative_upper_bound": 0.00220500871439323
    },
    {
      "t": 0.017948411796828673,
      "J_derivative": 111.43047788390417,
      "K0_derivative": 0.05076577740644296,
      "full_derivative_upper_bound": 0.0022435515961025587
    },
    {
      "t": 0.018262144508769458,
      "J_derivative": 109.51616937790695,
      "K0_derivative": 0.05165314775722997,
      "full_derivative_upper_bound": 0.0022827681962872544
    },
    {
      "t": 0.018581361171917516,
      "J_derivative": 107.63474756800656,
      "K0_derivative": 0.052556029085940696,
      "full_derivative_upper_bound": 0.002322670291411043
    },
    {
      "t": 0.01890615764405145,
      "J_derivative": 105.78564748160959,
      "K0_derivative": 0.05347469252126924,
      "full_derivative_upper_bound": 0.0023632698637934654
    },
    {
      "t": 0.019236631458514314,
      "J_derivative": 103.9683138520757,
      "K0_derivative": 0.05440941393129843,
      "full_derivative_upper_bound": 0.0024045791052088364
    },
    {
      "t": 0.019572881853502002,
      "J_derivative": 102.1822009519781,
      "K0_derivative": 0.05536047400635587,
      "full_derivative_upper_bound": 0.002446610420548183
    },
    {
      "t": 0.019915009801863465,
      "J_derivative": 100.4267724292296,
      "K0_derivative": 0.056328158343319126,
      "full_derivative_upper_bound": 0.002489376431545246
    },
    {
      "t": 0.020263118041422026,
      "J_derivative": 98.701501146023,
      "K0_derivative": 0.05731275753139637,
      "full_derivative_upper_bound": 0.0025328899805677155
    },
    {
      "t": 0.02061731110582648,
      "J_derivative": 97.00586902053958,
      "K0_derivative": 0.05831456723940726,
      "full_derivative_upper_bound": 0.002577164134474801
    },
    {
      "t": 0.020977695355941614,
      "J_derivative": 95.33936687137658,
      "K0_derivative": 0.059333888304591305,
      "full_derivative_upper_bound": 0.0026222121885423346
    },
    {
      "t": 0.021344379011787432,
      "J_derivative": 93.70149426464741,
      "K0_derivative": 0.060371026822970346,
      "full_derivative_upper_bound": 0.002668047670456601
    },
    {
      "t": 0.021717472185036512,
      "J_derivative": 92.09175936370951,
      "K0_derivative": 0.06142629424129185,
      "full_derivative_upper_bound": 0.0027146843443780705
    },
    {
      "t": 0.02209708691207961,
      "J_derivative": 90.50967878147323,
      "K0_derivative": 0.06250000745058193,
      "full_derivative_upper_bound": 0.002762136215076322
    },
    {
      "t": 0.022483337187669067,
      "J_derivative": 88.95477743524883,
      "K0_derivative": 0.06359248888133522,
      "full_derivative_upper_bound": 0.0028104175321373563
    },
    {
      "t": 0.022876338999150394,
      "J_derivative": 87.42658840408704,
      "K0_derivative": 0.06470406660037137,
      "full_derivative_upper_bound": 0.002859542794244634
    },
    {
      "t": 0.023276210361292227,
      "J_derivative": 85.9246527885707,
      "K0_derivative": 0.065835074409387,
      "full_derivative_upper_bound": 0.0029095267535351067
    },
    {
      "t": 0.023683071351724965,
      "J_derivative": 84.4485195730158,
      "K0_derivative": 0.06698585194523292,
      "full_derivative_upper_bound": 0.0029603844200315685
    },
    {
      "t": 0.024097044146999074,
      "J_derivative": 82.99774549003942,
      "K0_derivative": 0.06815674478194755,
      "full_derivative_upper_bound": 0.0030121310661527247
    },
    {
      "t": 0.024518253059273465,
      "J_derivative": 81.57189488745546,
      "K0_derivative": 0.06934810453457675,
      "full_derivative_upper_bound": 0.0030647822313022957
    },
    {
      "t": 0.024946824573645308,
      "J_derivative": 80.1705395974567,
      "K0_derivative": 0.07056028896481223,
      "full_derivative_upper_bound": 0.003118353726538612
    },
    {
      "t": 0.025382887386132362,
      "J_derivative": 78.79325880804492,
      "K0_derivative": 0.07179366208848052,
      "full_derivative_upper_bound": 0.003172861639326121
    },
    {
      "t": 0.02582657244231911,
      "J_derivative": 77.4396389366702,
      "K0_derivative": 0.07304859428491475,
      "full_derivative_upper_bound": 0.0032283223383702394
    },
    {
      "t": 0.026278012976678578,
      "J_derivative": 76.10927350604116,
      "K0_derivative": 0.07432546240824331,
      "full_derivative_upper_bound": 0.0032847524785370964
    },
    {
      "t": 0.026737344552581324,
      "J_derivative": 74.80176302206945,
      "K0_derivative": 0.07562464990062845,
      "full_derivative_upper_bound": 0.003342169005859627
    },
    {
      "t": 0.027204705103003875,
      "J_derivative": 73.51671485391141,
      "K0_derivative": 0.07694654690749017,
      "full_derivative_upper_bound": 0.003400589162631612
    },
    {
      "t": 0.027680234971948773,
      "J_derivative": 72.25374311607067,
      "K0_derivative": 0.07829155039475022,
      "full_derivative_upper_bound": 0.003460030492591237
    },
    {
      "t": 0.028164076956588437,
      "J_derivative": 71.01246855252745,
      "K0_derivative": 0.07966006426813176,
      "full_derivative_upper_bound": 0.0035205108461957508
    },
    {
      "t": 0.028656376350145975,
      "J_derivative": 69.79251842285807,
      "K0_derivative": 0.08105249949455205,
      "full_derivative_upper_bound": 0.0035820483859889383
    },
    {
      "t": 0.02915728098552524,
      "J_derivative": 68.59352639031215,
      "K0_derivative": 0.08246927422564446,
      "full_derivative_upper_bound": 0.0036446615920630197
    },
    {
      "t": 0.02966694127970372,
      "J_derivative": 67.41513241181272,
      "K0_derivative": 0.08391081392344835,
      "full_derivative_upper_bound": 0.0037083692676167486
    },
    {
      "t": 0.03018551027890143,
      "J_derivative": 66.25698262984668,
      "K0_derivative": 0.08537755148830563,
      "full_derivative_upper_bound": 0.0037731905446114545
    },
    {
      "t": 0.03071314370453909,
      "J_derivative": 65.11872926621362,
      "K0_derivative": 0.08686992738900233,
      "full_derivative_upper_bound": 0.003839144889526791
    },
    {
      "t": 0.03125,
      "J_derivative": 64.00003051759995,
      "K0_derivative": 0.0883883897951971,
      "full_derivative_upper_bound": 0.003906252109218102
    },
    {
      "t": 0.03179624037820896,
      "J_derivative": 62.900550452948394,
      "K0_derivative": 0.08993339471217572,
      "full_derivative_upper_bound": 0.0039745323568772
    },
    {
      "t": 0.03235202887004304,
      "J_derivative": 61.81995891259099,
      "K0_derivative": 0.09150540611797488,
      "full_derivative_upper_bound": 0.004044006138098547
    },
    {
      "t": 0.032917532373588625,
      "J_derivative": 60.75793140911563,
      "K0_derivative": 0.09310489610291728,
      "full_derivative_upper_bound": 0.0041146943170528
    },
    {
      "t": 0.03349292070425915,
      "J_derivative": 59.71414902993697,
      "K0_derivative": 0.09473234501160088,
      "full_derivative_upper_bound": 0.0041866181227696985
    },
    {
      "t": 0.0340783666457893,
      "J_derivative": 58.68829834154142,
      "K0_derivative": 0.09638824158738808,
      "full_derivative_upper_bound": 0.0042597991555324375
    },
    {
      "t": 0.034674046002120165,
      "J_derivative": 57.68007129537857,
      "K0_derivative": 0.09807308311943837,
      "full_derivative_upper_bound": 0.004334259393385589
    },
    {
      "t": 0.0352801376501916,
      "J_derivative": 56.68916513537005,
      "K0_derivative": 0.09978737559233204,
      "full_derivative_upper_bound": 0.004410021198758805
    },
    {
      "t": 0.03589682359365735,
      "J_derivative": 55.71528230700828,
      "K0_derivative": 0.10153163383833144,
      "full_derivative_upper_bound": 0.004487107325208539
    },
    {
      "t": 0.036524289017538916,
      "J_derivative": 54.75813036801833,
      "K0_derivative": 0.10330638169232755,
      "full_derivative_upper_bound": 0.004565540924280069
    },
    {
      "t": 0.03716272234383503,
      "J_derivative": 53.81742190055525,
      "K0_derivative": 0.10511215214952195,
      "full_derivative_upper_bound": 0.004645345552492255
    },
    {
      "t": 0.0378123152881029,
      "J_derivative": 52.892874424911355,
      "K0_derivative": 0.10694948752589341,
      "full_derivative_upper_bound": 0.004726545178447437
    },
    {
      "t": 0.03847326291702863,
      "J_derivative": 51.984210314707084,
      "K0_derivative": 0.10881893962150094,
      "full_derivative_upper_bound": 0.004809164190069048
    },
    {
      "t": 0.039145763707004004,
      "J_derivative": 51.09115671354003,
      "K0_derivative": 0.1107210698866761,
      "full_derivative_upper_bound": 0.004893227401969548
    },
    {
      "t": 0.03983001960372693,
      "J_derivative": 50.21344545306772,
      "K0_derivative": 0.11265644959115664,
      "full_derivative_upper_bound": 0.00497876006295136
    },
    {
      "t": 0.04052623608284405,
      "J_derivative": 49.350812972498616,
      "K0_derivative": 0.11462565999621863,
      "full_derivative_upper_bound": 0.005065787863643692
    },
    {
      "t": 0.04123462221165296,
      "J_derivative": 48.50300023946833,
      "K0_derivative": 0.11662929252986055,
      "full_derivative_upper_bound": 0.005154336944278054
    },
    {
      "t": 0.04195539071188323,
      "J_derivative": 47.6697526722764,
      "K0_derivative": 0.11866794896509897,
      "full_derivative_upper_bound": 0.005244433902605603
    },
    {
      "t": 0.042688758023574865,
      "J_derivative": 46.8508200634608,
      "K0_derivative": 0.12074224160143356,
      "full_derivative_upper_bound": 0.0053361058019594015
    },
    {
      "t": 0.043434944370073024,
      "J_derivative": 46.04595650468748,
      "K0_derivative": 0.12285279344954099,
      "full_derivative_upper_bound": 0.005429380179464892
    },
    {
      "t": 0.04419417382415922,
      "J_derivative": 45.25492031293174,
      "K0_derivative": 0.12500023841926122,
      "full_derivative_upper_bound": 0.0055242850544020405
    },
    {
      "t": 0.044966674375338134,
      "J_derivative": 44.47747395793031,
      "K0_derivative": 0.1271852215109372,
      "full_derivative_upper_bound": 0.005620848936722707
    },
    {
      "t": 0.04575267799830079,
      "J_derivative": 43.71338399088143,
      "K0_derivative": 0.1294083990101746,
      "full_derivative_upper_bound": 0.005719100835727051
    },
    {
      "t": 0.046552420722584455,
      "J_derivative": 42.96242097437237,
      "K0_derivative": 0.13167043868608755,
      "full_derivative_upper_bound": 0.005819070268902914
    },
    {
      "t": 0.04736614270344993,
      "J_derivative": 42.22435941351311,
      "K0_derivative": 0.1339720199930976,
      "full_derivative_upper_bound": 0.00592078727093231
    },
    {
      "t": 0.04819408829399815,
      "J_derivative": 41.498977688255344,
      "K0_derivative": 0.1363138342763586,
      "full_derivative_upper_bound": 0.0060242824028695205
    },
    {
      "t": 0.04903650611854693,
      "J_derivative": 40.78605798687724,
      "K0_derivative": 0.13869658498087648,
      "full_derivative_upper_bound": 0.006129586761495328
    },
    {
      "t": 0.049893649147290615,
      "J_derivative": 40.085386240613346,
      "K0_derivative": 0.14112098786440072,
      "full_derivative_upper_bound": 0.006236731988852418
    },
    {
      "t": 0.050765774772264724,
      "J_derivative": 39.39675205941054,
      "K0_derivative": 0.14358777121416288,
      "full_derivative_upper_bound": 0.006345750281967156
    },
    {
      "t": 0.05165314488463822,
      "J_derivative": 38.719948668790835,
      "K0_derivative": 0.1460976760675401,
      "full_derivative_upper_bound": 0.006456674402763294
    },
    {
      "t": 0.052556025953357156,
      "J_derivative": 38.05477284780189,
      "K0_derivative": 0.14865145643672611,
      "full_derivative_upper_bound": 0.006569537688173641
    },
    {
      "t": 0.05347468910516265,
      "J_derivative": 37.40102486803711,
      "K0_derivative": 0.1512498795374919,
      "full_derivative_upper_bound": 0.006684374060455999
    },
    {
      "t": 0.05440941020600775,
      "J_derivative": 36.758508433706865,
      "K0_derivative": 0.15389372602212315,
      "full_derivative_upper_bound": 0.006801218037720274
    },
    {
      "t": 0.055360469943897546,
      "J_derivative": 36.1270306227429,
      "K0_derivative": 0.1565837902166239,
      "full_derivative_upper_bound": 0.00692010474467412
    },
    {
      "t": 0.05632815391317687,
      "J_derivative": 35.50640182891889,
      "K0_derivative": 0.15932088036227662,
      "full_derivative_upper_bound": 0.007041069923594982
    },
    {
      "t": 0.05731275270029195,
      "J_derivative": 34.89643570496908,
      "K0_derivative": 0.16210581886165712,
      "full_derivative_upper_bound": 0.007164149945537267
    },
    {
      "t": 0.05831456197105048,
      "J_derivative": 34.296949106688984,
      "K0_derivative": 0.16493944252919954,
      "full_derivative_upper_bound": 0.00728938182178375
    },
    {
      "t": 0.05933388255940744,
      "J_derivative": 33.70776203800078,
      "K0_derivative": 0.1678226028464167,
      "full_derivative_upper_bound": 0.0074168032155514756
    },
    {
      "t": 0.06037102055780286,
      "J_derivative": 33.12869759696743,
      "K0_derivative": 0.1707561662218809,
      "full_derivative_upper_bound": 0.007546452453963053
    },
    {
      "t": 0.06142628740907818,
      "J_derivative": 32.559581922739554,
      "K0_derivative": 0.17374101425607383,
      "full_derivative_upper_bound": 0.007678368540295262
    },
    {
      "t": 0.0625,
      "J_derivative": 32.000244143419,
      "K0_derivative": 0.17677804401122407,
      "full_derivative_upper_bound": 0.007812591166518208
    },
    {
      "t": 0.0635924807564179,
      "J_derivative": 31.45051632482404,
      "K0_derivative": 0.17986816828624705,
      "full_derivative_upper_bound": 0.007949160726139139
    },
    {
      "t": 0.06470405774008609,
      "J_derivative": 30.91023342014059,
      "K0_derivative": 0.18301231589691577,
      "full_derivative_upper_bound": 0.008088118327366837
    },
    {
      "t": 0.06583506474717725,
      "J_derivative": 30.379233220444956,
      "K0_derivative": 0.18621143196138917,
      "full_derivative_upper_bound": 0.008229505806613675
    },
    {
      "t": 0.06698584140851832,
      "J_derivative": 29.85735630608327,
      "K0_derivative": 0.1894664781912351,
      "full_derivative_upper_bound": 0.008373365742354444
    },
    {
      "t": 0.0681567332915786,
      "J_derivative": 29.34444599889313,
      "K0_derivative": 0.19277843318808935,
      "full_derivative_upper_bound": 0.008519741469362862
    },
    {
      "t": 0.0693480920042403,
      "J_derivative": 28.840348315253735,
      "K0_derivative": 0.1961482927460981,
      "full_derivative_upper_bound": 0.008668677093348894
    },
    {
      "t": 0.0705602753003832,
      "J_derivative": 28.344911919950285,
      "K0_derivative": 0.1995770701603002,
      "full_derivative_upper_bound": 0.008820217506022502
    },
    {
      "t": 0.0717936471873147,
      "J_derivative": 27.85798808083933,
      "K0_derivative": 0.20306579654111132,
      "full_derivative_upper_bound": 0.008974408400612137
    },
    {
      "t": 0.07304857803507785,
      "J_derivative": 27.37943062430165,
      "K0_derivative": 0.20661552113508147,
      "full_derivative_upper_bound": 0.009131296287869415
    },
    {
      "t": 0.07432544468767006,
      "J_derivative": 26.909095891469615,
      "K0_derivative": 0.21022731165210634,
      "full_derivative_upper_bound": 0.0092909285125949
    },
    {
      "t": 0.07562463057620579,
      "J_derivative": 26.446842695216226,
      "K0_derivative": 0.21390225459928058,
      "full_derivative_upper_bound": 0.009453353270723724
    },
    {
      "t": 0.07694652583405726,
      "J_derivative": 25.992532277893293,
      "K0_derivative": 0.21764145562159412,
      "full_derivative_upper_bound": 0.0096186196270143
    },
    {
      "t": 0.07829152741400801,
      "J_derivative": 25.54602826980634,
      "K0_derivative": 0.2214460398496818,
      "full_derivative_upper_bound": 0.00978677753338815
    },
    {
      "t": 0.07966003920745389,
      "J_derivative": 25.10719664841432,
      "K0_derivative": 0.22531715225484844,
      "full_derivative_upper_bound": 0.00995787784797448
    },
    {
      "t": 0.0810524721656881,
      "J_derivative": 24.67590569824206,
      "K0_derivative": 0.22925595801160664,
      "full_derivative_upper_bound": 0.010131972354919394
    },
    {
      "t": 0.08246924442330589,
      "J_derivative": 24.252025971494096,
      "K0_derivative": 0.23326364286797474,
      "full_derivative_upper_bound": 0.010309113785026476
    },
    {
      "t": 0.08391078142376646,
      "J_derivative": 23.835430249358275,
      "K0_derivative": 0.23734141352380153,
      "full_derivative_upper_bound": 0.010489355837303496
    },
    {
      "t": 0.08537751604714973,
      "J_derivative": 23.425993503988224,
      "K0_derivative": 0.24149049801739764,
      "full_derivative_upper_bound": 0.010672753201498766
    },
    {
      "t": 0.08686988874014608,
      "J_derivative": 23.02359286115355,
      "K0_derivative": 0.24571214612077244,
      "full_derivative_upper_bound": 0.01085936158172057
    },
    {
      "t": 0.08838834764831845,
      "J_derivative": 22.628107563547264,
      "K0_derivative": 0.250007629743795,
      "full_derivative_upper_bound": 0.011049237721244472
    },
    {
      "t": 0.08993334875067624,
      "J_derivative": 22.239418934739852,
      "K0_derivative": 0.25437824334761644,
      "full_derivative_upper_bound": 0.011242439428625637
    },
    {
      "t": 0.09150535599660158,
      "J_derivative": 21.85741034376982,
      "K0_derivative": 0.258825304367716,
      "full_derivative_upper_bound": 0.011439025605247802
    },
    {
      "t": 0.09310484144516891,
      "J_derivative": 21.481967170360768,
      "K0_derivative": 0.2633501536469551,
      "full_derivative_upper_bound": 0.011639056274456222
    },
    {
      "t": 0.09473228540689989,
      "J_derivative": 21.11297677075504,
      "K0_derivative": 0.26795415587905186,
      "full_derivative_upper_bound": 0.011842592612440118
    },
    {
      "t": 0.0963881765879963,
      "J_derivative": 20.750328444154512,
      "K0_derivative": 0.27263870006291746,
      "full_derivative_upper_bound": 0.012049696981050345
    },
    {
      "t": 0.09807301223709383,
      "J_derivative": 20.39391339975919,
      "K0_derivative": 0.27740519996832397,
      "full_derivative_upper_bound": 0.012260432962760711
    },
    {
      "t": 0.09978729829458123,
      "J_derivative": 20.043624724394387,
      "K0_derivative": 0.2822550946134112,
      "full_derivative_upper_bound": 0.012474865398007276
    },
    {
      "t": 0.10153154954452945,
      "J_derivative": 19.699357350717705,
      "K0_derivative": 0.28718984875457404,
      "full_derivative_upper_bound": 0.012693060425168726
    },
    {
      "t": 0.10330628976927647,
      "J_derivative": 19.361008025997002,
      "K0_derivative": 0.2922109533893128,
      "full_derivative_upper_bound": 0.01291508552348368
    },
    {
      "t": 0.10511205190671431,
      "J_derivative": 19.028475281451,
      "K0_derivative": 0.29731992627267184,
      "full_derivative_upper_bound": 0.013141009559237412
    },
    {
      "t": 0.10694937821032527,
      "J_derivative": 18.701659402144198,
      "K0_derivative": 0.3025183124479405,
      "full_derivative_upper_bound": 0.01337090283559198
    },
    {
      "t": 0.1088188204120155,
      "J_derivative": 18.380462397428136,
      "K0_derivative": 0.3078076847923388,
      "full_derivative_upper_bound": 0.013604837146480333
    },
    {
      "t": 0.11072093988779509,
      "J_derivative": 18.064787971921138,
      "K0_derivative": 0.3131896445784703,
      "full_derivative_upper_bound": 0.01384288583503767
    },
    {
      "t": 0.11265630782635379,
      "J_derivative": 17.75454149701903,
      "K0_derivative": 0.31866582205238053,
      "full_derivative_upper_bound": 0.014085123857102417
    },
    {
      "t": 0.1146255054005839,
      "J_derivative": 17.449629982929345,
      "K0_derivative": 0.32423787702913104,
      "full_derivative_upper_bound": 0.014331627850386242
    },
    {
      "t": 0.11662912394210093,
      "J_derivative": 17.149962051222047,
      "K0_derivative": 0.32990749950686477,
      "full_derivative_upper_bound": 0.014582476209987564
    },
    {
      "t": 0.11866776511881488,
      "J_derivative": 16.855447907889737,
      "K0_derivative": 0.3356764103004231,
      "full_derivative_upper_bound": 0.014837749171008108
    },
    {
      "t": 0.12074204111560571,
      "J_derivative": 16.56599931691067,
      "K0_derivative": 0.3415463616956562,
      "full_derivative_upper_bound": 0.0150975288991277
    },
    {
      "t": 0.1228525748181564,
      "J_derivative": 16.28152957430826,
      "K0_derivative": 0.34751913812566154,
      "full_derivative_upper_bound": 0.01536189959010032
    },
    {
      "t": 0.125,
      "J_derivative": 16.001953482700642,
      "K0_derivative": 0.3535965568702911,
      "full_derivative_upper_bound": 0.01563094757925624
    },
    {
      "t": 0.1271849615128358,
      "J_derivative": 15.72718732633456,
      "K0_derivative": 0.3597804687803711,
      "full_derivative_upper_bound": 0.015904761462232086
    },
    {
      "t": 0.12940811548017217,
      "J_derivative": 15.457148846597615,
      "K0_derivative": 0.3660727590282046,
      "full_derivative_upper_bound": 0.016183432228305428
    },
    {
      "t": 0.1316701294943545,
      "J_derivative": 15.19175721800358,
      "K0_derivative": 0.3724753478860561,
      "full_derivative_upper_bound": 0.016467053407884936
    },
    {
      "t": 0.13397168281703664,
      "J_derivative": 14.930933024645428,
      "K0_derivative": 0.37899019153445945,
      "full_derivative_upper_bound": 0.016755721235903766
    },
    {
      "t": 0.1363134665831572,
      "J_derivative": 14.674598237111093,
      "K0_derivative": 0.38561928290234987,
      "full_derivative_upper_bound": 0.01704953483308578
    },
    {
      "t": 0.1386961840084806,
      "J_derivative": 14.422676189857356,
      "K0_derivative": 0.3923646525411848,
      "full_derivative_upper_bound": 0.017348596407304195
    },
    {
      "t": 0.1411205506007664,
      "J_derivative": 14.175091559037252,
      "K0_derivative": 0.3992283695354124,
      "full_derivative_upper_bound": 0.01765301147753474
    },
    {
      "t": 0.1435872943746294,
      "J_derivative": 13.931770340776994,
      "K0_derivative": 0.40621254245184146,
      "full_derivative_upper_bound": 0.017962889123223292
    },
    {
      "t": 0.1460971560701557,
      "J_derivative": 13.692639829898374,
      "K0_derivative": 0.4133193203306924,
      "full_derivative_upper_bound": 0.018278342262247272
    },
    {
      "t": 0.14865088937534013,
      "J_derivative": 13.457628599083165,
      "K0_derivative": 0.42055089372134885,
      "full_derivative_upper_bound": 0.01859948796105488
    },
    {
      "t": 0.15124926115241158,
      "J_derivative": 13.2266664784762,
      "K0_derivative": 0.42790949576609266,
      "full_derivative_upper_bound": 0.018926447781022968
    },
    {
      "t": 0.1538930516681145,
      "J_derivative": 12.99968453572417,
      "K0_derivative": 0.43539740333539356,
      "full_derivative_upper_bound": 0.019259348165589815
    },
    {
      "t": 0.15658305482801602,
      "J_derivative": 12.776615056447456,
      "K0_derivative": 0.44301693821864024,
      "full_derivative_upper_bound": 0.01959832087330031
    },
    {
      "t": 0.15932007841490778,
      "J_derivative": 12.557391525142815,
      "K0_derivative": 0.4507704683745394,
      "full_derivative_upper_bound": 0.01994350346255666
    },
    {
      "t": 0.1621049443313762,
      "J_derivative": 12.34194860651482,
      "K0_derivative": 0.4586604092457919,
      "full_derivative_upper_bound": 0.020295039834608113
    },
    {
      "t": 0.16493848884661177,
      "J_derivative": 12.130222127234639,
      "K0_derivative": 0.46668922514305655,
      "full_derivative_upper_bound": 0.020653080842147294
    },
    {
      "t": 0.1678215628475329,
      "J_derivative": 11.922149058124894,
      "K0_derivative": 0.47485943070366915,
      "full_derivative_upper_bound": 0.021017784971823064
    },
    {
      "t": 0.17075503209429946,
      "J_derivative": 11.717667496769861,
      "K0_derivative": 0.4831735924310704,
      "full_derivative_upper_bound": 0.02138931911004219
    },
    {
      "t": 0.17373977748029215,
      "J_derivative": 11.516716650550693,
      "K0_derivative": 0.4916343303214343,
      "full_derivative_upper_bound": 0.021767859402631016
    },
    {
      "t": 0.1767766952966369,
      "J_derivative": 11.319236820105775,
      "K0_derivative": 0.5002443195845779,
      "full_derivative_upper_bound": 0.0221535922202813
    },
    {
      "t": 0.17986669750135248,
      "J_derivative": 11.125169383216855,
      "K0_derivative": 0.5090062924668752,
      "full_derivative_upper_bound": 0.022546715243230594
    },
    {
      "t": 0.18301071199320315,
      "J_derivative": 10.934456779122062,
      "K0_derivative": 0.5179230401846011,
      "full_derivative_upper_bound": 0.022947438680349888
    },
    {
      "t": 0.18620968289033782,
      "J_derivative": 10.747042493257501,
      "K0_derivative": 0.5269974149769054,
      "full_derivative_upper_bound": 0.023355986639754495
    },
    {
      "t": 0.18946457081379978,
      "J_derivative": 10.562871042429688,
      "K0_derivative": 0.5362323322884627,
      "full_derivative_upper_bound": 0.02377259867024694
    },
    {
      "t": 0.1927763531759926,
      "J_derivative": 10.381887960421668,
      "K0_derivative": 0.5456307730927674,
      "full_derivative_upper_bound": 0.024197531495374403
    },
    {
      "t": 0.19614602447418766,
      "J_derivative": 10.204039784036448,
      "K0_derivative": 0.5551957863680618,
      "full_derivative_upper_bound": 0.02463106096467429
    },
    {
      "t": 0.19957459658916246,
      "J_derivative": 10.029274039581944,
      "K0_derivative": 0.5649304917390011,
      "full_derivative_upper_bound": 0.025073484249830625
    },
    {
      "t": 0.2030630990890589,
      "J_derivative": 9.857539229802523,
      "K0_derivative": 0.5748380822983803,
      "full_derivative_upper_bound": 0.02552512231701538
    },
    {
      "t": 0.20661257953855294,
      "J_derivative": 9.688784821262978,
      "K0_derivative": 0.5849218276245954,
      "full_derivative_upper_bound": 0.025986322710695144
    },
    {
      "t": 0.21022410381342863,
      "J_derivative": 9.522961232191747,
      "K0_derivative": 0.5951850770119842,
      "full_derivative_upper_bound": 0.026457462688700303
    },
    {
      "t": 0.21389875642065054,
      "J_derivative": 9.360019820791093,
      "K0_derivative": 0.6056312629328171,
      "full_derivative_upper_bound": 0.026938952753446
    },
    {
      "t": 0.217637640824031,
      "J_derivative": 9.199912874023049,
      "K0_derivative": 0.6162639047514937,
      "full_derivative_upper_bound": 0.027431240629931644
    },
    {
      "t": 0.22144187977559018,
      "J_derivative": 9.042593596881094,
      "K0_derivative": 0.6270866127134647,
      "full_derivative_upper_bound": 0.027934815747607807
    },
    {
      "t": 0.22531261565270758,
      "J_derivative": 8.888016102158774,
      "K0_derivative": 0.638103092233559,
      "full_derivative_upper_bound": 0.028450214290471048
    },
    {
      "t": 0.2292510108011678,
      "J_derivative": 8.736135400727786,
      "K0_derivative": 0.6493171485107895,
      "full_derivative_upper_bound": 0.02897802488792407
    },
    {
      "t": 0.23325824788420185,
      "J_derivative": 8.5869073923397,
      "K0_derivative": 0.6607326914993241,
      "full_derivative_upper_bound": 0.0295188950281183
    },
    {
      "t": 0.23733553023762977,
      "J_derivative": 8.44028885696697,
      "K0_derivative": 0.6723537412682247,
      "full_derivative_upper_bound": 0.03007353828578736
    },
    {
      "t": 0.24148408223121143,
      "J_derivative": 8.296237446700768,
      "K0_derivative": 0.6841844337857491,
      "full_derivative_upper_bound": 0.030642742468087028
    },
    {
      "t": 0.2457051496363128,
      "J_derivative": 8.154711678225263,
      "K0_derivative": 0.6962290271675567,
      "full_derivative_upper_bound": 0.031227378794785137
    },
    {
      "t": 0.25,
      "J_derivative": 8.015670925889914,
      "K0_derivative": 0.7084919084320762,
      "full_derivative_upper_bound": 0.031828412243383945
    },
    {
      "t": 0.2543699230256717,
      "J_derivative": 7.879075415404107,
      "K0_derivative": 0.7209776008106248,
      "full_derivative_upper_bound": 0.03244691320546796
    },
    {
      "t": 0.25881623096034434,
      "J_derivative": 7.744886218180913,
      "K0_derivative": 0.7336907716646796,
      "full_derivative_upper_bound": 0.03308407061776714
    },
    {
      "t": 0.263340258988709,
      "J_derivative": 7.613065246359788,
      "K0_derivative": 0.7466362410680376,
      "full_derivative_upper_bound": 0.03374120675003146
    },
    {
      "t": 0.2679433656340732,
      "J_derivative": 7.483575248541527,
      "K0_derivative": 0.759818991117508,
      "full_derivative_upper_bound": 0.034419793851615664
    },
    {
      "t": 0.2726269331663144,
      "J_derivative": 7.356379806272204,
      "K0_derivative": 0.7732441760423889,
      "full_derivative_upper_bound": 0.0351214728792378
    },
    {
      "t": 0.2773923680169613,
      "J_derivative": 7.231443331317286,
      "K0_derivative": 0.7869171331902834,
      "full_derivative_upper_bound": 0.03584807454891892
    },
    {
      "t": 0.2822411012015328,
      "J_derivative": 7.108731063771479,
      "K0_derivative": 0.8008433949750031,
      "full_derivative_upper_bound": 0.036601642974329426
    },
    {
      "t": 0.2871745887492588,
      "J_derivative": 6.988209071055185,
      "K0_derivative": 0.8150287018814093,
      "full_derivative_upper_bound": 0.037384462169540424
    },
    {
      "t": 0.29219431214031133,
      "J_derivative": 6.869844247854285,
      "K0_derivative": 0.8294790166322291,
      "full_derivative_upper_bound": 0.038199085703177184
    },
    {
      "t": 0.29730177875068026,
      "J_derivative": 6.753604317066379,
      "K0_derivative": 0.8442005396332972,
      "full_derivative_upper_bound": 0.03904836978803492
    },
    {
      "t": 0.3024985223048232,
      "J_derivative": 6.639457831824128,
      "K0_derivative": 0.8591997258264308,
      "full_derivative_upper_bound": 0.039935510067447624
    },
    {
      "t": 0.307786103336229,
      "J_derivative": 6.5273741786745525,
      "K0_derivative": 0.874483303093502,
      "full_derivative_upper_bound": 0.04086408230513697
    },
    {
      "t": 0.31316610965603203,
      "J_derivative": 6.41732358200254,
      "K0_derivative": 0.8900582923713866,
      "full_derivative_upper_bound": 0.041838087080918615
    },
    {
      "t": 0.31864015682981545,
      "J_derivative": 6.3092771097975495,
      "K0_derivative": 0.9059320296556109,
      "full_derivative_upper_bound": 0.04286199841363905
    },
    {
      "t": 0.3242098886627524,
      "J_derivative": 6.203206680874361,
      "K0_derivative": 0.9221121900910255,
      "full_derivative_upper_bound": 0.04394081593519497
    },
    {
      "t": 0.32987697769322366,
      "J_derivative": 6.09908507367268,
      "K0_derivative": 0.9386068143709365,
      "full_derivative_upper_bound": 0.04508011976669561
    },
    {
      "t": 0.3356431256950658,
      "J_derivative": 5.996885936775728,
      "K0_derivative": 0.9554243376923663,
      "full_derivative_upper_bound": 0.04628612651388608
    },
    {
      "t": 0.3415100641885989,
      "J_derivative": 5.896583801305954,
      "K0_derivative": 0.972573621544814,
      "full_derivative_upper_bound": 0.04756574367948458
    },
    {
      "t": 0.3474795549605842,
      "J_derivative": 5.798154095376269,
      "K0_derivative": 0.9900639886436681,
      "full_derivative_upper_bound": 0.04892661810727332
    },
    {
      "t": 0.3535533905932738,
      "J_derivative": 5.701573160798386,
      "K0_derivative": 1.0079052613579393,
      "full_derivative_upper_bound": 0.05037717157662385
    },
    {
      "t": 0.35973339500270507,
      "J_derivative": 5.60681827227675,
      "K0_derivative": 1.0261078040258698,
      "full_derivative_upper_bound": 0.05192661301349473
    },
    {
      "t": 0.3660214239864063,
      "J_derivative": 5.513867659347045,
      "K0_derivative": 1.0446825696022781,
      "full_derivative_upper_bound": 0.053584911520306304
    },
    {
      "t": 0.37241936578067564,
      "J_derivative": 5.4227005313538035,
      "K0_derivative": 1.0636411511391142,
      "full_derivative_upper_bound": 0.055362706983350746
    },
    {
      "t": 0.37892914162759944,
      "J_derivative": 5.333297105802465,
      "K0_derivative": 1.0829958386669565,
      "full_derivative_upper_bound": 0.05727112474738617
    },
    {
      "t": 0.3855527063519852,
      "J_derivative": 5.245638640468412,
      "K0_derivative": 1.1027596821215642,
      "full_derivative_upper_bound": 0.059321447164821586
    },
    {
      "t": 0.39229204894837544,
      "J_derivative": 5.159707469700587,
      "K0_derivative": 1.1229465610477667,
      "full_derivative_upper_bound": 0.06152457752528702
    },
    {
      "t": 0.3991491931783249,
      "J_derivative": 5.075487045420882,
      "K0_derivative": 1.1435712619152116,
      "full_derivative_upper_bound": 0.06389021180374593
    },
    {
      "t": 0.4061261981781178,
      "J_derivative": 4.992961983395035,
      "K0_derivative": 1.1646495639991552,
      "full_derivative_upper_bound": 0.06642561401122171
    },
    {
      "t": 0.4132251590771058,
      "J_derivative": 4.912118115437663,
      "K0_derivative": 1.1861983349177714,
      "full_derivative_upper_bound": 0.06913387931902622
    },
    {
      "t": 0.42044820762685725,
      "J_derivative": 4.832942548316024,
      "K0_derivative": 1.2082356370790057,
      "full_derivative_upper_bound": 0.07201158069604452
    },
    {
      "t": 0.4277975128413012,
      "J_derivative": 4.7554237302369256,
      "K0_derivative": 1.230780846479303,
      "full_derivative_upper_bound": 0.07504575556822198
    },
    {
      "t": 0.435275281648062,
      "J_derivative": 4.679551525942512,
      "K0_derivative": 1.2538547855190996,
      "full_derivative_upper_bound": 0.07821033700780189
    },
    {
      "t": 0.44288375955118037,
      "J_derivative": 4.605317301607706,
      "K0_derivative": 1.2774798717624443,
      "full_derivative_upper_bound": 0.08146241202265556
    },
    {
      "t": 0.450625231305415,
      "J_derivative": 4.532714020930465,
      "K0_derivative": 1.3016802848787046,
      "full_derivative_upper_bound": 0.0847391192785405
    },
    {
      "t": 0.4585020216023356,
      "J_derivative": 4.4617363540418715,
      "K0_derivative": 1.3264821543732233,
      "full_derivative_upper_bound": 0.08795652533902965
    },
    {
      "t": 0.4665164957684038,
      "J_derivative": 4.392380801145276,
      "K0_derivative": 1.351913771153369,
      "full_derivative_upper_bound": 0.09101223428907695
    },
    {
      "t": 0.47467106047525953,
      "J_derivative": 4.324645833131647,
      "K0_derivative": 1.3780058265024757,
      "full_derivative_upper_bound": 0.09379338812762675
    },
    {
      "t": 0.48296816446242286,
      "J_derivative": 4.258532051825407,
      "K0_derivative": 1.404791682665888,
      "full_derivative_upper_bound": 0.09619062745198313
    },
    {
      "t": 0.4914102992726254,
      "J_derivative": 4.194042373006911,
      "K0_derivative": 1.4323076800152932,
      "full_derivative_upper_bound": 0.0981163418984099
    },
    {
      "t": 0.5,
      "J_derivative": 4.131182235954578,
      "K0_derivative": 1.4605934866804429,
      "full_derivative_upper_bound": 0.0995228220420056
    }
  ],
  "scalar_sample": {
    "t": "1/2",
    "lambda_value": 256,
    "K0_derivative_squared": "32/15",
    "source_compressed_derivative_squared": "(19+sqrt(345))/30720",
    "complementary_derivative_bound_squared": "1/240"
  },
  "infinite_full_resolvent_proved": true,
  "normal_full_resolvent_product_rule_proved": true,
  "actual_coefficient_algebra": "C0(X)",
  "coefficient_cycle_class": "1_A",
  "vacuum_affine_mixing_retained": true,
  "curve_is_proved_upper_bound": true,
  "unweighted_U_derivative_asserted": false,
  "target_connection_covariance_under_transported_action_asserted": false,
  "actual_B_source_inverse_module_identified": false,
  "completed_physical_graph_sum_proved": false,
  "original_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1850
  ],
  "text_canvas_overflows": []
}