1 2 3 4 5 6 7 8 9 10
@add = (<+ a b> (a b)) @main = a & @sum ~ (#26 a) @sum = (?<(a b) c> c) & (a b) ~ (#1 @sum$S0) @sum$S0 = ({3 a b} c) & @add ~ (d (e c)) & @sum ~ (b e) & @sum ~ (a d)