stf forma maioria