def load_headers(fsns:List[int]):
ip = get_ipython()<EOL>ip.user_ns['<STR_LIT>'] = {}<EOL>for type_ in ['<STR_LIT>', '<STR_LIT>']:<EOL><INDENT>print("<STR_LIT>" % (len(fsns), type_), flush=True)<EOL>processed = type_ == '<STR_LIT>'<EOL>headers = []<EOL>for f in fsns:<EOL><INDENT>for l in [l_ for l_ in ip.user_ns['<STR_LIT>'] if l_.processed == processed]:<EOL><INDENT>try:<EOL><INDENT>headers.append(l.loadheader(f))<EOL>break<EOL><DEDENT>except FileNotFoundError:<EOL><INDENT>continue<EOL><DEDENT><DEDENT><DEDENT>allsamplenames = {h.title for h in headers}<EOL>if not headers:<EOL><INDENT>print('<STR_LIT>' % type_)<EOL><DEDENT>else:<EOL><INDENT>print("<STR_LIT>" % (len(headers), type_, len(fsns)))<EOL>print('<STR_LIT>', min([h.fsn for h in headers]), '<STR_LIT:to>', max([h.fsn for h in headers]))<EOL>print("<STR_LIT>")<EOL>print("<STR_LIT:U+0020>" + "<STR_LIT>".join(sorted(allsamplenames)), flush=True)<EOL><DEDENT>if processed:<EOL><INDENT>ip.user_ns['<STR_LIT>'] = allsamplenames<EOL><DEDENT>ip.user_ns['<STR_LIT>'][type_] = headers<EOL><DEDENT>
Load header files