Every number in use, one per numbered table.
Iterable<String> get numbers => [ for (final t in tables) if (t.number != null) t.number! ];