Die TIDs, in der Reihenfolge der Antwort. Leer, wenn das Geraet keine nennt (dann ist es trotzdem ein Treffer -- es hat geantwortet).
List<String> get tids => <String>[ for (final t in terminals) if (t.tid != null && t.tid!.isNotEmpty) t.tid!, ];