```json
{
  "sym_variables": [
    ("x0", "hours worked by Bobby"),
    ("x1", "hours worked by Bill"),
    ("x2", "hours worked by Laura"),
    ("x3", "hours worked by Ringo"),
    ("x4", "hours worked by Jean"),
    ("x5", "hours worked by Peggy"),
    ("x6", "hours worked by George")
  ],
  "objective_function": "9.2*x0**2 + 9.91*x0*x1 + 5.65*x0*x3 + 9.58*x0*x4 + 4.22*x0*x5 + 3.41*x0*x6 + 9.8*x1**2 + 7.95*x1*x2 + 6.41*x1*x3 + 4.13*x1*x4 + 4.01*x1*x6 + 4.97*x2**2 + 5.25*x2*x3 + 3.56*x2*x5 + 2.78*x2*x6 + 3.6*x3**2 + 7.34*x3*x4 + 4.47*x3*x5 + 8.59*x3*x6 + 1.18*x4**2 + 8.87*x4*x5 + 6.4*x4*x6 + 7.24*x5**2 + 6.56*x5*x6 + 9.34*x6**2 + 6.94*x1 + 2.71*x2 + 9.44*x5 + 9.33*x6",
  "constraints": [
    "14*x5**2 + 8*x6**2 >= 36",
    "2*x2**2 + 14*x5**2 >= 30",
    "2*x2**2 + 12*x4**2 >= 25",
    "10*x1 + 10*x3 >= 39",
    "10*x1 + 8*x6 >= 34",
    "10*x3 + 14*x5 >= 26",
    "12*x4 + 8*x6 >= 21",
    "2*x0 + 12*x4 >= 43",
    "2*x2**2 + 10*x3**2 >= 26",
    "10*x1**2 + 14*x5**2 >= 36",
    "2*x0 + 8*x6 >= 15",
    "2*x0 + 14*x5 >= 31",
    "10*x1**2 + 12*x4**2 >= 40",
    "2*x2 + 8*x6 >= 39",
    "2*x0**2 + 2*x2**2 >= 35",
    "10*x3 + 12*x4 >= 20",
    "10*x1 + 2*x2 >= 18",
    "2*x0 + 10*x1 + 12*x4 >= 34",
    "2*x0 + 12*x4 + 14*x5 >= 34",
    "2*x0**2 + 2*x2**2 + 10*x3**2 >= 34",
    "10*x1 + 2*x2 + 8*x6 >= 34",
    "2*x0 + 2*x2 + 8*x6 >= 34",
    "10*x1**2 + 12*x4**2 + 8*x6**2 >= 34",
    "10*x1 + 10*x3 + 14*x5 >= 34",
    "10*x1 + 2*x2 + 10*x3 >= 34",
    "10*x1 + 14*x5 + 8*x6 >= 34",
    "2*x2**2 + 10*x3**2 + 14*x5**2 >= 34",
    "2*x0 + 2*x2 + 12*x4 >= 34",
    "10*x1**2 + 2*x2**2 + 12*x4**2 >= 34",
    "2*x0**2 + 14*x5**2 + 8*x6**2 >= 34",
    "10*x3 + 14*x5 + 8*x6 >= 34",
    "2*x2 + 10*x3 + 12*x4 >= 34",
    "10*x3**2 + 12*x4**2 + 8*x6**2 >= 34",
    "2*x0**2 + 10*x1**2 + 2*x2**2 >= 34",
    "2*x0 + 10*x3 + 12*x4 >= 34",
    "2*x0 + 2*x2 + 14*x5 >= 34",
    "2*x0**2 + 10*x1**2 + 10*x3**2 >= 34",
    "2*x2 + 14*x5 + 8*x6 >= 34",
    "10*x1 + 10*x3 + 8*x6 >= 34",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 34",
    "2*x0**2 + 10*x1**2 + 12*x4**2 >= 27",
    "2*x0 + 12*x4 + 14*x5 >= 27",
    "2*x0 + 2*x2 + 10*x3 >= 27",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 27",
    "2*x0 + 2*x2 + 8*x6 >= 27",
    "10*x1 + 12*x4 + 8*x6 >= 27",
    "10*x1 + 10*x3 + 14*x5 >= 27",
    "10*x1 + 2*x2 + 10*x3 >= 27",
    "10*x1 + 14*x5 + 8*x6 >= 27",
    "2*x2 + 10*x3 + 14*x5 >= 27",
    "2*x0 + 2*x2 + 12*x4 >= 27",
    "10*x1**2 + 2*x2**2 + 12*x4**2 >= 27",
    "2*x0 + 14*x5 + 8*x6 >= 27",
    "10*x3 + 14*x5 + 8*x6 >= 27",
    "2*x2 + 10*x3 + 12*x4 >= 27",
    "10*x3 + 12*x4 + 8*x6 >= 27",
    "2*x0 + 10*x1 + 2*x2 >= 27",
    "2*x0 + 10*x3 + 12*x4 >= 27",
    "2*x0 + 2*x2 + 14*x5 >= 27",
    "2*x0 + 10*x1 + 10*x3 >= 27",
    "2*x2 + 14*x5 + 8*x6 >= 27",
    "10*x1 + 10*x3 + 8*x6 >= 27",
    "2*x0 + 12*x4 + 8*x6 >= 27",
    "2*x0 + 10*x1 + 12*x4 >= 31",
    "2*x0**2 + 12*x4**2 + 14*x5**2 >= 31",
    "2*x0 + 2*x2 + 10*x3 >= 31",
    "10*x1 + 2*x2 + 8*x6 >= 31",
    "2*x0**2 + 2*x2**2 + 8*x6**2 >= 31",
    "10*x1 + 12*x4 + 8*x6 >= 31",
    "10*x1**2 + 10*x3**2 + 14*x5**2 >= 31",
    "10*x1**2 + 2*x2**2 + 10*x3**2 >= 31",
    "10*x1 + 14*x5 + 8*x6 >= 31",
    "2*x2**2 + 10*x3**2 + 14*x5**2 >= 31",
    "2*x0 + 2*x2 + 12*x4 >= 31",
    "10*x1 + 2*x2 + 12*x4 >= 31",
    "2*x0 + 14*x5 + 8*x6 >= 31",
    "10*x3 + 14*x5 + 8*x6 >= 31",
    "2*x2 + 10*x3 + 12*x4 >= 31",
    "10*x3**2 + 12*x4**2 + 8*x6**2 >= 31",
    "2*x0 + 10*x1 + 2*x2 >= 31",
    "2*x0 + 10*x3 + 12*x4 >= 31",
    "2*x0 + 2*x2 + 14*x5 >= 31",
    "2*x0**2 + 10*x1**2 + 10*x3**2 >= 31",
    "2*x2 + 14*x5 + 8*x6 >= 31",
    "10*x1 + 10*x3 + 8*x6 >= 31",
    "2*x0 + 12*x4 + 8*x6 >= 31",
    "2*x0 + 10*x1 + 12*x4 >= 26",
    "2*x0 + 12*x4 + 14*x5 >= 26",
    "2*x0 + 2*x2 + 10*x3 >= 26",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 26",
    "2*x0 + 2*x2 + 8*x6 >= 26",
    "10*x1 + 12*x4 + 8*x6 >= 26",
    "10*x1**2 + 10*x3**2 + 14*x5**2 >= 26",
    "10*x1**2 + 2*x2**2 + 10*x3**2 >= 26",
    "10*x1 + 14*x5 + 8*x6 >= 26",
    "2*x2 + 10*x3 + 14*x5 >= 26",
    "2*x0 + 2*x2 + 12*x4 >= 26",
    "10*x1 + 2*x2 + 12*x4 >= 26",
    "2*x0 + 14*x5 + 8*x6 >= 26",
    "14*x5**2 + 8*x6**2 + 10*x3**2 >= 26",
    "2*x2**2 + 10*x3**2 + 12*x4**2 >= 26",
    "10*x3 + 12*x4 + 8*x6 >= 26",
    "2*x0 + 10*x1 + 2*x2 >= 26",
    "2*x0**2 + 10*x3**2 + 12*x4**2 >= 26",
    "2*x0 + 2*x2 + 14*x5 >= 26",
    "2*x0**2 + 10*x1**2 + 10*x3**2 >= 26",
    "2*x2 + 14*x5 + 8*x6 >= 26",
    "10*x1**2 + 10*x3**2 + 8*x6**2 >= 26",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 26",
    "2*x0 + 10*x1 + 12*x4 >= 42",
    "2*x0 + 12*x4 + 14*x5 >= 42",
    "2*x0 + 2*x2 + 10*x3 >= 42",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 42",
    "2*x0**2 + 2*x2**2 + 8*x6**2 >= 42",
    "10*x1 + 12*x4 + 8*x6 >= 42",
    "10*x1 + 10*x3 + 14*x5 >= 42",
    "10*x1 + 2*x2 + 10*x3 >= 42",
    "10*x1**2 + 14*x5**2 + 8*x6**2 >= 42",
    "2*x2 + 10*x3 + 14*x5 >= 42",
    "2*x0 + 2*x2 + 12*x4 >= 42",
    "10*x1 + 2*x2 + 12*x4 >= 42",
    "2*x0 + 14*x5 + 8*x6 >= 42",
    "10*x3 + 14*x5 + 8*x6 >= 42",
    "2*x2**2 + 10*x3**2 + 12*x4**2 >= 42",
    "10*x3 + 12*x4 + 8*x6 >= 42",
    "2*x0 + 10*x1 + 2*x2 >= 42",
    "2*x0**2 + 10*x3**2 + 12*x4**2 >= 42",
    "2*x0 + 2*x2 + 14*x5 >= 42",
    "2*x0 + 10*x1 + 10*x3 >= 42",
    "2*x2 + 14*x5 + 8*x6 >= 42",
    "10*x1 + 10*x3 + 8*x6 >= 42",
    "2*x0 + 12*x4 + 8*x6 >= 42",
    "2*x0**2 + 10*x1**2 + 12*x4**2 >= 31",
    "2*x0 + 12*x4 + 14*x5 >= 31",
    "2*x0 + 2*x2 + 10*x3 >= 31",
    "10*x1 + 2*x2 + 8*x6 >= 31",
    "2*x0**2 + 2*x2**2 + 8*x6**2 >= 31",
    "10*x1 + 12*x4 + 8*x6 >= 31",
    "10*x1 + 10*x3 + 14*x5 >= 31",
    "10*x1 + 2*x2 + 10*x3 >= 31",
    "10*x1 + 14*x5 + 8*x6 >= 31",
    "2*x2 + 10*x3 + 14*x5 >= 31",
    "2*x0**2 + 2*x2**2 + 12*x4**2 >= 31",
    "10*x1**2 + 2*x2**2 + 12*x4**2 >= 31",
    "2*x0 + 14*x5 + 8*x6 >= 31",
    "10*x3**2 + 14*x5**2 + 8*x6**2 >= 31",
    "2*x2 + 10*x3 + 12*x4 >= 31",
    "10*x3**2 + 12*x4**2 + 8*x6**2 >= 31",
    "2*x0 + 10*x1 + 2*x2 >= 31",
    "2*x0 + 10*x3 + 12*x4 >= 31",
    "2*x0**2 + 2*x2**2 + 14*x5**2 >= 31",
    "2*x0**2 + 10*x1**2 + 10*x3**2 >= 31",
    "2*x2**2 + 14*x5**2 + 8*x6**2 >= 31",
    "10*x1 + 10*x3 + 8*x6 >= 31",
    "2*x0 + 12*x4 + 8*x6 >= 31",
    "2*x0 + 10*x1 + 12*x4 >= 33",
    "2*x0 + 12*x4 + 14*x5 >= 33",
    "2*x0**2 + 2*x2**2 + 10*x3**2 >= 33",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 33",
    "2*x0**2 + 2*x2**2 + 8*x6**2 >= 33",
    "10*x1**2 + 12*x4**2 + 8*x6**2 >= 33",
    "10*x1 + 10*x3 + 14*x5 >= 33",
    "10*x1**2 + 2*x2**2 + 10*x3**2 >= 33",
    "10*x1 + 14*x5 + 8*x6 >= 33",
    "2*x2**2 + 10*x3**2 + 14*x5**2 >= 33",
    "2*x0**2 + 2*x2**2 + 12*x4**2 >= 33",
    "10*x1 + 2*x2 + 12*x4 >= 33",
    "2*x0 + 14*x5 + 8*x6 >= 33",
    "10*x3 + 14*x5 + 8*x6 >= 33",
    "2*x2**2 + 10*x3**2 + 12*x4**2 >= 33",
    "10*x3 + 12*x4 + 8*x6 >= 33",
    "2*x0 + 10*x1 + 2*x2 >= 33",
    "2*x0 + 10*x3 + 12*x4 >= 33",
    "2*x0 + 2*x2 + 14*x5 >= 33",
    "2*x0 + 10*x1 + 10*x3 >= 33",
    "2*x2 + 14*x5 + 8*x6 >= 33",
    "10*x1 + 10*x3 + 8*x6 >= 33",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 33",
    "2*x0 + 10*x1 + 12*x4 >= 45",
    "2*x0**2 + 12*x4**2 + 14*x5**2 >= 45",
    "2*x0 + 2*x2 + 10*x3 >= 45",
    "10*x1 + 2*x2 + 8*x6 >= 45",
    "2*x0 + 2*x2 + 8*x6 >= 45",
    "10*x1**2 + 12*x4**2 + 8*x6**2 >= 45",
    "10*x1**2 + 10*x3**2 + 14*x5**2 >= 45",
    "10*x1**2 + 2*x2**2 + 10*x3**2 >= 45",
    "10*x1 + 14*x5 + 8*x6 >= 45",
    "2*x2 + 10*x3 + 14*x5 >= 45",
    "2*x0 + 2*x2 + 12*x4 >= 45",
    "10*x1 + 2*x2 + 12*x4 >= 45",
    "2*x0**2 + 14*x5**2 + 8*x6**2 >= 45",
    "10*x3 + 14*x5 + 8*x6 >= 45",
    "2*x2**2 + 10*x3**2 + 12*x4**2 >= 45",
    "10*x3 + 12*x4 + 8*x6 >= 45",
    "2*x0**2 + 10*x1**2 + 2*x2**2 >= 45",
    "2*x0 + 10*x3 + 12*x4 >= 45",
    "2*x0**2 + 2*x2**2 + 14*x5**2 >= 45",
    "2*x0 + 10*x1 + 10*x3 >= 45",
    "2*x2 + 14*x5 + 8*x6 >= 45",
    "10*x1**2 + 10*x3**2 + 8*x6**2 >= 45",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 45",
    "2*x0**2 + 10*x1**2 + 12*x4**2 >= 38",
    "2*x0 + 12*x4 + 14*x5 >= 38",
    "2*x0 + 2*x2 + 10*x3 >= 38",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 38",
    "2*x0 + 2*x2 + 8*x6 >= 38",
    "10*x1 + 12*x4 + 8*x6 >= 38",
    "10*x1 + 10*x3 + 14*x5 >= 38",
    "10*x1 + 2*x2 + 10*x3 >= 38",
    "10*x1 + 14*x5 + 8*x6 >= 38",
    "2*x2 + 10*x3 + 14*x5 >= 38",
    "2*x0**2 + 2*x2**2 + 12*x4**2 >= 38",
    "10*x1**2 + 2*x2**2 + 12*x4**2 >= 38",
    "2*x0 + 14*x5 + 8*x6 >= 38",
    "10*x3 + 14*x5 + 8*x6 >= 38",
    "2*x2 + 10*x3 + 12*x4 >= 38",
    "10*x3 + 12*x4 + 8*x6 >= 38",
    "2*x0 + 10*x1 + 2*x2 >= 38",
    "2*x0 + 10*x3 + 12*x4 >= 38",
    "2*x0 + 2*x2 + 14*x5 >= 38",
    "2*x0 + 10*x1 + 10*x3 >= 38",
    "2*x2 + 14*x5 + 8*x6 >= 38",
    "10*x1**2 + 10*x3**2 + 8*x6**2 >= 38",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 38",
    "2*x0 + 10*x1 + 12*x4 >= 35",
    "2*x0**2 + 12*x4**2 + 14*x5**2 >= 35",
    "2*x0**2 + 2*x2**2 + 10*x3**2 >= 35",
    "10*x1 + 2*x2 + 8*x6 >= 35",
    "2*x0**2 + 2*x2**2 + 8*x6**2 >= 35",
    "10*x1**2 + 12*x4**2 + 8*x6**2 >= 35",
    "10*x1 + 10*x3 + 14*x5 >= 35",
    "10*x1 + 2*x2 + 10*x3 >= 35",
    "10*x1 + 14*x5 + 8*x6 >= 35",
    "2*x2**2 + 10*x3**2 + 14*x5**2 >= 35",
    "2*x0 + 2*x2 + 12*x4 >= 35",
    "10*x1 + 2*x2 + 12*x4 >= 35",
    "2*x0 + 14*x5 + 8*x6 >= 35",
    "10*x3 + 14*x5 + 8*x6 >= 35",
    "2*x2 + 10*x3 + 12*x4 >= 35",
    "10*x3 + 12*x4 + 8*x6 >= 35",
    "2*x0 + 10*x1 + 2*x2 >= 35",
    "2*x0 + 10*x3 + 12*x4 >= 35",
    "2*x0 + 2*x2 + 14*x5 >= 35",
    "2*x0 + 10*x1 + 10*x3 >= 35",
    "2*x2 + 14*x5 + 8*x6 >= 35",
    "10*x1 + 10*x3 + 8*x6 >= 35",
    "2*x0 + 12*x4 + 8*x6 >= 35",
    "2*x0 + 10*x1 + 12*x4 >= 42",
    "2*x0 + 12*x4 + 14*x5 >= 42",
    "2*x0 + 2*x2 + 10*x3 >= 42",
    "10*x1 + 2*x2 + 8*x6 >= 42",
    "2*x0 + 2*x2 + 8*x6 >= 42",
    "10*x1 + 12*x4 + 8*x6 >= 42",
    "10*x1 + 10*x3 + 14*x5 >= 42",
    "10*x1 + 2*x2 + 10*x3 >= 42",
    "10*x1 + 14*x5 + 8*x6 >= 42",
    "2*x2 + 10*x3 + 14*x5 >= 42",
    "2*x0 + 2*x2 + 12*x4 >= 42",
    "10*x1 + 2*x2 + 12*x4 >= 42",
    "2*x0**2 + 14*x5**2 + 8*x6**2 >= 42",
    "10*x3**2 + 14*x5**2 + 8*x6**2 >= 42",
    "2*x2 + 10*x3 + 12*x4 >= 42",
    "10*x3 + 12*x4 + 8*x6 >= 42",
    "2*x0 + 10*x1 + 2*x2 >= 42",
    "2*x0**2 + 10*x3**2 + 12*x4**2 >= 42",
    "2*x0 + 2*x2 + 14*x5 >= 42",
    "2*x0 + 10*x1 + 10*x3 >= 42",
    "2*x2**2 + 14*x5**2 + 8*x6**2 >= 42",
    "10*x1 + 10*x3 + 8*x6 >= 42",
    "2*x0**2 + 12*x4**2 + 8*x6**2 >= 42",
    "2*x0**2 + 10*x1**2 + 12*x4**2 >= 23",
    "2*x0**2 + 12*x4**2 + 14*x5**2 >= 23",
    "2*x0**2 + 2*x2**2 + 10*x3**2 >= 23",
    "10*x1**2 + 2*x2**2 + 8*x6**2 >= 23",
    "2*x0 + 2*x2 + 8*x6 >= 23",
    "10*x1**2 + 12*x4**2 + 8*x6**2 >= 23",
    "10*x1 + 10*x3 + 14*x5 >= 23",
    "10*x1**2 + 2*x2**2 + 10*x3**2 >= 23",
    "10*x1**2 + 14*x5**2 + 8*x6**2 >= 23",
    "2*x2 + 10*x3 + 14*x5 >= 23",
    "2*x0**2 + 2*x2**2 + 12*x4**2 >= 23",
    "10*x1 + 2*x2 + 12*x4 >= 23",
    "2*x0 + 14*x5 + 8*x6 >= 23",
    "10*x3 + 14*x5 + 8*x6 >= 23",
    "2*x2 + 10*x3 + 12*x4 >= 23",
    "10*x3**2 + 12*x4**2 + 8*x6**2 >=