_:b415769142 . _:b415769142 "0"^^ .