compressed k8 0 0 8 12 12 72 8;%XRK(- 1 12 10