{
    "10.16": "11",
    "11.0": "11",
    "11.1": "11",
    "11.*": "11",
    "12.*": "12",
    "13.*": "13"
}