{
  "R0": [
    "R0"
  ],
  "R1": [
    "R0",
    "R1"
  ],
  "R2": [
    "R0",
    "R2"
  ],
  "R3": [
    "R0",
    "R1",
    "R3"
  ]
}