invariant
457 remembered, 321 forgotten.
- invariant/1 — 150 remembered, 110 forgotten (260 keys)
- invariant/2 — 155 remembered, 104 forgotten (259 keys)
- invariant/3 — 152 remembered, 107 forgotten (259 keys)
invariant457 remembered, 321 forgotten.