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