Number of points tested:                1442
Certified approximate solutions:        1442
Certified distinct solutions:           1442
Certified invariant distinct solutions: 64++

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