Open in CoCalc with one click!
(File too big to render with math typesetting.)
A synthetic example
;