_:b415093503 . _:b415093503 "0"^^ .