#! /usr/bin/make
# Last edited on 2026-04-24 15:35:02 by stolfi

.PHONY:
.PHONY: all

all:
	do_note_007.sh