[
  {
    "execution": "E\u2192E",
    "coefficient": "625/529",
    "final_integer_domain": 529,
    "all_stage_integer_domain": 529,
    "all_stage_5Z_domain": 2645
  },
  {
    "execution": "E\u2192P",
    "coefficient": "1750/1587",
    "final_integer_domain": 1587,
    "all_stage_integer_domain": 1587,
    "all_stage_5Z_domain": 7935
  },
  {
    "execution": "E\u2192J",
    "coefficient": "7500/6877",
    "final_integer_domain": 6877,
    "all_stage_integer_domain": 6877,
    "all_stage_5Z_domain": 34385
  },
  {
    "execution": "P\u2192E",
    "coefficient": "1750/1587",
    "final_integer_domain": 1587,
    "all_stage_integer_domain": 1587,
    "all_stage_5Z_domain": 7935
  },
  {
    "execution": "P\u2192P",
    "coefficient": "4900/4761",
    "final_integer_domain": 4761,
    "all_stage_integer_domain": 4761,
    "all_stage_5Z_domain": 23805
  },
  {
    "execution": "P\u2192J",
    "coefficient": "7000/6877",
    "final_integer_domain": 6877,
    "all_stage_integer_domain": 20631,
    "all_stage_5Z_domain": 103155
  },
  {
    "execution": "J\u2192E",
    "coefficient": "7500/6877",
    "final_integer_domain": 6877,
    "all_stage_integer_domain": 6877,
    "all_stage_5Z_domain": 34385
  },
  {
    "execution": "J\u2192P",
    "coefficient": "7000/6877",
    "final_integer_domain": 6877,
    "all_stage_integer_domain": 6877,
    "all_stage_5Z_domain": 34385
  },
  {
    "execution": "J\u2192J",
    "coefficient": "90000/89401",
    "final_integer_domain": 89401,
    "all_stage_integer_domain": 89401,
    "all_stage_5Z_domain": 447005
  }
]