```json
{
  "sym_variables": [
    ("x0", "yellow highlighters"),
    ("x1", "paper clips"),
    ("x2", "packs of paper"),
    ("x3", "manila envelopes")
  ],
  "objective_function": "5*x0 + 8*x1 + 4*x2 + 2*x3",
  "constraints": [
    "9*x1 + 5*x3 >= 23",
    "9*x0 + 6*x1 >= 17",
    "6*x1 + 7*x2 >= 30",
    "9*x0 + 7*x2 >= 25",
    "9*x0 + 6*x1 + 7*x2 + 5*x3 >= 25",
    "10*x1 + 2*x2 >= 16",
    "8*x0 + 10*x1 >= 15",
    "2*x2 + 8*x3 >= 10",
    "10*x1 + 8*x3 >= 14",
    "8*x0 + 2*x2 >= 24",
    "8*x0 + 10*x1 + 2*x2 + 8*x3 >= 24",
    "3*x1 - x2 >= 0",
    "4*x0 - x1 >= 0",
    "6*x1 + 7*x2 <= 105",
    "6*x1 + 7*x2 + 5*x3 <= 126",
    "9*x0 + 6*x1 + 7*x2 <= 59",
    "9*x0 + 7*x2 + 5*x3 <= 61",
    "8*x0 + 8*x3 <= 70",
    "8*x0 + 10*x1 + 2*x2 <= 72",
    "10*x1 + 2*x2 + 8*x3 <= 79",
    "x0 >= 0",
    "x1 >= 0",
    "x2 >= 0",
    "x3 >= 0"

  ]
}
```

```python
import gurobipy as gp

try:
    # Create a new model
    m = gp.Model("office_supplies")

    # Create variables
    x = {}
    x[0] = m.addVar(vtype=gp.GRB.INTEGER, name="yellow_highlighters")
    x[1] = m.addVar(vtype=gp.GRB.INTEGER, name="paper_clips")
    x[2] = m.addVar(vtype=gp.GRB.INTEGER, name="packs_of_paper")
    x[3] = m.addVar(vtype=gp.GRB.INTEGER, name="manila_envelopes")


    # Set objective function
    m.setObjective(5*x[0] + 8*x[1] + 4*x[2] + 2*x[3], gp.GRB.MINIMIZE)

    # Add constraints
    m.addConstr(9*x[1] + 5*x[3] >= 23)
    m.addConstr(9*x[0] + 6*x[1] >= 17)
    m.addConstr(6*x[1] + 7*x[2] >= 30)
    m.addConstr(9*x[0] + 7*x[2] >= 25)
    m.addConstr(9*x[0] + 6*x[1] + 7*x[2] + 5*x[3] >= 25)
    m.addConstr(10*x[1] + 2*x[2] >= 16)
    m.addConstr(8*x[0] + 10*x[1] >= 15)
    m.addConstr(2*x[2] + 8*x[3] >= 10)
    m.addConstr(10*x[1] + 8*x[3] >= 14)
    m.addConstr(8*x[0] + 2*x[2] >= 24)
    m.addConstr(8*x[0] + 10*x[1] + 2*x[2] + 8*x[3] >= 24)
    m.addConstr(3*x[1] - x[2] >= 0)
    m.addConstr(4*x[0] - x[1] >= 0)
    m.addConstr(6*x[1] + 7*x[2] <= 105)
    m.addConstr(6*x[1] + 7*x[2] + 5*x[3] <= 126)
    m.addConstr(9*x[0] + 6*x[1] + 7*x[2] <= 59)
    m.addConstr(9*x[0] + 7*x[2] + 5*x[3] <= 61)
    m.addConstr(8*x[0] + 8*x[3] <= 70)
    m.addConstr(8*x[0] + 10*x[1] + 2*x[2] <= 72)
    m.addConstr(10*x[1] + 2*x[2] + 8*x[3] <= 79)


    # Optimize model
    m.optimize()

    if m.status == gp.GRB.OPTIMAL:
        for v in m.getVars():
            print(f'{v.varName} = {v.x}')
        print(f'Obj: {m.objVal}')
    elif m.status == gp.GRB.INFEASIBLE:
        print("The model is infeasible.")
    else:
        print(f"Optimization ended with status {m.status}")


except gp.GurobiError as e:
    print('Error code ' + str(e.errno) + ': ' + str(e))

except AttributeError:
    print('Encountered an attribute error')
```