sensitivity {'K': 12, 'N': 1000, 'histories': 5729, 'bridges': 183, 'results_multi_family': 168, 'exterior_histories': 0}
sensitivity {'K': 20, 'N': 1000, 'histories': 25971, 'bridges': 570, 'results_multi_family': 470, 'exterior_histories': 0}
sensitivity {'K': 40, 'N': 1000, 'histories': 161582, 'bridges': 1547, 'results_multi_family': 1000, 'exterior_histories': 1551}
{
  "N": 1000,
  "K": 40,
  "bases": [
    2,
    3,
    5,
    8,
    10,
    12,
    16
  ],
  "families": [
    "AM",
    "MA",
    "MS",
    "MM",
    "MD"
  ],
  "histories_total": 161582,
  "histories_by_type": {
    "AM": 37223,
    "MA": 53255,
    "MD": 10992,
    "MM": 7302,
    "MS": 52810
  },
  "incidence_labeled_count": 40111,
  "incidence_numeric_pairs": 38506,
  "incidence_bridge_pairs": 1547,
  "bridge_family_sets": {
    "AM+MA+MM": 58,
    "AM+MM": 1344,
    "MD+MS": 145
  },
  "bridge_pair_overlaps": {
    "AM/MA": 58,
    "AM/MM": 1402,
    "MA/MM": 58,
    "MD/MS": 145
  },
  "bridge_triple_family_points": 58,
  "bridge_m>1000_count": 0,
  "bridge_result_count": 401,
  "results_reached": 1000,
  "results_multi_family": 1000,
  "results_multi_intermediate": 1000,
  "results_multi_family_and_multi_intermediate": 1000,
  "exterior_histories_by_type": {
    "MD": 1242,
    "MS": 309
  },
  "exterior_histories_total": 1551,
  "exterior_unique_intermediates": 74,
  "max_intermediate": 1600,
  "z891": {
    "AM": {
      "count": 54,
      "intermediates": [
        27,
        33
      ]
    },
    "MA": {
      "count": 24,
      "intermediates": [
        851,
        858,
        864,
        868,
        870,
        874,
        875,
        880,
        884,
        888
      ]
    },
    "MS": {
      "count": 25,
      "intermediates": [
        896,
        897,
        899,
        900,
        910,
        912,
        918,
        920,
        924,
        925,
        928,
        930
      ]
    },
    "MM": {
      "count": 15,
      "intermediates": [
        27,
        33,
        81,
        99,
        297
      ]
    },
    "MD": {
      "count": 0,
      "intermediates": []
    }
  },
  "z891_bridge_intermediates": [
    27,
    33
  ],
  "bridge_examples": {
    "m27_z891": {
      "AM": [
        2,
        25,
        33
      ],
      "MM": [
        3,
        9,
        33
      ]
    },
    "m33_z891": {
      "AM": [
        2,
        31,
        27
      ],
      "MM": [
        3,
        11,
        27
      ]
    },
    "m4_z8": {
      "AM": [
        2,
        2,
        2
      ],
      "MA": [
        2,
        2,
        4
      ],
      "MM": [
        2,
        2,
        2
      ]
    }
  },
  "radix_bridge_profiles": [
    {
      "base": 2,
      "up": 1402,
      "same": 0,
      "down": 145,
      "all_histories_up": 53482,
      "all_histories_same": 87254,
      "all_histories_down": 20846
    },
    {
      "base": 3,
      "up": 1387,
      "same": 36,
      "down": 124,
      "all_histories_up": 50359,
      "all_histories_same": 94230,
      "all_histories_down": 16993
    },
    {
      "base": 5,
      "up": 1347,
      "same": 87,
      "down": 113,
      "all_histories_up": 46058,
      "all_histories_same": 100740,
      "all_histories_down": 14784
    },
    {
      "base": 8,
      "up": 1288,
      "same": 166,
      "down": 93,
      "all_histories_up": 45268,
      "all_histories_same": 102776,
      "all_histories_down": 13538
    },
    {
      "base": 10,
      "up": 1328,
      "same": 131,
      "down": 88,
      "all_histories_up": 42832,
      "all_histories_same": 106651,
      "all_histories_down": 12099
    },
    {
      "base": 12,
      "up": 1275,
      "same": 180,
      "down": 92,
      "all_histories_up": 41327,
      "all_histories_same": 108700,
      "all_histories_down": 11555
    },
    {
      "base": 16,
      "up": 1160,
      "same": 296,
      "down": 91,
      "all_histories_up": 37699,
      "all_histories_same": 112564,
      "all_histories_down": 11319
    }
  ],
  "bridge_max_histories": 49,
  "top_bridge_keys": [
    {
      "m": 40,
      "z": 80,
      "families": {
        "AM": 37,
        "MA": 6,
        "MM": 6
      },
      "histories": 49
    },
    {
      "m": 36,
      "z": 72,
      "families": {
        "AM": 33,
        "MA": 7,
        "MM": 7
      },
      "histories": 47
    },
    {
      "m": 42,
      "z": 84,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 126,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 168,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 210,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 252,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 294,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 336,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    },
    {
      "m": 42,
      "z": 378,
      "families": {
        "AM": 39,
        "MM": 6
      },
      "histories": 45
    }
  ],
  "top_shared_intermediates": [
    {
      "m": 48,
      "target_count": 101,
      "outer": false
    },
    {
      "m": 60,
      "target_count": 101,
      "outer": false
    },
    {
      "m": 25,
      "target_count": 100,
      "outer": false
    },
    {
      "m": 40,
      "target_count": 100,
      "outer": false
    },
    {
      "m": 42,
      "target_count": 100,
      "outer": false
    },
    {
      "m": 44,
      "target_count": 100,
      "outer": false
    },
    {
      "m": 45,
      "target_count": 100,
      "outer": false
    },
    {
      "m": 24,
      "target_count": 99,
      "outer": false
    },
    {
      "m": 26,
      "target_count": 99,
      "outer": false
    },
    {
      "m": 27,
      "target_count": 99,
      "outer": false
    }
  ]
}
PASS: direct enumeration equals independent factorized incidence; domain, bridges, radices validated
