Rational certification results:

Number of points tested:                2
Certified approximate solutions:        2
Certified distinct solutions:           2
Certified real distinct solutions:      2
Certified invariant distinct solutions: 2++

++ alphaCertified has found a point in the
   defined set which is an approximate solution
   corresponding to each of these solutions.