_:b415545794 . _:b415545794 "0"^^ .