//FIL(I=0) = (esq.pega -> dir.pega -> come -> esq.larga -> dir.larga -> FIL ). FIL(I=0) = (when (I%2==0) esq.pega -> dir.pega -> come -> esq.larga -> dir.larga -> FIL | when (I%2==1) dir.pega -> esq.pega -> come -> dir.larga -> esq.larga -> FIL). GARFO = (pega -> larga -> GARFO). ||JANTAR = (fil[0]:FIL(0) || fil[1]:FIL(1) || fil[2]:FIL(2) || fil[3]:FIL(3) || fil[4]:FIL(4) || {fil[0].dir,fil[1].esq}:GARFO || {fil[1].dir,fil[2].esq}:GARFO || {fil[2].dir,fil[3].esq}:GARFO || {fil[3].dir,fil[4].esq}:GARFO || {fil[4].dir,fil[0].esq}:GARFO).