{
  "startup": {
    "Factorissimo2.easy-research": {
      "value": false
    }
  },
  "runtime-global": {
    "Factorissimo2.free-recursion": {
      "value": false
    }
  },
  "runtime-per-user": {}
}