_:b425150893 . _:b425150893 "0"^^ .