A Sentient program to solve Snake Egg puzzles. The puzzle is explained in this YouTube video.
Sentient is a programming language I wrote a few years ago to solve difficult combinatorial problems. This seemed like a fun and unusual problem so I thought I'd try using Sentient to solve it. It was definitely a challenge and required thinking hard about some tricky constraints but it works!
The example puzzle from the YouTube video is in the example/ directory. You
can solve this puzzle with Sentient by providing assignments that specify the
head/tail positions of the snake and the two numbers given to you for this
puzzle. Here's how you'd do that:
sentient --run snake-egg.json --machine lingeling --assign-file example/assignments.json \
| ruby pretty_print.rbThis produces the following output after about two minutes:
9 9 β β β 7 β β β β
9 9 9 9 β 7 β 5 5 β
β β β 9 β 7 β β 5 β
2 2 β 9 β 7 7 β 5 β
β β β 9 β 7 β β 5 β
β 8 8 β β 7 β 4 β β
β β 8 β 1 β β 4 β 6
3 β 8 β β β 4 4 β 6
3 β 8 8 8 8 β β β 6
3 β β β β β β 6 6 6
Alternatively, you can create your own assignments to solve different puzzles or
run Sentient with no assignments at all to generate finished puzzles! Check out
the comments in the snake-egg.snt file for a general overview of how the
constraints are specified.
There's also a search_minimal.rb script that takes, as input, a finished
puzzle and tries to find the minimal sets of numbers that produce it as a unique
solution. This is very time consuming - it iteratively solves the puzzle over
and over.
Here are some finished puzzles generated by Sentient:
1) Smiley Face 2) TWO! 3) THREE! 4) Squirrel
β β β 2 β β β β β β β β β β 1 β β β 4 4 β β β β β β β β β 8 β β β 8 8 β β β β 1
β 9 β 2 β 5 5 5 5 β β 2 2 β β 7 7 β 4 4 β 9 9 9 9 9 9 9 β 8 β 6 β 8 8 β 5 5 β β
β 9 β β β 5 β β β β β β β 9 β β 7 β β β β β β 9 9 β β β β 8 β 6 β 8 β β 5 5 5 β
β 9 9 9 9 β β 8 8 8 9 9 β 9 9 β 7 7 7 β 6 6 β β β 8 8 8 8 8 β 6 β 8 β 9 β β β β
β β β β 9 β 8 8 8 8 9 9 9 9 β β 7 β β β 6 6 6 6 β β β β β β β 6 β 8 β 9 β 3 3 3
7 7 7 β 9 β 8 β β β β β β β β 8 β β 5 5 β β β β 7 7 7 7 7 β β 6 β 8 β 9 β β β β
7 7 7 β 9 β β β 1 β β 8 8 8 8 8 β 5 5 5 β 2 2 β β 7 β β 7 β β 6 β β β 9 9 9 9 β
β β 7 β β 6 6 6 β β β 8 β β β 8 β β β β β β β 5 β β β 1 β β β β 4 4 4 β β β 9 9
3 β β 6 6 6 β β β 4 β β β 6 β β 3 3 3 β 4 4 β 5 5 5 5 β β 3 2 β 4 β β β 7 β β β
3 3 β β β β β 4 4 4 6 6 6 6 6 β β β β β 4 4 β β β β β β 3 3 2 β β β 7 7 7 7 7 7
5) FIVE! 6) Raised Hands 7) Poodle 8) Doberman
6 6 6 6 β β β β β β 2 β β β 1 β β β 3 3 β β β β 6 6 β β β β 6 6 6 6 6 β 4 β β β
6 6 β β β 4 4 4 4 β 2 β 5 β β 4 4 β β 3 β 7 7 β 6 6 β 3 3 β β β β 6 β β 4 β 3 β
β β β 7 7 β β β β β β β 5 5 β β 4 4 β β β 7 7 β 6 β β 3 β β β 1 β β β 4 4 β 3 β
β 7 7 7 7 β 5 5 5 5 β 8 β 5 5 β β β 7 β β 7 7 β 6 β 8 β β 9 β β 9 9 9 β β β 3 β
β β β β 7 β β β β 5 β 8 β β β 9 9 β 7 β β β 7 β β β 8 β 9 9 2 β 9 β β β 7 7 β β
3 3 3 β β 9 9 9 β β β 8 8 8 β 9 β β 7 β 1 β β 8 8 8 8 β 9 9 2 β 9 β 8 8 β 7 β 5
β β β 1 β β β 9 9 β β β β 8 β 9 β 7 7 β β 4 β 8 β β 8 β β 9 β β 9 β 8 β β 7 β 5
β 8 β β 2 2 β 9 9 β 6 6 β 8 β 9 β β 7 β β 4 β β 5 β β 2 β 9 β 9 9 β 8 β 7 7 β 5
β 8 8 β β β β 9 9 β 6 6 β 8 β 9 9 β 7 β β 4 4 β 5 5 β 2 β 9 β 9 β β 8 β β 7 β 5
β β 8 8 8 8 8 β β β 6 6 β β β 9 9 β β β β β β β 5 5 β β β 9 β β β 8 8 8 β β β 5
9) Angry Face 10) Confused Face 11) MechWarrior 12) Tall Boots
7 7 β β β 3 3 β β β β β β 4 4 4 β β β β 3 3 3 β β β 4 β β β 6 6 β β β 1 β β β β
7 7 β 9 β β 3 β 2 β β 9 β 4 β β β 6 6 β β β β β 7 β 4 β 6 β 6 6 β 8 β β β 4 4 β
7 7 β 9 9 β β β 2 β β 9 β β β 6 6 6 6 β β 7 7 7 7 β 4 β 6 β 6 6 β 8 8 8 8 β 4 β
7 β β 9 9 9 9 9 β β β 9 9 9 9 β β β β β β β β 7 7 β 4 β 6 β β β β 8 β 8 β β 4 β
β β 8 β β β 9 β β 4 β β β β 9 β 8 8 8 8 8 8 β β β 9 β β 6 β β 7 7 β β 8 β 9 β β
β 8 8 β 6 β β β 4 4 7 7 7 β 9 β 8 8 8 8 8 8 8 8 β 9 β 6 6 β β 7 7 β 5 β β 9 β 2
β 8 β β 6 6 6 6 β 4 7 7 7 β 9 β β β β β 8 8 β β β 9 β β β 5 β β 7 β 5 β 9 9 β 2
β 8 8 8 β β β 6 β β β β 7 β β 5 5 5 5 β β β β 9 9 9 9 9 β 5 3 β 7 β 5 β 9 9 β β
β 8 β β β 5 β β 1 β 3 β β 2 2 β β β 5 β β 2 2 β β β 9 β β 5 3 β 7 β 5 β 9 9 9 β
β β β 5 5 5 5 β β β 3 3 β β β β 1 β β β β β β β 1 β β β 5 5 3 β β β 5 β β β β β
13) Octopus 14) Werewolf 15) Antennae 16) Steam Train
β β β 4 β β β β β 9 β β β 8 β β β 5 5 5 β β β 3 β β β β 6 6 7 7 β β β 1 β β β β
β 4 4 4 β 6 6 6 β 9 β 9 β 8 8 8 β β 5 5 β 9 β 3 β 4 4 β 6 6 7 7 β 9 β β β 2 2 β
β β β β β 6 β 6 β 9 β 9 β 8 β 8 8 β β β β 9 β 3 β β 4 β 6 6 7 7 β 9 9 9 9 β β β
7 7 7 7 7 β β 6 β 9 β 9 β 8 β β β 7 7 β β 9 β β 2 β 4 β β β 7 β β 9 9 β β β 8 8
β β β β 7 β 8 β β 9 β 9 β β 6 6 β 7 β β β 9 9 β 2 β β 5 5 β β β 9 9 β β 8 8 8 8
β 3 3 β 7 β 8 β 9 9 β 9 9 β 6 6 β 7 β 1 β β 9 β β 8 β β 5 β β 6 β β β 8 8 β β β
β β 3 β β β 8 β 9 9 β 9 9 β 6 6 β 7 β β 7 β 9 9 β 8 8 β 5 β β 6 β 4 4 β β β 5 β
5 β β 8 8 8 8 β β β β β 9 β β β β 7 7 β 7 β β 9 β β 8 β 5 β β 6 β 4 β β 5 5 5 β
5 5 β 8 β β β 2 2 β 3 β β 4 4 4 4 β β β 7 7 β β 8 8 8 8 β β β 6 β 4 β 3 β β 5 β
5 5 β β β 1 β β β β 3 3 β β β β β β 2 2 7 7 7 β β β β β β 1 6 6 β β β 3 3 β β β
17) Rabbit 18) Kissing 19) Hang Glider 20) Fox
1 β β β β β 7 7 β β 3 β β β β 1 β β β β 5 5 5 β β β β β β β β β β β 9 9 9 β β β
β β 3 3 3 β β 7 7 β 3 β 7 7 7 β β 9 9 β 5 5 β β 9 9 9 9 9 β β 8 8 β β 9 9 β 2 β
β 8 β β β 4 β β 7 β 3 β 7 7 β β 9 9 9 β β β β 9 9 β β β β β β β 8 8 β 9 β β 2 β
β 8 β 2 β 4 4 β 7 β β β 7 7 β 2 β β 9 β β 6 6 β 9 β 8 8 8 8 1 β 8 8 β 9 β 4 β β
β 8 β 2 β 4 β β 7 β β 5 β β β 2 β 9 9 β β β 6 β 9 β β 8 8 8 β β 8 8 β 9 β 4 β 7
β 8 β β 9 β β 5 β β β 5 β 6 6 β β 9 β β 3 β 6 β β 1 β β β 8 β 6 β β β 9 β 4 β 7
β 8 8 β 9 β 5 5 β 6 β 5 β 6 β β 4 β β 8 3 β 6 6 β β 7 7 β β β 6 β 5 5 β β 4 β 7
β 8 8 β 9 β 5 β β 6 β 5 β 6 β 4 4 β 8 8 3 β β β 4 β 7 7 7 β β 6 β 5 5 β 3 β β 7
β β β β 9 β 5 β 6 6 β 5 β 6 β 4 β β 8 8 β 2 2 β 4 β β 7 7 β β 6 β β 5 β 3 β 7 7
9 9 9 9 9 β β β 6 6 β β β 6 β β β 8 8 8 β β β β 4 4 β β β β β 6 6 β β β 3 β β 7
21) ??? 22) ??? 24) ??? 25) ???
β β β β 9 β β β 4 4 β β β 8 8 8 8 β β β 8 8 8 8 8 8 8 β β β β β β β β β β β 2 2
β 9 9 β 9 β 2 β 4 4 β 4 β β 8 8 8 β 5 β β β β β β β 8 β 9 β β 7 7 7 7 7 7 β β β
β β 9 β 9 β 2 β β β β 4 4 β 8 β β β 5 β β 6 6 6 6 β β 9 9 β β β 7 β β β β 3 3 β
8 β 9 9 9 β β 3 3 β β β 4 β β β 5 5 5 β β 6 β β β 7 β β 9 β 8 β β 4 4 4 β 3 β β
8 β β β β 1 β β 3 β 1 β β 6 6 6 β β β β β 6 β 1 β 7 7 β 9 β 8 8 β β β 4 β β β 9
8 8 8 8 β β 5 5 β β β 2 β 6 6 6 β 7 7 7 β β 3 β β 7 7 β 9 β 8 8 8 8 β β 9 9 9 9
β β β 8 8 β 5 5 β 7 β 2 β β β β 7 7 7 7 5 β 3 β 7 7 β β 9 β 8 β β β 1 β 9 9 β β
β 6 β β β β 5 β β 7 β β 9 9 9 β β β β β 5 β 3 β β β β 9 9 β β β 6 β β β 9 9 β 5
β 6 6 6 6 6 β β 7 7 3 β β 9 9 9 9 9 9 β 5 β β 4 4 4 4 β β β β 6 6 6 6 6 β β β 5
β β β β β β β 7 7 7 3 3 β β β β β β β β 5 5 β β β β β β 2 2 β β β β β β β 5 5 5
26) ??? 27) ??? 29) ??? 30) ???
2 β β β β β β 6 6 6 β β β 5 5 5 β β β 1 5 5 5 β β β β β β β 7 7 7 β β β β β β β
2 β 7 7 7 7 β β 6 6 β 2 β 5 5 β β 4 β β 5 5 β β 7 7 7 7 7 β 7 7 β β 6 6 6 6 6 β
β β 7 β β β 9 β β 6 β 2 β β β β 4 4 4 β β β β 7 7 β β β β β 7 7 β 9 β β β 6 β β
β 7 7 β 8 β 9 9 β β β β 8 8 8 8 β β β β β 9 9 β β β 6 6 6 6 β β β 9 β 1 β β β 5
β β β β 8 β β 9 9 9 8 8 8 8 β β β 3 3 3 β 9 β β 8 8 β β β 6 β 9 9 9 β β 5 5 5 5
8 8 8 8 8 8 β β 9 9 β β β β β 9 9 β β β β 9 β 8 8 8 β 4 β 6 β 9 β β 8 β β β β β
β β β β β β 1 β β 9 β 9 9 9 9 9 β β 7 β β 9 β β 8 8 β 4 β β β 9 9 β 8 8 8 8 8 β
β 5 5 5 5 β β 3 β β β β β 9 9 β β 7 7 β β 9 9 β 8 β β 4 4 β β β 9 β β β β 8 β β
β 5 β β β 4 β 3 3 β 6 6 β β β 7 7 7 7 β β 9 9 β β β 1 β β β 3 β β 4 4 4 β 8 β 2
β β β 4 4 4 β β β β 6 6 6 6 β β β β β β β β β 3 3 3 β β 2 2 3 3 β β β 4 β β β 2
31) ??? 32) ??? 34) ??? 35) ???
6 β β β β β β β 3 3 β β β 4 β β β β 6 6 7 β β β β β β 6 6 6 β β β β 7 β β β β β
6 β 8 8 8 8 8 β β 3 β 9 β 4 β 5 5 β 6 6 7 β 8 8 8 8 β β 6 6 β 2 2 β 7 7 7 7 7 β
6 β β 8 β β β 1 β β β 9 β 4 β 5 5 β 6 6 7 β β β β 8 8 β β 6 1 β β β 7 β β β β β
6 6 β 8 β 4 β β 7 β β 9 β 4 β β 5 β β β 7 7 7 7 β β 8 8 β β β β 6 6 β β 5 5 5 5
6 β β 8 β 4 4 β 7 β β 9 β β 8 β β 7 7 β β β β β 5 β β β 3 β β 6 6 β β 3 β β β 5
β β 9 β β 4 β β 7 β β 9 9 β 8 8 β 7 7 β β 4 4 β 5 5 5 β 3 β β β 6 β 3 3 β 9 β β
β 9 9 9 9 β β 7 7 β β 9 β β 8 8 β 7 7 β β 4 β β 5 β β β 3 β 8 β 6 β β β β 9 9 β
β β 9 9 9 β 5 β 7 β β 9 β 8 8 8 β β 7 β β 4 β 9 β β 9 9 β β 8 β β 9 9 9 9 9 β β
2 β 9 β β β 5 β 7 β β 9 β β β β 2 2 β β β β 9 9 9 9 9 9 β 2 8 8 β β β 9 β β β 4
2 β β β 5 5 5 β β β β β 3 3 3 β β β β 1 1 β β β β β β β β 2 8 8 8 8 β β β 4 4 4
36) ??? 37) ??? 39) ??? 40) ???
β β β β 9 9 β β β 4 4 β β 8 8 8 β β β 2 6 β β β 8 8 8 β β β 6 6 6 β β β β β β 1
β 8 8 β 9 9 β 5 β 4 4 β 8 8 β β β 9 β 2 6 β 9 β 8 8 8 β 7 β 6 6 β β 4 4 4 4 β β
β 8 8 β 9 9 β 5 β 4 4 β 8 β β 9 9 9 β β 6 β 9 β 8 β β β 7 β β 6 β 2 β β β β 7 β
β β 8 β 9 β β 5 β 4 4 β 8 β 6 β β 9 9 β 6 β 9 β 8 β 7 7 7 β β β β 2 β 9 9 β 7 β
2 β 8 β 9 β 5 5 β β β β 8 β 6 6 β β 9 β 6 β 9 β β β 7 7 β β 5 5 5 β β 9 9 β 7 β
2 β 8 β 9 β β β 6 β β 7 β β 6 6 6 β 9 β 6 β 9 9 9 9 β β β 4 5 5 β β 8 β 9 β 7 β
β β 8 β β 3 3 β 6 β β 7 β 1 β β β β 9 β β β 9 β β β β 4 4 4 β β β 8 8 β 9 β 7 β
β 1 β 7 β 3 β β 6 β β 7 β β β 3 3 3 β β β 3 β β 5 5 5 β β β β 8 8 8 8 β 9 β 7 β
β β β 7 β β 6 6 6 β β 7 7 7 7 β β β β 5 β 3 β 5 5 β β β 1 β β β β β 8 β 9 β 7 β
7 7 7 7 7 β β β β β β β β β β β 5 5 5 5 β 3 β β β β 2 2 β β 3 3 3 β β β 9 β β β
41) ??? 42) ??? 44) ??? 45) ???
4 4 4 β β β 9 β β β 3 3 β β β β 6 β β β β β β β 6 6 6 β β β 3 3 β β β 9 β β β β
4 β β β 9 9 9 β 8 β 3 β β 2 2 β 6 β 4 β β 4 4 β 6 6 β β 3 β β 3 β 8 β 9 β 2 2 β
β β 9 9 9 β 9 β 8 β β β 1 β β β 6 β 4 β β 4 β β 6 β β 3 3 β β β β 8 β 9 9 β β β
β 5 β β β β 9 β 8 β β 9 β β 6 6 6 β 4 β β 4 β 9 β β 1 β β β 8 8 8 8 β 9 β β 5 5
β 5 β 7 7 7 β β 8 β β 9 β 8 β β β β 4 β β β 9 9 β 8 β β 2 2 8 8 β β β 9 β 5 5 5
β 5 β 7 7 7 β 8 8 β β 9 β 8 β 7 7 7 β β 5 β 9 9 β 8 β 7 β β β β β 9 9 9 β β β β
β 5 β 7 β β β 8 8 β β 9 β 8 β 7 7 7 β 5 5 β 9 9 β 8 β 7 7 β β 6 6 β β β 7 7 7 β
β 5 β β β 2 2 β β β β 9 β 8 β β β 7 β 5 5 β 9 β β 8 β 7 7 β β 6 6 β 4 β 7 7 7 β
β β 3 3 3 β β β 6 6 9 9 β 8 8 8 8 β β 5 5 β 9 β 8 8 β 7 7 β β 6 6 β 4 β β 7 β β
1 β β β β β 6 6 6 6 9 9 β β β β β β 5 5 5 β β β 8 8 β β β β β β β β 4 4 β β β 1
46) ??? 47) ??? 49) ??? 50) ???
β β β 6 6 6 β β β 5 β β β 8 8 8 β β β 9 8 8 8 β β β β β β β 6 β β β β β β β 3 3
β 1 β β 6 β β 8 β 5 β 1 β β 8 8 β 5 β 9 8 8 8 β 6 6 6 6 6 β 6 β 8 8 8 8 8 β β 3
β β 9 β 6 β 8 8 β 5 β β 4 β 8 β β 5 β 9 8 8 β β 6 β β β β β 6 β β 8 β β β 7 β β
2 β 9 β 6 β β 8 β 5 2 β 4 β 8 β 5 5 β 9 β β β 1 β β 4 4 4 4 6 6 β 8 β 9 β 7 7 β
2 β 9 β β 7 β 8 β 5 2 β 4 β 8 β β 5 β 9 β 9 9 β β 9 β β β β 6 β β 8 β 9 β β 7 7
β β 9 9 β 7 β 8 β β β β 4 β β 7 β β 9 9 β β 9 β 9 9 β 3 3 β β β 5 β β 9 9 β β 7
β 3 β 9 β 7 β 8 8 β β 3 β 6 β 7 7 β 9 9 2 β 9 9 9 β β 3 β β β 5 5 β 9 9 β 4 β 7
β 3 β 9 β 7 7 β β β β 3 β 6 β β 7 β β β 2 β β β β β 7 β β 5 β 5 5 β β 9 β 4 β β
β 3 β 9 β 7 7 β 4 4 β 3 β 6 6 β 7 7 7 β β 7 7 7 7 7 7 β 5 5 β β β 1 β 9 β 4 4 β
β β β 9 β β β β 4 4 β β β 6 6 β β β β β β β β β β β β β 5 5 2 2 β β β 9 β β β β
51) ??? 52) ??? 54) ??? 55) ???
β β β 5 5 β β β 8 8 β 9 9 9 β β 6 β β β 5 5 β β β β β β 4 4 β β β β 8 8 8 8 8 8
β 4 β 5 5 β 8 8 8 8 β β 9 9 9 β 6 β 8 β 5 5 β 8 8 8 8 β 4 4 β 2 2 β β 8 β β β 8
β 4 β β 5 β β β β 8 5 β β β 9 β 6 β 8 β 5 β β 8 8 8 8 β β β β β β 1 β β β 9 β β
β 4 4 β β 9 9 9 β 8 5 5 5 β 9 β 6 β 8 β β β 3 β β β β 9 9 β 5 5 β β 9 9 9 9 9 β
β β β 1 β β β 9 β β 5 β β β 9 β 6 β 8 β β 3 3 β 7 7 β 9 β β 5 5 5 β β 9 β β 9 9
2 2 β β 7 7 β 9 9 β β β 7 7 β β 6 β 8 β β β β 6 β 7 β 9 β 1 β β β 3 β β 6 β β β
β β 6 β 7 7 β 9 β β β 7 7 7 β 1 β β 8 β 2 2 β 6 β 7 β 9 β β β 7 β 3 3 β 6 6 6 β
β 6 6 β β 7 β 9 β 3 β β 7 7 β β β 8 8 β β β β 6 β 7 β 9 9 β β 7 β β β β 6 6 β β
β 6 6 6 β 7 β 9 β 3 4 β β β 3 3 3 β β β β 6 6 6 β 7 β 9 9 β β 7 7 7 7 7 β β β 4
β β β β β 7 β β β 3 4 4 4 β β β β β 2 2 β β β β β 7 β β β β β β β β β β β 4 4 4
56) ??? 57) ??? 59) ??? 60) ???
1 β β β 7 7 7 7 7 7 5 β β β β β 8 β β 6 6 6 6 6 6 β β β β 1 1 β β β β β β β β 5
β β 3 β 7 β β β β β 5 β 9 9 9 β 8 8 β 6 β β β 6 β β 9 9 β β β β 9 9 9 9 9 9 β 5
β 3 3 β β β 9 9 9 β 5 β β 9 β β 8 β β 6 β 8 β β β 9 9 9 9 β β 3 β β β β 9 β β 5
β β β 9 9 9 9 β β β 5 5 β 9 β 8 8 β 6 6 β 8 8 8 8 β β β 9 9 β 3 β 4 4 β 9 β 5 5
6 6 6 β β β 9 β 2 2 β β β 9 β 8 8 β β 6 β 8 β β β β 7 β β 9 β 3 β β 4 β 9 β β β
6 6 6 β 8 β 9 β β β β 9 9 9 β β β 4 β β β 8 β 7 7 7 7 7 β β β β 2 β 4 β β 8 8 β
β β β β 8 β β 4 4 β 1 β β β 2 2 β 4 4 β β 8 β β 7 β β β 3 β 6 β 2 β β 7 β β 8 β
β 8 8 8 8 8 β β 4 β β β 7 β β β β 4 β β β β 4 4 β β 5 β 3 β 6 β β 7 β 7 7 β 8 β
β 8 β β β β 5 β 4 β β 7 7 7 7 7 7 β β 3 2 β 4 4 β 5 5 β 3 β 6 6 β 7 7 7 β β 8 β
β β β 5 5 5 5 β β β β β β β β β β β 3 3 2 β β β β 5 5 β β β 6 6 β β β β β 8 8 8
61) ??? 62) ??? 64) ??? 65) ???
6 6 6 6 6 6 β β β β β β β β β 3 β β β β β β β 3 3 β β β β β 2 β β β 3 3 β β β β
β β β β β β β 2 2 β β 4 4 4 β 3 β 9 9 β β 2 β 3 β β 7 7 7 β 2 β 9 β 3 β β 5 5 β
9 9 9 9 9 9 9 β β β β β 4 β β 3 β 9 9 β β 2 β β β 7 7 7 7 β β β 9 9 β β 5 5 5 β
9 β β 9 β β β β 7 7 8 8 β β 6 β β 9 9 β β β 9 9 9 β β β β β β 9 9 β β 1 β β β β
β β 1 β β 7 7 7 7 7 8 8 β 6 6 β 9 9 β β 4 β β β 9 β 5 5 5 5 β β 9 β 4 β β 8 8 8
β 8 β β 3 β β β β β 8 8 β 6 β β 9 β β 7 4 4 4 β 9 β β β β 5 6 β 9 β 4 β 8 8 8 8
β 8 β 3 3 β 4 4 4 β 8 8 β 6 β 5 β β 7 7 β β β β 9 9 9 9 β β 6 β 9 β 4 4 β β β 8
β 8 β β β β 4 β β β β β β 6 β 5 β 7 7 7 β 8 8 8 β β β β 1 β 6 β 9 β β β β 7 β β
β 8 8 8 8 8 β β 5 5 β 2 2 β β 5 β 7 β β β β β 8 β 6 6 β β β 6 β β 7 7 7 7 7 7 β
β β β β β β β 5 5 5 β β β β 5 5 β β β 1 8 8 8 8 β β 6 6 6 6 6 6 β β β β β β β β
66) ??? 67) ??? 69) ??? 70) ???
β β β β β β β 8 8 8 3 β β β β β β 8 8 8 1 β β β β β 6 6 6 6 9 9 β β β β β β 1 β
β 7 7 7 7 7 β 8 8 8 3 β 7 7 7 7 7 β β 8 β β 3 3 3 β β β β 6 9 β β 4 4 4 4 β β β
β β β β 7 7 β β β 8 3 β 7 β β β β 9 β 8 β 9 β β β 8 8 8 β 6 9 β 3 β β β β 8 8 8
3 3 3 β β β 9 9 β 8 β β 7 β 6 6 β 9 β 8 β 9 β 2 β 8 8 8 β β 9 β 3 β 5 5 β 8 β 8
β β β 2 2 β β 9 β β β 5 β β 6 β β 9 β 8 β 9 β 2 β β β 8 8 β 9 β 3 β β 5 β 8 β 8
β 6 β β β 9 β 9 9 β β 5 β 6 6 β 9 9 β 8 β 9 β β 7 7 β β β β 9 β β 7 β 5 β 8 β β
β 6 6 6 β 9 9 9 β β β 5 β β 6 β β 9 β β β 9 9 9 β 7 7 7 7 7 9 9 β 7 β 5 β β 2 β
β β 6 6 β β β β β 1 β 5 5 β β 4 β 9 9 β β β 9 9 β β β β β β β β β 7 β β 6 β 2 β
4 β β β 5 5 5 5 5 β β β β 1 β 4 β β 9 β 4 β β β 5 5 5 5 5 β β 7 7 7 7 β 6 β β β
4 4 4 β β β β β β β 2 2 β β β 4 4 β β β 4 4 4 β β β β β β β β β β β β β 6 6 6 6
71) ??? 72) ??? 74) ??? 75) ???
3 3 3 β β β β β β β β β β 2 2 β β β 6 6 β β β β 8 β β β 4 4 β 6 β β β 2 2 β β β
β β β β 5 5 5 5 5 β β 8 β β β β 8 β 6 6 β 9 9 β 8 β 5 β β 4 β 6 β 1 β β β β 9 β
β 8 8 8 β β β β β β β 8 8 8 8 8 8 β β 6 β 9 9 β 8 β 5 5 β 4 β 6 β β 9 9 9 9 9 β
β 8 β 8 β 7 7 7 7 7 β β β β β β β 4 β 6 β β 9 β 8 β 5 5 β β β 6 6 β 9 β β β β β
β 8 β β 1 β β β β 7 9 9 9 9 9 9 β 4 β β 9 9 9 β 8 β β β 7 β β β 6 β 9 β 4 4 4 4
β 8 8 β β β 9 9 β 7 β β β 9 9 β β 4 4 β 9 β β β 8 8 8 β 7 β 8 β β β 9 β β β β β
β β β 9 9 9 9 9 β β β 7 β β 9 β 5 β β β β β 6 6 β β β 7 7 β 8 8 8 8 β 5 5 5 5 β
6 6 β 9 β β β β 2 β β 7 7 β β β 5 5 5 5 β 6 6 6 β 3 β 7 7 β 8 β β β β 5 β β β β
6 6 β 9 β 4 4 β 2 β β β 7 7 7 7 β β β β β β β 6 β 3 β 7 β β 8 β 3 3 3 β β 7 7 7
6 6 β β β 4 4 β β β 1 β β β β β β 3 3 3 2 2 β β β 3 β β β 1 8 β β β β β 7 7 7 7
76) ??? 77) ??? 79) ??? 80) ???
5 5 5 β β β β β β β β β β 2 2 β β β 4 4 4 4 β β β β β β 6 6 1 β β β β 3 3 β β β
5 β β β 9 9 9 9 9 β β 9 β β β β 9 β 4 4 4 4 β 5 5 5 5 β β 6 β β 8 8 β β 3 β 2 β
5 β 9 9 9 β β β β β β 9 9 9 9 9 9 β β β β β β 5 β β β 9 β 6 β 8 8 8 8 β β β 2 β
β β 9 β β β 8 8 8 8 β β β 9 β β β 7 7 β β 3 3 β β 1 β 9 β 6 β 8 β β β 9 9 9 β β
β 4 β β 8 8 8 β β 8 8 8 β β β 1 β 7 7 β β 3 β β 8 β β 9 β 6 β 8 β 4 β β β 9 β 6
β 4 β 2 β β β β 7 β 8 8 8 8 8 β β 7 7 7 β β β 8 8 β 9 9 β β β β β 4 4 4 β 9 β 6
β 4 β 2 β 7 7 7 7 β β β β 8 β β 3 β β β 8 8 8 8 8 β β 9 9 β 7 7 7 β β β 9 9 β 6
β 4 β β β 7 7 β β β β 5 β β β 3 3 β 6 β β β β β β 7 β 9 9 β β 7 7 β 5 β β 9 β 6
β β 3 3 3 β β β 6 6 β 5 5 5 5 β β β 6 β β 7 7 7 7 7 7 β β β β 7 7 β 5 5 β 9 β 6
1 β β β β β 6 6 6 6 β β β β β β 6 6 6 6 β β β β β β β β 2 2 β β β β 5 5 β β β 6
81) ??? 82) ??? 84) ??? 85) ???
β β β β β β β β β 1 7 7 7 7 7 β β β β β 4 4 β β β 6 6 β β β β β β β β β 9 9 9 9
β 9 9 9 9 9 9 9 β β 7 β β β 7 β 4 4 4 β 4 4 β 9 β 6 6 β 8 β β 4 4 4 4 β β β 9 9
β 9 β β β β β β 3 β β β 9 β β β 4 β β β β β β 9 β β 6 β 8 β β β β β β 2 2 β β 9
β 9 β 6 6 6 6 β 3 β β 9 9 9 9 9 β β 8 8 β 9 9 9 9 β 6 β 8 β 7 7 7 7 β β β 3 β 9
β β β 6 6 β β β 3 β β β β 9 9 β β 8 8 8 β β β β 9 β β 8 8 β β β β 7 7 7 β 3 β 9
7 7 7 β β β 8 8 β β 5 5 β 9 β β 6 β β 8 3 3 3 β 9 9 β 8 8 β β 1 β β β β β 3 β β
7 β β β 8 8 8 8 β 4 5 5 5 β β 6 6 β 8 8 β β β 1 β β β 8 β β β β 5 5 5 5 5 β 8 β
7 β 5 5 β β β 8 β 4 β β β β 6 6 6 β β β β 5 β β β 2 2 β β 7 6 6 β β β β β β 8 β
7 β 5 5 β 2 β 8 β 4 β 3 3 3 β β β 2 2 β β 5 5 5 5 β β β 7 7 6 6 β 8 8 8 8 8 8 β
7 β β 5 β 2 β β β 4 β β β β β 1 β β β β β β β β β β 7 7 7 7 6 6 β β β β β β β β
86) ??? 87) ??? 89) ??? 90) ???
β β β β β 1 β β β 2 7 7 7 7 β β β β β β β β β β β β β β 8 8 β β β 5 5 5 β β β β
β 3 3 3 β β β 8 β 2 7 7 β β β 4 4 4 4 β β 9 9 9 9 9 9 β 8 8 β 6 β β 5 5 β 9 9 β
β β β β 8 8 8 8 β β 7 β β 6 6 β β β β β β β β β β β 9 β 8 8 6 6 6 β β β β 9 β β
6 6 6 β 8 β β β 7 β β β 6 6 β β 5 5 5 5 7 7 7 7 7 β 9 β 8 8 6 β β 9 9 9 9 9 β 1
6 6 6 β 8 β 9 β 7 β β 6 6 β β 9 β β β 5 β β β β 7 β 9 β β β 6 β 8 β β β β 9 β β
β β β β 8 β 9 β 7 β 2 β β β 9 9 9 9 β β β 6 6 β 7 β β 5 5 β β β 8 β 2 2 β β 3 β
β 5 5 5 β β 9 β 7 β 2 β 3 3 β β β 9 9 β β 6 6 β β 2 β 5 5 β β 8 8 β β β 7 β 3 β
β β β 5 β 9 9 β 7 β β β 3 β β 8 β β 9 β β 6 β 4 β 2 β 5 β β β β 8 8 8 β 7 β 3 β
4 4 β 5 β 9 9 β 7 7 β 1 β β 8 8 8 β 9 β β 6 β 4 β β 1 β β 3 4 β β β 8 β 7 β β β
4 4 β β β 9 9 β β β β β β 8 8 8 8 β β β β β β 4 4 β β β 3 3 4 4 4 β β β 7 7 7 7
91) ??? 92) ??? 94) ??? 95) ???
5 5 β β β β β β 2 2 β β β 2 β 1 β β β β β β β 4 β β β 3 3 3 7 7 β β β 6 6 β β β
5 β β 7 7 7 7 β β β β 4 β 2 β β β 9 9 β β 4 4 4 β 5 β β β β 7 7 β 8 β β 6 β 9 β
5 β 9 β β β 7 7 7 β β 4 β β 9 9 9 9 9 β β β β β β 5 5 5 5 β 7 β β 8 8 β 6 β 9 β
5 β 9 β 1 β β β β β β 4 4 β β β β 9 9 β 7 7 7 7 7 β β β β β 7 β 8 8 8 β 6 β 9 β
β β 9 β β 8 8 8 8 8 β β β 3 3 3 β β β β β β β 7 β β 6 6 6 6 7 β 8 8 β β 6 β 9 β
β 9 9 9 β β β 8 8 8 6 6 β β β β 7 7 7 7 β 2 β 7 β 9 β β β 6 β 3 β β β 4 β β 9 β
β β β 9 9 9 β β β β β 6 6 6 6 β β 7 7 7 β 2 β β β 9 β 9 β 6 β 3 β 4 4 4 β 9 9 β
4 4 4 β β β 6 6 6 β β β β β β 5 β β β β β β 9 9 9 9 9 9 β β β 3 β β β β β 9 9 β
β 4 β β 3 β 6 6 6 β 8 8 8 8 β 5 5 5 5 β 8 β β β β β β β 1 β β β 5 5 5 5 5 β β β
β β β 3 3 β β β β β 8 8 8 8 β β β β β β 8 8 8 8 8 8 8 β β β 1 β β β β β β β 2 2
96) ??? 97) ??? 99) ??? 100) ???
β β β 3 3 β β β β β β β β β β 3 β β β β β β β 3 3 3 β β 5 5 6 6 β β β β β β β β
β 1 β β 3 β 4 4 4 β β 6 6 6 β 3 β 5 5 β β 4 4 β β β 7 β 5 5 6 6 β 9 9 9 9 9 9 β
β β 7 β β β 4 β β β β 6 β β β 3 β 5 5 β β 4 β β 9 β 7 β β 5 6 6 β 9 β β β 9 β β
5 β 7 7 7 7 β β 9 9 β 6 β 2 2 β β 5 β β β 4 β 9 9 β 7 7 β β β β β 9 β 8 β β β 8
5 β β β 7 7 β 9 9 9 β 6 β β β 4 4 β β 9 β β β 9 β β 7 7 7 β β 3 3 β β 8 8 8 8 8
5 5 5 β β β 9 9 β β β β 8 8 β 4 β β 9 9 9 9 9 9 β 8 β β β β β β 3 β 5 β β β β 8
β β β 2 2 β 9 β β 8 7 β β 8 β 4 β 9 9 9 9 β β β β 8 β 6 6 6 2 2 β β 5 5 5 5 β β
β 6 β β β β 9 β 8 8 7 7 β 8 β β β 9 9 9 β β 8 8 8 8 β β β 6 β β β 4 β β β β 1 β
β 6 6 6 6 6 β β 8 8 7 7 β 8 8 8 8 β β β β 8 8 β β β 2 2 β 6 β 4 4 4 β 7 7 β β β
β β β β β β β 8 8 8 7 7 β β β β β β 1 β β β β β 1 β β β β 6 β β β β β 7 7 7 7 7
101) ??? 102) ??? 104) ??? 105) ???
2 2 β β β 6 6 β β β 5 5 β 7 7 7 β β β β β β β β β 6 6 β β β 1 β β β β 3 3 β β β
β β β 1 β 6 6 β 9 β 5 5 β 7 7 β β 2 2 β β 8 8 8 β 6 6 β 9 β β β 4 4 β β 3 β 9 β
β 8 8 β β 6 6 β 9 β 5 β β 7 7 β 9 β β β β 8 β β β 6 6 β 9 β β 2 β 4 4 β β 9 9 β
β 8 8 β 7 β β β 9 β β β 1 β β β 9 β 6 6 β 8 β 4 4 β β β 9 β β 2 β β β 8 β 9 β β
β 8 8 β 7 β 9 9 9 9 β 8 β β 9 9 9 β 6 6 β 8 β β 4 β 9 9 9 β β β 7 7 β 8 β 9 β 6
8 8 β β 7 β β β 9 9 β 8 β 9 9 β 9 β β 6 β 8 8 β 4 β β 9 β β 5 β 7 β β 8 β 9 β 6
β β β 7 7 7 7 β β β β 8 β β 9 β β 4 β 6 β β β 2 β 1 β 9 β 5 5 β 7 β 8 8 β 9 β 6
β 4 4 β β β β 3 3 β β 8 8 β β 3 β 4 β β 7 7 β 2 β β β 9 β 5 5 β 7 β β 8 β 9 β 6
β 4 4 β 5 5 β β 3 β β 8 8 8 β 3 β 4 4 β 7 7 β β 3 3 3 β β 5 5 β 7 7 β 8 β 9 β 6
β β β β 5 5 5 β β β β β β β β 3 β β β β 7 7 7 β β β β β 5 5 5 β β β β 8 β β β 6
106) ??? 107) ??? 109) ??? 110) ???
4 4 β β β 1 β β β β 6 6 6 β β β β β β β β β β β β 4 4 β β β 8 β β β β β β β β 3
4 4 β 9 β β β 2 2 β 6 6 6 β 8 8 8 8 8 β β 6 6 6 β 4 β β 5 β 8 β 6 6 6 6 6 6 β 3
β β β 9 9 9 9 β β β β β β β 8 β β β 8 β β 6 β β β 4 β 5 5 β 8 8 β β β β β β β 3
β 9 9 9 β β β β 7 7 β 9 9 9 β β 3 β 8 β β 6 β 3 3 β β 5 5 β 8 8 β 7 7 7 7 7 7 β
β β β 9 β 7 7 7 7 7 β β 9 9 β 3 3 β β β β 6 β β 3 β 8 β β β 8 β β 7 β β β β β β
5 5 β β 8 β β β β β 1 β β 9 β β β 7 7 7 β β 1 β β β 8 β 2 2 8 β 4 β β 5 5 5 5 5
5 5 5 β 8 8 8 8 8 β β 5 β 9 9 9 β β β 7 7 β β 8 8 8 8 β β β β β 4 β 1 β β β β β
β β β β 8 β β β 8 β β 5 5 β β β 4 4 β 7 7 7 β 8 β β β 9 9 β β 4 4 β β β 9 9 9 β
β 3 3 3 β β 6 β β β β 5 5 β 2 β 4 4 β 7 7 7 β 8 β 9 β 9 β β β β β 9 9 9 9 9 9 β
β β β β β 6 6 6 6 6 β β β β 2 β β β β 7 7 7 β β β 9 9 9 9 9 2 2 β β β β β β β β
111) ??? 112) ??? 114) ??? 115) ???
7 β β β β 6 6 6 6 6 9 9 9 9 9 β β β 5 5 β β β β β β 8 8 8 8 3 3 3 β 7 7 β β β β
7 β 2 2 β β 6 β β β β β β β 9 β 1 β β 5 β 7 7 7 7 β 8 β β β β β β β 7 β β 5 5 β
7 β β β 8 β β β 8 β β 8 8 β 9 β β 3 β 5 β β β 7 β β 8 β 3 β β 7 7 7 7 β 5 5 β β
7 7 7 β 8 8 8 8 8 β β β 8 β 9 9 β 3 β 5 5 5 β 7 β 8 8 β 3 β β β β β β β 5 β β 6
7 β β β 8 β β β β β 4 β 8 8 β β β 3 β β 5 5 β 7 β β β β 3 β 8 8 8 8 8 8 β β 6 6
β β 9 9 β β 5 5 5 5 4 β β 8 β 7 7 β 6 β β 5 β β 4 4 4 4 β β 8 β β β β β β 6 6 6
β 3 β 9 β 4 β β β 5 4 4 β 8 β 7 β β 6 β β β 1 β β β β β 2 2 8 β 9 9 9 9 9 β β β
β 3 β 9 β 4 4 4 β β β β β 8 β 7 β 6 6 β 6 β β 9 9 9 9 β β β β β 9 9 9 9 β β 4 β
β 3 β 9 β β β β 1 β β 2 2 β β 7 β 6 6 β 6 6 β β 9 9 9 9 9 β β 1 β β β β 4 4 4 β
β β β 9 9 9 9 β β β β β β β 7 7 β β β β 6 6 6 β β β β β β β β β β 2 2 β β β β β
116) ??? 117) ??? 119) ??? 120) ???
6 6 6 β β β β β β β 1 β β β 7 7 7 7 7 7 1 β β β 4 4 β β β 5 1 β β β β β 8 β β 5
6 6 β β 7 7 7 7 7 β β β 4 β β 7 β β β β β β 6 β β 4 β 5 5 5 β β 9 9 9 β 8 β 5 5
6 β β 7 7 β β β β β β 4 4 4 β β β 2 2 β β 6 6 6 β 4 β β β 5 β 9 9 9 β β 8 β 5 5
β β 1 β β β 9 9 9 9 β β β β 6 6 6 β β β β β 6 6 β β 9 9 β β β β 9 9 β 8 8 β β β
β 8 β β 9 9 9 β β β 3 3 3 β 6 6 β β 5 5 7 β β β 8 β 9 9 9 β 3 β β 9 β β 8 8 8 β
β 8 β 8 β 9 β β 5 β β β β β 6 β β 5 5 5 7 7 7 β 8 β β β 9 β 3 3 β β 7 β β β β β
β 8 8 8 β 9 β 5 5 β β 9 9 9 β β 8 β β β β 7 7 β 8 8 8 β 9 β β β 2 β 7 7 7 7 7 7
β β 8 8 β β β 5 5 β β 9 β 9 β 8 8 8 8 β β β 7 β β β 8 β 9 β 4 β 2 β β β β β β β
4 β β β 3 3 3 β β β β 9 β 9 β β 8 8 8 β 3 β β 2 2 β 8 β 9 β 4 β β 6 6 6 6 6 6 β
4 4 4 β β β β β 2 2 β β β 9 9 β β β β β 3 3 β β β β 8 β β β 4 4 β β β β β β β β
121) ??? 122) ??? 124) ??? 125) ???
β β β β β β 4 4 4 4 β β β β 7 7 β β β 1 β β β β β 1 β β β β β β β 9 9 β β β β 2
β 6 6 6 6 β β β β β β 9 9 β 7 7 β 6 β β β 3 3 3 β β β 8 8 β β 6 β β 9 β 3 3 β 2
β 6 β β β 9 9 9 9 β β β 9 β 7 7 β 6 6 β β β β β 8 8 8 8 β β β 6 6 β 9 β β 3 β β
β 6 β 7 β 9 9 β β β 2 β 9 β β 7 β β 6 β 7 7 7 β β β 8 8 β 5 6 6 6 β 9 9 β β 8 β
β β β 7 β 9 β β 8 8 2 β 9 9 β β 8 β 6 β 7 7 β 9 9 9 β β β 5 β β β β 9 9 9 β 8 β
7 7 7 7 β 9 β 8 8 8 β β 9 9 9 β 8 β 6 β 7 7 β 9 9 9 β 5 5 5 β 5 5 5 β β β β 8 β
β β 7 β β 9 β 8 8 β β 3 β β β 8 8 8 β β β β β 9 9 9 β β β β β β β 5 β 8 8 8 8 β
β 2 β β 5 β β 8 β β β 3 β 4 β 8 8 β β 5 β 4 4 β β β 6 6 6 β 7 7 β 5 β β β β 8 β
β 2 β 5 5 β 1 β β 3 β 3 β 4 β β 8 β 5 5 β 4 4 β 2 β 6 6 6 β 7 7 β β 4 4 4 4 β β
β β β 5 5 β β β 3 3 β β β 4 4 β β β 5 5 β β β β 2 β β β β β 7 7 7 β β β β β β 1
126) ??? 127) ??? 129) ??? 130) ???
β β β 7 β β β β 8 8 3 3 β β β β β β 7 7 β β β 5 5 β β β β β β β β 9 9 9 β β β β
β 4 β 7 β 2 2 β β 8 3 β β 6 6 6 6 β β 7 β 6 β 5 β β 3 3 3 β β 5 β 9 9 9 β 7 7 β
β 4 β 7 β β β 9 β 8 β β 6 6 β β β 8 β 7 β 6 β 5 β 8 β β β β β 5 β 9 β β β 7 β β
β 4 β 7 7 7 β 9 β 8 β 1 β β β 4 β 8 β 7 β 6 β 5 β 8 β 9 9 9 β 5 β 9 β 7 7 7 β 6
β 4 β β 7 β β 9 β 8 β β β 4 4 4 β 8 β 7 β 6 β β 8 8 β β 9 9 β 5 β 9 β β β 7 β 6
β β 3 β β 9 9 9 β 8 9 9 9 β β β β 8 β 7 β 6 6 β β 8 8 β 9 9 β 5 β β 8 8 β β 6 6
5 β 3 3 β β 9 9 β 8 9 β 9 β 8 8 8 8 β β β β β 1 β β 8 β 9 9 β β 4 β 8 8 8 β 6 6
5 β β β 6 β β 9 β β β β 9 9 β β β β 2 β 7 7 β β 4 β 8 β β β 3 β 4 β 8 8 8 β β β
5 5 5 β 6 6 β β 1 β β 9 9 β β 5 5 β 2 β 7 7 7 β 4 β β 2 2 β 3 β 4 4 β β β 2 2 β
β β β β 6 6 6 β β β β β β β 5 5 5 β β β 7 7 β β 4 4 β β β β 3 β β β β 1 β β β β
131) ??? 132) ???
β β β β β β 1 β β 2 β β β 6 6 6 6 β β β
β 5 5 5 5 β β 4 β 2 β 8 β β β β 6 β 9 β
β β 5 β β 9 β 4 β β β 8 8 8 8 β 6 β 9 β
3 β β 6 β 9 β 4 4 β β β 8 8 8 β β β 9 β
3 3 β 6 β 9 β β β β 5 β β β β 9 9 9 9 β
β β β 6 β 9 9 9 9 9 5 5 5 5 β β β β 9 β
β 6 6 6 β β β β β 9 β β β β 3 3 3 β 9 β
β β β β 7 7 7 7 β β β 4 4 4 β β β 1 β β
8 8 8 β β β 7 7 7 β β β β 4 β 7 β β β 7
8 8 8 8 8 β β β β β 2 2 β β β 7 7 7 7 7