This page needs JavaScript for its interactive trace. The full write-up is in the
README
.