```json
{
  "sym_variables": [
    ("x0", "milligrams of vitamin E"),
    ("x1", "milligrams of vitamin B2"),
    ("x2", "grams of carbohydrates"),
    ("x3", "milligrams of vitamin B3"),
    ("x4", "milligrams of vitamin B12"),
    ("x5", "milligrams of vitamin B1")
  ],
  "objective_function": "2*x0**2 + 9*x0*x1 + 8*x0*x2 + 2*x0*x3 + 3*x0*x4 + 2*x1**2 + 4*x1*x2 + 5*x2**2 + 5*x2*x3 + x3**2 + 9*x3*x4 + 6*x3*x5 + 2*x4*x5 + 9*x2 + 5*x3 + 3*x5",
  "constraints": [
    "21*x0 + 10*x1 + x2 + 22*x3 + 17*x4 + 18*x5 <= 571",
    "22*x0 + 16*x1 + 28*x2 + 8*x3 + 6*x4 + 9*x5 <= 487",
    "20*x0 + 11*x1 + 27*x2 + 21*x3 + 6*x4 + 4*x5 <= 253",
    "6*x0 + 7*x1 + 3*x2 + 12*x3 + x4 + 8*x5 <= 696",
    "22*x0 + 20*x1 + 23*x2 + 5*x3 + 6*x4 + 23*x5 <= 256",
    "10*x1 + 22*x3 >= 85",
    "10*x1**2 + 22*x3**2 + 18*x5**2 >= 93",
    "21*x0 + x2 + 17*x4 >= 93",
    "21*x0 + x2 + 18*x5 >= 93",
    "10*x1 + 22*x3 + 18*x5 >= 65",
    "21*x0 + x2 + 17*x4 >= 65",
    "21*x0 + x2 + 18*x5 >= 65",
    "10*x1 + 22*x3 + 18*x5 >= 54",
    "21*x0**2 + x2**2 + 17*x4**2 >= 54",
    "21*x0**2 + x2**2 + 18*x5**2 >= 54",
    "16*x1 + 28*x2 + 9*x5 >= 78",
    "28*x2 + 8*x3 + 9*x5 >= 78",
    "22*x0**2 + 16*x1**2 + 8*x3**2 >= 78",
    "22*x0 + 16*x1 + 28*x2 >= 78",
    "22*x0 + 16*x1 + 6*x4 >= 78",
    "28*x2 + 6*x4 + 9*x5 >= 78",
    "16*x1 + 6*x4 + 9*x5 >= 78",
    "16*x1**2 + 8*x3**2 + 6*x4**2 >= 78",
    "22*x0 + 28*x2 + 8*x3 >= 78",
    "22*x0 + 16*x1 + 9*x5 >= 78",
    "16*x1 + 28*x2 + 9*x5 >= 50",
    "28*x2 + 8*x3 + 9*x5 >= 50",
    "22*x0 + 16*x1 + 8*x3 >= 50",
    "22*x0 + 16*x1 + 28*x2 >= 50",
    "22*x0 + 16*x1 + 6*x4 >= 50",
    "28*x2**2 + 6*x4**2 + 9*x5**2 >= 50",
    "16*x1 + 6*x4 + 9*x5 >= 50",
    "16*x1**2 + 8*x3**2 + 6*x4**2 >= 50",
    "22*x0 + 28*x2 + 8*x3 >= 50",
    "22*x0**2 + 16*x1**2 + 9*x5**2 >= 50",
    "16*x1 + 28*x2 + 9*x5 >= 78",
    "28*x2 + 8*x3 + 9*x5 >= 78",
    "22*x0**2 + 16*x1**2 + 8*x3**2 >= 78",
    "22*x0 + 16*x1 + 28*x2 >= 78",
    "22*x0**2 + 16*x1**2 + 6*x4**2 >= 78",
    "28*x2**2 + 6*x4**2 + 9*x5**2 >= 78",
    "16*x1**2 + 6*x4**2 + 9*x5**2 >= 78",
    "16*x1 + 8*x3 + 6*x4 >= 78",
    "22*x0 + 28*x2 + 8*x3 >= 78",
    "22*x0 + 16*x1 + 9*x5 >= 78",
    "16*x1 + 28*x2 + 9*x5 >= 75",
    "28*x2 + 8*x3 + 9*x5 >= 75",
    "22*x0 + 16*x1 + 8*x3 >= 75",
    "22*x0 + 16*x1 + 28*x2 >= 75",
    "22*x0 + 16*x1 + 6*x4 >= 75",
    "28*x2**2 + 6*x4**2 + 9*x5**2 >= 75",
    "16*x1 + 6*x4 + 9*x5 >= 75",
    "16*x1 + 8*x3 + 6*x4 >= 75",
    "22*x0**2 + 28*x2**2 + 8*x3**2 >= 75",
    "22*x0 + 16*x1 + 9*x5 >= 75",
    "16*x1**2 + 28*x2**2 + 9*x5**2 >= 63",
    "28*x2**2 + 8*x3**2 + 9*x5**2 >= 63",
    "22*x0**2 + 16*x1**2 + 8*x3**2 >= 63",
    "22*x0**2 + 16*x1**2 + 28*x2**2 >= 63",
    "22*x0**2 + 16*x1**2 + 6*x4**2 >= 63",
    "28*x2**2 + 6*x4**2 + 9*x5**2 >= 63",
    "16*x1**2 + 6*x4**2 + 9*x5**2 >= 63",
    "16*x1 + 8*x3 + 6*x4 >= 63",
    "22*x0**2 + 28*x2**2 + 8*x3**2 >= 63",
    "22*x0 + 16*x1 + 9*x5 >= 63",
    "16*x1 + 28*x2 + 9*x5 >= 40",
    "28*x2**2 + 8*x3**2 + 9*x5**2 >= 40",
    "22*x0 + 16*x1 + 8*x3 >= 40",
    "22*x0**2 + 16*x1**2 + 28*x2**2 >= 40",
    "22*x0**2 + 16*x1**2 + 6*x4**2 >= 40",
    "28*x2**2 + 6*x4**2 + 9*x5**2 >= 40",
    "16*x1 + 6*x4 + 9*x5 >= 40",
    "16*x1 + 8*x3 + 6*x4 >= 40",
    "22*x0**2 + 28*x2**2 + 8*x3**2 >= 40",
    "22*x0 + 16*x1 + 9*x5 >= 40",
    "16*x1**2 + 28*x2**2 + 9*x5**2 >= 74",
    "28*x2 + 8*x3 + 9*x5 >= 74",
    "22*x0 + 16*x1 + 8*x3 >= 74",
    "22*x0 + 16*x1 + 28*x2 >= 74",
    "22*x0 + 16*x1 + 6*x4 >= 74",
    "28*x2 + 6*x4 + 9*x5 >= 74",
    "16*x1**2 + 6*x4**2 + 9*x5**2 >= 74",
    "16*x1**2 + 8*x3**2 + 6*x4**2 >= 74",
    "22*x0 + 28*x2 + 8*x3 >= 74",
    "22*x0 + 16*x1 + 9*x5 >= 74",
    "16*x1 + 28*x2 + 9*x5 >= 75",
    "28*x2**2 + 8*x3**2 + 9*x5**2 >= 75",
    "22*x0 + 16*x1 + 8*x3 >= 75",
    "22*x0 + 16*x1 + 28*x2 >= 75",
    "22*x0 + 16*x1 + 6*x4 >= 75",
    "28*x2 + 6*x4 + 9*x5 >= 75",
    "16*x1 + 6*x4 + 9*x5 >= 75",
    "16*x1 + 8*x3 + 6*x4 >= 75",
    "22*x0 + 28*x2 + 8*x3 >= 75",
    "22*x0 + 16*x1 + 9*x5 >= 75",
    "16*x1**2 + 28*x2**2 + 9*x5**2 >= 54",
    "28*x2**2 + 8*x3**2 + 9*x5**2 >= 54",
    "22*x0**2 + 16*x1**2 + 8*x3**2 >= 54",
    "22*x0 + 16*x1 + 28*x2 >= 54",
    "22*x0 + 16*x1 + 6*x4 >= 54",
    "28*x2 + 6*x4 + 9*x5 >= 54",
    "16*x1 + 6*x4 + 9*x5 >= 54",
    "16*x1 + 8*x3 + 6*x4 >= 54",
    "22*x0**2 + 28*x2**2 + 8*x3**2 >= 54",
    "22*x0**2 + 16*x1**2 + 9*x5**2 >= 54",
    "16*x1 + 28*x2 + 9*x5 >= 64",
    "28*x2 + 8*x3 + 9*x5 >= 64",
    "22*x0 + 16*x1 + 8*x3 >= 64",
    "22*x0 + 16*x1 + 28*x2 >= 64",
    "22*x0**2 + 16*x1**2 + 6*x4**2 >= 64",
    "28*x2 + 6*x4 + 9*x5 >= 64",
    "16*x1 + 6*x4 + 9*x5 >= 64",
    "16*x1 + 8*x3 + 6*x4 >= 64",
    "22*x0 + 28*x2 + 8*x3 >= 64",
    "22*x0 + 16*x1 + 9*x5 >= 64",
    "11*x1**2 + 6*x4**2 >= 17",
    "20*x0 + 27*x2 >= 32",
    "7*x1 + 3*x2 >= 53",
    "6*x0 + 12*x3 >= 60",
    "7*x1 + x4 + 8*x5 >= 110",
    "6*x0**2 + x4**2 + 8*x5**2 >= 110",
    "6*x0 + 7*x1 + x4 >= 110",
    "7*x1 + 12*x3 + 8*x5 >= 110",
    "6*x0 + 12*x3 + x4 >= 110",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 110",
    "3*x2 + x4 + 8*x5 >= 110",
    "7*x1 + 12*x3 + x4 >= 110",
    "6*x0**2 + 3*x2**2 + x4**2 >= 110",
    "6*x0**2 + 7*x1**2 + 12*x3**2 >= 110",
    "7*x1**2 + 3*x2**2 + 8*x5**2 >= 110",
    "7*x1**2 + x4**2 + 8*x5**2 >= 113",
    "6*x0 + x4 + 8*x5 >= 113",
    "6*x0 + 7*x1 + x4 >= 113",
    "7*x1 + 12*x3 + 8*x5 >= 113",
    "6*x0 + 12*x3 + x4 >= 113",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 113",
    "3*x2 + x4 + 8*x5 >= 113",
    "7*x1 + 12*x3 + x4 >= 113",
    "6*x0**2 + 3*x2**2 + x4**2 >= 113",
    "6*x0 + 7*x1 + 12*x3 >= 113",
    "7*x1**2 + 3*x2**2 + 8*x5**2 >= 113",
    "7*x1 + x4 + 8*x5 >= 61",
    "6*x0 + x4 + 8*x5 >= 61",
    "6*x0**2 + 7*x1**2 + x4**2 >= 61",
    "7*x1 + 12*x3 + 8*x5 >= 61",
    "6*x0 + 12*x3 + x4 >= 61",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 61",
    "3*x2 + x4 + 8*x5 >= 61",
    "7*x1 + 12*x3 + x4 >= 61",
    "6*x0 + 3*x2 + x4 >= 61",
    "6*x0 + 7*x1 + 12*x3 >= 61",
    "7*x1**2 + 3*x2**2 + 8*x5**2 >= 61",
    "7*x1 + x4 + 8*x5 >= 108",
    "6*x0 + x4 + 8*x5 >= 108",
    "6*x0 + 7*x1 + x4 >= 108",
    "7*x1 + 12*x3 + 8*x5 >= 108",
    "6*x0 + 12*x3 + x4 >= 108",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 108",
    "3*x2**2 + x4**2 + 8*x5**2 >= 108",
    "7*x1 + 12*x3 + x4 >= 108",
    "6*x0 + 3*x2 + x4 >= 108",
    "6*x0 + 7*x1 + 12*x3 >= 108",
    "7*x1 + 3*x2 + 8*x5 >= 108",
    "7*x1 + x4 + 8*x5 >= 100",
    "6*x0 + x4 + 8*x5 >= 100",
    "6*x0 + 7*x1 + x4 >= 100",
    "7*x1 + 12*x3 + 8*x5 >= 100",
    "6*x0 + 12*x3 + x4 >= 100",
    "6*x0 + 7*x1 + 3*x2 >= 100",
    "3*x2**2 + x4**2 + 8*x5**2 >= 100",
    "7*x1**2 + 12*x3**2 + x4**2 >= 100",
    "6*x0 + 3*x2 + x4 >= 100",
    "6*x0 + 7*x1 + 12*x3 >= 100",
    "7*x1 + 3*x2 + 8*x5 >= 100",
    "7*x1**2 + x4**2 + 8*x5**2 >= 111",
    "6*x0 + x4 + 8*x5 >= 111",
    "6*x0 + 7*x1 + x4 >= 111",
    "7*x1 + 12*x3 + 8*x5 >= 111",
    "6*x0**2 + 12*x3**2 + x4**2 >= 111",
    "6*x0 + 7*x1 + 3*x2 >= 111",
    "3*x2 + x4 + 8*x5 >= 111",
    "7*x1 + 12*x3 + x4 >= 111",
    "6*x0 + 3*x2 + x4 >= 111",
    "6*x0**2 + 7*x1**2 + 12*x3**2 >= 111",
    "7*x1 + 3*x2 + 8*x5 >= 111",
    "7*x1 + x4 + 8*x5 >= 71",
    "6*x0 + x4 + 8*x5 >= 71",
    "6*x0**2 + 7*x1**2 + x4**2 >= 71",
    "7*x1**2 + 12*x3**2 + 8*x5**2 >= 71",
    "6*x0**2 + 12*x3**2 + x4**2 >= 71",
    "6*x0 + 7*x1 + 3*x2 >= 71",
    "3*x2 + x4 + 8*x5 >= 71",
    "7*x1**2 + 12*x3**2 + x4**2 >= 71",
    "6*x0 + 3*x2 + x4 >= 71",
    "6*x0 + 7*x1 + 12*x3 >= 71",
    "7*x1 + 3*x2 + 8*x5 >= 71",
    "7*x1**2 + x4**2 + 8*x5**2 >= 64",
    "6*x0 + x4 + 8*x5 >= 64",
    "6*x0**2 + 7*x1**2 + x4**2 >= 64",
    "7*x1 + 12*x3 + 8*x5 >= 64",
    "6*x0 + 12*x3 + x4 >= 64",
    "6*x0 + 7*x1 + 3*x2 >= 64",
    "3*x2**2 + x4**2 + 8*x5**2 >= 64",
    "7*x1 + 12*x3 + x4 >= 64",
    "6*x0**2 + 3*x2**2 + x4**2 >= 64",
    "6*x0**2 + 7*x1**2 + 12*x3**2 >= 64",
    "7*x1 + 3*x2 + 8*x5 >= 64",
    "7*x1 + x4 + 8*x5 >= 71",
    "6*x0**2 + x4**2 + 8*x5**2 >= 71",
    "6*x0**2 + 7*x1**2 + x4**2 >= 71",
    "7*x1 + 12*x3 + 8*x5 >= 71",
    "6*x0**2 + 12*x3**2 + x4**2 >= 71",
    "6*x0 + 7*x1 + 3*x2 >= 71",
    "3*x2 + x4 + 8*x5 >= 71",
    "7*x1 + 12*x3 + x4 >= 71",
    "6*x0**2 + 3*x2**2 + x4**2 >= 71",
    "6*x0 + 7*x1 + 12*x3 >= 71",
    "7*x1 + 3*x2 + 8*x5 >= 71",
    "7*x1 + x4 + 8*x5 >= 67",
    "6*x0**2 + x4**2 + 8*x5**2 >= 67",
    "6*x0 + 7*x1 + x4 >= 67",
    "7*x1**2 + 12*x3**2 + 8*x5**2 >= 67",
    "6*x0**2 + 12*x3**2 + x4**2 >= 67",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 67",
    "3*x2 + x4 + 8*x5 >= 67",
    "7*x1 + 12*x3 + x4 >= 67",
    "6*x0**2 + 3*x2**2 + x4**2 >= 67",
    "6*x0 + 7*x1 + 12*x3 >= 67",
    "7*x1 + 3*x2 + 8*x5 >= 67",
    "7*x1 + x4 + 8*x5 >= 98",
    "6*x0**2 + x4**2 + 8*x5**2 >= 98",
    "6*x0 + 7*x1 + x4 >= 98",
    "7*x1 + 12*x3 + 8*x5 >= 98",
    "6*x0 + 12*x3 + x4 >= 98",
    "6*x0**2 + 7*x1**2 + 3*x2**2 >= 98",
    "3*x2 + x4 + 8*x5 >= 98",
    "7*x1**2 + 12*x3**2 + x4**2 >= 98",
    "6*x0 + 3*x2 + x4 >= 98",
    "6*x0**2 + 7*x1**2 + 12*x3**2 >= 98",
    "7*x1 + 3*x2 + 8*x5 >= 98",
    "23*x2**2 + 5*x3**2 + 23*x5**2 >= 42",
    "22*x0**2 + 20*x1**2 + 23*x5**2 >= 42",
    "23*x2**2 + 5*x3**2 + 6*x4**2 >= 42",
    "20*x1**2 + 5*x3**2 + 23*x5**2 >= 42",
    "22*x0 + 20*x1 + 23*x2 >= 42",
    "23*x2 + 5*x3 + 23*x5 >= 23",
    "22*x0 + 20*x1 + 23*x5 >= 23",
    "23*x2 + 5*x3 + 6*x4 >= 23",
    "20*x1 + 5*x3 + 23*x5 >= 23",
    "22*x0**2 + 20*x1**2 + 23*x2**2 >= 23",
    "23*x2 + 5*x3 + 23*x5 >= 35",
    "22*x0 + 20*x1 + 23*x5 >= 35",
    "23*x2**2 + 5*x3**2 + 6*x4**2 >= 35",
    "20*x1 + 5*x3 + 23*x5 >= 35",
    "22*x0 + 20*x1 + 23*x2 >= 35",
    "23*x2**2 + 5*x3**2 + 23*x5**2 >= 38",
    "22*x0**2 + 20*x1**2 + 23*x5**2 >= 38",
    "23*x2 + 5*x3 + 6*x4 >= 38",
    "20*x1 + 5*x3 + 23*x5 >= 38",
    "22*x0 + 20*x1 + 23*x2 >= 38",
    "23*x2 + 5*x3 + 23*x5 >= 39",
    "22*x0 + 20*x1 + 23*x5 >= 39",
    "23*x2 + 5*x3 + 6*x4 >= 39",
    "20*x1 + 5*x3 + 23*x5 >= 39",
    "22*x0**2 + 20*x1**2 + 23*x2**2 >= 39",
    "17*x4**2 + 18*x5**2 <= 318",
    "21*x0**2 + 17*x4**2 <= 218",
    "21*x0**2 + 10*x1**2 <= 494",
    "21*x0**2 + 22*x3**2 <= 312",
    "x2 + 18*x5 <= 376",
    "x2 + 22*x3 <= 566",
    "10*x1**2 + x2**2 <= 563",
    "10*x1 + 22*x3 <= 476",
    "x0 + x1 + x2 + x3 + x4 + x5 <= 476",
    "22*x0**2 + 9*x5**2 <= 409",
    "16*x1**2 + 6*x4**2 <= 315",
    "22*x0**2 + 28*x2**2 <= 212",
    "16*x1 + 9*x5 <= 286",
    "16*x1**2 + 8*x3**2 <= 193",
    "22*x0 + 28*x2 + 6*x4 <= 326",
    "16*x1**2 + 28*x2**2 + 9*x5**2 <= 414",
    "16*x1**2 + 8*x3**2 + 6*x4**2 <= 353",
    "16*x1 + 6*x4 + 9*x5 <= 244",
    "22*x0**2 + 8*x3**2 + 6*x4**2 <= 475",
    "22*x0 + 16*x1 + 6*x4 <= 144",
    "22*x0 + 8*x3 + 9*x5 <= 448",
    "22*x0 + 16*x1 + 9*x5 <= 377",
    "22*x0 + 16*x1 + 28*x2 <= 160",
    "28*x2**2 + 8*x3**2 + 6*x4**2 <= 389",
    "28*x2 + 6*x4 + 9*x5 <= 179",
    "28*x2**2 + 8*x3**2 + 9*x5**2 <= 441",
    "16*x1 + 8*x3 + 9*x5 <= 405",
    "x0 + x1 + x2 + x3 + x4 + x5 <= 405",
    "21*x3**2 + 4*x5**2 <= 253",
    "11*x1 + 4*x5 <= 106",
    "11*x1 + 6*x4 <= 238",
    "20*x0**2 + 4*x5**2 <= 197",
    "11*x1**2 + 27*x2**2 + 21*x3**2 <= 223",
    "11*x1 + 21*x3 + 6*x4 <= 60",
    "20*x0 + 11*x1 + 21*x3