(mod (A B)
  (include *standard-cl-23*)
  
  (defun F (X_$_37_$_17 Y_$_38_$_18) (letbinding_$_56 (r @) (* X_$_37_$_17 Y_$_38_$_18)))
  (defun-inline letbinding_$_56 ((X_$_37_$_17 Y_$_38_$_18) cse_$_41_$_19)
  (letbinding_$_57 (c (c X_$_37_$_17 (c Y_$_38_$_18 ())) (c cse_$_41_$_19 ())) (4 2 (4 (4 1 lambda_$_58) (4 (4 4 (4 (4 1 (c cse_$_41_$_19 (c X_$_37_$_17 (c Y_$_38_$_18 (q))))) (4 1 (q)))) (q))))))
  (defun lambda_$_58 ((cse_$_41_$_19 X_$_37_$_17 Y_$_38_$_18) Z_$_40_$_20_$_21) (* Z_$_40_$_20_$_21 cse_$_41_$_19))
  (defun letbinding_$_57 (((X_$_37_$_17 Y_$_38_$_18) cse_$_41_$_19) L_$_39) (* (a L_$_39 (4 X_$_37_$_17 ())) cse_$_41_$_19))
  (F A B)
  )