```json
{
  "sym_variables": [
    ("x0", "geraniums"),
    ("x1", "bean stalks"),
    ("x2", "chili plants"),
    ("x3", "vincas"),
    ("x4", "hydrangeas"),
    ("x5", "boxwoods"),
    ("x6", "basil plants")
  ],
  "objective_function": "5.11 * x0 * x1 + 5.56 * x0 * x3 + 7.89 * x0 * x6 + 1.39 * x1 * x2 + 5.31 * x1 * x6 + 2.76 * x3 * x4 + 8.55 * x4**2 + 2.85 * x5**2 + 3.25 * x6**2 + 6.16 * x2 + 3.57 * x5",
  "constraints": [
    "17 * x0 + 18 * x1 + 15 * x2 + 9 * x3 + 18 * x4 + 15 * x5 + 12 * x6 <= 249",
    "9 * x0 + 17 * x1 + 14 * x2 + 5 * x3 + 15 * x4 + 20 * x5 + 9 * x6 <= 361",
    "8 * x0 + 14 * x1 + 11 * x2 + 4 * x3 + 12 * x4 + 7 * x5 + 9 * x6 <= 304",
    "18 * x4 + 12 * x6 >= 26",
    "17**2 * x0**2 + 18**2 * x4**2 >= 17",
    "15**2 * x5**2 + 12**2 * x6**2 >= 15",
    "15 * x2 + 12 * x6 >= 30",
    "18 * x4 + 15 * x5 >= 11",
    "15 * x2 + 18 * x4 >= 30",
    "18**2 * x1**2 + 9**2 * x3**2 + 15**2 * x5**2 >= 27",
    "18**2 * x1**2 + 15**2 * x2**2 + 18**2 * x4**2 >= 27",
    "18 * x1 + 18 * x4 + 15 * x5 >= 27",
    "15 * x2 + 15 * x5 + 12 * x6 >= 27",
    "9 * x3 + 18 * x4 + 15 * x5 >= 27",
    "18**2 * x1**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 27",
    "17 * x0 + 18 * x4 + 12 * x6 >= 27",
    "17**2 * x0**2 + 15**2 * x2**2 + 15**2 * x5**2 >= 27",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 27",
    "15 * x2 + 9 * x3 + 12 * x6 >= 27",
    "17 * x0 + 15 * x5 + 12 * x6 >= 27",
    "17 * x0 + 9 * x3 + 12 * x6 >= 27",
    "9 * x3 + 18 * x4 + 12 * x6 >= 27",
    "18**2 * x1**2 + 15**2 * x2**2 + 9**2 * x3**2 >= 27",
    "18 * x1 + 15 * x2 + 12 * x6 >= 27",
    "18 * x1 + 15 * x5 + 12 * x6 >= 27",
    "18 * x1 + 9 * x3 + 15 * x5 >= 27",
    "18 * x1 + 15 * x2 + 18 * x4 >= 27",
    "18 * x1 + 18 * x4 + 15 * x5 >= 27",  
    "15 * x2 + 15 * x5 + 12 * x6 >= 27",
    "9 * x3 + 18 * x4 + 15 * x5 >= 27",
    "18 * x1 + 18 * x4 + 12 * x6 >= 27",
    "17 * x0 + 18 * x4 + 12 * x6 >= 27",
    "17 * x0 + 15 * x2 + 15 * x5 >= 27",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 27",
    "15 * x2 + 9 * x3 + 12 * x6 >= 27",
    "17 * x0 + 15 * x5 + 12 * x6 >= 27",
    "17 * x0 + 9 * x3 + 12 * x6 >= 27",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 27",
    "18 * x1 + 15 * x2 + 9 * x3 >= 27",
    "18 * x1 + 15 * x2 + 12 * x6 >= 27",
    "18 * x1 + 15 * x5 + 12 * x6 >= 27",
    "18 * x1 + 9 * x3 + 15 * x5 >= 28",
    "18 * x1 + 15 * x2 + 18 * x4 >= 28",
    "18**2 * x1**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 28",
    "15 * x2 + 15 * x5 + 12 * x6 >= 28",
    "9**2 * x3**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 28",
    "18 * x1 + 18 * x4 + 12 * x6 >= 28",
    "17**2 * x0**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 28",
    "17**2 * x0**2 + 15**2 * x2**2 + 15**2 * x5**2 >= 28",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 28",
    "15 * x2 + 9 * x3 + 12 * x6 >= 28",
    "17**2 * x0**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 28",
    "17 * x0 + 9 * x3 + 12 * x6 >= 28",
    "9 * x3 + 18 * x4 + 12 * x6 >= 28",
    "18 * x1 + 15 * x2 + 9 * x3 >= 28",
    "18 * x1 + 15 * x2 + 12 * x6 >= 28",
    "18 * x1 + 15 * x5 + 12 * x6 >= 28",
    "18**2 * x1**2 + 9**2 * x3**2 + 15**2 * x5**2 >= 33",
    "18 * x1 + 15 * x2 + 18 * x4 >= 33",
    "18**2 * x1**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 33",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 33",
    "9 * x3 + 18 * x4 + 15 * x5 >= 33",
    "18 * x1 + 18 * x4 + 12 * x6 >= 33",
    "17 * x0 + 18 * x4 + 12 * x6 >= 33",
    "17 * x0 + 15 * x2 + 15 * x5 >= 33",
    "18 * x4 + 15 * x5 + 12 * x6 >= 33",
    "15**2 * x2**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 33",
    "17 * x0 + 15 * x5 + 12 * x6 >= 33",
    "17 * x0 + 9 * x3 + 12 * x6 >= 33",
    "9 * x3 + 18 * x4 + 12 * x6 >= 33",
    "18**2 * x1**2 + 15**2 * x2**2 + 9**2 * x3**2 >= 33",
    "18**2 * x1**2 + 15**2 * x2**2 + 12**2 * x6**2 >= 33",
    "18 * x1 + 15 * x5 + 12 * x6 >= 33",
    "18**2 * x1**2 + 9**2 * x3**2 + 15**2 * x5**2 >= 34",
    "18 * x1 + 15 * x2 + 18 * x4 >= 34",
    "18 * x1 + 18 * x4 + 15 * x5 >= 34",
    "15 * x2 + 15 * x5 + 12 * x6 >= 34",
    "9 * x3 + 18 * x4 + 15 * x5 >= 34",
    "18 * x1 + 18 * x4 + 12 * x6 >= 34",
    "17 * x0 + 18 * x4 + 12 * x6 >= 34",
    "17 * x0 + 15 * x2 + 15 * x5 >= 34",
    "18 * x4 + 15 * x5 + 12 * x6 >= 34",
    "15 * x2 + 9 * x3 + 12 * x6 >= 34",
    "17 * x0 + 15 * x5 + 12 * x6 >= 34",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 34",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 34",
    "18 * x1 + 15 * x2 + 9 * x3 >= 34",
    "18 * x1 + 15 * x2 + 12 * x6 >= 34",
    "18**2 * x1**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 34",
    "18 * x1 + 9 * x3 + 15 * x5 >= 26",
    "18 * x1 + 15 * x2 + 18 * x4 >= 26",
    "18**2 * x1**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 26",
    "15 * x2 + 15 * x5 + 12 * x6 >= 26",
    "9 * x3 + 18 * x4 + 15 * x5 >= 26",
    "18 * x1 + 18 * x4 + 12 * x6 >= 26",
    "17 * x0 + 18 * x4 + 12 * x6 >= 26",
    "17 * x0 + 15 * x2 + 15 * x5 >= 26",
    "18 * x4 + 15 * x5 + 12 * x6 >= 26",
    "15 * x2 + 9 * x3 + 12 * x6 >= 26",
    "17 * x0 + 15 * x5 + 12 * x6 >= 26",
    "17 * x0 + 9 * x3 + 12 * x6 >= 26",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 26",
    "18 * x1 + 15 * x2 + 9 * x3 >= 26",
    "18**2 * x1**2 + 15**2 * x2**2 + 12**2 * x6**2 >= 26",
    "18 * x1 + 15 * x5 + 12 * x6 >= 26",
    "18**2 * x1**2 + 9**2 * x3**2 + 15**2 * x5**2 >= 20",
    "18**2 * x1**2 + 15**2 * x2**2 + 18**2 * x4**2 >= 20",
    "18 * x1 + 18 * x4 + 15 * x5 >= 20",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 20",
    "9 * x3 + 18 * x4 + 15 * x5 >= 20",
    "18 * x1 + 18 * x4 + 12 * x6 >= 20",
    "17**2 * x0**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 20",
    "17 * x0 + 15 * x2 + 15 * x5 >= 20",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 20",
    "15 * x2 + 9 * x3 + 12 * x6 >= 20",
    "17 * x0 + 15 * x5 + 12 * x6 >= 20",
    "17 * x0 + 9 * x3 + 12 * x6 >= 20",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 20",
    "18 * x1 + 15 * x2 + 9 * x3 >= 20",
    "18**2 * x1**2 + 15**2 * x2**2 + 12**2 * x6**2 >= 20",
    "18 * x1 + 15 * x5 + 12 * x6 >= 20",
    "18 * x1 + 9 * x3 + 15 * x5 >= 20",
    "18 * x1 + 15 * x2 + 18 * x4 >= 20",
    "18 * x1 + 18 * x4 + 15 * x5 >= 20",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 20",
    "9 * x3 + 18 * x4 + 15 * x5 >= 20",
    "18 * x1 + 18 * x4 + 12 * x6 >= 20",
    "17 * x0 + 18 * x4 + 12 * x6 >= 20",
    "17 * x0 + 15 * x2 + 15 * x5 >= 20",
    "18 * x4 + 15 * x5 + 12 * x6 >= 20",
    "15**2 * x2**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 20",
    "17 * x0 + 15 * x5 + 12 * x6 >= 20",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 20",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 20",
    "18 * x1 + 15 * x2 + 9 * x3 >= 20",
    "18 * x1 + 15 * x2 + 12 * x6 >= 20",
    "18 * x1 + 15 * x5 + 12 * x6 >= 20",
    "18 * x1 + 9 * x3 + 15 * x5 >= 29",
    "18 * x1 + 15 * x2 + 18 * x4 >= 29",
    "18 * x1 + 18 * x4 + 15 * x5 >= 29",
    "15 * x2 + 15 * x5 + 12 * x6 >= 29",
    "9 * x3 + 18 * x4 + 15 * x5 >= 29",
    "18 * x1 + 18 * x4 + 12 * x6 >= 29",
    "17 * x0 + 18 * x4 + 12 * x6 >= 29",
    "17 * x0 + 15 * x2 + 15 * x5 >= 29",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 29",
    "15**2 * x2**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 29",
    "17 * x0 + 15 * x5 + 12 * x6 >= 29",
    "17 * x0 + 9 * x3 + 12 * x6 >= 29",
    "9 * x3 + 18 * x4 + 12 * x6 >= 29",
    "18 * x1 + 15 * x2 + 9 * x3 >= 29",
    "18 * x1 + 15 * x2 + 12 * x6 >= 29",
    "18 * x1 + 15 * x5 + 12 * x6 >= 29",
    "18 * x1 + 9 * x3 + 15 * x5 >= 28",
    "18 * x1 + 15 * x2 + 18 * x4 >= 28",
    "18 * x1 + 18 * x4 + 15 * x5 >= 28",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 28",
    "9**2 * x3**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 28",
    "18 * x1 + 18 * x4 + 12 * x6 >= 28",
    "17 * x0 + 18 * x4 + 12 * x6 >= 28",
    "17 * x0 + 15 * x2 + 15 * x5 >= 28",
    "18 * x4 + 15 * x5 + 12 * x6 >= 28",
    "15 * x2 + 9 * x3 + 12 * x6 >= 28",
    "17 * x0 + 15 * x5 + 12 * x6 >= 28",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 28",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 28",
    "18 * x1 + 15 * x2 + 9 * x3 >= 28",
    "18 * x1 + 15 * x2 + 12 * x6 >= 28",
    "18 * x1 + 15 * x5 + 12 * x6 >= 28",
    "18**2 * x1**2 + 9**2 * x3**2 + 15**2 * x5**2 >= 32",
    "18**2 * x1**2 + 15**2 * x2**2 + 18**2 * x4**2 >= 32",
    "18**2 * x1**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 32",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 32",
    "9 * x3 + 18 * x4 + 15 * x5 >= 32",
    "18 * x1 + 18 * x4 + 12 * x6 >= 32",
    "17 * x0 + 18 * x4 + 12 * x6 >= 32",
    "17 * x0 + 15 * x2 + 15 * x5 >= 32",
    "18 * x4 + 15 * x5 + 12 * x6 >= 32",
    "15 * x2 + 9 * x3 + 12 * x6 >= 32",
    "17 * x0 + 15 * x5 + 12 * x6 >= 32",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 32",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 32",
    "18**2 * x1**2 + 15**2 * x2**2 + 9**2 * x3**2 >= 32",
    "18 * x1 + 15 * x2 + 12 * x6 >= 32",
    "18 * x1 + 15 * x5 + 12 * x6 >= 32",
    "18 * x1 + 9 * x3 + 15 * x5 >= 18",
    "18 * x1 + 15 * x2 + 18 * x4 >= 18",
    "18 * x1 + 18 * x4 + 15 * x5 >= 18",
    "15 * x2 + 15 * x5 + 12 * x6 >= 18",
    "9 * x3 + 18 * x4 + 15 * x5 >= 18",
    "18**2 * x1**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 18",
    "17 * x0 + 18 * x4 + 12 * x6 >= 18",
    "17 * x0 + 15 * x2 + 15 * x5 >= 18",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 18",
    "15 * x2 + 9 * x3 + 12 * x6 >= 18",
    "17 * x0 + 15 * x5 + 12 * x6 >= 18",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 18",
    "9 * x3 + 18 * x4 + 12 * x6 >= 18",
    "18**2 * x1**2 + 15**2 * x2**2 + 9**2 * x3**2 >= 17",
    "18 * x1 + 15 * x2 + 12 * x6 >= 18",
    "18 * x1 + 15 * x5 + 12 * x6 >= 18",
    "18 * x1 + 9 * x3 + 15 * x5 >= 24",
    "18 * x1 + 15 * x2 + 18 * x4 >= 24",
    "18 * x1 + 18 * x4 + 15 * x5 >= 24",
    "15 * x2 + 15 * x5 + 12 * x6 >= 24",
    "9**2 * x3**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 24",
    "18 * x1 + 18 * x4 + 12 * x6 >= 24",
    "17 * x0 + 18 * x4 + 12 * x6 >= 24",
    "17**2 * x0**2 + 15**2 * x2**2 + 15**2 * x5**2 >= 24",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 24",
    "15 * x2 + 9 * x3 + 12 * x6 >= 24",
    "17 * x0 + 15 * x5 + 12 * x6 >= 24",
    "17 * x0 + 9 * x3 + 12 * x6 >= 24",
    "9**2 * x3**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 24",
    "18 * x1 + 15 * x2 + 9 * x3 >= 24",
    "18 * x1 + 15 * x2 + 12 * x6 >= 24",
    "18 * x1 + 15 * x5 + 12 * x6 >= 24",
    "18 * x1 + 9 * x3 + 15 * x5 >= 26",
    "18 * x1 + 15 * x2 + 18 * x4 >= 26",
    "18 * x1 + 18 * x4 + 15 * x5 >= 26",
    "15 * x2 + 15 * x5 + 12 * x6 >= 26",
    "9 * x3 + 18 * x4 + 15 * x5 >= 26",
    "18**2 * x1**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 26",
    "17 * x0 + 18 * x4 + 12 * x6 >= 26",
    "17 * x0 + 15 * x2 + 15 * x5 >= 26",
    "18 * x4 + 15 * x5 + 12 * x6 >= 26",
    "15 * x2 + 9 * x3 + 12 * x6 >= 26",
    "17 * x0 + 15 * x5 + 12 * x6 >= 26",
    "17 * x0 + 9 * x3 + 12 * x6 >= 26",
    "9 * x3 + 18 * x4 + 12 * x6 >= 26",
    "18 * x1 + 15 * x2 + 9 * x3 >= 26",
    "18 * x1 + 15 * x2 + 12 * x6 >= 26",
    "18 * x1 + 15 * x5 + 12 * x6 >= 26",
    "18 * x1 + 9 * x3 + 15 * x5 >= 17",
    "18 * x1 + 15 * x2 + 18 * x4 >= 17",
    "18 * x1 + 18 * x4 + 15 * x5 >= 17",
    "15 * x2 + 15 * x5 + 12 * x6 >= 17",
    "9**2 * x3**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 17",
    "18**2 * x1**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 17",
    "17**2 * x0**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 17",
    "17 * x0 + 15 * x2 + 15 * x5 >= 17",
    "18 * x4 + 15 * x5 + 12 * x6 >= 17",
    "15 * x2 + 9 * x3 + 12 * x6 >= 17",
    "17 * x0 + 15 * x5 + 12 * x6 >= 17",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 17",
    "9 * x3 + 18 * x4 + 12 * x6 >= 17",
    "18**2 * x1**2 + 15**2 * x2**2 + 9**2 * x3**2 >= 17",
    "18 * x1 + 15 * x2 + 12 * x6 >= 17",
    "18 * x1 + 15 * x5 + 12 * x6 >= 17",
    "18 * x1 + 9 * x3 + 15 * x5 >= 21",
    "18 * x1 + 15 * x2 + 18 * x4 >= 21",
    "18 * x1 + 18 * x4 + 15 * x5 >= 21",
    "15**2 * x2**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 21",
    "9**2 * x3**2 + 18**2 * x4**2 + 15**2 * x5**2 >= 21",
    "18**2 * x1**2 + 18**2 * x4**2 + 12**2 * x6**2 >= 21",
    "17 * x0 + 18 * x4 + 12 * x6 >= 21",
    "17**2 * x0**2 + 15**2 * x2**2 + 15**2 * x5**2 >= 21",
    "18**2 * x4**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 21",
    "15 * x2 + 9 * x3 + 12 * x6 >= 21",
    "17**2 * x0**2 + 15**2 * x5**2 + 12**2 * x6**2 >= 21",
    "17**2 * x0**2 + 9**2 * x3**2 + 12**2 * x6**2 >= 21",
    "9 * x3 + 18 * x4 + 12 * x6 >= 21",
    "18 * x1 + 15 * x2 + 9 * x3 >= 21",
    "18 * x1 + 15 * x2 + 12 * x6 >= 21",
    "18 * x1 + 15 * x5 + 1