option num_threads '2'

option recursion 'aggressive'

option resource 'large'