_:b424351219 . _:b424351219 "0"^^ .