_:b416052393 . _:b416052393 "0"^^ .