DAG.KISIM₅×KAK

Also: gabar₂, kabar₂, pa_x(|DAG.KISIM₅×KAK|).