.model s526 ;
# 3 inputs
# 6 outputs
# 21 D-type flipflops
# 52 inverters
# 141 gates (56 ANDs + 22 NANDs + 28 ORs + 35 NORs)
.inputs G0 G1 G2  CK ;
.outputs G198 G213 G147 G199 G214 G148  ;
G10 = @D ( G60, CK ) ;
G11 = @D ( G61, CK ) ;
G12 = @D ( G62, CK ) ;
G13 = @D ( G69, CK ) ;
G14 = @D ( G79, CK ) ;
G15 = @D ( G84, CK ) ;
G16 = @D ( G89, CK ) ;
G17 = @D ( G96, CK ) ;
G18 = @D ( G101, CK ) ;
G19 = @D ( G106, CK ) ;
G20 = @D ( G115, CK ) ;
G21 = @D ( G127, CK ) ;
G22 = @D ( G137, CK ) ;
G23 = @D ( G167, CK ) ;
G24 = @D ( G173, CK ) ;
G25 = @D ( G179, CK ) ;
G26 = @D ( G183, CK ) ;
G27 = @D ( G188, CK ) ;
G28 = @D ( G194, CK ) ;
G29 = @D ( G200, CK ) ;
G30 = @D ( G206, CK ) ;
G59 = G211' ;
G65 = G12' ;
G72 = G13' ;
G83 = G10' ;
G85 = G15' ;
G90 = G14' ;
G94 = G16' ;
G104 = G18' ;
G107 = G11' ;
G112 = G19' ;
G116 = G17' ;
G122 = G30' ;
G124 = G20' ;
G126 = G59' ;
G131 = G21' ;
G135 = G20' ;
G136 = G12' ;
G140 = G21' ;
G141 = G29' ;
G145 = G22' ;
I285 = G23' ;
G147 = I285' ;
I288 = G24' ;
G148 = I288' ;
G157 = G18' ;
G163 = G20' ;
G168 = G23' ;
G172 = G21' ;
G174 = G24' ;
G177 = G13' ;
G180 = G25' ;
G184 = G12' ;
G189 = G193' ;
G195 = G28' ;
I340 = G25' ;
G198 = I340' ;
I343 = G26' ;
G199 = I343' ;
G201 = G205' ;
G202 = G29' ;
I351 = G2' ;
G205 = I351' ;
G207 = G212' ;
G208 = G30' ;
I359 = G0' ;
G211 = I359' ;
I362 = G1' ;
G212 = I362' ;
I365 = G27' ;
G213 = I365' ;
I368 = G28' ;
G214 = I368' ;
G34 = G122 G123 ;
G35 = G10 G107 G90 G15 ;
G36 = G122 G123 ;
G38 = G122 G123 ;
G39 = G65 G21 ;
G40 = G12 G131 ;
G44 = G59 G94 ;
G45 = G122 G59 ;
G46 = G116 G112 ;
G47 = G116 G18 ;
G51 = G59 G16 G17 ;
G52 = G59 G18 ;
G54 = G17 G104 ;
G55 = G116 G18 ;
G56 = G17 G112 ;
G57 = G59 G16 G17 G18 ;
G58 = G59 G19 ;
G76 = G10 G90 G15 ;
G77 = G10 G11 ;
G78 = G83 G107 ;
G80 = G10 G11 G14 ;
G81 = G83 G90 ;
G82 = G107 G90 ;
G87 = G85 G86 ;
G92 = G90 G107 G10 G91 ;
G93 = G94 G122 G123 ;
G98 = G107 G10 G108 G97 ;
G99 = G116 G122 G123 ;
G102 = G18 G17 G16 G118 ;
G103 = G104 G122 G123 ;
G109 = G107 G10 G108 G113 ;
G110 = G112 G122 G123 ;
G111 = G16 G30 G113 ;
G119 = G116 G16 G117 G118 ;
G120 = G124 G122 G123 ;
G121 = G124 G125 ;
G138 = G140 G20 G141 G142 ;
G139 = G145 G146 ;
G143 = G140 G20 G141 G142 ;
G144 = G145 G146 ;
G155 = G21 G13 G26 ;
G156 = G163 G172 G13 ;
G169 = G13 G168 ;
G170 = G184 G177 ;
G171 = G172 G184 ;
G175 = G174 G12 ;
G176 = G177 G12 ;
G181 = G180 G13 G21 ;
G186 = G184 G189 G185 ;
G191 = G189 G190 ;
G192 = G18 G193 ;
G196 = G195 G13 ;
G203 = G201 G202 ;
G204 = G205 G29 ;
G209 = G207 G208 ;
G210 = G212 G30 ;
G32 = G30 +G31 ;
G33 = G72 +G12 ;
G42 = G83 +G107 +G90 +G85 ;
G43 = G83 +G11 +G14 ;
G48 = G122 +G94 +G18 +G112 ;
G49 = G122 +G94 +G116 ;
G50 = G16 +G17 ;
G53 = G83 +G11 +G14 +G85 ;
G67 = G211 +G63 +G64 +G71 ;
G68 = G65 +G211 +G66 ;
G74 = G211 +G125 +G70 +G71 ;
G75 = G72 +G211 +G73 ;
G133 = G211 +G128 +G129 +G130 ;
G134 = G131 +G211 +G132 ;
G149 = G20 +G21 +G12 +G177 ;
G150 = G184 +G25 ;
G151 = G184 +G13 ;
G152 = G163 +G21 +G12 ;
G153 = G172 +G27 ;
G154 = G184 +G27 ;
G158 = G193 +G184 +G177 +G26 ;
G159 = G189 +G157 ;
G160 = G184 +G13 ;
G161 = G20 +G13 ;
G162 = G21 +G12 ;
G164 = G20 +G21 +G12 +G177 ;
G165 = G163 +G172 +G13 ;
G166 = G172 +G177 +G24 ;
G41 = ( G104 G116 G16 G37 )' ;
G62 = ( G67 G68 )' ;
G63 = ( G104 G116 G16 )' ;
G64 = ( G65 G21 G20 G19 )' ;
G69 = ( G74 G75 )' ;
G70 = ( G72 G12 G21 G20 )' ;
G86 = ( G14 G11 G10 )' ;
G88 = ( G42 G43 G59 )' ;
G100 = ( G48 G49 G50 G59 )' ;
G118 = ( G53 G122 )' ;
G123 = ( G15 G90 G107 G10 )' ;
G125 = ( G19 G104 G116 G16 )' ;
G127 = ( G133 G134 )' ;
G128 = ( G116 G16 )' ;
G129 = ( G131 G20 G19 G104 )' ;
G130 = ( G32 G33 )' ;
G146 = ( G140 G135 G29 G142 )' ;
G178 = ( G164 G165 G166 G189 )' ;
G182 = ( G149 G150 G151 G189 )' ;
G187 = ( G158 G159 )' ;
G190 = ( G152 G153 G154 G13 )' ;
G197 = ( G160 G161 G162 G189 )' ;
G31 = ( G85 +G14 +G11 +G83 )' ;
G37 = ( G124 +G112 )' ;
G60 = ( G10 +G211 )' ;
G61 = ( G76 +G77 +G78 +G211 )' ;
G66 = ( G36 +G131 +G124 +G125 )' ;
G71 = ( G35 +G30 )' ;
G73 = ( G38 +G39 +G40 +G41 )' ;
G79 = ( G80 +G81 +G82 +G211 )' ;
G84 = ( G87 +G88 )' ;
G89 = ( G92 +G93 +G95 )' ;
G91 = ( G94 +G85 )' ;
G95 = ( G44 +G45 )' ;
G96 = ( G98 +G99 +G100 )' ;
G97 = ( G46 +G47 )' ;
G101 = ( G102 +G103 +G105 )' ;
G105 = ( G51 +G52 )' ;
G106 = ( G109 +G110 +G111 +G114 )' ;
G108 = ( G94 +G85 +G14 )' ;
G113 = ( G54 +G55 +G56 )' ;
G114 = ( G57 +G58 )' ;
G115 = ( G119 +G120 +G121 +G126 )' ;
G117 = ( G124 +G112 +G18 )' ;
G132 = ( G34 +G124 +G125 )' ;
G137 = ( G138 +G139 +G211 )' ;
G142 = ( G13 +G136 )' ;
G167 = ( G169 +G170 +G171 +G193 )' ;
G173 = ( G175 +G176 +G178 )' ;
G179 = ( G181 +G182 )' ;
G183 = ( G186 +G187 )' ;
G185 = ( G155 +G156 )' ;
G188 = ( G191 +G192 )' ;
G193 = ( G143 +G144 )' ;
G194 = ( G196 +G197 )' ;
G200 = ( G203 +G204 +G211 )' ;
G206 = ( G209 +G210 +G211 )' ;
.endmodel s526 ;