{
 "E_star": {
  "1": 123.43344106975269,
  "2": 12.33047317470573,
  "3": 3.5540533765934015,
  "4": 1.504697674656427
 },
 "totals": {
  "grid_comparisons": 27,
  "grid_agree": 27,
  "rule_comparisons": 36,
  "rule_agree": 36,
  "zh_found": 22,
  "zh_certified": 22
 },
 "rows": [
  {
   "N": 1,
   "h": 2.0,
   "free_coords": 4,
   "grid_points_box": 400.0,
   "grid_points_sublevel": 102,
   "grid_points_sublevel_est": 77.35157439106047,
   "tests_budget": 102,
   "tests_togo": 102,
   "time_budget": 0.0007901191711425781,
   "time_togo": 0.0015759468078613281,
   "time_grid": 0.0008141994476318359,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 192.0,
   "f_ratio": 1.5554941864701002,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.406312843954538e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 1.5,
   "free_coords": 4,
   "grid_points_box": 900.0,
   "grid_points_sublevel": 245,
   "grid_points_sublevel_est": 244.46917338409222,
   "tests_budget": 245,
   "tests_togo": 245,
   "time_budget": 0.0016047954559326172,
   "time_togo": 0.0023305416107177734,
   "time_grid": 0.0015375614166259766,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 255.0,
   "f_ratio": 2.0658907164056015,
   "zh_side": "mm",
   "zh_cert": true,
   "exact_gap": 0.16266743421255825,
   "exact_side": "mm",
   "exact_cert": true,
   "exact_ok": false
  },
  {
   "N": 1,
   "h": 1.25,
   "free_coords": 4,
   "grid_points_box": 2401.0,
   "grid_points_sublevel": 498,
   "grid_points_sublevel_est": 506.9312779292537,
   "tests_budget": 498,
   "tests_togo": 498,
   "time_budget": 0.0019922256469726562,
   "time_togo": 0.0028002262115478516,
   "time_grid": 0.0020782947540283203,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 187.5,
   "f_ratio": 1.519037291474707,
   "zh_side": "mm",
   "zh_cert": true,
   "exact_gap": 0.1626674236816228,
   "exact_side": "mm",
   "exact_cert": true,
   "exact_ok": false
  },
  {
   "N": 1,
   "h": 1.0,
   "free_coords": 4,
   "grid_points_box": 5184.0,
   "grid_points_sublevel": 1308,
   "grid_points_sublevel_est": 1237.6251902569668,
   "tests_budget": 1308,
   "tests_togo": 1308,
   "time_budget": 0.0035123825073242188,
   "time_togo": 0.004445314407348633,
   "time_grid": 0.00395965576171875,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 156.0,
   "f_ratio": 1.2638390265069563,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 2.3671953286452663e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.75,
   "free_coords": 4,
   "grid_points_box": 15972.0,
   "grid_points_sublevel": 3942,
   "grid_points_sublevel_est": 3911.506774145477,
   "tests_budget": 3942,
   "tests_togo": 3942,
   "time_budget": 0.008862495422363281,
   "time_togo": 0.010138273239135742,
   "time_grid": 0.010339975357055664,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 147.0,
   "f_ratio": 1.1909252365161704,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.3988810110276972e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.5,
   "free_coords": 4,
   "grid_points_box": 83521.0,
   "grid_points_sublevel": 19818,
   "grid_points_sublevel_est": 19802.003044111458,
   "tests_budget": 19818,
   "tests_togo": 19818,
   "time_budget": 0.039339542388916016,
   "time_togo": 0.04361152648925781,
   "time_grid": 0.04299736022949219,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 138.0,
   "f_ratio": 1.1180114465253845,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 3.7585712320264975e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.375,
   "free_coords": 4,
   "grid_points_box": 279841.0,
   "grid_points_sublevel": 62559,
   "grid_points_sublevel_est": 62584.10838632765,
   "tests_budget": 62559,
   "tests_togo": 62559,
   "time_budget": 0.12035465240478516,
   "time_togo": 0.16672778129577637,
   "time_grid": 0.14970898628234863,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 130.125,
   "f_ratio": 1.0542118802834468,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 8.447278432299754e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.25,
   "free_coords": 4,
   "grid_points_box": 1416100.0,
   "grid_points_sublevel": 318387,
   "grid_points_sublevel_est": 316832.04870578344,
   "tests_budget": 318387,
   "tests_togo": 318387,
   "time_budget": 0.5879766941070557,
   "time_togo": 0.6644392013549805,
   "time_grid": 0.49946117401123047,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 126.75,
   "f_ratio": 1.026869209036902,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 9.807021861263365e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.1875,
   "free_coords": 4,
   "grid_points_box": 4284900.0,
   "grid_points_sublevel": 1000995,
   "grid_points_sublevel_est": 1001345.7341812428,
   "tests_budget": 1000995,
   "tests_togo": 1000995,
   "time_budget": 1.8563284873962402,
   "time_togo": 1.865967035293579,
   "time_grid": 0.6753871440887451,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 125.90625,
   "f_ratio": 1.020033541225266,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 0.0,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 1,
   "h": 0.125,
   "free_coords": 4,
   "grid_points_box": 22014864.0,
   "grid_points_sublevel": 5072808,
   "grid_points_sublevel_est": 5069312.779292528,
   "tests_budget": 5072808,
   "tests_togo": 5072808,
   "time_budget": 8.819361209869385,
   "time_togo": 9.122315645217896,
   "time_grid": 2.708487033843994,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 123.43344106975269,
   "zh_cost": 124.5,
   "f_ratio": 1.0086407615392055,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 4.55802062759858e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 2.0,
   "free_coords": 8,
   "grid_points_box": 216.0,
   "grid_points_sublevel": 4,
   "grid_points_sublevel_est": 0.22343808892677866,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0007965564727783203,
   "time_togo": 0.0009372234344482422,
   "time_grid": 0.0005917549133300781,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 12.33047317470573
  },
  {
   "N": 2,
   "h": 1.5,
   "free_coords": 8,
   "grid_points_box": 12960.0,
   "grid_points_sublevel": 7,
   "grid_points_sublevel_est": 2.2318607827930745,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0020406246185302734,
   "time_togo": 0.003346681594848633,
   "time_grid": 0.002086162567138672,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 12.33047317470573
  },
  {
   "N": 2,
   "h": 1.25,
   "free_coords": 8,
   "grid_points_box": 50625.0,
   "grid_points_sublevel": 7,
   "grid_points_sublevel_est": 9.596592846212538,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0015840530395507812,
   "time_togo": 0.0017330646514892578,
   "time_grid": 0.0015320777893066406,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 12.33047317470573
  },
  {
   "N": 2,
   "h": 1.0,
   "free_coords": 8,
   "grid_points_box": 151200.0,
   "grid_points_sublevel": 111,
   "grid_points_sublevel_est": 57.20015076525532,
   "tests_budget": 412,
   "tests_togo": 71,
   "time_budget": 0.004759550094604492,
   "time_togo": 0.00471186637878418,
   "time_grid": 0.00419926643371582,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 36.0,
   "f_ratio": 2.9195959871068897,
   "zh_side": "mm",
   "zh_cert": true,
   "exact_gap": 0.16062456978420725,
   "exact_side": "mm",
   "exact_cert": true,
   "exact_ok": false
  },
  {
   "N": 2,
   "h": 0.75,
   "free_coords": 8,
   "grid_points_box": 2520000.0,
   "grid_points_sublevel": 565,
   "grid_points_sublevel_est": 571.356360395027,
   "tests_budget": 2327,
   "tests_togo": 316,
   "time_budget": 0.006471872329711914,
   "time_togo": 0.005293846130371094,
   "time_grid": 0.02143120765686035,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 18.75,
   "f_ratio": 1.520622909951505,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 3.413247462447089e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 0.5,
   "free_coords": 8,
   "grid_points_box": 59195136.0,
   "grid_points_sublevel": 16426,
   "grid_points_sublevel_est": 14643.238595905348,
   "tests_budget": 26013,
   "tests_togo": 4307,
   "time_budget": 0.048935651779174805,
   "time_togo": 0.04636096954345703,
   "time_grid": 0.4016599655151367,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 21.0,
   "f_ratio": 1.7030976591456857,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.0271117290017173e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 0.375,
   "free_coords": 8,
   "grid_points_box": 740520000.0,
   "grid_points_sublevel": 148257,
   "grid_points_sublevel_est": 146267.22826112687,
   "tests_budget": 149597,
   "tests_togo": 24505,
   "time_budget": 0.34412407875061035,
   "time_togo": 0.11662125587463379,
   "time_grid": 4.014044523239136,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 16.5,
   "f_ratio": 1.3381481607573245,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 2.507838381404781e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 0.25,
   "free_coords": 8,
   "grid_points_box": 16068375000.0,
   "grid_points_sublevel": 3613342,
   "grid_points_sublevel_est": 3748669.0805517714,
   "tests_budget": 1717038,
   "tests_togo": 254288,
   "time_budget": 3.041257381439209,
   "time_togo": 0.9436490535736084,
   "time_grid": 73.52647352218628,
   "same_as_grid": true,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 14.25,
   "f_ratio": 1.1556734115631437,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.0829803720469044e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 0.1875,
   "free_coords": 8,
   "grid_points_box": 181900857600.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 37444410.43484844,
   "tests_budget": 9649277,
   "tests_togo": 1329112,
   "time_budget": 16.293273210525513,
   "time_togo": 4.406949043273926,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 13.96875,
   "f_ratio": 1.1328640679138713,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 2.415645461439908e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 2,
   "h": 0.125,
   "free_coords": 8,
   "grid_points_box": 4119345720000.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 959659284.6212542,
   "tests_budget": 106403214,
   "tests_togo": 12669999,
   "time_budget": 172.39954161643982,
   "time_togo": 41.72004461288452,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 12.33047317470573,
   "zh_cost": 12.9375,
   "f_ratio": 1.0492298078665385,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 5.391842528013058e-11,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 3,
   "h": 2.0,
   "free_coords": 12,
   "grid_points_box": 7776.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 2.637267180619906e-05,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0002262592315673828,
   "time_togo": 0.0005619525909423828,
   "time_grid": 0.0005636215209960938,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 3.5540533765934015
  },
  {
   "N": 3,
   "h": 1.5,
   "free_coords": 12,
   "grid_points_box": 15552.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 0.0008325665716226476,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0008857250213623047,
   "time_togo": 0.0017113685607910156,
   "time_grid": 0.0018315315246582031,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 3.5540533765934015
  },
  {
   "N": 3,
   "h": 1.25,
   "free_coords": 12,
   "grid_points_box": 2592000.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 0.007423247182447647,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.00039315223693847656,
   "time_togo": 0.0017507076263427734,
   "time_grid": 0.03600478172302246,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 3.5540533765934015
  },
  {
   "N": 3,
   "h": 1.0,
   "free_coords": 12,
   "grid_points_box": 30375000.0,
   "grid_points_sublevel": 5,
   "grid_points_sublevel_est": 0.10802246371819128,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.001043558120727539,
   "time_togo": 0.0016477108001708984,
   "time_grid": 0.25268125534057617,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 3.5540533765934015
  },
  {
   "N": 3,
   "h": 0.75,
   "free_coords": 12,
   "grid_points_box": 311169600.0,
   "grid_points_sublevel": 4,
   "grid_points_sublevel_est": 3.410192677366364,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.006761074066162109,
   "time_togo": 0.003233671188354492,
   "time_grid": 2.19153094291687,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 3.5540533765934015
  },
  {
   "N": 3,
   "h": 0.5,
   "free_coords": 12,
   "grid_points_box": 71874000000.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 442.46001138971116,
   "tests_budget": 3551,
   "tests_togo": 367,
   "time_budget": 0.07894611358642578,
   "time_togo": 0.023195743560791016,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 3.5540533765934015,
   "zh_cost": 12.0,
   "f_ratio": 3.376426499115252,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.2789769243681803e-13,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 3,
   "h": 0.375,
   "free_coords": 12,
   "grid_points_box": 1991416867440.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 13968.149206492622,
   "tests_budget": 31562,
   "tests_togo": 2988,
   "time_budget": 0.39983105659484863,
   "time_togo": 0.13562369346618652,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 3.5540533765934015,
   "zh_cost": 8.0625,
   "f_ratio": 2.26853655409306,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 2.2244406316929144e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 3,
   "h": 0.25,
   "free_coords": 12,
   "grid_points_box": 340502944320000.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 1812316.2066522555,
   "tests_budget": 865149,
   "tests_togo": 45446,
   "time_budget": 10.838900566101074,
   "time_togo": 2.54145884513855,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 3.5540533765934015,
   "zh_cost": 4.5,
   "f_ratio": 1.2661599371682197,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.9184653865522705e-13,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  },
  {
   "N": 4,
   "h": 2.0,
   "free_coords": 16,
   "grid_points_box": 23328.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 3.156566496311912e-10,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.00015020370483398438,
   "time_togo": 0.0004820823669433594,
   "time_grid": 0.0020012855529785156,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 1.5,
   "free_coords": 16,
   "grid_points_box": 2519424.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 3.149450075258679e-08,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0003871917724609375,
   "time_togo": 0.0005013942718505859,
   "time_grid": 0.13295316696166992,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 1.25,
   "free_coords": 16,
   "grid_points_box": 29160000.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 5.82283743091118e-07,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0002601146697998047,
   "time_togo": 0.0006940364837646484,
   "time_grid": 0.9558346271514893,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 1.0,
   "free_coords": 16,
   "grid_points_box": 360000000.0,
   "grid_points_sublevel": 0,
   "grid_points_sublevel_est": 2.06868741902297e-05,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.00026869773864746094,
   "time_togo": 0.0008051395416259766,
   "time_grid": 6.184225082397461,
   "same_as_grid": true,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 0.75,
   "free_coords": 16,
   "grid_points_box": 233377200000.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 0.002064023601321527,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.0009839534759521484,
   "time_togo": 0.0023474693298339844,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 0.5,
   "free_coords": 16,
   "grid_points_box": 81335585358720.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 1.3557349869308932,
   "tests_budget": null,
   "tests_togo": null,
   "time_budget": 0.03177356719970703,
   "time_togo": 0.012942314147949219,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": true,
   "E_star": 1.504697674656427
  },
  {
   "N": 4,
   "h": 0.375,
   "free_coords": 16,
   "grid_points_box": 7879889144531250.0,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 135.26785073620755,
   "tests_budget": 4279,
   "tests_togo": 462,
   "time_budget": 0.22973847389221191,
   "time_togo": 0.061280012130737305,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 1.504697674656427,
   "zh_cost": 5.8125,
   "f_ratio": 3.862902228068631,
   "zh_side": "mm",
   "zh_cert": true,
   "exact_gap": 0.16173287697380956,
   "exact_side": "mm",
   "exact_cert": true,
   "exact_ok": false
  },
  {
   "N": 4,
   "h": 0.25,
   "free_coords": 16,
   "grid_points_box": 5.882921604607162e+18,
   "grid_points_sublevel": null,
   "grid_points_sublevel_est": 88849.44810350297,
   "tests_budget": 208929,
   "tests_togo": 10144,
   "time_budget": 8.737711906433105,
   "time_togo": 1.483459711074829,
   "time_grid": null,
   "same_as_grid": null,
   "same_rules": true,
   "fail": false,
   "E_star": 1.504697674656427,
   "zh_cost": 3.75,
   "f_ratio": 2.49219498585073,
   "zh_side": "pp",
   "zh_cert": true,
   "exact_gap": 1.175630703897923e-10,
   "exact_side": "pp",
   "exact_cert": true,
   "exact_ok": true
  }
 ]
}