DFF it140(s3, vs3, clk, 1, rst, 0);
                                     DFF it139(s2, vs2, clk, 1, rst, 0);
                                     DFF it138(s1, vs1, clk, 1, rst, 0);
                                     BUF ib137(a, g136);
                                     OR2 ig136(g136, g134, g135);
                                     INV ig135(g135, s2);
                                     INV ig134(g134, s3);
                                     BUF ib133(na, g132);
                                     OR2 ig132(g132, g130, g131);
                                     INV ig131(g131, vs2);
                                     INV ig130(g130, vs3);
                                     BUF ib129(b, g128);
                                     INV ig128(g128, s2);
                                     BUF ib127(nb, g126);
                                     INV ig126(g126, vs2);
                                     BUF ib125(state1, g124);
                                     AND2 ig124(g124, b, a);
                                     BUF ib123(state2, g122);
                                     AND2 ig122(g122, g121, a);
                                     INV ig121(g121, b);
                                     BUF ib120(state3, g119);
                                     AND2 ig119(g119, g117, g118);
                                     INV ig118(g118, a);
                                     INV ig117(g117, b);
                                     BUF ib116(nstate1, g115);
                                     AND2 ig115(g115, nb, na);
                                     BUF ib114(nstate2, g113);
                                     AND2 ig113(g113, g112, na);
                                     INV ig112(g112, nb);
                                     BUF ib111(nstate3, g110);
                                     AND2 ig110(g110, g108, g109);
                                     INV ig109(g109, na);
                                     INV ig108(g108, nb);
                                     BUF ib107(vs1, g106);
                                     INV ig106(g106, s1);
                                     BUF ib105(vs2, g104);
                                     OR2 ig104(g104, g102, g103);
                                     INV ig103(g103, s2);
                                     INV ig102(g102, s3);
                                     BUF ib101(vs3, s2);
                                  endmodule