roadroller-config.json

{
  "allowFreeVars": true,
  "numAbbreviations": 32,
  "dynamicModels": 0,
  "recipLearningRate": 710,
  "modelMaxCount": 6,
  "sparseSelectors": [
    0,
    1,
    3,
    5,
    6,
    10,
    25,
    63,
    111,
    174,
    425,
    437
  ]
}