_:b415133573 . _:b415133573 "0"^^ .