{
  "4": [
    "1.1",
    "1.4",
    "1.5",
    "1.6",
    "1.7",
    "1.9",
    "1.10",
    "2.1",
    "2.2",
    "2.3",
    "2.4",
    "2.5",
    "2.6",
    "2.7",
    "2.8",
    "2.9",
    "2.10",
    "2.11",
    "3.2",
    "3.3",
    "3.4",
    "3.5",
    "3.8",
    "3.9",
    "4.1",
    "4.2",
    "4.3",
    "4.4",
    "4.5",
    "4.6",
    "5.1",
    "6.1.2",
    "6.2.1",
    "6.2.2",
    "6.2.3",
    "6.2.4",
    "6.2.5",
    "6.2.6",
    "6.2.7",
    "6.3.1",
    "6.3.2",
    "6.4",
    "6.5",
    "6.7",
    "7.1"
  ],
  "5": [
    "1.8",
    "1.11",
    "3.1",
    "3.6",
    "3.7",
    "4.8",
    "4.9",
    "5.2",
    "6.6"
  ]
}