#%signature: 1571379% .model LINK .inputs TRIGGER_CH1 \ TRIGGER_CH2 \ user .outputs PROC_CH1 \ PROC_CH2 \ out \ ACTION_6_0_0 \ ACTION_7_0_0 \ ACTION_8_0_0 \ ACTION_9_0_0 \ ACTION_10_0_0 \ ACTION_11_0_0 \ ACTION_12_0_0 \ ACTION_13_0_0 \ ACTION_14_0_0 \ ACTION_15_0_1 \ ACTION_16_0_1 \ ROOT_RETURN_ \ ROOT_HALTING_ .names user TRACE_S2_ 1 1 .names TRIGGER_CH2 TRACE_S1_ 1 1 .names TRIGGER_CH1 TRACE_S0_ 1 1 .names TRIGGER_CH2 HALT_REG_154_ LINK_64 11 1 .names HALT_REG_152_ TRIGGER_CH2 LINK_65 11 1 .names LINK_65 LINK_64 LINK_66 00 0 .names LINK_66 TRACE_S12_ 1 1 .names TRIGGER_CH1 HALT_REG_90_ LINK_67 11 1 .names HALT_REG_88_ TRIGGER_CH1 LINK_68 11 1 .names LINK_68 LINK_67 LINK_69 00 0 .names LINK_66 LINK_69 LINK_70 00 0 .names HALT_REG_164_ LINK_70 LINK_71 11 1 .names HALT_REG_164_ LINK_70 LINK_72 10 1 .names LINK_72 LINK_66 LINK_73 11 1 .names LINK_71 LINK_73 LINK_74 00 0 .names LINK_74 TRACE_S18_ 1 1 .names LINK_70 TRACE_S11_ 1 1 .names HALT_REG_100_ LINK_69 LINK_75 11 1 .names HALT_REG_100_ LINK_69 LINK_76 10 1 .names LINK_76 LINK_70 LINK_77 11 1 .names LINK_75 LINK_77 LINK_78 00 0 .names LINK_78 TRACE_S15_ 1 1 .names LINK_69 TRACE_S10_ 1 1 .names BOOT_REGISTER_ LINK_79 1 1 .names LINK_79 ACTION_6_0_0 1 1 .names BOOT_REGISTER_ LINK_80 1 1 .names LINK_80 ACTION_7_0_0 1 1 .names HALT_REG_53_ LINK_66 LINK_81 11 1 .names LINK_81 BOOT_REGISTER_ LINK_82 00 0 .names LINK_82 LINK_83 1 1 .names LINK_83 ACTION_12_0_0 1 1 .names HALT_REG_44_ LINK_69 LINK_84 10 1 .names LINK_84 HALT_REG_44_ LINK_85 11 1 .names LINK_85 LINK_82 LINK_86 00 0 .names HALT_REG_126_ HALT_REG_120_ LINK_87 00 0 .names LINK_87 LINK_70 LINK_88 10 1 .names LINK_88 HALT_REG_120_ LINK_89 11 1 .names LINK_89 LINK_86 LINK_90 11 1 .names LINK_87 LINK_70 LINK_91 11 1 .names LINK_91 BOOT_REGISTER_ LINK_92 00 0 .names LINK_92 LINK_86 LINK_93 11 1 .names LINK_88 HALT_REG_126_ LINK_94 11 1 .names LINK_94 LINK_93 LINK_90 LINK_95 000 0 .names LINK_95 TRACE_S14_ 1 1 .names LINK_86 TRACE_S7_ 1 1 .names HALT_REG_18_ user LINK_96 11 1 .names LINK_96 LINK_97 1 1 .names LINK_97 ACTION_9_0_0 1 1 .names HALT_REG_27_ LINK_69 LINK_98 10 1 .names LINK_98 HALT_REG_27_ LINK_99 11 1 .names LINK_96 LINK_99 LINK_100 00 0 .names LINK_100 LINK_101 1 1 .names LINK_101 ACTION_10_0_0 1 1 .names LINK_69 LINK_102 1 1 .names LINK_102 ACTION_15_0_1 1 1 .names LINK_69 TRACE_S3_ 1 1 .names LINK_69 LINK_103 1 1 .names LINK_103 PROC_CH1 1 1 .names HALT_REG_44_ LINK_69 LINK_104 11 1 .names LINK_104 LINK_105 1 1 .names LINK_105 ACTION_13_0_0 1 1 .names HALT_REG_53_ LINK_66 LINK_106 10 1 .names LINK_106 HALT_REG_53_ LINK_107 11 1 .names LINK_107 LINK_104 LINK_108 00 0 .names LINK_108 LINK_109 1 1 .names LINK_109 ACTION_14_0_0 1 1 .names LINK_66 LINK_110 1 1 .names LINK_110 ACTION_16_0_1 1 1 .names LINK_66 TRACE_S4_ 1 1 .names LINK_66 LINK_111 1 1 .names LINK_111 PROC_CH2 1 1 .names HALT_REG_33_ LINK_66 LINK_112 11 1 .names LINK_112 LINK_113 1 1 .names LINK_113 ACTION_11_0_0 1 1 .names LINK_112 TRACE_S5_ 1 1 .names LINK_112 LINK_114 1 1 .names LINK_114 out 1 1 .names HALT_REG_33_ LINK_66 LINK_115 10 1 .names LINK_115 HALT_REG_33_ LINK_116 11 1 .names BOOT_REGISTER_ LINK_116 LINK_112 LINK_117 000 0 .names HALT_REG_190_ HALT_REG_184_ LINK_118 00 0 .names LINK_118 LINK_66 LINK_119 10 1 .names LINK_119 HALT_REG_184_ LINK_120 11 1 .names LINK_120 LINK_117 LINK_121 11 1 .names LINK_118 LINK_66 LINK_122 11 1 .names LINK_122 BOOT_REGISTER_ LINK_123 00 0 .names LINK_123 LINK_117 LINK_124 11 1 .names LINK_119 HALT_REG_190_ LINK_125 11 1 .names LINK_125 LINK_124 LINK_121 LINK_126 000 0 .names LINK_126 TRACE_S17_ 1 1 .names LINK_117 TRACE_S9_ 1 1 .names HALT_REG_180_ HALT_REG_174_ LINK_127 00 0 .names LINK_127 LINK_70 LINK_128 10 1 .names LINK_128 HALT_REG_174_ LINK_129 11 1 .names LINK_129 LINK_108 LINK_130 11 1 .names LINK_127 LINK_70 LINK_131 11 1 .names LINK_131 BOOT_REGISTER_ LINK_132 00 0 .names LINK_132 LINK_108 LINK_133 11 1 .names LINK_128 HALT_REG_180_ LINK_134 11 1 .names LINK_134 LINK_133 LINK_130 LINK_135 000 0 .names LINK_135 TRACE_S16_ 1 1 .names LINK_108 TRACE_S8_ 1 1 .names HALT_REG_116_ HALT_REG_110_ LINK_136 00 0 .names LINK_136 LINK_69 LINK_137 10 1 .names LINK_137 HALT_REG_110_ LINK_138 11 1 .names LINK_138 LINK_100 LINK_139 11 1 .names LINK_136 LINK_69 LINK_140 11 1 .names LINK_140 BOOT_REGISTER_ LINK_141 00 0 .names LINK_141 LINK_100 LINK_142 11 1 .names LINK_137 HALT_REG_116_ LINK_143 11 1 .names LINK_143 LINK_142 LINK_139 LINK_144 000 0 .names LINK_144 TRACE_S13_ 1 1 .names LINK_100 TRACE_S6_ 1 1 .names ROOT_RETURN_ 0 .names BOOT_REGISTER_ LINK_145 1 1 .names LINK_145 ACTION_8_0_0 1 1 .names HALT_REG_79_ LINK_144 LINK_146 10 1 .names LINK_146 HALT_REG_79_ LINK_147 11 1 .names HALT_REG_83_ LINK_95 LINK_148 10 1 .names LINK_148 HALT_REG_83_ LINK_149 11 1 .names LINK_147 LINK_149 LINK_150 00 0 .names HALT_REG_79_ HALT_REG_83_ LINK_151 00 0 .names LINK_151 HALT_REG_79_ LINK_152 10 1 .names HALT_REG_79_ LINK_144 LINK_153 11 1 .names LINK_152 LINK_153 LINK_154 00 0 .names LINK_154 LINK_147 LINK_155 00 0 .names LINK_151 HALT_REG_83_ LINK_156 10 1 .names HALT_REG_83_ LINK_95 LINK_157 11 1 .names LINK_156 LINK_157 LINK_158 00 0 .names LINK_158 LINK_149 LINK_159 00 0 .names LINK_155 LINK_159 LINK_150 LINK_160 111 1 .names LINK_153 LINK_157 LINK_161 00 0 .names LINK_161 LINK_154 LINK_158 LINK_162 111 1 .names LINK_151 HALT_REG_88_ HALT_REG_90_ LINK_163 000 0 .names HALT_REG_100_ LINK_163 LINK_164 00 0 .names LINK_164 LINK_163 LINK_165 10 1 .names LINK_165 LINK_69 LINK_166 00 0 .names TRIGGER_CH1 HALT_REG_90_ LINK_167 01 1 .names LINK_167 HALT_REG_90_ LINK_168 11 1 .names HALT_REG_88_ TRIGGER_CH1 LINK_169 10 1 .names LINK_169 LINK_168 LINK_170 00 0 .names LINK_170 LINK_166 LINK_162 LINK_160 LINK_171 0000 0 .names LINK_164 HALT_REG_100_ LINK_172 10 1 .names LINK_76 LINK_70 LINK_173 10 1 .names LINK_173 HALT_REG_100_ LINK_174 11 1 .names LINK_172 LINK_174 LINK_175 00 0 .names LINK_75 LINK_77 LINK_175 LINK_176 000 0 .names LINK_78 LINK_176 LINK_171 LINK_177 111 1 .names LINK_177 BOOT_REGISTER_ LINK_178 00 0 .names LINK_178 LINK_144 LINK_179 11 1 .names LINK_178 LINK_95 LINK_180 11 1 .names LINK_180 LINK_179 LINK_181 00 0 .names LINK_181 LINK_180 LINK_179 LINK_182 111 1 .names LINK_178 LINK_144 LINK_183 10 1 .names LINK_178 LINK_95 LINK_184 10 1 .names LINK_184 LINK_183 LINK_185 00 0 .names LINK_183 LINK_179 LINK_186 00 0 .names LINK_184 LINK_180 LINK_187 00 0 .names LINK_187 LINK_186 LINK_185 LINK_188 111 1 .names LINK_188 LINK_182 LINK_178 LINK_189 000 0 .names LINK_188 LINK_182 LINK_190 00 0 .names LINK_190 LINK_189 LINK_178 LINK_191 111 1 .names LINK_174 LINK_170 LINK_162 LINK_160 LINK_192 0000 0 .names LINK_192 LINK_175 LINK_171 LINK_193 111 1 .names LINK_89 LINK_86 LINK_194 10 1 .names LINK_194 HALT_REG_120_ LINK_195 11 1 .names LINK_92 LINK_86 LINK_196 10 1 .names LINK_196 LINK_195 LINK_197 00 0 .names LINK_138 LINK_100 LINK_198 10 1 .names LINK_198 HALT_REG_110_ LINK_199 11 1 .names LINK_141 LINK_100 LINK_200 10 1 .names LINK_200 LINK_199 LINK_201 00 0 .names LINK_201 LINK_197 LINK_193 LINK_191 LINK_144 LINK_95 LINK_202 000000 0 .names LINK_164 LINK_136 LINK_87 LINK_203 000 0 .names LINK_203 LINK_164 LINK_204 10 1 .names LINK_204 LINK_193 LINK_191 LINK_205 000 0 .names LINK_203 LINK_136 LINK_206 10 1 .names LINK_206 LINK_201 LINK_144 LINK_207 000 0 .names LINK_203 LINK_87 LINK_208 10 1 .names LINK_208 LINK_197 LINK_95 LINK_209 000 0 .names LINK_207 LINK_209 LINK_205 LINK_202 LINK_210 1111 1 .names HALT_REG_143_ LINK_135 LINK_211 10 1 .names LINK_211 HALT_REG_143_ LINK_212 11 1 .names HALT_REG_147_ LINK_126 LINK_213 10 1 .names LINK_213 HALT_REG_147_ LINK_214 11 1 .names LINK_212 LINK_214 LINK_215 00 0 .names HALT_REG_143_ HALT_REG_147_ LINK_216 00 0 .names LINK_216 HALT_REG_143_ LINK_217 10 1 .names HALT_REG_143_ LINK_135 LINK_218 11 1 .names LINK_217 LINK_218 LINK_219 00 0 .names LINK_219 LINK_212 LINK_220 00 0 .names LINK_216 HALT_REG_147_ LINK_221 10 1 .names HALT_REG_147_ LINK_126 LINK_222 11 1 .names LINK_221 LINK_222 LINK_223 00 0 .names LINK_223 LINK_214 LINK_224 00 0 .names LINK_220 LINK_224 LINK_215 LINK_225 111 1 .names LINK_218 LINK_222 LINK_226 00 0 .names LINK_226 LINK_219 LINK_223 LINK_227 111 1 .names LINK_216 HALT_REG_152_ HALT_REG_154_ LINK_228 000 0 .names HALT_REG_164_ LINK_228 LINK_229 00 0 .names LINK_229 LINK_228 LINK_230 10 1 .names LINK_230 LINK_66 LINK_231 00 0 .names TRIGGER_CH2 HALT_REG_154_ LINK_232 01 1 .names LINK_232 HALT_REG_154_ LINK_233 11 1 .names HALT_REG_152_ TRIGGER_CH2 LINK_234 10 1 .names LINK_234 LINK_233 LINK_235 00 0 .names LINK_235 LINK_231 LINK_227 LINK_225 LINK_236 0000 0 .names LINK_229 HALT_REG_164_ LINK_237 10 1 .names LINK_72 LINK_66 LINK_238 10 1 .names LINK_238 HALT_REG_164_ LINK_239 11 1 .names LINK_237 LINK_239 LINK_240 00 0 .names LINK_71 LINK_73 LINK_240 LINK_241 000 0 .names LINK_74 LINK_241 LINK_236 LINK_242 111 1 .names LINK_242 BOOT_REGISTER_ LINK_243 00 0 .names LINK_243 LINK_135 LINK_244 11 1 .names LINK_243 LINK_126 LINK_245 11 1 .names LINK_245 LINK_244 LINK_246 00 0 .names LINK_246 LINK_245 LINK_244 LINK_247 111 1 .names LINK_243 LINK_135 LINK_248 10 1 .names LINK_243 LINK_126 LINK_249 10 1 .names LINK_249 LINK_248 LINK_250 00 0 .names LINK_248 LINK_244 LINK_251 00 0 .names LINK_249 LINK_245 LINK_252 00 0 .names LINK_252 LINK_251 LINK_250 LINK_253 111 1 .names LINK_253 LINK_247 LINK_243 LINK_254 000 0 .names LINK_253 LINK_247 LINK_255 00 0 .names LINK_255 LINK_254 LINK_243 LINK_256 111 1 .names LINK_239 LINK_235 LINK_227 LINK_225 LINK_257 0000 0 .names LINK_257 LINK_240 LINK_236 LINK_258 111 1 .names LINK_120 LINK_117 LINK_259 10 1 .names LINK_259 HALT_REG_184_ LINK_260 11 1 .names LINK_123 LINK_117 LINK_261 10 1 .names LINK_261 LINK_260 LINK_262 00 0 .names LINK_129 LINK_108 LINK_263 10 1 .names LINK_263 HALT_REG_174_ LINK_264 11 1 .names LINK_132 LINK_108 LINK_265 10 1 .names LINK_265 LINK_264 LINK_266 00 0 .names LINK_266 LINK_262 LINK_258 LINK_256 LINK_135 LINK_126 LINK_267 000000 0 .names LINK_229 LINK_127 LINK_118 LINK_268 000 0 .names LINK_268 LINK_229 LINK_269 10 1 .names LINK_269 LINK_258 LINK_256 LINK_270 000 0 .names LINK_268 LINK_127 LINK_271 10 1 .names LINK_271 LINK_266 LINK_135 LINK_272 000 0 .names LINK_268 LINK_118 LINK_273 10 1 .names LINK_273 LINK_262 LINK_126 LINK_274 000 0 .names LINK_272 LINK_274 LINK_270 LINK_267 LINK_275 1111 1 .names LINK_210 LINK_275 LINK_276 00 0 .names LINK_203 LINK_268 LINK_277 00 0 .names LINK_277 LINK_203 LINK_278 10 1 .names LINK_278 LINK_210 LINK_279 00 0 .names LINK_277 LINK_268 LINK_280 10 1 .names LINK_280 LINK_275 LINK_281 00 0 .names LINK_279 LINK_281 LINK_276 LINK_282 111 1 .names HALT_REG_27_ LINK_69 LINK_283 11 1 .names HALT_REG_18_ user LINK_284 10 1 .names LINK_284 HALT_REG_18_ LINK_285 11 1 .names LINK_285 LINK_283 BOOT_REGISTER_ LINK_286 000 0 .names LINK_286 LINK_282 LINK_86 LINK_117 LINK_108 LINK_100 LINK_287 000000 0 .names HALT_REG_18_ HALT_REG_27_ LINK_288 00 0 .names HALT_REG_53_ HALT_REG_44_ LINK_289 00 0 .names LINK_289 LINK_288 LINK_277 HALT_REG_33_ LINK_290 0000 0 .names LINK_290 LINK_288 LINK_291 10 1 .names LINK_291 LINK_286 LINK_100 LINK_292 000 0 .names LINK_290 HALT_REG_33_ LINK_293 10 1 .names LINK_293 LINK_117 LINK_294 00 0 .names LINK_290 LINK_289 LINK_295 10 1 .names LINK_295 LINK_86 LINK_108 LINK_296 000 0 .names LINK_290 LINK_277 LINK_297 10 1 .names LINK_297 LINK_282 LINK_298 00 0 .names LINK_292 LINK_296 LINK_294 LINK_298 LINK_287 LINK_299 11111 1 .names LINK_299 ROOT_HALTING_ 1 1 .names LINK_126 __LINK_12 1 1 .names LINK_262 __LINK_13 1 1 .names LINK_135 __LINK_14 1 1 .names LINK_266 __LINK_15 1 1 .names LINK_242 LINK_239 LINK_300 01 1 .names LINK_243 LINK_300 LINK_301 00 0 .names LINK_301 __LINK_16 1 1 .names LINK_242 LINK_235 LINK_302 01 1 .names LINK_302 __LINK_17 1 1 .names LINK_242 LINK_227 LINK_303 01 1 .names LINK_247 LINK_303 LINK_304 00 0 .names LINK_304 __LINK_18 1 1 .names LINK_242 LINK_214 LINK_305 01 1 .names LINK_249 LINK_305 LINK_306 00 0 .names LINK_306 __LINK_19 1 1 .names LINK_242 LINK_212 LINK_307 01 1 .names LINK_248 LINK_307 LINK_308 00 0 .names LINK_308 __LINK_20 1 1 .names LINK_95 __LINK_21 1 1 .names LINK_197 __LINK_22 1 1 .names LINK_144 __LINK_23 1 1 .names LINK_201 __LINK_24 1 1 .names LINK_177 LINK_174 LINK_309 01 1 .names LINK_178 LINK_309 LINK_310 00 0 .names LINK_310 __LINK_25 1 1 .names LINK_177 LINK_170 LINK_311 01 1 .names LINK_311 __LINK_26 1 1 .names LINK_177 LINK_162 LINK_312 01 1 .names LINK_182 LINK_312 LINK_313 00 0 .names LINK_313 __LINK_27 1 1 .names LINK_177 LINK_149 LINK_314 01 1 .names LINK_184 LINK_314 LINK_315 00 0 .names LINK_315 __LINK_28 1 1 .names LINK_177 LINK_147 LINK_316 01 1 .names LINK_183 LINK_316 LINK_317 00 0 .names LINK_317 __LINK_29 1 1 .names LINK_108 __LINK_30 1 1 .names LINK_86 __LINK_31 1 1 .names LINK_117 __LINK_32 1 1 .names LINK_100 __LINK_33 1 1 .names LINK_286 __LINK_34 1 1 .names __LINK_35 0 .names __LINK_35 __LINK_36 1 1 .names __LINK_34 __LINK_37 1 1 .names __LINK_33 __LINK_38 1 1 .names __LINK_32 __LINK_39 1 1 .names __LINK_31 __LINK_40 1 1 .names __LINK_30 __LINK_41 1 1 .names __LINK_29 __LINK_42 1 1 .names __LINK_28 __LINK_43 1 1 .names __LINK_27 __LINK_44 1 1 .names __LINK_26 __LINK_45 1 1 .names __LINK_25 __LINK_46 1 1 .names __LINK_24 __LINK_47 1 1 .names __LINK_23 __LINK_48 1 1 .names __LINK_22 __LINK_49 1 1 .names __LINK_21 __LINK_50 1 1 .names __LINK_20 __LINK_51 1 1 .names __LINK_19 __LINK_52 1 1 .names __LINK_18 __LINK_53 1 1 .names __LINK_17 __LINK_54 1 1 .names __LINK_16 __LINK_55 1 1 .names __LINK_15 __LINK_56 1 1 .names __LINK_14 __LINK_57 1 1 .names __LINK_13 __LINK_58 1 1 .names __LINK_12 __LINK_59 1 1 .latch __LINK_36 BOOT_REGISTER_ 1 .latch __LINK_37 HALT_REG_18_ 0 .latch __LINK_38 HALT_REG_27_ 0 .latch __LINK_39 HALT_REG_33_ 0 .latch __LINK_40 HALT_REG_44_ 0 .latch __LINK_41 HALT_REG_53_ 0 .latch __LINK_42 HALT_REG_79_ 0 .latch __LINK_43 HALT_REG_83_ 0 .latch __LINK_44 HALT_REG_88_ 0 .latch __LINK_45 HALT_REG_90_ 0 .latch __LINK_46 HALT_REG_100_ 0 .latch __LINK_47 HALT_REG_110_ 0 .latch __LINK_48 HALT_REG_116_ 0 .latch __LINK_49 HALT_REG_120_ 0 .latch __LINK_50 HALT_REG_126_ 0 .latch __LINK_51 HALT_REG_143_ 0 .latch __LINK_52 HALT_REG_147_ 0 .latch __LINK_53 HALT_REG_152_ 0 .latch __LINK_54 HALT_REG_154_ 0 .latch __LINK_55 HALT_REG_164_ 0 .latch __LINK_56 HALT_REG_174_ 0 .latch __LINK_57 HALT_REG_180_ 0 .latch __LINK_58 HALT_REG_184_ 0 .latch __LINK_59 HALT_REG_190_ 0 .end