_:b415806518 . _:b415806518 "0"^^ .