V_GOOD_WIDE_SEG(1) <= ( V_WIDE_SEG(1 ) AND ( 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(2) <= ( V_WIDE_SEG(2 ) AND ( 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(3) <= ( V_WIDE_SEG(3 ) AND ( 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(4) <= ( V_WIDE_SEG(4 ) AND ( 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(5) <= ( V_WIDE_SEG(5 ) AND ( 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(6) <= ( V_WIDE_SEG(6 ) AND ( 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(7) <= ( V_WIDE_SEG(7 ) AND ( 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(8) <= ( V_WIDE_SEG(8 ) AND ( 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(1)) ) ) ); 
V_GOOD_WIDE_SEG(9) <= ( V_WIDE_SEG(9 ) AND ( 
( U_WIDE_SEG(1) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) ) ); 
V_GOOD_WIDE_SEG(10) <= ( V_WIDE_SEG(10 ) AND ( 
( U_WIDE_SEG(1) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2)) ) ) ); 
V_GOOD_WIDE_SEG(11) <= ( V_WIDE_SEG(11 ) AND ( 
( U_WIDE_SEG(1) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(1) OR X_WIDE_SEG(2) OR X_WIDE_SEG(3)) ) ) ); 
V_GOOD_WIDE_SEG(12) <= ( V_WIDE_SEG(12 ) AND ( 
( U_WIDE_SEG(1) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(2) OR X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) ) ); 
V_GOOD_WIDE_SEG(13) <= ( V_WIDE_SEG(13 ) AND ( 
( U_WIDE_SEG(1) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5)) ) OR 
( U_WIDE_SEG(20) AND (X_WIDE_SEG(3) OR X_WIDE_SEG(4)) ) ) ); 
V_GOOD_WIDE_SEG(14) <= ( V_WIDE_SEG(14 ) AND ( 
( U_WIDE_SEG(2) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(5) OR X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) OR 
( U_WIDE_SEG(19) AND (X_WIDE_SEG(4) OR X_WIDE_SEG(5) OR X_WIDE_SEG(6)) ) ) ); 
V_GOOD_WIDE_SEG(15) <= ( V_WIDE_SEG(15 ) AND ( 
( U_WIDE_SEG(3) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8)) ) OR 
( U_WIDE_SEG(18) AND (X_WIDE_SEG(6) OR X_WIDE_SEG(7)) ) ) ); 
V_GOOD_WIDE_SEG(16) <= ( V_WIDE_SEG(16 ) AND ( 
( U_WIDE_SEG(4) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) OR 
( U_WIDE_SEG(17) AND (X_WIDE_SEG(7) OR X_WIDE_SEG(8) OR X_WIDE_SEG(9)) ) ) ); 
V_GOOD_WIDE_SEG(17) <= ( V_WIDE_SEG(17 ) AND ( 
( U_WIDE_SEG(5) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) OR 
( U_WIDE_SEG(16) AND (X_WIDE_SEG(9) OR X_WIDE_SEG(10)) ) ) ); 
V_GOOD_WIDE_SEG(18) <= ( V_WIDE_SEG(18 ) AND ( 
( U_WIDE_SEG(6) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12)) ) OR 
( U_WIDE_SEG(15) AND (X_WIDE_SEG(10) OR X_WIDE_SEG(11)) ) ) ); 
V_GOOD_WIDE_SEG(19) <= ( V_WIDE_SEG(19 ) AND ( 
( U_WIDE_SEG(7) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(12) OR X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) OR 
( U_WIDE_SEG(14) AND (X_WIDE_SEG(11) OR X_WIDE_SEG(12) OR X_WIDE_SEG(13)) ) ) ); 
V_GOOD_WIDE_SEG(20) <= ( V_WIDE_SEG(20 ) AND ( 
( U_WIDE_SEG(8) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(9) AND (X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(10) AND (X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(11) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15) OR X_WIDE_SEG(16)) ) OR 
( U_WIDE_SEG(12) AND (X_WIDE_SEG(14) OR X_WIDE_SEG(15)) ) OR 
( U_WIDE_SEG(13) AND (X_WIDE_SEG(13) OR X_WIDE_SEG(14)) ) ) );