../../Task/Damm-algorithm/XPL0