compressed k1 0 0 11 5 5 15 `? 1 5 27