set-character-encoding stdio utf-8
set input_position_type chars
set backgroundColor lightgrey
set max_xle_scratch_storage 4096
set timeout 100
set prune_subtree_file subtree-features.txt
set prune_subtree_cutoff 5
