RoutedView {
    edges: {
        956a2026-0912-4000-8000-0000000003e8: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003e8,
            points: [
                Position {
                    x: 224.0,
                    y: 18.0,
                },
                Position {
                    x: 242.0,
                    y: 18.0,
                },
                Position {
                    x: 1890.0,
                    y: 18.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 0",
                fraction: 0.5,
                anchor: Position {
                    x: 1258.0,
                    y: 18.0,
                },
                center: Position {
                    x: 1258.0,
                    y: 36.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1215.0,
                        y: 24.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003e9: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003e9,
            points: [
                Position {
                    x: 224.0,
                    y: 46.0,
                },
                Position {
                    x: 242.0,
                    y: 46.0,
                },
                Position {
                    x: 242.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 1",
                fraction: 0.5,
                anchor: Position {
                    x: 888.0,
                    y: 402.0,
                },
                center: Position {
                    x: 888.0,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 845.0,
                        y: 372.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003ea: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ea,
            points: [
                Position {
                    x: 224.0,
                    y: 74.0,
                },
                Position {
                    x: 242.0,
                    y: 74.0,
                },
                Position {
                    x: 1890.0,
                    y: 74.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 2",
                fraction: 0.45,
                anchor: Position {
                    x: 1129.3999,
                    y: 74.0,
                },
                center: Position {
                    x: 1129.3999,
                    y: 56.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1086.3999,
                        y: 44.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003eb: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003eb,
            points: [
                Position {
                    x: 224.0,
                    y: 102.0,
                },
                Position {
                    x: 242.0,
                    y: 102.0,
                },
                Position {
                    x: 1890.0,
                    y: 102.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 3",
                fraction: 0.4,
                anchor: Position {
                    x: 1017.60004,
                    y: 102.0,
                },
                center: Position {
                    x: 1017.60004,
                    y: 56.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 974.60004,
                        y: 44.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003ec: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ec,
            points: [
                Position {
                    x: 224.0,
                    y: 130.0,
                },
                Position {
                    x: 242.0,
                    y: 130.0,
                },
                Position {
                    x: 1890.0,
                    y: 130.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 4",
                fraction: 0.5,
                anchor: Position {
                    x: 1202.0,
                    y: 130.0,
                },
                center: Position {
                    x: 1202.0,
                    y: 148.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1159.0,
                        y: 136.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003ed: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ed,
            points: [
                Position {
                    x: 224.0,
                    y: 158.0,
                },
                Position {
                    x: 242.0,
                    y: 158.0,
                },
                Position {
                    x: 1066.0,
                    y: 158.0,
                },
                Position {
                    x: 1066.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 5",
                fraction: 0.6,
                anchor: Position {
                    x: 1136.8,
                    y: 402.0,
                },
                center: Position {
                    x: 1136.8,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1093.8,
                        y: 372.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003ee: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ee,
            points: [
                Position {
                    x: 224.0,
                    y: 186.0,
                },
                Position {
                    x: 242.0,
                    y: 186.0,
                },
                Position {
                    x: 242.0,
                    y: 324.0,
                },
                Position {
                    x: 1890.0,
                    y: 324.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 6",
                fraction: 0.45,
                anchor: Position {
                    x: 941.0,
                    y: 324.0,
                },
                center: Position {
                    x: 941.0,
                    y: 306.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 898.0,
                        y: 294.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003ef: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ef,
            points: [
                Position {
                    x: 224.0,
                    y: 214.0,
                },
                Position {
                    x: 242.0,
                    y: 214.0,
                },
                Position {
                    x: 1890.0,
                    y: 214.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 7",
                fraction: 0.5,
                anchor: Position {
                    x: 1160.0,
                    y: 214.0,
                },
                center: Position {
                    x: 1160.0,
                    y: 196.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1117.0,
                        y: 184.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f0: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f0,
            points: [
                Position {
                    x: 224.0,
                    y: 242.0,
                },
                Position {
                    x: 242.0,
                    y: 242.0,
                },
                Position {
                    x: 1890.0,
                    y: 242.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 8",
                fraction: 0.5,
                anchor: Position {
                    x: 1146.0,
                    y: 242.0,
                },
                center: Position {
                    x: 1146.0,
                    y: 260.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1103.0,
                        y: 248.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f1: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f1,
            points: [
                Position {
                    x: 0.0,
                    y: 18.0,
                },
                Position {
                    x: -18.0,
                    y: 18.0,
                },
                Position {
                    x: -18.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 9",
                fraction: 0.5,
                anchor: Position {
                    x: 744.0,
                    y: 402.0,
                },
                center: Position {
                    x: 744.0,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 701.0,
                        y: 372.0,
                    },
                    size: Size {
                        width: 86.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f2: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f2,
            points: [
                Position {
                    x: 18.0,
                    y: 0.0,
                },
                Position {
                    x: 18.0,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 10",
                fraction: 0.5,
                anchor: Position {
                    x: 1170.0,
                    y: -18.0,
                },
                center: Position {
                    x: 1170.0,
                    y: -36.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1123.5,
                        y: -48.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f3: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f3,
            points: [
                Position {
                    x: 18.0,
                    y: 260.0,
                },
                Position {
                    x: 18.0,
                    y: 278.0,
                },
                Position {
                    x: 18.0,
                    y: 340.0,
                },
                Position {
                    x: 1890.0,
                    y: 340.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 11",
                fraction: 0.65,
                anchor: Position {
                    x: 1258.7999,
                    y: 340.0,
                },
                center: Position {
                    x: 1258.7999,
                    y: 358.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1212.2999,
                        y: 346.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f4: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f4,
            points: [
                Position {
                    x: 0.0,
                    y: 92.666664,
                },
                Position {
                    x: -18.0,
                    y: 92.666664,
                },
                Position {
                    x: -18.0,
                    y: 480.0,
                },
                Position {
                    x: 1890.0,
                    y: 480.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 12",
                fraction: 0.5,
                anchor: Position {
                    x: 781.33325,
                    y: 480.0,
                },
                center: Position {
                    x: 781.33325,
                    y: 462.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 734.83325,
                        y: 450.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f5: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f5,
            points: [
                Position {
                    x: 80.66667,
                    y: 0.0,
                },
                Position {
                    x: 80.66667,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 13",
                fraction: 0.55,
                anchor: Position {
                    x: 1315.2001,
                    y: -18.0,
                },
                center: Position {
                    x: 1315.2001,
                    y: -36.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1268.7001,
                        y: -48.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f6: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f6,
            points: [
                Position {
                    x: 112.0,
                    y: 260.0,
                },
                Position {
                    x: 112.0,
                    y: 278.0,
                },
                Position {
                    x: 1890.0,
                    y: 278.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 14",
                fraction: 0.46800825,
                anchor: Position {
                    x: 1001.0,
                    y: 278.0,
                },
                center: Position {
                    x: 1001.0,
                    y: 260.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 954.5,
                        y: 248.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f7: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f7,
            points: [
                Position {
                    x: 0.0,
                    y: 167.33333,
                },
                Position {
                    x: -18.0,
                    y: 167.33333,
                },
                Position {
                    x: -18.0,
                    y: 284.66666,
                },
                Position {
                    x: 1890.0,
                    y: 284.66666,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 15",
                fraction: 0.45,
                anchor: Position {
                    x: 827.0667,
                    y: 284.66666,
                },
                center: Position {
                    x: 827.0667,
                    y: 302.66666,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 780.5667,
                        y: 290.66666,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f8: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f8,
            points: [
                Position {
                    x: 143.33334,
                    y: 0.0,
                },
                Position {
                    x: 143.33334,
                    y: -18.0,
                },
                Position {
                    x: 143.33334,
                    y: -12.0,
                },
                Position {
                    x: 1890.0,
                    y: -12.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 16",
                fraction: 0.009533899,
                anchor: Position {
                    x: 143.33334,
                    y: -15.0,
                },
                center: Position {
                    x: 143.33334,
                    y: -33.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 96.83334,
                        y: -45.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003f9: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003f9,
            points: [
                Position {
                    x: 206.0,
                    y: 260.0,
                },
                Position {
                    x: 206.0,
                    y: 278.0,
                },
                Position {
                    x: 206.0,
                    y: 340.0,
                },
                Position {
                    x: 1890.0,
                    y: 340.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 17",
                fraction: 0.7,
                anchor: Position {
                    x: 1416.7999,
                    y: 340.0,
                },
                center: Position {
                    x: 1416.7999,
                    y: 358.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1370.2999,
                        y: 346.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003fa: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003fa,
            points: [
                Position {
                    x: 0.0,
                    y: 242.0,
                },
                Position {
                    x: -18.0,
                    y: 242.0,
                },
                Position {
                    x: -18.0,
                    y: 322.0,
                },
                Position {
                    x: 1890.0,
                    y: 322.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 18",
                fraction: 0.4,
                anchor: Position {
                    x: 725.60004,
                    y: 322.0,
                },
                center: Position {
                    x: 725.60004,
                    y: 304.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 679.10004,
                        y: 292.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
        956a2026-0912-4000-8000-0000000003fb: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003fb,
            points: [
                Position {
                    x: 206.0,
                    y: 0.0,
                },
                Position {
                    x: 206.0,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: -18.0,
                },
                Position {
                    x: 1896.0,
                    y: 402.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 19",
                fraction: 0.40102232,
                anchor: Position {
                    x: 1051.0,
                    y: -18.0,
                },
                center: Position {
                    x: 1051.0,
                    y: -36.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1004.5,
                        y: -48.0,
                    },
                    size: Size {
                        width: 93.0,
                        height: 24.0,
                    },
                },
            },
            pins: [],
            pin_fractions: [],
            warnings: [],
            custom_suspended: false,
            search_budget_before: 65536,
        },
    },
    bounds: RoutingBounds {
        position: Position {
            x: -18.0,
            y: -48.0,
        },
        size: Size {
            width: 2110.0,
            height: 528.0,
        },
    },
}