{
  "name": "",
  "shapes": [
    {
      "id": "finally",
      "type": "",
      "pos": {
        "x": 12,
        "y": 742
      },
      "width": 779,
      "height": 422,
      "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": 678,
        "y": 44
      },
      "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": 927,
        "y": 325
      },
      "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": 922,
        "y": 158
      },
      "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": 901,
        "y": 12
      },
      "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": 1174,
        "y": 158
      },
      "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": 1174,
        "y": 304
      },
      "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": 1174,
        "y": 450
      },
      "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": 653,
        "y": 596
      },
      "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": 920,
        "y": 617
      },
      "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": 1174,
        "y": 617
      },
      "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": 653,
        "y": 450
      },
      "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": 901,
        "y": 471
      },
      "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": 906,
        "y": 820
      },
      "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": 1174,
        "y": 820
      },
      "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": 633,
        "y": 1184
      },
      "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": 901,
        "y": 1163
      },
      "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": 255,
        "y": 838
      },
      "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": 389,
        "y": 963
      },
      "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": 87,
        "y": 838
      },
      "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": 543,
        "y": 963
      },
      "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": 388,
        "y": 817
      },
      "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": 791,
          "y": 138
        },
        {
          "x": 841,
          "y": 138
        },
        {
          "x": 841,
          "y": 388
        },
        {
          "x": 927,
          "y": 388
        }
      ],
      "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": 791,
          "y": 106.5
        },
        {
          "x": 851,
          "y": 106.5
        },
        {
          "x": 851,
          "y": 221
        },
        {
          "x": 921.5,
          "y": 221
        }
      ],
      "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": 791,
          "y": 75
        },
        {
          "x": 901,
          "y": 75
        }
      ],
      "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": 1053.5,
          "y": 221
        },
        {
          "x": 1174,
          "y": 221
        }
      ],
      "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": 1061,
          "y": 367
        },
        {
          "x": 1174,
          "y": 367
        }
      ],
      "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": 1061,
          "y": 409
        },
        {
          "x": 1124,
          "y": 409
        },
        {
          "x": 1124,
          "y": 513
        },
        {
          "x": 1174,
          "y": 513
        }
      ],
      "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": 791,
          "y": 680
        },
        {
          "x": 919.5,
          "y": 680
        }
      ],
      "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": 1055.5,
          "y": 680
        },
        {
          "x": 1174,
          "y": 680
        }
      ],
      "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": 791,
          "y": 513
        },
        {
          "x": 901,
          "y": 513
        }
      ],
      "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": 791,
          "y": 638
        },
        {
          "x": 841,
          "y": 638
        },
        {
          "x": 841,
          "y": 555
        },
        {
          "x": 901,
          "y": 555
        }
      ],
      "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": 791,
          "y": 882.6666666666666
        },
        {
          "x": 906,
          "y": 882.6666666666666
        }
      ],
      "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": 1069,
          "y": 882.6666666666666
        },
        {
          "x": 1174,
          "y": 882.6666666666666
        }
      ],
      "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": 791,
          "y": 1247
        },
        {
          "x": 901,
          "y": 1247
        }
      ],
      "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": 791,
          "y": 1023.3333333333333
        },
        {
          "x": 841,
          "y": 1023.3333333333333
        },
        {
          "x": 841,
          "y": 1205
        },
        {
          "x": 901,
          "y": 1205
        }
      ],
      "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": 368,
          "y": 922
        },
        {
          "x": 378,
          "y": 922
        },
        {
          "x": 378,
          "y": 1026
        },
        {
          "x": 388.5,
          "y": 1026
        }
      ],
      "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": 235,
          "y": 901
        },
        {
          "x": 255,
          "y": 901
        }
      ],
      "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": 522.5,
          "y": 1026
        },
        {
          "x": 543,
          "y": 1026
        }
      ],
      "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": 368,
          "y": 880
        },
        {
          "x": 388,
          "y": 880
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null
    }
  ]
}