idris-0.9.19.1: benchmarks/quasigroups/board
. . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . . . . . . . . . . . . 9 . . . . . . . . . . 1 . . . . . . . . . . 1 . . . . . . . . . . .