# 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)));