{ "input_system": { "food": [ "f" ], "reactions": { "a": { "reactants": [ "f" ], "products": [ "x" ], "catalysts": [ "y" ] }, "b": { "reactants": [ "f" ], "products": [ "y" ], "catalysts": [ "x" ] }, "g": { "reactants": [ "f" ], "products": [ "y" ], "catalysts": [ "f" ] }, "h": { "reactants": [ "f" ], "products": [ "x" ], "catalysts": [ "f" ] } } }, "core_report": { "family": [ [], [ "g" ], [ "h" ], [ "a", "b" ], [ "a", "g" ], [ "b", "h" ], [ "g", "h" ], [ "a", "b", "g" ], [ "a", "b", "h" ], [ "a", "g", "h" ], [ "b", "g", "h" ], [ "a", "b", "g", "h" ] ], "N_including_empty": 12, "counts": { "a": 6, "b": 6, "g": 7, "h": 7 }, "abundant": [ "a", "b", "g", "h" ], "fibres": [ { "exterior": [], "bodies": { "a": [ "b" ], "b": [ "a" ] }, "family": [ [], [ "a", "b" ] ], "slack": 0, "bad_zero_cells": 2, "bad_one_cells": 2, "injection": [ { "source_deleted": [ "a" ], "source_column": "b", "move": "vertical", "target_deleted": [ "a" ], "target_column": "a" }, { "source_deleted": [ "b" ], "source_column": "a", "move": "vertical", "target_deleted": [ "b" ], "target_column": "b" } ], "counts": { "a": 1, "b": 1 } }, { "exterior": [ "g" ], "bodies": { "a": [ "a" ], "b": [ "a" ] }, "family": [ [], [ "a" ], [ "a", "b" ] ], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [ "a" ], "source_column": "b", "move": "vertical", "target_deleted": [ "a" ], "target_column": "a" } ], "counts": { "a": 2, "b": 1 } }, { "exterior": [ "h" ], "bodies": { "a": [ "b" ], "b": [ "b" ] }, "family": [ [], [ "b" ], [ "a", "b" ] ], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [ "b" ], "source_column": "a", "move": "vertical", "target_deleted": [ "b" ], "target_column": "b" } ], "counts": { "a": 1, "b": 2 } }, { "exterior": [ "g", "h" ], "bodies": { "a": [ "a" ], "b": [ "b" ] }, "family": [ [], [ "a" ], [ "b" ], [ "a", "b" ] ], "slack": 0, "bad_zero_cells": 0, "bad_one_cells": 0, "injection": [], "counts": { "a": 2, "b": 2 } } ], "weighted_partition": "18", "weighted_core_counts": { "a": "10", "b": "8" }, "weighted_core_frequencies": { "a": "5/9", "b": "4/9" }, "weighted_abundant": [ "a" ] }, "module_projection": { "preserves_projection": false, "failures": [ { "head": "a", "witness": [ "a", "g", "h" ], "projection": [ "a" ] }, { "head": "b", "witness": [ "b", "g", "h" ], "projection": [ "b" ] } ] }, "module_defect": { "core": [ "a", "b" ], "bad_rows": [ [ "a", "g" ], [ "b", "h" ], [ "a", "g", "h" ], [ "b", "g", "h" ] ], "lhs": 24, "rhs": 24 }, "greedy_disjoint_cycles": [ [ "g" ], [ "h" ], [ "a", "b" ] ], "abundance_candidate_certificate": { "reason": "viable_elementary_cycle", "candidates": [ "g" ] }, "abundant_reaction_lower_bound": 3, "rare_food_ready_subgraph_acyclic": true, "paired_realization": { "source_family": [ [], [ "a", "b" ], [ "a", "c" ], [ "b", "c" ], [ "a", "b", "c" ] ], "encoded_family": [ [], [ "g:a", "g:b", "p:a", "p:b" ], [ "g:a", "g:c", "p:a", "p:c" ], [ "g:b", "g:c", "p:b", "p:c" ], [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ] ], "reaction_count": 8, "marker_count": 14, "max_closure_growth_rounds": 2, "elementary_max_raf": [], "frequencies": { "a": 3, "b": 3, "c": 3, "dead": 0 }, "queries": [ { "available": [], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "g:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:b", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:b", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:c", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:c", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:b", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:b", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:c", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:c", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:dead", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:dead", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "p:a", "p:b" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:b", "g:c", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "g:dead", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "g:dead", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "p:a", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:c", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:c", "p:a", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:a", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:a", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:b", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:c", "g:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 0 }, { "available": [ "g:a", "g:b", "g:c", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:dead", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "p:a", "p:b" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:c", "p:a", "p:b" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:dead", "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "g:c", "p:a", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:b", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:b" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:c", "p:a", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:a", "p:b", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:b" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "dead" ], "max_raf": [], "closure_growth_rounds": 1 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:b" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "b", "c" ], "max_raf": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "b", "dead" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "b" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "c", "dead" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "c" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c", "dead" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:c", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "c", "dead" ], "max_raf": [], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:b", "p:c" ], "complete_pairs": [ "a", "b", "c" ], "max_raf": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:b", "p:dead" ], "complete_pairs": [ "a", "b", "dead" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:c", "p:dead" ], "complete_pairs": [ "a", "c", "dead" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c", "dead" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "b", "c" ], "max_raf": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "b", "dead" ], "max_raf": [ "g:a", "g:b", "p:a", "p:b" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:c", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "c", "dead" ], "max_raf": [ "g:a", "g:c", "p:a", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:b", "g:c", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "b", "c", "dead" ], "max_raf": [ "g:b", "g:c", "p:b", "p:c" ], "closure_growth_rounds": 2 }, { "available": [ "g:a", "g:b", "g:c", "g:dead", "p:a", "p:b", "p:c", "p:dead" ], "complete_pairs": [ "a", "b", "c", "dead" ], "max_raf": [ "g:a", "g:b", "g:c", "p:a", "p:b", "p:c" ], "closure_growth_rounds": 2 } ], "system": { "food": [ "food" ], "reactions": { "g:a": { "reactants": [ "food", "marker:a:0", "marker:a:1" ], "products": [ "beta:a" ], "catalysts": [ "alpha:a" ] }, "g:b": { "reactants": [ "food", "marker:b:0", "marker:b:1" ], "products": [ "beta:b" ], "catalysts": [ "alpha:b" ] }, "g:c": { "reactants": [ "food", "marker:c:0", "marker:c:1" ], "products": [ "beta:c" ], "catalysts": [ "alpha:c" ] }, "g:dead": { "reactants": [ "food", "marker:dead:0", "marker:dead:1", "marker:dead:2", "marker:dead:3", "marker:dead:4", "marker:dead:5", "marker:dead:6", "marker:dead:7" ], "products": [ "beta:dead" ], "catalysts": [ "alpha:dead" ] }, "p:a": { "reactants": [ "food" ], "products": [ "alpha:a", "marker:b:0", "marker:b:1", "marker:c:0", "marker:c:1", "marker:dead:1", "marker:dead:4", "marker:dead:5", "marker:dead:7" ], "catalysts": [ "beta:a" ] }, "p:b": { "reactants": [ "food" ], "products": [ "alpha:b", "marker:a:0", "marker:a:1", "marker:c:0", "marker:c:1", "marker:dead:2", "marker:dead:4", "marker:dead:6", "marker:dead:7" ], "catalysts": [ "beta:b" ] }, "p:c": { "reactants": [ "food" ], "products": [ "alpha:c", "marker:a:0", "marker:a:1", "marker:b:0", "marker:b:1", "marker:dead:3", "marker:dead:5", "marker:dead:6", "marker:dead:7" ], "catalysts": [ "beta:c" ] }, "p:dead": { "reactants": [ "food" ], "products": [ "alpha:dead", "marker:a:1", "marker:b:1", "marker:c:1" ], "catalysts": [ "beta:dead" ] } } } }, "worked_examples": { "feedback": { "analysis": { "family": [ [], [ "a", "b" ], [ "a", "b", "g" ] ], "N_including_empty": 3, "counts": { "a": 2, "b": 2, "g": 1 }, "abundant": [ "a", "b" ], "fibres": [ { "exterior": [], "bodies": { "a": [ "b" ], "b": [ "a" ] }, "family": [ [], [ "a", "b" ] ], "slack": 0, "bad_zero_cells": 2, "bad_one_cells": 2, "injection": [ { "source_deleted": [ "a" ], "source_column": "b", "move": "vertical", "target_deleted": [ "a" ], "target_column": "a" }, { "source_deleted": [ "b" ], "source_column": "a", "move": "vertical", "target_deleted": [ "b" ], "target_column": "b" } ], "counts": { "a": 1, "b": 1 } }, { "exterior": [ "g" ], "bodies": { "a": [ "a" ], "b": [ "a" ] }, "family": [ [ "a", "b" ] ], "slack": 2, "bad_zero_cells": 2, "bad_one_cells": 4, "injection": [ { "source_deleted": [ "a" ], "source_column": "b", "move": "vertical", "target_deleted": [ "a" ], "target_column": "a" }, { "source_deleted": [ "b" ], "source_column": "a", "move": "horizontal", "target_deleted": [ "a", "b" ], "target_column": "a" } ], "counts": { "a": 1, "b": 1 } } ], "weighted_partition": "3", "weighted_core_counts": { "a": "2", "b": "2" }, "weighted_core_frequencies": { "a": "2/3", "b": "2/3" }, "weighted_abundant": [ "a", "b" ] }, "projection": { "preserves_projection": true, "failures": [] }, "defect": { "core": [ "a", "b" ], "bad_rows": [], "lhs": 8, "rhs": 6 } }, "false_average": { "analysis": { "family": [ [], [ "a" ], [ "a", "g", "l" ] ], "N_including_empty": 3, "counts": { "a": 2, "g": 1, "l": 1 }, "abundant": [ "a" ], "fibres": [ { "exterior": [], "bodies": { "a": [ "a" ] }, "family": [ [], [ "a" ] ], "slack": 0, "bad_zero_cells": 0, "bad_one_cells": 0, "injection": [], "counts": { "a": 1 } }, { "exterior": [ "g" ], "bodies": { "a": [ "a" ] }, "family": [], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [], "source_column": "a", "move": "horizontal", "target_deleted": [ "a" ], "target_column": "a" } ], "counts": { "a": 0 } }, { "exterior": [ "l" ], "bodies": { "a": [ "a" ] }, "family": [], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [], "source_column": "a", "move": "horizontal", "target_deleted": [ "a" ], "target_column": "a" } ], "counts": { "a": 0 } }, { "exterior": [ "g", "l" ], "bodies": { "a": [ "a" ] }, "family": [ [ "a" ] ], "slack": 1, "bad_zero_cells": 0, "bad_one_cells": 1, "injection": [], "counts": { "a": 1 } } ], "weighted_partition": "3", "weighted_core_counts": { "a": "2" }, "weighted_core_frequencies": { "a": "2/3" }, "weighted_abundant": [ "a" ] }, "projection": { "preserves_projection": false, "failures": [ { "head": "l", "witness": [ "a", "g", "l" ], "projection": [ "a", "l" ] } ] }, "defect": { "core": [ "a" ], "bad_rows": [ [ "a", "g", "l" ] ], "lhs": 4, "rhs": 4 } }, "failed_projection": { "analysis": { "family": [ [], [ "a" ], [ "b", "g" ], [ "a", "b", "g" ] ], "N_including_empty": 4, "counts": { "a": 2, "b": 2, "g": 2 }, "abundant": [ "a", "b", "g" ], "fibres": [ { "exterior": [], "bodies": { "a": [ "a" ] }, "family": [ [], [ "a" ] ], "slack": 0, "bad_zero_cells": 0, "bad_one_cells": 0, "injection": [], "counts": { "a": 1 } }, { "exterior": [ "b" ], "bodies": { "a": [ "a" ] }, "family": [], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [], "source_column": "a", "move": "horizontal", "target_deleted": [ "a" ], "target_column": "a" } ], "counts": { "a": 0 } }, { "exterior": [ "g" ], "bodies": { "a": [ "a" ] }, "family": [], "slack": 0, "bad_zero_cells": 1, "bad_one_cells": 1, "injection": [ { "source_deleted": [], "source_column": "a", "move": "horizontal", "target_deleted": [ "a" ], "target_column": "a" } ], "counts": { "a": 0 } }, { "exterior": [ "b", "g" ], "bodies": { "a": [ "a" ] }, "family": [ [], [ "a" ] ], "slack": 0, "bad_zero_cells": 0, "bad_one_cells": 0, "injection": [], "counts": { "a": 1 } } ], "weighted_partition": "4", "weighted_core_counts": { "a": "2" }, "weighted_core_frequencies": { "a": "1/2" }, "weighted_abundant": [ "a" ] }, "projection": { "preserves_projection": false, "failures": [ { "head": "b", "witness": [ "a", "b", "g" ], "projection": [ "a", "b" ] } ] }, "defect": { "core": [ "a" ], "bad_rows": [ [ "b", "g" ], [ "a", "b", "g" ] ], "lhs": 4, "rhs": 4 } } }, "scope": "finite exact audits; no kinetics, no Lean rerun, no unrestricted half-frequency proof" }