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