_:b415284729 . _:b415284729 "0"^^ .