```json
{
  "sym_variables": [
    ("x0", "milligrams of vitamin B6"),
    ("x1", "milligrams of magnesium"),
    ("x2", "milligrams of vitamin B5"),
    ("x3", "grams of protein"),
    ("x4", "milligrams of potassium"),
    ("x5", "grams of carbohydrates")
  ],
  "objective_function": "3*x0**2 + 5*x0*x1 + 8*x0*x2 + x0*x5 + 3*x1**2 + 7*x1*x2 + 7*x1*x3 + 6*x1*x5 + 6*x2**2 + 9*x2*x4 + 5*x2*x5 + 5*x4*x5 + 4*x0 + 4*x2 + 4*x4 + 3*x5",
  "constraints": [
    "15.5*x0 + 2.21*x1 >= 39",
    "15.5*x0 + 12.56*x2 + 8.35*x3 >= 85",
    "2.21*x1 + 12.56*x2 + 16.97*x4 >= 85",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 85",
    "12.56*x2 + 8.35*x3 + 3.12*x5 >= 85",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 85",
    "2.21*x1**2 + 8.35*x3**2 + 3.12*x5**2 >= 85",
    "15.5*x0 + 16.97*x4 + 3.12*x5 >= 85",
    "15.5*x0**2 + 12.56*x2**2 + 16.97*x4**2 >= 85",
    "15.5*x0 + 12.56*x2 + 8.35*x3 >= 52",
    "2.21*x1**2 + 12.56*x2**2 + 16.97*x4**2 >= 52",
    "15.5*x0**2 + 2.21*x1**2 + 16.97*x4**2 >= 52",
    "12.56*x2**2 + 8.35*x3**2 + 3.12*x5**2 >= 52",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 52",
    "2.21*x1 + 8.35*x3 + 3.12*x5 >= 52",
    "15.5*x0 + 16.97*x4 + 3.12*x5 >= 52",
    "15.5*x0**2 + 12.56*x2**2 + 16.97*x4**2 >= 52",
    "15.5*x0**2 + 12.56*x2**2 + 8.35*x3**2 >= 78",
    "2.21*x1 + 12.56*x2 + 16.97*x4 >= 78",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 78",
    "12.56*x2**2 + 8.35*x3**2 + 3.12*x5**2 >= 78",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 78",
    "2.21*x1 + 8.35*x3 + 3.12*x5 >= 78",
    "15.5*x0**2 + 16.97*x4**2 + 3.12*x5**2 >= 78",
    "15.5*x0 + 12.56*x2 + 16.97*x4 >= 78",
    "15.5*x0 + 12.56*x2 + 8.35*x3 >= 63",
    "2.21*x1 + 12.56*x2 + 16.97*x4 >= 63",
    "15.5*x0**2 + 2.21*x1**2 + 16.97*x4**2 >= 63",
    "12.56*x2 + 8.35*x3 + 3.12*x5 >= 63",
    "8.35*x3**2 + 16.97*x4**2 + 3.12*x5**2 >= 63",
    "2.21*x1**2 + 8.35*x3**2 + 3.12*x5**2 >= 63",
    "15.5*x0 + 16.97*x4 + 3.12*x5 >= 63",
    "15.5*x0 + 12.56*x2 + 16.97*x4 >= 63",
    "15.5*x0**2 + 12.56*x2**2 + 8.35*x3**2 >= 69",
    "2.21*x1 + 12.56*x2 + 16.97*x4 >= 69",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 69",
    "12.56*x2**2 + 8.35*x3**2 + 3.12*x5**2 >= 69",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 69",
    "2.21*x1**2 + 8.35*x3**2 + 3.12*x5**2 >= 69",
    "15.5*x0 + 16.97*x4 + 3.12*x5 >= 69",
    "15.5*x0 + 12.56*x2 + 16.97*x4 >= 69",
    "15.5*x0**2 + 12.56*x2**2 + 8.35*x3**2 >= 89",
    "2.21*x1**2 + 12.56*x2**2 + 16.97*x4**2 >= 89",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 89",
    "12.56*x2 + 8.35*x3 + 3.12*x5 >= 89",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 89",
    "2.21*x1 + 8.35*x3 + 3.12*x5 >= 89",
    "15.5*x0 + 16.97*x4 + 3.12*x5 >= 89",
    "15.5*x0**2 + 12.56*x2**2 + 16.97*x4**2 >= 89",
    "15.5*x0 + 12.56*x2 + 8.35*x3 >= 98",
    "2.21*x1 + 12.56*x2 + 16.97*x4 >= 98",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 98",
    "12.56*x2**2 + 8.35*x3**2 + 3.12*x5**2 >= 98",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 98",
    "2.21*x1 + 8.35*x3 + 3.12*x5 >= 98",
    "15.5*x0**2 + 16.97*x4**2 + 3.12*x5**2 >= 98",
    "15.5*x0 + 12.56*x2 + 16.97*x4 >= 98",
    "15.5*x0 + 12.56*x2 + 8.35*x3 >= 92",
    "2.21*x1**2 + 12.56*x2**2 + 16.97*x4**2 >= 92",
    "15.5*x0 + 2.21*x1 + 16.97*x4 >= 92",
    "12.56*x2**2 + 8.35*x3**2 + 3.12*x5**2 >= 92",
    "8.35*x3 + 16.97*x4 + 3.12*x5 >= 92",
    "2.21*x1**2 + 8.35*x3**2 + 3.12*x5**2 >= 92",
    "15.5*x0**2 + 16.97*x4**2 + 3.12*x5**2 >= 92",
    "15.5*x0**2 + 12.56*x2**2 + 16.97*x4**2 >= 92",
    "10.42*x3 + 7.06*x5 >= 32",
    "1.51*x0 + 15.77*x4 >= 26",
    "13.43*x1 + 7.06*x5 >= 39",
    "12.24*x2 + 7.06*x5 >= 37",
    "15.77*x4 + 7.06*x5 >= 18",
    "1.51*x0**2 + 15.77*x4**2 + 7.06*x5**2 >= 28",
    "13.43*x1 + 10.42*x3 + 7.06*x5 >= 28",
    "1.51*x0**2 + 13.43*x1**2 + 15.77*x4**2 >= 28",
    "13.43*x1**2 + 12.24*x2**2 + 10.42*x3**2 >= 28",
    "1.51*x0**2 + 12.24*x2**2 + 15.77*x4**2 >= 28",
    "1.51*x0 + 15.77*x4 + 7.06*x5 >= 27",
    "13.43*x1 + 10.42*x3 + 7.06*x5 >= 27",
    "1.51*x0 + 13.43*x1 + 15.77*x4 >= 27",
    "13.43*x1 + 12.24*x2 + 10.42*x3 >= 27",
    "1.51*x0 + 12.24*x2 + 15.77*x4 >= 27",
    "1.51*x0 + 15.77*x4 + 7.06*x5 >= 20",
    "13.43*x1 + 10.42*x3 + 7.06*x5 >= 20",
    "1.51*x0**2 + 13.43*x1**2 + 15.77*x4**2 >= 20",
    "13.43*x1**2 + 12.24*x2**2 + 10.42*x3**2 >= 20",
    "1.51*x0 + 12.24*x2 + 15.77*x4 >= 20",
    "1.51*x0**2 + 15.77*x4**2 + 7.06*x5**2 >= 24",
    "13.43*x1**2 + 10.42*x3**2 + 7.06*x5**2 >= 24",
    "1.51*x0 + 13.43*x1 + 15.77*x4 >= 24",
    "13.43*x1 + 12.24*x2 + 10.42*x3 >= 24",
    "1.51*x0 + 12.24*x2 + 15.77*x4 >= 24",
    "1.51*x0 + 15.77*x4 + 7.06*x5 >= 22",
    "13.43*x1**2 + 10.42*x3**2 + 7.06*x5**2 >= 22",
    "1.51*x0 + 13.43*x1 + 15.77*x4 >= 22",
    "13.43*x1 + 12.24*x2 + 10.42*x3 >= 22",
    "1.51*x0 + 12.24*x2 + 15.77*x4 >= 22",
    "5.69*x0**2 + 4.31*x5**2 >= 42",
    "5.69*x0 + 11.02*x4 >= 22",
    "6.89*x3 + 4.31*x5 >= 23",
    "4.29*x2**2 + 4.31*x5**2 >= 45",
    "4.29*x2**2 + 6.89*x3**2 >= 44",
    "5.69*x0**2 + 4.29*x2**2 >= 41",
    "6.09*x1 + 11.02*x4 + 4.31*x5 >= 34",
    "5.69*x0 + 6.89*x3 + 4.31*x5 >= 34",
    "5.69*x0 + 4.29*x2 + 11.02*x4 >= 34",
    "5.69*x0 + 11.02*x4 + 4.31*x5 >= 34",
    "6.09*x1 + 6.89*x3 + 4.31*x5 >= 34",
    "5.69*x0**2 + 6.09*x1**2 + 4.31*x5**2 >= 34",
    "6.09*x1 + 11.02*x4 + 4.31*x5 >= 54",
    "5.69*x0**2 + 6.89*x3**2 + 4.31*x5**2 >= 54",
    "5.69*x0 + 4.29*x2 + 11.02*x4 >= 54",
    "5.69*x0**2 + 11.02*x4**2 + 4.31*x5**2 >= 54",
    "6.09*x1 + 6.89*x3 + 4.31*x5 >= 54",
    "5.69*x0 + 6.09*x1 + 4.31*x5 >= 54",
    "6.09*x1**2 + 11.02*x4**2 + 4.31*x5**2 >= 47",
    "5.69*x0 + 6.89*x3 + 4.31*x5 >= 47",
    "5.69*x0 + 4.29*x2 + 11.02*x4 >= 47",
    "5.69*x0**2 + 11.02*x4**2 + 4.31*x5**2 >= 47",
    "6.09*x1 + 6.89*x3 + 4.31*x5 >= 47",
    "5.69*x0 + 6.09*x1 + 4.31*x5 >= 47",
    "6.09*x1**2 + 11.02*x4**2 + 4.31*x5**2 >= 52",
    "5.69*x0 + 6.89*x3 + 4.31*x5 >= 52",
    "5.69*x0 + 4.29*x2 + 11.02*x4 >= 52",
    "5.69*x0**2 + 11.02*x4**2 + 4.31*x5**2 >= 52",
    "6.09*x1 + 6.89*x3 + 4.31*x5 >= 52",
    "5.69*x0 + 6.09*x1 + 4.31*x5 >= 52",
    "6.09*x1**2 + 11.02*x4**2 + 4.31*x5**2 >= 41",
    "5.69*x0 + 6.89*x3 + 4.31*x5 >= 41",
    "5.69*x0**2 + 4.29*x2**2 + 11.02*x4**2 >= 41",
    "5.69*x0 + 11.02*x4 + 4.31*x5 >= 41",
    "6.09*x1**2 + 6.89*x3**2 + 4.31*x5**2 >= 41",
    "5.69*x0**2 + 6.09*x1**2 + 4.31*x5**2 >= 41",
    "6.09*x1 + 11.02*x4 + 4.31*x5 >= 50",
    "5.69*x0**2 + 6.89*x3**2 + 4.31*x5**2 >= 50",
    "5.69*x0 + 4.29*x2 + 11.02*x4 >= 50",
    "5.69*x0 + 11.02*x4 + 4.31*x5 >= 50",
    "6.09*x1**2 + 6.89*x3**2 + 4.31*x5**2 >= 50",
    "5.69*x0**2 + 6.09*x1**2 + 4.31*x5**2 >= 50",
    "9.33*x0**2 + 9.23*x4**2 + 16.21*x5**2 >= 15",
    "9.33*x0**2 + 14.63*x3**2 + 9.23*x4**2 >= 15",
    "10.58*x1 + 14.63*x3 + 16.21*x5 >= 15",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 15",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 15",
    "7.23*x2**2 + 14.63*x3**2 + 16.21*x5**2 >= 15",
    "10.58*x1 + 9.23*x4 + 16.21*x5 >= 15",
    "9.33*x0 + 10.58*x1 + 16.21*x5 >= 15",
    "14.63*x3 + 9.23*x4 + 16.21*x5 >= 15",
    "9.33*x0 + 10.58*x1 + 7.23*x2 >= 15",
    "10.58*x1 + 14.63*x3 + 9.23*x4 >= 15",
    "7.23*x2**2 + 9.23*x4**2 + 16.21*x5**2 >= 15",
    "9.33*x0**2 + 9.23*x4**2 + 16.21*x5**2 >= 13",
    "9.33*x0 + 14.63*x3 + 9.23*x4 >= 13",
    "10.58*x1 + 14.63*x3 + 16.21*x5 >= 13",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 13",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 13",
    "7.23*x2 + 14.63*x3 + 16.21*x5 >= 13",
    "10.58*x1 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0 + 10.58*x1 + 16.21*x5 >= 13",
    "14.63*x3 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0**2 + 10.58*x1**2 + 7.23*x2**2 >= 13",
    "10.58*x1 + 14.63*x3 + 9.23*x4 >= 13",
    "7.23*x2**2 + 9.23*x4**2 + 16.21*x5**2 >= 13",
    "9.33*x0**2 + 9.23*x4**2 + 16.21*x5**2 >= 19",
    "9.33*x0 + 14.63*x3 + 9.23*x4 >= 19",
    "10.58*x1 + 14.63*x3 + 16.21*x5 >= 19",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 19",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 19",
    "7.23*x2 + 14.63*x3 + 16.21*x5 >= 19",
    "10.58*x1**2 + 9.23*x4**2 + 16.21*x5**2 >= 19",
    "9.33*x0**2 + 10.58*x1**2 + 16.21*x5**2 >= 19",
    "14.63*x3**2 + 9.23*x4**2 + 16.21*x5**2 >= 19",
    "9.33*x0 + 10.58*x1 + 7.23*x2 >= 19",
    "10.58*x1**2 + 14.63*x3**2 + 9.23*x4**2 >= 19",
    "7.23*x2 + 9.23*x4 + 16.21*x5 >= 19",
    "9.33*x0**2 + 9.23*x4**2 + 16.21*x5**2 >= 21",
    "9.33*x0 + 14.63*x3 + 9.23*x4 >= 21",
    "10.58*x1 + 14.63*x3 + 16.21*x5 >= 21",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 21",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 21",
    "7.23*x2 + 14.63*x3 + 16.21*x5 >= 21",
    "10.58*x1**2 + 9.23*x4**2 + 16.21*x5**2 >= 21",
    "9.33*x0 + 10.58*x1 + 16.21*x5 >= 21",
    "14.63*x3 + 9.23*x4 + 16.21*x5 >= 21",
    "9.33*x0 + 10.58*x1 + 7.23*x2 >= 21",
    "10.58*x1**2 + 14.63*x3**2 + 9.23*x4**2 >= 21",
    "7.23*x2 + 9.23*x4 + 16.21*x5 >= 21",
    "9.33*x0 + 9.23*x4 + 16.21*x5 >= 10",
    "9.33*x0 + 14.63*x3 + 9.23*x4 >= 10",
    "10.58*x1**2 + 14.63*x3**2 + 16.21*x5**2 >= 10",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 10",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 10",
    "7.23*x2 + 14.63*x3 + 16.21*x5 >= 10",
    "10.58*x1 + 9.23*x4 + 16.21*x5 >= 10",
    "9.33*x0 + 10.58*x1 + 16.21*x5 >= 10",
    "14.63*x3**2 + 9.23*x4**2 + 16.21*x5**2 >= 10",
    "9.33*x0**2 + 10.58*x1**2 + 7.23*x2**2 >= 10",
    "10.58*x1 + 14.63*x3 + 9.23*x4 >= 10",
    "7.23*x2 + 9.23*x4 + 16.21*x5 >= 10",
    "9.33*x0 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0**2 + 14.63*x3**2 + 9.23*x4**2 >= 13",
    "10.58*x1**2 + 14.63*x3**2 + 16.21*x5**2 >= 13",
    "9.33*x0 + 7.23*x2 + 9.23*x4 >= 13",
    "10.58*x1**2 + 7.23*x2**2 + 16.21*x5**2 >= 13",
    "7.23*x2**2 + 14.63*x3**2 + 16.21*x5**2 >= 13",
    "10.58*x1 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0**2 + 10.58*x1**2 + 16.21*x5**2 >= 13",
    "14.63*x3 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0**2 + 10.58*x1**2 + 7.23*x2**2 >= 13",
    "10.58*x1 + 14.63*x3 + 9.23*x4 >= 13",
    "7.23*x2 + 9.23*x4 + 16.21*x5 >= 13",
    "9.33*x0**2 + 9.23*x4**2 + 16.21*x5**2 >= 16",
    "9.33*x0**2 + 14.63*x3**2 + 9.23*x4**2 >= 16",
    "10.58*x1 + 14.63*x3 + 16.21*x5 >= 16",
    "9.33*x0**2 + 7.23*x2**2 + 9.23*x4**2 >= 16",
    "10.58*x1 + 7.23*x2 + 16.21*x5 >= 16",
    "7.23*x2**2 + 14.63*x3**2 + 16.21*x5**2 >= 16",
    "10.58*x1 + 9.23*x4 + 16.21*x5 >= 16",
    "9.33*x0 + 10.58*x1 + 16.21*x5 >= 16",
    "14.63*x3**2 + 9.23*x4**2 + 16.21*x5**2 >= 16",
    "9.33*x0**2 + 10.58*x1**2 + 7.23*x2**2 >= 16",
    "10.58*x1**2 + 14.63*x3**2 + 9.23*x4**2 >= 16",
    "7.23*x2 + 9.23*x4 + 16.21*x5 >= 16",
    "9.33*x0