_:b415039803 . _:b415039803 "0"^^ .