(30)  + (45) {x_{1}}^{5}  = 0] \vee[(-69) {x_{0}}^{5} {x_{1}}^{6}  + (71) {x_{0}}^{10}  + (40)  + (5)  + (-90) {x_{1}}^{5}  = 0]] \wedge [[(-67) {x_{0}}^{2} {x_{1}}^{6}  + (-17) {x_{0}}^{10}  + (-18) {x_{1}}^{3}  + (14)  + (37) {x_{0}}^{6}  = 0] \vee[(76) {x_{0}}^{5} {x_{1}}^{1}  + (-7) {x_{0}}^{10}  + (-44) {x_{0}}^{5} {x_{1}}^{6}  + (-96) {x_{0}}^{5}  + (-69) {x_{0}}^{1} {x_{1}}^{6}  = 0] \vee[(-73)  + (-42) {x_{0}}^{10}  + (67) {x_{0}}^{7} {x_{1}}^{2}  + (-50) {x_{1}}^{9}  + (-12) {x_{1}}^{1}  = 0] \vee[(63) {x_{0}}^{2} {x_{1}}^{7}  + (23) {x_{0}}^{10}  + (-74) {x_{1}}^{5}  + (31)  + (17) {x_{0}}^{7}  = 0] \vee[(-47) {x_{0}}^{1} {x_{1}}^{9}  + (-31) {x_{0}}^{10} {x_{1}}^{1}  + (17)  + (17)  + (-88) {x_{1}}^{6}  = 0]] \wedge [[(78) {x_{0}}^{9}  + (-43) {x_{0}}^{10}  + (5) {x_{0}}^{6}  + (4) {x_{1}}^{7}  + (-76)  = 0] \vee[(-23) {x_{0}}^{3}  + (81) {x_{0}}^{10}  + (36)  + (35)  + (54) {x_{1}}^{1}  = 0] \vee[(-29) {x_{0}}^{5}  + (54) {x_{0}}^{10} {x_{1}}^{2}  + (-20) {x_{0}}^{6} {x_{1}}^{1}  + (57) {x_{0}}^{2}  + (62) {x_{0}}^{9} {x_{1}}^{4}  = 0] \vee[(77) {x_{1}}^{6}  + (97) {x_{0}}^{10} {x_{1}}^{6}  + (-42)  + (-11) {x_{0}}^{1}  + (93) {x_{0}}^{3} {x_{1}}^{4}  = 0] \vee[(37) {x_{0}}^{7}  + (1) {x_{0}}^{10}  + (-18) {x_{0}}^{1} {x_{1}}^{9}  + (36)  + (25) {x_{0}}^{6}  = 0]] \wedge [[(-35) {x_{0}}^{3}  + (22) {x_{0}}^{10}  + (-80) {x_{0}}^{3}  + (13) {x_{1}}^{3}  + 