Future<List<String>> readList() async { final line = (await readLine()).trim(); if (line.isEmpty) return []; return line.split(RegExp(r'\s+')); }