... \PRES_STATE[1] , n289, n300, n301, n302, \PRES_STATE2 43[ 1] , n3 03, n304, \PRES_STATE[0] , n290, n291, n292, n2 93, n294, n295, n296, n297, n298, n299, \PRES_STATE2 43[ 0] ; PDFF \PRES_STATE_reg[1] ... U1 13 ( .in0(n295), .in1(n292), .out(n294) ); VNOT U126 ( .in(coin[1]), .out(n2 93) ); VNAND U112 ( .in0(coin[0]), .in1(n2 93) , .out(n292) ); VNAND U125 ( .in0(n294), .in1(n3 03) , .out(n300) ... .out(\PRES_STATE2 43[ 0] ) ); VNAND U124 ( .in0(\PRES_STATE[0] ), .in1(n304), .out(n301) ); VAND U110 ( .in0(n289), .in1(n290), .out(\PRES_STATE2 43[ 1] ) ); VNAND U1 23 ( .in0(n292), .in1(n298), .out(n304)...