F
xxxx
xxxx
xxxx
xxxx
S
2;2,4
V
_OP(i1,i2)::SUM(i1,i2)
R1
EQ(CELLS(L),4)
-EQ(TILES(L),1)
--NOT(EQ(t1,c1))
---+0:t1,e,e,e
--+L
-EQ(TILES(L),2)
--EQ(t1,t2)
---+_OP(t1,t2):_OP(t1,t2),e,e,e
--NOT(AND(EQ(t1,c1),EQ(t2,c2)))
---+0:t1,t2,e,e
--+L
-EQ(TILES(L),3)
--EQ(t1,t2)
---+_OP(t1,t2):_OP(t1,t2),t3,e,e
--EQ(t2,t3)
---+_OP(t2,t3):t1,_OP(t2,t3),e,e
--NOT(EQ(c4,e)
---+0:t1,t2,t3,e
--+L
-EQ(TILES(L),4)
--EQ(t1,t2)
---EQ(t3,t4)
----+SUM(_OP(t1,t2),_OP(t3,t4)):_OP(t1,t2),_OP(t3,t4),e,e
---+_OP(t1,t2):_OP(t1,t2),t3,t4,e
--_OP(t2,t3)
---++_OP(t2,t3):t1,_OP(t2,t3),t4,e
--EQ(t3,t4)
---++_OP(t3,t4):t1,t2,_OP(t3,t4),e
+L
R2
+2,4