Restricted_sumset loading ...