Update extracted.sage