_:b424075142 . _:b424075142 "0"^^ .