(MULTIPLY-1-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-1-TEST-VECTOR)
(MULTIPLY-1-TEST-VECTOR-MOD)
(MULTIPLY-1-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-2-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-2-TEST-VECTOR)
(MULTIPLY-2-TEST-VECTOR-MOD)
(MULTIPLY-2-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-3-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-3-TEST-VECTOR)
(MULTIPLY-3-TEST-VECTOR-MOD)
(MULTIPLY-3-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-4-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-4-TEST-VECTOR)
(MULTIPLY-4-TEST-VECTOR-MOD)
(MULTIPLY-4-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-8-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-8-TEST-VECTOR)
(MULTIPLY-8-TEST-VECTOR-MOD)
(MULTIPLY-8-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-10-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-10-TEST-VECTOR)
(MULTIPLY-10-TEST-VECTOR-MOD)
(MULTIPLY-10-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-12-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-12-TEST-VECTOR)
(MULTIPLY-12-TEST-VECTOR-MOD)
(MULTIPLY-12-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-16-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-16-TEST-VECTOR)
(MULTIPLY-16-TEST-VECTOR-MOD)
(MULTIPLY-16-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-32-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-32-TEST-VECTOR)
(MULTIPLY-32-TEST-VECTOR-MOD)
(MULTIPLY-32-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
(MULTIPLY-64-TEST-VECTOR)
(PROCESSED-STV-P-OF-MULTIPLY-64-TEST-VECTOR)
(MULTIPLY-64-TEST-VECTOR-MOD)
(MULTIPLY-64-CORRECT
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-INTEGER-2))
 )
