Lights Out 灭灯游戏（最高20×20，多状态矩阵逻辑）

GeoGebra 命令及参数

1. Sequence(k, k, 1, 20) → columnas
2. Sequence(k, k, 1, 20) → filas
3. SelectedElement(columnas) → nC
4. SelectedElement(filas) → nF
5. Sequence(Segment[A + (0, ((-k) * an)), A + ((an * nC), ((-k) * an))], k, 0, nF) → tabH
6. Sequence(Segment[A + ((k * an), 0), A + ((k * an), ((-an) * nF))], k, 0, nC) → tabV
7. If(op1, 1, op2, 2, 3) → op
8. Sequence(Sequence[A + ((j - 0.5, 0.5 - i) * an) - (0.15, 0.2), j, 1, 20], i, 1, 20) → cen, {{(-12.63, 6.659999999999982), (-10.23, 6.659999999999982), (-7.83, 6.659999999999982), (-5.43, 6.659999999999982), (-3.0300000000000007, 6.659999999999982), (-0.6300000000000004, 6.659999999999982), (1.77, 6.659999999999982), (4.17, 6.659999999999982), (6.5699999999999985, 6.659999999999982), (8.97, 6.659999999999982), (11.37, 6.659999999999982), (13.769999999999998, 6.659999999999982), (16.17, 6.659999999999982), (18.57, 6.659999999999982), (20.97, 6.659999999999982), (23.369999999999997, 6.659999999999982), (25.770000000000003, 6.659999999999982), (28.17, 6.659999999999982), (30.57, 6.659999999999982), (32.97, 6.659999999999982)}, {(-12.63, 4.259999999999983), (-10.23, 4.259999999999983), (-7.83, 4.259999999999983), (-5.43, 4.259999999999983), (-3.0300000000000007, 4.259999999999983), (-0.6300000000000004, 4.259999999999983), (1.77, 4.259999999999983), (4.17, 4.259999999999983), (6.5699999999999985, 4.259999999999983), (8.97, 4.259999999999983), (11.37, 4.259999999999983), (13.769999999999998, 4.259999999999983), (16.17, 4.259999999999983), (18.57, 4.259999999999983), (20.97, 4.259999999999983), (23.369999999999997, 4.259999999999983), (25.770000000000003, 4.259999999999983), (28.17, 4.259999999999983), (30.57, 4.259999999999983), (32.97, 4.259999999999983)}, {(-12.63, 1.8599999999999828), (-10.23, 1.8599999999999828), (-7.83, 1.8599999999999828), (-5.43, 1.8599999999999828), (-3.0300000000000007, 1.8599999999999828), (-0.6300000000000004, 1.8599999999999828), (1.77, 1.8599999999999828), (4.17, 1.8599999999999828), (6.5699999999999985, 1.8599999999999828), (8.97, 1.8599999999999828), (11.37, 1.8599999999999828), (13.769999999999998, 1.8599999999999828), (16.17, 1.8599999999999828), (18.57, 1.8599999999999828), (20.97, 1.8599999999999828), (23.369999999999997, 1.8599999999999828), (25.770000000000003, 1.8599999999999828), (28.17, 1.8599999999999828), (30.57, 1.8599999999999828), (32.97, 1.8599999999999828)}, {(-12.63, -0.5400000000000176), (-10.23, -0.5400000000000176), (-7.83, -0.5400000000000176), (-5.43, -0.5400000000000176), (-3.0300000000000007, -0.5400000000000176), (-0.6300000000000004, -0.5400000000000176), (1.77, -0.5400000000000176), (4.17, -0.5400000000000176), (6.5699999999999985, -0.5400000000000176), (8.97, -0.5400000000000176), (11.37, -0.5400000000000176), (13.769999999999998, -0.5400000000000176), (16.17, -0.5400000000000176), (18.57, -0.5400000000000176), (20.97, -0.5400000000000176), (23.369999999999997, -0.5400000000000176), (25.770000000000003, -0.5400000000000176), (28.17, -0.5400000000000176), (30.57, -0.5400000000000176), (32.97, -0.5400000000000176)}, {(-12.63, -2.9400000000000164), (-10.23, -2.9400000000000164), (-7.83, -2.9400000000000164), (-5.43, -2.9400000000000164), (-3.0300000000000007, -2.9400000000000164), (-0.6300000000000004, -2.9400000000000164), (1.77, -2.9400000000000164), (4.17, -2.9400000000000164), (6.5699999999999985, -2.9400000000000164), (8.97, -2.9400000000000164), (11.37, -2.9400000000000164), (13.769999999999998, -2.9400000000000164), (16.17, -2.9400000000000164), (18.57, -2.9400000000000164), (20.97, -2.9400000000000164), (23.369999999999997, -2.9400000000000164), (25.770000000000003, -2.9400000000000164), (28.17, -2.9400000000000164), (30.57, -2.9400000000000164), (32.97, -2.9400000000000164)}, {(-12.63, -5.340000000000017), (-10.23, -5.340000000000017), (-7.83, -5.340000000000017), (-5.43, -5.340000000000017), (-3.0300000000000007, -5.340000000000017), (-0.6300000000000004, -5.340000000000017), (1.77, -5.340000000000017), (4.17, -5.340000000000017), (6.5699999999999985, -5.340000000000017), (8.97, -5.340000000000017), (11.37, -5.340000000000017), (13.769999999999998, -5.340000000000017), (16.17, -5.340000000000017), (18.57, -5.340000000000017), (20.97, -5.340000000000017), (23.369999999999997, -5.340000000000017), (25.770000000000003, -5.340000000000017), (28.17, -5.340000000000017), (30.57, -5.340000000000017), (32.97, -5.340000000000017)}, {(-12.63, -7.740000000000017), (-10.23, -7.740000000000017), (-7.83, -7.740000000000017), (-5.43, -7.740000000000017), (-3.0300000000000007, -7.740000000000017), (-0.6300000000000004, -7.740000000000017), (1.77, -7.740000000000017), (4.17, -7.740000000000017), (6.5699999999999985, -7.740000000000017), (8.97, -7.740000000000017), (11.37, -7.740000000000017), (13.769999999999998, -7.740000000000017), (16.17, -7.740000000000017), (18.57, -7.740000000000017), (20.97, -7.740000000000017), (23.369999999999997, -7.740000000000017), (25.770000000000003, -7.740000000000017), (28.17, -7.740000000000017), (30.57, -7.740000000000017), (32.97, -7.740000000000017)}, {(-12.63, -10.140000000000017), (-10.23, -10.140000000000017), (-7.83, -10.140000000000017), (-5.43, -10.140000000000017), (-3.0300000000000007, -10.140000000000017), (-0.6300000000000004, -10.140000000000017), (1.77, -10.140000000000017), (4.17, -10.140000000000017), (6.5699999999999985, -10.140000000000017), (8.97, -10.140000000000017), (11.37, -10.140000000000017), (13.769999999999998, -10.140000000000017), (16.17, -10.140000000000017), (18.57, -10.140000000000017), (20.97, -10.140000000000017), (23.369999999999997, -10.140000000000017), (25.770000000000003, -10.140000000000017), (28.17, -10.140000000000017), (30.57, -10.140000000000017), (32.97, -10.140000000000017)}, {(-12.63, -12.540000000000015), (-10.23, -12.540000000000015), (-7.83, -12.540000000000015), (-5.43, -12.540000000000015), (-3.0300000000000007, -12.540000000000015), (-0.6300000000000004, -12.540000000000015), (1.77, -12.540000000000015), (4.17, -12.540000000000015), (6.5699999999999985, -12.540000000000015), (8.97, -12.540000000000015), (11.37, -12.540000000000015), (13.769999999999998, -12.540000000000015), (16.17, -12.540000000000015), (18.57, -12.540000000000015), (20.97, -12.540000000000015), (23.369999999999997, -12.540000000000015), (25.770000000000003, -12.540000000000015), (28.17, -12.540000000000015), (30.57, -12.540000000000015), (32.97, -12.540000000000015)}, {(-12.63, -14.940000000000017), (-10.23, -14.940000000000017), (-7.83, -14.940000000000017), (-5.43, -14.940000000000017), (-3.0300000000000007, -14.940000000000017), (-0.6300000000000004, -14.940000000000017), (1.77, -14.940000000000017), (4.17, -14.940000000000017), (6.5699999999999985, -14.940000000000017), (8.97, -14.940000000000017), (11.37, -14.940000000000017), (13.769999999999998, -14.940000000000017), (16.17, -14.940000000000017), (18.57, -14.940000000000017), (20.97, -14.940000000000017), (23.369999999999997, -14.940000000000017), (25.770000000000003, -14.940000000000017), (28.17, -14.940000000000017), (30.57, -14.940000000000017), (32.97, -14.940000000000017)}, {(-12.63, -17.340000000000014), (-10.23, -17.340000000000014), (-7.83, -17.340000000000014), (-5.43, -17.340000000000014), (-3.0300000000000007, -17.340000000000014), (-0.6300000000000004, -17.340000000000014), (1.77, -17.340000000000014), (4.17, -17.340000000000014), (6.5699999999999985, -17.340000000000014), (8.97, -17.340000000000014), (11.37, -17.340000000000014), (13.769999999999998, -17.340000000000014), (16.17, -17.340000000000014), (18.57, -17.340000000000014), (20.97, -17.340000000000014), (23.369999999999997, -17.340000000000014), (25.770000000000003, -17.340000000000014), (28.17, -17.340000000000014), (30.57, -17.340000000000014), (32.97, -17.340000000000014)}, {(-12.63, -19.740000000000013), (-10.23, -19.740000000000013), (-7.83, -19.740000000000013), (-5.43, -19.740000000000013), (-3.0300000000000007, -19.740000000000013), (-0.6300000000000004, -19.740000000000013), (1.77, -19.740000000000013), (4.17, -19.740000000000013), (6.5699999999999985, -19.740000000000013), (8.97, -19.740000000000013), (11.37, -19.740000000000013), (13.769999999999998, -19.740000000000013), (16.17, -19.740000000000013), (18.57, -19.740000000000013), (20.97, -19.740000000000013), (23.369999999999997, -19.740000000000013), (25.770000000000003, -19.740000000000013), (28.17, -19.740000000000013), (30.57, -19.740000000000013), (32.97, -19.740000000000013)}, {(-12.63, -22.14000000000002), (-10.23, -22.14000000000002), (-7.83, -22.14000000000002), (-5.43, -22.14000000000002), (-3.0300000000000007, -22.14000000000002), (-0.6300000000000004, -22.14000000000002), (1.77, -22.14000000000002), (4.17, -22.14000000000002), (6.5699999999999985, -22.14000000000002), (8.97, -22.14000000000002), (11.37, -22.14000000000002), (13.769999999999998, -22.14000000000002), (16.17, -22.14000000000002), (18.57, -22.14000000000002), (20.97, -22.14000000000002), (23.369999999999997, -22.14000000000002), (25.770000000000003, -22.14000000000002), (28.17, -22.14000000000002), (30.57, -22.14000000000002), (32.97, -22.14000000000002)}, {(-12.63, -24.540000000000017), (-10.23, -24.540000000000017), (-7.83, -24.540000000000017), (-5.43, -24.540000000000017), (-3.0300000000000007, -24.540000000000017), (-0.6300000000000004, -24.540000000000017), (1.77, -24.540000000000017), (4.17, -24.540000000000017), (6.5699999999999985, -24.540000000000017), (8.97, -24.540000000000017), (11.37, -24.540000000000017), (13.769999999999998, -24.540000000000017), (16.17, -24.540000000000017), (18.57, -24.540000000000017), (20.97, -24.540000000000017), (23.369999999999997, -24.540000000000017), (25.770000000000003, -24.540000000000017), (28.17, -24.540000000000017), (30.57, -24.540000000000017), (32.97, -24.540000000000017)}, {(-12.63, -26.940000000000015), (-10.23, -26.940000000000015), (-7.83, -26.940000000000015), (-5.43, -26.940000000000015), (-3.0300000000000007, -26.940000000000015), (-0.6300000000000004, -26.940000000000015), (1.77, -26.940000000000015), (4.17, -26.940000000000015), (6.5699999999999985, -26.940000000000015), (8.97, -26.940000000000015), (11.37, -26.940000000000015), (13.769999999999998, -26.940000000000015), (16.17, -26.940000000000015), (18.57, -26.940000000000015), (20.97, -26.940000000000015), (23.369999999999997, -26.940000000000015), (25.770000000000003, -26.940000000000015), (28.17, -26.940000000000015), (30.57, -26.940000000000015), (32.97, -26.940000000000015)}, {(-12.63, -29.340000000000014), (-10.23, -29.340000000000014), (-7.83, -29.340000000000014), (-5.43, -29.340000000000014), (-3.0300000000000007, -29.340000000000014), (-0.6300000000000004, -29.340000000000014), (1.77, -29.340000000000014), (4.17, -29.340000000000014), (6.5699999999999985, -29.340000000000014), (8.97, -29.340000000000014), (11.37, -29.340000000000014), (13.769999999999998, -29.340000000000014), (16.17, -29.340000000000014), (18.57, -29.340000000000014), (20.97, -29.340000000000014), (23.369999999999997, -29.340000000000014), (25.770000000000003, -29.340000000000014), (28.17, -29.340000000000014), (30.57, -29.340000000000014), (32.97, -29.340000000000014)}, {(-12.63, -31.74000000000002), (-10.23, -31.74000000000002), (-7.83, -31.74000000000002), (-5.43, -31.74000000000002), (-3.0300000000000007, -31.74000000000002), (-0.6300000000000004, -31.74000000000002), (1.77, -31.74000000000002), (4.17, -31.74000000000002), (6.5699999999999985, -31.74000000000002), (8.97, -31.74000000000002), (11.37, -31.74000000000002), (13.769999999999998, -31.74000000000002), (16.17, -31.74000000000002), (18.57, -31.74000000000002), (20.97, -31.74000000000002), (23.369999999999997, -31.74000000000002), (25.770000000000003, -31.74000000000002), (28.17, -31.74000000000002), (30.57, -31.74000000000002), (32.97, -31.74000000000002)}, {(-12.63, -34.14000000000002), (-10.23, -34.14000000000002), (-7.83, -34.14000000000002), (-5.43, -34.14000000000002), (-3.0300000000000007, -34.14000000000002), (-0.6300000000000004, -34.14000000000002), (1.77, -34.14000000000002), (4.17, -34.14000000000002), (6.5699999999999985, -34.14000000000002), (8.97, -34.14000000000002), (11.37, -34.14000000000002), (13.769999999999998, -34.14000000000002), (16.17, -34.14000000000002), (18.57, -34.14000000000002), (20.97, -34.14000000000002), (23.369999999999997, -34.14000000000002), (25.770000000000003, -34.14000000000002), (28.17, -34.14000000000002), (30.57, -34.14000000000002), (32.97, -34.14000000000002)}, {(-12.63, -36.54000000000002), (-10.23, -36.54000000000002), (-7.83, -36.54000000000002), (-5.43, -36.54000000000002), (-3.0300000000000007, -36.54000000000002), (-0.6300000000000004, -36.54000000000002), (1.77, -36.54000000000002), (4.17, -36.54000000000002), (6.5699999999999985, -36.54000000000002), (8.97, -36.54000000000002), (11.37, -36.54000000000002), (13.769999999999998, -36.54000000000002), (16.17, -36.54000000000002), (18.57, -36.54000000000002), (20.97, -36.54000000000002), (23.369999999999997, -36.54000000000002), (25.770000000000003, -36.54000000000002), (28.17, -36.54000000000002), (30.57, -36.54000000000002), (32.97, -36.54000000000002)}, {(-12.63, -38.94000000000002), (-10.23, -38.94000000000002), (-7.83, -38.94000000000002), (-5.43, -38.94000000000002), (-3.0300000000000007, -38.94000000000002), (-0.6300000000000004, -38.94000000000002), (1.77, -38.94000000000002), (4.17, -38.94000000000002), (6.5699999999999985, -38.94000000000002), (8.97, -38.94000000000002), (11.37, -38.94000000000002), (13.769999999999998, -38.94000000000002), (16.17, -38.94000000000002), (18.57, -38.94000000000002), (20.97, -38.94000000000002), (23.369999999999997, -38.94000000000002), (25.770000000000003, -38.94000000000002), (28.17, -38.94000000000002), (30.57, -38.94000000000002), (32.97, -38.94000000000002)}}
9. Text(cruz(1, 1), cen(1, 1), true) → tf1c1
10. Text(cruz(1, 2), cen(1, 2), true) → tf1c2
11. Text(cruz(2, 1), cen(2, 1), true) → tf2c1
12. Text(cruz(2, 2), cen(2, 2), true) → tf2c2
13. Text(cruz(1, 3), cen(1, 3), true) → tf1c3
14. Text(cruz(1, 4), cen(1, 4), true) → tf1c4
15. Text(cruz(1, 5), cen(1, 5), true) → tf1c5
16. Text(cruz(1, 6), cen(1, 6), true) → tf1c6
17. Text(cruz(1, 7), cen(1, 7), true) → tf1c7
18. Text(cruz(1, 8), cen(1, 8), true) → tf1c8
19. Text(cruz(1, 9), cen(1, 9), true) → tf1c9
20. Text(cruz(1, 10), cen(1, 10), true) → tf1c10
21. Text(cruz(1, 11), cen(1, 11), true) → tf1c11
22. Text(cruz(1, 12), cen(1, 12), true) → tf1c12
23. Text(cruz(1, 13), cen(1, 13), true) → tf1c13
24. Text(cruz(1, 14), cen(1, 14), true) → tf1c14
25. Text(cruz(1, 15), cen(1, 15), true) → tf1c15
26. Text(cruz(1, 16), cen(1, 16), true) → tf1c16
27. Text(cruz(1, 17), cen(1, 17), true) → tf1c17
28. Text(cruz(1, 18), cen(1, 18), true) → tf1c18
29. Text(cruz(1, 19), cen(1, 19), true) → tf1c19
30. Text(cruz(1, 20), cen(1, 20), true) → tf1c20
31. Text(cruz(2, 3), cen(2, 3), true) → tf2c3
32. Text(cruz(2, 4), cen(2, 4), true) → tf2c4
33. Text(cruz(2, 5), cen(2, 5), true) → tf2c5
34. Text(cruz(2, 6), cen(2, 6), true) → tf2c6
35. Text(cruz(2, 7), cen(2, 7), true) → tf2c7
36. Text(cruz(2, 8), cen(2, 8), true) → tf2c8
37. Text(cruz(2, 9), cen(2, 9), true) → tf2c9
38. Text(cruz(2, 10), cen(2, 10), true) → tf2c10
39. Text(cruz(2, 11), cen(2, 11), true) → tf2c11
40. Text(cruz(2, 12), cen(2, 12), true) → tf2c12
41. Text(cruz(2, 13), cen(2, 13), true) → tf2c13
42. Text(cruz(2, 14), cen(2, 14), true) → tf2c14
43. Text(cruz(2, 15), cen(2, 15), true) → tf2c15
44. Text(cruz(2, 16), cen(2, 16), true) → tf2c16
45. Text(cruz(2, 17), cen(2, 17), true) → tf2c17
46. Text(cruz(2, 18), cen(2, 18), true) → tf2c18
47. Text(cruz(2, 19), cen(2, 19), true) → tf2c19
48. Text(cruz(2, 20), cen(2, 20), true) → tf2c20
49. Text(cruz(3, 1), cen(3, 1), true) → tf3c1
50. Text(cruz(3, 2), cen(3, 2), true) → tf3c2
51. Text(cruz(3, 3), cen(3, 3), true) → tf3c3
52. Text(cruz(3, 4), cen(3, 4), true) → tf3c4
53. Text(cruz(3, 5), cen(3, 5), true) → tf3c5
54. Text(cruz(3, 6), cen(3, 6), true) → tf3c6
55. Text(cruz(3, 7), cen(3, 7), true) → tf3c7
56. Text(cruz(3, 8), cen(3, 8), true) → tf3c8
57. Text(cruz(3, 9), cen(3, 9), true) → tf3c9
58. Text(cruz(3, 10), cen(3, 10), true) → tf3c10
59. Text(cruz(3, 11), cen(3, 11), true) → tf3c11
60. Text(cruz(3, 12), cen(3, 12), true) → tf3c12
61. Text(cruz(3, 13), cen(3, 13), true) → tf3c13
62. Text(cruz(3, 14), cen(3, 14), true) → tf3c14
63. Text(cruz(3, 15), cen(3, 15), true) → tf3c15
64. Text(cruz(3, 16), cen(3, 16), true) → tf3c16
65. Text(cruz(3, 17), cen(3, 17), true) → tf3c17
66. Text(cruz(3, 18), cen(3, 18), true) → tf3c18
67. Text(cruz(3, 19), cen(3, 19), true) → tf3c19
68. Text(cruz(3, 20), cen(3, 20), true) → tf3c20
69. Text(cruz(4, 1), cen(4, 1), true) → tf4c1
70. Text(cruz(4, 2), cen(4, 2), true) → tf4c2
71. Text(cruz(4, 3), cen(4, 3), true) → tf4c3
72. Text(cruz(4, 4), cen(4, 4), true) → tf4c4
73. Text(cruz(4, 5), cen(4, 5), true) → tf4c5
74. Text(cruz(4, 6), cen(4, 6), true) → tf4c6
75. Text(cruz(4, 7), cen(4, 7), true) → tf4c7
76. Text(cruz(4, 8), cen(4, 8), true) → tf4c8
77. Text(cruz(4, 9), cen(4, 9), true) → tf4c9
78. Text(cruz(4, 10), cen(4, 10), true) → tf4c10
79. Text(cruz(4, 11), cen(4, 11), true) → tf4c11
80. Text(cruz(4, 12), cen(4, 12), true) → tf4c12
81. Text(cruz(4, 13), cen(4, 13), true) → tf4c13
82. Text(cruz(4, 14), cen(4, 14), true) → tf4c14
83. Text(cruz(4, 15), cen(4, 15), true) → tf4c15
84. Text(cruz(4, 16), cen(4, 16), true) → tf4c16
85. Text(cruz(4, 17), cen(4, 17), true) → tf4c17
86. Text(cruz(4, 18), cen(4, 18), true) → tf4c18
87. Text(cruz(4, 19), cen(4, 19), true) → tf4c19
88. Text(cruz(4, 20), cen(4, 20), true) → tf4c20
89. Text(cruz(5, 1), cen(5, 1), true) → tf5c1
90. Text(cruz(5, 2), cen(5, 2), true) → tf5c2
91. Text(cruz(5, 3), cen(5, 3), true) → tf5c3
92. Text(cruz(5, 4), cen(5, 4), true) → tf5c4
93. Text(cruz(5, 5), cen(5, 5), true) → tf5c5
94. Text(cruz(5, 6), cen(5, 6), true) → tf5c6
95. Text(cruz(5, 7), cen(5, 7), true) → tf5c7
96. Text(cruz(5, 8), cen(5, 8), true) → tf5c8
97. Text(cruz(5, 9), cen(5, 9), true) → tf5c9
98. Text(cruz(5, 10), cen(5, 10), true) → tf5c10
99. Text(cruz(5, 11), cen(5, 11), true) → tf5c11
100. Text(cruz(5, 12), cen(5, 12), true) → tf5c12
101. Text(cruz(5, 13), cen(5, 13), true) → tf5c13
102. Text(cruz(5, 14), cen(5, 14), true) → tf5c14
103. Text(cruz(5, 15), cen(5, 15), true) → tf5c15
104. Text(cruz(5, 16), cen(5, 16), true) → tf5c16
105. Text(cruz(5, 17), cen(5, 17), true) → tf5c17
106. Text(cruz(5, 18), cen(5, 18), true) → tf5c18
107. Text(cruz(5, 19), cen(5, 19), true) → tf5c19
108. Text(cruz(5, 20), cen(5, 20), true) → tf5c20
109. Text(cruz(6, 1), cen(6, 1), true) → tf6c1
110. Text(cruz(6, 2), cen(6, 2), true) → tf6c2
111. Text(cruz(6, 3), cen(6, 3), true) → tf6c3
112. Text(cruz(6, 4), cen(6, 4), true) → tf6c4
113. Text(cruz(6, 5), cen(6, 5), true) → tf6c5
114. Text(cruz(6, 6), cen(6, 6), true) → tf6c6
115. Text(cruz(6, 7), cen(6, 7), true) → tf6c7
116. Text(cruz(6, 8), cen(6, 8), true) → tf6c8
117. Text(cruz(6, 9), cen(6, 9), true) → tf6c9
118. Text(cruz(6, 10), cen(6, 10), true) → tf6c10
119. Text(cruz(6, 11), cen(6, 11), true) → tf6c11
120. Text(cruz(6, 12), cen(6, 12), true) → tf6c12
121. Text(cruz(6, 13), cen(6, 13), true) → tf6c13
122. Text(cruz(6, 14), cen(6, 14), true) → tf6c14
123. Text(cruz(6, 15), cen(6, 15), true) → tf6c15
124. Text(cruz(6, 16), cen(6, 16), true) → tf6c16
125. Text(cruz(6, 17), cen(6, 17), true) → tf6c17
126. Text(cruz(6, 18), cen(6, 18), true) → tf6c18
127. Text(cruz(6, 19), cen(6, 19), true) → tf6c19
128. Text(cruz(6, 20), cen(6, 20), true) → tf6c20
129. Text(cruz(7, 1), cen(7, 1), true) → tf7c1
130. Text(cruz(7, 2), cen(7, 2), true) → tf7c2
131. Text(cruz(7, 3), cen(7, 3), true) → tf7c3
132. Text(cruz(7, 4), cen(7, 4), true) → tf7c4
133. Text(cruz(7, 5), cen(7, 5), true) → tf7c5
134. Text(cruz(7, 6), cen(7, 6), true) → tf7c6
135. Text(cruz(7, 7), cen(7, 7), true) → tf7c7
136. Text(cruz(7, 8), cen(7, 8), true) → tf7c8
137. Text(cruz(7, 9), cen(7, 9), true) → tf7c9
138. Text(cruz(7, 10), cen(7, 10), true) → tf7c10
139. Text(cruz(7, 11), cen(7, 11), true) → tf7c11
140. Text(cruz(7, 12), cen(7, 12), true) → tf7c12
141. Text(cruz(7, 13), cen(7, 13), true) → tf7c13
142. Text(cruz(7, 14), cen(7, 14), true) → tf7c14
143. Text(cruz(7, 15), cen(7, 15), true) → tf7c15
144. Text(cruz(7, 16), cen(7, 16), true) → tf7c16
145. Text(cruz(7, 17), cen(7, 17), true) → tf7c17
146. Text(cruz(7, 18), cen(7, 18), true) → tf7c18
147. Text(cruz(7, 19), cen(7, 19), true) → tf7c19
148. Text(cruz(7, 20), cen(7, 20), true) → tf7c20
149. Text(cruz(8, 1), cen(8, 1), true) → tf8c1
150. Text(cruz(8, 2), cen(8, 2), true) → tf8c2
151. Text(cruz(8, 3), cen(8, 3), true) → tf8c3
152. Text(cruz(8, 4), cen(8, 4), true) → tf8c4
153. Text(cruz(8, 5), cen(8, 5), true) → tf8c5
154. Text(cruz(8, 6), cen(8, 6), true) → tf8c6
155. Text(cruz(8, 7), cen(8, 7), true) → tf8c7
156. Text(cruz(8, 8), cen(8, 8), true) → tf8c8
157. Text(cruz(8, 9), cen(8, 9), true) → tf8c9
158. Text(cruz(8, 10), cen(8, 10), true) → tf8c10
159. Text(cruz(8, 11), cen(8, 11), true) → tf8c11
160. Text(cruz(8, 12), cen(8, 12), true) → tf8c12
161. Text(cruz(8, 13), cen(8, 13), true) → tf8c13
162. Text(cruz(8, 14), cen(8, 14), true) → tf8c14
163. Text(cruz(8, 15), cen(8, 15), true) → tf8c15
164. Text(cruz(8, 16), cen(8, 16), true) → tf8c16
165. Text(cruz(8, 17), cen(8, 17), true) → tf8c17
166. Text(cruz(8, 18), cen(8, 18), true) → tf8c18
167. Text(cruz(8, 19), cen(8, 19), true) → tf8c19
168. Text(cruz(8, 20), cen(8, 20), true) → tf8c20
169. Text(cruz(9, 1), cen(9, 1), true) → tf9c1
170. Text(cruz(9, 2), cen(9, 2), true) → tf9c2
171. Text(cruz(9, 3), cen(9, 3), true) → tf9c3
172. Text(cruz(9, 4), cen(9, 4), true) → tf9c4
173. Text(cruz(9, 5), cen(9, 5), true) → tf9c5
174. Text(cruz(9, 6), cen(9, 6), true) → tf9c6
175. Text(cruz(9, 7), cen(9, 7), true) → tf9c7
176. Text(cruz(9, 8), cen(9, 8), true) → tf9c8
177. Text(cruz(9, 9), cen(9, 9), true) → tf9c9
178. Text(cruz(9, 10), cen(9, 10), true) → tf9c10
179. Text(cruz(9, 11), cen(9, 11), true) → tf9c11
180. Text(cruz(9, 12), cen(9, 12), true) → tf9c12
181. Text(cruz(9, 13), cen(9, 13), true) → tf9c13
182. Text(cruz(9, 14), cen(9, 14), true) → tf9c14
183. Text(cruz(9, 15), cen(9, 15), true) → tf9c15
184. Text(cruz(9, 16), cen(9, 16), true) → tf9c16
185. Text(cruz(9, 17), cen(9, 17), true) → tf9c17
186. Text(cruz(9, 18), cen(9, 18), true) → tf9c18
187. Text(cruz(9, 19), cen(9, 19), true) → tf9c19
188. Text(cruz(9, 20), cen(9, 20), true) → tf9c20
189. Text(cruz(10, 1), cen(10, 1), true) → tf10c1
190. Text(cruz(10, 2), cen(10, 2), true) → tf10c2
191. Text(cruz(10, 3), cen(10, 3), true) → tf10c3
192. Text(cruz(10, 4), cen(10, 4), true) → tf10c4
193. Text(cruz(10, 5), cen(10, 5), true) → tf10c5
194. Text(cruz(10, 6), cen(10, 6), true) → tf10c6
195. Text(cruz(10, 7), cen(10, 7), true) → tf10c7
196. Text(cruz(10, 8), cen(10, 8), true) → tf10c8
197. Text(cruz(10, 9), cen(10, 9), true) → tf10c9
198. Text(cruz(10, 10), cen(10, 10), true) → tf10c10
199. Text(cruz(10, 11), cen(10, 11), true) → tf10c11
200. Text(cruz(10, 12), cen(10, 12), true) → tf10c12
201. Text(cruz(10, 13), cen(10, 13), true) → tf10c13
202. Text(cruz(10, 14), cen(10, 14), true) → tf10c14
203. Text(cruz(10, 15), cen(10, 15), true) → tf10c15
204. Text(cruz(10, 16), cen(10, 16), true) → tf10c16
205. Text(cruz(10, 17), cen(10, 17), true) → tf10c17
206. Text(cruz(10, 18), cen(10, 18), true) → tf10c18
207. Text(cruz(10, 19), cen(10, 19), true) → tf10c19
208. Text(cruz(10, 20), cen(10, 20), true) → tf10c20
209. Text(cruz(11, 1), cen(11, 1), true) → tf11c1
210. Text(cruz(11, 2), cen(11, 2), true) → tf11c2
211. Text(cruz(11, 3), cen(11, 3), true) → tf11c3
212. Text(cruz(11, 4), cen(11, 4), true) → tf11c4
213. Text(cruz(11, 5), cen(11, 5), true) → tf11c5
214. Text(cruz(11, 6), cen(11, 6), true) → tf11c6
215. Text(cruz(11, 7), cen(11, 7), true) → tf11c7
216. Text(cruz(11, 8), cen(11, 8), true) → tf11c8
217. Text(cruz(11, 9), cen(11, 9), true) → tf11c9
218. Text(cruz(11, 10), cen(11, 10), true) → tf11c10
219. Text(cruz(11, 11), cen(11, 11), true) → tf11c11
220. Text(cruz(11, 12), cen(11, 12), true) → tf11c12
221. Text(cruz(11, 13), cen(11, 13), true) → tf11c13
222. Text(cruz(11, 14), cen(11, 14), true) → tf11c14
223. Text(cruz(11, 15), cen(11, 15), true) → tf11c15
224. Text(cruz(11, 16), cen(11, 16), true) → tf11c16
225. Text(cruz(11, 17), cen(11, 17), true) → tf11c17
226. Text(cruz(11, 18), cen(11, 18), true) → tf11c18
227. Text(cruz(11, 19), cen(11, 19), true) → tf11c19
228. Text(cruz(11, 20), cen(11, 20), true) → tf11c20
229. Text(cruz(12, 1), cen(12, 1), true) → tf12c1
230. Text(cruz(12, 2), cen(12, 2), true) → tf12c2
231. Text(cruz(12, 3), cen(12, 3), true) → tf12c3
232. Text(cruz(12, 4), cen(12, 4), true) → tf12c4
233. Text(cruz(12, 5), cen(12, 5), true) → tf12c5
234. Text(cruz(12, 6), cen(12, 6), true) → tf12c6
235. Text(cruz(12, 7), cen(12, 7), true) → tf12c7
236. Text(cruz(12, 8), cen(12, 8), true) → tf12c8
237. Text(cruz(12, 9), cen(12, 9), true) → tf12c9
238. Text(cruz(12, 10), cen(12, 10), true) → tf12c10
239. Text(cruz(12, 11), cen(12, 11), true) → tf12c11
240. Text(cruz(12, 12), cen(12, 12), true) → tf12c12
241. Text(cruz(12, 13), cen(12, 13), true) → tf12c13
242. Text(cruz(12, 14), cen(12, 14), true) → tf12c14
243. Text(cruz(12, 15), cen(12, 15), true) → tf12c15
244. Text(cruz(12, 16), cen(12, 16), true) → tf12c16
245. Text(cruz(12, 17), cen(12, 17), true) → tf12c17
246. Text(cruz(12, 18), cen(12, 18), true) → tf12c18
247. Text(cruz(12, 19), cen(12, 19), true) → tf12c19
248. Text(cruz(12, 20), cen(12, 20), true) → tf12c20
249. Text(cruz(13, 1), cen(13, 1), true) → tf13c1
250. Text(cruz(13, 2), cen(13, 2), true) → tf13c2
251. Text(cruz(13, 3), cen(13, 3), true) → tf13c3
252. Text(cruz(13, 4), cen(13, 4), true) → tf13c4
253. Text(cruz(13, 5), cen(13, 5), true) → tf13c5
254. Text(cruz(13, 6), cen(13, 6), true) → tf13c6
255. Text(cruz(13, 7), cen(13, 7), true) → tf13c7
256. Text(cruz(13, 8), cen(13, 8), true) → tf13c8
257. Text(cruz(13, 9), cen(13, 9), true) → tf13c9
258. Text(cruz(13, 10), cen(13, 10), true) → tf13c10
259. Text(cruz(13, 11), cen(13, 11), true) → tf13c11
260. Text(cruz(13, 12), cen(13, 12), true) → tf13c12
261. Text(cruz(13, 13), cen(13, 13), true) → tf13c13
262. Text(cruz(13, 14), cen(13, 14), true) → tf13c14
263. Text(cruz(13, 15), cen(13, 15), true) → tf13c15
264. Text(cruz(13, 16), cen(13, 16), true) → tf13c16
265. Text(cruz(13, 17), cen(13, 17), true) → tf13c17
266. Text(cruz(13, 18), cen(13, 18), true) → tf13c18
267. Text(cruz(13, 19), cen(13, 19), true) → tf13c19
268. Text(cruz(13, 20), cen(13, 20), true) → tf13c20
269. Text(cruz(14, 1), cen(14, 1), true) → tf14c1
270. Text(cruz(14, 2), cen(14, 2), true) → tf14c2
271. Text(cruz(14, 3), cen(14, 3), true) → tf14c3
272. Text(cruz(14, 4), cen(14, 4), true) → tf14c4
273. Text(cruz(14, 5), cen(14, 5), true) → tf14c5
274. Text(cruz(14, 6), cen(14, 6), true) → tf14c6
275. Text(cruz(14, 7), cen(14, 7), true) → tf14c7
276. Text(cruz(14, 8), cen(14, 8), true) → tf14c8
277. Text(cruz(14, 9), cen(14, 9), true) → tf14c9
278. Text(cruz(14, 10), cen(14, 10), true) → tf14c10
279. Text(cruz(14, 11), cen(14, 11), true) → tf14c11
280. Text(cruz(14, 12), cen(14, 12), true) → tf14c12
281. Text(cruz(14, 13), cen(14, 13), true) → tf14c13
282. Text(cruz(14, 14), cen(14, 14), true) → tf14c14
283. Text(cruz(14, 15), cen(14, 15), true) → tf14c15
284. Text(cruz(14, 16), cen(14, 16), true) → tf14c16
285. Text(cruz(14, 17), cen(14, 17), true) → tf14c17
286. Text(cruz(14, 18), cen(14, 18), true) → tf14c18
287. Text(cruz(14, 19), cen(14, 19), true) → tf14c19
288. Text(cruz(14, 20), cen(14, 20), true) → tf14c20
289. Text(cruz(15, 1), cen(15, 1), true) → tf15c1
290. Text(cruz(15, 2), cen(15, 2), true) → tf15c2
291. Text(cruz(15, 3), cen(15, 3), true) → tf15c3
292. Text(cruz(15, 4), cen(15, 4), true) → tf15c4
293. Text(cruz(15, 5), cen(15, 5), true) → tf15c5
294. Text(cruz(15, 6), cen(15, 6), true) → tf15c6
295. Text(cruz(15, 7), cen(15, 7), true) → tf15c7
296. Text(cruz(15, 8), cen(15, 8), true) → tf15c8
297. Text(cruz(15, 9), cen(15, 9), true) → tf15c9
298. Text(cruz(15, 10), cen(15, 10), true) → tf15c10
299. Text(cruz(15, 11), cen(15, 11), true) → tf15c11
300. Text(cruz(15, 12), cen(15, 12), true) → tf15c12
301. Text(cruz(15, 13), cen(15, 13), true) → tf15c13
302. Text(cruz(15, 14), cen(15, 14), true) → tf15c14
303. Text(cruz(15, 15), cen(15, 15), true) → tf15c15
304. Text(cruz(15, 16), cen(15, 16), true) → tf15c16
305. Text(cruz(15, 17), cen(15, 17), true) → tf15c17
306. Text(cruz(15, 18), cen(15, 18), true) → tf15c18
307. Text(cruz(15, 19), cen(15, 19), true) → tf15c19
308. Text(cruz(15, 20), cen(15, 20), true) → tf15c20
309. Text(cruz(16, 1), cen(16, 1), true) → tf16c1
310. Text(cruz(16, 2), cen(16, 2), true) → tf16c2
311. Text(cruz(16, 3), cen(16, 3), true) → tf16c3
312. Text(cruz(16, 4), cen(16, 4), true) → tf16c4
313. Text(cruz(16, 5), cen(16, 5), true) → tf16c5
314. Text(cruz(16, 6), cen(16, 6), true) → tf16c6
315. Text(cruz(16, 7), cen(16, 7), true) → tf16c7
316. Text(cruz(16, 8), cen(16, 8), true) → tf16c8
317. Text(cruz(16, 9), cen(16, 9), true) → tf16c9
318. Text(cruz(16, 10), cen(16, 10), true) → tf16c10
319. Text(cruz(16, 11), cen(16, 11), true) → tf16c11
320. Text(cruz(16, 12), cen(16, 12), true) → tf16c12
321. Text(cruz(16, 13), cen(16, 13), true) → tf16c13
322. Text(cruz(16, 14), cen(16, 14), true) → tf16c14
323. Text(cruz(16, 15), cen(16, 15), true) → tf16c15
324. Text(cruz(16, 16), cen(16, 16), true) → tf16c16
325. Text(cruz(16, 17), cen(16, 17), true) → tf16c17
326. Text(cruz(16, 18), cen(16, 18), true) → tf16c18
327. Text(cruz(16, 19), cen(16, 19), true) → tf16c19
328. Text(cruz(16, 20), cen(16, 20), true) → tf16c20
329. Text(cruz(17, 1), cen(17, 1), true) → tf17c1
330. Text(cruz(17, 2), cen(17, 2), true) → tf17c2
331. Text(cruz(17, 3), cen(17, 3), true) → tf17c3
332. Text(cruz(17, 4), cen(17, 4), true) → tf17c4
333. Text(cruz(17, 5), cen(17, 5), true) → tf17c5
334. Text(cruz(17, 6), cen(17, 6), true) → tf17c6
335. Text(cruz(17, 7), cen(17, 7), true) → tf17c7
336. Text(cruz(17, 8), cen(17, 8), true) → tf17c8
337. Text(cruz(17, 9), cen(17, 9), true) → tf17c9
338. Text(cruz(17, 10), cen(17, 10), true) → tf17c10
339. Text(cruz(17, 11), cen(17, 11), true) → tf17c11
340. Text(cruz(17, 12), cen(17, 12), true) → tf17c12
341. Text(cruz(17, 13), cen(17, 13), true) → tf17c13
342. Text(cruz(17, 14), cen(17, 14), true) → tf17c14
343. Text(cruz(17, 15), cen(17, 15), true) → tf17c15
344. Text(cruz(17, 16), cen(17, 16), true) → tf17c16
345. Text(cruz(17, 17), cen(17, 17), true) → tf17c17
346. Text(cruz(17, 18), cen(17, 18), true) → tf17c18
347. Text(cruz(17, 19), cen(17, 19), true) → tf17c19
348. Text(cruz(17, 20), cen(17, 20), true) → tf17c20
349. Text(cruz(18, 1), cen(18, 1), true) → tf18c1
350. Text(cruz(18, 2), cen(18, 2), true) → tf18c2
351. Text(cruz(18, 3), cen(18, 3), true) → tf18c3
352. Text(cruz(18, 4), cen(18, 4), true) → tf18c4
353. Text(cruz(18, 5), cen(18, 5), true) → tf18c5
354. Text(cruz(18, 6), cen(18, 6), true) → tf18c6
355. Text(cruz(18, 7), cen(18, 7), true) → tf18c7
356. Text(cruz(18, 8), cen(18, 8), true) → tf18c8
357. Text(cruz(18, 9), cen(18, 9), true) → tf18c9
358. Text(cruz(18, 10), cen(18, 10), true) → tf18c10
359. Text(cruz(18, 11), cen(18, 11), true) → tf18c11
360. Text(cruz(18, 12), cen(18, 12), true) → tf18c12
361. Text(cruz(18, 13), cen(18, 13), true) → tf18c13
362. Text(cruz(18, 14), cen(18, 14), true) → tf18c14
363. Text(cruz(18, 15), cen(18, 15), true) → tf18c15
364. Text(cruz(18, 16), cen(18, 16), true) → tf18c16
365. Text(cruz(18, 17), cen(18, 17), true) → tf18c17
366. Text(cruz(18, 18), cen(18, 18), true) → tf18c18
367. Text(cruz(18, 19), cen(18, 19), true) → tf18c19
368. Text(cruz(18, 20), cen(18, 20), true) → tf18c20
369. Text(cruz(19, 1), cen(19, 1), true) → tf19c1
370. Text(cruz(19, 2), cen(19, 2), true) → tf19c2
371. Text(cruz(19, 3), cen(19, 3), true) → tf19c3
372. Text(cruz(19, 4), cen(19, 4), true) → tf19c4
373. Text(cruz(19, 5), cen(19, 5), true) → tf19c5
374. Text(cruz(19, 6), cen(19, 6), true) → tf19c6
375. Text(cruz(19, 7), cen(19, 7), true) → tf19c7
376. Text(cruz(19, 8), cen(19, 8), true) → tf19c8
377. Text(cruz(19, 9), cen(19, 9), true) → tf19c9
378. Text(cruz(19, 10), cen(19, 10), true) → tf19c10
379. Text(cruz(19, 11), cen(19, 11), true) → tf19c11
380. Text(cruz(19, 12), cen(19, 12), true) → tf19c12
381. Text(cruz(19, 13), cen(19, 13), true) → tf19c13
382. Text(cruz(19, 14), cen(19, 14), true) → tf19c14
383. Text(cruz(19, 15), cen(19, 15), true) → tf19c15
384. Text(cruz(19, 16), cen(19, 16), true) → tf19c16
385. Text(cruz(19, 17), cen(19, 17), true) → tf19c17
386. Text(cruz(19, 18), cen(19, 18), true) → tf19c18
387. Text(cruz(19, 19), cen(19, 19), true) → tf19c19
388. Text(cruz(19, 20), cen(19, 20), true) → tf19c20
389. Text(cruz(20, 1), cen(20, 1), true) → tf20c1
390. Text(cruz(20, 2), cen(20, 2), true) → tf20c2
391. Text(cruz(20, 3), cen(20, 3), true) → tf20c3
392. Text(cruz(20, 4), cen(20, 4), true) → tf20c4
393. Text(cruz(20, 5), cen(20, 5), true) → tf20c5
394. Text(cruz(20, 6), cen(20, 6), true) → tf20c6
395. Text(cruz(20, 7), cen(20, 7), true) → tf20c7
396. Text(cruz(20, 8), cen(20, 8), true) → tf20c8
397. Text(cruz(20, 9), cen(20, 9), true) → tf20c9
398. Text(cruz(20, 10), cen(20, 10), true) → tf20c10
399. Text(cruz(20, 11), cen(20, 11), true) → tf20c11
400. Text(cruz(20, 12), cen(20, 12), true) → tf20c12
401. Text(cruz(20, 13), cen(20, 13), true) → tf20c13
402. Text(cruz(20, 14), cen(20, 14), true) → tf20c14
403. Text(cruz(20, 15), cen(20, 15), true) → tf20c15
404. Text(cruz(20, 16), cen(20, 16), true) → tf20c16
405. Text(cruz(20, 17), cen(20, 17), true) → tf20c17
406. Text(cruz(20, 18), cen(20, 18), true) → tf20c18
407. Text(cruz(20, 19), cen(20, 19), true) → tf20c19
408. Text(cruz(20, 20), cen(20, 20), true) → tf20c20
409. SelectedElement(estados) → w
410. Sum(Flatten[luz]) → sumaLuces