_:b415133564 . _:b415133564 "0"^^ .