_:b57269848 _:b57269849 . _:b57269848 . _:b57269849 . _:b57269849 "decreases" .