©
fixedpoints
fixedpointsads < fixedpointsrp