208 lines
3.9 KiB
Plaintext
208 lines
3.9 KiB
Plaintext
# c432
|
|
|
|
INPUT(1)
|
|
INPUT(4)
|
|
INPUT(8)
|
|
INPUT(11)
|
|
INPUT(14)
|
|
INPUT(17)
|
|
INPUT(21)
|
|
INPUT(24)
|
|
INPUT(27)
|
|
INPUT(30)
|
|
INPUT(34)
|
|
INPUT(37)
|
|
INPUT(40)
|
|
INPUT(43)
|
|
INPUT(47)
|
|
INPUT(50)
|
|
INPUT(53)
|
|
INPUT(56)
|
|
INPUT(60)
|
|
INPUT(63)
|
|
INPUT(66)
|
|
INPUT(69)
|
|
INPUT(73)
|
|
INPUT(76)
|
|
INPUT(79)
|
|
INPUT(82)
|
|
INPUT(86)
|
|
INPUT(89)
|
|
INPUT(92)
|
|
INPUT(95)
|
|
INPUT(99)
|
|
INPUT(102)
|
|
INPUT(105)
|
|
INPUT(108)
|
|
INPUT(112)
|
|
INPUT(115)
|
|
|
|
OUTPUT(223)
|
|
OUTPUT(329)
|
|
OUTPUT(370)
|
|
OUTPUT(421)
|
|
OUTPUT(430)
|
|
OUTPUT(431)
|
|
OUTPUT(432)
|
|
|
|
118 = NOT(1)
|
|
119 = NOT(4)
|
|
122 = NOT(11)
|
|
123 = NOT(17)
|
|
126 = NOT(24)
|
|
127 = NOT(30)
|
|
130 = NOT(37)
|
|
131 = NOT(43)
|
|
134 = NOT(50)
|
|
135 = NOT(56)
|
|
138 = NOT(63)
|
|
139 = NOT(69)
|
|
142 = NOT(76)
|
|
143 = NOT(82)
|
|
146 = NOT(89)
|
|
147 = NOT(95)
|
|
150 = NOT(102)
|
|
151 = NOT(108)
|
|
154 = NAND(118, 4)
|
|
157 = NOR(8, 119)
|
|
158 = NOR(14, 119)
|
|
159 = NAND(122, 17)
|
|
162 = NAND(126, 30)
|
|
165 = NAND(130, 43)
|
|
168 = NAND(134, 56)
|
|
171 = NAND(138, 69)
|
|
174 = NAND(142, 82)
|
|
177 = NAND(146, 95)
|
|
180 = NAND(150, 108)
|
|
183 = NOR(21, 123)
|
|
184 = NOR(27, 123)
|
|
185 = NOR(34, 127)
|
|
186 = NOR(40, 127)
|
|
187 = NOR(47, 131)
|
|
188 = NOR(53, 131)
|
|
189 = NOR(60, 135)
|
|
190 = NOR(66, 135)
|
|
191 = NOR(73, 139)
|
|
192 = NOR(79, 139)
|
|
193 = NOR(86, 143)
|
|
194 = NOR(92, 143)
|
|
195 = NOR(99, 147)
|
|
196 = NOR(105, 147)
|
|
197 = NOR(112, 151)
|
|
198 = NOR(115, 151)
|
|
199 = AND(154, 159, 162, 165, 168, 171, 174, 177, 180)
|
|
203 = NOT(199)
|
|
213 = NOT(199)
|
|
223 = NOT(199)
|
|
224 = XOR(203, 154)
|
|
227 = XOR(203, 159)
|
|
230 = XOR(203, 162)
|
|
233 = XOR(203, 165)
|
|
236 = XOR(203, 168)
|
|
239 = XOR(203, 171)
|
|
242 = NAND(1, 213)
|
|
243 = XOR(203, 174)
|
|
246 = NAND(213, 11)
|
|
247 = XOR(203, 177)
|
|
250 = NAND(213, 24)
|
|
251 = XOR(203, 180)
|
|
254 = NAND(213, 37)
|
|
255 = NAND(213, 50)
|
|
256 = NAND(213, 63)
|
|
257 = NAND(213, 76)
|
|
258 = NAND(213, 89)
|
|
259 = NAND(213, 102)
|
|
260 = NAND(224, 157)
|
|
263 = NAND(224, 158)
|
|
264 = NAND(227, 183)
|
|
267 = NAND(230, 185)
|
|
270 = NAND(233, 187)
|
|
273 = NAND(236, 189)
|
|
276 = NAND(239, 191)
|
|
279 = NAND(243, 193)
|
|
282 = NAND(247, 195)
|
|
285 = NAND(251, 197)
|
|
288 = NAND(227, 184)
|
|
289 = NAND(230, 186)
|
|
290 = NAND(233, 188)
|
|
291 = NAND(236, 190)
|
|
292 = NAND(239, 192)
|
|
293 = NAND(243, 194)
|
|
294 = NAND(247, 196)
|
|
295 = NAND(251, 198)
|
|
296 = AND(260, 264, 267, 270, 273, 276, 279, 282, 285)
|
|
300 = NOT(263)
|
|
301 = NOT(288)
|
|
302 = NOT(289)
|
|
303 = NOT(290)
|
|
304 = NOT(291)
|
|
305 = NOT(292)
|
|
306 = NOT(293)
|
|
307 = NOT(294)
|
|
308 = NOT(295)
|
|
309 = NOT(296)
|
|
319 = NOT(296)
|
|
329 = NOT(296)
|
|
330 = XOR(309, 260)
|
|
331 = XOR(309, 264)
|
|
332 = XOR(309, 267)
|
|
333 = XOR(309, 270)
|
|
334 = NAND(8, 319)
|
|
335 = XOR(309, 273)
|
|
336 = NAND(319, 21)
|
|
337 = XOR(309, 276)
|
|
338 = NAND(319, 34)
|
|
339 = XOR(309, 279)
|
|
340 = NAND(319, 47)
|
|
341 = XOR(309, 282)
|
|
342 = NAND(319, 60)
|
|
343 = XOR(309, 285)
|
|
344 = NAND(319, 73)
|
|
345 = NAND(319, 86)
|
|
346 = NAND(319, 99)
|
|
347 = NAND(319, 112)
|
|
348 = NAND(330, 300)
|
|
349 = NAND(331, 301)
|
|
350 = NAND(332, 302)
|
|
351 = NAND(333, 303)
|
|
352 = NAND(335, 304)
|
|
353 = NAND(337, 305)
|
|
354 = NAND(339, 306)
|
|
355 = NAND(341, 307)
|
|
356 = NAND(343, 308)
|
|
357 = AND(348, 349, 350, 351, 352, 353, 354, 355, 356)
|
|
360 = NOT(357)
|
|
370 = NOT(357)
|
|
371 = NAND(14, 360)
|
|
372 = NAND(360, 27)
|
|
373 = NAND(360, 40)
|
|
374 = NAND(360, 53)
|
|
375 = NAND(360, 66)
|
|
376 = NAND(360, 79)
|
|
377 = NAND(360, 92)
|
|
378 = NAND(360, 105)
|
|
379 = NAND(360, 115)
|
|
380 = NAND(4, 242, 334, 371)
|
|
381 = NAND(246, 336, 372, 17)
|
|
386 = NAND(250, 338, 373, 30)
|
|
393 = NAND(254, 340, 374, 43)
|
|
399 = NAND(255, 342, 375, 56)
|
|
404 = NAND(256, 344, 376, 69)
|
|
407 = NAND(257, 345, 377, 82)
|
|
411 = NAND(258, 346, 378, 95)
|
|
414 = NAND(259, 347, 379, 108)
|
|
415 = NOT(380)
|
|
416 = AND(381, 386, 393, 399, 404, 407, 411, 414)
|
|
417 = NOT(393)
|
|
418 = NOT(404)
|
|
419 = NOT(407)
|
|
420 = NOT(411)
|
|
421 = NOR(415, 416)
|
|
422 = NAND(386, 417)
|
|
425 = NAND(386, 393, 418, 399)
|
|
428 = NAND(399, 393, 419)
|
|
429 = NAND(386, 393, 407, 420)
|
|
430 = NAND(381, 386, 422, 399)
|
|
431 = NAND(381, 386, 425, 428)
|
|
432 = NAND(381, 422, 425, 429)
|