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: 0.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1215.0,
                        y: -12.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: 29.789474,
                },
                Position {
                    x: 242.0,
                    y: 29.789474,
                },
                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: 879.8947,
                    y: 402.0,
                },
                center: Position {
                    x: 879.8947,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 836.8947,
                        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: 41.57895,
                },
                Position {
                    x: 242.0,
                    y: 41.57895,
                },
                Position {
                    x: 1890.0,
                    y: 41.57895,
                },
                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: 1143.9895,
                    y: 41.57895,
                },
                center: Position {
                    x: 1143.9895,
                    y: -4.421051,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1100.9895,
                        y: -16.421051,
                    },
                    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: 53.36842,
                },
                Position {
                    x: 242.0,
                    y: 53.36842,
                },
                Position {
                    x: 1890.0,
                    y: 53.36842,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 3",
                fraction: 0.5,
                anchor: Position {
                    x: 1240.3158,
                    y: 53.36842,
                },
                center: Position {
                    x: 1240.3158,
                    y: 71.36842,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1197.3158,
                        y: 59.368423,
                    },
                    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: 65.1579,
                },
                Position {
                    x: 242.0,
                    y: 65.1579,
                },
                Position {
                    x: 1066.0,
                    y: 65.1579,
                },
                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 4",
                fraction: 0.65,
                anchor: Position {
                    x: 1200.7051,
                    y: 402.0,
                },
                center: Position {
                    x: 1200.7051,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1157.7051,
                        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-0000000003ed: RoutedEdge {
            id: 956a2026-0912-4000-8000-0000000003ed,
            points: [
                Position {
                    x: 224.0,
                    y: 76.94737,
                },
                Position {
                    x: 242.0,
                    y: 76.94737,
                },
                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 5",
                fraction: 0.5,
                anchor: Position {
                    x: 981.4737,
                    y: 324.0,
                },
                center: Position {
                    x: 981.4737,
                    y: 342.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 938.4737,
                        y: 330.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: 88.73684,
                },
                Position {
                    x: 242.0,
                    y: 88.73684,
                },
                Position {
                    x: 1896.0,
                    y: 88.73684,
                },
                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 6",
                fraction: 0.45,
                anchor: Position {
                    x: 1128.1685,
                    y: 88.73684,
                },
                center: Position {
                    x: 1128.1685,
                    y: 70.73684,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1085.1685,
                        y: 58.73684,
                    },
                    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: 100.52631,
                },
                Position {
                    x: 242.0,
                    y: 100.52631,
                },
                Position {
                    x: 1890.0,
                    y: 100.52631,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 7",
                fraction: 0.85,
                anchor: Position {
                    x: 1890.0,
                    y: 122.1789,
                },
                center: Position {
                    x: 1951.0,
                    y: 122.1789,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1908.0,
                        y: 110.1789,
                    },
                    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: 112.31579,
                },
                Position {
                    x: 242.0,
                    y: 112.31579,
                },
                Position {
                    x: 1890.0,
                    y: 112.31579,
                },
                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: 1210.842,
                    y: 112.31579,
                },
                center: Position {
                    x: 1210.842,
                    y: 130.3158,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1167.842,
                        y: 118.315796,
                    },
                    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: 224.0,
                    y: 124.10526,
                },
                Position {
                    x: 242.0,
                    y: 124.10526,
                },
                Position {
                    x: 242.0,
                    y: 272.0,
                },
                Position {
                    x: 1890.0,
                    y: 272.0,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 9",
                fraction: 0.45,
                anchor: Position {
                    x: 958.9579,
                    y: 272.0,
                },
                center: Position {
                    x: 958.9579,
                    y: 254.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 915.9579,
                        y: 242.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: 224.0,
                    y: 135.89474,
                },
                Position {
                    x: 242.0,
                    y: 135.89474,
                },
                Position {
                    x: 1890.0,
                    y: 135.89474,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 10",
                fraction: 0.9,
                anchor: Position {
                    x: 1890.0,
                    y: 224.98935,
                },
                center: Position {
                    x: 1954.5,
                    y: 224.98935,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1908.0,
                        y: 212.98935,
                    },
                    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: 224.0,
                    y: 147.6842,
                },
                Position {
                    x: 242.0,
                    y: 147.6842,
                },
                Position {
                    x: 1890.0,
                    y: 147.6842,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 11",
                fraction: 0.5,
                anchor: Position {
                    x: 1193.158,
                    y: 147.6842,
                },
                center: Position {
                    x: 1193.158,
                    y: 165.6842,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1146.658,
                        y: 153.6842,
                    },
                    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: 224.0,
                    y: 159.47368,
                },
                Position {
                    x: 242.0,
                    y: 159.47368,
                },
                Position {
                    x: 242.0,
                    y: 280.73685,
                },
                Position {
                    x: 1890.0,
                    y: 280.73685,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 12",
                fraction: 0.55,
                anchor: Position {
                    x: 1162.3262,
                    y: 280.73685,
                },
                center: Position {
                    x: 1162.3262,
                    y: 234.73685,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1115.8262,
                        y: 222.73685,
                    },
                    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: 224.0,
                    y: 171.26315,
                },
                Position {
                    x: 242.0,
                    y: 171.26315,
                },
                Position {
                    x: 236.0,
                    y: 171.26315,
                },
                Position {
                    x: 236.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.4,
                anchor: Position {
                    x: 751.9579,
                    y: 402.0,
                },
                center: Position {
                    x: 751.9579,
                    y: 384.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 705.4579,
                        y: 372.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: 224.0,
                    y: 183.05263,
                },
                Position {
                    x: 242.0,
                    y: 183.05263,
                },
                Position {
                    x: 1890.0,
                    y: 183.05263,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 14",
                fraction: 0.4,
                anchor: Position {
                    x: 985.17896,
                    y: 183.05263,
                },
                center: Position {
                    x: 985.17896,
                    y: 165.05263,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 938.67896,
                        y: 153.05263,
                    },
                    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: 224.0,
                    y: 194.8421,
                },
                Position {
                    x: 242.0,
                    y: 194.8421,
                },
                Position {
                    x: 242.0,
                    y: 298.42105,
                },
                Position {
                    x: 1890.0,
                    y: 298.42105,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 15",
                fraction: 0.65,
                anchor: Position {
                    x: 1349.6737,
                    y: 298.42105,
                },
                center: Position {
                    x: 1349.6737,
                    y: 252.42105,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1303.1737,
                        y: 240.42105,
                    },
                    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: 224.0,
                    y: 206.63159,
                },
                Position {
                    x: 242.0,
                    y: 206.63159,
                },
                Position {
                    x: 242.0,
                    y: 304.3158,
                },
                Position {
                    x: 1890.0,
                    y: 304.3158,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 16",
                fraction: 0.55,
                anchor: Position {
                    x: 1159.9684,
                    y: 304.3158,
                },
                center: Position {
                    x: 1159.9684,
                    y: 350.3158,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1113.4684,
                        y: 338.3158,
                    },
                    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: 224.0,
                    y: 218.42105,
                },
                Position {
                    x: 242.0,
                    y: 218.42105,
                },
                Position {
                    x: 1890.0,
                    y: 218.42105,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 17",
                fraction: 0.5,
                anchor: Position {
                    x: 1157.7896,
                    y: 218.42105,
                },
                center: Position {
                    x: 1157.7896,
                    y: 200.42105,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1111.2896,
                        y: 188.42105,
                    },
                    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: 224.0,
                    y: 230.21053,
                },
                Position {
                    x: 242.0,
                    y: 230.21053,
                },
                Position {
                    x: 242.0,
                    y: 316.10526,
                },
                Position {
                    x: 1890.0,
                    y: 316.10526,
                },
                Position {
                    x: 1890.0,
                    y: 402.0,
                },
                Position {
                    x: 1908.0,
                    y: 402.0,
                },
            ],
            label: EdgeLabelGeometry {
                text: "Exchange 18",
                fraction: 0.65,
                anchor: Position {
                    x: 1344.3684,
                    y: 316.10526,
                },
                center: Position {
                    x: 1344.3684,
                    y: 362.10526,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 1297.8684,
                        y: 350.10526,
                    },
                    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: 224.0,
                    y: 242.0,
                },
                Position {
                    x: 242.0,
                    y: 242.0,
                },
                Position {
                    x: 242.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 19",
                fraction: 0.4,
                anchor: Position {
                    x: 881.60004,
                    y: 322.0,
                },
                center: Position {
                    x: 881.60004,
                    y: 340.0,
                },
                bounds: RoutingBounds {
                    position: Position {
                        x: 835.10004,
                        y: 328.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: 0.0,
            y: -16.421051,
        },
        size: Size {
            width: 2092.0,
            height: 484.42105,
        },
    },
}