CurryCheck.curry 53.5 KB