.--..--..--..--..--..--..--..--..--..--..--..--..--..--.
/ .. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \
\ \/\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ \/ /
\/ /`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'\/ /
/ /\ / /\
/ /\ \ ____ _ / /\ \
\ \/ / | __ )| | ___ __ _ \ \/ /
\/ / | _ \| |/ _ \ / _` | \/ /
/ /\ | |_) | | (_) | (_| | / /\
/ /\ \ |____/|_|\___/ \__, | / /\ \
\ \/ / |___/ \ \/ /
\/ / \/ /
/ /\.--..--..--..--..--..--..--..--..--..--..--..--./ /\
/ /\ \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \.. \/\ \
\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `'\ `' /
`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'`--'
08/11/2025 test
Mostly ripped off from simplifier.