tree2.spec 90 Bytes
Newer Older
1
2
3
4
5
6
7
8
Workflow

forallmay i True -> R += (i)
forallmay i,j (R(i)) -> S += (i,j)

Target

S(x,y)