1.model rcn25 2.outputs n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 \ 3n18 n19 n20 n21 n22 n23 n24 4 5.latch nn0 n0 2 6.latch nn1 n1 2 7.latch nn2 n2 2 8.latch nn3 n3 2 9.latch nn4 n4 2 10.latch nn5 n5 2 11.latch nn6 n6 2 12.latch nn7 n7 2 13.latch nn8 n8 2 14.latch nn9 n9 2 15.latch nn10 n10 2 16.latch nn11 n11 2 17.latch nn12 n12 2 18.latch nn13 n13 2 19.latch nn14 n14 2 20.latch nn15 n15 2 21.latch nn16 n16 2 22.latch nn17 n17 2 23.latch nn18 n18 2 24.latch nn19 n19 2 25.latch nn20 n20 2 26.latch nn21 n21 2 27.latch nn22 n22 2 28.latch nn23 n23 2 29.latch nn24 n24 2 30 31.names n0 s0 320 1 33.names n0 c1 341 1 35.names n1 n0 c1 s1 36100 1 37010 1 38001 1 39111 1 40.names n1 n0 c1 c2 4111- 1 421-1 1 43-11 1 44.names n2 n1 c2 s2 45100 1 46010 1 47001 1 48111 1 49.names n2 n1 c2 c3 5011- 1 511-1 1 52-11 1 53.names n3 n2 c3 s3 54100 1 55010 1 56001 1 57111 1 58.names n3 n2 c3 c4 5911- 1 601-1 1 61-11 1 62.names n4 n3 c4 s4 63100 1 64010 1 65001 1 66111 1 67.names n4 n3 c4 c5 6811- 1 691-1 1 70-11 1 71.names n5 n4 c5 s5 72100 1 73010 1 74001 1 75111 1 76.names n5 n4 c5 c6 7711- 1 781-1 1 79-11 1 80.names n6 n5 c6 s6 81100 1 82010 1 83001 1 84111 1 85.names n6 n5 c6 c7 8611- 1 871-1 1 88-11 1 89.names n7 n6 c7 s7 90100 1 91010 1 92001 1 93111 1 94.names n7 n6 c7 c8 9511- 1 961-1 1 97-11 1 98.names n8 n7 c8 s8 99100 1 100010 1 101001 1 102111 1 103.names n8 n7 c8 c9 10411- 1 1051-1 1 106-11 1 107.names n9 n8 c9 s9 108100 1 109010 1 110001 1 111111 1 112.names n9 n8 c9 c10 11311- 1 1141-1 1 115-11 1 116.names n10 n9 c10 s10 117100 1 118010 1 119001 1 120111 1 121.names n10 n9 c10 c11 12211- 1 1231-1 1 124-11 1 125.names n11 n10 c11 s11 126100 1 127010 1 128001 1 129111 1 130.names n11 n10 c11 c12 13111- 1 1321-1 1 133-11 1 134.names n12 n11 c12 s12 135100 1 136010 1 137001 1 138111 1 139.names n12 n11 c12 c13 14011- 1 1411-1 1 142-11 1 143.names n13 n12 c13 s13 144100 1 145010 1 146001 1 147111 1 148.names n13 n12 c13 c14 14911- 1 1501-1 1 151-11 1 152.names n14 n13 c14 s14 153100 1 154010 1 155001 1 156111 1 157.names n14 n13 c14 c15 15811- 1 1591-1 1 160-11 1 161.names n15 n14 c15 s15 162100 1 163010 1 164001 1 165111 1 166.names n15 n14 c15 c16 16711- 1 1681-1 1 169-11 1 170.names n16 n15 c16 s16 171100 1 172010 1 173001 1 174111 1 175.names n16 n15 c16 c17 17611- 1 1771-1 1 178-11 1 179.names n17 n16 c17 s17 180100 1 181010 1 182001 1 183111 1 184.names n17 n16 c17 c18 18511- 1 1861-1 1 187-11 1 188.names n18 n17 c18 s18 189100 1 190010 1 191001 1 192111 1 193.names n18 n17 c18 c19 19411- 1 1951-1 1 196-11 1 197.names n19 n18 c19 s19 198100 1 199010 1 200001 1 201111 1 202.names n19 n18 c19 c20 20311- 1 2041-1 1 205-11 1 206.names n20 n19 c20 s20 207100 1 208010 1 209001 1 210111 1 211.names n20 n19 c20 c21 21211- 1 2131-1 1 214-11 1 215.names n21 n20 c21 s21 216100 1 217010 1 218001 1 219111 1 220.names n21 n20 c21 c22 22111- 1 2221-1 1 223-11 1 224.names n22 n21 c22 s22 225100 1 226010 1 227001 1 228111 1 229.names n22 n21 c22 c23 23011- 1 2311-1 1 232-11 1 233.names n23 n22 c23 s23 234100 1 235010 1 236001 1 237111 1 238.names n23 n22 c23 c24 23911- 1 2401-1 1 241-11 1 242.names n24 n23 c24 s24 243100 1 244010 1 245001 1 246111 1 247.names n24 n23 c24 c25 24811- 1 2491-1 1 250-11 1 251.names n24 c25 s25 25210 1 25301 1 254.names n24 c25 s26 25511 1 256 257.names s25 s26 of 25800 0 259 260.names n0 of s0 n1 nn0 261101- 1 2620--1 1 263.names n0 of s1 n2 nn1 264101- 1 2650--1 1 266.names n0 of s2 n3 nn2 267101- 1 2680--1 1 269.names n0 of s3 n4 nn3 270101- 1 2710--1 1 272.names n0 of s4 n5 nn4 273101- 1 2740--1 1 275.names n0 of s5 n6 nn5 276101- 1 2770--1 1 278.names n0 of s6 n7 nn6 279101- 1 2800--1 1 281.names n0 of s7 n8 nn7 282101- 1 2830--1 1 284.names n0 of s8 n9 nn8 285101- 1 2860--1 1 287.names n0 of s9 n10 nn9 288101- 1 2890--1 1 290.names n0 of s10 n11 nn10 291101- 1 2920--1 1 293.names n0 of s11 n12 nn11 294101- 1 2950--1 1 296.names n0 of s12 n13 nn12 297101- 1 2980--1 1 299.names n0 of s13 n14 nn13 300101- 1 3010--1 1 302.names n0 of s14 n15 nn14 303101- 1 3040--1 1 305.names n0 of s15 n16 nn15 306101- 1 3070--1 1 308.names n0 of s16 n17 nn16 309101- 1 3100--1 1 311.names n0 of s17 n18 nn17 312101- 1 3130--1 1 314.names n0 of s18 n19 nn18 315101- 1 3160--1 1 317.names n0 of s19 n20 nn19 318101- 1 3190--1 1 320.names n0 of s20 n21 nn20 321101- 1 3220--1 1 323.names n0 of s21 n22 nn21 324101- 1 3250--1 1 326.names n0 of s22 n23 nn22 327101- 1 3280--1 1 329.names n0 of s23 n24 nn23 330101- 1 3310--1 1 332.names n0 of s24 nn24 333101 1 334 335.end 336