```json
{
  "sym_variables": [
    ("x0", "hours worked by Mary"),
    ("x1", "hours worked by John"),
    ("x2", "hours worked by Ringo"),
    ("x3", "hours worked by George"),
    ("x4", "hours worked by Bobby"),
    ("x5", "hours worked by Laura")
  ],
  "objective_function": "7*x0**2 + 4*x0*x3 + 7*x0*x4 + x0*x5 + 6*x1*x2 + 5*x2**2 + 7*x2*x4 + 3*x2*x5 + 5*x3**2 + 8*x3*x4 + 6*x4*x5 + 2*x5**2 + 6*x0 + 8*x2 + 6*x3 + 6*x4 + 9*x5",
  "constraints": [
    "2*x0**2 + 4*x1**2 >= 6",
    "4*x1 + 2*x5 >= 9",
    "6*x4**2 + 2*x5**2 >= 9",
    "4*x1 + 6*x4 >= 14",
    "2*x0**2 + 6*x3**2 >= 12",
    "4*x1**2 + x2**2 >= 5",
    "2*x0**2 + x2**2 + 2*x5**2 >= 13",
    "6*x3 + 6*x4 + 2*x5 >= 13",
    "4*x1 + 6*x3 + 2*x5 >= 13",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 13",
    "x2 + 6*x3 + 2*x5 >= 13",
    "2*x0**2 + 6*x3**2 + 6*x4**2 >= 13",
    "4*x1 + x2 + 6*x3 >= 13",
    "2*x0 + 6*x3 + 2*x5 >= 13",
    "4*x1 + x2 + 6*x4 >= 13",
    "2*x0**2 + x2**2 + 6*x4**2 >= 13",
    "2*x0 + x2 + 2*x5 >= 9",
    "6*x3 + 6*x4 + 2*x5 >= 9",
    "4*x1 + 6*x3 + 2*x5 >= 9",
    "2*x0 + 4*x1 + 6*x3 >= 9",
    "x2 + 6*x3 + 2*x5 >= 9",
    "2*x0 + 6*x3 + 6*x4 >= 9",
    "4*x1 + x2 + 6*x3 >= 9",
    "2*x0 + 6*x3 + 2*x5 >= 9",
    "4*x1**2 + x2**2 + 6*x4**2 >= 9",
    "2*x0 + x2 + 6*x4 >= 9",
    "2*x0 + x2 + 2*x5 >= 8",
    "6*x3**2 + 6*x4**2 + 2*x5**2 >= 8",
    "4*x1 + 6*x3 + 2*x5 >= 8",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 8",
    "x2 + 6*x3 + 2*x5 >= 8",
    "2*x0 + 6*x3 + 6*x4 >= 8",
    "4*x1**2 + x2**2 + 6*x3**2 >= 8",
    "2*x0**2 + 6*x3**2 + 2*x5**2 >= 8",
    "4*x1 + x2 + 6*x4 >= 8",
    "2*x0 + x2 + 6*x4 >= 8",
    "2*x0**2 + x2**2 + 2*x5**2 >= 14",
    "6*x3 + 6*x4 + 2*x5 >= 14",
    "4*x1 + 6*x3 + 2*x5 >= 14",
    "2*x0 + 4*x1 + 6*x3 >= 14",
    "x2 + 6*x3 + 2*x5 >= 14",
    "2*x0 + 6*x3 + 6*x4 >= 14",
    "4*x1 + x2 + 6*x3 >= 14",
    "2*x0 + 6*x3 + 2*x5 >= 14",
    "4*x1**2 + x2**2 + 6*x4**2 >= 14",
    "2*x0 + x2 + 6*x4 >= 14",
    "2*x0 + x2 + 2*x5 >= 8",
    "6*x3**2 + 6*x4**2 + 2*x5**2 >= 8",
    "4*x1 + 6*x3 + 2*x5 >= 8",
    "2*x0 + 4*x1 + 6*x3 >= 8",
    "x2 + 6*x3 + 2*x5 >= 8",
    "2*x0 + 6*x3 + 6*x4 >= 8",
    "4*x1 + x2 + 6*x3 >= 8",
    "2*x0 + 6*x3 + 2*x5 >= 8",
    "4*x1**2 + x2**2 + 6*x4**2 >= 8",
    "2*x0**2 + x2**2 + 6*x4**2 >= 8",
    "2*x0 + x2 + 2*x5 >= 9",
    "6*x3 + 6*x4 + 2*x5 >= 9",
    "4*x1**2 + 6*x3**2 + 2*x5**2 >= 9",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 9",
    "x2**2 + 6*x3**2 + 2*x5**2 >= 9",
    "2*x0 + 6*x3 + 6*x4 >= 9",
    "4*x1**2 + x2**2 + 6*x3**2 >= 9",
    "2*x0**2 + 6*x3**2 + 2*x5**2 >= 9",
    "4*x1**2 + x2**2 + 6*x4**2 >= 9",
    "2*x0**2 + x2**2 + 6*x4**2 >= 9",
    "2*x0 + x2 + 2*x5 >= 12",
    "6*x3**2 + 6*x4**2 + 2*x5**2 >= 12",
    "4*x1 + 6*x3 + 2*x5 >= 12",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 12",
    "x2 + 6*x3 + 2*x5 >= 12",
    "2*x0**2 + 6*x3**2 + 6*x4**2 >= 12",
    "4*x1 + x2 + 6*x3 >= 12",
    "2*x0**2 + 6*x3**2 + 2*x5**2 >= 12",
    "4*x1 + x2 + 6*x4 >= 12",
    "2*x0 + x2 + 6*x4 >= 12",
    "2*x0 + x2 + 2*x5 >= 11",
    "6*x3 + 6*x4 + 2*x5 >= 11",
    "4*x1**2 + 6*x3**2 + 2*x5**2 >= 11",
    "2*x0 + 4*x1 + 6*x3 >= 11",
    "x2 + 6*x3 + 2*x5 >= 11",
    "2*x0**2 + 6*x3**2 + 6*x4**2 >= 11",
    "4*x1 + x2 + 6*x3 >= 11",
    "2*x0 + 6*x3 + 2*x5 >= 11",
    "4*x1 + x2 + 6*x4 >= 11",
    "2*x0**2 + x2**2 + 6*x4**2 >= 11",
    "2*x0**2 + x2**2 + 2*x5**2 >= 13",
    "6*x3 + 6*x4 + 2*x5 >= 13",
    "4*x1 + 6*x3 + 2*x5 >= 13",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 13",
    "x2 + 6*x3 + 2*x5 >= 13",
    "2*x0 + 6*x3 + 6*x4 >= 13",
    "4*x1**2 + x2**2 + 6*x3**2 >= 13",
    "2*x0 + 6*x3 + 2*x5 >= 13",
    "4*x1 + x2 + 6*x4 >= 13",
    "2*x0 + x2 + 6*x4 >= 13",
    "2*x0 + x2 + 2*x5 >= 12",
    "6*x3**2 + 6*x4**2 + 2*x5**2 >= 12",
    "4*x1**2 + 6*x3**2 + 2*x5**2 >= 12",
    "2*x0**2 + 4*x1**2 + 6*x3**2 >= 12",
    "x2**2 + 6*x3**2 + 2*x5**2 >= 12",
    "2*x0**2 + 6*x3**2 + 6*x4**2 >= 12",
    "4*x1 + x2 + 6*x3 >= 12",
    "2*x0**2 + 6*x3**2 + 2*x5**2 >= 12",
    "4*x1**2 + x2**2 + 6*x4**2 >= 12",
    "2*x0**2 + x2**2 + 6*x4**2 >= 12",
    "x0 + x1 + x2 + x3 + x4 + x5 >= 12",
    "2*x0 + 6*x1 >= 6",
    "2*x0 + x5 >= 5",
    "2*x0**2 + 7*x2**2 >= 6",
    "7*x2 + 4*x4 >= 14",
    "7*x2 + x5 >= 8",
    "2*x0 + 4*x3 + x5 >= 13",
    "2*x0**2 + 6*x1**2 + 4*x3**2 >= 13",
    "2*x0**2 + 7*x2**2 + x5**2 >= 13",
    "6*x1 + 7*x2 + 4*x3 >= 13",
    "4*x3 + 4*x4 + x5 >= 13",
    "7*x2**2 + 4*x3**2 + x5**2 >= 13",
    "6*x1 + 7*x2 + x5 >= 13",
    "2*x0 + 6*x1 + 4*x4 >= 13",
    "6*x1 + 4*x3 + x5 >= 13",
    "7*x2 + 4*x4 + x5 >= 13",
    "2*x0 + 7*x2 + 4*x3 >= 13",
    "2*x0 + 4*x3 + x5 >= 13",
    "2*x0 + 6*x1 + 4*x3 >= 13",
    "2*x0 + 7*x2 + x5 >= 13",
    "6*x1 + 7*x2 + 4*x3 >= 13",
    "4*x3 + 4*x4 + x5 >= 13",
    "7*x2 + 4*x3 + x5 >= 13",
    "6*x1 + 7*x2 + x5 >= 13",
    "2*x0**2 + 6*x1**2 + 4*x4**2 >= 13",
    "6*x1 + 4*x3 + x5 >= 13",
    "7*x2 + 4*x4 + x5 >= 13",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 13",
    "2*x0 + 4*x3 + x5 >= 11",
    "2*x0 + 6*x1 + 4*x3 >= 11",
    "2*x0 + 7*x2 + x5 >= 11",
    "6*x1 + 7*x2 + 4*x3 >= 11",
    "4*x3 + 4*x4 + x5 >= 11",
    "7*x2**2 + 4*x3**2 + x5**2 >= 11",
    "6*x1 + 7*x2 + x5 >= 11",
    "2*x0**2 + 6*x1**2 + 4*x4**2 >= 11",
    "6*x1 + 4*x3 + x5 >= 11",
    "7*x2 + 4*x4 + x5 >= 11",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 11",
    "2*x0 + 4*x3 + x5 >= 14",
    "2*x0**2 + 6*x1**2 + 4*x3**2 >= 14",
    "2*x0 + 7*x2 + x5 >= 14",
    "6*x1 + 7*x2 + 4*x3 >= 14",
    "4*x3 + 4*x4 + x5 >= 14",
    "7*x2**2 + 4*x3**2 + x5**2 >= 14",
    "6*x1 + 7*x2 + x5 >= 14",
    "2*x0 + 6*x1 + 4*x4 >= 14",
    "6*x1 + 4*x3 + x5 >= 14",
    "7*x2 + 4*x4 + x5 >= 14",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 14",
    "2*x0**2 + 4*x3**2 + x5**2 >= 7",
    "2*x0 + 6*x1 + 4*x3 >= 7",
    "2*x0 + 7*x2 + x5 >= 7",
    "6*x1 + 7*x2 + 4*x3 >= 7",
    "4*x3 + 4*x4 + x5 >= 7",
    "7*x2 + 4*x3 + x5 >= 7",
    "6*x1 + 7*x2 + x5 >= 7",
    "2*x0**2 + 6*x1**2 + 4*x4**2 >= 7",
    "6*x1 + 4*x3 + x5 >= 7",
    "7*x2 + 4*x4 + x5 >= 7",
    "2*x0 + 7*x2 + 4*x3 >= 7",
    "2*x0 + 4*x3 + x5 >= 8",
    "2*x0 + 6*x1 + 4*x3 >= 8",
    "2*x0**2 + 7*x2**2 + x5**2 >= 8",
    "6*x1**2 + 7*x2**2 + 4*x3**2 >= 8",
    "4*x3 + 4*x4 + x5 >= 8",
    "7*x2 + 4*x3 + x5 >= 8",
    "6*x1 + 7*x2 + x5 >= 8",
    "2*x0**2 + 6*x1**2 + 4*x4**2 >= 8",
    "6*x1 + 4*x3 + x5 >= 8",
    "7*x2**2 + 4*x4**2 + x5**2 >= 8",
    "2*x0 + 7*x2 + 4*x3 >= 8",
    "2*x0 + 4*x3 + x5 >= 7",
    "2*x0**2 + 6*x1**2 + 4*x3**2 >= 7",
    "2*x0 + 7*x2 + x5 >= 7",
    "6*x1 + 7*x2 + 4*x3 >= 7",
    "4*x3 + 4*x4 + x5 >= 7",
    "7*x2**2 + 4*x3**2 + x5**2 >= 7",
    "6*x1 + 7*x2 + x5 >= 7",
    "2*x0 + 6*x1 + 4*x4 >= 7",
    "6*x1 + 4*x3 + x5 >= 7",
    "7*x2 + 4*x4 + x5 >= 7",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 7",
    "2*x0 + 4*x3 + x5 >= 11",
    "2*x0 + 6*x1 + 4*x3 >= 11",
    "2*x0 + 7*x2 + x5 >= 11",
    "6*x1**2 + 7*x2**2 + 4*x3**2 >= 11",
    "4*x3 + 4*x4 + x5 >= 11",
    "7*x2**2 + 4*x3**2 + x5**2 >= 11",
    "6*x1 + 7*x2 + x5 >= 11",
    "2*x0 + 6*x1 + 4*x4 >= 11",
    "6*x1 + 4*x3 + x5 >= 11",
    "7*x2**2 + 4*x4**2 + x5**2 >= 11",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 11",
    "2*x0 + 4*x3 + x5 >= 13",
    "2*x0 + 6*x1 + 4*x3 >= 13",
    "2*x0 + 7*x2 + x5 >= 13",
    "6*x1 + 7*x2 + 4*x3 >= 13",
    "4*x3**2 + 4*x4**2 + x5**2 >= 13",
    "7*x2 + 4*x3 + x5 >= 13",
    "6*x1 + 7*x2 + x5 >= 13",
    "2*x0**2 + 6*x1**2 + 4*x4**2 >= 13",
    "6*x1**2 + 4*x3**2 + x5**2 >= 13",
    "7*x2**2 + 4*x4**2 + x5**2 >= 13",
    "2*x0 + 7*x2 + 4*x3 >= 13",
    "2*x0 + 4*x3 + x5 >= 11",
    "2*x0**2 + 6*x1**2 + 4*x3**2 >= 11",
    "2*x0**2 + 7*x2**2 + x5**2 >= 11",
    "6*x1**2 + 7*x2**2 + 4*x3**2 >= 11",
    "4*x3**2 + 4*x4**2 + x5**2 >= 11",
    "7*x2 + 4*x3 + x5 >= 11",
    "6*x1 + 7*x2 + x5 >= 11",
    "2*x0 + 6*x1 + 4*x4 >= 11",
    "6*x1**2 + 4*x3**2 + x5**2 >= 11",
    "7*x2 + 4*x4 + x5 >= 11",
    "2*x0 + 7*x2 + 4*x3 >= 11",
    "2*x0**2 + 4*x3**2 + x5**2 >= 9",
    "2*x0 + 6*x1 + 4*x3 >= 9",
    "2*x0 + 7*x2 + x5 >= 9",
    "6*x1**2 + 7*x2**2 + 4*x3**2 >= 9",
    "4*x3 + 4*x4 + x5 >= 9",
    "7*x2**2 + 4*x3**2 + x5**2 >= 9",
    "6*x1 + 7*x2 + x5 >= 9",
    "2*x0 + 6*x1 + 4*x4 >= 9",
    "6*x1 + 4*x3 + x5 >= 9",
    "7*x2 + 4*x4 + x5 >= 9",
    "2*x0**2 + 7*x2**2 + 4*x3**2 >= 9",
    "2*x0 + x1 + x2 + x3 + x4 + x5 >= 9",
    "5*x0**2 + 2*x2**2 >= 14",
    "3*x1 + 7*x4 >= 12",
    "3*x1 + 2*x2 >= 18",
    "7*x3 + 7*x4 >= 13",
    "5*x0**2 + 7*x3**2 >= 10",
    "5*x0**2 + 7*x4**2 >= 16",
    "3*x1 + 2*x2 + 7*x3 >= 9",
    "5*x0 + 3*x1 + 2*x2 + 7*x3 + 7*x4 + 3*x5 >= 9",
    "5*x0 + 6*x3 >= 9",
    "5*x0 + 5*x4 >= 19",
    "5*x4 + 4*x5 >= 19",
    "5*x0**2 + x1**2 >= 11",
    "5*x0 + 4*x2 >= 15",
    "5*x0**2 + 4*x5**2 >= 17",
    "4*x2 + 4*x5 >= 17",
    "x1**2 + 4*x2**2 + 4*x5**2 >= 18",
    "5*x0 + 6*x3 + 5*x4 >= 18",
    "x1 + 6*x3 + 5*x4 >= 18",
    "4*x2 + 6*x3 + 5*x4 >= 18",
    "x1 + 4*x2 + 6*x3 >= 18",
    "5*x0**2 + x1**2 + 4*x5**2 >= 18",
    "5*x0**2 + 4*x2**2 + 6*x3**2 >= 18",
    "5*x0 + 5*x4 + 4*x5 >= 18",
    "5*x0**2 + 4*x2**2 + 5*x4**2 >= 18",
    "x1**2 + 5*x4**2 + 4*x5**2 >= 18",
    "5*x0**2 + 4*x2**2 + 4*x5**2 >= 18",
    "x1 + 4*x2 + 4*x5 >= 16",
    "5*x0 + 6*x3 + 5*x4 >= 16",
    "x1**2 + 6*x3**2 + 5*x4**2 >= 16",
    "4*x2 + 6*x3 + 5*x4 >= 16",
    "x1**2 + 4*x2**2 + 6*x3**2 >= 16",
    "5*x0**2 + x1**2 + 4*x5**2 >= 16",
    "5*x0**2 + 4*x2**2 + 6*x3**2 >= 16",
    "5*x0 + 5*x4 + 4*x5 >= 16",
    "5*x0**2 + 4*x2**2 + 5*x4**2 >= 16",
    "x1**2 + 5*x4**2 + 4*x5**2 >= 16",
    "5*x0 + 4*x2 + 4*x5 >= 16",
    "x1 + 4*x2 + 4*x5 >= 17",
    "5*x0 + 6*x3 + 5*x4 >= 17",
    "x1 + 6*x3 + 5*x4 >= 17",
    "4*x2**2 + 6*x3**2 + 5*x4**2 >= 17",
    "x1 + 4*x2 + 6*x3 >= 17",
    "5*x0 + x1 + 4*x5 >= 17",
    "5*x0**2 + 4*x2**2 + 6*x3**2 >= 17",
    "5*x0 + 5*x4 + 4*x5 >= 17",
    "5*x0 + 4*x2 + 5*x4 >= 17",
    "x1 + 5*x4 + 4*x5 >= 17",
    "5*x0**2 + 4*x2**2 + 4*x5**2 >= 17",
    "x1**2 + 4*x2**2 + 4*x5**2 >= 10",
    "5*x0 + 6*x3 + 5*x4 >= 10",
    "x1 + 6*x3 + 5*x4 >= 10",
    "4*x2 + 6*x3 + 5*x4 >= 10",
    "x1 + 4*x2 + 6*x3 >= 10",
    "5*x0 + x1 + 4*x5 >= 10",
    "5*x0 + 4*x2 + 6*x3 >= 10",
    "5*x0 + 5*x4 + 4*x5 >= 10",
    "5*x0 + 4*x2 + 5*x4 >= 10",
    "x1 + 5*x4 + 4*x5 >= 10",
    "5*x0**2 + 4*x2**2 + 4*x5**2 >= 10",
    "x1 + 4*x2 + 4*x5 >= 15",
    "5*x0 + 6*x3 + 5*x4 >= 15",
    "x1 + 6*x3 + 5*x4 >= 15",
    "4*x2 + 6*x3 + 5*x4 >= 15",
    "x1 + 4*x2 + 6*x3 >= 15",
    "5*x0 + x1 + 4*x5 >= 15",
    "5*x0 + 4*x2 + 6*x3 >= 15",
    "5*x0**2 + 5*x4**2 + 4*x5**2 >= 15",
    "5*x0 + 4*x2 + 5*x4 >= 15",
    "x1 + 5*x4 + 4*x5 >= 15",
    "5*x0**2 + 4*x2**2 + 4*x5**2 >= 15",
    "x1 + 4*x2 + 4*x5 >= 16",
    "5*x0 + 6*x3 + 5*x4 >= 16",
    "x1 + 6*x3 + 5*x4 >= 16",
    "4*x2 + 6*x3 + 5*x4 >= 16",
    "x1 + 4*x2 + 6*x3 >= 16",
    "5*x0**2 + x1**2 + 4*x5**2 >= 16",
    "5*x0 + 4*x2 + 6*x3 >= 16",
    "5*x0**2 + 5*x4**2 + 4*x5**2 >= 16",
    "5*x0**2 + 4*x2**2 + 5*x4**2 >= 16",
    "x1**2 + 5*x4**2 + 4*x5**2 >= 16",
    "5*x0 + 4*x2 + 4*x5 >= 16",
    "x1 + 4*x2 + 4*x5 >= 14",
    "5*x0**2 + 6*x3**2 + 5*x4**2 >= 14",
    "x1 + 6*x3 + 5*x4 >= 14",
    "4*x2 + 6*x3 + 5*x4 >= 14",
    "x1 + 4*x2 + 6*x3 >= 14",
    "5*x0 + x1 + 4*x5 >= 14",
    "5*x0**2 + 4*x2**2 + 6*x3**2 >= 14",
    "5*x0**2 + 5*x4**2 + 4*x5**2 >= 14",
    "5*x0 + 4*x2 + 5*x4 >= 14",
    "x1**2 + 5*x4**2 + 4*x5**2 >= 14",
    "5*x0 + 4*x2 + 4*x5 >= 14",
    "x1**2 + 4*x2**2 + 4*x5**2 >= 9",
    "5*x0 + 6*x3 + 5*x4 >= 9",
    "x1 + 6*x3 + 5*x4 >= 9",
    "4*x2 + 6*x3 + 5*x4 >= 9",
    "x1 + 4*x2 + 6*x3 >= 9",
    "5*x0 + x1 + 4*x5 >= 9",
    "5*x0 + 4*x2 + 6*x3 >= 9