Ints12.curry 313 Bytes