files / problems / schur / compute / q3 / rowley_extension_audit.json

4.7 KB · on GitHub

{
  "base_class_sizes": [
    204,
    176,
    318,
    152,
    148,
    200,
    498
  ],
  "base_length": 1696,
  "base_schur_pairs_checked": 719104,
  "extensions": [
    {
      "appended_color": 0,
      "boundary_conflicts": 102,
      "disjoint_pair_edit_lower_bound": 102,
      "first_pairs": [
        [
          8,
          1689
        ],
        [
          9,
          1688
        ],
        [
          14,
          1683
        ],
        [
          15,
          1682
        ],
        [
          25,
          1672
        ],
        [
          31,
          1666
        ],
        [
          32,
          1665
        ],
        [
          35,
          1662
        ],
        [
          42,
          1655
        ],
        [
          52,
          1645
        ]
      ]
    },
    {
      "appended_color": 1,
      "boundary_conflicts": 88,
      "disjoint_pair_edit_lower_bound": 88,
      "first_pairs": [
        [
          3,
          1694
        ],
        [
          13,
          1684
        ],
        [
          17,
          1680
        ],
        [
          18,
          1679
        ],
        [
          23,
          1674
        ],
        [
          28,
          1669
        ],
        [
          38,
          1659
        ],
        [
          44,
          1653
        ],
        [
          48,
          1649
        ],
        [
          54,
          1643
        ]
      ]
    },
    {
      "appended_color": 2,
      "boundary_conflicts": 159,
      "disjoint_pair_edit_lower_bound": 159,
      "first_pairs": [
        [
          2,
          1695
        ],
        [
          5,
          1692
        ],
        [
          12,
          1685
        ],
        [
          19,
          1678
        ],
        [
          22,
          1675
        ],
        [
          26,
          1671
        ],
        [
          29,
          1668
        ],
        [
          36,
          1661
        ],
        [
          39,
          1658
        ],
        [
          43,
          1654
        ]
      ]
    },
    {
      "appended_color": 3,
      "boundary_conflicts": 76,
      "disjoint_pair_edit_lower_bound": 76,
      "first_pairs": [
        [
          4,
          1693
        ],
        [
          7,
          1690
        ],
        [
          10,
          1687
        ],
        [
          21,
          1676
        ],
        [
          27,
          1670
        ],
        [
          30,
          1667
        ],
        [
          33,
          1664
        ],
        [
          47,
          1650
        ],
        [
          67,
          1630
        ],
        [
          70,
          1627
        ]
      ]
    },
    {
      "appended_color": 4,
      "boundary_conflicts": 74,
      "disjoint_pair_edit_lower_bound": 74,
      "first_pairs": [
        [
          1,
          1696
        ],
        [
          6,
          1691
        ],
        [
          11,
          1686
        ],
        [
          16,
          1681
        ],
        [
          20,
          1677
        ],
        [
          24,
          1673
        ],
        [
          34,
          1663
        ],
        [
          37,
          1660
        ],
        [
          41,
          1656
        ],
        [
          90,
          1607
        ]
      ]
    },
    {
      "appended_color": 5,
      "boundary_conflicts": 100,
      "disjoint_pair_edit_lower_bound": 100,
      "first_pairs": [
        [
          40,
          1657
        ],
        [
          45,
          1652
        ],
        [
          49,
          1648
        ],
        [
          51,
          1646
        ],
        [
          57,
          1640
        ],
        [
          58,
          1639
        ],
        [
          61,
          1636
        ],
        [
          62,
          1635
        ],
        [
          65,
          1632
        ],
        [
          66,
          1631
        ]
      ]
    },
    {
      "appended_color": 6,
      "boundary_conflicts": 249,
      "disjoint_pair_edit_lower_bound": 249,
      "first_pairs": [
        [
          537,
          1160
        ],
        [
          571,
          1126
        ],
        [
          577,
          1120
        ],
        [
          579,
          1118
        ],
        [
          582,
          1115
        ],
        [
          586,
          1111
        ],
        [
          588,
          1109
        ],
        [
          594,
          1103
        ],
        [
          595,
          1102
        ],
        [
          598,
          1099
        ]
      ]
    }
  ],
  "reflection_about_1697_mismatches": [],
  "result": "no_direct_one_point_extension"
}