module TECH_AND5(input [4:0] in, output out);
assign out = ∈
endmodule