../../Task/Curzon-numbers/XPL0