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