resolver {[( 2-1+7):4]-1}.3=​