{
  "STATIC_SHADOW_ANALYSIS": true,
  "STATIC_PRIVATE_ANALYSIS": true,
  "FREE_FORM": false,
  "KEEP_DVM_DIRECTIVES": true,
  "KEEP_SPF_DIRECTIVES": true,
  "PARALLELIZE_FREE_LOOPS": false,
  "MAX_SHADOW_WIDTH": 100,
  "OUTPUT_UPPER": false,
  "TRANSLATE_MESSAGES": true,
  "KEEP_LOOPS_CLOSE_NESTING": true,
  "KEEP_GCOV": true,
  "ANALYSIS_OPTIONS": " ",
  "DEBUG_PRINT_ON": false,
  "MPI_PROGRAM": false,
  "IGNORE_IO_SAPFOR": false,
  "KEEP_SPF_DIRECTIVES_AMONG_TRANSFORMATIONS": true,
  "PARSE_FOR_INLINE": false,
  "Precompilation": true,
  "SaveModifications": true,
  "GCOVLimit": 1,
  "DVMConvertationOptions": " "
}