Details in Kinopio format:

https://kinopio.club/torlisp-july-2023-WIPjaCSWHQPFzArgWamFm