{
  "workspaces": {
    "task_master": {
      "main": {
        "id": "9acdaefd89bfd05b",
        "type": "split",
        "children": [
          {
            "id": "8d03bf60de6ad4fa",
            "type": "tabs",
            "children": [
              {
                "id": "9b4ec083e409fd37",
                "type": "leaf",
                "state": {
                  "type": "canvas",
                  "state": {
                    "file": "Neural Network Formal Methods/NNFM Ontology.canvas",
                    "viewState": {
                      "x": 9.425483367800382,
                      "y": -107.62412343531983,
                      "zoom": 0
                    }
                  },
                  "icon": "lucide-layout-dashboard",
                  "title": "NNFM Ontology"
                }
              }
            ],
            "stacked": true
          }
        ],
        "direction": "vertical"
      },
      "left": {
        "id": "e5fa84f508f70d4a",
        "type": "split",
        "children": [
          {
            "id": "7f6b5f16b83d9662",
            "type": "tabs",
            "children": [
              {
                "id": "ff6249d395c9b9c4",
                "type": "leaf",
                "state": {
                  "type": "file-explorer",
                  "state": {
                    "sortOrder": "alphabetical",
                    "autoReveal": false
                  },
                  "icon": "lucide-folder-closed",
                  "title": "Files"
                }
              },
              {
                "id": "5dcbb689e8ca2590",
                "type": "leaf",
                "state": {
                  "type": "search",
                  "state": {
                    "query": "",
                    "matchingCase": false,
                    "explainSearch": false,
                    "collapseAll": false,
                    "extraContext": false,
                    "sortOrder": "alphabetical"
                  },
                  "icon": "lucide-search",
                  "title": "Search"
                }
              },
              {
                "id": "52955ed22e885f54",
                "type": "leaf",
                "state": {
                  "type": "bookmarks",
                  "state": {},
                  "icon": "lucide-bookmark",
                  "title": "Bookmarks"
                }
              }
            ]
          }
        ],
        "direction": "horizontal",
        "width": 264.5
      },
      "right": {
        "id": "6fb573180b35203e",
        "type": "split",
        "children": [
          {
            "id": "d04fee9208814d29",
            "type": "tabs",
            "children": [
              {
                "id": "2ffc7552cae0cd12",
                "type": "leaf",
                "state": {
                  "type": "outline",
                  "state": {
                    "file": "300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High-Assurance Cyber-Physical Systems Final Report.md",
                    "followCursor": false,
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-list",
                  "title": "Outline of ME 2150 - High-Assurance Cyber-Physical Systems Final Report"
                }
              },
              {
                "id": "662ac1a2deff5282",
                "type": "leaf",
                "state": {
                  "type": "all-properties",
                  "state": {
                    "sortOrder": "frequency",
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-archive",
                  "title": "All properties"
                }
              },
              {
                "id": "35618b9d56fe6ece",
                "type": "leaf",
                "state": {
                  "type": "tag",
                  "state": {
                    "sortOrder": "frequency",
                    "useHierarchy": true,
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-tags",
                  "title": "Tags"
                }
              }
            ]
          },
          {
            "id": "5825c206eb7cbf2b",
            "type": "tabs",
            "children": [
              {
                "id": "9ac223f2f70c509e",
                "type": "leaf",
                "state": {
                  "type": "backlink",
                  "state": {
                    "file": "9999 Personal/Italy Planning.md",
                    "collapseAll": true,
                    "extraContext": false,
                    "sortOrder": "alphabetical",
                    "showSearch": false,
                    "searchQuery": "",
                    "backlinkCollapsed": false,
                    "unlinkedCollapsed": true
                  },
                  "icon": "links-coming-in",
                  "title": "Backlinks for Italy Planning"
                }
              },
              {
                "id": "eac2ce2689908506",
                "type": "leaf",
                "state": {
                  "type": "outgoing-link",
                  "state": {
                    "file": "300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High-Assurance Cyber-Physical Systems Final Report.md",
                    "linksCollapsed": false,
                    "unlinkedCollapsed": true
                  },
                  "icon": "links-going-out",
                  "title": "Outgoing links from ME 2150 - High-Assurance Cyber-Physical Systems Final Report"
                }
              }
            ],
            "currentTab": 1
          }
        ],
        "direction": "horizontal",
        "width": 300,
        "collapsed": true
      },
      "left-ribbon": {
        "hiddenItems": {
          "daily-notes:Open today's daily note": false,
          "switcher:Open quick switcher": false,
          "graph:Open graph view": false,
          "canvas:Create new canvas": false,
          "command-palette:Open command palette": false,
          "workspaces:Manage workspace layouts": false,
          "obsidian-git:Open Git source control": false,
          "templates:Insert template": false
        }
      },
      "active": "9b4ec083e409fd37",
      "mtime": "2025-05-07T13:07:41-04:00"
    },
    "NNFM": {
      "main": {
        "id": "9acdaefd89bfd05b",
        "type": "split",
        "children": [
          {
            "id": "8d03bf60de6ad4fa",
            "type": "tabs",
            "children": [
              {
                "id": "9b4ec083e409fd37",
                "type": "leaf",
                "state": {
                  "type": "canvas",
                  "state": {
                    "file": "Neural Network Formal Methods/NNFM Ontology.canvas",
                    "viewState": {
                      "x": 9.425483367800382,
                      "y": -107.62412343531983,
                      "zoom": 0
                    }
                  },
                  "icon": "lucide-layout-dashboard",
                  "title": "NNFM Ontology"
                }
              }
            ],
            "stacked": true
          }
        ],
        "direction": "vertical"
      },
      "left": {
        "id": "e5fa84f508f70d4a",
        "type": "split",
        "children": [
          {
            "id": "7f6b5f16b83d9662",
            "type": "tabs",
            "children": [
              {
                "id": "ff6249d395c9b9c4",
                "type": "leaf",
                "state": {
                  "type": "file-explorer",
                  "state": {
                    "sortOrder": "alphabetical",
                    "autoReveal": false
                  },
                  "icon": "lucide-folder-closed",
                  "title": "Files"
                }
              },
              {
                "id": "5dcbb689e8ca2590",
                "type": "leaf",
                "state": {
                  "type": "search",
                  "state": {
                    "query": "",
                    "matchingCase": false,
                    "explainSearch": false,
                    "collapseAll": false,
                    "extraContext": false,
                    "sortOrder": "alphabetical"
                  },
                  "icon": "lucide-search",
                  "title": "Search"
                }
              },
              {
                "id": "52955ed22e885f54",
                "type": "leaf",
                "state": {
                  "type": "bookmarks",
                  "state": {},
                  "icon": "lucide-bookmark",
                  "title": "Bookmarks"
                }
              }
            ]
          }
        ],
        "direction": "horizontal",
        "width": 264.5
      },
      "right": {
        "id": "6fb573180b35203e",
        "type": "split",
        "children": [
          {
            "id": "d04fee9208814d29",
            "type": "tabs",
            "children": [
              {
                "id": "2ffc7552cae0cd12",
                "type": "leaf",
                "state": {
                  "type": "outline",
                  "state": {
                    "file": "300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High-Assurance Cyber-Physical Systems Final Report.md",
                    "followCursor": false,
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-list",
                  "title": "Outline of ME 2150 - High-Assurance Cyber-Physical Systems Final Report"
                }
              },
              {
                "id": "662ac1a2deff5282",
                "type": "leaf",
                "state": {
                  "type": "all-properties",
                  "state": {
                    "sortOrder": "frequency",
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-archive",
                  "title": "All properties"
                }
              },
              {
                "id": "35618b9d56fe6ece",
                "type": "leaf",
                "state": {
                  "type": "tag",
                  "state": {
                    "sortOrder": "frequency",
                    "useHierarchy": true,
                    "showSearch": false,
                    "searchQuery": ""
                  },
                  "icon": "lucide-tags",
                  "title": "Tags"
                }
              }
            ]
          },
          {
            "id": "5825c206eb7cbf2b",
            "type": "tabs",
            "children": [
              {
                "id": "9ac223f2f70c509e",
                "type": "leaf",
                "state": {
                  "type": "backlink",
                  "state": {
                    "file": "9999 Personal/Italy Planning.md",
                    "collapseAll": true,
                    "extraContext": false,
                    "sortOrder": "alphabetical",
                    "showSearch": false,
                    "searchQuery": "",
                    "backlinkCollapsed": false,
                    "unlinkedCollapsed": true
                  },
                  "icon": "links-coming-in",
                  "title": "Backlinks for Italy Planning"
                }
              },
              {
                "id": "eac2ce2689908506",
                "type": "leaf",
                "state": {
                  "type": "outgoing-link",
                  "state": {
                    "file": "300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High-Assurance Cyber-Physical Systems Final Report.md",
                    "linksCollapsed": false,
                    "unlinkedCollapsed": true
                  },
                  "icon": "links-going-out",
                  "title": "Outgoing links from ME 2150 - High-Assurance Cyber-Physical Systems Final Report"
                }
              }
            ],
            "currentTab": 1
          }
        ],
        "direction": "horizontal",
        "width": 300,
        "collapsed": true
      },
      "left-ribbon": {
        "hiddenItems": {
          "daily-notes:Open today's daily note": false,
          "switcher:Open quick switcher": false,
          "graph:Open graph view": false,
          "canvas:Create new canvas": false,
          "command-palette:Open command palette": false,
          "workspaces:Manage workspace layouts": false,
          "obsidian-git:Open Git source control": false,
          "templates:Insert template": false
        }
      },
      "active": "9b4ec083e409fd37",
      "mtime": "2025-05-07T13:07:57-04:00"
    }
  },
  "active": "task_master"
}