{
  "step": "C467",
  "deletion_controls": [
    {
      "removed_operator": null,
      "retained_arrows": 245,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        2756
      ],
      "retained_arrows": 238,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        }
      ],
      "reached_pairs": 62,
      "complete_two_E_ladder": false,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": false,
      "strong_components": 272,
      "largest_strong_component": 6
    },
    {
      "removed_operator": [
        "E",
        2758
      ],
      "retained_arrows": 240,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": false,
      "strong_components": 272,
      "largest_strong_component": 6
    },
    {
      "removed_operator": [
        "E",
        2816
      ],
      "retained_arrows": 242,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        2818
      ],
      "retained_arrows": 241,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        3620
      ],
      "retained_arrows": 237,
      "pair_edges": [],
      "reached_pairs": 60,
      "complete_two_E_ladder": false,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        3622
      ],
      "retained_arrows": 242,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        3680
      ],
      "retained_arrows": 241,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "E",
        3682
      ],
      "retained_arrows": 242,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": true,
      "mixed_cycle_word": true,
      "strong_components": 271,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "R",
        3188
      ],
      "retained_arrows": 184,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": false,
      "mixed_cycle_word": true,
      "strong_components": 299,
      "largest_strong_component": 6
    },
    {
      "removed_operator": [
        "R",
        3190
      ],
      "retained_arrows": 178,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": false,
      "mixed_cycle_word": true,
      "strong_components": 303,
      "largest_strong_component": 8
    },
    {
      "removed_operator": [
        "R",
        3248
      ],
      "retained_arrows": 226,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": false,
      "mixed_cycle_word": false,
      "strong_components": 280,
      "largest_strong_component": 6
    },
    {
      "removed_operator": [
        "R",
        3250
      ],
      "retained_arrows": 184,
      "pair_edges": [
        {
          "input_pair": [
            1895,
            2953
          ],
          "output_pair": [
            1745,
            2895
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2148,
            3206
          ],
          "output_pair": [
            2020,
            3170
          ],
          "operator": [
            "E",
            3620
          ]
        },
        {
          "input_pair": [
            2020,
            3170
          ],
          "output_pair": [
            1956,
            3206
          ],
          "operator": [
            "E",
            2756
          ]
        }
      ],
      "reached_pairs": 63,
      "complete_two_E_ladder": true,
      "ordinary_cycle_word": false,
      "mixed_cycle_word": false,
      "strong_components": 301,
      "largest_strong_component": 5
    }
  ],
  "minimal_declared_support": {
    "complete_two_E_ladder": [
      [
        "E",
        3620
      ],
      [
        "E",
        2756
      ]
    ],
    "ordinary_cycle": [
      [
        "R",
        3188
      ],
      [
        "R",
        3248
      ],
      [
        "R",
        3250
      ],
      [
        "R",
        3190
      ]
    ],
    "mixed_cycle": [
      [
        "R",
        3248
      ],
      [
        "R",
        3250
      ],
      [
        "E",
        2758
      ],
      [
        "E",
        2756
      ]
    ]
  },
  "counts": {
    "operators": 12,
    "scenarios_including_baseline": 13
  },
  "limits": "Single-operator sensitivity holds the source register fixed; this does not remove source records or alter the active result."
}