a v { k s | l s a v ik s jl s a v 1 s a v k s 1s