wilderjds
/
advent-2025
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[p10] almost

Browse Source
master
Jacopo De Simoi 6 months ago
parent 227635f603
commit 8ce2a5f106
1 changed files with 170 additions and 62 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 232
      p10/p10.org

232
p10/p10.org
Unescape View File

@ -183,9 +183,9 @@ These are some auxiliary functions to create and deal with matrices
(--map (--map (nth it permutation) it) (cdr machine-1))))) (--map (--map (nth it permutation) it) (cdr machine-1)))))
(matrix-buttons (cadr machines)) (matrix-buttons (cadr machines))
; (-distinct (-distinct
(matrix-buttons (fix-machine (nth 1 machines))) (matrix-buttons (fix-machine (nth 1 machines)))
;) )
#+end_src #+end_src
#+RESULTS: #+RESULTS:
@ -200,73 +200,181 @@ These are some auxiliary functions to create and deal with matrices
#+begin_src emacs-lisp #+begin_src emacs-lisp
(setq solutions-tree nil) (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 #+end_src
#+RESULTS: #+RESULTS:
| 8 | 15 | 11 | 6 | 10 | 0 | 32 | 1 | | 9 | 11 | 2 | 16 | 15 | 6 | 0 | 32 | 19 | 4 |
| 8 | 15 | 11 | 6 | 9 | 1 | 32 | 1 | | 10 | 11 | 1 | 16 | 15 | 5 | 1 | 32 | 19 | 4 |
| 8 | 15 | 11 | 6 | 8 | 2 | 32 | 1 | | 11 | 11 | 0 | 16 | 15 | 4 | 2 | 32 | 19 | 4 |
| 8 | 15 | 11 | 6 | 7 | 3 | 32 | 1 | | 8 | 9 | 7 | 16 | 14 | 9 | 0 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 6 | 4 | 32 | 1 | | 9 | 9 | 6 | 16 | 14 | 8 | 1 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 5 | 5 | 32 | 1 | | 10 | 9 | 5 | 16 | 14 | 7 | 2 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 4 | 6 | 32 | 1 | | 11 | 9 | 4 | 16 | 14 | 6 | 3 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 3 | 7 | 32 | 1 | | 12 | 9 | 3 | 16 | 14 | 5 | 4 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 2 | 8 | 32 | 1 | | 13 | 9 | 2 | 16 | 14 | 4 | 5 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 1 | 9 | 32 | 1 | | 14 | 9 | 1 | 16 | 14 | 3 | 6 | 28 | 18 | 6 |
| 8 | 15 | 11 | 6 | 0 | 10 | 32 | 1 | | 15 | 9 | 0 | 16 | 14 | 2 | 7 | 28 | 18 | 6 |
| 10 | 14 | 12 | 5 | 9 | 0 | 30 | 4 | | 7 | 7 | 12 | 16 | 13 | 12 | 0 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 8 | 1 | 30 | 4 | | 8 | 7 | 11 | 16 | 13 | 11 | 1 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 7 | 2 | 30 | 4 | | 9 | 7 | 10 | 16 | 13 | 10 | 2 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 6 | 3 | 30 | 4 | | 10 | 7 | 9 | 16 | 13 | 9 | 3 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 5 | 4 | 30 | 4 | | 11 | 7 | 8 | 16 | 13 | 8 | 4 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 4 | 5 | 30 | 4 | | 12 | 7 | 7 | 16 | 13 | 7 | 5 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 3 | 6 | 30 | 4 | | 13 | 7 | 6 | 16 | 13 | 6 | 6 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 2 | 7 | 30 | 4 | | 14 | 7 | 5 | 16 | 13 | 5 | 7 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 1 | 8 | 30 | 4 | | 15 | 7 | 4 | 16 | 13 | 4 | 8 | 24 | 17 | 8 |
| 10 | 14 | 12 | 5 | 0 | 9 | 30 | 4 | | 16 | 7 | 3 | 16 | 13 | 3 | 9 | 24 | 17 | 8 |
| 12 | 13 | 13 | 4 | 8 | 0 | 28 | 7 | | 17 | 7 | 2 | 16 | 13 | 2 | 10 | 24 | 17 | 8 |
| 12 | 13 | 13 | 4 | 7 | 1 | 28 | 7 | | 18 | 7 | 1 | 16 | 13 | 1 | 11 | 24 | 17 | 8 |
| 12 | 13 | 13 | 4 | 6 | 2 | 28 | 7 | | 19 | 7 | 0 | 16 | 13 | 0 | 12 | 24 | 17 | 8 |
| 12 | 13 | 13 | 4 | 5 | 3 | 28 | 7 | | 6 | 5 | 17 | 16 | 12 | 15 | 0 | 20 | 16 | 10 |
| 12 | 13 | 13 | 4 | 4 | 4 | 28 | 7 | | 7 | 5 | 16 | 16 | 12 | 14 | 1 | 20 | 16 | 10 |
| 12 | 13 | 13 | 4 | 3 | 5 | 28 | 7 | | 8 | 5 | 15 | 16 | 12 | 13 | 2 | 20 | 16 | 10 |
| 12 | 13 | 13 | 4 | 2 | 6 | 28 | 7 | | 9 | 5 | 14 | 16 | 12 | 12 | 3 | 20 | 16 | 10 |
| 12 | 13 | 13 | 4 | 1 | 7 | 28 | 7 | | 10 | 5 | 13 | 16 | 12 | 11 | 4 | 20 | 16 | 10 |
| 12 | 13 | 13 | 4 | 0 | 8 | 28 | 7 | | 11 | 5 | 12 | 16 | 12 | 10 | 5 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 7 | 0 | 26 | 10 | | 12 | 5 | 11 | 16 | 12 | 9 | 6 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 6 | 1 | 26 | 10 | | 13 | 5 | 10 | 16 | 12 | 8 | 7 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 5 | 2 | 26 | 10 | | 14 | 5 | 9 | 16 | 12 | 7 | 8 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 4 | 3 | 26 | 10 | | 15 | 5 | 8 | 16 | 12 | 6 | 9 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 3 | 4 | 26 | 10 | | 16 | 5 | 7 | 16 | 12 | 5 | 10 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 2 | 5 | 26 | 10 | | 17 | 5 | 6 | 16 | 12 | 4 | 11 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 1 | 6 | 26 | 10 | | 18 | 5 | 5 | 16 | 12 | 3 | 12 | 20 | 16 | 10 |
| 14 | 12 | 14 | 3 | 0 | 7 | 26 | 10 | | 19 | 5 | 4 | 16 | 12 | 2 | 13 | 20 | 16 | 10 |
| 16 | 11 | 15 | 2 | 6 | 0 | 24 | 13 | | 20 | 5 | 3 | 16 | 12 | 1 | 14 | 20 | 16 | 10 |
| 16 | 11 | 15 | 2 | 5 | 1 | 24 | 13 | | 21 | 5 | 2 | 16 | 12 | 0 | 15 | 20 | 16 | 10 |
| 16 | 11 | 15 | 2 | 4 | 2 | 24 | 13 | | 5 | 3 | 22 | 16 | 11 | 18 | 0 | 16 | 15 | 12 |
| 16 | 11 | 15 | 2 | 3 | 3 | 24 | 13 | | 6 | 3 | 21 | 16 | 11 | 17 | 1 | 16 | 15 | 12 |
| 16 | 11 | 15 | 2 | 2 | 4 | 24 | 13 | | 7 | 3 | 20 | 16 | 11 | 16 | 2 | 16 | 15 | 12 |
| 16 | 11 | 15 | 2 | 1 | 5 | 24 | 13 | | 8 | 3 | 19 | 16 | 11 | 15 | 3 | 16 | 15 | 12 |
| 16 | 11 | 15 | 2 | 0 | 6 | 24 | 13 | | 9 | 3 | 18 | 16 | 11 | 14 | 4 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 5 | 0 | 22 | 16 | | 10 | 3 | 17 | 16 | 11 | 13 | 5 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 4 | 1 | 22 | 16 | | 11 | 3 | 16 | 16 | 11 | 12 | 6 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 3 | 2 | 22 | 16 | | 12 | 3 | 15 | 16 | 11 | 11 | 7 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 2 | 3 | 22 | 16 | | 13 | 3 | 14 | 16 | 11 | 10 | 8 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 1 | 4 | 22 | 16 | | 14 | 3 | 13 | 16 | 11 | 9 | 9 | 16 | 15 | 12 |
| 18 | 10 | 16 | 1 | 0 | 5 | 22 | 16 | | 15 | 3 | 12 | 16 | 11 | 8 | 10 | 16 | 15 | 12 |
| 20 | 9 | 17 | 0 | 4 | 0 | 20 | 19 | | 16 | 3 | 11 | 16 | 11 | 7 | 11 | 16 | 15 | 12 |
| 20 | 9 | 17 | 0 | 3 | 1 | 20 | 19 | | 17 | 3 | 10 | 16 | 11 | 6 | 12 | 16 | 15 | 12 |
| 20 | 9 | 17 | 0 | 2 | 2 | 20 | 19 | | 18 | 3 | 9 | 16 | 11 | 5 | 13 | 16 | 15 | 12 |
| 20 | 9 | 17 | 0 | 1 | 3 | 20 | 19 | | 19 | 3 | 8 | 16 | 11 | 4 | 14 | 16 | 15 | 12 |
| 20 | 9 | 17 | 0 | 0 | 4 | 20 | 19 | | 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 #+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 #+end_src
#+RESULTS: #+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 #+begin_src emacs-lisp
; (-min (-map '-sum (solve-well-ordered (matrix-buttons (fix-machine (cadr machines)))))) ; (-min (-map '-sum (solve-well-ordered (matrix-buttons (fix-machine (cadr machines))))))

Write Preview
Loading…
Cancel
Save