_:b415193807 . _:b415193807 "0"^^ .