compressed k1 0 0 12 9 9 27 `( y(( 3 9 6