compressed k1 0 0 4 2 2 4 ` 1 2 10