The numbered tables carrying number (trimmed, exact ==, T4).
number
==
List<TableInfo> withNumber(String number) { final n = number.trim(); return [ for (final t in tables) if (t.number == n) t ]; }