From 8ce2a5f1069d229b853b639f7d7f24b7d1269de0 Mon Sep 17 00:00:00 2001 From: Jacopo De Simoi Date: Sun, 14 Dec 2025 16:29:13 -0500 Subject: [PATCH] [p10] almost --- p10/p10.org | 232 ++++++++++++++++++++++++++++++++++++++-------------- 1 file changed, 170 insertions(+), 62 deletions(-) diff --git a/p10/p10.org b/p10/p10.org index 180a203..62381ba 100644 --- a/p10/p10.org +++ b/p10/p10.org @@ -183,9 +183,9 @@ These are some auxiliary functions to create and deal with matrices (--map (--map (nth it permutation) it) (cdr machine-1))))) (matrix-buttons (cadr machines)) - ; (-distinct + (-distinct (matrix-buttons (fix-machine (nth 1 machines))) - ;) + ) #+end_src #+RESULTS: @@ -200,73 +200,181 @@ These are some auxiliary functions to create and deal with matrices #+begin_src emacs-lisp (setq solutions-tree nil) - (solve-well-ordered (-distinct (matrix-buttons (fix-machine (nth 2 machines))))) + (solve-well-ordered (-distinct (matrix-buttons (fix-machine (nth 1 machines))))) #+end_src #+RESULTS: -| 8 | 15 | 11 | 6 | 10 | 0 | 32 | 1 | -| 8 | 15 | 11 | 6 | 9 | 1 | 32 | 1 | -| 8 | 15 | 11 | 6 | 8 | 2 | 32 | 1 | -| 8 | 15 | 11 | 6 | 7 | 3 | 32 | 1 | -| 8 | 15 | 11 | 6 | 6 | 4 | 32 | 1 | -| 8 | 15 | 11 | 6 | 5 | 5 | 32 | 1 | -| 8 | 15 | 11 | 6 | 4 | 6 | 32 | 1 | -| 8 | 15 | 11 | 6 | 3 | 7 | 32 | 1 | -| 8 | 15 | 11 | 6 | 2 | 8 | 32 | 1 | -| 8 | 15 | 11 | 6 | 1 | 9 | 32 | 1 | -| 8 | 15 | 11 | 6 | 0 | 10 | 32 | 1 | -| 10 | 14 | 12 | 5 | 9 | 0 | 30 | 4 | -| 10 | 14 | 12 | 5 | 8 | 1 | 30 | 4 | -| 10 | 14 | 12 | 5 | 7 | 2 | 30 | 4 | -| 10 | 14 | 12 | 5 | 6 | 3 | 30 | 4 | -| 10 | 14 | 12 | 5 | 5 | 4 | 30 | 4 | -| 10 | 14 | 12 | 5 | 4 | 5 | 30 | 4 | -| 10 | 14 | 12 | 5 | 3 | 6 | 30 | 4 | -| 10 | 14 | 12 | 5 | 2 | 7 | 30 | 4 | -| 10 | 14 | 12 | 5 | 1 | 8 | 30 | 4 | -| 10 | 14 | 12 | 5 | 0 | 9 | 30 | 4 | -| 12 | 13 | 13 | 4 | 8 | 0 | 28 | 7 | -| 12 | 13 | 13 | 4 | 7 | 1 | 28 | 7 | -| 12 | 13 | 13 | 4 | 6 | 2 | 28 | 7 | -| 12 | 13 | 13 | 4 | 5 | 3 | 28 | 7 | -| 12 | 13 | 13 | 4 | 4 | 4 | 28 | 7 | -| 12 | 13 | 13 | 4 | 3 | 5 | 28 | 7 | -| 12 | 13 | 13 | 4 | 2 | 6 | 28 | 7 | -| 12 | 13 | 13 | 4 | 1 | 7 | 28 | 7 | -| 12 | 13 | 13 | 4 | 0 | 8 | 28 | 7 | -| 14 | 12 | 14 | 3 | 7 | 0 | 26 | 10 | -| 14 | 12 | 14 | 3 | 6 | 1 | 26 | 10 | -| 14 | 12 | 14 | 3 | 5 | 2 | 26 | 10 | -| 14 | 12 | 14 | 3 | 4 | 3 | 26 | 10 | -| 14 | 12 | 14 | 3 | 3 | 4 | 26 | 10 | -| 14 | 12 | 14 | 3 | 2 | 5 | 26 | 10 | -| 14 | 12 | 14 | 3 | 1 | 6 | 26 | 10 | -| 14 | 12 | 14 | 3 | 0 | 7 | 26 | 10 | -| 16 | 11 | 15 | 2 | 6 | 0 | 24 | 13 | -| 16 | 11 | 15 | 2 | 5 | 1 | 24 | 13 | -| 16 | 11 | 15 | 2 | 4 | 2 | 24 | 13 | -| 16 | 11 | 15 | 2 | 3 | 3 | 24 | 13 | -| 16 | 11 | 15 | 2 | 2 | 4 | 24 | 13 | -| 16 | 11 | 15 | 2 | 1 | 5 | 24 | 13 | -| 16 | 11 | 15 | 2 | 0 | 6 | 24 | 13 | -| 18 | 10 | 16 | 1 | 5 | 0 | 22 | 16 | -| 18 | 10 | 16 | 1 | 4 | 1 | 22 | 16 | -| 18 | 10 | 16 | 1 | 3 | 2 | 22 | 16 | -| 18 | 10 | 16 | 1 | 2 | 3 | 22 | 16 | -| 18 | 10 | 16 | 1 | 1 | 4 | 22 | 16 | -| 18 | 10 | 16 | 1 | 0 | 5 | 22 | 16 | -| 20 | 9 | 17 | 0 | 4 | 0 | 20 | 19 | -| 20 | 9 | 17 | 0 | 3 | 1 | 20 | 19 | -| 20 | 9 | 17 | 0 | 2 | 2 | 20 | 19 | -| 20 | 9 | 17 | 0 | 1 | 3 | 20 | 19 | -| 20 | 9 | 17 | 0 | 0 | 4 | 20 | 19 | - +| 9 | 11 | 2 | 16 | 15 | 6 | 0 | 32 | 19 | 4 | +| 10 | 11 | 1 | 16 | 15 | 5 | 1 | 32 | 19 | 4 | +| 11 | 11 | 0 | 16 | 15 | 4 | 2 | 32 | 19 | 4 | +| 8 | 9 | 7 | 16 | 14 | 9 | 0 | 28 | 18 | 6 | +| 9 | 9 | 6 | 16 | 14 | 8 | 1 | 28 | 18 | 6 | +| 10 | 9 | 5 | 16 | 14 | 7 | 2 | 28 | 18 | 6 | +| 11 | 9 | 4 | 16 | 14 | 6 | 3 | 28 | 18 | 6 | +| 12 | 9 | 3 | 16 | 14 | 5 | 4 | 28 | 18 | 6 | +| 13 | 9 | 2 | 16 | 14 | 4 | 5 | 28 | 18 | 6 | +| 14 | 9 | 1 | 16 | 14 | 3 | 6 | 28 | 18 | 6 | +| 15 | 9 | 0 | 16 | 14 | 2 | 7 | 28 | 18 | 6 | +| 7 | 7 | 12 | 16 | 13 | 12 | 0 | 24 | 17 | 8 | +| 8 | 7 | 11 | 16 | 13 | 11 | 1 | 24 | 17 | 8 | +| 9 | 7 | 10 | 16 | 13 | 10 | 2 | 24 | 17 | 8 | +| 10 | 7 | 9 | 16 | 13 | 9 | 3 | 24 | 17 | 8 | +| 11 | 7 | 8 | 16 | 13 | 8 | 4 | 24 | 17 | 8 | +| 12 | 7 | 7 | 16 | 13 | 7 | 5 | 24 | 17 | 8 | +| 13 | 7 | 6 | 16 | 13 | 6 | 6 | 24 | 17 | 8 | +| 14 | 7 | 5 | 16 | 13 | 5 | 7 | 24 | 17 | 8 | +| 15 | 7 | 4 | 16 | 13 | 4 | 8 | 24 | 17 | 8 | +| 16 | 7 | 3 | 16 | 13 | 3 | 9 | 24 | 17 | 8 | +| 17 | 7 | 2 | 16 | 13 | 2 | 10 | 24 | 17 | 8 | +| 18 | 7 | 1 | 16 | 13 | 1 | 11 | 24 | 17 | 8 | +| 19 | 7 | 0 | 16 | 13 | 0 | 12 | 24 | 17 | 8 | +| 6 | 5 | 17 | 16 | 12 | 15 | 0 | 20 | 16 | 10 | +| 7 | 5 | 16 | 16 | 12 | 14 | 1 | 20 | 16 | 10 | +| 8 | 5 | 15 | 16 | 12 | 13 | 2 | 20 | 16 | 10 | +| 9 | 5 | 14 | 16 | 12 | 12 | 3 | 20 | 16 | 10 | +| 10 | 5 | 13 | 16 | 12 | 11 | 4 | 20 | 16 | 10 | +| 11 | 5 | 12 | 16 | 12 | 10 | 5 | 20 | 16 | 10 | +| 12 | 5 | 11 | 16 | 12 | 9 | 6 | 20 | 16 | 10 | +| 13 | 5 | 10 | 16 | 12 | 8 | 7 | 20 | 16 | 10 | +| 14 | 5 | 9 | 16 | 12 | 7 | 8 | 20 | 16 | 10 | +| 15 | 5 | 8 | 16 | 12 | 6 | 9 | 20 | 16 | 10 | +| 16 | 5 | 7 | 16 | 12 | 5 | 10 | 20 | 16 | 10 | +| 17 | 5 | 6 | 16 | 12 | 4 | 11 | 20 | 16 | 10 | +| 18 | 5 | 5 | 16 | 12 | 3 | 12 | 20 | 16 | 10 | +| 19 | 5 | 4 | 16 | 12 | 2 | 13 | 20 | 16 | 10 | +| 20 | 5 | 3 | 16 | 12 | 1 | 14 | 20 | 16 | 10 | +| 21 | 5 | 2 | 16 | 12 | 0 | 15 | 20 | 16 | 10 | +| 5 | 3 | 22 | 16 | 11 | 18 | 0 | 16 | 15 | 12 | +| 6 | 3 | 21 | 16 | 11 | 17 | 1 | 16 | 15 | 12 | +| 7 | 3 | 20 | 16 | 11 | 16 | 2 | 16 | 15 | 12 | +| 8 | 3 | 19 | 16 | 11 | 15 | 3 | 16 | 15 | 12 | +| 9 | 3 | 18 | 16 | 11 | 14 | 4 | 16 | 15 | 12 | +| 10 | 3 | 17 | 16 | 11 | 13 | 5 | 16 | 15 | 12 | +| 11 | 3 | 16 | 16 | 11 | 12 | 6 | 16 | 15 | 12 | +| 12 | 3 | 15 | 16 | 11 | 11 | 7 | 16 | 15 | 12 | +| 13 | 3 | 14 | 16 | 11 | 10 | 8 | 16 | 15 | 12 | +| 14 | 3 | 13 | 16 | 11 | 9 | 9 | 16 | 15 | 12 | +| 15 | 3 | 12 | 16 | 11 | 8 | 10 | 16 | 15 | 12 | +| 16 | 3 | 11 | 16 | 11 | 7 | 11 | 16 | 15 | 12 | +| 17 | 3 | 10 | 16 | 11 | 6 | 12 | 16 | 15 | 12 | +| 18 | 3 | 9 | 16 | 11 | 5 | 13 | 16 | 15 | 12 | +| 19 | 3 | 8 | 16 | 11 | 4 | 14 | 16 | 15 | 12 | +| 20 | 3 | 7 | 16 | 11 | 3 | 15 | 16 | 15 | 12 | +| 21 | 3 | 6 | 16 | 11 | 2 | 16 | 16 | 15 | 12 | +| 22 | 3 | 5 | 16 | 11 | 1 | 17 | 16 | 15 | 12 | +| 23 | 3 | 4 | 16 | 11 | 0 | 18 | 16 | 15 | 12 | +| 4 | 1 | 27 | 16 | 10 | 21 | 0 | 12 | 14 | 14 | +| 5 | 1 | 26 | 16 | 10 | 20 | 1 | 12 | 14 | 14 | +| 6 | 1 | 25 | 16 | 10 | 19 | 2 | 12 | 14 | 14 | +| 7 | 1 | 24 | 16 | 10 | 18 | 3 | 12 | 14 | 14 | +| 8 | 1 | 23 | 16 | 10 | 17 | 4 | 12 | 14 | 14 | +| 9 | 1 | 22 | 16 | 10 | 16 | 5 | 12 | 14 | 14 | +| 10 | 1 | 21 | 16 | 10 | 15 | 6 | 12 | 14 | 14 | +| 11 | 1 | 20 | 16 | 10 | 14 | 7 | 12 | 14 | 14 | +| 12 | 1 | 19 | 16 | 10 | 13 | 8 | 12 | 14 | 14 | +| 13 | 1 | 18 | 16 | 10 | 12 | 9 | 12 | 14 | 14 | +| 14 | 1 | 17 | 16 | 10 | 11 | 10 | 12 | 14 | 14 | +| 15 | 1 | 16 | 16 | 10 | 10 | 11 | 12 | 14 | 14 | +| 16 | 1 | 15 | 16 | 10 | 9 | 12 | 12 | 14 | 14 | +| 17 | 1 | 14 | 16 | 10 | 8 | 13 | 12 | 14 | 14 | +| 18 | 1 | 13 | 16 | 10 | 7 | 14 | 12 | 14 | 14 | +| 19 | 1 | 12 | 16 | 10 | 6 | 15 | 12 | 14 | 14 | +| 20 | 1 | 11 | 16 | 10 | 5 | 16 | 12 | 14 | 14 | +| 21 | 1 | 10 | 16 | 10 | 4 | 17 | 12 | 14 | 14 | +| 22 | 1 | 9 | 16 | 10 | 3 | 18 | 12 | 14 | 14 | +| 23 | 1 | 8 | 16 | 10 | 2 | 19 | 12 | 14 | 14 | +| 24 | 1 | 7 | 16 | 10 | 1 | 20 | 12 | 14 | 14 | +| 25 | 1 | 6 | 16 | 10 | 0 | 21 | 12 | 14 | 14 | + +(memoize 'solve-well-ordered-recursively) #+begin_src emacs-lisp - (solve-well-ordered-recursively (-distinct (matrix-buttons (fix-machine (nth 2 machines))))) +(length (let ((matrix (-distinct (matrix-buttons (fix-machine (nth 1 machines)))))) + (--annotate (test-soln matrix it) + (solve-well-ordered-recursively matrix)))) #+end_src #+RESULTS: -| 19 | 20 | 0 | 4 | 0 | 17 | 9 | 20 | +| (51 74 72 31 49 77 38 61) | 9 | 11 | 2 | 16 | 15 | 6 | 0 | 32 | 19 | 4 | +| (51 74 72 31 49 77 38 61) | 10 | 11 | 1 | 16 | 15 | 5 | 1 | 32 | 19 | 4 | +| (51 74 72 31 49 77 38 61) | 11 | 11 | 0 | 16 | 15 | 4 | 2 | 32 | 19 | 4 | +| (51 74 72 31 49 77 38 61) | 8 | 9 | 7 | 16 | 14 | 9 | 0 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 9 | 9 | 6 | 16 | 14 | 8 | 1 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 10 | 9 | 5 | 16 | 14 | 7 | 2 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 11 | 9 | 4 | 16 | 14 | 6 | 3 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 12 | 9 | 3 | 16 | 14 | 5 | 4 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 13 | 9 | 2 | 16 | 14 | 4 | 5 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 14 | 9 | 1 | 16 | 14 | 3 | 6 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 15 | 9 | 0 | 16 | 14 | 2 | 7 | 28 | 18 | 6 | +| (51 74 72 31 49 77 38 61) | 7 | 7 | 12 | 16 | 13 | 12 | 0 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 8 | 7 | 11 | 16 | 13 | 11 | 1 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 9 | 7 | 10 | 16 | 13 | 10 | 2 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 10 | 7 | 9 | 16 | 13 | 9 | 3 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 11 | 7 | 8 | 16 | 13 | 8 | 4 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 12 | 7 | 7 | 16 | 13 | 7 | 5 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 13 | 7 | 6 | 16 | 13 | 6 | 6 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 14 | 7 | 5 | 16 | 13 | 5 | 7 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 15 | 7 | 4 | 16 | 13 | 4 | 8 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 16 | 7 | 3 | 16 | 13 | 3 | 9 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 17 | 7 | 2 | 16 | 13 | 2 | 10 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 18 | 7 | 1 | 16 | 13 | 1 | 11 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 19 | 7 | 0 | 16 | 13 | 0 | 12 | 24 | 17 | 8 | +| (51 74 72 31 49 77 38 61) | 6 | 5 | 17 | 16 | 12 | 15 | 0 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 7 | 5 | 16 | 16 | 12 | 14 | 1 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 8 | 5 | 15 | 16 | 12 | 13 | 2 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 9 | 5 | 14 | 16 | 12 | 12 | 3 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 10 | 5 | 13 | 16 | 12 | 11 | 4 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 11 | 5 | 12 | 16 | 12 | 10 | 5 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 12 | 5 | 11 | 16 | 12 | 9 | 6 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 13 | 5 | 10 | 16 | 12 | 8 | 7 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 14 | 5 | 9 | 16 | 12 | 7 | 8 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 15 | 5 | 8 | 16 | 12 | 6 | 9 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 16 | 5 | 7 | 16 | 12 | 5 | 10 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 17 | 5 | 6 | 16 | 12 | 4 | 11 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 18 | 5 | 5 | 16 | 12 | 3 | 12 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 19 | 5 | 4 | 16 | 12 | 2 | 13 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 20 | 5 | 3 | 16 | 12 | 1 | 14 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 21 | 5 | 2 | 16 | 12 | 0 | 15 | 20 | 16 | 10 | +| (51 74 72 31 49 77 38 61) | 5 | 3 | 22 | 16 | 11 | 18 | 0 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 6 | 3 | 21 | 16 | 11 | 17 | 1 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 7 | 3 | 20 | 16 | 11 | 16 | 2 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 8 | 3 | 19 | 16 | 11 | 15 | 3 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 9 | 3 | 18 | 16 | 11 | 14 | 4 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 10 | 3 | 17 | 16 | 11 | 13 | 5 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 11 | 3 | 16 | 16 | 11 | 12 | 6 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 12 | 3 | 15 | 16 | 11 | 11 | 7 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 13 | 3 | 14 | 16 | 11 | 10 | 8 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 14 | 3 | 13 | 16 | 11 | 9 | 9 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 15 | 3 | 12 | 16 | 11 | 8 | 10 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 16 | 3 | 11 | 16 | 11 | 7 | 11 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 17 | 3 | 10 | 16 | 11 | 6 | 12 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 18 | 3 | 9 | 16 | 11 | 5 | 13 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 19 | 3 | 8 | 16 | 11 | 4 | 14 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 20 | 3 | 7 | 16 | 11 | 3 | 15 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 21 | 3 | 6 | 16 | 11 | 2 | 16 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 22 | 3 | 5 | 16 | 11 | 1 | 17 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 23 | 3 | 4 | 16 | 11 | 0 | 18 | 16 | 15 | 12 | +| (51 74 72 31 49 77 38 61) | 4 | 1 | 27 | 16 | 10 | 21 | 0 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 5 | 1 | 26 | 16 | 10 | 20 | 1 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 6 | 1 | 25 | 16 | 10 | 19 | 2 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 7 | 1 | 24 | 16 | 10 | 18 | 3 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 8 | 1 | 23 | 16 | 10 | 17 | 4 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 9 | 1 | 22 | 16 | 10 | 16 | 5 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 10 | 1 | 21 | 16 | 10 | 15 | 6 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 11 | 1 | 20 | 16 | 10 | 14 | 7 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 12 | 1 | 19 | 16 | 10 | 13 | 8 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 13 | 1 | 18 | 16 | 10 | 12 | 9 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 14 | 1 | 17 | 16 | 10 | 11 | 10 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 15 | 1 | 16 | 16 | 10 | 10 | 11 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 16 | 1 | 15 | 16 | 10 | 9 | 12 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 17 | 1 | 14 | 16 | 10 | 8 | 13 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 18 | 1 | 13 | 16 | 10 | 7 | 14 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 19 | 1 | 12 | 16 | 10 | 6 | 15 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 20 | 1 | 11 | 16 | 10 | 5 | 16 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 21 | 1 | 10 | 16 | 10 | 4 | 17 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 22 | 1 | 9 | 16 | 10 | 3 | 18 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 23 | 1 | 8 | 16 | 10 | 2 | 19 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 24 | 1 | 7 | 16 | 10 | 1 | 20 | 12 | 14 | 14 | +| (51 74 72 31 49 77 38 61) | 25 | 1 | 6 | 16 | 10 | 0 | 21 | 12 | 14 | 14 | #+begin_src emacs-lisp ; (-min (-map '-sum (solve-well-ordered (matrix-buttons (fix-machine (cadr machines))))))