/k:1 /cpu:1 # /stratifiedInline:1 # /extractLoops /recursionBound:5 /main:Main /trackAllVars /npLevel:0 # /noTrace /inlineDepth:7 # /z3opt:RELEVANCY=0 # /shuffle