{
  "endpoint":{
    "type":"builtins.dict",
    "items":[
      [
        "graph_type",
        "networkx.classes.graph.Graph"
      ],
      [
        "node_order",
        {
          "type":"builtins.tuple",
          "items":[
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14,
            15,
            16,
            17,
            18,
            19,
            "2_sub_0"
          ]
        }
      ],
      [
        "neighbor_order",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    8,
                    9,
                    1,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    8,
                    9,
                    0,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                {
                  "type":"builtins.tuple",
                  "items":[
                    0,
                    1,
                    4,
                    5,
                    3,
                    10,
                    11,
                    12,
                    13,
                    14,
                    15,
                    "2_sub_0"
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                {
                  "type":"builtins.tuple",
                  "items":[
                    0,
                    1,
                    4,
                    5,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    6,
                    7
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    6,
                    7
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                {
                  "type":"builtins.tuple",
                  "items":[
                    4,
                    5,
                    8,
                    9
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                {
                  "type":"builtins.tuple",
                  "items":[
                    4,
                    5,
                    8,
                    9
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                8,
                {
                  "type":"builtins.tuple",
                  "items":[
                    6,
                    7,
                    0,
                    1
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                9,
                {
                  "type":"builtins.tuple",
                  "items":[
                    6,
                    7,
                    0,
                    1
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    18,
                    19,
                    0,
                    1,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    18,
                    19,
                    0,
                    1,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                {
                  "type":"builtins.tuple",
                  "items":[
                    10,
                    11,
                    14,
                    15,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                {
                  "type":"builtins.tuple",
                  "items":[
                    10,
                    11,
                    14,
                    15,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    16,
                    17,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    16,
                    17,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                {
                  "type":"builtins.tuple",
                  "items":[
                    14,
                    15,
                    18,
                    19
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                {
                  "type":"builtins.tuple",
                  "items":[
                    14,
                    15,
                    18,
                    19
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                18,
                {
                  "type":"builtins.tuple",
                  "items":[
                    16,
                    17,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                19,
                {
                  "type":"builtins.tuple",
                  "items":[
                    16,
                    17,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                "2_sub_0",
                {
                  "type":"builtins.tuple",
                  "items":[
                    2
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "graph",
        {
          "type":"builtins.dict",
          "items":[
            [
              "RANDOM_SEED",
              17
            ],
            [
              "_t",
              {
                "type":"binary64",
                "hex":"0x1.c180080000000p+2"
              }
            ],
            [
              "GAMMA",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "type",
                    "none"
                  ]
                ]
              }
            ],
            [
              "GRAMMAR_REJECTION_MODE",
              "raise"
            ],
            [
              "VALIDATE_OPERATOR_PRECONDITIONS",
              true
            ],
            [
              "EDGE_AWARE_ENABLED",
              false
            ],
            [
              "EPI_MIN",
              {
                "type":"binary64",
                "hex":"-0x1.0000000000000p+0"
              }
            ],
            [
              "EPI_MAX",
              {
                "type":"binary64",
                "hex":"0x1.0000000000000p+0"
              }
            ],
            [
              "CLIP_MODE",
              "hard"
            ],
            [
              "GLYPH_FACTORS",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "VAL_scale",
                    {
                      "type":"binary64",
                      "hex":"0x1.0000000000000p+7"
                    }
                  ]
                ]
              }
            ],
            [
              "_dnfrmax",
              {
                "type":"binary64",
                "hex":"0x1.20b039f7b8b88p-4"
              }
            ],
            [
              "_dnfrmax_node",
              11
            ],
            [
              "_vfmax",
              {
                "type":"binary64",
                "hex":"0x1.e666666666666p+6"
              }
            ],
            [
              "_vfmax_node",
              "2_sub_0"
            ],
            [
              "_last_network_stage_schedule",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "operator",
                    "dissonance"
                  ],
                  [
                    "glyph",
                    "OZ"
                  ],
                  [
                    "schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "nodes_processed",
                    1
                  ]
                ]
              }
            ],
            [
              "_last_network_stage_contract",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "operator",
                    "dissonance"
                  ],
                  [
                    "glyph",
                    "OZ"
                  ],
                  [
                    "observed_schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "declared_schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "schedule_matches_contract",
                    true
                  ],
                  [
                    "read_set",
                    {
                      "type":"builtins.list",
                      "items":[
                        "callback.compute_delta_nfr_effects",
                        "graph.configuration",
                        "graph.edge_attributes",
                        "graph.edge_support",
                        "graph.monitor_cache_runtime",
                        "graph.telemetry",
                        "neighbors.DeltaNFR",
                        "neighbors.nu_f",
                        "neighbors.theta",
                        "runtime.rng_progress",
                        "runtime.rollback_snapshot_all_graph_storage",
                        "target.DeltaNFR",
                        "target.EPI",
                        "target.EPI_kind",
                        "target.lifecycle_metadata",
                        "target.nu_f",
                        "target.operator_history",
                        "target.theta"
                      ]
                    }
                  ],
                  [
                    "write_set",
                    {
                      "type":"builtins.list",
                      "items":[
                        "all_nodes.DeltaNFR",
                        "callback.compute_delta_nfr_effects",
                        "graph.configuration",
                        "graph.monitor_cache_runtime",
                        "graph.telemetry",
                        "neighbors.DeltaNFR",
                        "neighbors.lifecycle_metadata",
                        "runtime.rng_progress",
                        "target.DeltaNFR",
                        "target.lifecycle_metadata",
                        "target.operator_history"
                      ]
                    }
                  ],
                  [
                    "structural_overlap",
                    "overlapping_node_writes"
                  ],
                  [
                    "merge_law",
                    "snapshot_DeltaNFR_additive_reduction"
                  ],
                  [
                    "merge_law_status",
                    "implemented_and_tested"
                  ],
                  [
                    "rollback_scope",
                    "complete_stage"
                  ],
                  [
                    "direct_call_rollback_scope",
                    "single_target_only"
                  ],
                  [
                    "stage_atomic",
                    true
                  ],
                  [
                    "structural_state_target_order_invariant",
                    true
                  ],
                  [
                    "structural_state_target_order_scope",
                    "committed DeltaNFR and per-node RNG progress use immutable local OZ proposals plus snapshot-rank-ordered math.fsum reduction of incoming propagation magnitudes; a missing graph seed resolves only within the transaction and persists on success; the local magnitude postcondition remains separate from signed accumulated pressure; ordered lifecycle, telemetry and monitor streams, including propagation events, retain requested target order; cache state and pressure-refresh callback excluded"
                  ],
                  [
                    "relabeling_equivariant",
                    null
                  ],
                  [
                    "relabeling_scope",
                    "no complete all-target relabeling-equivariance certificate"
                  ],
                  [
                    "two_phase_contract_complete",
                    true
                  ],
                  [
                    "executed_two_phase_contract_complete",
                    true
                  ],
                  [
                    "promotion_blockers",
                    {
                      "type":"builtins.list",
                      "items":[]
                    }
                  ],
                  [
                    "footprint_scope",
                    "shared run_network_sequence stage; custom pressure-refresh callback effects are opaque and represented by callback.compute_delta_nfr_effects"
                  ]
                ]
              }
            ],
            [
              "hierarchy",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    2,
                    {
                      "type":"builtins.list",
                      "items":[
                        "2_sub_0"
                      ]
                    }
                  ]
                ]
              }
            ],
            [
              "_edge_version",
              8
            ],
            [
              "_dnfr_prep_dirty",
              true
            ],
            [
              "_oz_propagation_events",
              {
                "type":"builtins.list",
                "items":[
                  {
                    "type":"builtins.dict",
                    "items":[
                      [
                        "source",
                        "2_sub_0"
                      ],
                      [
                        "magnitude",
                        {
                          "type":"binary64",
                          "hex":"0x1.68e3bd20de908p-7"
                        }
                      ],
                      [
                        "affected_nodes",
                        {
                          "type":"builtins.list",
                          "items":[]
                        }
                      ],
                      [
                        "affected_count",
                        0
                      ]
                    ]
                  }
                ]
              }
            ]
          ]
        }
      ],
      [
        "nodes",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40791b77bed8dp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.36914515677eap-2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          "AL",
                          "UM",
                          "SHA"
                        ]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.6729a79f1fa45p-5"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40791b77bed8dp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.36914515677eap-2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          "AL",
                          "AL",
                          "AL",
                          "UM",
                          "SHA"
                        ]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.6729a79f1fa45p-5"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3aa7df6524677p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.43076b43b97f9p+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.b1f984bd842dbp+6"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"collections.deque",
                        "items":[
                          "VAL",
                          "THOL",
                          "UM",
                          "SHA"
                        ],
                        "maxlen":7
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f58c0825f1c52p-9"
                      }
                    ],
                    [
                      "_operator_step",
                      4
                    ],
                    [
                      "source_glyph",
                      "SHA"
                    ],
                    [
                      "epi_time_history",
                      {
                        "type":"builtins.tuple",
                        "items":[
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000000000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.4000000000000p-2"
                              }
                            ]
                          },
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000040000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.400000fd260c1p-2"
                              }
                            ]
                          },
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000080000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.400001fa4d198p-2"
                              }
                            ]
                          }
                        ]
                      }
                    ],
                    [
                      "d2EPI_dt2",
                      {
                        "type":"binary64",
                        "hex":"0x1.0160000000000p-2"
                      }
                    ],
                    [
                      "sub_nodes",
                      {
                        "type":"builtins.list",
                        "items":[
                          "2_sub_0"
                        ]
                      }
                    ],
                    [
                      "sub_epis",
                      {
                        "type":"builtins.list",
                        "items":[
                          {
                            "type":"builtins.dict",
                            "items":[
                              [
                                "epi",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.30c59a4177d6cp-3"
                                }
                              ],
                              [
                                "vf",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.e666666666666p+6"
                                }
                              ],
                              [
                                "timestamp",
                                2
                              ],
                              [
                                "d2_epi",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.0160000000000p-2"
                                }
                              ],
                              [
                                "tau",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.999999999999ap-4"
                                }
                              ],
                              [
                                "node_id",
                                "2_sub_0"
                              ],
                              [
                                "metabolized",
                                true
                              ],
                              [
                                "network_signals",
                                {
                                  "type":"builtins.dict",
                                  "items":[
                                    [
                                      "epi_gradient",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.fff812d8ea800p-12"
                                      }
                                    ],
                                    [
                                      "phase_variance",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.61c886457707ep-1"
                                      }
                                    ],
                                    [
                                      "neighbor_count",
                                      4
                                    ],
                                    [
                                      "coupling_strength_mean",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.333333338c1ecp-1"
                                      }
                                    ],
                                    [
                                      "mean_neighbor_epi",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.407fffff03542p-2"
                                      }
                                    ]
                                  ]
                                }
                              ],
                              [
                                "bifurcation_level",
                                1
                              ],
                              [
                                "hierarchy_path",
                                {
                                  "type":"builtins.list",
                                  "items":[
                                    2
                                  ]
                                }
                              ]
                            ]
                          }
                        ]
                      }
                    ],
                    [
                      "_thol_subepi_amplitude_alignment",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ],
                    [
                      "_mutation_context",
                      {
                        "type":"builtins.dict",
                        "items":[
                          [
                            "destabilizer_operator",
                            "expansion"
                          ],
                          [
                            "destabilizer_distance",
                            1
                          ],
                          [
                            "recent_history",
                            {
                              "type":"builtins.list",
                              "items":[
                                "expansion"
                              ]
                            }
                          ]
                        ]
                      }
                    ],
                    [
                      "_thol_no_bifurcation_expected",
                      false
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.416d4623c0fdcp+0"
                      }
                    ],
                    [
                      "latent",
                      true
                    ],
                    [
                      "latency_start_time",
                      "2030-01-02T03:04:08+00:00"
                    ],
                    [
                      "preserved_epi",
                      {
                        "type":"binary64",
                        "hex":"0x1.400001fa4d198p-2"
                      }
                    ],
                    [
                      "silence_duration",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ],
                    [
                      "was_initial_on_silence",
                      false
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4002817677d8fp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.416281c492da6p+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.2b5cca271125ep-11"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40b50b8fd90efp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad86631408b3p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.e4b88de1b3afep-6"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40b50b8fd90efp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad86631408b3p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.e4b88de1b3afep-6"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3fd090d778185p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c5fd7407a1p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f9f617c517593p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3fd090d778185p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c5fd7407a1p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f9f617c517593p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.402f6aec5ce45p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41c70b9797228p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.f9c93872bf244p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.402f6aec5ce45p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41c70b9797228p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.f9c93872bf244p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b0d1540fb99p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.8eaa303f02707p-18"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.20b039f7b8b88p-4"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b0d1540fb99p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.8eaa303f02707p-18"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.20b039f7b8b88p-4"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.400107f1b2c72p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b31d99d89dfp+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.5a8fff3253656p-12"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.400107f1b2c72p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b31d99d89dfp+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.5a8fff3253656p-12"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3e8c5385fc45fp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2de52b782ap+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.ef2564fc62a38p-5"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3e8c5385fc45fp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2de52b782ap+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.ef2564fc62a38p-5"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3fffffb16babdp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c894f75052p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.2bf5bfc7081c6p-21"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3fffffb16babdp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c894f75052p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.2bf5bfc7081c6p-21"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40000057e3ab3p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2ea800a323p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.8548a00ce0672p-21"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40000057e3ab3p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2ea800a323p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.8548a00ce0672p-21"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                "2_sub_0",
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.9d95a090c5dacp-3"
                      }
                    ],
                    [
                      "\u03bdf",
                      {
                        "type":"binary64",
                        "hex":"0x1.e666666666666p+6"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.2725a3f481b47p+0"
                      }
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.1b71290d61f11p-5"
                      }
                    ],
                    [
                      "parent_node",
                      2
                    ],
                    [
                      "hierarchy_level",
                      1
                    ],
                    [
                      "_bifurcation_level",
                      1
                    ],
                    [
                      "_hierarchy_path",
                      {
                        "type":"builtins.list",
                        "items":[
                          2
                        ]
                      }
                    ],
                    [
                      "epi_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          {
                            "type":"binary64",
                            "hex":"0x1.30c59a4177d6cp-3"
                          }
                        ]
                      }
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"collections.deque",
                        "items":[
                          "OZ"
                        ],
                        "maxlen":7
                      }
                    ],
                    [
                      "_oz_precondition_context",
                      {
                        "type":"builtins.dict",
                        "items":[
                          [
                            "epi",
                            {
                              "type":"binary64",
                              "hex":"0x1.9d95a090c5dacp-3"
                            }
                          ],
                          [
                            "dnfr",
                            {
                              "type":"binary64",
                              "hex":"0x1.1b71290d61f11p-5"
                            }
                          ],
                          [
                            "vf",
                            {
                              "type":"binary64",
                              "hex":"0x1.e666666666666p+6"
                            }
                          ],
                          [
                            "degree",
                            1
                          ],
                          [
                            "validation_passed",
                            true
                          ]
                        ]
                      }
                    ],
                    [
                      "_operator_step",
                      1
                    ],
                    [
                      "_grammar_u2_debt",
                      1
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "source_glyph",
                      "OZ"
                    ]
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "edges",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                1,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.fffc950f4b6fep-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99afc841d6bb2p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99afc841d6bb2p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffe9d08cf87d8p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffe9d08cf87d8p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99836a2692171p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99836a2692171p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                "2_sub_0",
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.9291b2219d30ap-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "object_state",
        {
          "type":"builtins.dict",
          "items":[
            [
              "_last_operator_applied",
              "dissonance"
            ]
          ]
        }
      ],
      [
        "omitted_rebuildable_caches",
        {
          "type":"builtins.tuple",
          "items":[]
        }
      ],
      [
        "omitted_networkx_views",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "adj"
                ],
                [
                  "type",
                  "networkx.classes.coreviews.AdjacencyView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            },
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "edges"
                ],
                [
                  "type",
                  "networkx.classes.reportviews.EdgeView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            },
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "nodes"
                ],
                [
                  "type",
                  "networkx.classes.reportviews.NodeView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            }
          ]
        }
      ],
      [
        "omitted_networkx_cache",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "__networkx_cache__"
                ],
                [
                  "type",
                  "builtins.dict"
                ],
                [
                  "scope",
                  "NetworkX rebuildable cache"
                ]
              ]
            }
          ]
        }
      ]
    ]
  },
  "stage":{
    "operator":"dissonance",
    "glyph":"OZ",
    "schedule":"two_phase_jacobi",
    "nodes_processed":1,
    "pointwise_epi_jump_certificate":null,
    "neighbor_epi_jump_certificate":null,
    "epi_jump_certificate_abstention_reason":null,
    "mutation_decision_observations":[],
    "reception_observations":[]
  }
}