compressed k1 0 0 15 6 6 18 x<? 1 6 36