_:b415675579 . _:b415675579 "0"^^ .