{
 "n_vars": 5,
 "degree": 6,
 "description": "three polynomials; certify a lower bound for EACH",
 "polynomials": {
  "p1": [
   {
    "exponents": [
     0,
     0,
     0,
     0,
     0
    ],
    "coeff": -10
   },
   {
    "exponents": [
     0,
     0,
     0,
     1,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     1,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     1,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     0,
     0,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     2,
     0,
     0,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     1,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     1,
     0,
     2
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     1,
     1,
     1
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     1,
     0,
     2,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     2,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     2,
     0,
     1,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     2,
     1,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     2,
     0,
     0,
     1,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     3,
     0,
     0,
     0,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     0,
     3,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     1,
     1,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     1,
     3,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     4,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     1,
     0,
     0,
     3
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     0,
     2,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     0,
     3,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     1,
     1,
     2,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     1,
     2,
     0,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     2,
     1,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     2,
     0,
     1,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     2,
     0,
     2,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     2,
     1,
     1,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     2,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     4,
     0,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     0,
     0,
     2,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     0,
     3,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     1,
     1,
     0,
     0,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     1,
     1,
     0,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     1,
     2,
     0,
     0,
     1
    ],
    "coeff": -3
   },
   {
    "exponents": [
     2,
     0,
     0,
     0,
     2
    ],
    "coeff": -3
   },
   {
    "exponents": [
     2,
     0,
     0,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     2,
     0,
     1,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     2,
     0,
     1,
     1,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     2,
     0,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     2,
     1,
     0,
     0,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     2,
     1,
     1,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     2,
     2,
     0,
     0,
     0
    ],
    "coeff": -3
   },
   {
    "exponents": [
     3,
     1,
     0,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     6
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     0,
     4,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     0,
     6,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     4,
     0,
     2
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     4,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     6,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     4,
     0,
     0,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     4,
     0,
     2,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     4,
     2,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     6,
     0,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     4,
     0,
     0,
     0,
     2
    ],
    "coeff": 3
   },
   {
    "exponents": [
     4,
     0,
     0,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     2,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     2,
     0,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     6,
     0,
     0,
     0,
     0
    ],
    "coeff": 3
   }
  ],
  "p2": [
   {
    "exponents": [
     0,
     0,
     0,
     0,
     0
    ],
    "coeff": -23
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     1
    ],
    "coeff": -5
   },
   {
    "exponents": [
     0,
     1,
     0,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     1,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     1,
     1,
     0
    ],
    "coeff": 5
   },
   {
    "exponents": [
     0,
     2,
     1,
     0,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     3,
     0,
     0,
     0
    ],
    "coeff": 5
   },
   {
    "exponents": [
     1,
     0,
     0,
     0,
     2
    ],
    "coeff": -2
   },
   {
    "exponents": [
     1,
     0,
     0,
     2,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     1,
     0,
     1,
     0,
     1
    ],
    "coeff": -5
   },
   {
    "exponents": [
     1,
     0,
     1,
     1,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     1,
     0,
     0,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     2,
     0,
     0,
     0,
     1
    ],
    "coeff": -3
   },
   {
    "exponents": [
     3,
     0,
     0,
     0,
     0
    ],
    "coeff": -4
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     4
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     0,
     1,
     3
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     4,
     0
    ],
    "coeff": 5
   },
   {
    "exponents": [
     0,
     0,
     1,
     1,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     1,
     2,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     3,
     0,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     1,
     0,
     1,
     2
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     0,
     2,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     1,
     1,
     0,
     2
    ],
    "coeff": -5
   },
   {
    "exponents": [
     0,
     1,
     1,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     1,
     2,
     0,
     1
    ],
    "coeff": -4
   },
   {
    "exponents": [
     0,
     1,
     3,
     0,
     0
    ],
    "coeff": -3
   },
   {
    "exponents": [
     0,
     2,
     0,
     2,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     2,
     1,
     0,
     1
    ],
    "coeff": -3
   },
   {
    "exponents": [
     0,
     2,
     2,
     0,
     0
    ],
    "coeff": -4
   },
   {
    "exponents": [
     0,
     3,
     0,
     1,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     3,
     1,
     0,
     0
    ],
    "coeff": -3
   },
   {
    "exponents": [
     0,
     4,
     0,
     0,
     0
    ],
    "coeff": 4
   },
   {
    "exponents": [
     1,
     0,
     0,
     3,
     0
    ],
    "coeff": 4
   },
   {
    "exponents": [
     1,
     0,
     1,
     0,
     2
    ],
    "coeff": -3
   },
   {
    "exponents": [
     1,
     0,
     1,
     1,
     1
    ],
    "coeff": 1
   },
   {
    "exponents": [
     1,
     0,
     1,
     2,
     0
    ],
    "coeff": -5
   },
   {
    "exponents": [
     1,
     0,
     2,
     0,
     1
    ],
    "coeff": 3
   },
   {
    "exponents": [
     1,
     1,
     0,
     0,
     2
    ],
    "coeff": -5
   },
   {
    "exponents": [
     1,
     1,
     0,
     1,
     1
    ],
    "coeff": -4
   },
   {
    "exponents": [
     1,
     1,
     1,
     0,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     1,
     1,
     1,
     1,
     0
    ],
    "coeff": 4
   },
   {
    "exponents": [
     1,
     1,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     2,
     1,
     0,
     0
    ],
    "coeff": 5
   },
   {
    "exponents": [
     2,
     0,
     0,
     0,
     2
    ],
    "coeff": -5
   },
   {
    "exponents": [
     2,
     0,
     1,
     1,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     2,
     1,
     0,
     0,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     2,
     1,
     1,
     0,
     0
    ],
    "coeff": 4
   },
   {
    "exponents": [
     2,
     2,
     0,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     3,
     0,
     1,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     6
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     4,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     6,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     4,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     4,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     6,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     4,
     0,
     0,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     4,
     0,
     2,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     4,
     2,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     6,
     0,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     0,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     0,
     2,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     4,
     0,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     4,
     2,
     0,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     6,
     0,
     0,
     0,
     0
    ],
    "coeff": 1
   }
  ],
  "p3": [
   {
    "exponents": [
     0,
     0,
     0,
     0,
     0
    ],
    "coeff": -12
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     1
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     1,
     1,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     2,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     1,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     0,
     0,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     1,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     1,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     2,
     1,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     1,
     0,
     0,
     2
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     1,
     0,
     1,
     1
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     1,
     1,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     1,
     1,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     2,
     1,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     1,
     0,
     1,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     1,
     1,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     2,
     0,
     1,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     2,
     1,
     0,
     0,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     4
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     0,
     2,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     0,
     3,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     0,
     4,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     1,
     1,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     2,
     0,
     2
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     0,
     3,
     1,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     4,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     1,
     0,
     3,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     1,
     1,
     0,
     2
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     1,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     1,
     2,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     1,
     2,
     1,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     1,
     3,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     0,
     2,
     2,
     0,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     0,
     3,
     0,
     1,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     3,
     1,
     0,
     0
    ],
    "coeff": -2
   },
   {
    "exponents": [
     1,
     0,
     0,
     0,
     3
    ],
    "coeff": 1
   },
   {
    "exponents": [
     1,
     0,
     0,
     2,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     1,
     0,
     2
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     0,
     2,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     1,
     0,
     1,
     1
    ],
    "coeff": -1
   },
   {
    "exponents": [
     1,
     1,
     1,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     1,
     1,
     2,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     2,
     0,
     0,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     2,
     0,
     1,
     0,
     1
    ],
    "coeff": 2
   },
   {
    "exponents": [
     2,
     0,
     2,
     0,
     0
    ],
    "coeff": -1
   },
   {
    "exponents": [
     3,
     0,
     0,
     0,
     1
    ],
    "coeff": 1
   },
   {
    "exponents": [
     3,
     0,
     1,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     0,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     0,
     0,
     0,
     6
    ],
    "coeff": 6
   },
   {
    "exponents": [
     0,
     0,
     0,
     4,
     2
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     0,
     6,
     0
    ],
    "coeff": 6
   },
   {
    "exponents": [
     0,
     0,
     4,
     0,
     2
    ],
    "coeff": 3
   },
   {
    "exponents": [
     0,
     0,
     4,
     2,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     0,
     6,
     0,
     0
    ],
    "coeff": 6
   },
   {
    "exponents": [
     0,
     4,
     0,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     4,
     0,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     0,
     4,
     2,
     0,
     0
    ],
    "coeff": 2
   },
   {
    "exponents": [
     0,
     6,
     0,
     0,
     0
    ],
    "coeff": 6
   },
   {
    "exponents": [
     4,
     0,
     0,
     0,
     2
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     0,
     2,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     0,
     2,
     0,
     0
    ],
    "coeff": 1
   },
   {
    "exponents": [
     4,
     2,
     0,
     0,
     0
    ],
    "coeff": 3
   },
   {
    "exponents": [
     6,
     0,
     0,
     0,
     0
    ],
    "coeff": 6
   }
  ]
 }
}