{
    "J": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7
    ],
    "d": [
        0,
        8,
        11,
        6,
        2,
        11,
        3,
        0
    ],
    "S": [
        [
            0,
            1
        ],
        [
            0,
            2
        ],
        [
            0,
            3
        ],
        [
            0,
            4
        ],
        [
            0,
            5
        ],
        [
            0,
            6
        ],
        [
            1,
            7
        ],
        [
            2,
            7
        ],
        [
            3,
            7
        ],
        [
            4,
            7
        ],
        [
            5,
            7
        ],
        [
            6,
            7
        ],
        [
            4,
            6
        ],
        [
            3,
            5
        ],
        [
            3,
            4
        ]
    ],
    "c": [
        25,
        20,
        21
    ],
    "r": [
        [
            0,
            14,
            14,
            13,
            4,
            15,
            4,
            0
        ],
        [
            0,
            5,
            6,
            4,
            8,
            5,
            14,
            0
        ],
        [
            0,
            11,
            2,
            7,
            6,
            10,
            13,
            0
        ]
    ],
    "EST": [
        0,
        0,
        0,
        0,
        6,
        6,
        8,
        17
    ],
    "z_relax": 17.19956241675549,
    "rc_limits": [
        -4.3298697960381105e-15,
        24.838690030073607
    ],
    "pi_limits": [
        -0.052288739385832894,
        7.184560440634099
    ],
    "z_relax_max": 41.0,
    "z_lb": 36.0,
    "z_ub": 36.0,
    "mipstart": [
        [
            "x(0,0)",
            1.0
        ],
        [
            "x(1,6)",
            1.0
        ],
        [
            "x(2,14)",
            1.0
        ],
        [
            "x(3,0)",
            1.0
        ],
        [
            "x(4,6)",
            1.0
        ],
        [
            "x(5,25)",
            1.0
        ],
        [
            "x(6,19)",
            1.0
        ],
        [
            "x(7,36)",
            1.0
        ]
    ]
}