CurryCheck.curry 61 KB