diff options
Diffstat (limited to 'std/AIT/Beavers.bruijn')
| -rw-r--r-- | std/AIT/Beavers.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
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 |