{
  "status": "Preparatory exact calculations; root must select/execute numbered steps separately.",
  "two_key_words": [
    {
      "word_execution_order": [
        "E",
        "E"
      ],
      "prefix_coefficients": [
        "25/23",
        "625/529"
      ],
      "final_coefficient": "625/529",
      "final_integer_domain": 529,
      "all_stages_integer_domain": 529,
      "all_stages_five_grid_domain": 2645
    },
    {
      "word_execution_order": [
        "E",
        "P"
      ],
      "prefix_coefficients": [
        "25/23",
        "1750/1587"
      ],
      "final_coefficient": "1750/1587",
      "final_integer_domain": 1587,
      "all_stages_integer_domain": 1587,
      "all_stages_five_grid_domain": 7935
    },
    {
      "word_execution_order": [
        "E",
        "J"
      ],
      "prefix_coefficients": [
        "25/23",
        "7500/6877"
      ],
      "final_coefficient": "7500/6877",
      "final_integer_domain": 6877,
      "all_stages_integer_domain": 6877,
      "all_stages_five_grid_domain": 34385
    },
    {
      "word_execution_order": [
        "P",
        "E"
      ],
      "prefix_coefficients": [
        "70/69",
        "1750/1587"
      ],
      "final_coefficient": "1750/1587",
      "final_integer_domain": 1587,
      "all_stages_integer_domain": 1587,
      "all_stages_five_grid_domain": 7935
    },
    {
      "word_execution_order": [
        "P",
        "P"
      ],
      "prefix_coefficients": [
        "70/69",
        "4900/4761"
      ],
      "final_coefficient": "4900/4761",
      "final_integer_domain": 4761,
      "all_stages_integer_domain": 4761,
      "all_stages_five_grid_domain": 23805
    },
    {
      "word_execution_order": [
        "P",
        "J"
      ],
      "prefix_coefficients": [
        "70/69",
        "7000/6877"
      ],
      "final_coefficient": "7000/6877",
      "final_integer_domain": 6877,
      "all_stages_integer_domain": 20631,
      "all_stages_five_grid_domain": 103155
    },
    {
      "word_execution_order": [
        "J",
        "E"
      ],
      "prefix_coefficients": [
        "300/299",
        "7500/6877"
      ],
      "final_coefficient": "7500/6877",
      "final_integer_domain": 6877,
      "all_stages_integer_domain": 6877,
      "all_stages_five_grid_domain": 34385
    },
    {
      "word_execution_order": [
        "J",
        "P"
      ],
      "prefix_coefficients": [
        "300/299",
        "7000/6877"
      ],
      "final_coefficient": "7000/6877",
      "final_integer_domain": 6877,
      "all_stages_integer_domain": 6877,
      "all_stages_five_grid_domain": 34385
    },
    {
      "word_execution_order": [
        "J",
        "J"
      ],
      "prefix_coefficients": [
        "300/299",
        "90000/89401"
      ],
      "final_coefficient": "90000/89401",
      "final_integer_domain": 89401,
      "all_stages_integer_domain": 89401,
      "all_stages_five_grid_domain": 447005
    }
  ],
  "three_distinct_key_words": [
    {
      "word_execution_order": [
        "E",
        "P",
        "J"
      ],
      "prefix_coefficients": [
        "25/23",
        "1750/1587",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 474513,
      "all_stages_five_grid_domain": 2372565
    },
    {
      "word_execution_order": [
        "E",
        "J",
        "P"
      ],
      "prefix_coefficients": [
        "25/23",
        "7500/6877",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 158171,
      "all_stages_five_grid_domain": 790855
    },
    {
      "word_execution_order": [
        "P",
        "E",
        "J"
      ],
      "prefix_coefficients": [
        "70/69",
        "1750/1587",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 474513,
      "all_stages_five_grid_domain": 2372565
    },
    {
      "word_execution_order": [
        "P",
        "J",
        "E"
      ],
      "prefix_coefficients": [
        "70/69",
        "7000/6877",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 474513,
      "all_stages_five_grid_domain": 2372565
    },
    {
      "word_execution_order": [
        "J",
        "E",
        "P"
      ],
      "prefix_coefficients": [
        "300/299",
        "7500/6877",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 158171,
      "all_stages_five_grid_domain": 790855
    },
    {
      "word_execution_order": [
        "J",
        "P",
        "E"
      ],
      "prefix_coefficients": [
        "300/299",
        "7000/6877",
        "175000/158171"
      ],
      "final_coefficient": "175000/158171",
      "final_integer_domain": 158171,
      "all_stages_integer_domain": 158171,
      "all_stages_five_grid_domain": 790855
    }
  ],
  "quarter_ladder": [
    {
      "m": 3,
      "whole": "120",
      "phase": "483/4",
      "outputs": {
        "E": "525/4",
        "P": "245/2",
        "J": "1575/13"
      },
      "quarter_grid": {
        "E": true,
        "P": true,
        "J": false
      }
    },
    {
      "m": 10,
      "whole": "400",
      "phase": "805/2",
      "outputs": {
        "E": "875/2",
        "P": "1225/3",
        "J": "5250/13"
      },
      "quarter_grid": {
        "E": true,
        "P": false,
        "J": false
      }
    },
    {
      "m": 12,
      "whole": "480",
      "phase": "483",
      "outputs": {
        "E": "525",
        "P": "490",
        "J": "6300/13"
      },
      "quarter_grid": {
        "E": true,
        "P": true,
        "J": false
      }
    },
    {
      "m": 30,
      "whole": "1200",
      "phase": "2415/2",
      "outputs": {
        "E": "2625/2",
        "P": "1225",
        "J": "15750/13"
      },
      "quarter_grid": {
        "E": true,
        "P": true,
        "J": false
      }
    },
    {
      "m": 300,
      "whole": "12000",
      "phase": "12075",
      "outputs": {
        "E": "13125",
        "P": "12250",
        "J": "157500/13"
      },
      "quarter_grid": {
        "E": true,
        "P": true,
        "J": false
      }
    }
  ],
  "Adam_field_about14006": [
    {
      "x_BC": 14926,
      "radius": 920,
      "E_radius": "1000",
      "E_BC_coordinate": "15006"
    },
    {
      "x_BC": 14896,
      "radius": 890,
      "E_radius": "22250/23",
      "E_BC_coordinate": "344388/23"
    },
    {
      "x_BC": 14466,
      "radius": 460,
      "E_radius": "500",
      "E_BC_coordinate": "14506"
    },
    {
      "x_BC": 14436,
      "radius": 430,
      "E_radius": "10750/23",
      "E_BC_coordinate": "332888/23"
    },
    {
      "x_BC": 14006,
      "radius": 0,
      "E_radius": "0",
      "E_BC_coordinate": "14006"
    }
  ],
  "anchor_commutator": {
    "a": 14006,
    "b": 4836,
    "difference_EaPb_minus_PbEa": "18340/1587"
  },
  "pair_order_counterexample": {
    "seed": 6877,
    "J_then_P": [
      "6900",
      "7000"
    ],
    "P_then_J": [
      "20930/3",
      "7000"
    ]
  }
}