_:b424411533 . _:b424411533 "0"^^ .