Open in CoCalc with one click!
files.txt
(File too big to be shown.)