_:b415148211 . _:b415148211 "0"^^ .