** synth info: Total number of literals = 148
Networks are sequentially equivalent.
** synth info: Total number of literals = 103
Networks are combinationally equivalent.