_:b415093579 . _:b415093579 "0"^^ .