_:b425579522 . _:b425579522 "0"^^ .