_:b415942499 . _:b415942499 "0"^^ .