_:b415816138 . _:b415816138 "0"^^ .