KAD₅&KAD₅.KAD₅&KAD₅

Also: tal_x(|KAD₅&KAD₅.KAD₅&KAD₅|), til_x(|KAD₅&KAD₅.KAD₅&KAD₅|).