_:b424039535 . _:b424039535 "0"^^ .