../../Task/Giuga-numbers/XPL0