History of Diagonal Ramsey numbers

who	what
2026-08-09 09:10	flattening	entries rewritten as records with named parameters	current
2026-08-09 08:33	data-repository import	the current state of the data repository	reviewed
2021-03-05 18:37	admin	from the data repository, 9553fc42
2021-03-04 19:49	admin	from the data repository, 7c8d1063
2021-02-24 02:12	admin	from the data repository, a89fda6e
2021-02-01 03:40	admin	from the data repository, f9bb3fe6
2021-01-14 11:24	admin	from the data repository, a73de03d

from line 62 (32 lines, 20 more than before) @@ -62,12 +62,32 @@

   number-header: $R(n,n)$ Numbers:-  '1': '[1, 1]'-  '2': '[2, 2]'-  '3': '[6, 6]'-  '4': '[18, 18]'-  '5': '[43, 48]'-  '6': '[102, 165]'-  '7': '[205, 540]'-  '8': '[282, 1870]'-  '9': '[565, 6588]'-  '10': '[798, 23556]'+- params:+    n: '1'+  number: '[1, 1]'+- params:+    n: '2'+  number: '[2, 2]'+- params:+    n: '3'+  number: '[6, 6]'+- params:+    n: '4'+  number: '[18, 18]'+- params:+    n: '5'+  number: '[43, 48]'+- params:+    n: '6'+  number: '[102, 165]'+- params:+    n: '7'+  number: '[205, 540]'+- params:+    n: '8'+  number: '[282, 1870]'+- params:+    n: '9'+  number: '[565, 6588]'+- params:+    n: '10'+  number: '[798, 23556]'

History of Diagonal Ramsey numbers

What changed between 2026-08-09 08:33 and 2026-08-09 09:10