```json
{
  "sym_variables": [
    ("x0", "oranges"),
    ("x1", "steaks"),
    ("x2", "lemons"),
    ("x3", "hot dogs"),
    ("x4", "kiwis"),
    ("x5", "cantaloupes")
  ],
  "objective_function": "5*x0*x1 + 7*x0*x2 + 3*x1**2 + 2*x2*x4 + 9*x2*x5 + 7*x3**2 + 2*x3*x5 + 4*x4**2 + 7*x2 + 6*x3 + 8*x5",
  "constraints": [
    "12*x0 + 25*x1 + 1*x2 + 16*x3 + 2*x4 + 4*x5 <= 936",
    "22*x0 + 12*x1 + 1*x2 + 12*x3 + 8*x4 + 12*x5 <= 362",
    "21*x0 + 13*x1 + 18*x2 + 18*x3 + 19*x4 + 1*x5 <= 379",
    "3*x0 + 14*x1 + 6*x2 + 4*x3 + 16*x4 + 5*x5 <= 769",
    "x2**2 + x5**2 >= 119",
    "12*x0 + 25*x1 + 4*x5 >= 134",
    "25*x1**2 + 2*x4**2 + 4*x5**2 >= 134",
    "x2**2 + 16*x3**2 + 4*x5**2 >= 134",
    "12*x0**2 + x2**2 + 2*x4**2 >= 134",
    "25*x1**2 + x2**2 + 2*x4**2 >= 134",
    "16*x3 + 2*x4 + 4*x5 >= 134",
    "12*x0 + 25*x1 + 4*x5 >= 105",
    "25*x1**2 + 2*x4**2 + 4*x5**2 >= 105",
    "x2 + 16*x3 + 4*x5 >= 105",
    "12*x0 + x2 + 2*x4 >= 105",
    "25*x1**2 + x2**2 + 2*x4**2 >= 105",
    "16*x3 + 2*x4 + 4*x5 >= 105",
    "12*x0 + 25*x1 + 4*x5 >= 93",
    "25*x1 + 2*x4 + 4*x5 >= 93",
    "x2 + 16*x3 + 4*x5 >= 93",
    "12*x0 + x2 + 2*x4 >= 93",
    "25*x1**2 + x2**2 + 2*x4**2 >= 93",
    "16*x3 + 2*x4 + 4*x5 >= 93",
    "12**2*x0**2 + 25**2*x1**2 + 4**2*x5**2 >= 99",
    "25*x1 + 2*x4 + 4*x5 >= 99",
    "x2 + 16*x3 + 4*x5 >= 99",
    "144*x0**2 + x2**2 + 4*x4**2 >= 99",
    "625*x1**2 + x2**2 + 4*x4**2 >= 99",
    "256*x3**2 + 4*x4**2 + 16*x5**2 >= 99",
    "144*x0**2 + 625*x1**2 + 16*x5**2 >= 124",
    "25*x1 + 2*x4 + 4*x5 >= 124",
    "x2 + 16*x3 + 4*x5 >= 124",
    "12*x0 + x2 + 2*x4 >= 124",
    "625*x1**2 + x2**2 + 4*x4**2 >= 124",
    "256*x3**2 + 4*x4**2 + 16*x5**2 >= 124",
    "144*x0**2 + 625*x1**2 + 16*x5**2 >= 94",
    "625*x1**2 + 4*x4**2 + 16*x5**2 >= 94",
    "x2 + 16*x3 + 4*x5 >= 94",
    "144*x0**2 + x2**2 + 4*x4**2 >= 94",
    "25*x1 + x2 + 2*x4 >= 94",
    "16*x3 + 2*x4 + 4*x5 >= 94",
    "22*x0 + x2 >= 46",
    "x2 + 8*x4 + 12*x5 >= 35",
    "12*x1 + x2 + 8*x4 >= 35",
    "x2**2 + 144*x3**2 + 64*x4**2 >= 35",
    "12*x3 + 8*x4 + 12*x5 >= 35",
    "22*x0 + 12*x1 + 8*x4 >= 35",
    "x2 + 12*x3 + 12*x5 >= 35",
    "x2**2 + 64*x4**2 + 144*x5**2 >= 33",
    "144*x1**2 + x2**2 + 64*x4**2 >= 33",
    "x2**2 + 144*x3**2 + 64*x4**2 >= 33",
    "12*x3 + 8*x4 + 12*x5 >= 33",
    "484*x0**2 + 144*x1**2 + 64*x4**2 >= 33",
    "x2 + 12*x3 + 12*x5 >= 33",
    "x2 + 8*x4 + 12*x5 >= 60",
    "12*x1 + x2 + 8*x4 >= 60",
    "x2 + 12*x3 + 8*x4 >= 60",
    "144*x3**2 + 64*x4**2 + 144*x5**2 >= 60",
    "484*x0**2 + 144*x1**2 + 64*x4**2 >= 60",
    "x2 + 12*x3 + 12*x5 >= 60",
    "x2 + 8*x4 + 12*x5 >= 59",
    "144*x1**2 + x2**2 + 64*x4**2 >= 59",
    "x2 + 12*x3 + 8*x4 >= 59",
    "12*x3 + 8*x4 + 12*x5 >= 59",
    "484*x0**2 + 144*x1**2 + 64*x4**2 >= 59",
    "x2**2 + 144*x3**2 + 144*x5**2 >= 59",
    "x2 + 8*x4 + 12*x5 >= 36",
    "144*x1**2 + x2**2 + 64*x4**2 >= 36",
    "x2**2 + 144*x3**2 + 64*x4**2 >= 36",
    "12*x3 + 8*x4 + 12*x5 >= 36",
    "22*x0 + 12*x1 + 8*x4 >= 36",
    "x2 + 12*x3 + 12*x5 >= 36",
    "x2**2 + 64*x4**2 + 144*x5**2 >= 51",
    "12*x1 + x2 + 8*x4 >= 51",
    "x2 + 12*x3 + 8*x4 >= 51",
    "12*x3 + 8*x4 + 12*x5 >= 51",
    "22*x0 + 12*x1 + 8*x4 >= 51",
    "x2 + 12*x3 + 12*x5 >= 51",
    "19*x4 + x5 >= 32",
    "169*x1**2 + 361*x4**2 >= 57",
    "441*x0**2 + 361*x4**2 >= 34",
    "21*x0 + 13*x1 >= 42",
    "441*x0**2 + 324*x2**2 >= 29",
    "13*x1 + 18*x2 >= 36",
    "13*x1 + x5 >= 57",
    "441*x0**2 + x5**2 >= 56",
    "18*x2 + 18*x3 >= 57",
    "441*x0**2 + 256*x3**2 + x5**2 >= 34",
    "13*x1 + 18*x2 + 18*x3 >= 34",
    "169*x1**2 + 256*x3**2 + x5**2 >= 34",
    "18*x3 + 19*x4 + x5 >= 34",
    "441*x0**2 + 256*x3**2 + 361*x4**2 >= 34",
    "21*x0 + 18*x2 + 18*x3 >= 34",
    "18*x2 + 19*x4 + x5 >= 34",
    "21*x0 + 13*x1 + 19*x4 >= 34",
    "21*x0 + 18*x2 + x5 >= 34",
    "441*x0**2 + 169*x1**2 + x5**2 >= 34",
    "21*x0 + 18*x3 + x5 >= 32",
    "13*x1 + 18*x2 + 18*x3 >= 32",
    "13*x1 + 18*x3 + x5 >= 32",
    "18*x3 + 19*x4 + x5 >= 32",
    "21*x0 + 18*x3 + 19*x4 >= 32",
    "441*x0**2 + 324*x2**2 + 256*x3**2 >= 32",
    "18*x2 + 19*x4 + x5 >= 32",
    "21*x0 + 13*x1 + 19*x4 >= 32",
    "441*x0**2 + 324*x2**2 + x5**2 >= 32",
    "21*x0 + 13*x1 + x5 >= 32",
    "21*x0 + 18*x3 + x5 >= 43",
    "13*x1 + 18*x2 + 18*x3 >= 43",
    "169*x1**2 + 256*x3**2 + x5**2 >= 43",
    "18*x3 + 19*x4 + x5 >= 43",
    "21*x0 + 18*x3 + 19*x4 >= 43",
    "21*x0 + 18*x2 + 18*x3 >= 43",
    "18*x2 + 19*x4 + x5 >= 43",
    "21*x0 + 13*x1 + 19*x4 >= 43",
    "21*x0 + 18*x2 + x5 >= 43",
    "21*x0 + 13*x1 + x5 >= 43",
    "21*x0 + 18*x3 + x5 >= 37",
    "169*x1**2 + 324*x2**2 + 256*x3**2 >= 37",
    "169*x1**2 + 256*x3**2 + x5**2 >= 37",
    "18*x3 + 19*x4 + x5 >= 37",
    "21*x0 + 18*x3 + 19*x4 >= 37",
    "441*x0**2 + 324*x2**2 + 256*x3**2 >= 37",
    "18*x2 + 19*x4 + x5 >= 37",
    "21*x0 + 13*x1 + 19*x4 >= 37",
    "21*x0 + 18*x2 + x5 >= 37",
    "21*x0 + 13*x1 + x5 >= 37",
    "21*x0 + 18*x3 + x5 >= 49",
    "13*x1 + 18*x2 + 18*x3 >= 49",
    "13*x1 + 18*x3 + x5 >= 49",
    "256*x3**2 + 361*x4**2 + x5**2 >= 49",
    "21*x0 + 18*x3 + 19*x4 >= 49",
    "21*x0 + 18*x2 + 18*x3 >= 49",
    "324*x2**2 + 361*x4**2 + x5**2 >= 49",
    "21*x0 + 13*x1 + 19*x4 >= 49",
    "21*x0 + 18*x2 + x5 >= 49",
    "21*x0 + 13*x1 + x5 >= 49",
    "21*x0 + 18*x3 + x5 >= 58",
    "13*x1 + 18*x2 + 18*x3 >= 58",
    "13*x1 + 18*x3 + x5 >= 58",
    "18*x3 + 19*x4 + x5 >= 58",
    "21*x0 + 18*x3 + 19*x4 >= 58",
    "21*x0 + 18*x2 + 18*x3 >= 58",
    "18*x2 + 19*x4 + x5 >= 58",
    "21*x0 + 13*x1 + 19*x4 >= 58",
    "441*x0**2 + 324*x2**2 + x5**2 >= 58",
    "21*x0 + 13*x1 + x5 >= 58",
    "21*x0 + 18*x3 + x5 >= 53",
    "13*x1 + 18*x2 + 18*x3 >= 53",
    "13*x1 + 18*x3 + x5 >= 53",
    "18*x3 + 19*x4 + x5 >= 53",
    "21*x0 + 18*x3 + 19*x4 >= 53",
    "21*x0 + 18*x2 + 18*x3 >= 53",
    "324*x2**2 + 361*x4**2 + x5**2 >= 53",
    "21*x0 + 13*x1 + 19*x4 >= 53",
    "21*x0 + 18*x2 + x5 >= 53",
    "21*x0 + 13*x1 + x5 >= 53",
    "21*x0 + 18*x3 + x5 >= 40",
    "13*x1 + 18*x2 + 18*x3 >= 40",
    "13*x1 + 18*x3 + x5 >= 40",
    "18*x3 + 19*x4 + x5 >= 40",
    "441*x0**2 + 256*x3**2 + 361*x4**2 >= 40",
    "21*x0 + 18*x2 + 18*x3 >= 40",
    "18*x2 + 19*x4 + x5 >= 40",
    "441*x0**2 + 169*x1**2 + 361*x4**2 >= 40",
    "21*x0 + 18*x2 + x5 >= 40",
    "21*x0 + 13*x1 + x5 >= 40",
    "21*x0 + 18*x3 + x5 >= 42",
    "13*x1 + 18*x2 + 18*x3 >= 42",
    "13*x1 + 18*x3 + x5 >= 42",
    "256*x3**2 + 361*x4**2 + x5**2 >= 42",
    "21*x0 + 18*x3 + 19*x4 >= 42",
    "21*x0 + 18*x2 + 18*x3 >= 42",
    "18*x2 + 19*x4 + x5 >= 42",
    "441*x0**2 + 169*x1**2 + 361*x4**2 >= 42",
    "21*x0 + 18*x2 + x5 >= 42",
    "21*x0 + 13*x1 + x5 >= 42",
    "441*x0**2 + 256*x3**2 + x5**2 >= 58",
    "13*x1 + 18*x2 + 18*x3 >= 58",
    "13*x1 + 18*x3 + x5 >= 58",
    "256*x3**2 + 361*x4**2 + x5**2 >= 58",
    "441*x0**2 + 256*x3**2 + 361*x4**2 >= 58",
    "21*x0 + 18*x2 + 18*x3 >= 58",
    "324*x2**2 + 361*x4**2 + x5**2 >= 58",
    "21*x0 + 13*x1 + 19*x4 >= 58",
    "21*x0 + 18*x2 + x5 >= 58",
    "21*x0 + 13*x1 + x5 >= 58",
    "3*x0 + 14*x1 >= 46",
    "14*x1 + 6*x2 >= 51",
    "3*x0 + 5*x5 >= 111",
    "3*x0 + 4*x3 >= 64",
    "36*x2**2 + 25*x5**2 >= 92",
    "14*x1 + 5*x5 >= 121",
    "16*x4 + 5*x5 >= 60",
    "196*x1**2 + 256*x4**2 >= 64",
    "14*x1 + 4*x3 >= 105",
    "6*x2 + 4*x3 >= 98",
    "14*x1 + 4*x3 + 5*x5 >= 120",
    "9*x0**2 + 16*x3**2 + 256*x4**2 >= 120",
    "196*x1**2 + 36*x2**2 + 256*x4**2 >= 120",
    "4*x3 + 16*x4 + 5*x5 >= 120",
    "36*x2**2 + 16*x3**2 + 256*x4**2 >= 120",
    "196*x1**2 + 36*x2**2 + 16*x3**2 >= 120",
    "6*x2 + 16*x4 + 5*x5 >= 120",
    "14*x1 + 4*x3 + 5*x5 >= 114",
    "9*x0**2 + 16*x3**2 + 256*x4**2 >= 114",
    "14*x1 + 6*x2 + 16*x4 >= 114",
    "4*x3 + 16*x4 + 5*x5 >= 114",
    "6*x2 + 4*x3 + 16*x4 >= 114",
    "14*x1 + 6*x2 + 4*x3 >= 114",
    "6*x2 + 16*x4 + 5*x5 >= 114",
    "14*x1 + 4*x3 + 5*x5 >= 71",
    "3*x0 + 4*x3 + 16*x4 >= 71",
    "196*x1**2 + 36*x2**2 + 256*x4**2 >= 71",
    "16*x3**2 + 256*x4**2 + 25*x5**2 >= 71",
    "6*x2 + 4*x3 + 16*x4 >= 71",
    "196*x1**2 + 36*x2**2 + 16*x3**2 >= 71",
    "6*x2 + 16*x4 + 5*x5 >= 71",
    "14*x1 + 4*x3 + 5*x5 >= 66",
    "3*x0 + 4*x3 + 16*x4 >= 66",
    "14*x1 + 6*x2 + 16*x4 >= 66",
    "16*x3**2 + 256*x4**2 + 25*x5**2 >= 66",
    "36*x2**2 + 16*x3**2 + 256*x4**2 >= 66",
    "14*x1 + 6*x2 + 4*x3 >= 66",
    "6*x2 + 16*x4 + 5*x5 >= 66",
    "196*x1**2 + 16*x3**2 + 25*x5**2 >= 66",
    "3*x0 + 4*x3 + 16*x4 >= 66",
    "14*x1 + 6*x2 + 16*x4 >= 66",
    "4*x3 + 16*x4 + 5*x5 >= 66",
    "6*x2 + 4*x3 + 16*x4 >= 66",
    "14*x1 + 6*x2 + 4*x3 >= 66",
    "6*x2 + 16*x4 + 5*x5 >= 66",
    "196*x1**2 + 16*x3**2 + 25*x5**2 >= 107",
    "9*x0**2 + 16*x3**2 + 256*x4**2 >= 107",
    "14*x1 + 6*x2 + 16*x4 >= 107",
    "16*x3**2 + 256*x4**2 + 25*x5**2 >= 107",
    "6*x2 + 4*x3 + 16*x4 >= 107",
    "196*x1**2 + 36*x2**2 + 16*x3**2 >= 107",
    "6*x2 + 16*x4 + 5*x5 >= 107",
    "14*x1 + 4*x3 + 5*x5 >= 87",
    "3*x0 + 4*x3 + 16*x4 >= 87",
    "14*x1 + 6*x2 + 16*x4 >= 87",
    "4*x3 + 16*x4 + 5*x5 >= 87",
    "6*x2 + 4*x3 + 16*x4 >= 87",
    "196*x1**2 + 36*x2**2 + 16*x3**2 >= 87",
    "36*x2**2 + 256*x4**2 + 25*x5**2 >= 87",
    "x2 + 2*x4 <= 204",
    "x2**2 + 256*x3**2 <= 236",
    "25*x1 + 16*x3 <= 624",
    "144*x0**2 + x2**2 <= 871",
    "12*x0 + 2*x4 <= 489",
    "12*x0 + 4*x5 <= 394",
    "144*x0**2 + 625*x1**2 + 4*x4**2 <= 743",
    "625*x1**2 + x2**2 + 4*x4**2 <= 417",
    "625*x1**2 + x2**2 + 256*x3**2 <= 675",
    "256*x3**2 + 4*x4**2 + 16*x5**2 <= 780",
    "12*x0 + 25*x1 + x2 + 16*x3 + 2*x4 + 4*x5 <= 780",
    "22*x0 + 12*x5 <= 341",
    "x2 + 12*x3 <= 275",
    "12*x1 + x2 <= 304",
    "22*x0 + 12*x3 <= 262",
    "22*x0 + x2 <= 171",
    "484*x0**2 + 144*x1**2 <= 109",
    "12*x1 + 12*x3 <= 306",
    "22*x0 + 8*x4 <= 298",
    "22*x0 + x2 + 12*x5 <= 279",
    "x2 + 12*x3 + 8*x4 <= 155",
    "22*x0 + 12*x1 + 12*x5 <= 62",
    "22*x0 + 12*x1 + x2 <= 126",
    "12*x1 + 8*x4 + 12*x5 <= 73",
    "12*x1 + 12*x3 + 8*x4 <= 282",
    "144*x3**2 + 64*x4**2 + 144*x5**2 <= 99",
    "12*x1 + x2 + 8*x4 <= 189",
    "22*x0 + 8*x4 + 12*x5 <= 307",
    "x2**2 + 64*x4**2 + 144*x5**2 <= 153",
    "22*x0 + 12*x1 + x2 + 12*x3 + 8*x4 + 12*x5 <= 153",
    "441*x0**2 + x5**2 <= 84",
    "169*x1**2 + 256*x3**2 <= 274",
    "18*x2 + 19*x4 <= 85",
    "21*x0 + 18*x3 <= 175",
    "13*x1 + 18*x2 <= 341",
    "18*x2 + 18*x3 <= 121",
    "19*x4 + x5 <= 156",
    "18*x3 + 19*x4 <= 185",
    "21*x0 + 13*x1 <= 319",
    "21*x0 + 19*x4 <= 184",
    "13*x1 + x5 <= 217",
    "18*x2 + x5 <= 283",
    "13*x1 + 18*x2 + 18*x3 <= 370",
    "441*x0**2 + 256*x3**2 + 361*x4**2 <= 126",
    "18*x2 + 18*x3 + 19*x4 <= 190",
    "21*x0 + 13*x1 + 18*x2 <= 67",
    "21*x0 + 19*x4 + x5 <= 184",
    "13*x1 + 18*x2 + 19*x4 <= 226",
    "13*x1 + 18*x3 + x5 <= 211",
    "169*x1**2 + 361*x4**2 + x5**2 <= 339",
    "441*x0**2 + 256*x3**2 + x5**2 <= 230",
    "169*x1**2 + 324*x2**2 + x5**2 <= 140",
    "21*x0 + 13*x1 + 18*x2 + 18*x3 + 19*x4 + x5 <= 140",
    "3*x0 + 4*x3 <= 718",
    "4*x3 + 1