```json
{
  "sym_variables": [
    ("x0", "eggs"),
    ("x1", "blueberry pies"),
    ("x2", "slices of pizza"),
    ("x3", "rotisserie chickens"),
    ("x4", "ham sandwiches"),
    ("x5", "tomatoes"),
    ("x6", "chicken thighs")
  ],
  "objective_function": "9.36 * x0 + 8.36 * x1 + 1.97 * x2 + 6.7 * x3 + 5.91 * x4 + 8.29 * x5 + 5.54 * x6",
  "constraints": [
    "7*x0 + 1*x4 >= 22",
    "3*x1 + 3*x5 >= 8",
    "3*x3 + 11*x6 >= 12",
    "3*x1 + 1*x4 >= 18",
    "1*x4 + 11*x6 >= 18",
    "2*x2 + 11*x6 >= 17",
    "1*x4 + 3*x5 >= 14",
    "3*x3 + 3*x5 >= 16",
    "7*x0 + 2*x2 >= 8",
    "7*x0 + 3*x3 + 11*x6 >= 14",
    "7*x0 + 1*x4 + 3*x5 >= 14",
    "7*x0 + 3*x3 + 1*x4 >= 14",
    "3*x3 + 1*x4 + 11*x6 >= 14",
    "3*x1 + 1*x4 + 11*x6 >= 14",
    "7*x0 + 3*x3 + 11*x6 >= 15",
    "7*x0 + 1*x4 + 3*x5 >= 15",
    "7*x0 + 3*x3 + 1*x4 >= 15",
    "3*x3 + 1*x4 + 11*x6 >= 15",
    "3*x1 + 1*x4 + 11*x6 >= 15",
    "7*x0 + 3*x3 + 11*x6 >= 22",
    "7*x0 + 1*x4 + 3*x5 >= 22",
    "7*x0 + 3*x3 + 1*x4 >= 22",
    "3*x3 + 1*x4 + 11*x6 >= 22",
    "3*x1 + 1*x4 + 11*x6 >= 22",
    "7*x0 + 3*x3 + 11*x6 >= 11",
    "7*x0 + 1*x4 + 3*x5 >= 11",
    "7*x0 + 3*x3 + 1*x4 >= 11",
    "3*x3 + 1*x4 + 11*x6 >= 11",
    "3*x1 + 1*x4 + 11*x6 >= 11",
    "7*x0 + 3*x3 + 11*x6 >= 17",
    "7*x0 + 1*x4 + 3*x5 >= 17",
    "7*x0 + 3*x3 + 1*x4 >= 17",
    "3*x3 + 1*x4 + 11*x6 >= 17",
    "3*x1 + 1*x4 + 11*x6 >= 17",
    "7*x0 + 3*x1 + 2*x2 + 3*x3 + 1*x4 + 3*x5 + 11*x6 >= 17",
    "7*x0 + 3*x5 + 11*x6 <= 38",
    "3*x1 + 1*x4 + 11*x6 <= 156",
    "7*x0 + 2*x2 + 1*x4 <= 156",
    "7*x0 + 3*x1 + 11*x6 <= 139",
    "7*x0 + 3*x1 + 3*x3 <= 137",
    "7*x0 + 3*x3 + 3*x5 <= 67",
    "3*x3 + 1*x4 + 3*x5 <= 129",
    "2*x2 + 3*x3 + 1*x4 <= 61",
    "3*x1 + 2*x2 + 3*x3 <= 51",
    "7*x0 + 3*x1 + 3*x5 <= 30",
    "7*x0 + 3*x3 + 1*x4 <= 59",
    "2*x2 + 3*x5 + 11*x6 <= 78",
    "7*x0 + 2*x2 + 3*x5 <= 86",
    "2*x2 + 1*x4 + 11*x6 <= 68",
    "7*x0 + 2*x2 + 11*x6 <= 28",
    "2*x2 + 3*x3 + 3*x5 <= 125",
    "3*x1 + 3*x3 + 3*x5 <= 154",
    "3*x3 + 1*x4 + 11*x6 <= 89",
    "3*x1 + 2*x2 + 1*x4 <= 34",
    "3*x1 + 3*x5 + 11*x6 <= 51",
    "3*x1 + 3*x3 + 1*x4 <= 102",
    "2*x2 + 3*x3 + 11*x6 <= 62",
    "7*x0 + 3*x3 + 11*x6 <= 52",
    "2*x2 + 1*x4 + 3*x5 <= 81",
    "3*x1 + 3*x3 + 11*x6 <= 53",
    "7*x0 + 1*x4 + 11*x6 <= 77",
    "7*x0 + 3*x1 + 1*x4 <= 114",
    "7*x0 + 1*x4 + 3*x5 <= 133",
    "4*x1 + 4*x4 >= 51",
    "9*x3 + 4*x4 >= 25",
    "4*x1 + 1*x5 >= 50",
    "2*x2 + 4*x4 >= 22",
    "9*x3 + 10*x6 >= 45",
    "9*x3 + 1*x5 >= 55",
    "4*x4 + 1*x5 + 10*x6 >= 32",
    "8*x0 + 4*x4 + 10*x6 >= 32",
    "4*x1 + 9*x3 + 10*x6 >= 32",
    "4*x1 + 1*x5 + 10*x6 >= 32",
    "9*x3 + 4*x4 + 1*x5 >= 32",
    "4*x1 + 2*x2 + 10*x6 >= 32",
    "4*x1 + 2*x2 + 1*x5 >= 32",
    "4*x1 + 9*x3 + 4*x4 >= 32",
    "8*x0 + 4*x1 + 10*x6 >= 32",
    "8*x0 + 9*x3 + 1*x5 >= 32",
    "8*x0 + 2*x2 + 9*x3 >= 32",
    "2*x2 + 4*x4 + 1*x5 >= 32",
    "8*x0 + 4*x1 + 4*x4 >= 32",
    "8*x0 + 2*x2 + 4*x4 >= 32",
    "2*x2 + 9*x3 + 10*x6 >= 32",
    "4*x1 + 2*x2 + 4*x4 >= 32",
    "8*x0 + 4*x1 + 2*x2 >= 32",
    "2*x2 + 9*x3 + 4*x4 >= 32",
    "8*x0 + 4*x1 + 1*x5 >= 32",
    "2*x2 + 4*x4 + 10*x6 >= 32",
    "8*x0 + 9*x3 + 4*x4 >= 32",
    "8*x0 + 4*x4 + 1*x5 >= 32",
    "4 * x4 + x5 + 10 * x6 >= 54",
    "8 * x0 + 4 * x4 + 10 * x6 >= 54",
    "4 * x1 + 9 * x3 + 10 * x6 >= 54",
    "4 * x1 + x5 + 10 * x6 >= 54",
    "9 * x3 + 4 * x4 + x5 >= 54",
    "4 * x1 + 2 * x2 + 10 * x6 >= 54",
    "4 * x1 + 2 * x2 + x5 >= 54",
    "4 * x1 + 9 * x3 + 4 * x4 >= 54",
    "8 * x0 + 4 * x1 + 10 * x6 >= 54",
    "8 * x0 + 9 * x3 + x5 >= 54",
    "8 * x0 + 2 * x2 + 9 * x3 >= 54",
    "2 * x2 + 4 * x4 + x5 >= 54",
    "8 * x0 + 4 * x1 + 4 * x4 >= 54",
    "8 * x0 + 2 * x2 + 4 * x4 >= 54",
    "2 * x2 + 9 * x3 + 10 * x6 >= 54",
    "4 * x1 + 2 * x2 + 4 * x4 >= 54",
    "8 * x0 + 4 * x1 + 2 * x2 >= 54",
    "2 * x2 + 9 * x3 + 4 * x4 >= 54",
    "8 * x0 + 4 * x1 + x5 >= 54",
    "2 * x2 + 4 * x4 + 10 * x6 >= 54",
    "8 * x0 + 9 * x3 + 4 * x4 >= 54",
    "8 * x0 + 4 * x4 + x5 >= 54",
    "4*x4 + x5 + 10*x6 >= 49",
    "8*x0 + 4*x4 + 10*x6 >= 49",
    "4*x1 + 9*x3 + 10*x6 >= 49",
    "4*x1 + x5 + 10*x6 >= 49",
    "9*x3 + 4*x4 + x5 >= 49",
    "4*x1 + 2*x2 + 10*x6 >= 49",
    "4*x1 + 2*x2 + x5 >= 49",
    "4*x1 + 9*x3 + 4*x4 >= 49",
    "8*x0 + 4*x1 + 10*x6 >= 49",
    "8*x0 + 9*x3 + x5 >= 49",
    "8*x0 + 2*x2 + 9*x3 >= 49",
    "2*x2 + 4*x4 + x5 >= 49",
    "8*x0 + 4*x1 + 4*x4 >= 49",
    "8*x0 + 2*x2 + 4*x4 >= 49",
    "2*x2 + 9*x3 + 10*x6 >= 49",
    "4*x1 + 2*x2 + 4*x4 >= 49",
    "8*x0 + 4*x1 + 2*x2 >= 49",
    "2*x2 + 9*x3 + 4*x4 >= 49",
    "8*x0 + 4*x1 + x5 >= 49",
    "2*x2 + 4*x4 + 10*x6 >= 49",
    "8*x0 + 9*x3 + 4*x4 >= 49",
    "8*x0 + 4*x4 + x5 >= 49",
    "4*x4 + x5 + 10*x6 >= 34",
    "8*x0 + 4*x4 + 10*x6 >= 34",
    "4*x1 + 9*x3 + 10*x6 >= 34",
    "4*x1 + x5 + 10*x6 >= 34",
    "9*x3 + 4*x4 + x5 >= 34",
    "4*x1 + 2*x2 + 10*x6 >= 34",
    "4*x1 + 2*x2 + x5 >= 34",
    "4*x1 + 9*x3 + 4*x4 >= 34",
    "8*x0 + 4*x1 + 10*x6 >= 34",
    "8*x0 + 9*x3 + x5 >= 34",
    "8*x0 + 2*x2 + 9*x3 >= 34",
    "2*x2 + 4*x4 + x5 >= 34",
    "8*x0 + 4*x1 + 4*x4 >= 34",
    "8*x0 + 2*x2 + 4*x4 >= 34",
    "2*x2 + 9*x3 + 10*x6 >= 34",
    "4*x1 + 2*x2 + 4*x4 >= 34",
    "8*x0 + 4*x1 + 2*x2 >= 34",
    "2*x2 + 9*x3 + 4*x4 >= 34",
    "8*x0 + 4*x1 + x5 >= 34",
    "2*x2 + 4*x4 + 10*x6 >= 34",
    "8*x0 + 9*x3 + 4*x4 >= 34",
    "8*x0 + 4*x4 + x5 >= 34",
    "4*x1 + 4*x4 >= 52",
    "9*x3 + 4*x4 >= 52",
    "4*x1 + 1*x5 >= 52",
    "2*x2 + 4*x4 >= 52",
    "9*x3 + 10*x6 >= 52",
    "9*x3 + 1*x5 >= 52",
    "4*x4 + 1*x5 + 10*x6 >= 52",
    "8*x0 + 4*x4 + 10*x6 >= 52",
    "4*x1 + 9*x3 + 10*x6 >= 52",
    "4*x1 + 1*x5 + 10*x6 >= 52",
    "9*x3 + 4*x4 + 1*x5 >= 52",
    "4*x1 + 2*x2 + 10*x6 >= 52",
    "4*x1 + 2*x2 + 1*x5 >= 52",
    "4*x1 + 9*x3 + 4*x4 >= 52",
    "8*x0 + 4*x1 + 10*x6 >= 52",
    "8*x0 + 9*x3 + 1*x5 >= 52",
    "8*x0 + 2*x2 + 9*x3 >= 52",
    "2*x2 + 4*x4 + 1*x5 >= 52",
    "8*x0 + 4*x1 + 4*x4 >= 52",
    "8*x0 + 2*x2 + 4*x4 >= 52",
    "2*x2 + 9*x3 + 10*x6 >= 52",
    "4*x1 + 2*x2 + 4*x4 >= 52",
    "8*x0 + 4*x1 + 2*x2 >= 52",
    "2*x2 + 9*x3 + 4*x4 >= 52",
    "8*x0 + 4*x1 + 1*x5 >= 52",
    "2*x2 + 4*x4 + 10*x6 >= 52",
    "8*x0 + 9*x3 + 4*x4 >= 52",
    "8*x0 + 4*x4 + 1*x5 >= 52",
    "4*x4 + x5 + 10*x6 >= 35",
    "8*x0 + 4*x4 + 10*x6 >= 35",
    "4*x1 + 9*x3 + 10*x6 >= 35",
    "4*x1 + x5 + 10*x6 >= 35",
    "9*x3 + 4*x4 + x5 >= 35",
    "4*x1 + 2*x2 + 10*x6 >= 35",
    "4*x1 + 2*x2 + x5 >= 35",
    "4*x1 + 9*x3 + 4*x4 >= 35",
    "8*x0 + 4*x1 + 10*x6 >= 35",
    "8*x0 + 9*x3 + x5 >= 35",
    "8*x0 + 2*x2 + 9*x3 >= 35",
    "2*x2 + 4*x4 + x5 >= 35",
    "8*x0 + 4*x1 + 4*x4 >= 35",
    "8*x0 + 2*x2 + 4*x4 >= 35",
    "2*x2 + 9*x3 + 10*x6 >= 35",
    "4*x1 + 2*x2 + 4*x4 >= 35",
    "8*x0 + 4*x1 + 2*x2 >= 35",
    "2*x2 + 9*x3 + 4*x4 >= 35",
    "8*x0 + 4*x1 + x5 >= 35",
    "2*x2 + 4*x4 + 10*x6 >= 35",
    "8*x0 + 9*x3 + 4*x4 >= 35",
    "8*x0 + 4*x4 + x5 >= 35",
    "4 * x4 + x5 + 10 * x6 >= 58",
    "8 * x0 + 4 * x4 + 10 * x6 >= 58",
    "4 * x1 + 9 * x3 + 10 * x6 >= 58",
    "4 * x1 + x5 + 10 * x6 >= 58",
    "9 * x3 + 4 * x4 + x5 >= 58",
    "4 * x1 + 2 * x2 + 10 * x6 >= 58",
    "4 * x1 + 2 * x2 + x5 >= 58",
    "4 * x1 + 9 * x3 + 4 * x4 >= 58",
    "8 * x0 + 4 * x1 + 10 * x6 >= 58",
    "8 * x0 + 9 * x3 + x5 >= 58",
    "8 * x0 + 2 * x2 + 9 * x3 >= 58",
    "2 * x2 + 4 * x4 + x5 >= 58",
    "8 * x0 + 4 * x1 + 4 * x4 >= 58",
    "8 * x0 + 2 * x2 + 4 * x4 >= 58",
    "2 * x2 + 9 * x3 + 10 * x6 >= 58",
    "4 * x1 + 2 * x2 + 4 * x4 >= 58",
    "8 * x0 + 4 * x1 + 2 * x2 >= 58",
    "2 * x2 + 9 * x3 + 4 * x4 >= 58",
    "8 * x0 + 4 * x1 + x5 >= 58",
    "2 * x2 + 4 * x4 + 10 * x6 >= 58",
    "8 * x0 + 9 * x3 + 4 * x4 >= 58",
    "8 * x0 + 4 * x4 + x5 >= 58",
    "4*x1 + 4*x4 >= 50",
    "9*x3 + 4*x4 >= 50",
    "4*x1 + x5 >= 50",
    "2*x2 + 4*x4 >= 50",
    "9*x3 + 10*x6 >= 50",
    "9*x3 + x5 >= 50",
    "4*x4 + x5 + 10*x6 >= 50",
    "8*x0 + 4*x4 + 10*x6 >= 50",
    "4*x1 + 9*x3 + 10*x6 >= 50",
    "4*x1 + x5 + 10*x6 >= 50",
    "9*x3 + 4*x4 + x5 >= 50",
    "4*x1 + 2*x2 + 10*x6 >= 50",
    "4*x1 + 2*x2 + x5 >= 50",
    "4*x1 + 9*x3 + 4*x4 >= 50",
    "8*x0 + 4*x1 + 10*x6 >= 50",
    "8*x0 + 9*x3 + x5 >= 50",
    "8*x0 + 2*x2 + 9*x3 >= 50",
    "2*x2 + 4*x4 + x5 >= 50",
    "8*x0 + 4*x1 + 4*x4 >= 50",
    "8*x0 + 2*x2 + 4*x4 >= 50",
    "2*x2 + 9*x3 + 10*x6 >= 50",
    "4*x1 + 2*x2 + 4*x4 >= 50",
    "8*x0 + 4*x1 + 2*x2 >= 50",
    "2*x2 + 9*x3 + 4*x4 >= 50",
    "8*x0 + 4*x1 + x5 >= 50",
    "2*x2 + 4*x4 + 10*x6 >= 50",
    "8*x0 + 9*x3 + 4*x4 >= 50",
    "8*x0 + 4*x4 + x5 >= 50",
    "4*x4 + x5 + 10*x6 >= 43",
    "8*x0 + 4*x4 + 10*x6 >= 43",
    "4*x1 + 9*x3 + 10*x6 >= 43",
    "4*x1 + x5 + 10*x6 >= 43",
    "9*x3 + 4*x4 + x5 >= 43",
    "4*x1 + 2*x2 + 10*x6 >= 43",
    "4*x1 + 2*x2 + x5 >= 43",
    "4*x1 + 9*x3 + 4*x4 >= 43",
    "8*x0 + 4*x1 + 10*x6 >= 43",
    "8*x0 + 9*x3 + x5 >= 43",
    "8*x0 + 2*x2 + 9*x3 >= 43",
    "2*x2 + 4*x4 + x5 >= 43",
    "8*x0 + 4*x1 + 4*x4 >= 43",
    "8*x0 + 2*x2 + 4*x4 >= 43",
    "2*x2 + 9*x3 + 10*x6 >= 43",
    "4*x1 + 2*x2 + 4*x4 >= 43",
    "8*x0 + 4*x1 + 2*x2 >= 43",
    "2*x2 + 9*x3 + 4*x4 >= 43",
    "8*x0 + 4*x1 + x5 >= 43",
    "2*x2 + 4*x4 + 10*x6 >= 43",
    "8*x0 + 9*x3 + 4*x4 >= 43",
    "8*x0 + 4*x4 + x5 >= 43",
    "4*x4 + x5 + 10*x6 >= 31",
    "8*x0 + 4*x4 + 10*x6 >= 31",
    "4*x1 + 9*x3 + 10*x6 >= 31",
    "4*x1 + x5 + 10*x6 >= 31",
    "9*x3 + 4*x4 + x5 >= 31",
    "4*x1 + 2*x2 + 10*x6 >= 31",
    "4*x1 + 2*x2 + x5 >= 31",
    "4*x1 + 9*x3 + 4*x4 >= 31",
    "8*x0 + 4*x1 + 10*x6 >= 31",
    "8*x0 + 9*x3 + x5 >= 31",
    "8*x0 + 2*x2 + 9*x3 >= 31",
    "2*x2 + 4*x4 + x5 >= 31",
    "8*x0 + 4*x1 + 4*x4 >= 31",
    "8*x0 + 2*x2 + 4*x4 >= 31",
    "2*x2 + 9*x3 + 10*x6 >= 31",
    "4*x1 + 2*x2 + 4*x4 >= 31",
    "8*x0 + 4*x1 + 2*x2 >= 31",
    "2*x2 + 9*x3 + 4*x4 >= 31",
    "8*x0 + 4*x1 + x5 >= 31",
    "2*x2 + 4*x4 + 10*x6 >= 31",
    "8*x0 + 9*x3 + 4*x4 >= 31",
    "8*x0 + 4*x4 + x5 >= 31",
    "4 * x4 + x5 + 10 * x6 >= 56",
    "8 * x0 + 4 * x4 + 10 * x6 >= 56",
    "4 * x1 + 9 * x3 + 10 * x6 >= 56",
    "4 * x1 + x5 + 10 * x6 >= 56",
    "9 * x3 + 4 * x4 + x5 >= 56",
    "4 * x1 + 2 * x2 + 10 * x6 >= 56",
    "4 * x1 + 2 * x2 + x5 >= 56",
    "4 * x1 + 9 * x3 + 4 * x4 >= 56",
    "8 * x0 + 4 * x1 + 10 * x6 >= 56",
    "8 * x0 + 9 * x3 + x5 >= 56",
    "8 * x0 + 2 * x2 + 9 * x3 >= 56",
    "2 * x2 + 4 * x4 + x5 >= 56",
    "8 * x0 + 4 * x1 + 4 * x4 >= 56",
    "8 * x0 + 2 * x2 + 4 * x4 >= 56",
    "2 * x2 + 9 * x3 + 10 * x6 >= 56",
    "4 * x1 + 2 * x2 + 4 * x4 >= 56",
    "8 * x0 + 4 * x1 + 2 * x2 >= 56",
    "2 * x2 + 9 * x3 + 4 * x4 >= 56",
    "8 * x0 + 4 * x1 + x5 >= 56",
    "2 * x2 + 4 * x4 + 10 * x6 >= 56",
    "8 * x0 + 9 * x3 + 4 * x4 >= 56",
    "8 * x0 + 4 * x4 + x5 >= 56",
    "4*x4 + x5 + 10*x6 >= 30",
    "8*x0 + 4*x4 + 10*x6 >= 30",
    "4*x1 + 9*x3 + 10*x6 >= 30",
    "4*x1 + x5 + 10*x6 >= 30",
    "9*x3 + 4*x4 + x5 >= 30",
    "4*x1 + 2*x2 + 10*x6 >= 30",
    "4*x1 + 2*x2 + x5 >= 30",
    "4*x1 + 9*x3 + 4*x4 >= 30",
    "8*x0 + 4*x1 + 10*x6 >= 30",
    "8*x0 + 9*x3 + x5 >= 30",
    "8*x0 + 2*x2 + 9*x3 >= 30",
    "2*x2 + 4*x4 + x5 >= 30",
    "8*x0 + 4*x1 + 4*x4 >= 30",
    "8*x0 + 2*x2 + 4*x4 >= 30",
    "2*x2 + 9*x3 + 10*x6 >= 30",
    "4*x1 + 2*x2 + 4*x4 >= 30",
    "8*x0 + 4*x1 + 2*x2 >= 30",
    "2*x2 + 9*x3 + 4*x4 >= 30",
    "8*x0 + 4*x1 + x5 >= 30",
    "2*x2 + 4*x4 + 10*x6 >= 30",
    "8*x0 + 9*x3 + 4*x4 >= 30",
    "8*x0 + 4*x4 + x5 >=