Ints12.curry 297 Bytes