{
  "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",
                  "silence"
                ],
                [
                  "glyph",
                  "SHA"
                ],
                [
                  "schedule",
                  "two_phase_jacobi"
                ],
                [
                  "nodes_processed",
                  1
                ]
              ]
            }
          ],
          [
            "_last_network_stage_contract",
            {
              "type":"builtins.dict",
              "items":[
                [
                  "operator",
                  "silence"
                ],
                [
                  "glyph",
                  "SHA"
                ],
                [
                  "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.monitor_cache_runtime",
                      "graph.telemetry",
                      "runtime.rollback_snapshot_all_graph_storage",
                      "target.DeltaNFR",
                      "target.EPI",
                      "target.EPI_kind",
                      "target.lifecycle_metadata",
                      "target.nu_f",
                      "target.operator_history",
                      "target.theta",
                      "wall_clock"
                    ]
                  }
                ],
                [
                  "write_set",
                  {
                    "type":"builtins.list",
                    "items":[
                      "all_nodes.DeltaNFR",
                      "callback.compute_delta_nfr_effects",
                      "graph.monitor_cache_runtime",
                      "graph.telemetry",
                      "target.lifecycle_metadata",
                      "target.nu_f",
                      "target.operator_history"
                    ]
                  }
                ],
                [
                  "structural_overlap",
                  "disjoint_target_writes"
                ],
                [
                  "merge_law",
                  "immutable_proposal_commit"
                ],
                [
                  "merge_law_status",
                  "implemented_and_tested"
                ],
                [
                  "rollback_scope",
                  "complete_stage"
                ],
                [
                  "direct_call_rollback_scope",
                  "none"
                ],
                [
                  "stage_atomic",
                  true
                ],
                [
                  "structural_state_target_order_invariant",
                  true
                ],
                [
                  "structural_state_target_order_scope",
                  "committed nu_f only under an immutable stage snapshot and one shared stage timestamp; ordered lifecycle, telemetry and monitor streams retain requested target order; cache tie identity and opaque 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.75aa185599953p-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"
              ]
            ]
          }
        ]
      }
    ]
  ]
}