1 665c255d 2023-08-04 jrmu (cadaddr '(1 3 (5 7) 9)))
2 665c255d 2023-08-04 jrmu 
3 665c255d 2023-08-04 jrmu (caar '((7)))
4 665c255d 2023-08-04 jrmu 
5 665c255d 2023-08-04 jrmu (cadadadadadadr (1 (2 (3 (4 (5 (6 7)))))))