Ints12.curry 283 Bytes