```json
{
  "sym_variables": [
    ("x0", "hours worked by Hank"),
    ("x1", "hours worked by Mary"),
    ("x2", "hours worked by George"),
    ("x3", "hours worked by Bobby"),
    ("x4", "hours worked by Bill"),
    ("x5", "hours worked by Jean"),
    ("x6", "hours worked by Peggy")
  ],
  "objective_function": "5.22*x0**2 + 6.73*x0*x1 + 9.17*x0*x2 + 5.19*x0*x4 + 3.25*x0*x5 + 5.04*x0*x6 + 6.22*x1**2 + 9.78*x1*x2 + 3.43*x1*x3 + 8.49*x1*x5 + 6.39*x1*x6 + 4.26*x2**2 + 4.82*x2*x3 + 7.34*x2*x5 + 1.76*x2*x6 + 8.48*x3**2 + 7.22*x3*x4 + 3.21*x3*x5 + 1.92*x4**2 + 6.13*x4*x5 + 2.2*x4*x6 + 9.46*x5**2 + 9.24*x6**2 + 9.85*x0 + 1.76*x1 + 7.06*x2 + 6.39*x3 + 3.37*x4 + 7.7*x5 + 5.06*x6",
  "constraints": [
    "12*x1 + 9*x3 >= 51",
    "9*x3 + 17*x6 >= 112",
    "12*x1 + 4*x2 >= 76",
    "8*x4 + 17*x6 >= 51",
    "9*x3 + 8*x5 >= 77",
    "8*x5 + 17*x6 >= 99",
    "4*x2 + 8*x4 >= 116",
    "4*x2 + 9*x3 >= 80",
    "12*x1 + 8*x5 >= 56",
    "9*x3 + 8*x4 >= 41",
    "3*x0**2 + 12*x1**2 >= 93",
    "12*x1 + 17*x6 >= 80",
    "3*x0 + 12*x1 + 9*x3 >= 71",
    "12*x1 + 4*x2 + 8*x4 >= 71",
    "9*x3 + 8*x4 + 8*x5 >= 71",
    "3*x0**2 + 12*x1**2 + 9*x3**2 >= 92",
    "12*x1**2 + 4*x2**2 + 8*x4**2 >= 92",
    "9*x3**2 + 8*x4**2 + 8*x5**2 >= 92",
    "3*x0**2 + 12*x1**2 + 9*x3**2 >= 99",
    "12*x1**2 + 4*x2**2 + 8*x4**2 >= 99",
    "9*x3 + 8*x4 + 8*x5 >= 99",
    "3*x0 + 12*x1 + 4*x2 + 9*x3 + 8*x4 + 8*x5 + 17*x6 >= 99",
    "15*x3 + 2*x4 >= 159",
    "10*x0 + 2*x4 >= 85",
    "10*x0 + 3*x1 >= 140",
    "15*x3**2 + 21*x5**2 >= 123",
    "2*x4**2 + 10*x6**2 >= 87",
    "10*x0**2 + 15*x3**2 >= 90",
    "3*x1 + 7*x2 >= 81",
    "3*x1 + 21*x5 >= 54",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 108",
    "3*x1 + 7*x2 + 15*x3 >= 108",
    "3*x1 + 2*x4 + 21*x5 >= 108",
    "10*x0 + 7*x2 + 2*x4 >= 108",
    "7*x2 + 2*x4 + 10*x6 >= 108",
    "7*x2**2 + 15*x3**2 + 21*x5**2 >= 108",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 108",
    "7*x2 + 21*x5 + 10*x6 >= 108",
    "10*x0**2 + 3*x1**2 + 7*x2**2 >= 108",
    "15*x3 + 2*x4 + 10*x6 >= 108",
    "10*x0 + 2*x4 + 21*x5 >= 108",
    "15*x3 + 2*x4 + 21*x5 >= 108",
    "7*x2 + 15*x3 + 2*x4 >= 108",
    "3*x1 + 15*x3 + 10*x6 >= 108",
    "10*x0 + 21*x5 + 10*x6 >= 108",
    "3*x1 + 7*x2 + 2*x4 >= 108",
    "7*x2**2 + 2*x4**2 + 21*x5**2 >= 108",
    "7*x2 + 15*x3 + 10*x6 >= 108",
    "3*x1 + 15*x3 + 21*x5 >= 108",
    "10*x0 + 3*x1 + 10*x6 >= 108",
    "3*x1 + 2*x4 + 10*x6 >= 108",
    "3*x1 + 21*x5 + 10*x6 >= 108",
    "10*x0 + 3*x1 + 15*x3 >= 108",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 108",
    "10*x0 + 15*x3 + 10*x6 >= 108",
    "3*x1 + 7*x2 + 21*x5 >= 108",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 108",
    "10*x0 + 15*x3 + 21*x5 >= 108",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 108",
    "10*x0 + 7*x2 + 15*x3 >= 99",
    "3*x1**2 + 7*x2**2 + 15*x3**2 >= 99",
    "3*x1 + 2*x4 + 21*x5 >= 99",
    "10*x0 + 7*x2 + 2*x4 >= 99",
    "7*x2**2 + 2*x4**2 + 10*x6**2 >= 99",
    "7*x2 + 15*x3 + 21*x5 >= 99",
    "2*x4 + 21*x5 + 10*x6 >= 99",
    "7*x2**2 + 21*x5**2 + 10*x6**2 >= 99",
    "10*x0**2 + 3*x1**2 + 7*x2**2 >= 99",
    "15*x3 + 2*x4 + 10*x6 >= 99",
    "10*x0**2 + 2*x4**2 + 21*x5**2 >= 99",
    "15*x3**2 + 2*x4**2 + 21*x5**2 >= 99",
    "7*x2**2 + 15*x3**2 + 2*x4**2 >= 99",
    "3*x1 + 15*x3 + 10*x6 >= 99",
    "10*x0 + 21*x5 + 10*x6 >= 99",
    "3*x1**2 + 7*x2**2 + 2*x4**2 >= 99",
    "7*x2 + 2*x4 + 21*x5 >= 99",
    "7*x2**2 + 15*x3**2 + 10*x6**2 >= 99",
    "3*x1 + 15*x3 + 21*x5 >= 99",
    "10*x0 + 3*x1 + 10*x6 >= 99",
    "3*x1 + 2*x4 + 10*x6 >= 99",
    "3*x1 + 21*x5 + 10*x6 >= 99",
    "10*x0 + 3*x1 + 15*x3 >= 99",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 99",
    "10*x0 + 15*x3 + 10*x6 >= 99",
    "3*x1 + 7*x2 + 21*x5 >= 99",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 99",
    "10*x0 + 15*x3 + 21*x5 >= 99",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 99",
    "10*x0 + 7*x2 + 15*x3 >= 111",
    "3*x1 + 7*x2 + 15*x3 >= 111",
    "3*x1 + 2*x4 + 21*x5 >= 111",
    "10*x0**2 + 7*x2**2 + 2*x4**2 >= 111",
    "7*x2**2 + 2*x4**2 + 10*x6**2 >= 111",
    "7*x2**2 + 15*x3**2 + 21*x5**2 >= 111",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 111",
    "7*x2 + 21*x5 + 10*x6 >= 111",
    "10*x0 + 3*x1 + 7*x2 >= 111",
    "15*x3 + 2*x4 + 10*x6 >= 111",
    "10*x0 + 2*x4 + 21*x5 >= 111",
    "15*x3 + 2*x4 + 21*x5 >= 111",
    "7*x2 + 15*x3 + 2*x4 >= 111",
    "3*x1**2 + 15*x3**2 + 10*x6**2 >= 111",
    "10*x0 + 21*x5 + 10*x6 >= 111",
    "3*x1 + 7*x2 + 2*x4 >= 111",
    "7*x2 + 2*x4 + 21*x5 >= 111",
    "7*x2 + 15*x3 + 10*x6 >= 111",
    "3*x1 + 15*x3 + 21*x5 >= 111",
    "10*x0**2 + 3*x1**2 + 10*x6**2 >= 111",
    "3*x1 + 2*x4 + 10*x6 >= 111",
    "3*x1 + 21*x5 + 10*x6 >= 111",
    "10*x0 + 3*x1 + 15*x3 >= 111",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 111",
    "10*x0 + 15*x3 + 10*x6 >= 111",
    "3*x1 + 7*x2 + 21*x5 >= 111",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 111",
    "10*x0 + 15*x3 + 21*x5 >= 111",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 111",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 127",
    "3*x1**2 + 7*x2**2 + 15*x3**2 >= 127",
    "3*x1**2 + 2*x4**2 + 21*x5**2 >= 127",
    "10*x0 + 7*x2 + 2*x4 >= 127",
    "7*x2 + 2*x4 + 10*x6 >= 127",
    "7*x2**2 + 15*x3**2 + 21*x5**2 >= 127",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 127",
    "7*x2 + 21*x5 + 10*x6 >= 127",
    "10*x0 + 3*x1 + 7*x2 >= 127",
    "15*x3 + 2*x4 + 10*x6 >= 127",
    "10*x0 + 2*x4 + 21*x5 >= 127",
    "15*x3**2 + 2*x4**2 + 21*x5**2 >= 127",
    "7*x2**2 + 15*x3**2 + 2*x4**2 >= 127",
    "3*x1 + 15*x3 + 10*x6 >= 127",
    "10*x0 + 21*x5 + 10*x6 >= 127",
    "3*x1 + 7*x2 + 2*x4 >= 127",
    "7*x2**2 + 2*x4**2 + 21*x5**2 >= 127",
    "7*x2 + 15*x3 + 10*x6 >= 127",
    "3*x1 + 15*x3 + 21*x5 >= 127",
    "10*x0 + 3*x1 + 10*x6 >= 127",
    "3*x1**2 + 2*x4**2 + 10*x6**2 >= 127",
    "3*x1**2 + 21*x5**2 + 10*x6**2 >= 127",
    "10*x0 + 3*x1 + 15*x3 >= 127",
    "3*x1 + 7*x2 + 21*x5 >= 127",
    "10*x0 + 15*x3 + 10*x6 >= 127",
    "3*x1 + 7*x2 + 21*x5 >= 127",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 127",
    "10*x0 + 15*x3 + 21*x5 >= 127",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 127",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 154",
    "3*x1**2 + 7*x2**2 + 15*x3**2 >= 154",
    "3*x1**2 + 2*x4**2 + 21*x5**2 >= 154",
    "10*x0 + 7*x2 + 2*x4 >= 154",
    "7*x2 + 2*x4 + 10*x6 >= 154",
    "7*x2 + 15*x3 + 21*x5 >= 154",
    "2*x4 + 21*x5 + 10*x6 >= 154",
    "7*x2**2 + 21*x5**2 + 10*x6**2 >= 154",
    "10*x0 + 3*x1 + 7*x2 >= 154",
    "15*x3 + 2*x4 + 10*x6 >= 154",
    "10*x0 + 2*x4 + 21*x5 >= 154",
    "15*x3**2 + 2*x4**2 + 21*x5**2 >= 154",
    "7*x2**2 + 15*x3**2 + 2*x4**2 >= 154",
    "3*x1 + 15*x3 + 10*x6 >= 154",
    "10*x0 + 21*x5 + 10*x6 >= 154",
    "3*x1 + 7*x2 + 2*x4 >= 154",
    "7*x2 + 2*x4 + 21*x5 >= 154",
    "7*x2 + 15*x3 + 10*x6 >= 154",
    "3*x1 + 15*x3 + 21*x5 >= 154",
    "10*x0 + 3*x1 + 10*x6 >= 154",
    "3*x1**2 + 2*x4**2 + 10*x6**2 >= 154",
    "3*x1 + 21*x5 + 10*x6 >= 154",
    "10*x0 + 3*x1 + 15*x3 >= 154",
    "3*x1 + 7*x2 + 21*x5 >= 154",
    "10*x0 + 15*x3 + 10*x6 >= 154",
    "3*x1 + 7*x2 + 21*x5 >= 154",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 154",
    "10*x0 + 15*x3 + 21*x5 >= 154",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 154",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 134",
    "3*x1 + 7*x2 + 15*x3 >= 134",
    "3*x1 + 2*x4 + 21*x5 >= 134",
    "10*x0 + 7*x2 + 2*x4 >= 134",
    "7*x2 + 2*x4 + 10*x6 >= 134",
    "7*x2 + 15*x3 + 21*x5 >= 134",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 134",
    "7*x2**2 + 21*x5**2 + 10*x6**2 >= 134",
    "10*x0**2 + 3*x1**2 + 7*x2**2 >= 134",
    "15*x3 + 2*x4 + 10*x6 >= 134",
    "10*x0 + 2*x4 + 21*x5 >= 134",
    "15*x3 + 2*x4 + 21*x5 >= 134",
    "7*x2 + 15*x3 + 2*x4 >= 134",
    "3*x1 + 15*x3 + 10*x6 >= 134",
    "10*x0 + 21*x5 + 10*x6 >= 134",
    "3*x1 + 7*x2 + 2*x4 >= 134",
    "7*x2 + 2*x4 + 21*x5 >= 134",
    "7*x2 + 15*x3 + 10*x6 >= 134",
    "3*x1 + 15*x3 + 21*x5 >= 134",
    "10*x0 + 3*x1 + 10*x6 >= 134",
    "3*x1 + 2*x4 + 10*x6 >= 134",
    "3*x1 + 21*x5 + 10*x6 >= 134",
    "10*x0 + 3*x1 + 15*x3 >= 134",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 134",
    "10*x0 + 15*x3 + 10*x6 >= 134",
    "3*x1 + 7*x2 + 21*x5 >= 134",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 134",
    "10*x0 + 15*x3 + 21*x5 >= 134",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 134",
    "10*x0 + 7*x2 + 15*x3 >= 84",
    "3*x1**2 + 7*x2**2 + 15*x3**2 >= 84",
    "3*x1 + 2*x4 + 21*x5 >= 84",
    "10*x0 + 7*x2 + 2*x4 >= 84",
    "7*x2 + 2*x4 + 10*x6 >= 84",
    "7*x2 + 15*x3 + 21*x5 >= 84",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 84",
    "7*x2**2 + 21*x5**2 + 10*x6**2 >= 84",
    "10*x0 + 3*x1 + 7*x2 >= 84",
    "15*x3 + 2*x4 + 10*x6 >= 84",
    "10*x0 + 2*x4 + 21*x5 >= 84",
    "15*x3**2 + 2*x4**2 + 21*x5**2 >= 84",
    "7*x2 + 15*x3 + 2*x4 >= 84",
    "3*x1**2 + 15*x3**2 + 10*x6**2 >= 84",
    "10*x0**2 + 21*x5**2 + 10*x6**2 >= 84",
    "3*x1**2 + 7*x2**2 + 2*x4**2 >= 84",
    "7*x2**2 + 2*x4**2 + 21*x5**2 >= 84",
    "7*x2**2 + 15*x3**2 + 10*x6**2 >= 84",
    "3*x1 + 15*x3 + 21*x5 >= 84",
    "10*x0 + 3*x1 + 10*x6 >= 84",
    "3*x1 + 2*x4 + 10*x6 >= 84",
    "3*x1**2 + 21*x5**2 + 10*x6**2 >= 84",
    "10*x0 + 3*x1 + 15*x3 >= 84",
    "3*x1 + 7*x2 + 21*x5 >= 84",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 84",
    "10*x0 + 15*x3 + 10*x6 >= 84",
    "3*x1 + 7*x2 + 21*x5 >= 84",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 84",
    "10*x0 + 15*x3 + 21*x5 >= 84",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 84",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 113",
    "3*x1 + 7*x2 + 15*x3 >= 113",
    "3*x1**2 + 2*x4**2 + 21*x5**2 >= 113",
    "10*x0 + 7*x2 + 2*x4 >= 113",
    "7*x2 + 2*x4 + 10*x6 >= 113",
    "7*x2 + 15*x3 + 21*x5 >= 113",
    "2*x4 + 21*x5 + 10*x6 >= 113",
    "7*x2 + 21*x5 + 10*x6 >= 113",
    "10*x0 + 3*x1 + 7*x2 >= 113",
    "15*x3 + 2*x4 + 10*x6 >= 113",
    "10*x0 + 2*x4 + 21*x5 >= 113",
    "15*x3 + 2*x4 + 21*x5 >= 113",
    "7*x2 + 15*x3 + 2*x4 >= 113",
    "3*x1 + 15*x3 + 10*x6 >= 113",
    "10*x0**2 + 21*x5**2 + 10*x6**2 >= 113",
    "3*x1 + 7*x2 + 2*x4 >= 113",
    "7*x2 + 2*x4 + 21*x5 >= 113",
    "7*x2 + 15*x3 + 10*x6 >= 113",
    "3*x1 + 15*x3 + 21*x5 >= 113",
    "10*x0 + 3*x1 + 10*x6 >= 113",
    "3*x1**2 + 2*x4**2 + 10*x6**2 >= 113",
    "3*x1 + 21*x5 + 10*x6 >= 113",
    "10*x0 + 3*x1 + 15*x3 >= 113",
    "3*x1**2 + 7*x2**2 + 10*x6**2 >= 113",
    "10*x0 + 15*x3 + 10*x6 >= 113",
    "3*x1 + 7*x2 + 21*x5 >= 113",
    "10*x0**2 + 3*x1**2 + 21*x5**2 >= 113",
    "10*x0 + 15*x3 + 21*x5 >= 113",
    "10*x0**2 + 2*x4**2 + 10*x6**2 >= 113",
    "10*x0**2 + 7*x2**2 + 15*x3**2 >= 119",
    "3*x1 + 7*x2 + 15*x3 >= 119",
    "3*x1**2 + 2*x4**2 + 21*x5**2 >= 119",
    "10*x0 + 7*x2 + 2*x4 >= 119",
    "7*x2 + 2*x4 + 10*x6 >= 119",
    "7*x2 + 15*x3 + 21*x5 >= 119",
    "2*x4**2 + 21*x5**2 + 10*x6**2 >= 119",
    "7*x2 + 21*x5 + 10*x6 >= 119",
    "10*x0**2 + 3*x1**2 + 7*x2**2 >= 119",
    "15*x3 + 2*x4 + 10*x6 >= 119",
    "10*x0 + 2*x4 + 21*x5 >= 119",
    "15*x3**2 + 2*x4**2 + 21*x5**2 >= 119",
    "7*x2**2 + 15*x3**2 + 2*x4**2 >= 119",
    "3*x1 + 15*x3 + 10*x6 >= 119",
    "10*x0 + 21*x5 + 10*