```json
{
  "sym_variables": [
    ("x0", "grams of fat"),
    ("x1", "milligrams of vitamin B3"),
    ("x2", "milligrams of vitamin B1"),
    ("x3", "milligrams of vitamin B6"),
    ("x4", "milligrams of calcium"),
    ("x5", "milligrams of vitamin E"),
    ("x6", "milligrams of vitamin B12"),
    ("x7", "milligrams of vitamin B9")
  ],
  "objective_function": "1*x0 + 1*x1 + 8*x2 + 7*x3 + 1*x4 + 2*x5 + 3*x6 + 5*x7",
  "constraints": [
    "10*x0 + 5*x1 + 6*x2 + 4*x3 + 1*x4 + 10*x5 + 7*x6 + 6*x7 <= 238",
    "3*x0 + 5*x1 + 6*x2 + 3*x3 + 9*x4 + 1*x5 + 5*x6 + 9*x7 <= 165",
    "7*x0 + 3*x1 + 2*x2 + 3*x3 + 2*x4 + 9*x5 + 9*x6 + 8*x7 <= 247",
    "5*x1 + 6*x2 >= 9",
    "1*x4 + 6*x7 >= 27",
    "10*x5 + 6*x7 >= 14",
    "10*x0 + 1*x4 >= 19",
    "5*x1 + 6*x7 >= 9",
    "4*x3 + 10*x5 >= 15",
    "5*x1 + 10*x5 >= 12",
    "5*x1 + 1*x4 >= 16",
    "6*x2 + 4*x3 >= 22",
    "6*x2 + 6*x7 >= 9",
    "10*x0 + 5*x1 >= 9",
    "4*x3 + 1*x4 >= 26",
    "6*x2 + 4*x3 + 7*x6 >= 14",
    "10*x0 + 5*x1 + 10*x5 >= 14",
    "5*x1 + 6*x2 + 10*x5 >= 14",
    "5*x1 + 6*x2 + 6*x7 >= 14",
    "1*x4 + 10*x5 + 6*x7 >= 14",
    "5*x1 + 7*x6 + 6*x7 >= 14",
    "10*x0 + 5*x1 + 1*x4 >= 14",
    "10*x0 + 5*x1 + 7*x6 >= 14",
    "10*x0 + 6*x2 + 1*x4 >= 14",
    "10*x0 + 10*x5 + 6*x7 >= 14",
    "5*x1 + 1*x4 + 6*x7 >= 14",
    "4*x3 + 1*x4 + 10*x5 >= 14",
    "5*x1 + 4*x3 + 7*x6 >= 14",
    "10*x0 + 4*x3 + 1*x4 >= 14",
    "1*x4 + 10*x5 + 7*x6 >= 14",
    "5*x1 + 4*x3 + 10*x5 >= 14",
    "10*x0 + 5*x1 + 4*x3 >= 14",
    "10*x0 + 4*x3 + 10*x5 >= 14",
    "5*x1 + 4*x3 + 6*x7 >= 14",
    "6*x2 + 4*x3 + 10*x5 >= 14",
    "6*x2 + 1*x4 + 6*x7 >= 14",
    "6*x2 + 1*x4 + 10*x5 >= 14",
    "6*x2 + 4*x3 + 1*x4 >= 14",
    "1*x4 + 7*x6 + 6*x7 >= 14",
    "10*x0 + 4*x3 + 7*x6 >= 14",
    "5*x1 + 6*x2 + 1*x4 >= 14",
    "6*x2 + 7*x6 + 6*x7 >= 14",
    "6*x2 + 10*x5 + 7*x6 >= 14",
    "6*x2 + 4*x3 + 7*x6 >= 27",
    "10*x0 + 5*x1 + 10*x5 >= 27",
    "5*x1 + 6*x2 + 10*x5 >= 27",
    "5*x1 + 6*x2 + 6*x7 >= 27",
    "1*x4 + 10*x5 + 6*x7 >= 27",
    "5*x1 + 7*x6 + 6*x7 >= 27",
    "10*x0 + 5*x1 + 1*x4 >= 27",
    "10*x0 + 5*x1 + 7*x6 >= 27",
    "10*x0 + 6*x2 + 1*x4 >= 27",
    "10*x0 + 10*x5 + 6*x7 >= 27",
    "5*x1 + 1*x4 + 6*x7 >= 27",
    "4*x3 + 1*x4 + 10*x5 >= 27",
    "5*x1 + 4*x3 + 7*x6 >= 27",
    "10*x0 + 4*x3 + 1*x4 >= 27",
    "1*x4 + 10*x5 + 7*x6 >= 27",
    "5*x1 + 4*x3 + 10*x5 >= 27",
    "10*x0 + 5*x1 + 4*x3 >= 27",
    "10*x0 + 4*x3 + 10*x5 >= 27",
    "5*x1 + 4*x3 + 6*x7 >= 27",
    "6*x2 + 4*x3 + 10*x5 >= 27",
    "6*x2 + 1*x4 + 6*x7 >= 27",
    "6*x2 + 1*x4 + 10*x5 >= 27",
    "6*x2 + 4*x3 + 1*x4 >= 27",
    "1*x4 + 7*x6 + 6*x7 >= 27",
    "10*x0 + 4*x3 + 7*x6 >= 27",
    "5*x1 + 6*x2 + 1*x4 >= 27",
    "6*x2 + 7*x6 + 6*x7 >= 27",
    "6*x2 + 10*x5 + 7*x6 >= 27",
    "6*x2 + 4*x3 + 7*x6 >= 25",
    "10*x0 + 5*x1 + 10*x5 >= 25",
    "5*x1 + 6*x2 + 10*x5 >= 25",
    "5*x1 + 6*x2 + 6*x7 >= 25",
    "1*x4 + 10*x5 + 6*x7 >= 25",
    "5*x1 + 7*x6 + 6*x7 >= 25",
    "10*x0 + 5*x1 + 1*x4 >= 25",
    "10*x0 + 5*x1 + 7*x6 >= 25",
    "10*x0 + 6*x2 + 1*x4 >= 25",
    "10*x0 + 10*x5 + 6*x7 >= 25",
    "5*x1 + 1*x4 + 6*x7 >= 25",
    "4*x3 + 1*x4 + 10*x5 >= 25",
    "5*x1 + 4*x3 + 7*x6 >= 25",
    "10*x0 + 4*x3 + 1*x4 >= 25",
    "1*x4 + 10*x5 + 7*x6 >= 25",
    "5*x1 + 4*x3 + 10*x5 >= 25",
    "10*x0 + 5*x1 + 4*x3 >= 25",
    "10*x0 + 4*x3 + 10*x5 >= 25",
    "5*x1 + 4*x3 + 6*x7 >= 25",
    "6*x2 + 4*x3 + 10*x5 >= 25",
    "6*x2 + 1*x4 + 6*x7 >= 25",
    "6*x2 + 1*x4 + 10*x5 >= 25",
    "6*x2 + 4*x3 + 1*x4 >= 25",
    "1*x4 + 7*x6 + 6*x7 >= 25",
    "10*x0 + 4*x3 + 7*x6 >= 25",
    "5*x1 + 6*x2 + 1*x4 >= 25",
    "6*x2 + 7*x6 + 6*x7 >= 25",
    "6*x2 + 10*x5 + 7*x6 >= 25",
    "6*x2 + 4*x3 + 7*x6 >= 15",
    "10*x0 + 5*x1 + 10*x5 >= 15",
    "5*x1 + 6*x2 + 10*x5 >= 15",
    "5*x1 + 6*x2 + 6*x7 >= 15",
    "1*x4 + 10*x5 + 6*x7 >= 15",
    "5*x1 + 7*x6 + 6*x7 >= 15",
    "10*x0 + 5*x1 + 1*x4 >= 15",
    "10*x0 + 5*x1 + 7*x6 >= 15",
    "10*x0 + 6*x2 + 1*x4 >= 15",
    "10*x0 + 10*x5 + 6*x7 >= 15",
    "5*x1 + 1*x4 + 6*x7 >= 15",
    "4*x3 + 1*x4 + 10*x5 >= 15",
    "5*x1 + 4*x3 + 7*x6 >= 15",
    "10*x0 + 4*x3 + 1*x4 >= 15",
    "1*x4 + 10*x5 + 7*x6 >= 15",
    "5*x1 + 4*x3 + 10*x5 >= 15",
    "10*x0 + 5*x1 + 4*x3 >= 15",
    "10*x0 + 4*x3 + 10*x5 >= 15",
    "5*x1 + 4*x3 + 6*x7 >= 15",
    "6*x2 + 4*x3 + 10*x5 >= 15",
    "6*x2 + 1*x4 + 6*x7 >= 15",
    "6*x2 + 1*x4 + 10*x5 >= 15",
    "6*x2 + 4*x3 + 1*x4 >= 15",
    "1*x4 + 7*x6 + 6*x7 >= 15",
    "10*x0 + 4*x3 + 7*x6 >= 15",
    "5*x1 + 6*x2 + 1*x4 >= 15",
    "6*x2 + 7*x6 + 6*x7 >= 15",
    "6*x2 + 10*x5 + 7*x6 >= 15",
    "6*x2 + 4*x3 + 7*x6 >= 19",
    "10*x0 + 5*x1 + 10*x5 >= 19",
    "5*x1 + 6*x2 + 10*x5 >= 19",
    "5*x1 + 6*x2 + 6*x7 >= 19",
    "1*x4 + 10*x5 + 6*x7 >= 19",
    "5*x1 + 7*x6 + 6*x7 >= 19",
    "10*x0 + 5*x1 + 1*x4 >= 19",
    "10*x0 + 5*x1 + 7*x6 >= 19",
    "10*x0 + 6*x2 + 1*x4 >= 19",
    "10*x0 + 10*x5 + 6*x7 >= 19",
    "5*x1 + 1*x4 + 6*x7 >= 19",
    "4*x3 + 1*x4 + 10*x5 >= 19",
    "5*x1 + 4*x3 + 7*x6 >= 19",
    "10*x0 + 4*x3 + 1*x4 >= 19",
    "1*x4 + 10*x5 + 7*x6 >= 19",
    "5*x1 + 4*x3 + 10*x5 >= 19",
    "10*x0 + 5*x1 + 4*x3 >= 19",
    "10*x0 + 4*x3 + 10*x5 >= 19",
    "5*x1 + 4*x3 + 6*x7 >= 19",
    "6*x2 + 4*x3 + 10*x5 >= 19",
    "6*x2 + 1*x4 + 6*x7 >= 19",
    "6*x2 + 1*x4 + 10*x5 >= 19",
    "6*x2 + 4*x3 + 1*x4 >= 19",
    "1*x4 + 7*x6 + 6*x7 >= 19",
    "10*x0 + 4*x3 + 7*x6 >= 19",
    "5*x1 + 6*x2 + 1*x4 >= 19",
    "6*x2 + 7*x6 + 6*x7 >= 19",
    "6*x2 + 10*x5 + 7*x6 >= 19",
    "6*x2 + 4*x3 + 7*x6 >= 14",
    "10*x0 + 5*x1 + 10*x5 >= 14",
    "5*x1 + 6*x2 + 10*x5 >= 14",
    "5*x1 + 6*x2 + 6*x7 >= 14",
    "1*x4 + 10*x5 + 6*x7 >= 14",
    "5*x1 + 7*x6 + 6*x7 >= 14",
    "10*x0 + 5*x1 + 1*x4 >= 14",
    "10*x0 + 5*x1 + 7*x6 >= 14",
    "10*x0 + 6*x2 + 1*x4 >= 14",
    "10*x0 + 10*x5 + 6*x7 >= 14",
    "5*x1 + 1*x4 + 6*x7 >= 14",
    "4*x3 + 1*x4 + 10*x5 >= 14",
    "5*x1 + 4*x3 + 7*x6 >= 14",
    "10*x0 + 4*x3 + 1*x4 >= 14",
    "1*x4 + 10*x5 + 7*x6 >= 14",
    "5*x1 + 4*x3 + 10*x5 >= 14",
    "10*x0 + 5*x1 + 4*x3 >= 14",
    "10*x0 + 4*x3 + 10*x5 >= 14",
    "5*x1 + 4*x3 + 6*x7 >= 14",
    "6*x2 + 4*x3 + 10*x5 >= 14",
    "6*x2 + 1*x4 + 6*x7 >= 14",
    "6*x2 + 1*x4 + 10*x5 >= 14",
    "6*x2 + 4*x3 + 1*x4 >= 14",
    "1*x4 + 7*x6 + 6*x7 >= 14",
    "10*x0 + 4*x3 + 7*x6 >= 14",
    "5*x1 + 6*x2 + 1*x4 >= 14",
    "6*x2 + 7*x6 + 6*x7 >= 14",
    "6*x2 + 10*x5 + 7*x6 >= 14",
    "6*x2 + 4*x3 + 7*x6 >= 26",
    "10*x0 + 5*x1 + 10*x5 >= 26",
    "5*x1 + 6*x2 + 10*x5 >= 26",
    "5*x1 + 6*x2 + 6*x7 >= 26",
    "1*x4 + 10*x5 + 6*x7 >= 26",
    "5*x1 + 7*x6 + 6*x7 >= 26",
    "10*x0 + 5*x1 + 1*x4 >= 26",
    "10*x0 + 5*x1 + 7*x6 >= 26",
    "10*x0 + 6*x2 + 1*x4 >= 26",
    "10*x0 + 10*x5 + 6*x7 >= 26",
    "5*x1 + 1*x4 + 6*x7 >= 26",
    "4*x3 + 1*x4 + 10*x5 >= 26",
    "5*x1 + 4*x3 + 7*x6 >= 26",
    "10*x0 + 4*x3 + 1*x4 >= 26",
    "1*x4 + 10*x5 + 7*x6 >= 26",
    "5*x1 + 4*x3 + 10*x5 >= 26",
    "10*x0 + 5*x1 + 4*x3 >= 26",
    "10*x0 + 4*x3 + 10*x5 >= 26",
    "5*x1 + 4*x3 + 6*x7 >= 26",
    "6*x2 + 4*x3 + 10*x5 >= 26",
    "6*x2 + 1*x4 + 6*x7 >= 26",
    "6*x2 + 1*x4 + 10*x5 >= 26",
    "6*x2 + 4*x3 + 1*x4 >= 26",
    "1*x4 + 7*x6 + 6*x7 >= 26",
    "10*x0 + 4*x3 + 7*x6 >= 26",
    "5*x1 + 6*x2 + 1*x4 >= 26",
    "6*x2 + 7*x6 + 6*x7 >= 26",
    "6*x2 + 10*x5 + 7*x6 >= 26",
    "6*x2 + 4*x3 + 7*x6 >= 18",
    "10*x0 + 5*x1 + 10*x5 >= 18",
    "5*x1 + 6*x2 + 10*x5 >= 18",
    "5*x1 + 6*x2 + 6*x7 >= 18",
    "1*x4 + 10*x5 + 6*x7 >= 18",
    "5*x1 + 7*x6 + 6*x7 >= 18",
    "10*x0 + 5*x1 + 1*x4 >= 18",
    "10*x0 + 5*x1 + 7*x6 >= 18",
    "10*x0 + 6*x2 + 1*x4 >= 18",
    "10*x0 + 10*x5 + 6*x7 >= 18",
    "5*x1 + 1*x4 + 6*x7 >= 18",
    "4*x3 + 1*x4 + 10*x5 >= 18",
    "5*x1 + 4*x3 + 7*x6 >= 18",
    "10*x0 + 4*x3 + 1*x4 >= 18",
    "1*x4 + 10*x5 + 7*x6 >= 18",
    "5*x1 + 4*x3 + 10*x5 >= 18",
    "10*x0 + 5*x1 + 4*x3 >= 18",
    "10*x0 + 4*x3 + 10*x5 >= 18",
    "5*x1 + 4*x3 + 6*x7 >= 18",
    "6*x2 + 4*x3 + 10*x5 >= 18",
    "6*x2 + 1*x4 + 6*x7 >= 18",
    "6*x2 + 1*x4 + 10*x5 >= 18",
    "6*x2 + 4*x3 + 1*x4 >= 18",
    "1*x4 + 7*x6 + 6*x7 >= 18",
    "10*x0 + 4*x3 + 7*x6 >= 18",
    "5*x1 + 6*x2 + 1*x4 >= 18",
    "6*x2 + 7*x6 + 6*x7 >= 18",
    "6*x2 + 10*x5 + 7*x6 >= 18",
    "6*x2 + 4*x3 + 7*x6 >= 23",
    "10*x0 + 5*x1 + 10*x5 >= 23",
    "5*x1 + 6*x2 + 10*x5 >= 23",
    "5*x1 + 6*x2 + 6*x7 >= 23",
    "1*x4 + 10*x5 + 6*x7 >= 23",
    "5*x1 + 7*x6 + 6*x7 >= 23",
    "10*x0 + 5*x1 + 1*x4 >= 23",
    "10*x0 + 5*x1 + 7*x6 >= 23",
    "10*x0 + 6*x2 + 1*x4 >= 23",
    "10*x0 + 10*x5 + 6*x7 >= 23",
    "5*x1 + 1*x4 + 6*x7 >= 23",
    "4*x3 + 1*x4 + 10*x5 >= 23",
    "5*x1 + 4*x3 + 7*x6 >= 23",
    "10*x0 + 4*x3 + 1*x4 >= 23",
    "1*x4 + 10*x5 + 7*x6 >= 23",
    "5*x1 + 4*x3 + 10*x5 >= 23",
    "10*x0 + 5*x1 + 4*x3 >= 23",
    "10*x0 + 4*x3 + 10*x5 >= 23",
    "5*x1 + 4*x3 + 6*x7 >= 23",
    "6*x2 + 4*x3 + 10*x5 >= 23",
    "6*x2 + 1*x4 + 6*x7 >= 23",
    "6*x2 + 1*x4 + 10*x5 >= 23",
    "6*x2 + 4*x3 + 1*x4 >= 23",
    "1*x4 + 7*x6 + 6*x7 >= 23",
    "10*x0 + 4*x3 + 7*x6 >= 23",
    "5*x1 + 6*x2 + 1*x4 >= 23",
    "6*x2 + 7*x6 + 6*x7 >= 23",
    "6*x2 + 10*x5 + 7*x6 >= 23",
    "6*x2 + 4*x3 + 7*x6 >= 22",
    "10*x0 + 5*x1 + 10*x5 >= 22",
    "5*x1 + 6*x2 + 10*x5 >= 22",
    "5*x1 + 6*x2 + 6*x7 >= 22",
    "1*x4 + 10*x5 + 6*x7 >= 22",
    "5*x1 + 7*x6 + 6*x7 >= 22",
    "10*x0 + 5*x1 + 1*x4 >= 22",
    "10*x0 + 5*x1 + 7*x6 >= 22",
    "10*x0 + 6*x2 + 1*x4 >= 22",
    "10*x0 + 10*x5 + 6*x7 >= 22",
    "5*x1 + 1*x4 + 6*x7 >= 22",
    "4*x3 + 1*x4 + 10*x5 >= 22",
    "5*x1 + 4*x3 + 7*x6 >= 22",
    "10*x0 + 4*x3 + 1*x4 >= 22",
    "1*x4 + 10*x5 + 7*x6 >= 22",
    "5*x1 + 4*x3 + 10*x5 >= 22",
    "10*x0 + 5*x1 + 4*x3 >= 22",
    "10*x0 + 4*x3 + 10*x5 >= 22",
    "5*x1 + 4*x3 + 6*x7 >= 22",
    "6*x2 + 4*x3 + 10*x5 >= 22",
    "6*x2 + 1*x4 + 6*x7 >= 22",
    "6*x2 + 1*x4 + 10*x5 >= 22",
    "6*x2 + 4*x3 + 1*x4 >= 22",
    "1*x4 + 7*x6 + 6*x7 >= 22",
    "10*x0 + 4*x3 + 7*x6 >= 22",
    "5*x1 + 6*x2 + 1*x4 >= 22",
    "6*x2 + 7*x6 + 6*x7 >= 22",
    "6*x2 + 10*x5 + 7*x6 >= 22",
    "6*x2 + 4*x3 + 7*x6 >= 27",
    "10*x0 + 5*x1 + 10*x5 >= 27",
    "5*x1 + 6*x2 + 10*x5 >= 27",
    "5*x1 + 6*x2 + 6*x7 >= 27",
    "1*x4 + 10*x5 + 6*x7 >= 27",
    "5*x1 + 7*x6 + 6*x7 >= 27",
    "10*x0 + 5*x1 + 1*x4 >= 27",
    "10*x0 + 5*x1 + 7*x6 >= 27",
    "10*x0 + 6*x2 + 1*x4 >= 27",
    "10*x0 + 10*x5 + 6*x7 >= 27",
    "5*x1 + 1*x4 + 6*x7 >= 27",
    "4*x3 + 1*x4 + 10*x5 >= 27",
    "5*x1 + 4*x3 + 7*x6 >= 27",
    "10*x0 + 4*x3 + 1*x4 >= 27",
    "1*x4 + 10*x5 + 7*x6 >= 27",
    "5*x1 + 4*x3 + 10*x5 >= 27",
    "10*x0 + 5*x1 + 4*x3 >= 27",
    "10*x0 + 4*x3 + 10*x5 >= 27",
    "5*x1 + 4*x3 + 6*x7 >= 27",
    "6*x2 + 4*x3 + 10*x5 >= 27",
    "6*x2 + 1*x4 + 6*x7 >= 27",
    "6*x2 + 1*x4 + 10*x5 >= 27",
    "6*x2 + 4*x3 + 1*x4 >= 27",
    "1*x4 + 7*x6 + 6*x7 >= 27",
    "10*x0 + 4*x3 + 7*x6 >= 27",
    "5*x1 + 6*x2 + 1*x4 >= 27",
    "6*x2 + 7*x6 + 6*x7 >= 27",
    "6*x2 + 10*x5 + 7*x6 >= 27",
    "6*x2 + 4*x3