# GATE testing alternate primer based on gates: COS_AND circuit
       # This section contains one or more representations of a circuit
       # constructed using UNLESS gates. Needs elaboration...
       # graphic representation :
       #
[hear] (define cos_and_gate /
         vector
          (vector 0 2 2 2 (true))
          (vector 0 8 2 8 (true))
          (vector 2 2 4 2 (true))
          (vector 2 4 4 4 (true))
          (vector 2 6 4 6 (true))
          (vector 2 8 4 8 (true))
          (vector 4 2 4 4 (true))
          (vector 4 8 4 6 (true))
          (vector 4 4 6 4 (false))
          (vector 4 6 6 6 (false))
          (vector 6 4 8 4 (false))
          (vector 6 6 8 6 (false))
          (vector 8 4 10 4 (false))
          (vector 8 6 10 6 (false))
          (vector 10 2 10 4 (true))
          (vector 10 4 10 6 (true))
          (vector 10 6 10 8 (true))
          (vector 10 8 12 8 (true))
          (vector 12 8 14 8 (true))
          (vector 14 8 16 8 (true))
          (vector 16 8 18 8 (true)));

[hear] (define cos_and_image /
         make-image 88 153 /
         vector
          (:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:...........:...............:...........................................................................................................................:)
          (:..:::::::::::.....:::::::::::..........................................................................................................................:)
          (:..::::::::::::....::::::::::::.........................................................................................................................:)
          (:..:::::::::::.....:::::::::::..........................................................................................................................:)
          (:...........:...............:...........................................................................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:.............................:::::...........................................:::::.....................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:...........................:...:...........:...............:...............:...:.......................................................................:)
          (:..................:::::::::::..............::..............::..............::..........................................................................:)
          (:..................::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................................:)
          (:..................:::::::::::..............::..............::..............::..........................................................................:)
          (:...........................:...............:...............:...............:...........................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:..............................................................................:::......................................................................:)
          (:.............................................................................:::::.....................................................................:)
          (:..............................................................................:::......................................................................:)
          (:...........................:...............:...............:...............:...:.......................................................................:)
          (:..................:::::::::::..............::..............::..............::..........................................................................:)
          (:..................::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................................:)
          (:..................:::::::::::..............::..............::..............::..........................................................................:)
          (:...........................:...:...........:...............:...............:...........................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:.............................:::::............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:..............................:::............................................:::::.....................................................................:)
          (:..............................:::.............................................:::......................................................................:)
          (:...........:...............:...................................................:...........:...............:...............:...............:...........:)
          (:..:::::::::::.....:::::::::::.....................................................:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........:)
          (:..::::::::::::....::::::::::::....................................................::::::::::::....::::::::::::....::::::::::::....::::::::::::.........:)
          (:..:::::::::::.....:::::::::::.....................................................:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........:)
          (:...........:...............:...............................................................:...............:...............:...............:...........:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:.......................................................................................................................................................:)
          (:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::));

[hear] (equal (cos_and_gate)
               (distill-circuit (cos_and_image)));