From 8e224ab8125a3ec34e0c70ac9ef12ae389661aaf Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 15 Oct 2023 19:38:47 +0200
Subject: Fixed some minor things

---
 std/AIT/Beavers.bruijn | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'std/AIT/Beavers.bruijn')

diff --git a/std/AIT/Beavers.bruijn b/std/AIT/Beavers.bruijn
index f75b6af..2dfa375 100644
--- a/std/AIT/Beavers.bruijn
+++ b/std/AIT/Beavers.bruijn
@@ -2,6 +2,8 @@
 # all currently known binary busy beavers
 # originally proposed and calculated by John Tromp
 
+# reduction results in OEIS sequence A333479
+
 invalid [0 0] [0 0]
 
 # not possible
-- 
cgit v1.2.3