Export3.curry 62 Bytes