{
  "name": "",
  "config": {
    "sketch": false,
    "themeID": 0,
    "darkThemeID": null,
    "pad": null,
    "center": null,
    "layoutEngine": null
  },
  "isFolderOnly": false,
  "fontFamily": "SourceSansPro",
  "monoFontFamily": "SourceCodePro",
  "shapes": [
    {
      "id": "a",
      "type": "rectangle",
      "pos": {
        "x": 12,
        "y": 52
      },
      "width": 100,
      "height": 66,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "B5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": false,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "A",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 9,
      "labelHeight": 21,
      "labelPosition": "INSIDE_MIDDLE_CENTER",
      "zIndex": 0,
      "level": 1
    },
    {
      "id": "b",
      "type": "rectangle",
      "pos": {
        "x": 162,
        "y": 52
      },
      "width": 100,
      "height": 66,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "B5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": false,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "B",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 8,
      "labelHeight": 21,
      "labelPosition": "INSIDE_MIDDLE_CENTER",
      "zIndex": 0,
      "level": 1
    },
    {
      "id": "c",
      "type": "rectangle",
      "pos": {
        "x": 312,
        "y": 52
      },
      "width": 100,
      "height": 66,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "B5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": false,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "C",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 9,
      "labelHeight": 21,
      "labelPosition": "INSIDE_MIDDLE_CENTER",
      "zIndex": 0,
      "level": 1
    },
    {
      "id": "group 1",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 173
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 1",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 2",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 319
      },
      "width": 230,
      "height": 61,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 2",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 3",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 420
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 3",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "a.a",
      "type": "rectangle",
      "pos": {
        "x": 56,
        "y": 501
      },
      "width": 12,
      "height": 121,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "borderRadius": 0,
      "fill": "B4",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": false,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 7,
      "labelHeight": 21,
      "zIndex": 2,
      "level": 2
    },
    {
      "id": "group 4",
      "type": "rectangle",
      "pos": {
        "x": 28,
        "y": 566
      },
      "width": 224,
      "height": 61,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 4",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 5",
      "type": "rectangle",
      "pos": {
        "x": 172,
        "y": 667
      },
      "width": 160,
      "height": 221,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 5",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 6",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 928
      },
      "width": 230,
      "height": 61,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 6",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 7",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 1029
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 7",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 8",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 1175
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 8",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 9",
      "type": "rectangle",
      "pos": {
        "x": 22,
        "y": 1436
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 9",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 52,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 10",
      "type": "rectangle",
      "pos": {
        "x": 322,
        "y": 1767
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 10",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 60,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    },
    {
      "id": "group 11",
      "type": "rectangle",
      "pos": {
        "x": 322,
        "y": 1983
      },
      "width": 160,
      "height": 106,
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 0,
      "borderRadius": 0,
      "fill": "N5",
      "stroke": "B1",
      "animated": false,
      "shadow": false,
      "3d": false,
      "multiple": false,
      "double-border": false,
      "tooltip": "",
      "link": "",
      "icon": null,
      "iconPosition": "",
      "blend": true,
      "fields": null,
      "methods": null,
      "columns": null,
      "label": "group 11",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N1",
      "italic": false,
      "bold": false,
      "underline": false,
      "labelWidth": 60,
      "labelHeight": 21,
      "labelFill": "N5",
      "labelPosition": "INSIDE_TOP_LEFT",
      "zIndex": 3,
      "level": 1
    }
  ],
  "connections": [
    {
      "id": "(a -> a)[0]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 219
        },
        {
          "x": 142,
          "y": 219
        },
        {
          "x": 142,
          "y": 264
        },
        {
          "x": 62,
          "y": 264
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> b)[0]",
      "src": "a",
      "srcArrow": "none",
      "dst": "b",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 365
        },
        {
          "x": 212,
          "y": 365
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a.a)[0]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a.a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 466
        },
        {
          "x": 142,
          "y": 466
        },
        {
          "x": 142,
          "y": 511
        },
        {
          "x": 68,
          "y": 511
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a.a -> b)[0]",
      "src": "a.a",
      "srcArrow": "none",
      "dst": "b",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 68,
          "y": 612
        },
        {
          "x": 212,
          "y": 612
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> b)[0]",
      "src": "b",
      "srcArrow": "none",
      "dst": "b",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 713
        },
        {
          "x": 292,
          "y": 713
        },
        {
          "x": 292,
          "y": 758
        },
        {
          "x": 212,
          "y": 758
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> b)[1]",
      "src": "b",
      "srcArrow": "none",
      "dst": "b",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 828
        },
        {
          "x": 292,
          "y": 828
        },
        {
          "x": 292,
          "y": 873
        },
        {
          "x": 212,
          "y": 873
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> a)[0]",
      "src": "b",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 974
        },
        {
          "x": 62,
          "y": 974
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a)[1]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 1075
        },
        {
          "x": 142,
          "y": 1075
        },
        {
          "x": 142,
          "y": 1120
        },
        {
          "x": 62,
          "y": 1120
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a)[2]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 1221
        },
        {
          "x": 142,
          "y": 1221
        },
        {
          "x": 142,
          "y": 1266
        },
        {
          "x": 62,
          "y": 1266
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a)[4]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 1336
        },
        {
          "x": 142,
          "y": 1336
        },
        {
          "x": 142,
          "y": 1381
        },
        {
          "x": 62,
          "y": 1381
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a)[3]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 1482
        },
        {
          "x": 142,
          "y": 1482
        },
        {
          "x": 142,
          "y": 1527
        },
        {
          "x": 62,
          "y": 1527
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -> a)[5]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 1597
        },
        {
          "x": 142,
          "y": 1597
        },
        {
          "x": 142,
          "y": 1642
        },
        {
          "x": 62,
          "y": 1642
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> c)[0]",
      "src": "b",
      "srcArrow": "none",
      "dst": "c",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 1712
        },
        {
          "x": 362,
          "y": 1712
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(c -> c)[0]",
      "src": "c",
      "srcArrow": "none",
      "dst": "c",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 362,
          "y": 1813
        },
        {
          "x": 442,
          "y": 1813
        },
        {
          "x": 442,
          "y": 1858
        },
        {
          "x": 362,
          "y": 1858
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> c)[1]",
      "src": "b",
      "srcArrow": "none",
      "dst": "c",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 1928
        },
        {
          "x": 362,
          "y": 1928
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(c -> c)[1]",
      "src": "c",
      "srcArrow": "none",
      "dst": "c",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 362,
          "y": 2029
        },
        {
          "x": 442,
          "y": 2029
        },
        {
          "x": 442,
          "y": 2074
        },
        {
          "x": 362,
          "y": 2074
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(b -> c)[2]",
      "src": "b",
      "srcArrow": "none",
      "dst": "c",
      "dstArrow": "triangle",
      "opacity": 1,
      "strokeDash": 0,
      "strokeWidth": 2,
      "stroke": "B1",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 2144
        },
        {
          "x": 362,
          "y": 2144
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 4
    },
    {
      "id": "(a -- )[0]",
      "src": "a",
      "srcArrow": "none",
      "dst": "a-lifeline-end-2251863791",
      "dstArrow": "none",
      "opacity": 1,
      "strokeDash": 6,
      "strokeWidth": 2,
      "stroke": "B2",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 62,
          "y": 118
        },
        {
          "x": 62,
          "y": 2214
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 1
    },
    {
      "id": "(b -- )[0]",
      "src": "b",
      "srcArrow": "none",
      "dst": "b-lifeline-end-668380428",
      "dstArrow": "none",
      "opacity": 1,
      "strokeDash": 6,
      "strokeWidth": 2,
      "stroke": "B2",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 212,
          "y": 118
        },
        {
          "x": 212,
          "y": 2214
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 1
    },
    {
      "id": "(c -- )[0]",
      "src": "c",
      "srcArrow": "none",
      "dst": "c-lifeline-end-955173837",
      "dstArrow": "none",
      "opacity": 1,
      "strokeDash": 6,
      "strokeWidth": 2,
      "stroke": "B2",
      "borderRadius": 10,
      "label": "",
      "fontSize": 16,
      "fontFamily": "DEFAULT",
      "language": "",
      "color": "N2",
      "italic": true,
      "bold": false,
      "underline": false,
      "labelWidth": 0,
      "labelHeight": 0,
      "labelPosition": "",
      "labelPercentage": 0,
      "link": "",
      "route": [
        {
          "x": 362,
          "y": 118
        },
        {
          "x": 362,
          "y": 2214
        }
      ],
      "animated": false,
      "tooltip": "",
      "icon": null,
      "zIndex": 1
    }
  ],
  "root": {
    "id": "",
    "type": "",
    "pos": {
      "x": 0,
      "y": 0
    },
    "width": 0,
    "height": 0,
    "opacity": 0,
    "strokeDash": 0,
    "strokeWidth": 0,
    "borderRadius": 0,
    "fill": "N7",
    "stroke": "",
    "animated": false,
    "shadow": false,
    "3d": false,
    "multiple": false,
    "double-border": false,
    "tooltip": "",
    "link": "",
    "icon": null,
    "iconPosition": "",
    "blend": false,
    "fields": null,
    "methods": null,
    "columns": null,
    "label": "",
    "fontSize": 0,
    "fontFamily": "",
    "language": "",
    "color": "",
    "italic": false,
    "bold": false,
    "underline": false,
    "labelWidth": 0,
    "labelHeight": 0,
    "zIndex": 0,
    "level": 0
  }
}
