{
  "metadata" : {
    "name" : "openai / lean-gym",
    "description" : "",
    "tooltip" : "",
    "logoLink" : "https://avatars.githubusercontent.com/openai",
    "links" : [ {
      "label" : "GitHub Repo",
      "href" : "https://github.com/openai/lean-gym.git"
    } ]
  },
  "metricsList" : {
    "metrics" : [ {
      "id" : "TOTAL_NUMBER_OF_FILES",
      "value" : 22,
      "description" : "Total number of files in the source folder"
    }, {
      "id" : "NUMBER_OF_FILES_MAIN",
      "value" : 13,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_MAIN",
      "value" : 1382,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_MAIN_EXT_LEAN",
      "value" : 10,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_MAIN_EXT_LEAN",
      "value" : 1359,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_MAIN_EXT_TOML",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_MAIN_EXT_TOML",
      "value" : 23,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_TEST",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_TEST",
      "value" : 55,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_TEST_EXT_LEAN",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_TEST_EXT_LEAN",
      "value" : 55,
      "description" : null
    }, {
      "id" : "TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE",
      "value" : 3.97,
      "description" : "Test / main code ratio"
    }, {
      "id" : "NUMBER_OF_FILES_GENERATED",
      "value" : 0,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_GENERATED",
      "value" : 0,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_BUILD_AND_DEPLOYMENT",
      "value" : 21,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH",
      "value" : 21,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_OTHER",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_OTHER",
      "value" : 69,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_OTHER_EXT_MD",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_OTHER_EXT_MD",
      "value" : 69,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT",
      "value" : 23,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML",
      "value" : 23,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC",
      "value" : 10,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC",
      "value" : 1359,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC_EXT_LEAN",
      "value" : 10,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC_EXT_LEAN",
      "value" : 1359,
      "description" : null
    }, {
      "id" : "NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY",
      "value" : 0,
      "description" : "Number of anchor dependencies"
    }, {
      "id" : "NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY",
      "value" : 0,
      "description" : null
    }, {
      "id" : "NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY",
      "value" : 0,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_TODOS",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_CONCERN_GENERAL_TODOS",
      "value" : 502,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_LEAN",
      "value" : 1,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_LEAN",
      "value" : 502,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED",
      "value" : 12,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED",
      "value" : 880,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN",
      "value" : 9,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN",
      "value" : 857,
      "description" : null
    }, {
      "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML",
      "value" : 3,
      "description" : null
    }, {
      "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML",
      "value" : 23,
      "description" : null
    }, {
      "id" : "NEGLIGIBLE_RISK_FILE_SIZE_COUNT",
      "value" : 8,
      "description" : "Number of  files with 100 or less lines of code"
    }, {
      "id" : "LOW_RISK_FILE_SIZE_COUNT",
      "value" : 4,
      "description" : "Number of  files with 100 to 200 lines of code"
    }, {
      "id" : "MEDIUM_RISK_FILE_SIZE_COUNT",
      "value" : 0,
      "description" : "Number of  files with 200 to 500 lines of code"
    }, {
      "id" : "HIGH_RISK_FILE_SIZE_COUNT",
      "value" : 1,
      "description" : "Number of  files with 500 to 1000 lines of code"
    }, {
      "id" : "VERY_HIGH_RISK_FILE_SIZE_COUNT",
      "value" : 0,
      "description" : "Number of  files with more than 1000 lines of code"
    }, {
      "id" : "NEGLIGIBLE_RISK_FILE_SIZE_LOC",
      "value" : 281,
      "description" : "Lines of code in  files with 100 or less lines of code"
    }, {
      "id" : "LOW_RISK_FILE_SIZE_LOC",
      "value" : 599,
      "description" : "Lines of code in  files with 100 to 200 lines of code"
    }, {
      "id" : "MEDIUM_RISK_FILE_SIZE_LOC",
      "value" : 0,
      "description" : "Lines of code in  files with 200 to 500 lines of code"
    }, {
      "id" : "HIGH_RISK_FILE_SIZE_LOC",
      "value" : 502,
      "description" : "Lines of code in  files with 500 to 1000 lines of code"
    }, {
      "id" : "VERY_HIGH_RISK_FILE_SIZE_LOC",
      "value" : 0,
      "description" : "Lines of code in  files with more than 1000 lines of code"
    }, {
      "id" : "NUMBER_OF_UNITS",
      "value" : 0,
      "description" : "Number of units"
    }, {
      "id" : "LINES_OF_CODE_IN_UNITS",
      "value" : 0,
      "description" : "Lines of code in units"
    }, {
      "id" : "LINES_OF_CODE_OUTSIDE_UNITS",
      "value" : 1382,
      "description" : "Lines of code in units"
    }, {
      "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_LOW_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_LOW_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_LOW_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_MEDIUM_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_MEDIUM_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_MEDIUM_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_HIGH_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_HIGH_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_HIGH_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_VERY_HIGH_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "UNIT_SIZE_VERY_HIGH_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE",
      "value" : 0.0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT",
      "value" : 0,
      "description" : null
    }, {
      "id" : "CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC",
      "value" : 0,
      "description" : null
    }, {
      "id" : "FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS",
      "value" : 1425,
      "description" : "The age of the repository in days"
    }, {
      "id" : "FILE_CHANGE_HISTORY_ACTIVE_DAYS",
      "value" : 48,
      "description" : "The number of days with at least one file change"
    }, {
      "id" : "FILE_CHANGE_HISTORY_WEEKS",
      "value" : 46,
      "description" : "The number of weeks"
    }, {
      "id" : "FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS",
      "value" : 230,
      "description" : "The number of estimated working days in the period"
    }, {
      "id" : "FILE_AGE_NEGLIGIBLE_RISK_COUNT",
      "value" : 0,
      "description" : "Number of files 1-30 days days old"
    }, {
      "id" : "FILE_AGE_LOW_RISK_COUNT",
      "value" : 0,
      "description" : "Number of files 31-90 days days old"
    }, {
      "id" : "FILE_AGE_MEDIUM_RISK_COUNT",
      "value" : 0,
      "description" : "Number of files 91-180 days days old"
    }, {
      "id" : "FILE_AGE_HIGH_RISK_COUNT",
      "value" : 0,
      "description" : "Number of files 181-365 days days old"
    }, {
      "id" : "FILE_AGE_VERY_HIGH_RISK_COUNT",
      "value" : 13,
      "description" : "Number of files 366+ days days old"
    }, {
      "id" : "FILE_AGE_NEGLIGIBLE_RISK_LOC",
      "value" : 0,
      "description" : "Number of files 1-30 days days old"
    }, {
      "id" : "FILE_AGE_LOW_RISK_LOC",
      "value" : 0,
      "description" : "Number of files 31-90 days days old"
    }, {
      "id" : "FILE_AGE_MEDIUM_RISK_LOC",
      "value" : 0,
      "description" : "Number of files 91-180 days days old"
    }, {
      "id" : "FILE_AGE_HIGH_RISK_LOC",
      "value" : 0,
      "description" : "Number of files 181-365 days days old"
    }, {
      "id" : "FILE_AGE_VERY_HIGH_RISK_LOC",
      "value" : 1382,
      "description" : "Number of files 366+ days days old"
    }, {
      "id" : "NUMBER_OF_CONTRIBUTORS",
      "value" : 10,
      "description" : "Number of contributors"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATES",
      "value" : 13,
      "description" : "Number of duplicates"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES",
      "value" : 5,
      "description" : "Number of files with duplicates"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES",
      "value" : 146,
      "description" : "Number of duplicated lines"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES",
      "value" : 1382,
      "description" : "Number of lines after cleaning for duplication calculations"
    }, {
      "id" : "DUPLICATION_PERCENTAGE",
      "value" : 10.5643994211288,
      "description" : "Duplication percentage"
    }, {
      "id" : "UNIT_DUPLICATES_COUNT",
      "value" : 0,
      "description" : "Unit duplicates"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SRC",
      "value" : 123,
      "description" : "Number of duplicated lines"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SRC",
      "value" : 123,
      "description" : "Number of lines after cleaning for duplication calculations"
    }, {
      "id" : "DUPLICATION_PERCENTAGE_PRIMARY_SRC",
      "value" : 100.0,
      "description" : "Duplication percentage"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT",
      "value" : 23,
      "description" : "Number of duplicated lines"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT",
      "value" : 23,
      "description" : "Number of lines after cleaning for duplication calculations"
    }, {
      "id" : "DUPLICATION_PERCENTAGE_PRIMARY_ROOT",
      "value" : 100.0,
      "description" : "Duplication percentage"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_LEAN",
      "value" : 123,
      "description" : "Number of duplicated lines"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_LEAN",
      "value" : 1359,
      "description" : "Number of lines after cleaning for duplication calculations"
    }, {
      "id" : "DUPLICATION_PERCENTAGE_LEAN",
      "value" : 9.050772626931566,
      "description" : "Duplication percentage"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_TOML",
      "value" : 23,
      "description" : "Number of duplicated lines"
    }, {
      "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_TOML",
      "value" : 23,
      "description" : "Number of lines after cleaning for duplication calculations"
    }, {
      "id" : "DUPLICATION_PERCENTAGE_TOML",
      "value" : 100.0,
      "description" : "Duplication percentage"
    }, {
      "id" : "TOTAL_ANALYSIS_TIME_IN_MILLIS",
      "value" : 188,
      "description" : "Total analysis time in milliseconds"
    } ]
  },
  "controlResults" : {
    "goalsAnalysisResults" : [ {
      "metricsWithGoal" : {
        "goal" : "Keep the system simple and easy to change",
        "description" : "Aim at keeping the system size modest (less than 200,000 LOC is good), duplication low (less than 5% is good), files small (no files longer than 1000 LOC is good), and units simple (no units with more than 25 decision points is good).",
        "controls" : [ {
          "metric" : "LINES_OF_CODE_MAIN",
          "description" : "Total number of lines of main code",
          "desiredRange" : {
            "min" : "0",
            "max" : "200000",
            "tolerance" : "20000"
          }
        }, {
          "metric" : "DUPLICATION_PERCENTAGE",
          "description" : "System duplication",
          "desiredRange" : {
            "min" : "0",
            "max" : "5",
            "tolerance" : "1"
          }
        }, {
          "metric" : "VERY_HIGH_RISK_FILE_SIZE_COUNT",
          "description" : "The number of very large files",
          "desiredRange" : {
            "min" : "0",
            "max" : "0",
            "tolerance" : "1"
          }
        }, {
          "metric" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT",
          "description" : "Number of very complex units",
          "desiredRange" : {
            "min" : "0",
            "max" : "0",
            "tolerance" : "1"
          }
        } ]
      },
      "controlStatuses" : [ {
        "control" : {
          "metric" : "LINES_OF_CODE_MAIN",
          "description" : "Total number of lines of main code",
          "desiredRange" : {
            "min" : "0",
            "max" : "200000",
            "tolerance" : "20000"
          }
        },
        "metric" : {
          "id" : "LINES_OF_CODE_MAIN",
          "value" : 1382,
          "description" : null
        },
        "status" : "OK"
      }, {
        "control" : {
          "metric" : "DUPLICATION_PERCENTAGE",
          "description" : "System duplication",
          "desiredRange" : {
            "min" : "0",
            "max" : "5",
            "tolerance" : "1"
          }
        },
        "metric" : {
          "id" : "DUPLICATION_PERCENTAGE",
          "value" : 10.5643994211288,
          "description" : "Duplication percentage"
        },
        "status" : "FAILED"
      }, {
        "control" : {
          "metric" : "VERY_HIGH_RISK_FILE_SIZE_COUNT",
          "description" : "The number of very large files",
          "desiredRange" : {
            "min" : "0",
            "max" : "0",
            "tolerance" : "1"
          }
        },
        "metric" : {
          "id" : "VERY_HIGH_RISK_FILE_SIZE_COUNT",
          "value" : 0,
          "description" : "Number of  files with more than 1000 lines of code"
        },
        "status" : "OK"
      }, {
        "control" : {
          "metric" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT",
          "description" : "Number of very complex units",
          "desiredRange" : {
            "min" : "0",
            "max" : "0",
            "tolerance" : "1"
          }
        },
        "metric" : {
          "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT",
          "value" : 0,
          "description" : null
        },
        "status" : "OK"
      } ]
    } ]
  },
  "totalNumberOfFilesInScope" : 22,
  "mainAspectAnalysisResults" : {
    "name" : null,
    "filesCount" : 13,
    "linesOfCode" : 1382,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.lean",
      "value" : 10,
      "description" : [ ]
    }, {
      "name" : "  *.toml",
      "value" : 3,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.lean",
      "value" : 1359,
      "description" : [ ]
    }, {
      "name" : "  *.toml",
      "value" : 23,
      "description" : [ ]
    } ]
  },
  "testAspectAnalysisResults" : {
    "name" : null,
    "filesCount" : 1,
    "linesOfCode" : 55,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.lean",
      "value" : 1,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.lean",
      "value" : 55,
      "description" : [ ]
    } ]
  },
  "generatedAspectAnalysisResults" : {
    "name" : null,
    "filesCount" : 0,
    "linesOfCode" : 0,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ ],
    "linesOfCodePerExtension" : [ ]
  },
  "buildAndDeployAspectAnalysisResults" : {
    "name" : null,
    "filesCount" : 3,
    "linesOfCode" : 21,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.sh",
      "value" : 3,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.sh",
      "value" : 21,
      "description" : [ ]
    } ]
  },
  "otherAspectAnalysisResults" : {
    "name" : null,
    "filesCount" : 1,
    "linesOfCode" : 69,
    "numberOfRegexLineMatches" : 0,
    "fileCountPerExtension" : [ {
      "name" : "  *.md",
      "value" : 1,
      "description" : [ ]
    } ],
    "linesOfCodePerExtension" : [ {
      "name" : "  *.md",
      "value" : 69,
      "description" : [ ]
    } ]
  },
  "logicalDecompositionsAnalysisResults" : [ {
    "key" : "primary",
    "components" : [ {
      "name" : "ROOT",
      "filesCount" : 3,
      "linesOfCode" : 23,
      "numberOfRegexLineMatches" : 0,
      "fileCountPerExtension" : [ {
        "name" : "  *.toml",
        "value" : 3,
        "description" : [ ]
      } ],
      "linesOfCodePerExtension" : [ {
        "name" : "  *.toml",
        "value" : 23,
        "description" : [ ]
      } ]
    }, {
      "name" : "src",
      "filesCount" : 10,
      "linesOfCode" : 1359,
      "numberOfRegexLineMatches" : 0,
      "fileCountPerExtension" : [ {
        "name" : "  *.lean",
        "value" : 10,
        "description" : [ ]
      } ],
      "linesOfCodePerExtension" : [ {
        "name" : "  *.lean",
        "value" : 1359,
        "description" : [ ]
      } ]
    } ],
    "componentDependencies" : [ ],
    "componentDependenciesErrors" : [ ],
    "logicalDecomposition" : {
      "name" : "primary",
      "scope" : "main",
      "filters" : [ ],
      "componentsFolderDepth" : 1,
      "minComponentsCount" : 0,
      "components" : [ {
        "name" : "ROOT",
        "sourceFileFilters" : [ {
          "pathPattern" : "./.*",
          "contentPattern" : "",
          "exception" : false,
          "note" : ""
        }, {
          "pathPattern" : "./src/.*",
          "contentPattern" : "",
          "exception" : true,
          "note" : ""
        } ],
        "files" : [ ]
      }, {
        "name" : "src",
        "sourceFileFilters" : [ {
          "pathPattern" : "./src/.*",
          "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" : "ROOT",
      "value" : 3,
      "description" : [ ]
    }, {
      "name" : "src",
      "value" : 10,
      "description" : [ ]
    } ],
    "linesOfCodePerComponent" : [ {
      "name" : "ROOT",
      "value" : 23,
      "description" : [ ]
    }, {
      "name" : "src",
      "value" : 1359,
      "description" : [ ]
    } ]
  } ],
  "concernsAnalysisResults" : [ {
    "key" : "general",
    "concerns" : [ {
      "name" : "TODOs",
      "filesCount" : 1,
      "linesOfCode" : 502,
      "numberOfRegexLineMatches" : 1,
      "fileCountPerExtension" : [ {
        "name" : "  *.lean",
        "value" : 1,
        "description" : [ ]
      } ],
      "linesOfCodePerExtension" : [ {
        "name" : "  *.lean",
        "value" : 502,
        "description" : [ ]
      } ]
    }, {
      "name" : "Unclassified",
      "filesCount" : 12,
      "linesOfCode" : 880,
      "numberOfRegexLineMatches" : 0,
      "fileCountPerExtension" : [ {
        "name" : "  *.lean",
        "value" : 9,
        "description" : [ ]
      }, {
        "name" : "  *.toml",
        "value" : 3,
        "description" : [ ]
      } ],
      "linesOfCodePerExtension" : [ {
        "name" : "  *.lean",
        "value" : 857,
        "description" : [ ]
      }, {
        "name" : "  *.toml",
        "value" : 23,
        "description" : [ ]
      } ]
    } ],
    "concernsGroup" : null,
    "fileCountPerConcern" : [ {
      "name" : "TODOs",
      "value" : 1,
      "description" : [ ]
    }, {
      "name" : "Unclassified",
      "value" : 12,
      "description" : [ ]
    } ],
    "linesOfCodePerConcern" : [ {
      "name" : "TODOs",
      "value" : 502,
      "description" : [ ]
    }, {
      "name" : "Unclassified",
      "value" : 880,
      "description" : [ ]
    } ]
  } ],
  "foundTags" : [ ],
  "filesAnalysisResults" : {
    "overallFileSizeDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 100,
      "mediumRiskThreshold" : 200,
      "highRiskThreshold" : 500,
      "veryHighRiskThreshold" : 1000,
      "negligibleRiskValue" : 281,
      "lowRiskValue" : 599,
      "mediumRiskValue" : 0,
      "highRiskValue" : 502,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 4,
      "negligibleRiskCount" : 8,
      "mediumRiskCount" : 0,
      "highRiskCount" : 1,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-100",
      "lowRiskLabel" : "101-200",
      "mediumRiskLabel" : "201-500",
      "highRiskLabel" : "501-1000",
      "veryHighRiskLabel" : "1001+",
      "totalValue" : 1382,
      "totalCount" : 13,
      "highRiskPercentage" : 36.32416787264834,
      "lowRiskPercentage" : 43.34298118668596,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 20.3328509406657
    },
    "fileSizeDistributionPerExtension" : [ {
      "key" : "toml",
      "lowRiskThreshold" : 100,
      "mediumRiskThreshold" : 200,
      "highRiskThreshold" : 500,
      "veryHighRiskThreshold" : 1000,
      "negligibleRiskValue" : 23,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 3,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-100",
      "lowRiskLabel" : "101-200",
      "mediumRiskLabel" : "201-500",
      "highRiskLabel" : "501-1000",
      "veryHighRiskLabel" : "1001+",
      "totalValue" : 23,
      "totalCount" : 3,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 100.0
    }, {
      "key" : "lean",
      "lowRiskThreshold" : 100,
      "mediumRiskThreshold" : 200,
      "highRiskThreshold" : 500,
      "veryHighRiskThreshold" : 1000,
      "negligibleRiskValue" : 258,
      "lowRiskValue" : 599,
      "mediumRiskValue" : 0,
      "highRiskValue" : 502,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 4,
      "negligibleRiskCount" : 5,
      "mediumRiskCount" : 0,
      "highRiskCount" : 1,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-100",
      "lowRiskLabel" : "101-200",
      "mediumRiskLabel" : "201-500",
      "highRiskLabel" : "501-1000",
      "veryHighRiskLabel" : "1001+",
      "totalValue" : 1359,
      "totalCount" : 10,
      "highRiskPercentage" : 36.938925680647536,
      "lowRiskPercentage" : 44.076526857983815,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 18.984547461368653
    } ],
    "fileSizeDistributionPerLogicalDecomposition" : [ {
      "name" : "primary",
      "fileSizeDistributionPerComponent" : [ {
        "key" : "ROOT",
        "lowRiskThreshold" : 100,
        "mediumRiskThreshold" : 200,
        "highRiskThreshold" : 500,
        "veryHighRiskThreshold" : 1000,
        "negligibleRiskValue" : 23,
        "lowRiskValue" : 0,
        "mediumRiskValue" : 0,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 0,
        "lowRiskCount" : 0,
        "negligibleRiskCount" : 3,
        "mediumRiskCount" : 0,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 0,
        "negligibleRiskLabel" : "1-100",
        "lowRiskLabel" : "101-200",
        "mediumRiskLabel" : "201-500",
        "highRiskLabel" : "501-1000",
        "veryHighRiskLabel" : "1001+",
        "totalValue" : 23,
        "totalCount" : 3,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 0.0,
        "veryHighRiskPercentage" : 0.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 100.0
      }, {
        "key" : "src",
        "lowRiskThreshold" : 100,
        "mediumRiskThreshold" : 200,
        "highRiskThreshold" : 500,
        "veryHighRiskThreshold" : 1000,
        "negligibleRiskValue" : 258,
        "lowRiskValue" : 599,
        "mediumRiskValue" : 0,
        "highRiskValue" : 502,
        "veryHighRiskValue" : 0,
        "lowRiskCount" : 4,
        "negligibleRiskCount" : 5,
        "mediumRiskCount" : 0,
        "highRiskCount" : 1,
        "veryHighRiskCount" : 0,
        "negligibleRiskLabel" : "1-100",
        "lowRiskLabel" : "101-200",
        "mediumRiskLabel" : "201-500",
        "highRiskLabel" : "501-1000",
        "veryHighRiskLabel" : "1001+",
        "totalValue" : 1359,
        "totalCount" : 10,
        "highRiskPercentage" : 36.938925680647536,
        "lowRiskPercentage" : 44.076526857983815,
        "veryHighRiskPercentage" : 0.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 18.984547461368653
      } ]
    } ],
    "longestFiles" : [ {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "filesWithMostUnits" : [ ]
  },
  "filesHistoryAnalysisResults" : {
    "overallFileLastModifiedDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 1382,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 13,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 1382,
      "totalCount" : 13,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    },
    "overallFileFirstModifiedDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 1382,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 13,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 1382,
      "totalCount" : 13,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    },
    "overallFileChangeDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 5,
      "mediumRiskThreshold" : 20,
      "highRiskThreshold" : 50,
      "veryHighRiskThreshold" : 100,
      "negligibleRiskValue" : 676,
      "lowRiskValue" : 196,
      "mediumRiskValue" : 510,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 4,
      "negligibleRiskCount" : 7,
      "mediumRiskCount" : 2,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-5",
      "lowRiskLabel" : "6-20",
      "mediumRiskLabel" : "21-50",
      "highRiskLabel" : "51-100",
      "veryHighRiskLabel" : "101+",
      "totalValue" : 1382,
      "totalCount" : 13,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 14.182344428364688,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 36.90303907380608,
      "negligibleRiskPercentage" : 48.914616497829236
    },
    "overallContributorsCountDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 1,
      "mediumRiskThreshold" : 5,
      "highRiskThreshold" : 10,
      "veryHighRiskThreshold" : 25,
      "negligibleRiskValue" : 312,
      "lowRiskValue" : 568,
      "mediumRiskValue" : 502,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 9,
      "negligibleRiskCount" : 3,
      "mediumRiskCount" : 1,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1",
      "lowRiskLabel" : "2-5",
      "mediumRiskLabel" : "6-10",
      "highRiskLabel" : "11-25",
      "veryHighRiskLabel" : "26+",
      "totalValue" : 1382,
      "totalCount" : 13,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 41.09985528219971,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 36.32416787264834,
      "negligibleRiskPercentage" : 22.575976845151953
    },
    "filesWithoutCommitHistoryCount" : 0,
    "filesWithoutCommitHistoryLinesOfCode" : 0,
    "changeDistributionPerExtension" : [ {
      "key" : "toml",
      "lowRiskThreshold" : 5,
      "mediumRiskThreshold" : 20,
      "highRiskThreshold" : 50,
      "veryHighRiskThreshold" : 100,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 15,
      "mediumRiskValue" : 8,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 2,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 1,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-5",
      "lowRiskLabel" : "6-20",
      "mediumRiskLabel" : "21-50",
      "highRiskLabel" : "51-100",
      "veryHighRiskLabel" : "101+",
      "totalValue" : 23,
      "totalCount" : 3,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 65.21739130434783,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 34.78260869565217,
      "negligibleRiskPercentage" : 0.0
    }, {
      "key" : "lean",
      "lowRiskThreshold" : 5,
      "mediumRiskThreshold" : 20,
      "highRiskThreshold" : 50,
      "veryHighRiskThreshold" : 100,
      "negligibleRiskValue" : 676,
      "lowRiskValue" : 181,
      "mediumRiskValue" : 502,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 2,
      "negligibleRiskCount" : 7,
      "mediumRiskCount" : 1,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-5",
      "lowRiskLabel" : "6-20",
      "mediumRiskLabel" : "21-50",
      "highRiskLabel" : "51-100",
      "veryHighRiskLabel" : "101+",
      "totalValue" : 1359,
      "totalCount" : 10,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 13.318616629874908,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 36.938925680647536,
      "negligibleRiskPercentage" : 49.742457689477554
    } ],
    "lastModifiedDistributionPerExtension" : [ {
      "key" : "toml",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 23,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 3,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 23,
      "totalCount" : 3,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    }, {
      "key" : "lean",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 1359,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 10,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 1359,
      "totalCount" : 10,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    } ],
    "firstModifiedDistributionPerExtension" : [ {
      "key" : "toml",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 23,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 3,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 23,
      "totalCount" : 3,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    }, {
      "key" : "lean",
      "lowRiskThreshold" : 30,
      "mediumRiskThreshold" : 90,
      "highRiskThreshold" : 180,
      "veryHighRiskThreshold" : 365,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 1359,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 10,
      "negligibleRiskLabel" : "1-30 days",
      "lowRiskLabel" : "31-90 days",
      "mediumRiskLabel" : "91-180 days",
      "highRiskLabel" : "181-365 days",
      "veryHighRiskLabel" : "366+ days",
      "totalValue" : 1359,
      "totalCount" : 10,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 100.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    } ],
    "changeDistributionPerLogicalDecomposition" : [ {
      "name" : "primary",
      "distributionPerComponent" : [ {
        "key" : "ROOT",
        "lowRiskThreshold" : 5,
        "mediumRiskThreshold" : 20,
        "highRiskThreshold" : 50,
        "veryHighRiskThreshold" : 100,
        "negligibleRiskValue" : 0,
        "lowRiskValue" : 15,
        "mediumRiskValue" : 8,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 0,
        "lowRiskCount" : 2,
        "negligibleRiskCount" : 0,
        "mediumRiskCount" : 1,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 0,
        "negligibleRiskLabel" : "1-5",
        "lowRiskLabel" : "6-20",
        "mediumRiskLabel" : "21-50",
        "highRiskLabel" : "51-100",
        "veryHighRiskLabel" : "101+",
        "totalValue" : 23,
        "totalCount" : 3,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 65.21739130434783,
        "veryHighRiskPercentage" : 0.0,
        "mediumRiskPercentage" : 34.78260869565217,
        "negligibleRiskPercentage" : 0.0
      }, {
        "key" : "src",
        "lowRiskThreshold" : 5,
        "mediumRiskThreshold" : 20,
        "highRiskThreshold" : 50,
        "veryHighRiskThreshold" : 100,
        "negligibleRiskValue" : 676,
        "lowRiskValue" : 181,
        "mediumRiskValue" : 502,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 0,
        "lowRiskCount" : 2,
        "negligibleRiskCount" : 7,
        "mediumRiskCount" : 1,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 0,
        "negligibleRiskLabel" : "1-5",
        "lowRiskLabel" : "6-20",
        "mediumRiskLabel" : "21-50",
        "highRiskLabel" : "51-100",
        "veryHighRiskLabel" : "101+",
        "totalValue" : 1359,
        "totalCount" : 10,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 13.318616629874908,
        "veryHighRiskPercentage" : 0.0,
        "mediumRiskPercentage" : 36.938925680647536,
        "negligibleRiskPercentage" : 49.742457689477554
      } ]
    } ],
    "firstModifiedDistributionPerLogicalDecomposition" : [ {
      "name" : "primary",
      "distributionPerComponent" : [ {
        "key" : "ROOT",
        "lowRiskThreshold" : 30,
        "mediumRiskThreshold" : 90,
        "highRiskThreshold" : 180,
        "veryHighRiskThreshold" : 365,
        "negligibleRiskValue" : 0,
        "lowRiskValue" : 0,
        "mediumRiskValue" : 0,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 23,
        "lowRiskCount" : 0,
        "negligibleRiskCount" : 0,
        "mediumRiskCount" : 0,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 3,
        "negligibleRiskLabel" : "1-30 days",
        "lowRiskLabel" : "31-90 days",
        "mediumRiskLabel" : "91-180 days",
        "highRiskLabel" : "181-365 days",
        "veryHighRiskLabel" : "366+ days",
        "totalValue" : 23,
        "totalCount" : 3,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 0.0,
        "veryHighRiskPercentage" : 100.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 0.0
      }, {
        "key" : "src",
        "lowRiskThreshold" : 30,
        "mediumRiskThreshold" : 90,
        "highRiskThreshold" : 180,
        "veryHighRiskThreshold" : 365,
        "negligibleRiskValue" : 0,
        "lowRiskValue" : 0,
        "mediumRiskValue" : 0,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 1359,
        "lowRiskCount" : 0,
        "negligibleRiskCount" : 0,
        "mediumRiskCount" : 0,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 10,
        "negligibleRiskLabel" : "1-30 days",
        "lowRiskLabel" : "31-90 days",
        "mediumRiskLabel" : "91-180 days",
        "highRiskLabel" : "181-365 days",
        "veryHighRiskLabel" : "366+ days",
        "totalValue" : 1359,
        "totalCount" : 10,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 0.0,
        "veryHighRiskPercentage" : 100.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 0.0
      } ]
    } ],
    "lastModifiedDistributionPerLogicalDecomposition" : [ {
      "name" : "primary",
      "distributionPerComponent" : [ {
        "key" : "ROOT",
        "lowRiskThreshold" : 30,
        "mediumRiskThreshold" : 90,
        "highRiskThreshold" : 180,
        "veryHighRiskThreshold" : 365,
        "negligibleRiskValue" : 0,
        "lowRiskValue" : 0,
        "mediumRiskValue" : 0,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 23,
        "lowRiskCount" : 0,
        "negligibleRiskCount" : 0,
        "mediumRiskCount" : 0,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 3,
        "negligibleRiskLabel" : "1-30 days",
        "lowRiskLabel" : "31-90 days",
        "mediumRiskLabel" : "91-180 days",
        "highRiskLabel" : "181-365 days",
        "veryHighRiskLabel" : "366+ days",
        "totalValue" : 23,
        "totalCount" : 3,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 0.0,
        "veryHighRiskPercentage" : 100.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 0.0
      }, {
        "key" : "src",
        "lowRiskThreshold" : 30,
        "mediumRiskThreshold" : 90,
        "highRiskThreshold" : 180,
        "veryHighRiskThreshold" : 365,
        "negligibleRiskValue" : 0,
        "lowRiskValue" : 0,
        "mediumRiskValue" : 0,
        "highRiskValue" : 0,
        "veryHighRiskValue" : 1359,
        "lowRiskCount" : 0,
        "negligibleRiskCount" : 0,
        "mediumRiskCount" : 0,
        "highRiskCount" : 0,
        "veryHighRiskCount" : 10,
        "negligibleRiskLabel" : "1-30 days",
        "lowRiskLabel" : "31-90 days",
        "mediumRiskLabel" : "91-180 days",
        "highRiskLabel" : "181-365 days",
        "veryHighRiskLabel" : "366+ days",
        "totalValue" : 1359,
        "totalCount" : 10,
        "highRiskPercentage" : 0.0,
        "lowRiskPercentage" : 0.0,
        "veryHighRiskPercentage" : 100.0,
        "mediumRiskPercentage" : 0.0,
        "negligibleRiskPercentage" : 0.0
      } ]
    } ],
    "oldestFiles" : [ {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "youngestFiles" : [ {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "mostRecentlyChangedFiles" : [ {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "mostPreviouslyChangedFiles" : [ {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "mostChangedFiles" : [ {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "filesWithMostContributors" : [ {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "filesWithLeastContributors" : [ {
      "relativePath" : "src/basic/list.lean",
      "extension" : "lean",
      "linesOfCode" : 139,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/control.lean",
      "extension" : "lean",
      "linesOfCode" : 132,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/util.lean",
      "extension" : "lean",
      "linesOfCode" : 41,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/basic/table.lean",
      "extension" : "lean",
      "linesOfCode" : 198,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/shrink_proof.lean",
      "extension" : "lean",
      "linesOfCode" : 86,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/filter_decls.lean",
      "extension" : "lean",
      "linesOfCode" : 52,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/tools/try_finish.lean",
      "extension" : "lean",
      "linesOfCode" : 28,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_mathlib.toml",
      "extension" : "toml",
      "linesOfCode" : 7,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/io.lean",
      "extension" : "lean",
      "linesOfCode" : 51,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/util/tactic.lean",
      "extension" : "lean",
      "linesOfCode" : 130,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "leanpkg_miniF2F.toml",
      "extension" : "toml",
      "linesOfCode" : 8,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    }, {
      "relativePath" : "src/repl.lean",
      "extension" : "lean",
      "linesOfCode" : 502,
      "unitsCount" : 0,
      "unitsMcCabeIndexSum" : 0,
      "linesOfCodeInUnits" : 0
    } ],
    "firstDate" : "2021-05-21",
    "latestDate" : "2022-04-12",
    "daysBetweenFirstAndLastDate" : 327,
    "weeks" : 46,
    "estimatedWorkindDays" : 230,
    "activeDays" : 48,
    "ageInDays" : 1425,
    "historyPerExtensionPerYear" : [ {
      "extension" : "toml",
      "year" : "2021",
      "commitsCount" : 29,
      "contributors" : [ "39208702+dyekuu@users.noreply.github.com", "dyekuu@qq.com", "spolu@protonmail.com", "spolu@openai.com" ]
    }, {
      "extension" : "sh",
      "year" : "2022",
      "commitsCount" : 3,
      "contributors" : [ "spolu@openai.com" ]
    }, {
      "extension" : "sh",
      "year" : "2021",
      "commitsCount" : 8,
      "contributors" : [ "39395247+jesse-michael-han@users.noreply.github.com", "spolu@protonmail.com", "spolu@openai.com" ]
    }, {
      "extension" : "md",
      "year" : "2022",
      "commitsCount" : 4,
      "contributors" : [ "spolu@openai.com" ]
    }, {
      "extension" : "names",
      "year" : "2021",
      "commitsCount" : 1,
      "contributors" : [ "spolu@openai.com" ]
    }, {
      "extension" : "md",
      "year" : "2021",
      "commitsCount" : 18,
      "contributors" : [ "39395247+jesse-michael-han@users.noreply.github.com", "39208702+dyekuu@users.noreply.github.com", "spolu@protonmail.com", "spolu@openai.com" ]
    }, {
      "extension" : "gitignore",
      "year" : "2021",
      "commitsCount" : 2,
      "contributors" : [ "39395247+jesse-michael-han@users.noreply.github.com", "spolu@openai.com" ]
    }, {
      "extension" : "lean",
      "year" : "2022",
      "commitsCount" : 27,
      "contributors" : [ "765874234@qq.com", "dselsam@openai.com", "spolu@openai.com" ]
    }, {
      "extension" : "",
      "year" : "2021",
      "commitsCount" : 1,
      "contributors" : [ "spolu@openai.com" ]
    }, {
      "extension" : "toml",
      "year" : "2022",
      "commitsCount" : 9,
      "contributors" : [ "dselsam@openai.com", "spolu@openai.com" ]
    }, {
      "extension" : "lean",
      "year" : "2021",
      "commitsCount" : 75,
      "contributors" : [ "kahegbeb@purdue.edu", "hyrodi@gmail.com", "scikud00@gmail.com", "39395247+jesse-michael-han@users.noreply.github.com", "spolu@protonmail.com", "spolu@openai.com" ]
    } ]
  },
  "unitsAnalysisResults" : {
    "totalNumberOfUnits" : 0,
    "linesOfCodeInUnits" : 0,
    "unitSizeRiskDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 10,
      "mediumRiskThreshold" : 20,
      "highRiskThreshold" : 50,
      "veryHighRiskThreshold" : 100,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-10",
      "lowRiskLabel" : "11-20",
      "mediumRiskLabel" : "21-50",
      "highRiskLabel" : "51-100",
      "veryHighRiskLabel" : "101+",
      "totalValue" : 0,
      "totalCount" : 0,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    },
    "conditionalComplexityRiskDistribution" : {
      "key" : "",
      "lowRiskThreshold" : 5,
      "mediumRiskThreshold" : 10,
      "highRiskThreshold" : 25,
      "veryHighRiskThreshold" : 50,
      "negligibleRiskValue" : 0,
      "lowRiskValue" : 0,
      "mediumRiskValue" : 0,
      "highRiskValue" : 0,
      "veryHighRiskValue" : 0,
      "lowRiskCount" : 0,
      "negligibleRiskCount" : 0,
      "mediumRiskCount" : 0,
      "highRiskCount" : 0,
      "veryHighRiskCount" : 0,
      "negligibleRiskLabel" : "1-5",
      "lowRiskLabel" : "6-10",
      "mediumRiskLabel" : "11-25",
      "highRiskLabel" : "26-50",
      "veryHighRiskLabel" : "51+",
      "totalValue" : 0,
      "totalCount" : 0,
      "highRiskPercentage" : 0.0,
      "lowRiskPercentage" : 0.0,
      "veryHighRiskPercentage" : 0.0,
      "mediumRiskPercentage" : 0.0,
      "negligibleRiskPercentage" : 0.0
    },
    "unitSizeRiskDistributionPerExtension" : [ ],
    "unitSizeRiskDistributionPerComponent" : [ [ ] ],
    "longestUnits" : [ ],
    "conditionalComplexityRiskDistributionPerExtension" : [ ],
    "conditionalComplexityRiskDistributionPerComponent" : [ [ ] ],
    "mostComplexUnits" : [ ]
  },
  "duplicationAnalysisResults" : {
    "overallDuplication" : {
      "key" : "system",
      "numberOfDuplicates" : 13,
      "cleanedLinesOfCode" : 1382,
      "duplicatedLinesOfCode" : 146,
      "numberOfFilesWithDuplicates" : 5,
      "duplicationPercentage" : 10.5643994211288
    },
    "duplicationPerComponent" : [ [ {
      "key" : "src",
      "numberOfDuplicates" : 0,
      "cleanedLinesOfCode" : 1359,
      "duplicatedLinesOfCode" : 123,
      "numberOfFilesWithDuplicates" : 0,
      "duplicationPercentage" : 9.050772626931566
    }, {
      "key" : "ROOT",
      "numberOfDuplicates" : 0,
      "cleanedLinesOfCode" : 23,
      "duplicatedLinesOfCode" : 23,
      "numberOfFilesWithDuplicates" : 0,
      "duplicationPercentage" : 100.0
    } ] ],
    "duplicationPerConcern" : [ ],
    "duplicationPerExtension" : [ {
      "key" : "lean",
      "numberOfDuplicates" : 0,
      "cleanedLinesOfCode" : 1359,
      "duplicatedLinesOfCode" : 123,
      "numberOfFilesWithDuplicates" : 0,
      "duplicationPercentage" : 9.050772626931566
    }, {
      "key" : "toml",
      "numberOfDuplicates" : 0,
      "cleanedLinesOfCode" : 23,
      "duplicatedLinesOfCode" : 23,
      "numberOfFilesWithDuplicates" : 0,
      "duplicationPercentage" : 100.0
    } ],
    "longestDuplicates" : [ {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 251,
        "endLine" : 273,
        "cleanedStartLine" : 215,
        "cleanedEndLine" : 237,
        "blockSize" : 23,
        "percentage" : 4.581673306772909
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 390,
        "endLine" : 412,
        "cleanedStartLine" : 348,
        "cleanedEndLine" : 370,
        "blockSize" : 23,
        "percentage" : 4.581673306772909
      } ],
      "blockSize" : 23
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 475,
        "endLine" : 484,
        "cleanedStartLine" : 430,
        "cleanedEndLine" : 439,
        "blockSize" : 10,
        "percentage" : 1.9920318725099602
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 497,
        "endLine" : 506,
        "cleanedStartLine" : 452,
        "cleanedEndLine" : 461,
        "blockSize" : 10,
        "percentage" : 1.9920318725099602
      } ],
      "blockSize" : 10
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 351,
        "endLine" : 359,
        "cleanedStartLine" : 310,
        "cleanedEndLine" : 318,
        "blockSize" : 9,
        "percentage" : 1.792828685258964
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 390,
        "endLine" : 398,
        "cleanedStartLine" : 348,
        "cleanedEndLine" : 356,
        "blockSize" : 9,
        "percentage" : 1.792828685258964
      } ],
      "blockSize" : 9
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 251,
        "endLine" : 259,
        "cleanedStartLine" : 215,
        "cleanedEndLine" : 223,
        "blockSize" : 9,
        "percentage" : 1.792828685258964
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 351,
        "endLine" : 359,
        "cleanedStartLine" : 310,
        "cleanedEndLine" : 318,
        "blockSize" : 9,
        "percentage" : 1.792828685258964
      } ],
      "blockSize" : 9
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "leanpkg.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 9,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 8,
        "blockSize" : 8,
        "percentage" : 100.0
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg_miniF2F.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 9,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 8,
        "blockSize" : 8,
        "percentage" : 100.0
      } ],
      "blockSize" : 8
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 251,
        "endLine" : 258,
        "cleanedStartLine" : 215,
        "cleanedEndLine" : 222,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 328,
        "endLine" : 335,
        "cleanedStartLine" : 288,
        "cleanedEndLine" : 295,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      } ],
      "blockSize" : 8
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 328,
        "endLine" : 335,
        "cleanedStartLine" : 288,
        "cleanedEndLine" : 295,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 390,
        "endLine" : 397,
        "cleanedStartLine" : 348,
        "cleanedEndLine" : 355,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      } ],
      "blockSize" : 8
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 328,
        "endLine" : 335,
        "cleanedStartLine" : 288,
        "cleanedEndLine" : 295,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 351,
        "endLine" : 358,
        "cleanedStartLine" : 310,
        "cleanedEndLine" : 317,
        "blockSize" : 8,
        "percentage" : 1.593625498007968
      } ],
      "blockSize" : 8
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "leanpkg.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 8,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 7,
        "blockSize" : 7,
        "percentage" : 87.5
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg_mathlib.toml",
          "extension" : "toml",
          "linesOfCode" : 7,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 7,
        "startLine" : 1,
        "endLine" : 8,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 7,
        "blockSize" : 7,
        "percentage" : 100.0
      } ],
      "blockSize" : 7
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 297,
        "endLine" : 303,
        "cleanedStartLine" : 260,
        "cleanedEndLine" : 266,
        "blockSize" : 7,
        "percentage" : 1.3944223107569722
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 436,
        "endLine" : 442,
        "cleanedStartLine" : 393,
        "cleanedEndLine" : 399,
        "blockSize" : 7,
        "percentage" : 1.3944223107569722
      } ],
      "blockSize" : 7
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "leanpkg_mathlib.toml",
          "extension" : "toml",
          "linesOfCode" : 7,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 7,
        "startLine" : 1,
        "endLine" : 8,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 7,
        "blockSize" : 7,
        "percentage" : 100.0
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg_miniF2F.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 8,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 7,
        "blockSize" : 7,
        "percentage" : 87.5
      } ],
      "blockSize" : 7
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/util/io.lean",
          "extension" : "lean",
          "linesOfCode" : 51,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 51,
        "startLine" : 17,
        "endLine" : 23,
        "cleanedStartLine" : 13,
        "cleanedEndLine" : 19,
        "blockSize" : 7,
        "percentage" : 13.72549019607843
      }, {
        "sourceFile" : {
          "relativePath" : "src/util/io.lean",
          "extension" : "lean",
          "linesOfCode" : 51,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 51,
        "startLine" : 32,
        "endLine" : 38,
        "cleanedStartLine" : 27,
        "cleanedEndLine" : 33,
        "blockSize" : 7,
        "percentage" : 13.72549019607843
      } ],
      "blockSize" : 7
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 279,
        "endLine" : 284,
        "cleanedStartLine" : 243,
        "cleanedEndLine" : 248,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 418,
        "endLine" : 423,
        "cleanedStartLine" : 376,
        "cleanedEndLine" : 381,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      } ],
      "blockSize" : 6
    } ],
    "mostFrequentDuplicates" : [ {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 252,
        "endLine" : 257,
        "cleanedStartLine" : 216,
        "cleanedEndLine" : 221,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 329,
        "endLine" : 334,
        "cleanedStartLine" : 289,
        "cleanedEndLine" : 294,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 352,
        "endLine" : 357,
        "cleanedStartLine" : 311,
        "cleanedEndLine" : 316,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 391,
        "endLine" : 396,
        "cleanedStartLine" : 349,
        "cleanedEndLine" : 354,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      } ],
      "blockSize" : 6
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "leanpkg_mathlib.toml",
          "extension" : "toml",
          "linesOfCode" : 7,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 7,
        "startLine" : 1,
        "endLine" : 7,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 6,
        "blockSize" : 6,
        "percentage" : 85.71428571428571
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg_miniF2F.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 7,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 6,
        "blockSize" : 6,
        "percentage" : 75.0
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 1,
        "endLine" : 7,
        "cleanedStartLine" : 1,
        "cleanedEndLine" : 6,
        "blockSize" : 6,
        "percentage" : 75.0
      } ],
      "blockSize" : 6
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "leanpkg_mathlib.toml",
          "extension" : "toml",
          "linesOfCode" : 7,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 7,
        "startLine" : 2,
        "endLine" : 8,
        "cleanedStartLine" : 2,
        "cleanedEndLine" : 7,
        "blockSize" : 6,
        "percentage" : 85.71428571428571
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg_miniF2F.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 2,
        "endLine" : 8,
        "cleanedStartLine" : 2,
        "cleanedEndLine" : 7,
        "blockSize" : 6,
        "percentage" : 75.0
      }, {
        "sourceFile" : {
          "relativePath" : "leanpkg.toml",
          "extension" : "toml",
          "linesOfCode" : 8,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 8,
        "startLine" : 2,
        "endLine" : 8,
        "cleanedStartLine" : 2,
        "cleanedEndLine" : 7,
        "blockSize" : 6,
        "percentage" : 75.0
      } ],
      "blockSize" : 6
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 253,
        "endLine" : 258,
        "cleanedStartLine" : 217,
        "cleanedEndLine" : 222,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 330,
        "endLine" : 335,
        "cleanedStartLine" : 290,
        "cleanedEndLine" : 295,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 353,
        "endLine" : 358,
        "cleanedStartLine" : 312,
        "cleanedEndLine" : 317,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 392,
        "endLine" : 397,
        "cleanedStartLine" : 350,
        "cleanedEndLine" : 355,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      } ],
      "blockSize" : 6
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 251,
        "endLine" : 256,
        "cleanedStartLine" : 215,
        "cleanedEndLine" : 220,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 328,
        "endLine" : 333,
        "cleanedStartLine" : 288,
        "cleanedEndLine" : 293,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 351,
        "endLine" : 356,
        "cleanedStartLine" : 310,
        "cleanedEndLine" : 315,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 390,
        "endLine" : 395,
        "cleanedStartLine" : 348,
        "cleanedEndLine" : 353,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      } ],
      "blockSize" : 6
    }, {
      "displayContent" : "",
      "duplicatedFileBlocks" : [ {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 254,
        "endLine" : 259,
        "cleanedStartLine" : 218,
        "cleanedEndLine" : 223,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 354,
        "endLine" : 359,
        "cleanedStartLine" : 313,
        "cleanedEndLine" : 318,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      }, {
        "sourceFile" : {
          "relativePath" : "src/repl.lean",
          "extension" : "lean",
          "linesOfCode" : 502,
          "unitsCount" : 0,
          "unitsMcCabeIndexSum" : 0,
          "linesOfCodeInUnits" : 0
        },
        "sourceFileCleanedLinesOfCode" : 502,
        "startLine" : 393,
        "endLine" : 398,
        "cleanedStartLine" : 351,
        "cleanedEndLine" : 356,
        "blockSize" : 6,
        "percentage" : 1.1952191235059761
      } ],
      "blockSize" : 6
    } ]
  },
  "contributorsAnalysisResults" : {
    "latestCommitDate" : "2022-04-12",
    "contributors" : [ {
      "email" : "spolu@openai.com",
      "commitsCount" : 90,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-05-21",
      "latestCommitDate" : "2022-04-12",
      "activeYears" : [ "2021", "2022" ],
      "commitDates" : [ "2022-04-12", "2022-02-17", "2022-02-16", "2022-02-07", "2022-02-05", "2022-01-21", "2021-11-15", "2021-11-12", "2021-10-06", "2021-10-01", "2021-09-30", "2021-09-29", "2021-09-08", "2021-08-30", "2021-07-21", "2021-06-30", "2021-06-17", "2021-06-16", "2021-06-11", "2021-06-10", "2021-06-08", "2021-06-07", "2021-06-01", "2021-05-31", "2021-05-28", "2021-05-27", "2021-05-25", "2021-05-24", "2021-05-22", "2021-05-21" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "dselsam@openai.com",
      "commitsCount" : 15,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2022-02-04",
      "latestCommitDate" : "2022-02-16",
      "activeYears" : [ "2022" ],
      "commitDates" : [ "2022-02-16", "2022-02-15", "2022-02-10", "2022-02-08", "2022-02-04" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "scikud00@gmail.com",
      "commitsCount" : 13,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-11-01",
      "latestCommitDate" : "2021-11-10",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-11-10", "2021-11-09", "2021-11-05", "2021-11-04", "2021-11-03", "2021-11-02", "2021-11-01" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "spolu@protonmail.com",
      "commitsCount" : 6,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-06-01",
      "latestCommitDate" : "2021-09-30",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-09-30", "2021-06-30", "2021-06-11", "2021-06-08", "2021-06-07", "2021-06-01" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "hyrodi@gmail.com",
      "commitsCount" : 5,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-05-30",
      "latestCommitDate" : "2021-10-12",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-10-12", "2021-06-08", "2021-05-31", "2021-05-30" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "39395247+jesse-michael-han@users.noreply.github.com",
      "commitsCount" : 3,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-05-26",
      "latestCommitDate" : "2021-08-29",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-08-29", "2021-05-30", "2021-05-26" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "39208702+dyekuu@users.noreply.github.com",
      "commitsCount" : 2,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-08-11",
      "latestCommitDate" : "2021-08-12",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-08-12", "2021-08-11" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "765874234@qq.com",
      "commitsCount" : 1,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2022-04-12",
      "latestCommitDate" : "2022-04-12",
      "activeYears" : [ "2022" ],
      "commitDates" : [ "2022-04-12" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "kahegbeb@purdue.edu",
      "commitsCount" : 1,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-11-16",
      "latestCommitDate" : "2021-11-16",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-11-16" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    }, {
      "email" : "dyekuu@qq.com",
      "commitsCount" : 1,
      "commitsCount30Days" : 0,
      "commitsCount90Days" : 0,
      "commitsCount180Days" : 0,
      "commitsCount365Days" : 0,
      "firstCommitDate" : "2021-08-12",
      "latestCommitDate" : "2021-08-12",
      "activeYears" : [ "2021" ],
      "commitDates" : [ "2021-08-12" ],
      "bot" : false,
      "active" : false,
      "rookie" : false
    } ],
    "contributorsPerYear" : [ {
      "timeSlot" : "2021",
      "contributorsCount" : 8,
      "commitsCount" : 106
    }, {
      "timeSlot" : "2022",
      "contributorsCount" : 3,
      "commitsCount" : 31
    } ],
    "contributorsPerMonth" : [ {
      "timeSlot" : "2021-05",
      "contributorsCount" : 3,
      "commitsCount" : 32
    }, {
      "timeSlot" : "2021-06",
      "contributorsCount" : 3,
      "commitsCount" : 37
    }, {
      "timeSlot" : "2021-07",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-08",
      "contributorsCount" : 4,
      "commitsCount" : 6
    }, {
      "timeSlot" : "2021-09",
      "contributorsCount" : 2,
      "commitsCount" : 5
    }, {
      "timeSlot" : "2021-10",
      "contributorsCount" : 2,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2021-11",
      "contributorsCount" : 3,
      "commitsCount" : 21
    }, {
      "timeSlot" : "2022-01",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2022-02",
      "contributorsCount" : 2,
      "commitsCount" : 28
    }, {
      "timeSlot" : "2022-04",
      "contributorsCount" : 2,
      "commitsCount" : 2
    } ],
    "contributorsPerDay" : [ {
      "timeSlot" : "2021-05-21",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2021-05-22",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-05-24",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-05-25",
      "contributorsCount" : 1,
      "commitsCount" : 5
    }, {
      "timeSlot" : "2021-05-26",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-05-27",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2021-05-28",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-05-30",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-05-31",
      "contributorsCount" : 2,
      "commitsCount" : 14
    }, {
      "timeSlot" : "2021-06-01",
      "contributorsCount" : 2,
      "commitsCount" : 6
    }, {
      "timeSlot" : "2021-06-07",
      "contributorsCount" : 2,
      "commitsCount" : 11
    }, {
      "timeSlot" : "2021-06-08",
      "contributorsCount" : 3,
      "commitsCount" : 8
    }, {
      "timeSlot" : "2021-06-10",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-06-11",
      "contributorsCount" : 2,
      "commitsCount" : 6
    }, {
      "timeSlot" : "2021-06-16",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-06-17",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-06-30",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-07-21",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-08-11",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-08-12",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-08-29",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-08-30",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-09-08",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-09-29",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-09-30",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-10-01",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-10-06",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-10-12",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-01",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-02",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-03",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-04",
      "contributorsCount" : 1,
      "commitsCount" : 4
    }, {
      "timeSlot" : "2021-11-05",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2021-11-09",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-10",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-11-12",
      "contributorsCount" : 1,
      "commitsCount" : 6
    }, {
      "timeSlot" : "2021-11-15",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-16",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2022-01-21",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2022-02-04",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2022-02-05",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2022-02-07",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2022-02-08",
      "contributorsCount" : 1,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2022-02-10",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2022-02-15",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2022-02-16",
      "contributorsCount" : 2,
      "commitsCount" : 8
    }, {
      "timeSlot" : "2022-02-17",
      "contributorsCount" : 1,
      "commitsCount" : 5
    }, {
      "timeSlot" : "2022-04-12",
      "contributorsCount" : 2,
      "commitsCount" : 2
    } ],
    "contributorsPerWeek" : [ {
      "timeSlot" : "2021-05-17",
      "contributorsCount" : 1,
      "commitsCount" : 4
    }, {
      "timeSlot" : "2021-05-24",
      "contributorsCount" : 3,
      "commitsCount" : 14
    }, {
      "timeSlot" : "2021-05-31",
      "contributorsCount" : 3,
      "commitsCount" : 20
    }, {
      "timeSlot" : "2021-06-07",
      "contributorsCount" : 3,
      "commitsCount" : 27
    }, {
      "timeSlot" : "2021-06-14",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-06-28",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-07-19",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-08-09",
      "contributorsCount" : 2,
      "commitsCount" : 3
    }, {
      "timeSlot" : "2021-08-23",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-08-30",
      "contributorsCount" : 1,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2021-09-06",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-09-27",
      "contributorsCount" : 2,
      "commitsCount" : 5
    }, {
      "timeSlot" : "2021-10-04",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-10-11",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2021-11-01",
      "contributorsCount" : 1,
      "commitsCount" : 10
    }, {
      "timeSlot" : "2021-11-08",
      "contributorsCount" : 2,
      "commitsCount" : 9
    }, {
      "timeSlot" : "2021-11-15",
      "contributorsCount" : 2,
      "commitsCount" : 2
    }, {
      "timeSlot" : "2022-01-17",
      "contributorsCount" : 1,
      "commitsCount" : 1
    }, {
      "timeSlot" : "2022-01-31",
      "contributorsCount" : 2,
      "commitsCount" : 5
    }, {
      "timeSlot" : "2022-02-07",
      "contributorsCount" : 2,
      "commitsCount" : 8
    }, {
      "timeSlot" : "2022-02-14",
      "contributorsCount" : 2,
      "commitsCount" : 15
    }, {
      "timeSlot" : "2022-04-11",
      "contributorsCount" : 2,
      "commitsCount" : 2
    } ],
    "commitsPerExtensions" : [ {
      "extension" : "lean",
      "commitsCount" : 172,
      "committers" : [ "spolu@openai.com", "765874234@qq.com", "dselsam@openai.com", "kahegbeb@purdue.edu", "scikud00@gmail.com", "hyrodi@gmail.com", "spolu@protonmail.com", "39395247+jesse-michael-han@users.noreply.github.com" ],
      "filesCount" : 19,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "kahegbeb@purdue.edu",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "765874234@qq.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "scikud00@gmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 20
      }, {
        "contributor" : "hyrodi@gmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 7
      }, {
        "contributor" : "39395247+jesse-michael-han@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 4
      }, {
        "contributor" : "dselsam@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 23
      }, {
        "contributor" : "spolu@protonmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 11
      }, {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 105
      } ]
    }, {
      "extension" : "toml",
      "commitsCount" : 66,
      "committers" : [ "spolu@openai.com", "dselsam@openai.com", "spolu@protonmail.com", "dyekuu@qq.com", "39208702+dyekuu@users.noreply.github.com" ],
      "filesCount" : 4,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "dyekuu@qq.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "39208702+dyekuu@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 2
      }, {
        "contributor" : "dselsam@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 3
      }, {
        "contributor" : "spolu@protonmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 10
      }, {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 50
      } ]
    }, {
      "extension" : "md",
      "commitsCount" : 22,
      "committers" : [ "spolu@openai.com", "39208702+dyekuu@users.noreply.github.com", "spolu@protonmail.com", "39395247+jesse-michael-han@users.noreply.github.com" ],
      "filesCount" : 1,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "39395247+jesse-michael-han@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "39208702+dyekuu@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "spolu@protonmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 3
      }, {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 17
      } ]
    }, {
      "extension" : "sh",
      "commitsCount" : 14,
      "committers" : [ "spolu@openai.com", "spolu@protonmail.com", "39395247+jesse-michael-han@users.noreply.github.com" ],
      "filesCount" : 5,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "39395247+jesse-michael-han@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "spolu@protonmail.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 12
      } ]
    }, {
      "extension" : "gitignore",
      "commitsCount" : 2,
      "committers" : [ "39395247+jesse-michael-han@users.noreply.github.com", "spolu@openai.com" ],
      "filesCount" : 1,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "39395247+jesse-michael-han@users.noreply.github.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      }, {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      } ]
    }, {
      "extension" : "",
      "commitsCount" : 1,
      "committers" : [ "spolu@openai.com" ],
      "filesCount" : 1,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 1
      } ]
    }, {
      "extension" : "names",
      "commitsCount" : 6,
      "committers" : [ "spolu@openai.com" ],
      "filesCount" : 6,
      "commitsCount30Days" : 0,
      "committers30Days" : [ ],
      "filesCount30Days" : 0,
      "commitsCount90Days" : 0,
      "committers90Days" : [ ],
      "filesCount90Days" : 0,
      "contributorPerExtensionStats" : [ {
        "contributor" : "spolu@openai.com",
        "fileUpdates30Days" : 0,
        "fileUpdates90Days" : 0,
        "fileUpdates" : 6
      } ]
    } ]
  },
  "numberOfExcludedFiles" : 4,
  "excludedExtensions" : {
    "" : 1,
    "txt" : 1,
    "gitignore" : 1,
    "json" : 1
  },
  "analysisStartTimeMs" : 1744625116353,
  "maxLinesOfCode" : 1382,
  "maxFileCount" : 13
}