1 2 3 4 5 6 7
import $"preludes/l1.tlc"; ( for c:I64 in range(1,11) for b:I64 in range(1,c) for a:I64 in range(1,b) if a^2 + b^2 == c^2 && a+b+c == 24 yield (a,b,c) );