_:b415133517 . _:b415133517 "0"^^ .