# Last edited on 2025-03-27 22:28:24 by stolfi

all: 
	find_dots.py > dots.txt