compressed k1 0 0 9 4 4 12 c> 1 4 21