input abc10;

output wireax;

checkinst_0(
.port1(wireY),
.port2(wireZ),
.port3(wireX),
.port4(port711),
.port10
);

checkinst_2(
.port5(wireYx),
.port6(wireZ),
.port7(wireaX),
.port8(abc10),
.port11
);

checkinst_3(
.port100(wireYd),
.port101(wireZS),
.port102(wireXW),
.port103(port10),
.port12
);