** restr info: Number of Equivalence Classes = 5
** synth info: Total number of literals = 21
Networks are sequentially equivalent.
** restr info: Number of Equivalence Classes = 254
** synth info: Total number of literals = 71
Networks are sequentially equivalent.
** restr info: Number of Equivalence Classes = 45
** synth info: Total number of literals = 288
Networks are sequentially equivalent.