_:b419725413 . _:b419725413 "0"^^ .