_:b415873908 . _:b415873908 "0"^^ .