300.12/300.10	[19605] Failed to execute script irankfinder
300.12/300.10	Traceback (most recent call last):
300.12/300.10	  File "irankfinder.py", line 350, in <module>
300.12/300.10	  File "irankfinder.py", line 181, in launch
300.12/300.10	  File "irankfinder.py", line 200, in launch_file
300.12/300.10	  File "irankfinder.py", line 186, in parse_file
300.12/300.10	  File "genericparser/__init__.py", line 98, in parse
300.12/300.10	  File "genericparser/Parser_smt2.py", line 25, in parse
300.12/300.10	  File "genericparser/Parser_fc.py", line 28, in parse_string
300.12/300.10	  File "lark/lark.py", line 228, in parse
300.12/300.10	  File "lark/parser_frontends.py", line 38, in parse
300.12/300.10	  File "lark/parsers/lalr_parser.py", line 68, in parse
300.12/300.10	  File "lark/lexer.py", line 335, in lex
300.12/300.10	  File "lark/lexer.py", line 151, in lex
300.12/300.10	  File "lark/lexer.py", line 80, in __new__
300.12/300.10	  File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt
300.12/300.10	cysignals.signals.AlarmInterrupt
300.12/300.34	EOF