本日のC.A.D.

? tst12([ex,ex,ex],[v,a,b,c],andx,"0<=c,c<=1,0<=a+b+c,a+b+c<=1,0<=4*a+2*b+c,4*a+2*b+c<=1,v==9*a^6+3*b^6+c^6",23);Ans();
[[[v,1,1]],[[a,6,5],[b,6,5],[c,6,7]]]
 *** reordering by degree+occurrence.
 *** using Lazard's method (MPP17).
[b,5]
[a,9]
[c,45]
[v,427]
time = 41min, 59,024 ms.
1119 36599(1178,2462) 877137(6767,32575) 871(11910,24420) 
 *** combined adjacent 870 cells.
1[[v,1] <= v <= [v-202,1],true,true,true]
time = 12min, 56,787 ms.