[ {
  "key" : "primary",
  "components" : [ {
    "name" : "lean",
    "filesCount" : 3,
    "linesOfCode" : 2453,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.lean",
      "value" : 2,
      "description" : [ ]
    }, {
      "name" : "  *.py",
      "value" : 1,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.lean",
      "value" : 2219,
      "description" : [ ]
    }, {
      "name" : "  *.py",
      "value" : 234,
      "description" : [ ]
    } ]
  }, {
    "name" : "metamath",
    "filesCount" : 244,
    "linesOfCode" : 3262,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.mm",
      "value" : 244,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.mm",
      "value" : 3262,
      "description" : [ ]
    } ]
  }, {
    "name" : "hollight",
    "filesCount" : 163,
    "linesOfCode" : 752,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.ml",
      "value" : 163,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.ml",
      "value" : 752,
      "description" : [ ]
    } ]
  }, {
    "name" : "ROOT",
    "filesCount" : 1,
    "linesOfCode" : 7,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.toml",
      "value" : 1,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.toml",
      "value" : 7,
      "description" : [ ]
    } ]
  }, {
    "name" : "isabelle",
    "filesCount" : 244,
    "linesOfCode" : 3505,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.thy",
      "value" : 244,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.thy",
      "value" : 3505,
      "description" : [ ]
    } ]
  } ],
  "componentDependencies" : [ ],
  "componentDependenciesErrors" : [ ],
  "logicalDecomposition" : {
    "name" : "primary",
    "scope" : "main",
    "filters" : [ ],
    "componentsFolderDepth" : 1,
    "minComponentsCount" : 0,
    "components" : [ {
      "name" : "lean",
      "sourceFileFilters" : [ {
        "pathPattern" : "./lean/.*",
        "contentPattern" : "",
        "exception" : false,
        "note" : ""
      } ],
      "files" : [ ]
    }, {
      "name" : "metamath",
      "sourceFileFilters" : [ {
        "pathPattern" : "./metamath/.*",
        "contentPattern" : "",
        "exception" : false,
        "note" : ""
      } ],
      "files" : [ ]
    }, {
      "name" : "hollight",
      "sourceFileFilters" : [ {
        "pathPattern" : "./hollight/.*",
        "contentPattern" : "",
        "exception" : false,
        "note" : ""
      } ],
      "files" : [ ]
    }, {
      "name" : "ROOT",
      "sourceFileFilters" : [ {
        "pathPattern" : "./.*",
        "contentPattern" : "",
        "exception" : false,
        "note" : ""
      }, {
        "pathPattern" : "./lean/.*",
        "contentPattern" : "",
        "exception" : true,
        "note" : ""
      }, {
        "pathPattern" : "./metamath/.*",
        "contentPattern" : "",
        "exception" : true,
        "note" : ""
      }, {
        "pathPattern" : "./hollight/.*",
        "contentPattern" : "",
        "exception" : true,
        "note" : ""
      }, {
        "pathPattern" : "./isabelle/.*",
        "contentPattern" : "",
        "exception" : true,
        "note" : ""
      } ],
      "files" : [ ]
    }, {
      "name" : "isabelle",
      "sourceFileFilters" : [ {
        "pathPattern" : "./isabelle/.*",
        "contentPattern" : "",
        "exception" : false,
        "note" : ""
      } ],
      "files" : [ ]
    } ],
    "metaComponents" : [ ],
    "groups" : [ ],
    "includeRemainingFiles" : true,
    "dependenciesFinder" : {
      "useBuiltInDependencyFinders" : true,
      "rules" : [ ],
      "metaRules" : [ ]
    },
    "renderingOptions" : {
      "orientation" : "TB",
      "maxNumberOfDependencies" : 100,
      "renderComponentsWithoutDependencies" : true,
      "renderIndirectDependencies" : false,
      "renderInternalIndirectDependencies" : false,
      "reverseDirection" : false
    },
    "includeExternalComponents" : true,
    "dependencyLinkThreshold" : 1,
    "duplicationLinkThreshold" : 50,
    "temporalLinkThreshold" : 1,
    "maxSearchDepthLines" : 200
  },
  "fileCountPerComponent" : [ {
    "name" : "lean",
    "value" : 3,
    "description" : [ ]
  }, {
    "name" : "metamath",
    "value" : 244,
    "description" : [ ]
  }, {
    "name" : "hollight",
    "value" : 163,
    "description" : [ ]
  }, {
    "name" : "ROOT",
    "value" : 1,
    "description" : [ ]
  }, {
    "name" : "isabelle",
    "value" : 244,
    "description" : [ ]
  } ],
  "linesOfCodePerComponent" : [ {
    "name" : "lean",
    "value" : 2453,
    "description" : [ ]
  }, {
    "name" : "metamath",
    "value" : 3262,
    "description" : [ ]
  }, {
    "name" : "hollight",
    "value" : 752,
    "description" : [ ]
  }, {
    "name" : "ROOT",
    "value" : 7,
    "description" : [ ]
  }, {
    "name" : "isabelle",
    "value" : 3505,
    "description" : [ ]
  } ]
} ]