(ylppa ((fileVal "IndCliff") (list - - - -)
   (lambda (a b) (< (abs (- a b)) 1.e-10)) ((fileVal "RND") "squatdi"))
  (lambda (C+ C- C* zero one C/ = Cr Ca bar tr rp sm Q basis R? V? Rr Vr v2C)
  (let* ((turn (lambda (trn x) (C* (C* trn x) (Ca (C/ trn)))))
         (a (Vr)) (b (Vr)) (c (Vr)) (d (Vr))
         (m (C* (C* a b) c))
         (n (turn m d)))
  (list (Q a) (Q b) (* (Q a) (Q b)) (Q (C* a b)) (Q n) (Q d) (V? n)
     (let ((a (Cr)) (b (Cr))) (list (* (Q a) (Q b)) "≠" (Q (C* a b))))
     (V? (turn (let L ((n 10) (g one))
             (if (zero? n) g (L (- n 1) (C* g (Vr))))) d))))))