= "GND" "GND" = "Vdd" "Vdd" = "Reset" "Reset" ~"t.vtree_test.ct.C2Els[0].c1"&~"t.vtree_test.ct.C2Els[0].c2"->"t.vtree_test.ct.C2Els[0]._y"+ "t.vtree_test.ct.C2Els[0].c1"&"t.vtree_test.ct.C2Els[0].c2"->"t.vtree_test.ct.C2Els[0]._y"- "t.vtree_test.ct.C2Els[0]._y"->"t.vtree_test.ct.C2Els[0].y"- ~("t.vtree_test.ct.C2Els[0]._y")->"t.vtree_test.ct.C2Els[0].y"+ ~"t.vtree_test.ct.C2Els[1].c1"&~"t.vtree_test.ct.C2Els[1].c2"->"t.vtree_test.ct.C2Els[1]._y"+ "t.vtree_test.ct.C2Els[1].c1"&"t.vtree_test.ct.C2Els[1].c2"->"t.vtree_test.ct.C2Els[1]._y"- "t.vtree_test.ct.C2Els[1]._y"->"t.vtree_test.ct.C2Els[1].y"- ~("t.vtree_test.ct.C2Els[1]._y")->"t.vtree_test.ct.C2Els[1].y"+ ~"t.vtree_test.ct.C3Els[0].c1"&~"t.vtree_test.ct.C3Els[0].c2"&~"t.vtree_test.ct.C3Els[0].c3"->"t.vtree_test.ct.C3Els[0]._y"+ "t.vtree_test.ct.C3Els[0].c1"&"t.vtree_test.ct.C3Els[0].c2"&"t.vtree_test.ct.C3Els[0].c3"->"t.vtree_test.ct.C3Els[0]._y"- "t.vtree_test.ct.C3Els[0]._y"->"t.vtree_test.ct.C3Els[0].y"- ~("t.vtree_test.ct.C3Els[0]._y")->"t.vtree_test.ct.C3Els[0].y"+ = "t.vtree_test.ct.tmp[5]" "t.vtree_test.ct.C2Els[1].c1" = "t.vtree_test.ct.tmp[5]" "t.vtree_test.ct.C2Els[0].y" = "t.vtree_test.ct.tmp[6]" "t.vtree_test.ct.C2Els[1].c2" = "t.vtree_test.ct.tmp[6]" "t.vtree_test.ct.C3Els[0].y" = "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C3Els[0].vdd" = "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C2Els[1].vdd" = "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C2Els[0].vdd" = "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C3Els[0].vss" = "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C2Els[1].vss" = "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C2Els[0].vss" = "t.vtree_test.ct.in[0]" "t.vtree_test.ct.C2Els[0].c1" = "t.vtree_test.ct.in[0]" "t.vtree_test.ct.tmp[0]" = "t.vtree_test.ct.in[1]" "t.vtree_test.ct.C2Els[0].c2" = "t.vtree_test.ct.in[1]" "t.vtree_test.ct.tmp[1]" = "t.vtree_test.ct.in[2]" "t.vtree_test.ct.C3Els[0].c1" = "t.vtree_test.ct.in[2]" "t.vtree_test.ct.tmp[2]" = "t.vtree_test.ct.in[3]" "t.vtree_test.ct.C3Els[0].c2" = "t.vtree_test.ct.in[3]" "t.vtree_test.ct.tmp[3]" = "t.vtree_test.ct.in[4]" "t.vtree_test.ct.C3Els[0].c3" = "t.vtree_test.ct.in[4]" "t.vtree_test.ct.tmp[4]" = "t.vtree_test.ct.out" "t.vtree_test.ct.C2Els[1].y" = "t.vtree_test.ct.out" "t.vtree_test.ct.tmp[7]" = "t.vtree_test.ct.in[0]" "t.vtree_test.OR2_tf[0].y" = "t.vtree_test.ct.in[1]" "t.vtree_test.OR2_tf[1].y" = "t.vtree_test.ct.in[2]" "t.vtree_test.OR2_tf[2].y" = "t.vtree_test.ct.in[3]" "t.vtree_test.OR2_tf[3].y" = "t.vtree_test.ct.in[4]" "t.vtree_test.OR2_tf[4].y" "t.vtree_test.OR2_tf[0].a"|"t.vtree_test.OR2_tf[0].b"->"t.vtree_test.OR2_tf[0]._y"- ~("t.vtree_test.OR2_tf[0].a"|"t.vtree_test.OR2_tf[0].b")->"t.vtree_test.OR2_tf[0]._y"+ "t.vtree_test.OR2_tf[0]._y"->"t.vtree_test.OR2_tf[0].y"- ~("t.vtree_test.OR2_tf[0]._y")->"t.vtree_test.OR2_tf[0].y"+ "t.vtree_test.OR2_tf[1].a"|"t.vtree_test.OR2_tf[1].b"->"t.vtree_test.OR2_tf[1]._y"- ~("t.vtree_test.OR2_tf[1].a"|"t.vtree_test.OR2_tf[1].b")->"t.vtree_test.OR2_tf[1]._y"+ "t.vtree_test.OR2_tf[1]._y"->"t.vtree_test.OR2_tf[1].y"- ~("t.vtree_test.OR2_tf[1]._y")->"t.vtree_test.OR2_tf[1].y"+ "t.vtree_test.OR2_tf[2].a"|"t.vtree_test.OR2_tf[2].b"->"t.vtree_test.OR2_tf[2]._y"- ~("t.vtree_test.OR2_tf[2].a"|"t.vtree_test.OR2_tf[2].b")->"t.vtree_test.OR2_tf[2]._y"+ "t.vtree_test.OR2_tf[2]._y"->"t.vtree_test.OR2_tf[2].y"- ~("t.vtree_test.OR2_tf[2]._y")->"t.vtree_test.OR2_tf[2].y"+ "t.vtree_test.OR2_tf[3].a"|"t.vtree_test.OR2_tf[3].b"->"t.vtree_test.OR2_tf[3]._y"- ~("t.vtree_test.OR2_tf[3].a"|"t.vtree_test.OR2_tf[3].b")->"t.vtree_test.OR2_tf[3]._y"+ "t.vtree_test.OR2_tf[3]._y"->"t.vtree_test.OR2_tf[3].y"- ~("t.vtree_test.OR2_tf[3]._y")->"t.vtree_test.OR2_tf[3].y"+ "t.vtree_test.OR2_tf[4].a"|"t.vtree_test.OR2_tf[4].b"->"t.vtree_test.OR2_tf[4]._y"- ~("t.vtree_test.OR2_tf[4].a"|"t.vtree_test.OR2_tf[4].b")->"t.vtree_test.OR2_tf[4]._y"+ "t.vtree_test.OR2_tf[4]._y"->"t.vtree_test.OR2_tf[4].y"- ~("t.vtree_test.OR2_tf[4]._y")->"t.vtree_test.OR2_tf[4].y"+ = "t.vtree_test.supply.vss" "t.vtree_test.ct.supply.vss" = "t.vtree_test.supply.vdd" "t.vtree_test.ct.supply.vdd" = "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[4].vdd" = "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[3].vdd" = "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[2].vdd" = "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[1].vdd" = "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[0].vdd" = "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[4].vss" = "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[3].vss" = "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[2].vss" = "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[1].vss" = "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[0].vss" = "t.vtree_test.out" "t.vtree_test.ct.out" = "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f" = "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t" = "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f" = "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t" = "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f" = "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t" = "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f" = "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t" = "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f" = "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t" = "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f" = "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t" = "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f" = "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t" = "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f" = "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t" = "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f" = "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t" = "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f" = "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t" = "t.vtree_test.in.d[4].d[0]" "t.vtree_test.OR2_tf[4].b" = "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f" = "t.vtree_test.in.d[4].d[1]" "t.vtree_test.OR2_tf[4].a" = "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t" = "t.vtree_test.in.d[3].d[0]" "t.vtree_test.OR2_tf[3].b" = "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f" = "t.vtree_test.in.d[3].d[1]" "t.vtree_test.OR2_tf[3].a" = "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t" = "t.vtree_test.in.d[2].d[0]" "t.vtree_test.OR2_tf[2].b" = "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f" = "t.vtree_test.in.d[2].d[1]" "t.vtree_test.OR2_tf[2].a" = "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t" = "t.vtree_test.in.d[1].d[0]" "t.vtree_test.OR2_tf[1].b" = "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f" = "t.vtree_test.in.d[1].d[1]" "t.vtree_test.OR2_tf[1].a" = "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t" = "t.vtree_test.in.d[0].d[0]" "t.vtree_test.OR2_tf[0].b" = "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f" = "t.vtree_test.in.d[0].d[1]" "t.vtree_test.OR2_tf[0].a" = "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t" = "Vdd" "t.vtree_test.supply.vdd" = "GND" "t.vtree_test.supply.vss" = "t._in.d[0].d[0]" "t._in.d[0].f" = "t._in.d[0].d[1]" "t._in.d[0].t" = "t._in.d[1].d[0]" "t._in.d[1].f" = "t._in.d[1].d[1]" "t._in.d[1].t" = "t._in.d[2].d[0]" "t._in.d[2].f" = "t._in.d[2].d[1]" "t._in.d[2].t" = "t._in.d[3].d[0]" "t._in.d[3].f" = "t._in.d[3].d[1]" "t._in.d[3].t" = "t._in.d[4].d[0]" "t._in.d[4].f" = "t._in.d[4].d[1]" "t._in.d[4].t" = "t._in.d[4].d[0]" "t._in.d[4].f" = "t._in.d[4].d[1]" "t._in.d[4].t" = "t._in.d[3].d[0]" "t._in.d[3].f" = "t._in.d[3].d[1]" "t._in.d[3].t" = "t._in.d[2].d[0]" "t._in.d[2].f" = "t._in.d[2].d[1]" "t._in.d[2].t" = "t._in.d[1].d[0]" "t._in.d[1].f" = "t._in.d[1].d[1]" "t._in.d[1].t" = "t._in.d[0].d[0]" "t._in.d[0].f" = "t._in.d[0].d[1]" "t._in.d[0].t" = "t._in.d[0].f" "t.vtree_test.in.d[0].f" = "t._in.d[0].t" "t.vtree_test.in.d[0].t" = "t._in.d[0].d[0]" "t.vtree_test.in.d[0].d[0]" = "t._in.d[0].d[1]" "t.vtree_test.in.d[0].d[1]" = "t._in.d[1].f" "t.vtree_test.in.d[1].f" = "t._in.d[1].t" "t.vtree_test.in.d[1].t" = "t._in.d[1].d[0]" "t.vtree_test.in.d[1].d[0]" = "t._in.d[1].d[1]" "t.vtree_test.in.d[1].d[1]" = "t._in.d[2].f" "t.vtree_test.in.d[2].f" = "t._in.d[2].t" "t.vtree_test.in.d[2].t" = "t._in.d[2].d[0]" "t.vtree_test.in.d[2].d[0]" = "t._in.d[2].d[1]" "t.vtree_test.in.d[2].d[1]" = "t._in.d[3].f" "t.vtree_test.in.d[3].f" = "t._in.d[3].t" "t.vtree_test.in.d[3].t" = "t._in.d[3].d[0]" "t.vtree_test.in.d[3].d[0]" = "t._in.d[3].d[1]" "t.vtree_test.in.d[3].d[1]" = "t._in.d[4].f" "t.vtree_test.in.d[4].f" = "t._in.d[4].t" "t.vtree_test.in.d[4].t" = "t._in.d[4].d[0]" "t.vtree_test.in.d[4].d[0]" = "t._in.d[4].d[1]" "t.vtree_test.in.d[4].d[1]" = "t.out" "t.vtree_test.out" = "t.in.d.d[0].d[0]" "t.in.d.d[0].f" = "t.in.d.d[0].d[1]" "t.in.d.d[0].t" = "t.in.d.d[1].d[0]" "t.in.d.d[1].f" = "t.in.d.d[1].d[1]" "t.in.d.d[1].t" = "t.in.d.d[2].d[0]" "t.in.d.d[2].f" = "t.in.d.d[2].d[1]" "t.in.d.d[2].t" = "t.in.d.d[3].d[0]" "t.in.d.d[3].f" = "t.in.d.d[3].d[1]" "t.in.d.d[3].t" = "t.in.d.d[4].d[0]" "t.in.d.d[4].f" = "t.in.d.d[4].d[1]" "t.in.d.d[4].t" = "t.in.d.d[4].d[0]" "t.in.d.d[4].f" = "t.in.d.d[4].d[1]" "t.in.d.d[4].t" = "t.in.d.d[3].d[0]" "t.in.d.d[3].f" = "t.in.d.d[3].d[1]" "t.in.d.d[3].t" = "t.in.d.d[2].d[0]" "t.in.d.d[2].f" = "t.in.d.d[2].d[1]" "t.in.d.d[2].t" = "t.in.d.d[1].d[0]" "t.in.d.d[1].f" = "t.in.d.d[1].d[1]" "t.in.d.d[1].t" = "t.in.d.d[0].d[0]" "t.in.d.d[0].f" = "t.in.d.d[0].d[1]" "t.in.d.d[0].t" = "t.in.d.d[4].d[0]" "t.in.d.d[4].f" = "t.in.d.d[4].d[1]" "t.in.d.d[4].t" = "t.in.d.d[3].d[0]" "t.in.d.d[3].f" = "t.in.d.d[3].d[1]" "t.in.d.d[3].t" = "t.in.d.d[2].d[0]" "t.in.d.d[2].f" = "t.in.d.d[2].d[1]" "t.in.d.d[2].t" = "t.in.d.d[1].d[0]" "t.in.d.d[1].f" = "t.in.d.d[1].d[1]" "t.in.d.d[1].t" = "t.in.d.d[0].d[0]" "t.in.d.d[0].f" = "t.in.d.d[0].d[1]" "t.in.d.d[0].t" = "t.in.d.d[0].f" "t._in.d[0].f" = "t.in.d.d[0].t" "t._in.d[0].t" = "t.in.d.d[0].d[0]" "t._in.d[0].d[0]" = "t.in.d.d[0].d[1]" "t._in.d[0].d[1]" = "t.in.d.d[1].f" "t._in.d[1].f" = "t.in.d.d[1].t" "t._in.d[1].t" = "t.in.d.d[1].d[0]" "t._in.d[1].d[0]" = "t.in.d.d[1].d[1]" "t._in.d[1].d[1]" = "t.in.d.d[2].f" "t._in.d[2].f" = "t.in.d.d[2].t" "t._in.d[2].t" = "t.in.d.d[2].d[0]" "t._in.d[2].d[0]" = "t.in.d.d[2].d[1]" "t._in.d[2].d[1]" = "t.in.d.d[3].f" "t._in.d[3].f" = "t.in.d.d[3].t" "t._in.d[3].t" = "t.in.d.d[3].d[0]" "t._in.d[3].d[0]" = "t.in.d.d[3].d[1]" "t._in.d[3].d[1]" = "t.in.d.d[4].f" "t._in.d[4].f" = "t.in.d.d[4].t" "t._in.d[4].t" = "t.in.d.d[4].d[0]" "t._in.d[4].d[0]" = "t.in.d.d[4].d[1]" "t._in.d[4].d[1]" = "t.in.d.d[4].d[0]" "t.in.d.d[4].f" = "t.in.d.d[4].d[1]" "t.in.d.d[4].t" = "t.in.d.d[3].d[0]" "t.in.d.d[3].f" = "t.in.d.d[3].d[1]" "t.in.d.d[3].t" = "t.in.d.d[2].d[0]" "t.in.d.d[2].f" = "t.in.d.d[2].d[1]" "t.in.d.d[2].t" = "t.in.d.d[1].d[0]" "t.in.d.d[1].f" = "t.in.d.d[1].d[1]" "t.in.d.d[1].t" = "t.in.d.d[0].d[0]" "t.in.d.d[0].f" = "t.in.d.d[0].d[1]" "t.in.d.d[0].t"