_:b419158733 . _:b419158733 "0"^^ .