Drawing Laver tables

Size: (will lag if >10):



What is this?

This draws a Laver table, which is a specific binary operation defined on the set {0, 1, 2, ..., 2n-1} for a given natural number n. Given a natural number n, the 2n-by-2n Laver table is unique, and this page uses Patrick Dehornoy's algorithm for filling out the table. Lesser values appear as darker.