```json
{
  "sym_variables": [
    ("x0", "milligrams of calcium"),
    ("x1", "milligrams of vitamin B3"),
    ("x2", "milligrams of vitamin B12"),
    ("x3", "milligrams of magnesium"),
    ("x4", "grams of protein"),
    ("x5", "milligrams of vitamin B6"),
    ("x6", "milligrams of vitamin B4")
  ],
  "objective_function": "9*x0 + 5*x1 + 4*x2 + 4*x3 + 4*x4 + 7*x5 + 2*x6",
  "constraints": [
    "8*x0 + 13*x1 + 11*x2 + 13*x3 + 19*x4 + 8*x5 + 6*x6 <= 479",
    "17*x0 + 13*x1 + 10*x2 + 17*x3 + 18*x4 + 21*x5 + 12*x6 <= 526",
    "21*x0 + 1*x1 + 17*x2 + 6*x3 + 5*x4 + 20*x5 + 5*x6 <= 549",
    "8*x0 + 11*x2 >= 25",
    "8*x0 + 13*x1 >= 41",
    "8*x0 + 13*x3 >= 26",
    "13*x3 + 6*x6 >= 65",
    "8*x5 + 6*x6 >= 36",
    "8*x0 + 11*x2 + 6*x6 >= 51",
    "13*x1 + 19*x4 + 8*x5 >= 51",
    "8*x0 + 11*x2 + 8*x5 >= 51",
    "13*x3 + 19*x4 + 6*x6 >= 51",
    "11*x2 + 19*x4 + 8*x5 >= 51",
    "8*x0 + 11*x2 + 19*x4 >= 51",
    "11*x2 + 8*x5 + 6*x6 >= 51",
    "8*x0 + 13*x1 + 8*x5 >= 51",
    "13*x1 + 13*x3 + 19*x4 >= 51",
    "11*x2 + 13*x3 + 8*x5 >= 51",
    "8*x0 + 13*x3 + 6*x6 >= 51",
    "13*x1 + 13*x3 + 6*x6 >= 51",
    "11*x2 + 13*x3 + 6*x6 >= 51",
    "13*x1 + 19*x4 + 6*x6 >= 51",
    "8*x0 + 13*x3 + 8*x5 >= 51",
    "8*x0 + 11*x2 + 6*x6 >= 44",
    "13*x1 + 19*x4 + 8*x5 >= 44",
    "8*x0 + 11*x2 + 8*x5 >= 44",
    "13*x3 + 19*x4 + 6*x6 >= 44",
    "11*x2 + 19*x4 + 8*x5 >= 44",
    "8*x0 + 11*x2 + 19*x4 >= 44",
    "11*x2 + 8*x5 + 6*x6 >= 44",
    "8*x0 + 13*x1 + 8*x5 >= 44",
    "13*x1 + 13*x3 + 19*x4 >= 44",
    "11*x2 + 13*x3 + 8*x5 >= 44",
    "8*x0 + 13*x3 + 6*x6 >= 44",
    "13*x1 + 13*x3 + 6*x6 >= 44",
    "11*x2 + 13*x3 + 6*x6 >= 44",
    "13*x1 + 19*x4 + 6*x6 >= 44",
    "8*x0 + 13*x3 + 8*x5 >= 44",
    "8*x0 + 11*x2 + 6*x6 >= 35",
    "13*x1 + 19*x4 + 8*x5 >= 35",
    "8*x0 + 11*x2 + 8*x5 >= 35",
    "13*x3 + 19*x4 + 6*x6 >= 35",
    "11*x2 + 19*x4 + 8*x5 >= 35",
    "8*x0 + 11*x2 + 19*x4 >= 35",
    "11*x2 + 8*x5 + 6*x6 >= 35",
    "8*x0 + 13*x1 + 8*x5 >= 35",
    "13*x1 + 13*x3 + 19*x4 >= 35",
    "11*x2 + 13*x3 + 8*x5 >= 35",
    "8*x0 + 13*x3 + 6*x6 >= 35",
    "13*x1 + 13*x3 + 6*x6 >= 35",
    "11*x2 + 13*x3 + 6*x6 >= 35",
    "13*x1 + 19*x4 + 6*x6 >= 35",
    "8*x0 + 13*x3 + 8*x5 >= 35",
    "8*x0 + 11*x2 + 6*x6 >= 42",
    "13*x1 + 19*x4 + 8*x5 >= 42",
    "8*x0 + 11*x2 + 8*x5 >= 42",
    "13*x3 + 19*x4 + 6*x6 >= 42",
    "11*x2 + 19*x4 + 8*x5 >= 42",
    "8*x0 + 11*x2 + 19*x4 >= 42",
    "11*x2 + 8*x5 + 6*x6 >= 42",
    "8*x0 + 13*x1 + 8*x5 >= 42",
    "13*x1 + 13*x3 + 19*x4 >= 42",
    "11*x2 + 13*x3 + 8*x5 >= 42",
    "8*x0 + 13*x3 + 6*x6 >= 42",
    "13*x1 + 13*x3 + 6*x6 >= 42",
    "11*x2 + 13*x3 + 6*x6 >= 42",
    "13*x1 + 19*x4 + 6*x6 >= 42",
    "8*x0 + 13*x3 + 8*x5 >= 42",
    "8*x0 + 11*x2 + 6*x6 >= 62",
    "13*x1 + 19*x4 + 8*x5 >= 62",
    "8*x0 + 11*x2 + 8*x5 >= 62",
    "13*x3 + 19*x4 + 6*x6 >= 62",
    "11*x2 + 19*x4 + 8*x5 >= 62",
    "8*x0 + 11*x2 + 19*x4 >= 62",
    "11*x2 + 8*x5 + 6*x6 >= 62",
    "8*x0 + 13*x1 + 8*x5 >= 62",
    "13*x1 + 13*x3 + 19*x4 >= 62",
    "11*x2 + 13*x3 + 8*x5 >= 62",
    "8*x0 + 13*x3 + 6*x6 >= 62",
    "13*x1 + 13*x3 + 6*x6 >= 62",
    "11*x2 + 13*x3 + 6*x6 >= 62",
    "13*x1 + 19*x4 + 6*x6 >= 62",
    "8*x0 + 13*x3 + 8*x5 >= 62",
    "8*x0 + 11*x2 + 6*x6 >= 57",
    "13*x1 + 19*x4 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 8*x5 >= 57",
    "13*x3 + 19*x4 + 6*x6 >= 57",
    "11*x2 + 19*x4 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 19*x4 >= 57",
    "11*x2 + 8*x5 + 6*x6 >= 57",
    "8*x0 + 13*x1 + 8*x5 >= 57",
    "13*x1 + 13*x3 + 19*x4 >= 57",
    "11*x2 + 13*x3 + 8*x5 >= 57",
    "8*x0 + 13*x3 + 6*x6 >= 57",
    "13*x1 + 13*x3 + 6*x6 >= 57",
    "11*x2 + 13*x3 + 6*x6 >= 57",
    "13*x1 + 19*x4 + 6*x6 >= 57",
    "8*x0 + 13*x3 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 6*x6 >= 60",
    "13*x1 + 19*x4 + 8*x5 >= 60",
    "8*x0 + 11*x2 + 8*x5 >= 60",
    "13*x3 + 19*x4 + 6*x6 >= 60",
    "11*x2 + 19*x4 + 8*x5 >= 60",
    "8*x0 + 11*x2 + 19*x4 >= 60",
    "11*x2 + 8*x5 + 6*x6 >= 60",
    "8*x0 + 13*x1 + 8*x5 >= 60",
    "13*x1 + 13*x3 + 19*x4 >= 60",
    "11*x2 + 13*x3 + 8*x5 >= 60",
    "8*x0 + 13*x3 + 6*x6 >= 60",
    "13*x1 + 13*x3 + 6*x6 >= 60",
    "11*x2 + 13*x3 + 6*x6 >= 60",
    "13*x1 + 19*x4 + 6*x6 >= 60",
    "8*x0 + 13*x3 + 8*x5 >= 60",
    "8*x0 + 11*x2 + 6*x6 >= 45",
    "13*x1 + 19*x4 + 8*x5 >= 45",
    "8*x0 + 11*x2 + 8*x5 >= 45",
    "13*x3 + 19*x4 + 6*x6 >= 45",
    "11*x2 + 19*x4 + 8*x5 >= 45",
    "8*x0 + 11*x2 + 19*x4 >= 45",
    "11*x2 + 8*x5 + 6*x6 >= 45",
    "8*x0 + 13*x1 + 8*x5 >= 45",
    "13*x1 + 13*x3 + 19*x4 >= 45",
    "11*x2 + 13*x3 + 8*x5 >= 45",
    "8*x0 + 13*x3 + 6*x6 >= 45",
    "13*x1 + 13*x3 + 6*x6 >= 45",
    "11*x2 + 13*x3 + 6*x6 >= 45",
    "13*x1 + 19*x4 + 6*x6 >= 45",
    "8*x0 + 13*x3 + 8*x5 >= 45",
    "8*x0 + 11*x2 + 6*x6 >= 39",
    "13*x1 + 19*x4 + 8*x5 >= 39",
    "8*x0 + 11*x2 + 8*x5 >= 39",
    "13*x3 + 19*x4 + 6*x6 >= 39",
    "11*x2 + 19*x4 + 8*x5 >= 39",
    "8*x0 + 11*x2 + 19*x4 >= 39",
    "11*x2 + 8*x5 + 6*x6 >= 39",
    "8*x0 + 13*x1 + 8*x5 >= 39",
    "13*x1 + 13*x3 + 19*x4 >= 39",
    "11*x2 + 13*x3 + 8*x5 >= 39",
    "8*x0 + 13*x3 + 6*x6 >= 39",
    "13*x1 + 13*x3 + 6*x6 >= 39",
    "11*x2 + 13*x3 + 6*x6 >= 39",
    "13*x1 + 19*x4 + 6*x6 >= 39",
    "8*x0 + 13*x3 + 8*x5 >= 39",
    "8*x0 + 11*x2 + 6*x6 >= 61",
    "13*x1 + 19*x4 + 8*x5 >= 61",
    "8*x0 + 11*x2 + 8*x5 >= 61",
    "13*x3 + 19*x4 + 6*x6 >= 61",
    "11*x2 + 19*x4 + 8*x5 >= 61",
    "8*x0 + 11*x2 + 19*x4 >= 61",
    "11*x2 + 8*x5 + 6*x6 >= 61",
    "8*x0 + 13*x1 + 8*x5 >= 61",
    "13*x1 + 13*x3 + 19*x4 >= 61",
    "11*x2 + 13*x3 + 8*x5 >= 61",
    "8*x0 + 13*x3 + 6*x6 >= 61",
    "13*x1 + 13*x3 + 6*x6 >= 61",
    "11*x2 + 13*x3 + 6*x6 >= 61",
    "13*x1 + 19*x4 + 6*x6 >= 61",
    "8*x0 + 13*x3 + 8*x5 >= 61",
    "8*x0 + 11*x2 + 6*x6 >= 57",
    "13*x1 + 19*x4 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 8*x5 >= 57",
    "13*x3 + 19*x4 + 6*x6 >= 57",
    "11*x2 + 19*x4 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 19*x4 >= 57",
    "11*x2 + 8*x5 + 6*x6 >= 57",
    "8*x0 + 13*x1 + 8*x5 >= 57",
    "13*x1 + 13*x3 + 19*x4 >= 57",
    "11*x2 + 13*x3 + 8*x5 >= 57",
    "8*x0 + 13*x3 + 6*x6 >= 57",
    "13*x1 + 13*x3 + 6*x6 >= 57",
    "11*x2 + 13*x3 + 6*x6 >= 57",
    "13*x1 + 19*x4 + 6*x6 >= 57",
    "8*x0 + 13*x3 + 8*x5 >= 57",
    "8*x0 + 11*x2 + 6*x6 >= 53",
    "13*x1 + 19*x4 + 8*x5 >= 53",
    "8*x0 + 11*x2 + 8*x5 >= 53",
    "13*x3 + 19*x4 + 6*x6 >= 53",
    "11*x2 + 19*x4 + 8*x5 >= 53",
    "8*x0 + 11*x2 + 19*x4 >= 53",
    "11*x2 + 8*x5 + 6*x6 >= 53",
    "8*x0 + 13*x1 + 8*x5 >= 53",
    "13*x1 + 13*x3 + 19*x4 >= 53",
    "11*x2 + 13*x3 + 8*x5 >= 53",
    "8*x0 + 13*x3 + 6*x6 >= 53",
    "13*x1 + 13*x3 + 6*x6 >= 53",
    "11*x2 + 13*x3 + 6*x6 >= 53",
    "13*x1 + 19*x4 + 6*x6 >= 53",
    "8*x0 + 13*x3 + 8*x5 >= 53",
    "8*x0 + 11*x2 + 6*x6 >= 38",
    "13*x1 + 19*x4 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 8*x5 >= 38",
    "13*x3 + 19*x4 + 6*x6 >= 38",
    "11*x2 + 19*x4 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 19*x4 >= 38",
    "11*x2 + 8*x5 + 6*x6 >= 38",
    "8*x0 + 13*x1 + 8*x5 >= 38",
    "13*x1 + 13*x3 + 19*x4 >= 38",
    "11*x2 + 13*x3 + 8*x5 >= 38",
    "8*x0 + 13*x3 + 6*x6 >= 38",
    "13*x1 + 13*x3 + 6*x6 >= 38",
    "11*x2 + 13*x3 + 6*x6 >= 38",
    "13*x1 + 19*x4 + 6*x6 >= 38",
    "8*x0 + 13*x3 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 6*x6 >= 38",
    "13*x1 + 19*x4 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 8*x5 >= 38",
    "13*x3 + 19*x4 + 6*x6 >= 38",
    "11*x2 + 19*x4 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 19*x4 >= 38",
    "11*x2 + 8*x5 + 6*x6 >= 38",
    "8*x0 + 13*x1 + 8*x5 >= 38",
    "13*x1 + 13*x3 + 19*x4 >= 38",
    "11*x2 + 13*x3 + 8*x5 >= 38",
    "8*x0 + 13*x3 + 6*x6 >= 38",
    "13*x1 + 13*x3 + 6*x6 >= 38",
    "11*x2 + 13*x3 + 6*x6 >= 38",
    "13*x1 + 19*x4 + 6*x6 >= 38",
    "8*x0 + 13*x3 + 8*x5 >= 38",
    "8*x0 + 11*x2 + 6*x6 >= 54",
    "13*x1 + 19*x4 + 8*x5 >= 54",
    "8*x0 + 11*x2 + 8*x5 >= 54",
    "13*x3 + 19*x4 + 6*x6 >= 54",
    "11*x2 + 19*x4 + 8*x5 >= 54",
    "8*x0 + 11*x2 + 19*x4 >= 54",
    "11*x2 + 8*x5 + 6*x6 >= 54",
    "8*x0 + 13*x1 + 8*x5 >= 54",
    "13*x1 + 13*x3 + 19*x4 >= 54",
    "11*x2 + 13*x3 + 8*x5 >= 54",
    "8*x0 + 13*x3 + 6*x6 >= 54",
    "13*x1 + 13*x3 + 6*x6 >= 54",
    "11*x2 + 13*x3 + 6*x6 >= 54",
    "13*x1 + 19*x4 + 6*x6 >= 54",
    "8*x0 + 13*x3 + 8*x5 >= 54",
    "8*x0 + 13*x1 + 11*x2 + 13*x3 + 19*x4 + 8*x5 + 6*x6 >= 54",
    "13*x1 + 10*x2 >= 25",
    "10*x2 + 18*x4 >= 30",
    "17*x0 + 12*x6 >= 41",
    "17*x0 + 10*x2 + 21*x5 >= 52",
    "13*x1 + 17*x3 + 18*x4 >= 52",
    "13*x1 + 10*x2 + 18*x4 >= 52",
    "17*x3 + 18*x4 + 21*x5 >= 52",
    "17*x0 + 13*x1 + 18*x4 >= 52",
    "18*x4 + 21*x5 + 12*x6 >= 52",
    "13*x1 + 21*x5 + 12*x6 >= 52",
    "17*x0 + 13*x1 + 17*x3 >= 52",
    "17*x0 + 10*x2 + 12*x6 >= 52",
    "13*x1 + 18*x4 + 12*x6 >= 52",
    "13*x1 + 17*x3 + 21*x5 >= 52",
    "17*x0 + 18*x4 + 21*x5 >= 52",
    "10*x2 + 17*x3 + 18*x4 >= 52",
    "17*x0 + 13*x1 + 12*x6 >= 52",
    "13*x1 + 10*x2 + 17*x3 >= 52",
    "10*x2 + 17*x3 + 21*x5 >= 52",
    "17*x0 + 13*x1 + 10*x2 >= 52",
    "10*x2 + 18*x4 + 12*x6 >= 52",
    "17*x0 + 18*x4 + 12*x6 >= 52",
    "10*x2 + 18*x4 + 21*x5 >= 52",
    "13*x1 + 17*x3 + 12*x6 >= 52",
    "17*x0 + 10*x2 + 18*x4 >= 52",
    "17*x3 + 18*x4 + 12*x6 >= 52",
    "17*x0 + 10*x2 + 21*x5 >= 72",
    "13*x1 + 17*x3 + 18*x4 >= 72",
    "13*x1 + 10*x2 + 18*x4 >= 72",
    "17*x3 + 18*x4 + 21*x5 >= 72",
    "17*x0 + 13*x1 + 18*x4 >= 72",
    "18*x4 + 21*x5 + 12*x6 >= 72",
    "13*x1 + 21*x5 + 12*x6 >= 72",
    "17*x0 + 13*x1 + 17*x3 >= 72",
    "17*x0 + 10*x2 + 12*x6 >= 72",
    "13*x1 + 18*x4 + 12*x6 >= 72",
    "13*x1 + 17*x3 + 21*x5 >= 72",
    "17*x0 + 18*x4 + 21*x5 >= 72",
    "10*x2 + 17*x3 + 18*x4 >= 72",
    "17*x0 + 13*x1 + 12*x6 >= 72",
    "13*x1 + 10*x2 + 17*x3 >= 72",
    "10*x2 + 17*x3 + 21*x5 >= 72",
    "17*x0 + 13*x1 + 10*x2 >= 72",
    "10*x2 + 18*x4 + 12*x6 >= 72",
    "17*x0 + 18*x4 + 12*x6 >= 72",
    "10*x2 + 18*x4 + 21*x5 >= 72",
    "13*x1 + 17*x3 + 12*x6 >= 72",
    "17*x0 + 10*x2 + 18*x4 >= 72",
    "17*x3 + 18*x4 + 12*x6 >= 72",
    "17*x0 + 10*x2 + 21*x5 >= 57",
    "13*x1 + 17*x3 + 18*x4 >= 57",
    "13*x1 + 10*x2 + 18*x4 >= 57",
    "17*x3 + 18*x4 + 21*x5 >= 57",
    "17*x0 + 13*x1 + 18*x4 >= 57",
    "18*x4 + 21*x5 + 12*x6 >= 57",
    "13*x1 + 21*x5 + 12*x6 >= 57",
    "17*x0 + 13*x1 + 17*x3 >= 57",
    "17*x0 + 10*x2 + 12*x6 >= 57",
    "13*x1 + 18*x4 + 12*x6 >= 57",
    "13*x1 + 17*x3 + 21*x5 >= 57",
    "17*x0 + 18*x4 + 21*x5 >= 57",
    "10*x2 + 17*x3 + 18*x4 >= 57",
    "17*x0 + 13*x1 + 12*x6 >= 57",
    "13*x1 + 10*x2 + 17*x3 >= 57",
    "10*x2 + 17*x3 + 21*x5 >= 57",
    "17*x0 + 13*x1 + 10*x2 >= 57",
    "10*x2 + 18*x4 + 12*x6 >= 57",
    "17*x0 + 18*x4 + 12*x6 >= 57",
    "10*x2 + 18*x4 + 21*x5 >= 57",
    "13*x1 + 17*x3 + 12*x6 >= 57",
    "17*x0 + 10*x2 + 18*x4 >= 57",
    "17*x3 + 18*x4 + 12*x6 >= 57",
    "17*x0 + 10*x2 + 21*x5 >= 5