# Last edited on 2026-02-09 23:34:21 by stolfi

all:
	 do_note_074.sh 25e1