# GATE testing alternate primer based on gates: COS_NOR circuit
# This section contains one or more representations of a circuit
# constructed using UNLESS gates. Needs elaboration...
# graphic representation : 
#
[hear] (define cos_nor_gate /
vector
(vector 0 6 2 6 (true))
(vector 0 8 2 8 (true))
(vector 2 6 4 6 (true))
(vector 2 8 4 8 (true))
(vector 4 6 6 6 (true))
(vector 4 8 6 8 (true))
(vector 6 6 8 6 (true))
(vector 6 8 8 8 (true))
(vector 8 4 8 6 (true))
(vector 8 6 8 8 (false))
(vector 8 8 8 10 (false))
(vector 8 10 10 10 (false))
(vector 10 10 12 10 (false))
(vector 12 10 14 10 (false))
(vector 14 10 16 10 (false))
(vector 16 10 18 10 (false))
(vector 18 10 20 10 (false)));
[hear] (define cos_nor_image /
make-image 125 169 /
vector
(:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:.............................................................:::::.....................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:...........:...............:...............:...............:...:.......................................................................................................:)
(:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................................................................:)
(:..::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................................................................:)
(:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................................................................:)
(:...........:...............:...............:...............:...........................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:.............................................................:::::.....................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:...........:...............:...............:...............:...:.......................................................................................................:)
(:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................................................................:)
(:..::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................................................................:)
(:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................................................................:)
(:...........:...............:...............:...............:...........................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:...............................................................:.......................................................................................................:)
(:.............................................................:::::.....................................................................................................:)
(:..............................................................:::......................................................................................................:)
(:...............................................................:...........:...............:...............:...............:...............:...............:...........:)
(:...........................................................................::..............::..............::..............::..............::..............::..........:)
(:..................................................................::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::.........:)
(:...........................................................................::..............::..............::..............::..............::..............::..........:)
(:...........................................................................:...............:...............:...............:...............:...............:...........:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:.......................................................................................................................................................................:)
(:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::));
[hear] (equal (cos_nor_gate)
(distill-circuit (cos_nor_image)));