_:b424351408 . _:b424351408 "0"^^ .