_:b424157502 . _:b424157502 "0"^^ .