_:b412519352 . _:b412519352 "0"^^ .