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