The full technical write-up. An interactive version is planned.

Download PDF