```json
{
  "sym_variables": [
    ("x0", "hours worked by Peggy"),
    ("x1", "hours worked by Paul"),
    ("x2", "hours worked by George"),
    ("x3", "hours worked by Mary"),
    ("x4", "hours worked by Ringo"),
    ("x5", "hours worked by Dale"),
    ("x6", "hours worked by Jean"),
    ("x7", "hours worked by John")
  ],
  "objective_function": "6.45*x0*x1 + 7.73*x0*x3 + 4.8*x0*x4 + 3.3*x0*x5 + 2.39*x0*x6 + 7.96*x1*x3 + 6.87*x1*x5 + 8.62*x2**2 + 1.94*x2*x5 + 6.5*x2*x6 + 1.95*x3**2 + 7.06*x3*x4 + 3.76*x3*x6 + 8.36*x5**2 + 9.1*x5*x7 + 6.72*x1 + 5.14*x3 + 2.43*x5",
  "constraints": [
    "16*x5**2 + 2*x6**2 >= 32",
    "9*x3**2 + 16*x5**2 >= 30",
    "12*x1 + 9*x3 + 7*x7 >= 34",
    "16*x0 + 12*x1 + 7*x7 >= 34",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 34",
    "16*x5 + 2*x6 + 7*x7 >= 34",
    "16*x0 + 10*x2 + 13*x4 >= 34",
    "12*x1 + 9*x3 + 2*x6 >= 34",
    "16*x0**2 + 16*x5**2 + 2*x6**2 >= 34",
    "10*x2 + 13*x4 + 2*x6 >= 34",
    "16*x0 + 10*x2 + 7*x7 >= 34",
    "12*x1 + 13*x4 + 7*x7 >= 34",
    "10*x2**2 + 9*x3**2 + 7*x7**2 >= 34",
    "16*x0 + 13*x4 + 2*x6 >= 34",
    "12*x1 + 10*x2 + 2*x6 >= 34",
    "16*x0 + 9*x3 + 13*x4 >= 34",
    "9*x3 + 16*x5 + 2*x6 >= 34",
    "13*x4**2 + 2*x6**2 + 7*x7**2 >= 34",
    "12*x1 + 9*x3 + 16*x5 >= 34",
    "16*x0**2 + 9*x3**2 + 16*x5**2 >= 34",
    "16*x0**2 + 12*x1**2 + 10*x2**2 >= 34",
    "10*x2 + 16*x5 + 2*x6 >= 34",
    "10*x2 + 2*x6 + 7*x7 >= 34",
    "10*x2 + 9*x3 + 2*x6 >= 34",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 34",
    "12*x1 + 9*x3 + 7*x7 >= 48",
    "16*x0 + 12*x1 + 7*x7 >= 48",
    "9*x3 + 13*x4 + 16*x5 >= 48",
    "16*x5 + 2*x6 + 7*x7 >= 48",
    "16*x0 + 10*x2 + 13*x4 >= 48",
    "12*x1 + 9*x3 + 2*x6 >= 48",
    "16*x0 + 16*x5 + 2*x6 >= 48",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 48",
    "16*x0**2 + 10*x2**2 + 7*x7**2 >= 48",
    "12*x1**2 + 13*x4**2 + 7*x7**2 >= 48",
    "10*x2 + 9*x3 + 7*x7 >= 48",
    "16*x0 + 13*x4 + 2*x6 >= 48",
    "12*x1 + 10*x2 + 2*x6 >= 48",
    "16*x0 + 9*x3 + 13*x4 >= 48",
    "9*x3 + 16*x5 + 2*x6 >= 48",
    "13*x4 + 2*x6 + 7*x7 >= 48",
    "12*x1**2 + 9*x3**2 + 16*x5**2 >= 48",
    "16*x0**2 + 9*x3**2 + 16*x5**2 >= 48",
    "16*x0 + 12*x1 + 10*x2 >= 48",
    "10*x2**2 + 16*x5**2 + 2*x6**2 >= 48",
    "10*x2**2 + 2*x6**2 + 7*x7**2 >= 48",
    "10*x2 + 9*x3 + 2*x6 >= 48",
    "12*x1 + 10*x2 + 7*x7 >= 48",
    "12*x1 + 9*x3 + 7*x7 >= 55",
    "16*x0 + 12*x1 + 7*x7 >= 55",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 55",
    "16*x5 + 2*x6 + 7*x7 >= 55",
    "16*x0**2 + 10*x2**2 + 13*x4**2 >= 55",
    "12*x1 + 9*x3 + 2*x6 >= 55",
    "16*x0 + 16*x5 + 2*x6 >= 55",
    "10*x2 + 13*x4 + 2*x6 >= 55",
    "16*x0 + 10*x2 + 7*x7 >= 55",
    "12*x1 + 13*x4 + 7*x7 >= 55",
    "10*x2 + 9*x3 + 7*x7 >= 55",
    "16*x0 + 13*x4 + 2*x6 >= 55",
    "12*x1**2 + 10*x2**2 + 2*x6**2 >= 55",
    "16*x0**2 + 9*x3**2 + 13*x4**2 >= 55",
    "9*x3**2 + 16*x5**2 + 2*x6**2 >= 55",
    "13*x4**2 + 2*x6**2 + 7*x7**2 >= 55",
    "12*x1 + 9*x3 + 16*x5 >= 55",
    "16*x0**2 + 9*x3**2 + 16*x5**2 >= 55",
    "16*x0 + 12*x1 + 10*x2 >= 55",
    "10*x2 + 16*x5 + 2*x6 >= 55",
    "10*x2 + 2*x6 + 7*x7 >= 55",
    "10*x2 + 9*x3 + 2*x6 >= 55",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 55",
    "12*x1 + 9*x3 + 7*x7 >= 65",
    "16*x0 + 12*x1 + 7*x7 >= 65",
    "9*x3 + 13*x4 + 16*x5 >= 65",
    "16*x5 + 2*x6 + 7*x7 >= 65",
    "16*x0 + 10*x2 + 13*x4 >= 65",
    "12*x1**2 + 9*x3**2 + 2*x6**2 >= 65",
    "16*x0 + 16*x5 + 2*x6 >= 65",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 65",
    "16*x0 + 10*x2 + 7*x7 >= 65",
    "12*x1**2 + 13*x4**2 + 7*x7**2 >= 65",
    "10*x2 + 9*x3 + 7*x7 >= 65",
    "16*x0**2 + 13*x4**2 + 2*x6**2 >= 65",
    "12*x1 + 10*x2 + 2*x6 >= 65",
    "16*x0**2 + 9*x3**2 + 13*x4**2 >= 65",
    "9*x3 + 16*x5 + 2*x6 >= 65",
    "13*x4 + 2*x6 + 7*x7 >= 65",
    "12*x1 + 9*x3 + 16*x5 >= 65",
    "16*x0 + 9*x3 + 16*x5 >= 65",
    "16*x0 + 12*x1 + 10*x2 >= 65",
    "10*x2**2 + 16*x5**2 + 2*x6**2 >= 65",
    "10*x2**2 + 2*x6**2 + 7*x7**2 >= 65",
    "10*x2 + 9*x3 + 2*x6 >= 65",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 65",
    "12*x1**2 + 9*x3**2 + 7*x7**2 >= 63",
    "16*x0**2 + 12*x1**2 + 7*x7**2 >= 63",
    "9*x3 + 13*x4 + 16*x5 >= 63",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 63",
    "16*x0 + 10*x2 + 13*x4 >= 63",
    "12*x1**2 + 9*x3**2 + 2*x6**2 >= 63",
    "16*x0 + 16*x5 + 2*x6 >= 63",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 63",
    "16*x0 + 10*x2 + 7*x7 >= 63",
    "12*x1 + 13*x4 + 7*x7 >= 63",
    "10*x2 + 9*x3 + 7*x7 >= 63",
    "16*x0**2 + 13*x4**2 + 2*x6**2 >= 63",
    "12*x1 + 10*x2 + 2*x6 >= 63",
    "16*x0 + 9*x3 + 13*x4 >= 63",
    "9*x3**2 + 16*x5**2 + 2*x6**2 >= 63",
    "13*x4 + 2*x6 + 7*x7 >= 63",
    "12*x1**2 + 9*x3**2 + 16*x5**2 >= 63",
    "16*x0 + 9*x3 + 16*x5 >= 63",
    "16*x0 + 12*x1 + 10*x2 >= 63",
    "10*x2 + 16*x5 + 2*x6 >= 63",
    "10*x2 + 2*x6 + 7*x7 >= 63",
    "10*x2**2 + 9*x3**2 + 2*x6**2 >= 63",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 63",
    "12*x1**2 + 9*x3**2 + 7*x7**2 >= 49",
    "16*x0 + 12*x1 + 7*x7 >= 49",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 49",
    "16*x5 + 2*x6 + 7*x7 >= 49",
    "16*x0 + 10*x2 + 13*x4 >= 49",
    "12*x1**2 + 9*x3**2 + 2*x6**2 >= 49",
    "16*x0**2 + 16*x5**2 + 2*x6**2 >= 49",
    "10*x2 + 13*x4 + 2*x6 >= 49",
    "16*x0**2 + 10*x2**2 + 7*x7**2 >= 49",
    "12*x1 + 13*x4 + 7*x7 >= 49",
    "10*x2 + 9*x3 + 7*x7 >= 49",
    "16*x0**2 + 13*x4**2 + 2*x6**2 >= 49",
    "12*x1 + 10*x2 + 2*x6 >= 49",
    "16*x0 + 9*x3 + 13*x4 >= 49",
    "9*x3**2 + 16*x5**2 + 2*x6**2 >= 49",
    "13*x4 + 2*x6 + 7*x7 >= 49",
    "12*x1 + 9*x3 + 16*x5 >= 49",
    "16*x0 + 9*x3 + 16*x5 >= 49",
    "16*x0**2 + 12*x1**2 + 10*x2**2 >= 49",
    "10*x2 + 16*x5 + 2*x6 >= 49",
    "10*x2**2 + 2*x6**2 + 7*x7**2 >= 49",
    "10*x2 + 9*x3 + 2*x6 >= 49",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 49",
    "12*x1**2 + 9*x3**2 + 7*x7**2 >= 58",
    "16*x0**2 + 12*x1**2 + 7*x7**2 >= 58",
    "9*x3 + 13*x4 + 16*x5 >= 58",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 58",
    "16*x0 + 10*x2 + 13*x4 >= 58",
    "12*x1 + 9*x3 + 2*x6 >= 58",
    "16*x0 + 16*x5 + 2*x6 >= 58",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 58",
    "16*x0 + 10*x2 + 7*x7 >= 58",
    "12*x1**2 + 13*x4**2 + 7*x7**2 >= 58",
    "10*x2 + 9*x3 + 7*x7 >= 58",
    "16*x0 + 13*x4 + 2*x6 >= 58",
    "12*x1 + 10*x2 + 2*x6 >= 58",
    "16*x0**2 + 9*x3**2 + 13*x4**2 >= 58",
    "9*x3**2 + 16*x5**2 + 2*x6**2 >= 58",
    "13*x4 + 2*x6 + 7*x7 >= 58",
    "12*x1 + 9*x3 + 16*x5 >= 58",
    "16*x0 + 9*x3 + 16*x5 >= 58",
    "16*x0**2 + 12*x1**2 + 10*x2**2 >= 58",
    "10*x2 + 16*x5 + 2*x6 >= 58",
    "10*x2 + 2*x6 + 7*x7 >= 58",
    "10*x2**2 + 9*x3**2 + 2*x6**2 >= 58",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 58",
    "12*x1 + 9*x3 + 7*x7 >= 36",
    "16*x0**2 + 12*x1**2 + 7*x7**2 >= 36",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 36",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 36",
    "16*x0 + 10*x2 + 13*x4 >= 36",
    "12*x1**2 + 9*x3**2 + 2*x6**2 >= 36",
    "16*x0 + 16*x5 + 2*x6 >= 36",
    "10*x2 + 13*x4 + 2*x6 >= 36",
    "16*x0 + 10*x2 + 7*x7 >= 36",
    "12*x1 + 13*x4 + 7*x7 >= 36",
    "10*x2 + 9*x3 + 7*x7 >= 36",
    "16*x0 + 13*x4 + 2*x6 >= 36",
    "12*x1 + 10*x2 + 2*x6 >= 36",
    "16*x0**2 + 9*x3**2 + 13*x4**2 >= 36",
    "9*x3 + 16*x5 + 2*x6 >= 36",
    "13*x4 + 2*x6 + 7*x7 >= 36",
    "12*x1 + 9*x3 + 16*x5 >= 36",
    "16*x0 + 9*x3 + 16*x5 >= 36",
    "16*x0 + 12*x1 + 10*x2 >= 36",
    "10*x2 + 16*x5 + 2*x6 >= 36",
    "10*x2**2 + 2*x6**2 + 7*x7**2 >= 36",
    "10*x2**2 + 9*x3**2 + 2*x6**2 >= 36",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 36",
    "12*x1 + 9*x3 + 7*x7 >= 53",
    "16*x0 + 12*x1 + 7*x7 >= 53",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 53",
    "16*x5 + 2*x6 + 7*x7 >= 53",
    "16*x0**2 + 10*x2**2 + 13*x4**2 >= 53",
    "12*x1 + 9*x3 + 2*x6 >= 53",
    "16*x0**2 + 16*x5**2 + 2*x6**2 >= 53",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 53",
    "16*x0**2 + 10*x2**2 + 7*x7**2 >= 53",
    "12*x1 + 13*x4 + 7*x7 >= 53",
    "10*x2**2 + 9*x3**2 + 7*x7**2 >= 53",
    "16*x0 + 13*x4 + 2*x6 >= 53",
    "12*x1**2 + 10*x2**2 + 2*x6**2 >= 53",
    "16*x0**2 + 9*x3**2 + 13*x4**2 >= 53",
    "9*x3**2 + 16*x5**2 + 2*x6**2 >= 53",
    "13*x4 + 2*x6 + 7*x7 >= 53",
    "12*x1**2 + 9*x3**2 + 16*x5**2 >= 53",
    "16*x0 + 9*x3 + 16*x5 >= 53",
    "16*x0**2 + 12*x1**2 + 10*x2**2 >= 53",
    "10*x2 + 16*x5 + 2*x6 >= 53",
    "10*x2 + 2*x6 + 7*x7 >= 53",
    "10*x2 + 9*x3 + 2*x6 >= 53",
    "12*x1 + 10*x2 + 7*x7 >= 53",
    "12*x1 + 9*x3 + 7*x7 >= 49",
    "16*x0 + 12*x1 + 7*x7 >= 49",
    "9*x3 + 13*x4 + 16*x5 >= 49",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 49",
    "16*x0**2 + 10*x2**2 + 13*x4**2 >= 49",
    "12*x1 + 9*x3 + 2*x6 >= 49",
    "16*x0 + 16*x5 + 2*x6 >= 49",
    "10*x2 + 13*x4 + 2*x6 >= 49",
    "16*x0**2 + 10*x2**2 + 7*x7**2 >= 49",
    "12*x1 + 13*x4 + 7*x7 >= 49",
    "10*x2**2 + 9*x3**2 + 7*x7**2 >= 49",
    "16*x0 + 13*x4 + 2*x6 >= 49",
    "12*x1**2 + 10*x2**2 + 2*x6**2 >= 49",
    "16*x0 + 9*x3 + 13*x4 >= 49",
    "9*x3 + 16*x5 + 2*x6 >= 49",
    "13*x4 + 2*x6 + 7*x7 >= 49",
    "12*x1 + 9*x3 + 16*x5 >= 49",
    "16*x0 + 9*x3 + 16*x5 >= 49",
    "16*x0 + 12*x1 + 10*x2 >= 49",
    "10*x2 + 16*x5 + 2*x6 >= 49",
    "10*x2 + 2*x6 + 7*x7 >= 49",
    "10*x2 + 9*x3 + 2*x6 >= 49",
    "12*x1 + 10*x2 + 7*x7 >= 49",
    "12*x1**2 + 9*x3**2 + 7*x7**2 >= 40",
    "16*x0**2 + 12*x1**2 + 7*x7**2 >= 40",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 40",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 40",
    "16*x0 + 10*x2 + 13*x4 >= 40",
    "12*x1 + 9*x3 + 2*x6 >= 40",
    "16*x0 + 16*x5 + 2*x6 >= 40",
    "10*x2 + 13*x4 + 2*x6 >= 40",
    "16*x0 + 10*x2 + 7*x7 >= 40",
    "12*x1**2 + 13*x4**2 + 7*x7**2 >= 40",
    "10*x2**2 + 9*x3**2 + 7*x7**2 >= 40",
    "16*x0 + 13*x4 + 2*x6 >= 40",
    "12*x1 + 10*x2 + 2*x6 >= 40",
    "16*x0 + 9*x3 + 13*x4 >= 40",
    "9*x3 + 16*x5 + 2*x6 >= 40",
    "13*x4 + 2*x6 + 7*x7 >= 40",
    "12*x1**2 + 9*x3**2 + 16*x5**2 >= 40",
    "16*x0 + 9*x3 + 16*x5 >= 40",
    "16*x0 + 12*x1 + 10*x2 >= 40",
    "10*x2 + 16*x5 + 2*x6 >= 40",
    "10*x2**2 + 2*x6**2 + 7*x7**2 >= 40",
    "10*x2 + 9*x3 + 2*x6 >= 40",
    "12*x1 + 10*x2 + 7*x7 >= 40",
    "12*x1 + 9*x3 + 7*x7 >= 44",
    "16*x0**2 + 12*x1**2 + 7*x7**2 >= 44",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 44",
    "16*x5**2 + 2*x6**2 + 7*x7**2 >= 44",
    "16*x0**2 + 10*x2**2 + 13*x4**2 >= 44",
    "12*x1 + 9*x3 + 2*x6 >= 44",
    "16*x0 + 16*x5 + 2*x6 >= 44",
    "10*x2**2 + 13*x4**2 + 2*x6**2 >= 44",
    "16*x0 + 10*x2 + 7*x7 >= 44",
    "12*x1**2 + 13*x4**2 + 7*x7**2 >= 44",
    "10*x2 + 9*x3 + 7*x7 >= 44",
    "16*x0 + 13*x4 + 2*x6 >= 44",
    "12*x1 + 10*x2 + 2*x6 >= 44",
    "16*x0 + 9*x3 + 13*x4 >= 44",
    "9*x3 + 16*x5 + 2*x6 >= 44",
    "13*x4**2 + 2*x6**2 + 7*x7**2 >= 44",
    "12*x1 + 9*x3 + 16*x5 >= 44",
    "16*x0 + 9*x3 + 16*x5 >= 44",
    "16*x0 + 12*x1 + 10*x2 >= 44",
    "10*x2 + 16*x5 + 2*x6 >= 44",
    "10*x2 + 2*x6 + 7*x7 >= 44",
    "10*x2 + 9*x3 + 2*x6 >= 44",
    "12*x1**2 + 10*x2**2 + 7*x7**2 >= 44",
    "12*x1 + 9*x3 + 7*x7 >= 37",
    "16*x0 + 12*x1 + 7*x7 >= 37",
    "9*x3**2 + 13*x4**2 + 16*x5**2 >= 37",
    "16*x5 + 2*x6 + 7*x7 >= 37",
    "16*x0 + 