#! /bin/bash -eu
# Last edited on 2026-03-25 04:47:50 by stolfi

???