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