välsorteradt lager är J ( 1.