d7= ^(^(^y0 | 0b1) | ^(^y1 | 0b1) | ^(^y2 | 0b1) | ^(^y3 | 0b1) | ^(^y4 | 0b1)
 | ^(^y5 | 0b1) | ^(^y6 | 0b1) | ^(^y7 | 0b1) | ^(^y8 | 0b1)
 | ^(^y9 | 0b1) | ^(^y10 | 0b1) | ^(^y11 | 0b1) | ^(^y12 | 0b1)
 | ^(^y13 | 0b1) | ^(^y14 | 0b1) | ^(^y15 | 0b1) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d6= ^(^(^y0 | 0b0) | ^(^y1 | 0b0) | ^(^y2 | 0b0) | ^(^y3 | 0b0) | ^(^y4 | 0b0)
 | ^(^y5 | 0b0) | ^(^y6 | 0b0) | ^(^y7 | 0b0) | ^(^y8 | 0b0)
 | ^(^y9 | 0b0) | ^(^y10 | 0b0) | ^(^y11 | 0b0) | ^(^y12 | 0b0)
 | ^(^y13 | 0b0) | ^(^y14 | 0b0) | ^(^y15 | 0b1) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d5= ^(^(^y0 | 0b1) | ^(^y1 | 0b1) | ^(^y2 | 0b1) | ^(^y3 | 0b1) | ^(^y4 | 0b1)
 | ^(^y5 | 0b1) | ^(^y6 | 0b1) | ^(^y7 | 0b1) | ^(^y8 | 0b1)
 | ^(^y9 | 0b1) | ^(^y10 | 0b1) | ^(^y11 | 0b1) | ^(^y12 | 0b1)
 | ^(^y13 | 0b1) | ^(^y14 | 0b1) | ^(^y15 | 0b1) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d4= ^(^(^y0 | 0b1) | ^(^y1 | 0b1) | ^(^y2 | 0b1) | ^(^y3 | 0b1) | ^(^y4 | 0b1)
 | ^(^y5 | 0b1) | ^(^y6 | 0b1) | ^(^y7 | 0b1) | ^(^y8 | 0b1)
 | ^(^y9 | 0b1) | ^(^y10 | 0b1) | ^(^y11 | 0b1) | ^(^y12 | 0b1)
 | ^(^y13 | 0b1) | ^(^y14 | 0b1) | ^(^y15 | 0b1) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d3= ^(^(^y0 | 0b0) | ^(^y1 | 0b0) | ^(^y2 | 0b0) | ^(^y3 | 0b1) | ^(^y4 | 0b1)
 | ^(^y5 | 0b1) | ^(^y6 | 0b1) | ^(^y7 | 0b1) | ^(^y8 | 0b1)
 | ^(^y9 | 0b1) | ^(^y10 | 0b0) | ^(^y11 | 0b0) | ^(^y12 | 0b0)
 | ^(^y13 | 0b0) | ^(^y14 | 0b0) | ^(^y15 | 0b0) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d2= ^(^(^y0 | 0b0) | ^(^y1 | 0b1) | ^(^y2 | 0b1) | ^(^y3 | 0b1) | ^(^y4 | 0b1)
 | ^(^y5 | 0b0) | ^(^y6 | 0b0) | ^(^y7 | 0b0) | ^(^y8 | 0b1)
 | ^(^y9 | 0b1) | ^(^y10 | 0b1) | ^(^y11 | 0b1) | ^(^y12 | 0b0)
 | ^(^y13 | 0b0) | ^(^y14 | 0b0) | ^(^y15 | 0b0) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d1= ^(^(^y0 | 0b1) | ^(^y1 | 0b1) | ^(^y2 | 0b1) | ^(^y3 | 0b0) | ^(^y4 | 0b0)
 | ^(^y5 | 0b0) | ^(^y6 | 0b0) | ^(^y7 | 0b0) | ^(^y8 | 0b0)
 | ^(^y9 | 0b0) | ^(^y10 | 0b1) | ^(^y11 | 0b1) | ^(^y12 | 0b1)
 | ^(^y13 | 0b1) | ^(^y14 | 0b0) | ^(^y15 | 0b0) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));

d0= ^(^(^y0 | 0b1) | ^(^y1 | 0b0) | ^(^y2 | 0b0) | ^(^y3 | 0b0) | ^(^y4 | 0b0)
 | ^(^y5 | 0b0) | ^(^y6 | 0b0) | ^(^y7 | 0b0) | ^(^y8 | 0b0)
 | ^(^y9 | 0b0) | ^(^y10 | 0b0) | ^(^y11 | 0b0) | ^(^y12 | 0b1)
 | ^(^y13 | 0b1) | ^(^y14 | 0b1) | ^(^y15 | 0b0) | ^(^y16 | 0b0)
 | ^(^y17 | 0b1) | ^(^y18 | 0b1) | ^(^y19 | 0b1) | ^(^y20 | 0b1)
 | ^(^y21 | 0b1) | ^(^y22 | 0b1) | ^(^y23 | 0b1) | ^(^y24 | 0b1)
 | ^(^y25 | 0b1) | ^(^y26 | 0b1) | ^(^y27 | 0b1) | ^(^y28 | 0b1)
 | ^(^y29 | 0b1) | ^(^y30 | 0b1) | ^(^y31 | 0b1));