_:b415202511 . _:b415202511 "0"^^ .