%% The infintely many (zero-asymmetric) extremal NS of type [-1,x2,x3]
%% (except for x3=1).  
%%
%% polys
%%
   8x^2+(-8x2+8)x+x3^2-9x2-x2 x3+x3
   8x^2+(-8x2-8x3)x+x2+x3+9x2 x3+1
   -8x^2+(8x3-8)x-x2^2+9x3+x2 x3-x2
%%
%% input formula QEPCAD
%% 
   (Ax)[[-1<x2 /\ x2<x3 /\ x3<1]/\
   [[-1<=x /\ x<x2] ==>8x^2+(-8x2+8)x+x3^2-9x2-x2 x3+x3>=0]/\
   [[x2<x /\ x<x3]  ==>8x^2+(-8x2-8x3)x+x2+x3+9x2 x3+1>=0]/\
   [[x3<x /\ x<=1]  ==>-8x^2+(8x3-8)x-x2^2+9x3+x2 x3-x2>=0]
   ].
%%
%% input formula MMA
%%
   -1<x2<x3<1\[And]ForAll[x,
   (-1<=x<x2\[Implies]8x^2+(-8x2+8)x+x3^2-9x2-x2 x3+x3>=0)\[And]
   (x2<x<x3\[Implies]8x^2+(-8x2-8x3)x+x2+x3+9x2 x3+1>=0)\[And]
   (x3<x<=1\[Implies]-8x^2+(8x3-8)x-x2^2+9x3+x2 x3-x2>=0)
   ]