Skip to content

Commit 977cf09

Browse files
Akon32Akon32
committed
shink sudoku solution a bit
1 parent c65fbe2 commit 977cf09

1 file changed

Lines changed: 77 additions & 77 deletions

File tree

‎solutions/sudoku.man‎

Lines changed: 77 additions & 77 deletions
Original file line numberDiff line numberDiff line change
@@ -1,77 +1,77 @@
1-
+----------------------------------------------------------------------------------+
2-
|@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H|
3-
| > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ |
4-
| s s s s s s s s s |
5-
| ^ < < < < < < < < < |
6-
+----------------------------------------------------------------------------------+
7-
^ v v v v v v v v v
8-
^ v v v v v v v v v
9-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
10-
|@>rrsv| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v|
11-
| ^ sr<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<|
12-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
13-
^ v v v v v v v v v
14-
^ v v v v v v v v v
15-
+-+ +----+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
16-
|I|>>|@>rv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv|
17-
+-+ | ^S<| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r|
18-
+----+ | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<|
19-
v v +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
20-
| v v v v v v v v v v
21-
| +-------+ v v v v v v v v v
22-
| |@>rMrWv| +-----------------------------------------------------------------------+
23-
| | ^ srs<| |@>Rv |
24-
| +-------+ | ^s< |>->---v
25-
| v +-----------------------------------------------------------------------+ |
26-
| v |
27-
| +----------------------------------------------------------------------------------+ |
28-
| |@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H| |
29-
| | > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ | |
30-
>-v | s s s s s s s s s | |
31-
| | ^ < < < < < < < < < | |
32-
| +----------------------------------------------------------------------------------+ |
33-
| v v v v v v v v v |
34-
| v v v v v v v v v |
35-
| +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
36-
| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |
37-
| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| |
38-
| +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
39-
| v v v v v v v v v |
40-
v v v v v v v v v v |
41-
+---------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
42-
|@>3Mr/s3v| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |
43-
| ^srs/rM<| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |
44-
+---------+ | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| |
45-
v +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
46-
v v v v v v v v v v |
47-
+--------+ v v v v v v v v v v
48-
|@>3Mr*Mv| +-----------------------------------------------------------------------+ +-------+
49-
| ^srs+r<| |@>Rv |>>|>rMr&Mv|
50-
+--------+ | ^s< | |^@<s&r<|
51-
v +-----------------------------------------------------------------------+ +-------+
52-
v v ^
53-
+----------------------------------------------------------------------------------+ v |
54-
|@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H| +-+ |
55-
| > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ | |O| |
56-
| s s s s s s s s s | +-+ |
57-
| ^ < < < < < < < < < | |
58-
+----------------------------------------------------------------------------------+ |
59-
v v v v v v v v v |
60-
v v v v v v v v v |
61-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
62-
|@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |
63-
| ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| |
64-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
65-
v v v v v v v v v |
66-
v v v v v v v v v |
67-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
68-
|@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |
69-
|Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |
70-
| ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| |
71-
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
72-
v v v v v v v v v |
73-
v v v v v v v v v |
74-
+-----------------------------------------------------------------------+ |
75-
|@>Rv |>->------^
76-
| ^s< |
77-
+-----------------------------------------------------------------------+
1+
+----------------------------------------------------------------------------------+
2+
|@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H|
3+
| > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ |
4+
| s s s s s s s s s |
5+
| ^ < < < < < < < < < |
6+
+----------------------------------------------------------------------------------+
7+
^ v v v v v v v v v
8+
^ v v v v v v v v v
9+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
10+
|@>rrsv| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v|
11+
| ^ sr<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<|
12+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
13+
^ v v v v v v v v v
14+
^ v v v v v v v v v
15+
+---+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
16+
|@>v| +-+ |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv|
17+
| Sr|<<|I| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r|
18+
| ^<| +-+ | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<|
19+
+---+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+
20+
v v v v v v v v v v v
21+
| >+-------+ v v v v v v v v v
22+
| |@>rMrWv| +-----------------------------------------------------------------------+
23+
| | ^ srs<| |@>Rv |
24+
| +-------+ | ^s< |>-------v
25+
| v +-----------------------------------------------------------------------+ |
26+
| v |
27+
| +----------------------------------------------------------------------------------+ |
28+
| |@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H| |
29+
| | > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ | |
30+
| | s s s s s s s s s | |
31+
| | ^ < < < < < < < < < | |
32+
| +----------------------------------------------------------------------------------+ |
33+
| v v v v v v v v v |
34+
| v v v v v v v v v |
35+
| +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
36+
| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |
37+
| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| |
38+
| +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
39+
| v v v v v v v v v |
40+
v v v v v v v v v v |
41+
+---------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
42+
|@>3Mr/s3v| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |
43+
| ^srs/rM<| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |
44+
+---------+ | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| |
45+
v +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ |
46+
v v v v v v v v v v |
47+
+--------+ v v v v v v v v v |
48+
|@>3Mr*Mv| +-----------------------------------------------------------------------+ |
49+
| ^srs+r<| |@>Rv |>----v |
50+
+--------+ | ^s< | | |
51+
v +-----------------------------------------------------------------------+ | |
52+
v | |
53+
+----------------------------------------------------------------------------------+ | |
54+
|@>rbr dv> mdv> mdv> mdv> mdv> mdv> mdv> mdv> mdv>H| | |
55+
| > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ > ^ | | |
56+
| s s s s s s s s s | | |
57+
| ^ < < < < < < < < < | | |
58+
+----------------------------------------------------------------------------------+ | |
59+
v v v v v v v v v | |
60+
v v v v v v v v v | |
61+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ | |
62+
|@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| |@>rW1v| | |
63+
| ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | ^ss{<| | |
64+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ | |
65+
v v v v v v v v v | |
66+
v v v v v v v v v | |
67+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ | |
68+
|@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| |@>r&Xv| | |
69+
|Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r| |Hs0r<r|+-+| |
70+
| ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<| | ^1M|<||O|| |
71+
+------+ +------+ +------+ +------+ +------+ +------+ +------+ +------+ +------++-+| |
72+
v v v v v v v v v ^ | |
73+
v v v v v v v v v ^ v |
74+
+-------------------------------------------------------------------+ +-------+ |
75+
|@>Rv |>>|@>rMr&v| |
76+
| ^s< | | ^s&rM<|<<
77+
+-------------------------------------------------------------------+ +-------+

0 commit comments

Comments
 (0)