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

[hear] (define cos_sr_image /
         make-image 88 169 /
         vector
          (:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:...........:...............:...............:...............:...............:...............:...............:...........................................................:)
          (:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................:)
          (:..::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................:)
          (:..:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..........................................................:)
          (:...........:...............:...............:...............:...............:...............:...............:...........................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:..............................................................................................................:::......................................................:)
          (:.............................................................................................................:::::.....................................................:)
          (:..............................................................................................................:::......................................................:)
          (:...................................................................:...............:...............:...........:...:...................................................:)
          (:..................................................................::..............::..............::..............:::::::::::..........................................:)
          (:.................................................................::::::::::::....::::::::::::....::::::::::::....::::::::::::..........................................:)
          (:..................................................................::..............::..............::..............:::::::::::..........................................:)
          (:...................................................................:...............:...........:...:...............:...................................................:)
          (:...............................................................:..............................:::......................................................................:)
          (:...............................................................:.............................:::::.....................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:...............................................................:...............................:.......................................................................:)
          (:.............................................................:::::.............................:.......................................................................:)
          (:..............................................................:::..............................:.......................................................................:)
          (:...........................................:...............:...:...........:...............:...........................................................................:)
          (:..................................:::::::::::..............::..............::..............::..........................................................................:)
          (:..................................::::::::::::....::::::::::::....::::::::::::....::::::::::::.........................................................................:)
          (:..................................:::::::::::..............::..............::..............::..........................................................................:)
          (:...........................................:...:...........:...............:...............:...........................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:.............................................:::::.............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::..............................:.......................................................................................:)
          (:..............................................:::............................:::::.....................................................................................:)
          (:..............................................:::.............................:::......................................................................................:)
          (:...........:...............:...............:...................................:...........:...............:...............:...............:...............:...........:)
          (:..:::::::::::.....:::::::::::.....:::::::::::..............................................::..............::..............::..............::..............::..........:)
          (:..::::::::::::....::::::::::::....::::::::::::....................................::::::::::::....::::::::::::....::::::::::::....::::::::::::....::::::::::::.........:)
          (:..:::::::::::.....:::::::::::.....:::::::::::..............................................::..............::..............::..............::..............::..........:)
          (:...........:...............:...............:...............................................:...............:...............:...............:...............:...........:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:.......................................................................................................................................................................:)
          (:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::));

[hear] (equal (cos_sr_gate)
               (distill-circuit (cos_sr_image)));