Export1.curry 46 Bytes