_:b424391312 . _:b424391312 "0"^^ .