_:b415055720 . _:b415055720 "0"^^ .