{
  "name": "",
  "shapes": [
    {
      "id": "finally",
      "type": "",
      "pos": {
        "x": 213,
        "y": 0
      },
      "width": 465,
      "height": 904,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#E3E9FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "finally",
      "fontSize": 28,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 77,
      "labelHeight": 41,
      "labelPosition": "INSIDE_TOP_CENTER"
    },
    {
      "id": "a",
      "type": "",
      "pos": {
        "x": 1076,
        "y": 50
      },
      "width": 113,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "a",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 13,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "tree",
      "type": "",
      "pos": {
        "x": 862,
        "y": 276
      },
      "width": 134,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "tree",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 34,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "and",
      "type": "",
      "pos": {
        "x": 1152,
        "y": 276
      },
      "width": 132,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "and",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 32,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "nodes",
      "type": "",
      "pos": {
        "x": 1344,
        "y": 276
      },
      "width": 147,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "nodes",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 47,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "some",
      "type": "",
      "pos": {
        "x": 1547,
        "y": 502
      },
      "width": 143,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "some",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 43,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "more",
      "type": "",
      "pos": {
        "x": 1141,
        "y": 502
      },
      "width": 141,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "more",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 41,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "many",
      "type": "",
      "pos": {
        "x": 1342,
        "y": 502
      },
      "width": 145,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "many",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 45,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "then",
      "type": "",
      "pos": {
        "x": 1988,
        "y": 50
      },
      "width": 138,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "then",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 38,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "here",
      "type": "",
      "pos": {
        "x": 1959,
        "y": 276
      },
      "width": 136,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "here",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 36,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "you",
      "type": "",
      "pos": {
        "x": 1961,
        "y": 502
      },
      "width": 132,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "you",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 32,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "have",
      "type": "",
      "pos": {
        "x": 2204,
        "y": 50
      },
      "width": 138,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "have",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 38,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "hierarchy",
      "type": "",
      "pos": {
        "x": 2168,
        "y": 276
      },
      "width": 173,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "hierarchy",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 73,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "another",
      "type": "",
      "pos": {
        "x": 0,
        "y": 502
      },
      "width": 163,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "another",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 63,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "of",
      "type": "",
      "pos": {
        "x": 22,
        "y": 728
      },
      "width": 120,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "of",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 20,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "nesting",
      "type": "",
      "pos": {
        "x": 1551,
        "y": 276
      },
      "width": 158,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "nesting",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 58,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "trees",
      "type": "",
      "pos": {
        "x": 939,
        "y": 502
      },
      "width": 142,
      "height": 126,
      "level": 1,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#F7F8FE",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "trees",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 42,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "finally.a",
      "type": "",
      "pos": {
        "x": 281,
        "y": 276
      },
      "width": 113,
      "height": 126,
      "level": 2,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#EDF0FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "a",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 13,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "finally.tree",
      "type": "",
      "pos": {
        "x": 296,
        "y": 502
      },
      "width": 134,
      "height": 126,
      "level": 2,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#EDF0FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "tree",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 34,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "finally.inside",
      "type": "",
      "pos": {
        "x": 263,
        "y": 50
      },
      "width": 148,
      "height": 126,
      "level": 2,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#EDF0FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "inside",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 48,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "finally.hierarchy",
      "type": "",
      "pos": {
        "x": 277,
        "y": 728
      },
      "width": 173,
      "height": 126,
      "level": 2,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#EDF0FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "hierarchy",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 73,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    },
    {
      "id": "finally.root",
      "type": "",
      "pos": {
        "x": 490,
        "y": 502
      },
      "width": 135,
      "height": 126,
      "level": 2,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "#EDF0FD",
      "stroke": "#0D32B2",
      "shadow": false,
      "3d": false,
      "multiple": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "root",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#0A0F25",
      "italic": false,
      "bold": true,
      "underline": false,
      "labelWidth": 35,
      "labelHeight": 26,
      "labelPosition": "INSIDE_MIDDLE_CENTER"
    }
  ],
  "connections": [
    {
      "id": "(a -> tree)[0]",
      "src": "a",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "tree",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 1075.75,
          "y": 144.37346437346437
        },
        {
          "x": 958.15,
          "y": 209.67469287469288
        },
        {
          "x": 928.75,
          "y": 236
        },
        {
          "x": 928.75,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(a -> and)[0]",
      "src": "a",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "and",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 1180.1969026548672,
          "y": 176
        },
        {
          "x": 1210.6393805309735,
          "y": 216
        },
        {
          "x": 1218.25,
          "y": 236
        },
        {
          "x": 1218.25,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(a -> nodes)[0]",
      "src": "a",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "nodes",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 1188.75,
          "y": 135.36252189141857
        },
        {
          "x": 1371.95,
          "y": 207.87250437828374
        },
        {
          "x": 1417.75,
          "y": 236
        },
        {
          "x": 1417.75,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(and -> some)[0]",
      "src": "and",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "some",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 1218.25,
          "y": 402
        },
        {
          "x": 1218.25,
          "y": 442
        },
        {
          "x": 1284.05,
          "y": 470.6
        },
        {
          "x": 1547.25,
          "y": 545
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(tree -> more)[0]",
      "src": "tree",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "more",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 922.8960176991151,
          "y": 402
        },
        {
          "x": 919.179203539823,
          "y": 442
        },
        {
          "x": 962.85,
          "y": 469.2
        },
        {
          "x": 1141.25,
          "y": 538
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(tree -> many)[0]",
      "src": "tree",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "many",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 995.75,
          "y": 384.2
        },
        {
          "x": 1076.15,
          "y": 438.44
        },
        {
          "x": 1145.45,
          "y": 469.4
        },
        {
          "x": 1342.25,
          "y": 539
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(then -> here)[0]",
      "src": "then",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "here",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 2040.0530973451328,
          "y": 176
        },
        {
          "x": 2029.6106194690265,
          "y": 216
        },
        {
          "x": 2027,
          "y": 236
        },
        {
          "x": 2027,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(here -> you)[0]",
      "src": "here",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "you",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 2027,
          "y": 402
        },
        {
          "x": 2027,
          "y": 442
        },
        {
          "x": 2027,
          "y": 462
        },
        {
          "x": 2027,
          "y": 502
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(have -> hierarchy)[0]",
      "src": "have",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "hierarchy",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 2273.25,
          "y": 176
        },
        {
          "x": 2273.25,
          "y": 216
        },
        {
          "x": 2271.65,
          "y": 236
        },
        {
          "x": 2265.25,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(then -> hierarchy)[0]",
      "src": "then",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "hierarchy",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 2110.9977876106195,
          "y": 176
        },
        {
          "x": 2145.599557522124,
          "y": 216
        },
        {
          "x": 2163.05,
          "y": 236
        },
        {
          "x": 2198.25,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(finally -> another)[0]",
      "src": "finally",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "another",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 213,
          "y": 488
        },
        {
          "x": 173,
          "y": 511.2
        },
        {
          "x": 203,
          "y": 493.8
        },
        {
          "x": 163,
          "y": 517
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(another -> of)[0]",
      "src": "another",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "of",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 81.5,
          "y": 628
        },
        {
          "x": 81.5,
          "y": 668
        },
        {
          "x": 81.5,
          "y": 688
        },
        {
          "x": 81.5,
          "y": 728
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(nesting -> trees)[0]",
      "src": "nesting",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "trees",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 1630.25,
          "y": 402
        },
        {
          "x": 1630.25,
          "y": 442
        },
        {
          "x": 1520.45,
          "y": 472.01193548387096
        },
        {
          "x": 1081.25,
          "y": 552.0596774193548
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "(finally -> trees)[0]",
      "src": "finally",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "trees",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 679,
          "y": 511
        },
        {
          "x": 887,
          "y": 544.6
        },
        {
          "x": 731,
          "y": 519.4
        },
        {
          "x": 939,
          "y": 553
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "finally.(a -> tree)[0]",
      "src": "finally.a",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "finally.tree",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 351.63495575221236,
          "y": 402
        },
        {
          "x": 360.92699115044246,
          "y": 442
        },
        {
          "x": 363.25,
          "y": 462
        },
        {
          "x": 363.25,
          "y": 502
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "finally.(inside -> a)[0]",
      "src": "finally.inside",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "finally.a",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 337,
          "y": 176
        },
        {
          "x": 337,
          "y": 216
        },
        {
          "x": 337,
          "y": 236
        },
        {
          "x": 337,
          "y": 276
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "finally.(tree -> hierarchy)[0]",
      "src": "finally.tree",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "finally.hierarchy",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 363.25,
          "y": 628
        },
        {
          "x": 363.25,
          "y": 668
        },
        {
          "x": 363.25,
          "y": 688
        },
        {
          "x": 363.25,
          "y": 728
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    },
    {
      "id": "finally.(a -> root)[0]",
      "src": "finally.a",
      "srcArrow": "none",
      "srcLabel": "",
      "dst": "finally.root",
      "dstArrow": "triangle",
      "dstLabel": "",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "#0D32B2",
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "#676C7E",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "route": [
        {
          "x": 394.5,
          "y": 367.92185730464325
        },
        {
          "x": 525.1,
          "y": 435.1843714609287
        },
        {
          "x": 557.75,
          "y": 462
        },
        {
          "x": 557.75,
          "y": 502
        }
      ],
      "isCurve": true,
      "animated": false,
      "tooltip": "",
      "icon": null
    }
  ]
}