../../Task/Cyclops-numbers/XPL0