The first line loads http://kparc.com/$/view.k http://kparc.com/$/view.k, where the first lines are multiple variable definitions per line. A non obfuscated ve

The first line loads http://kparc.com/$/view.k http://kparc.com/$/view.k, where the first lines are multiple variable definitions per line. A non obfuscated version is at http://kparc.com/edit.k http://kparc.com/edit.k where some stuff are explained.