compressed k1 0 0 13 6 6 18 88x?? 1 6 30