../../Task/Check-Machin-like-formulas/XPL0