1 665c255d 2023-08-04 jrmu (/ (+ 5 4 (- 2 2 665c255d 2023-08-04 jrmu (- 3 3 665c255d 2023-08-04 jrmu (+ 6 4 665c255d 2023-08-04 jrmu (/ 4 5))))) 5 665c255d 2023-08-04 jrmu (* 3 (- 6 2) (- 2 7)))