_:b415769138 . _:b415769138 "0"^^ .