```json
{
  "sym_variables": [
    ("x0", "geraniums"),
    ("x1", "agave"),
    ("x2", "potato vines"),
    ("x3", "coleus"),
    ("x4", "tulips"),
    ("x5", "carrots")
  ],
  "objective_function": "5.82 * x0 + 3.88 * x1 + 5.1 * x2 + 9.21 * x3 + 3.01 * x4 + 2.0 * x5",
  "constraints": [
    "9 * x4 + 4 * x5 >= 20",
    "6 * x1 + 2 * x3 >= 21",
    "2 * x2 + 2 * x3 >= 32",
    "2 * x3 + 4 * x5 >= 39",
    "9 * x0 + 2 * x3 >= 37",
    "6 * x1 + 4 * x5 >= 58",
    "6 * x1 + 2 * x2 >= 52",
    "2 * x3 + 11 * x4 >= 58",
    "9 * x0 + 6 * x1 >= 36",
    "9 * x0 + 11 * x4 + 4 * x5 >= 60",
    "6 * x1 + 2 * x2 + 4 * x5 >= 60",
    "9 * x0 + 6 * x1 + 2 * x2 >= 60",
    "2 * x2 + 2 * x3 + 11 * x4 >= 60",
    "9 * x0 + 2 * x2 + 11 * x4 >= 60",
    "9 * x0 + 2 * x2 + 4 * x5 >= 60",
    "9 * x0 + 11 * x4 + 4 * x5 >= 47",
    "6 * x1 + 2 * x2 + 4 * x5 >= 47",
    "9 * x0 + 6 * x1 + 2 * x2 >= 47",
    "2 * x2 + 2 * x3 + 11 * x4 >= 47",
    "9 * x0 + 2 * x2 + 11 * x4 >= 47",
    "9 * x0 + 2 * x2 + 4 * x5 >= 47",
    "9 * x0 + 11 * x4 + 4 * x5 >= 45",
    "6 * x1 + 2 * x2 + 4 * x5 >= 45",
    "9 * x0 + 6 * x1 + 2 * x2 >= 45",
    "2 * x2 + 2 * x3 + 11 * x4 >= 45",
    "9 * x0 + 2 * x2 + 11 * x4 >= 45",
    "9 * x0 + 2 * x2 + 4 * x5 >= 45",
    "9 * x0 + 11 * x4 + 4 * x5 >= 59",
    "6 * x1 + 2 * x2 + 4 * x5 >= 59",
    "9 * x0 + 6 * x1 + 2 * x2 >= 59",
    "2 * x2 + 2 * x3 + 11 * x4 >= 59",
    "9 * x0 + 2 * x2 + 11 * x4 >= 59",
    "9 * x0 + 2 * x2 + 4 * x5 >= 59",
    "9 * x0 + 11 * x4 + 4 * x5 >= 37",
    "6 * x1 + 2 * x2 + 4 * x5 >= 37",
    "9 * x0 + 6 * x1 + 2 * x2 >= 37",
    "2 * x2 + 2 * x3 + 11 * x4 >= 37",
    "9 * x0 + 2 * x2 + 11 * x4 >= 37",
    "9 * x0 + 2 * x2 + 4 * x5 >= 37",
    "9 * x0 + 11 * x4 + 4 * x5 >= 37",
    "6 * x1 + 2 * x2 + 4 * x5 >= 37",
    "9 * x0 + 6 * x1 + 2 * x2 >= 37",
    "2 * x2 + 2 * x3 + 11 * x4 >= 37",
    "9 * x0 + 2 * x2 + 11 * x4 >= 37",
    "9 * x0 + 2 * x2 + 4 * x5 >= 37",
    "9 * x0 + 6 * x1 + 2 * x2 + 2 * x3 + 11 * x4 + 4 * x5 >= 37",
    "14 * x3 + 12 * x4 >= 22",
    "13 * x2 + 12 * x4 >= 13",
    "12 * x4 + 2 * x5 >= 23",
    "13 * x2 + 14 * x3 >= 13",
    "4 * x0 + 12 * x4 >= 20",
    "7 * x1 + 12 * x4 >= 27",
    "4 * x0 + 2 * x5 >= 34",
    "7 * x1 + 2 * x5 >= 14",
    "13 * x2 + 2 * x5 >= 21",
    "4 * x0 + 13 * x2 >= 16",
    "4 * x0 + 14 * x3 >= 17",
    "7 * x1 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 13 * x2 + 14 * x3 >= 20",
    "13 * x2 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 7 * x1 + 12 * x4 >= 20",
    "4 * x0 + 7 * x1 + 2 * x5 >= 20",
    "4 * x0 + 13 * x2 + 12 * x4 >= 20",
    "13 * x2 + 14 * x3 + 2 * x5 >= 20",
    "7 * x1 + 14 * x3 + 12 * x4 >= 20",
    "7 * x1 + 13 * x2 + 12 * x4 >= 20",
    "4 * x0 + 7 * x1 + 14 * x3 >= 20",
    "13 * x2 + 14 * x3 + 12 * x4 >= 20",
    "7 * x1 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 13 * x2 + 14 * x3 >= 20",
    "13 * x2 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 12 * x4 + 2 * x5 >= 20",
    "4 * x0 + 7 * x1 + 12 * x4 >= 20",
    "4 * x0 + 7 * x1 + 2 * x5 >= 20",
    "4 * x0 + 13 * x2 + 12 * x4 >= 20",
    "13 * x2 + 14 * x3 + 2 * x5 >= 20",
    "7 * x1 + 14 * x3 + 12 * x4 >= 20",
    "7 * x1 + 13 * x2 + 12 * x4 >= 20",
    "4 * x0 + 7 * x1 + 14 * x3 >= 20",
    "13 * x2 + 14 * x3 + 12 * x4 >= 20",
    "7 * x1 + 12 * x4 + 2 * x5 >= 25",
    "4 * x0 + 13 * x2 + 14 * x3 >= 25",
    "13 * x2 + 12 * x4 + 2 * x5 >= 25",
    "4 * x0 + 12 * x4 + 2 * x5 >= 25",
    "4 * x0 + 7 * x1 + 12 * x4 >= 25",
    "4 * x0 + 7 * x1 + 2 * x5 >= 25",
    "4 * x0 + 13 * x2 + 12 * x4 >= 25",
    "13 * x2 + 14 * x3 + 2 * x5 >= 25",
    "7 * x1 + 14 * x3 + 12 * x4 >= 25",
    "7 * x1 + 13 * x2 + 12 * x4 >= 25",
    "4 * x0 + 7 * x1 + 14 * x3 >= 25",
    "13 * x2 + 14 * x3 + 12 * x4 >= 25",
    "7 * x1 + 12 * x4 + 2 * x5 >= 17",
    "4 * x0 + 13 * x2 + 14 * x3 >= 17",
    "13 * x2 + 12 * x4 + 2 * x5 >= 17",
    "4 * x0 + 12 * x4 + 2 * x5 >= 17",
    "4 * x0 + 7 * x1 + 12 * x4 >= 17",
    "4 * x0 + 7 * x1 + 2 * x5 >= 17",
    "4 * x0 + 13 * x2 + 12 * x4 >= 17",
    "13 * x2 + 14 * x3 + 2 * x5 >= 17",
    "7 * x1 + 14 * x3 + 12 * x4 >= 17",
    "7 * x1 + 13 * x2 + 12 * x4 >= 17",
    "4 * x0 + 7 * x1 + 14 * x3 >= 17",
    "13 * x2 + 14 * x3 + 12 * x4 >= 17",
    "7 * x1 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 13 * x2 + 14 * x3 >= 26",
    "13 * x2 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 7 * x1 + 12 * x4 >= 26",
    "4 * x0 + 7 * x1 + 2 * x5 >= 26",
    "4 * x0 + 13 * x2 + 12 * x4 >= 26",
    "13 * x2 + 14 * x3 + 2 * x5 >= 26",
    "7 * x1 + 14 * x3 + 12 * x4 >= 26",
    "7 * x1 + 13 * x2 + 12 * x4 >= 26",
    "4 * x0 + 7 * x1 + 14 * x3 >= 26",
    "13 * x2 + 14 * x3 + 12 * x4 >= 26",
    "7 * x1 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 13 * x2 + 14 * x3 >= 32",
    "13 * x2 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 7 * x1 + 12 * x4 >= 32",
    "4 * x0 + 7 * x1 + 2 * x5 >= 32",
    "4 * x0 + 13 * x2 + 12 * x4 >= 32",
    "13 * x2 + 14 * x3 + 2 * x5 >= 32",
    "7 * x1 + 14 * x3 + 12 * x4 >= 32",
    "7 * x1 + 13 * x2 + 12 * x4 >= 32",
    "4 * x0 + 7 * x1 + 14 * x3 >= 32",
    "13 * x2 + 14 * x3 + 12 * x4 >= 32",
    "7 * x1 + 12 * x4 + 2 * x5 >= 24",
    "4 * x0 + 13 * x2 + 14 * x3 >= 24",
    "13 * x2 + 12 * x4 + 2 * x5 >= 24",
    "4 * x0 + 12 * x4 + 2 * x5 >= 24",
    "4 * x0 + 7 * x1 + 12 * x4 >= 24",
    "4 * x0 + 7 * x1 + 2 * x5 >= 24",
    "4 * x0 + 13 * x2 + 12 * x4 >= 24",
    "13 * x2 + 14 * x3 + 2 * x5 >= 24",
    "7 * x1 + 14 * x3 + 12 * x4 >= 24",
    "7 * x1 + 13 * x2 + 12 * x4 >= 24",
    "4 * x0 + 7 * x1 + 14 * x3 >= 24",
    "13 * x2 + 14 * x3 + 12 * x4 >= 24",
    "7 * x1 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 13 * x2 + 14 * x3 >= 26",
    "13 * x2 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 12 * x4 + 2 * x5 >= 26",
    "4 * x0 + 7 * x1 + 12 * x4 >= 26",
    "4 * x0 + 7 * x1 + 2 * x5 >= 26",
    "4 * x0 + 13 * x2 + 12 * x4 >= 26",
    "13 * x2 + 14 * x3 + 2 * x5 >= 26",
    "7 * x1 + 14 * x3 + 12 * x4 >= 26",
    "7 * x1 + 13 * x2 + 12 * x4 >= 26",
    "4 * x0 + 7 * x1 + 14 * x3 >= 26",
    "13 * x2 + 14 * x3 + 12 * x4 >= 26",
    "7 * x1 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 13 * x2 + 14 * x3 >= 32",
    "13 * x2 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 12 * x4 + 2 * x5 >= 32",
    "4 * x0 + 7 * x1 + 12 * x4 >= 32",
    "4 * x0 + 7 * x1 + 2 * x5 >= 32",
    "4 * x0 + 13 * x2 + 12 * x4 >= 32",
    "13 * x2 + 14 * x3 + 2 * x5 >= 32",
    "7 * x1 + 14 * x3 + 12 * x4 >= 32",
    "7 * x1 + 13 * x2 + 12 * x4 >= 32",
    "4 * x0 + 7 * x1 + 14 * x3 >= 32",
    "13 * x2 + 14 * x3 + 12 * x4 >= 32",
    "7 * x1 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 13 * x2 + 14 * x3 >= 22",
    "13 * x2 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 7 * x1 + 12 * x4 >= 22",
    "4 * x0 + 7 * x1 + 2 * x5 >= 22",
    "4 * x0 + 13 * x2 + 12 * x4 >= 22",
    "13 * x2 + 14 * x3 + 2 * x5 >= 22",
    "7 * x1 + 14 * x3 + 12 * x4 >= 22",
    "7 * x1 + 13 * x2 + 12 * x4 >= 22",
    "4 * x0 + 7 * x1 + 14 * x3 >= 22",
    "13 * x2 + 14 * x3 + 12 * x4 >= 22",
    "7 * x1 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 13 * x2 + 14 * x3 >= 22",
    "13 * x2 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 12 * x4 + 2 * x5 >= 22",
    "4 * x0 + 7 * x1 + 12 * x4 >= 22",
    "4 * x0 + 7 * x1 + 2 * x5 >= 22",
    "4 * x0 + 13 * x2 + 12 * x4 >= 22",
    "13 * x2 + 14 * x3 + 2 * x5 >= 22",
    "7 * x1 + 14 * x3 + 12 * x4 >= 22",
    "7 * x1 + 13 * x2 + 12 * x4 >= 22",
    "4 * x0 + 7 * x1 + 14 * x3 >= 22",
    "13 * x2 + 14 * x3 + 12 * x4 >= 22",
    "7 * x1 + 12 * x4 + 2 * x5 >= 21",
    "4 * x0 + 13 * x2 + 14 * x3 >= 21",
    "13 * x2 + 12 * x4 + 2 * x5 >= 21",
    "4 * x0 + 12 * x4 + 2 * x5 >= 21",
    "4 * x0 + 7 * x1 + 12 * x4 >= 21",
    "4 * x0 + 7 * x1 + 2 * x5 >= 21",
    "4 * x0 + 13 * x2 + 12 * x4 >= 21",
    "13 * x2 + 14 * x3 + 2 * x5 >= 21",
    "7 * x1 + 14 * x3 + 12 * x4 >= 21",
    "7 * x1 + 13 * x2 + 12 * x4 >= 21",
    "4 * x0 + 7 * x1 + 14 * x3 >= 21",
    "13 * x2 + 14 * x3 + 12 * x4 >= 21",
    "7 * x0 + 7 * x2 >= 41",
    "8 * x4 + 10 * x5 >= 19",
    "7 * x0 + 10 * x3 >= 54",
    "7 * x2 + 10 * x3 >= 39",
    "7 * x2 + 10 * x5 >= 37",
    "7 * x0 + 8 * x4 >= 46",
    "8 * x1 + 7 * x2 >= 26",
    "8 * x1 + 10 * x3 >= 38",
    "7 * x0 + 8 * x1 >= 42",
    "10 * x3 + 10 * x5 >= 55",
    "7 * x2 + 8 * x4 + 10 * x5 >= 38",
    "8 * x1 + 7 * x2 + 10 * x5 >= 38",
    "8 * x1 + 10 * x3 + 8 * x4 >= 38",
    "7 * x2 + 10 * x3 + 8 * x4 >= 38",
    "7 * x0 + 8 * x1 + 10 * x3 >= 38",
    "8 * x1 + 7 * x2 + 8 * x4 >= 38",
    "7 * x0 + 8 * x1 + 8 * x4 >= 38",
    "7 * x0 + 10 * x3 + 10 * x5 >= 38",
    "7 * x0 + 10 * x3 + 8 * x4 >= 38",
    "8 * x1 + 7 * x2 + 10 * x3 >= 38",
    "7 * x2 + 10 * x3 + 10 * x5 >= 38",
    "7 * x0 + 7 * x2 + 8 * x4 >= 38",
    "7 * x0 + 7 * x2 + 10 * x3 >= 38",
    "8 * x1 + 10 * x3 + 10 * x5 >= 38",
    "7 * x0 + 8 * x4 + 10 * x5 >= 38",
    "8 * x1 + 8 * x4 + 10 * x5 >= 38",
    "7 * x2 + 8 * x4 + 10 * x5 >= 41",
    "8 * x1 + 7 * x2 + 10 * x5 >= 41",
    "8 * x1 + 10 * x3 + 8 * x4 >= 41",
    "7 * x2 + 10 * x3 + 8 * x4 >= 41",
    "7 * x0 + 8 * x1 + 10 * x3 >= 41",
    "8 * x1 + 7 * x2 + 8 * x4 >= 41",
    "7 * x0 + 8 * x1 + 8 * x4 >= 41",
    "7 * x0 + 10 * x3 + 10 * x5 >= 41",
    "7 * x0 + 10 * x3 + 8 * x4 >= 41",
    "8 * x1 + 7 * x2 + 10 * x3 >= 41",
    "7 * x2 + 10 * x3 + 10 * x5 >= 41",
    "7 * x0 + 7 * x2 + 8 * x4 >= 41",
    "7 * x0 + 7 * x2 + 10 * x3 >= 41",
    "8 * x1 + 10 * x3 + 10 * x5 >= 41",
    "7 * x0 + 8 * x4 + 10 * x5 >= 41",
    "8 * x1 + 8 * x4 + 10 * x5 >= 41",
    "7 * x2 + 8 * x4 + 10 * x5 >= 48",
    "8 * x1 + 7 * x2 + 10 * x5 >= 48",
    "8 * x1 + 10 * x3 + 8 * x4 >= 48",
    "7 * x2 + 10 * x3 + 8 * x4 >= 48",
    "7 * x0 + 8 * x1 + 10 * x3 >= 48",
    "8 * x1 + 7 * x2 + 8 * x4 >= 48",
    "7 * x0 + 8 * x1 + 8 * x4 >= 48",
    "7 * x0 + 10 * x3 + 10 * x5 >= 48",
    "7 * x0 + 10 * x3 + 8 * x4 >= 48",
    "8 * x1 + 7 * x2 + 10 * x3 >= 48",
    "7 * x2 + 10 * x3 + 10 * x5 >= 48",
    "7 * x0 + 7 * x2 + 8 * x4 >= 48",
    "7 * x0 + 7 * x2 + 10 * x3 >= 48",
    "8 * x1 + 10 * x3 + 10 * x5 >= 48",
    "7 * x0 + 8 * x4 + 10 * x5 >= 48",
    "8 * x1 + 8 * x4 + 10 * x5 >= 48",
    "7 * x2 + 8 * x4 + 10 * x5 >= 52",
    "8 * x1 + 7 * x2 + 10 * x5 >= 52",
    "8 * x1 + 10 * x3 + 8 * x4 >= 52",
    "7 * x2 + 10 * x3 + 8 * x4 >= 52",
    "7 * x0 + 8 * x1 + 10 * x3 >= 52",
    "8 * x1 + 7 * x2 + 8 * x4 >= 52",
    "7 * x0 + 8 * x1 + 8 * x4 >= 52",
    "7 * x0 + 10 * x3 + 10 * x5 >= 52",
    "7 * x0 + 10 * x3 + 8 * x4 >= 52",
    "8 * x1 + 7 * x2 + 10 * x3 >= 52",
    "7 * x2 + 10 * x3 + 10 * x5 >= 52",
    "7 * x0 + 7 * x2 + 8 * x4 >= 52",
    "7 * x0 + 7 * x2 + 10 * x3 >= 52",
    "8 * x1 + 10 * x3 + 10 * x5 >= 52",
    "7 * x0 + 8 * x4 + 10 * x5 >= 52",
    "8 * x1 + 8 * x4 + 10 * x5 >= 52",
    "7 * x2 + 8 * x4 + 10 * x5 >= 40",
    "8 * x1 + 7 * x2 + 10 * x5 >= 40",
    "8 * x1 + 10 * x3 + 8 * x4 >= 40",
    "7 * x2 + 10 * x3 + 8 * x4 >= 40",
    "7 * x0 + 8 * x1 + 10 * x3 >= 40",
    "8 * x1 + 7 * x2 + 8 * x4 >= 40",
    "7 * x0 + 8 * x1 + 8 * x4 >= 40",
    "7 * x0 + 10 * x3 + 10 * x5 >= 40",
    "7 * x0 + 10 * x3 + 8 * x4 >= 40",
    "8 * x1 + 7 * x2 + 10 * x3 >= 40",
    "7 * x2 + 10 * x3 + 10 * x5 >= 40",
    "7 * x0 + 7 * x2 + 8 * x4 >= 40",
    "7 * x0 + 7 * x2 + 10 * x3 >= 40",
    "8 * x1 + 10 * x3 + 10 * x5 >= 40",
    "7 * x0 + 8 * x4 + 10 * x5 >= 40",
    "8 * x1 + 8 * x4 + 10 * x5 >= 40",
    "7 * x2 + 8 * x4 + 10 * x5 >= 37",
    "8 * x1 + 7 * x2 + 10 * x5 >= 37",
    "8 * x1 + 10 * x3 + 8 * x4 >= 37",
    "7 * x2 + 10 * x3 + 8 * x4 >= 37",
    "7 * x0 + 8 * x1 + 10 * x3 >= 37",
    "8 * x1 + 7 * x2 + 8 * x4 >= 37",
    "7 * x0 + 8 * x1 + 8 * x4 >= 37",
    "7 * x0 + 10 * x3 + 10 * x5 >= 37",
    "7 * x0 + 10 * x3 + 8 * x4 >= 37",
    "8 * x1 + 7 * x2 + 10 * x3 >= 37",
    "7 * x2 + 10 * x3 + 10 * x5 >= 37",
    "7 * x0 + 7 * x2 + 8 * x4 >= 37",
    "7 * x0 + 7 * x2 + 10 * x3 >= 37",
    "8 * x1 + 10 * x3 + 10 * x5 >= 37",
    "7 * x0 + 8 * x4 + 10 * x5 >= 37",
    "8 * x1 + 8 * x4 + 10 * x5 >= 37",
    "7 * x2 + 8 * x4 + 10 * x5 >= 45",
    "8 * x1 + 7 * x2 + 10 * x5 >= 45",
    "8 * x1 + 10 * x3 + 8 * x4 >= 45",
    "7 * x2 + 10 * x3 + 8 * x4 >= 45",
    "7 * x0 + 8 * x1 + 10 * x3 >= 45",
    "8 * x1 + 7 * x2 + 8 * x4 >= 45",
    "7 * x0 + 8 * x1 + 8 * x4 >= 45",
    "7 * x0 + 10 * x3 + 10 * x5 >= 45",
    "7 * x0 + 10 * x3 + 8 * x4 >= 45",
    "8 * x1 + 7 * x2 + 10 * x3 >= 45",
    "7 * x2 + 10 * x3 + 10 * x5 >= 45",
    "7 * x0 + 7 * x2 + 8 * x4 >= 45",
    "7 * x0 + 7 * x2 + 10 * x3 >= 45",
    "8 * x1 + 10 * x3 + 10 * x5 >= 45",
    "7 * x0 + 8 * x4 + 10 * x5 >= 45",
    "8 * x1 + 8 * x4 + 10 * x5 >= 45",
    "7 * x2 + 8 * x4 + 10 * x5 >= 39",
    "8 * x1 + 7 * x2 + 10 * x5 >= 39",
    "8 * x1 + 10 * x3 + 8 * x4 >= 39",
    "7 * x2