208 lines
4.2 KiB
Plaintext
208 lines
4.2 KiB
Plaintext
# c\432
|
|
|
|
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)
|