U2_GOOD_WIDE_SEG(1) <= ( U2_WIDE_SEG(1) AND ( 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(2) <= ( U2_WIDE_SEG(2) AND ( 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(3) <= ( U2_WIDE_SEG(3) AND ( 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(4) <= ( U2_WIDE_SEG(4) AND ( 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(5) <= ( U2_WIDE_SEG(5) AND ( 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(6) <= ( U2_WIDE_SEG(6) AND ( 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(7) <= ( U2_WIDE_SEG(7) AND ( 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(8) <= ( U2_WIDE_SEG(8) AND ( 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(9) <= ( U2_WIDE_SEG(9) AND ( 
( V2_WIDE_SEG(1) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(10) <= ( U2_WIDE_SEG(10) AND ( 
( V2_WIDE_SEG(1) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(11) <= ( U2_WIDE_SEG(11) AND ( 
( V2_WIDE_SEG(1) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15) OR X2_WIDE_SEG(16)) ) ) ); 
U2_GOOD_WIDE_SEG(12) <= ( U2_WIDE_SEG(12) AND ( 
( V2_WIDE_SEG(1) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(14) OR X2_WIDE_SEG(15)) ) ) ); 
U2_GOOD_WIDE_SEG(13) <= ( U2_WIDE_SEG(13) AND ( 
( V2_WIDE_SEG(1) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(12) OR X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) OR 
( V2_WIDE_SEG(20) AND (X2_WIDE_SEG(13) OR X2_WIDE_SEG(14)) ) ) ); 
U2_GOOD_WIDE_SEG(14) <= ( U2_WIDE_SEG(14) AND ( 
( V2_WIDE_SEG(2) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12)) ) OR 
( V2_WIDE_SEG(19) AND (X2_WIDE_SEG(11) OR X2_WIDE_SEG(12) OR X2_WIDE_SEG(13)) ) ) ); 
U2_GOOD_WIDE_SEG(15) <= ( U2_WIDE_SEG(15) AND ( 
( V2_WIDE_SEG(3) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) OR 
( V2_WIDE_SEG(18) AND (X2_WIDE_SEG(10) OR X2_WIDE_SEG(11)) ) ) ); 
U2_GOOD_WIDE_SEG(16) <= ( U2_WIDE_SEG(16) AND ( 
( V2_WIDE_SEG(4) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) OR 
( V2_WIDE_SEG(17) AND (X2_WIDE_SEG(9) OR X2_WIDE_SEG(10)) ) ) ); 
U2_GOOD_WIDE_SEG(17) <= ( U2_WIDE_SEG(17) AND ( 
( V2_WIDE_SEG(5) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8)) ) OR 
( V2_WIDE_SEG(16) AND (X2_WIDE_SEG(7) OR X2_WIDE_SEG(8) OR X2_WIDE_SEG(9)) ) ) ); 
U2_GOOD_WIDE_SEG(18) <= ( U2_WIDE_SEG(18) AND ( 
( V2_WIDE_SEG(6) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(5) OR X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) OR 
( V2_WIDE_SEG(15) AND (X2_WIDE_SEG(6) OR X2_WIDE_SEG(7)) ) ) ); 
U2_GOOD_WIDE_SEG(19) <= ( U2_WIDE_SEG(19) AND ( 
( V2_WIDE_SEG(7) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5)) ) OR 
( V2_WIDE_SEG(14) AND (X2_WIDE_SEG(4) OR X2_WIDE_SEG(5) OR X2_WIDE_SEG(6)) ) ) ); 
U2_GOOD_WIDE_SEG(20) <= ( U2_WIDE_SEG(20) AND ( 
( V2_WIDE_SEG(8) AND (X2_WIDE_SEG(1)) ) OR 
( V2_WIDE_SEG(9) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(10) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2)) ) OR 
( V2_WIDE_SEG(11) AND (X2_WIDE_SEG(1) OR X2_WIDE_SEG(2) OR X2_WIDE_SEG(3)) ) OR 
( V2_WIDE_SEG(12) AND (X2_WIDE_SEG(2) OR X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) OR 
( V2_WIDE_SEG(13) AND (X2_WIDE_SEG(3) OR X2_WIDE_SEG(4)) ) ) );