_:b424459803 . _:b424459803 "0"^^ .