#! /usr/bin/make
# Last edited on 2026-04-21 06:31:42 by stolfi

.PHONY:
.PHONY: all

all:
	do_note_005.sh