```json
{
  "sym_variables": [
    ("x0", "hours worked by George"),
    ("x1", "hours worked by John"),
    ("x2", "hours worked by Hank"),
    ("x3", "hours worked by Bobby"),
    ("x4", "hours worked by Mary"),
    ("x5", "hours worked by Paul")
  ],
  "objective_function": "2*x0 + 2*x1 + 8*x2 + 1*x3 + 2*x4 + 5*x5",
  "constraints": [
    "1*x2 + 6*x3 >= 49",
    "14*x0 + 1*x2 >= 31",
    "7*x1 + 6*x5 >= 50",
    "7*x1 + 6*x3 >= 24",
    "14*x0 + 7*x1 >= 35",
    "7*x1 + 1*x2 >= 61",
    "6*x3 + 1*x4 >= 62",
    "6*x3 + 1*x4 + 6*x5 >= 39",
    "1*x2 + 1*x4 + 6*x5 >= 39",
    "14*x0 + 7*x1 + 6*x5 >= 39",
    "7*x1 + 1*x4 + 6*x5 >= 39",
    "14*x0 + 1*x2 + 6*x3 >= 39",
    "7*x1 + 1*x2 + 1*x4 >= 39",
    "7*x1 + 6*x3 + 6*x5 >= 39",
    "14*x0 + 7*x1 + 1*x4 >= 39",
    "14*x0 + 6*x3 + 1*x4 >= 39",
    "14*x0 + 7*x1 + 1*x2 >= 39",
    "6*x3 + 1*x4 + 6*x5 >= 42",
    "1*x2 + 1*x4 + 6*x5 >= 42",
    "14*x0 + 7*x1 + 6*x5 >= 42",
    "7*x1 + 1*x4 + 6*x5 >= 42",
    "14*x0 + 1*x2 + 6*x3 >= 42",
    "7*x1 + 1*x2 + 1*x4 >= 42",
    "7*x1 + 6*x3 + 6*x5 >= 42",
    "14*x0 + 7*x1 + 1*x4 >= 42",
    "14*x0 + 6*x3 + 1*x4 >= 42",
    "14*x0 + 7*x1 + 1*x2 >= 42",
    "6*x3 + 1*x4 + 6*x5 >= 62",
    "1*x2 + 1*x4 + 6*x5 >= 62",
    "14*x0 + 7*x1 + 6*x5 >= 62",
    "7*x1 + 1*x4 + 6*x5 >= 62",
    "14*x0 + 1*x2 + 6*x3 >= 62",
    "7*x1 + 1*x2 + 1*x4 >= 62",
    "7*x1 + 6*x3 + 6*x5 >= 62",
    "14*x0 + 7*x1 + 1*x4 >= 62",
    "14*x0 + 6*x3 + 1*x4 >= 62",
    "14*x0 + 7*x1 + 1*x2 >= 62",
    "6*x3 + 1*x4 + 6*x5 >= 57",
    "1*x2 + 1*x4 + 6*x5 >= 57",
    "14*x0 + 7*x1 + 6*x5 >= 57",
    "7*x1 + 1*x4 + 6*x5 >= 57",
    "14*x0 + 1*x2 + 6*x3 >= 57",
    "7*x1 + 1*x2 + 1*x4 >= 57",
    "7*x1 + 6*x3 + 6*x5 >= 57",
    "14*x0 + 7*x1 + 1*x4 >= 57",
    "14*x0 + 6*x3 + 1*x4 >= 57",
    "14*x0 + 7*x1 + 1*x2 >= 57",
    "6*x3 + 1*x4 + 6*x5 >= 44",
    "1*x2 + 1*x4 + 6*x5 >= 44",
    "14*x0 + 7*x1 + 6*x5 >= 44",
    "7*x1 + 1*x4 + 6*x5 >= 44",
    "14*x0 + 1*x2 + 6*x3 >= 44",
    "7*x1 + 1*x2 + 1*x4 >= 44",
    "7*x1 + 6*x3 + 6*x5 >= 44",
    "14*x0 + 7*x1 + 1*x4 >= 44",
    "14*x0 + 6*x3 + 1*x4 >= 44",
    "14*x0 + 7*x1 + 1*x2 >= 44",
    "6*x3 + 1*x4 + 6*x5 >= 55",
    "1*x2 + 1*x4 + 6*x5 >= 55",
    "14*x0 + 7*x1 + 6*x5 >= 55",
    "7*x1 + 1*x4 + 6*x5 >= 55",
    "14*x0 + 1*x2 + 6*x3 >= 55",
    "7*x1 + 1*x2 + 1*x4 >= 55",
    "7*x1 + 6*x3 + 6*x5 >= 55",
    "14*x0 + 7*x1 + 1*x4 >= 55",
    "14*x0 + 6*x3 + 1*x4 >= 55",
    "14*x0 + 7*x1 + 1*x2 >= 55",
    "6*x3 + 1*x4 + 6*x5 >= 46",
    "1*x2 + 1*x4 + 6*x5 >= 46",
    "14*x0 + 7*x1 + 6*x5 >= 46",
    "7*x1 + 1*x4 + 6*x5 >= 46",
    "14*x0 + 1*x2 + 6*x3 >= 46",
    "7*x1 + 1*x2 + 1*x4 >= 46",
    "7*x1 + 6*x3 + 6*x5 >= 46",
    "14*x0 + 7*x1 + 1*x4 >= 46",
    "14*x0 + 6*x3 + 1*x4 >= 46",
    "14*x0 + 7*x1 + 1*x2 >= 46",
    "6*x3 + 1*x4 + 6*x5 >= 57",
    "1*x2 + 1*x4 + 6*x5 >= 57",
    "14*x0 + 7*x1 + 6*x5 >= 57",
    "7*x1 + 1*x4 + 6*x5 >= 57",
    "14*x0 + 1*x2 + 6*x3 >= 57",
    "7*x1 + 1*x2 + 1*x4 >= 57",
    "7*x1 + 6*x3 + 6*x5 >= 57",
    "14*x0 + 7*x1 + 1*x4 >= 57",
    "14*x0 + 6*x3 + 1*x4 >= 57",
    "14*x0 + 7*x1 + 1*x2 >= 57",
    "6*x3 + 1*x4 + 6*x5 >= 41",
    "1*x2 + 1*x4 + 6*x5 >= 41",
    "14*x0 + 7*x1 + 6*x5 >= 41",
    "7*x1 + 1*x4 + 6*x5 >= 41",
    "14*x0 + 1*x2 + 6*x3 >= 41",
    "7*x1 + 1*x2 + 1*x4 >= 41",
    "7*x1 + 6*x3 + 6*x5 >= 41",
    "14*x0 + 7*x1 + 1*x4 >= 41",
    "14*x0 + 6*x3 + 1*x4 >= 41",
    "14*x0 + 7*x1 + 1*x2 >= 41",
    "6*x3 + 1*x4 + 6*x5 >= 31",
    "1*x2 + 1*x4 + 6*x5 >= 31",
    "14*x0 + 7*x1 + 6*x5 >= 31",
    "7*x1 + 1*x4 + 6*x5 >= 31",
    "14*x0 + 1*x2 + 6*x3 >= 31",
    "7*x1 + 1*x2 + 1*x4 >= 31",
    "7*x1 + 6*x3 + 6*x5 >= 31",
    "14*x0 + 7*x1 + 1*x4 >= 31",
    "14*x0 + 6*x3 + 1*x4 >= 31",
    "14*x0 + 7*x1 + 1*x2 >= 31",
    "14*x0 + 7*x1 + 1*x2 + 6*x3 + 1*x4 + 6*x5 >= 31",
    "6*x0 + 1*x4 >= 36",
    "14*x1 + 5*x2 >= 59",
    "6*x0 + 5*x2 >= 59",
    "6*x0 + 1*x5 >= 50",
    "14*x1 + 1*x4 >= 61",
    "1*x4 + 1*x5 >= 48",
    "6*x0 + 14*x1 >= 63",
    "1*x3 + 1*x4 >= 44",
    "5*x2 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x4 + 1*x5 >= 55",
    "6*x0 + 5*x2 + 1*x3 >= 55",
    "14*x1 + 5*x2 + 1*x3 >= 55",
    "14*x1 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x3 + 1*x4 >= 55",
    "6*x0 + 1*x4 + 1*x5 >= 55",
    "14*x1 + 1*x3 + 1*x4 >= 55",
    "6*x0 + 14*x1 + 1*x3 >= 55",
    "6*x0 + 14*x1 + 1*x5 >= 55",
    "14*x1 + 1*x4 + 1*x5 >= 55",
    "6*x0 + 1*x3 + 1*x4 >= 55",
    "14*x1 + 5*x2 + 1*x4 >= 55",
    "14*x1 + 5*x2 + 1*x5 >= 55",
    "6*x0 + 14*x1 + 5*x2 >= 55",
    "6*x0 + 5*x2 + 1*x4 >= 55",
    "6*x0 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x3 + 1*x5 >= 69",
    "5*x2 + 1*x4 + 1*x5 >= 69",
    "6*x0 + 5*x2 + 1*x3 >= 69",
    "14*x1 + 5*x2 + 1*x3 >= 69",
    "14*x1 + 1*x3 + 1*x5 >= 69",
    "5*x2 + 1*x3 + 1*x4 >= 69",
    "6*x0 + 1*x4 + 1*x5 >= 69",
    "14*x1 + 1*x3 + 1*x4 >= 69",
    "6*x0 + 14*x1 + 1*x3 >= 69",
    "6*x0 + 14*x1 + 1*x5 >= 69",
    "14*x1 + 1*x4 + 1*x5 >= 69",
    "6*x0 + 1*x3 + 1*x4 >= 69",
    "14*x1 + 5*x2 + 1*x4 >= 69",
    "14*x1 + 5*x2 + 1*x5 >= 69",
    "6*x0 + 14*x1 + 5*x2 >= 69",
    "6*x0 + 5*x2 + 1*x4 >= 69",
    "6*x0 + 1*x3 + 1*x5 >= 69",
    "5*x2 + 1*x3 + 1*x5 >= 59",
    "5*x2 + 1*x4 + 1*x5 >= 59",
    "6*x0 + 5*x2 + 1*x3 >= 59",
    "14*x1 + 5*x2 + 1*x3 >= 59",
    "14*x1 + 1*x3 + 1*x5 >= 59",
    "5*x2 + 1*x3 + 1*x4 >= 59",
    "6*x0 + 1*x4 + 1*x5 >= 59",
    "14*x1 + 1*x3 + 1*x4 >= 59",
    "6*x0 + 14*x1 + 1*x3 >= 59",
    "6*x0 + 14*x1 + 1*x5 >= 59",
    "14*x1 + 1*x4 + 1*x5 >= 59",
    "6*x0 + 1*x3 + 1*x4 >= 59",
    "14*x1 + 5*x2 + 1*x4 >= 59",
    "14*x1 + 5*x2 + 1*x5 >= 59",
    "6*x0 + 14*x1 + 5*x2 >= 59",
    "6*x0 + 5*x2 + 1*x4 >= 59",
    "6*x0 + 1*x3 + 1*x5 >= 59",
    "5*x2 + 1*x3 + 1*x5 >= 71",
    "5*x2 + 1*x4 + 1*x5 >= 71",
    "6*x0 + 5*x2 + 1*x3 >= 71",
    "14*x1 + 5*x2 + 1*x3 >= 71",
    "14*x1 + 1*x3 + 1*x5 >= 71",
    "5*x2 + 1*x3 + 1*x4 >= 71",
    "6*x0 + 1*x4 + 1*x5 >= 71",
    "14*x1 + 1*x3 + 1*x4 >= 71",
    "6*x0 + 14*x1 + 1*x3 >= 71",
    "6*x0 + 14*x1 + 1*x5 >= 71",
    "14*x1 + 1*x4 + 1*x5 >= 71",
    "6*x0 + 1*x3 + 1*x4 >= 71",
    "14*x1 + 5*x2 + 1*x4 >= 71",
    "14*x1 + 5*x2 + 1*x5 >= 71",
    "6*x0 + 14*x1 + 5*x2 >= 71",
    "6*x0 + 5*x2 + 1*x4 >= 71",
    "6*x0 + 1*x3 + 1*x5 >= 71",
    "5*x2 + 1*x3 + 1*x5 >= 52",
    "5*x2 + 1*x4 + 1*x5 >= 52",
    "6*x0 + 5*x2 + 1*x3 >= 52",
    "14*x1 + 5*x2 + 1*x3 >= 52",
    "14*x1 + 1*x3 + 1*x5 >= 52",
    "5*x2 + 1*x3 + 1*x4 >= 52",
    "6*x0 + 1*x4 + 1*x5 >= 52",
    "14*x1 + 1*x3 + 1*x4 >= 52",
    "6*x0 + 14*x1 + 1*x3 >= 52",
    "6*x0 + 14*x1 + 1*x5 >= 52",
    "14*x1 + 1*x4 + 1*x5 >= 52",
    "6*x0 + 1*x3 + 1*x4 >= 52",
    "14*x1 + 5*x2 + 1*x4 >= 52",
    "14*x1 + 5*x2 + 1*x5 >= 52",
    "6*x0 + 14*x1 + 5*x2 >= 52",
    "6*x0 + 5*x2 + 1*x4 >= 52",
    "6*x0 + 1*x3 + 1*x5 >= 52",
    "5*x2 + 1*x3 + 1*x5 >= 46",
    "5*x2 + 1*x4 + 1*x5 >= 46",
    "6*x0 + 5*x2 + 1*x3 >= 46",
    "14*x1 + 5*x2 + 1*x3 >= 46",
    "14*x1 + 1*x3 + 1*x5 >= 46",
    "5*x2 + 1*x3 + 1*x4 >= 46",
    "6*x0 + 1*x4 + 1*x5 >= 46",
    "14*x1 + 1*x3 + 1*x4 >= 46",
    "6*x0 + 14*x1 + 1*x3 >= 46",
    "6*x0 + 14*x1 + 1*x5 >= 46",
    "14*x1 + 1*x4 + 1*x5 >= 46",
    "6*x0 + 1*x3 + 1*x4 >= 46",
    "14*x1 + 5*x2 + 1*x4 >= 46",
    "14*x1 + 5*x2 + 1*x5 >= 46",
    "6*x0 + 14*x1 + 5*x2 >= 46",
    "6*x0 + 5*x2 + 1*x4 >= 46",
    "6*x0 + 1*x3 + 1*x5 >= 46",
    "5*x2 + 1*x3 + 1*x5 >= 54",
    "5*x2 + 1*x4 + 1*x5 >= 54",
    "6*x0 + 5*x2 + 1*x3 >= 54",
    "14*x1 + 5*x2 + 1*x3 >= 54",
    "14*x1 + 1*x3 + 1*x5 >= 54",
    "5*x2 + 1*x3 + 1*x4 >= 54",
    "6*x0 + 1*x4 + 1*x5 >= 54",
    "14*x1 + 1*x3 + 1*x4 >= 54",
    "6*x0 + 14*x1 + 1*x3 >= 54",
    "6*x0 + 14*x1 + 1*x5 >= 54",
    "14*x1 + 1*x4 + 1*x5 >= 54",
    "6*x0 + 1*x3 + 1*x4 >= 54",
    "14*x1 + 5*x2 + 1*x4 >= 54",
    "14*x1 + 5*x2 + 1*x5 >= 54",
    "6*x0 + 14*x1 + 5*x2 >= 54",
    "6*x0 + 5*x2 + 1*x4 >= 54",
    "6*x0 + 1*x3 + 1*x5 >= 54",
    "5*x2 + 1*x3 + 1*x5 >= 41",
    "5*x2 + 1*x4 + 1*x5 >= 41",
    "6*x0 + 5*x2 + 1*x3 >= 41",
    "14*x1 + 5*x2 + 1*x3 >= 41",
    "14*x1 + 1*x3 + 1*x5 >= 41",
    "5*x2 + 1*x3 + 1*x4 >= 41",
    "6*x0 + 1*x4 + 1*x5 >= 41",
    "14*x1 + 1*x3 + 1*x4 >= 41",
    "6*x0 + 14*x1 + 1*x3 >= 41",
    "6*x0 + 14*x1 + 1*x5 >= 41",
    "14*x1 + 1*x4 + 1*x5 >= 41",
    "6*x0 + 1*x3 + 1*x4 >= 41",
    "14*x1 + 5*x2 + 1*x4 >= 41",
    "14*x1 + 5*x2 + 1*x5 >= 41",
    "6*x0 + 14*x1 + 5*x2 >= 41",
    "6*x0 + 5*x2 + 1*x4 >= 41",
    "6*x0 + 1*x3 + 1*x5 >= 41",
    "5*x2 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x4 + 1*x5 >= 55",
    "6*x0 + 5*x2 + 1*x3 >= 55",
    "14*x1 + 5*x2 + 1*x3 >= 55",
    "14*x1 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x3 + 1*x4 >= 55",
    "6*x0 + 1*x4 + 1*x5 >= 55",
    "14*x1 + 1*x3 + 1*x4 >= 55",
    "6*x0 + 14*x1 + 1*x3 >= 55",
    "6*x0 + 14*x1 + 1*x5 >= 55",
    "14*x1 + 1*x4 + 1*x5 >= 55",
    "6*x0 + 1*x3 + 1*x4 >= 55",
    "14*x1 + 5*x2 + 1*x4 >= 55",
    "14*x1 + 5*x2 + 1*x5 >= 55",
    "6*x0 + 14*x1 + 5*x2 >= 55",
    "6*x0 + 5*x2 + 1*x4 >= 55",
    "6*x0 + 1*x3 + 1*x5 >= 55",
    "5*x2 + 1*x3 + 1*x5 >= 40",
    "5*x2 + 1*x4 + 1*x5 >= 40",
    "6*x0 + 5*x2 + 1*x3 >= 40",
    "14*x1 + 5*x2 + 1*x3 >= 40",
    "14*x1 + 1*x3 + 1*x5 >= 40",
    "5*x2 + 1*x3 + 1*x4 >= 40",
    "6*x0 + 1*x4 + 1*x5 >= 40",
    "14*x1 + 1*x3 + 1*x4 >= 40",
    "6*x0 + 14*x1 + 1*x3 >= 40",
    "6*x0 + 14*x1 + 1*x5 >= 40",
    "14*x1 + 1*x4 + 1*x5 >= 40",
    "6*x0 + 1*x3 + 1*x4 >= 40",
    "14*x1 + 5*x2 + 1*x4 >= 40",
    "14*x1 + 5*x2 + 1*x5 >= 40",
    "6*x0 + 14*x1 + 5*x2 >= 40",
    "6*x0 + 5*x2 + 1*x4 >= 40",
    "6*x0 + 1*x3 + 1*x5 >= 40",
    "5*x2 + 1*x3 + 1*x5 >= 58",
    "5*x2 + 1*x4 + 1*x5 >= 58",
    "6*x0 + 5*x2 + 1*x3 >= 58",
    "14*x1 + 5*x2 + 1*x3 >= 58",
    "14*x1 + 1*x3 + 1*x5 >= 58",
    "5*x2 + 1*x3 + 1*x4 >= 58",
    "6*x0 + 1*x4 + 1*x5 >= 58",
    "14*x1 + 1*x3 + 1*x4 >= 58",
    "6*x0 + 14*x1 + 1*x3 >= 58",
    "6*x0 + 14*x1 + 1*x5 >= 58",
    "14*x1 + 1*x4 + 1*x5 >= 58",
    "6*x0 + 1*x3 + 1*x4 >= 58",
    "14*x1 + 5*x2 + 1*x4 >= 58",
    "14*x1 + 5*x2 + 1*x5 >= 58",
    "6*x0 + 14*x1 + 5*x2 >= 58",
    "6*x0 + 5*x2 + 1*x4 >= 58",
    "6*x0 + 1*x3 + 1*x5 >= 58",
    "5*x2 + 1*x3 + 1*x5 >= 47",
    "5*x2 + 1*x4 + 1*x5 >= 47",
    "6*x0 + 5*x2 + 1*x3 >= 47",
    "14*x1 + 5*x2 + 1*x3 >= 47",
    "14*x1 + 1*x3 + 1*x5 >= 47",
    "5*x2 + 1*x3 + 1*x4 >= 47",
    "6*x0 + 1*x4 + 1*x5 >= 47",
    "14*x1 + 1*x3 + 1*x4 >= 47",
    "6*x0 + 14*x1 + 1*x3 >= 47",
    "6*x0 + 14*x1 + 1*x5 >= 47",
    "14*x1 + 1*x4 + 1*x5 >= 47",
    "6*x0 + 1*x3 + 1*x4 >= 47",
    "14*x1 + 5*x2 + 1*x4 >= 47",
    "14*x1 + 5*x2 + 1*x5 >= 47",
    "6*x0 + 14*x1 + 5*x2 >= 47",
    "6*x0 + 5*x2 + 1*x4 >= 47",
    "6*x0 + 1*x3 + 1*x5 >= 47",
    "5*x2 + 1*x3 + 1*x5 >= 76",
    "5*x2 + 1*x4 + 1*x5 >= 76",
    "6*x0 + 5*x2 + 1*x3 >= 76",
    "14*x1 + 5*x2 + 1*x3 >= 76",
    "14*x1 + 1*x3 + 1*x5 >= 76",
    "5*x2 + 1*x3 + 1*x4 >= 76",
    "6*x0 + 1*x4 + 1*x5 >= 76",
    "14*x1 + 1*x3 + 1*x4 >= 76",
    "6*x0 + 14*x1 + 1*x3 >= 76",
    "6*x0 + 14*x1 + 1*x5 >= 76",
    "14*x1 + 1*x4 + 1*x5 >= 76",
    "6*x0 + 1*x3 +