TOTAL_NUMBER_OF_FILES: 1317
NUMBER_OF_FILES_MAIN: 655
LINES_OF_CODE_MAIN: 9979
NUMBER_OF_FILES_MAIN_EXT_THY: 244
LINES_OF_CODE_MAIN_EXT_THY: 3505
NUMBER_OF_FILES_MAIN_EXT_MM: 244
LINES_OF_CODE_MAIN_EXT_MM: 3262
NUMBER_OF_FILES_MAIN_EXT_LEAN: 2
LINES_OF_CODE_MAIN_EXT_LEAN: 2219
NUMBER_OF_FILES_MAIN_EXT_ML: 163
LINES_OF_CODE_MAIN_EXT_ML: 752
NUMBER_OF_FILES_MAIN_EXT_PY: 1
LINES_OF_CODE_MAIN_EXT_PY: 234
NUMBER_OF_FILES_MAIN_EXT_TOML: 1
LINES_OF_CODE_MAIN_EXT_TOML: 7
NUMBER_OF_FILES_TEST: 652
LINES_OF_CODE_TEST: 8632
NUMBER_OF_FILES_TEST_EXT_THY: 244
LINES_OF_CODE_TEST_EXT_THY: 3312
NUMBER_OF_FILES_TEST_EXT_MM: 244
LINES_OF_CODE_TEST_EXT_MM: 2447
NUMBER_OF_FILES_TEST_EXT_LEAN: 1
LINES_OF_CODE_TEST_EXT_LEAN: 2283
NUMBER_OF_FILES_TEST_EXT_ML: 163
LINES_OF_CODE_TEST_EXT_ML: 590
TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE: 86.5
NUMBER_OF_FILES_GENERATED: 0
LINES_OF_CODE_GENERATED: 0
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT: 2
LINES_OF_CODE_BUILD_AND_DEPLOYMENT: 17
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH: 2
LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH: 17
NUMBER_OF_FILES_OTHER: 1
LINES_OF_CODE_OTHER: 93
NUMBER_OF_FILES_OTHER_EXT_MD: 1
LINES_OF_CODE_OTHER_EXT_MD: 93
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN: 3
LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN: 2453
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN: 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN: 2219
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_PY: 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_PY: 234
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH: 244
LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH: 3262
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM: 244
LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM: 3262
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT: 163
LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT: 752
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML: 163
LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML: 752
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT: 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT: 7
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML: 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML: 7
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE: 244
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE: 3505
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY: 244
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY: 3505
NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY: 0
NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY: 0
NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY: 0
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS: 1
LINES_OF_CODE_CONCERN_GENERAL_TODOS: 234
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_PY: 1
LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_PY: 234
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED: 654
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED: 9745
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY: 244
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY: 3505
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM: 244
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM: 3262
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN: 2
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN: 2219
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML: 163
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML: 752
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML: 1
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML: 7
NEGLIGIBLE_RISK_FILE_SIZE_COUNT: 653
LOW_RISK_FILE_SIZE_COUNT: 0
MEDIUM_RISK_FILE_SIZE_COUNT: 1
HIGH_RISK_FILE_SIZE_COUNT: 0
VERY_HIGH_RISK_FILE_SIZE_COUNT: 1
NEGLIGIBLE_RISK_FILE_SIZE_LOC: 7613
LOW_RISK_FILE_SIZE_LOC: 0
MEDIUM_RISK_FILE_SIZE_LOC: 234
HIGH_RISK_FILE_SIZE_LOC: 0
VERY_HIGH_RISK_FILE_SIZE_LOC: 2132
NUMBER_OF_UNITS: 15
LINES_OF_CODE_IN_UNITS: 211
LINES_OF_CODE_OUTSIDE_UNITS: 9768
UNIT_SIZE_NEGLIGIBLE_RISK_LOC: 57
UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE: 27.01421800947867
UNIT_SIZE_NEGLIGIBLE_RISK_COUNT: 9
UNIT_SIZE_LOW_RISK_LOC: 47
UNIT_SIZE_LOW_RISK_PERCENTAGE: 22.274881516587676
UNIT_SIZE_LOW_RISK_COUNT: 3
UNIT_SIZE_MEDIUM_RISK_LOC: 107
UNIT_SIZE_MEDIUM_RISK_PERCENTAGE: 50.71090047393365
UNIT_SIZE_MEDIUM_RISK_COUNT: 3
UNIT_SIZE_HIGH_RISK_LOC: 0
UNIT_SIZE_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_HIGH_RISK_COUNT: 0
UNIT_SIZE_VERY_HIGH_RISK_LOC: 0
UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_VERY_HIGH_RISK_COUNT: 0
UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC: 57
UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE: 27.01421800947867
UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT: 9
UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_LOC: 47
UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_PERCENTAGE: 22.274881516587676
UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_COUNT: 3
UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_LOC: 107
UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE: 50.71090047393365
UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_COUNT: 3
UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_LOC: 0
UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_COUNT: 0
UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_LOC: 0
UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT: 0
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_LOC: 57
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_PERCENTAGE: 27.01421800947867
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_COUNT: 9
UNIT_SIZE_EXTENSION_PY_LOW_RISK_LOC: 47
UNIT_SIZE_EXTENSION_PY_LOW_RISK_PERCENTAGE: 22.274881516587676
UNIT_SIZE_EXTENSION_PY_LOW_RISK_COUNT: 3
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_LOC: 107
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_PERCENTAGE: 50.71090047393365
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_COUNT: 3
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_LOC: 0
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_COUNT: 0
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_LOC: 0
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_PERCENTAGE: 0.0
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_COUNT: 0
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC: 72
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE: 34.12322274881517
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT: 9
CONDITIONAL_COMPLEXITY_LOW_RISK_LOC: 35
CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE: 16.587677725118482
CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT: 3
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC: 62
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE: 29.38388625592417
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT: 2
CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC: 42
CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE: 19.90521327014218
CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT: 1
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC: 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE: 0.0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT: 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT: 1
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC: 42
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC: 72
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE: 34.12322274881517
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT: 9
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_LOC: 35
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_PERCENTAGE: 16.587677725118482
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_COUNT: 3
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_LOC: 62
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE: 29.38388625592417
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_COUNT: 2
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_LOC: 42
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE: 19.90521327014218
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_COUNT: 1
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_LOC: 0
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE: 0.0
CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT: 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_LOC: 72
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_PERCENTAGE: 34.12322274881517
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_COUNT: 9
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_LOC: 35
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_PERCENTAGE: 16.587677725118482
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_COUNT: 3
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_LOC: 62
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_PERCENTAGE: 29.38388625592417
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_COUNT: 2
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_LOC: 42
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_PERCENTAGE: 19.90521327014218
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_COUNT: 1
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_LOC: 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_PERCENTAGE: 0.0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_COUNT: 0
FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS: 1442
FILE_CHANGE_HISTORY_ACTIVE_DAYS: 77
FILE_CHANGE_HISTORY_WEEKS: 56
FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS: 280
FILE_AGE_NEGLIGIBLE_RISK_COUNT: 0
FILE_AGE_LOW_RISK_COUNT: 0
FILE_AGE_MEDIUM_RISK_COUNT: 0
FILE_AGE_HIGH_RISK_COUNT: 0
FILE_AGE_VERY_HIGH_RISK_COUNT: 655
FILE_AGE_NEGLIGIBLE_RISK_LOC: 0
FILE_AGE_LOW_RISK_LOC: 0
FILE_AGE_MEDIUM_RISK_LOC: 0
FILE_AGE_HIGH_RISK_LOC: 0
FILE_AGE_VERY_HIGH_RISK_LOC: 9979
NUMBER_OF_CONTRIBUTORS: 12
DUPLICATION_NUMBER_OF_DUPLICATES: 0
DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES: 0
DUPLICATION_NUMBER_OF_DUPLICATED_LINES: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES: 9977
DUPLICATION_PERCENTAGE: 0.0
UNIT_DUPLICATES_COUNT: 0
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_LEAN: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_LEAN: 0
DUPLICATION_PERCENTAGE_PRIMARY_LEAN: NaN
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_METAMATH: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_METAMATH: 0
DUPLICATION_PERCENTAGE_PRIMARY_METAMATH: NaN
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_HOLLIGHT: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_HOLLIGHT: 0
DUPLICATION_PERCENTAGE_PRIMARY_HOLLIGHT: NaN
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT: 0
DUPLICATION_PERCENTAGE_PRIMARY_ROOT: NaN
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ISABELLE: 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ISABELLE: 0
DUPLICATION_PERCENTAGE_PRIMARY_ISABELLE: NaN
TOTAL_ANALYSIS_TIME_IN_MILLIS: 4665