quantitative complexity 5483170