_:b415047892 . _:b415047892 "0"^^ .