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