: : total running time: m68,s44 : : : : : : : : : : rude boy chi grub : M:xed Euphoria : : : : : : : : : :