module add12u_4TF(A, B, O);
input [11:0] A, B;
output [12:0] O;
wire n_78, n_254, n_547, n_546, n_702, n_45, n_44, n_47, n_46, n_41;
wire n_40, n_43, n_42, n_49, n_48, n_380, n_141, n_140, n_670, n_462;
wire n_816, n_774, n_775, n_400, n_244, n_712, n_713, n_30, n_31, n_32;
wire n_33, n_34, n_35, n_36, n_37, n_38, n_39, n_817, n_111, n_785;
wire n_390, n_784, n_150, n_151, n_660, n_494, n_433, n_432, n_836, n_23;
wire n_22, n_21, n_20, n_27, n_26, n_25, n_24, n_29, n_28, n_806;
wire n_807, n_556, n_557, n_484, n_121, n_120, n_651, n_650, n_183, n_182;
wire n_837, n_348, n_307, n_18, n_19, n_16, n_17, n_14, n_15, n_12;
wire n_13, n_10, n_11, n_98, n_99, n_306, n_525, n_524, n_338, n_130;
wire n_131, n_826, n_827, n_192, n_193, n_89, n_88, n_732, n_442, n_692;
wire n_110, n_79, n_297, n_296, n_215, n_214, n_745, n_744, n_505, n_504;
wire n_276, n_566, n_370, n_680, n_681, n_163, n_162, n_69, n_68, n_66;
wire n_286, n_598, n_202, n_203, n_754, n_755, n_8, n_9, n_4, n_5;
wire n_6, n_7, n_0, n_1, n_2, n_3, n_640, n_172, n_796, n_797;
wire n_765, n_764, n_608;
assign n_0 = A[0];
assign n_1 = A[0];
assign n_2 = A[1];
assign n_3 = A[1];
assign n_4 = A[2];
assign n_5 = A[2];
assign n_6 = A[3];
assign n_7 = A[3];
assign n_8 = A[4];
assign n_9 = A[4];
assign n_10 = A[5];
assign n_11 = A[5];
assign n_12 = A[6];
assign n_13 = A[6];
assign n_14 = A[7];
assign n_15 = A[7];
assign n_16 = A[8];
assign n_17 = A[8];
assign n_18 = A[9];
assign n_19 = A[9];
assign n_20 = A[10];
assign n_21 = A[10];
assign n_22 = A[11];
assign n_23 = A[11];
assign n_24 = B[0];
assign n_25 = B[0];
assign n_26 = B[1];
assign n_27 = B[1];
assign n_28 = B[2];
assign n_29 = B[2];
assign n_30 = B[3];
assign n_31 = B[3];
assign n_32 = B[4];
assign n_33 = B[4];
assign n_34 = B[5];
assign n_35 = B[5];
assign n_36 = B[6];
assign n_37 = B[6];
assign n_38 = B[7];
assign n_39 = B[7];
assign n_40 = B[8];
assign n_41 = B[8];
assign n_42 = B[9];
assign n_43 = B[9];
assign n_44 = B[10];
assign n_45 = B[10];
assign n_46 = B[11];
assign n_47 = B[11];
HAX1 tmp59(.YS(n_48), .YC(n_49), .A(n_26), .B(n_26));
assign n_66 = ~n_48;
HAX1 tmp61(.YS(n_68), .YC(n_69), .A(n_4), .B(n_28));
HAX1 tmp62(.YS(n_78), .YC(n_79), .A(n_6), .B(n_30));
HAX1 tmp63(.YS(n_88), .YC(n_89), .A(n_8), .B(n_32));
HAX1 tmp64(.YS(n_98), .YC(n_99), .A(n_10), .B(n_34));
HAX1 tmp65(.YS(n_110), .YC(n_111), .A(n_12), .B(n_36));
HAX1 tmp66(.YS(n_120), .YC(n_121), .A(n_14), .B(n_38));
HAX1 tmp67(.YS(n_130), .YC(n_131), .A(n_16), .B(n_40));
HAX1 tmp68(.YS(n_140), .YC(n_141), .A(n_18), .B(n_42));
HAX1 tmp69(.YS(n_150), .YC(n_151), .A(n_20), .B(n_44));
HAX1 tmp70(.YS(n_162), .YC(n_163), .A(n_22), .B(n_46));
assign n_172 = ~n_66;
assign n_182 = ~n_172;
assign n_183 = n_182;
assign n_192 = n_28 & n_78;
assign n_193 = n_192;
assign n_202 = n_193 | n_79;
assign n_203 = n_202;
assign n_214 = n_68 & n_78;
assign n_215 = n_214;
assign n_244 = n_203 & n_88;
assign n_254 = n_244 | n_89;
assign n_276 = n_215 & n_88;
assign n_286 = n_99 & n_110;
assign n_296 = n_286 | n_111;
assign n_297 = n_296;
assign n_306 = n_98 & n_110;
assign n_307 = n_306;
assign n_338 = n_297 & n_120;
assign n_348 = n_338 | n_121;
assign n_370 = n_307 & n_120;
assign n_380 = n_131 & n_140;
assign n_390 = n_380 | n_141;
assign n_400 = n_183 & n_140;
assign n_432 = n_390 & n_150;
assign n_433 = n_432;
assign n_442 = n_433 | n_151;
assign n_462 = n_182 & n_150;
assign n_484 = n_68 | n_28;
assign n_494 = n_182 & n_214;
assign n_504 = n_494 | n_202;
assign n_505 = n_504;
assign n_524 = n_276 | n_254;
assign n_525 = n_524;
assign n_546 = n_172 | n_525;
assign n_547 = n_546;
assign n_556 = n_547 & n_98;
assign n_557 = n_556;
assign n_566 = n_557 | n_99;
assign n_598 = n_524 & n_306;
assign n_608 = n_598 | n_296;
assign n_640 = n_546 & n_370;
assign n_650 = n_640 | n_348;
assign n_651 = n_650;
assign n_660 = n_651 & n_130;
assign n_670 = n_660 | n_131;
assign n_680 = n_660 & n_400;
assign n_681 = n_680;
assign n_692 = n_680 | n_390;
assign n_702 = n_681 & n_462;
assign n_712 = n_702 | n_442;
assign n_713 = n_712;
assign n_732 = ~n_68;
HAX1 tmp123(.YS(n_744), .YC(n_745), .A(n_78), .B(n_484));
HAX1 tmp124(.YS(n_754), .YC(n_755), .A(n_88), .B(n_505));
HAX1 tmp125(.YS(n_764), .YC(n_765), .A(n_98), .B(n_524));
HAX1 tmp126(.YS(n_774), .YC(n_775), .A(n_110), .B(n_566));
HAX1 tmp127(.YS(n_784), .YC(n_785), .A(n_120), .B(n_608));
HAX1 tmp128(.YS(n_796), .YC(n_797), .A(n_130), .B(n_650));
HAX1 tmp129(.YS(n_806), .YC(n_807), .A(n_140), .B(n_670));
HAX1 tmp130(.YS(n_816), .YC(n_817), .A(n_150), .B(n_692));
HAX1 tmp131(.YS(n_826), .YC(n_827), .A(n_162), .B(n_713));
assign n_836 = n_163 | n_827;
assign n_837 = n_836;
assign O[0] = n_172;
assign O[1] = n_172;
assign O[2] = n_732;
assign O[3] = n_744;
assign O[4] = n_754;
assign O[5] = n_764;
assign O[6] = n_774;
assign O[7] = n_784;
assign O[8] = n_796;
assign O[9] = n_806;
assign O[10] = n_816;
assign O[11] = n_826;
assign O[12] = n_837;
endmodule