_:b401152788 "cqc" . _:b401152788 "0"^^ .