How would you describe them?
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation
