usage: MOLS.py [-h] [--size SIZE] [--seed SEED] [--normalize] [--mode [MODE]]
               [--randomize] [--all-solutions] [--solver SOLVER] [-v]
               [--MOLS3] [--first [FIRST]] [--proof]

options:
  -h, --help       show this help message and exit
  --size SIZE      ... or order. Default=8
  --seed SEED      Seed. Default=random
  --normalize      Normalize/reduce (before search). Default=false
  --mode [MODE]    Can be enum/restart. Default=enum
  --randomize      Randomize LS before search (in 'restart' mode).
                   Default=false
  --all-solutions  Produce all possible solutions. Default=false
  --solver SOLVER  Set SAT solver. Supported: libcadical kissat gimsatul
                   minisat plingeling picosat libpicosat
  -v               Increase verbosity. May be -vv, -vvv, -vvvv
  --MOLS3          Find also 3-MOLS. Default=false
  --first [FIRST]  Set first square (in short form)
  --proof          Generate proof (during exact cover stage). Default=false

Setting seed 711950827
Setting size 8
Setting mode enum
Non-normalize mode
Setting solver kissat
Setting first square
transversals_total 5504
Going to solve exact cover problem
transversals_set_i 0
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [90m2[0m [91m3[0m [31m4[0m [36m0[0m [34m6[0m [35m7[0m [92m1[0m [33m9[0m [32m5[0m 
[91m2[0m [36m3[0m [90m4[0m [32m0[0m [37m1[0m [33m7[0m [92m8[0m [34m9[0m [35m5[0m [31m6[0m 
[33m3[0m [37m4[0m [92m0[0m [36m1[0m [34m2[0m [35m8[0m [32m9[0m [31m5[0m [90m6[0m [91m7[0m 
[34m4[0m [31m0[0m [35m1[0m [92m2[0m [32m3[0m [37m9[0m [33m5[0m [91m6[0m [36m7[0m [90m8[0m 
[92m5[0m [35m6[0m [34m7[0m [91m8[0m [31m9[0m [90m1[0m [36m2[0m [37m3[0m [32m4[0m [33m0[0m 
[36m6[0m [92m7[0m [31m8[0m [35m9[0m [91m5[0m [32m2[0m [90m3[0m [33m4[0m [37m0[0m [34m1[0m 
[35m0[0m [33m1[0m [36m9[0m [90m5[0m [92m6[0m [31m3[0m [91m4[0m [32m7[0m [34m8[0m [37m2[0m 
[32m1[0m [91m9[0m [37m5[0m [33m6[0m [90m7[0m [92m4[0m [34m0[0m [36m8[0m [31m2[0m [35m3[0m 
[90m9[0m [34m5[0m [32m6[0m [37m7[0m [33m8[0m [91m0[0m [31m1[0m [35m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 3 4 7 6 1 9 2 5 
1 9 2 0 6 4 7 5 3 8 
2 6 9 8 1 3 5 4 7 0 
3 1 5 6 4 7 8 0 9 2 
4 0 7 5 8 1 3 2 6 9 
5 7 4 2 0 9 6 1 8 3 
6 5 0 7 2 8 9 3 1 4 
7 3 6 9 5 0 2 8 4 1 
8 2 1 3 9 5 4 6 0 7 
9 4 8 1 3 2 0 7 5 6 
Short form: 0834761925192064753826981354703156478092407581326957420961836507289314736950284182139546079481320756

Concatenated:
70 88 23 34 47 56 61 09 12 95 
81 29 32 40 06 64 77 15 93 58 
22 36 49 08 11 73 85 94 57 60 
33 41 05 16 24 87 98 50 69 72 
44 00 17 25 38 91 53 62 76 89 
55 67 74 82 90 19 26 31 48 03 
66 75 80 97 52 28 39 43 01 14 
07 13 96 59 65 30 42 78 84 21 
18 92 51 63 79 45 04 86 20 37 
99 54 68 71 83 02 10 27 35 46 

transversals_set_i 1
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [37m2[0m [36m3[0m [33m4[0m [31m0[0m [91m6[0m [35m7[0m [92m1[0m [90m9[0m [32m5[0m 
[91m2[0m [90m3[0m [37m4[0m [32m0[0m [34m1[0m [33m7[0m [92m8[0m [36m9[0m [35m5[0m [31m6[0m 
[33m3[0m [31m4[0m [92m0[0m [37m1[0m [90m2[0m [35m8[0m [32m9[0m [91m5[0m [34m6[0m [36m7[0m 
[36m4[0m [91m0[0m [35m1[0m [92m2[0m [32m3[0m [31m9[0m [34m5[0m [33m6[0m [37m7[0m [90m8[0m 
[92m5[0m [35m6[0m [34m7[0m [91m8[0m [33m9[0m [90m1[0m [36m2[0m [31m3[0m [32m4[0m [37m0[0m 
[90m6[0m [92m7[0m [31m8[0m [35m9[0m [37m5[0m [32m2[0m [91m3[0m [34m4[0m [36m0[0m [33m1[0m 
[35m0[0m [36m1[0m [91m9[0m [31m5[0m [92m6[0m [37m3[0m [90m4[0m [32m7[0m [33m8[0m [34m2[0m 
[32m1[0m [34m9[0m [90m5[0m [36m6[0m [91m7[0m [92m4[0m [33m0[0m [37m8[0m [31m2[0m [35m3[0m 
[37m9[0m [33m5[0m [32m6[0m [90m7[0m [36m8[0m [34m0[0m [31m1[0m [35m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 3 1 7 4 9 6 2 5 
1 9 4 3 0 2 7 5 6 8 
2 6 9 8 1 3 5 4 7 0 
3 0 5 9 6 7 8 2 1 4 
4 2 7 5 8 0 1 3 9 6 
5 7 1 2 3 6 4 0 8 9 
6 5 0 7 9 8 2 1 4 3 
7 4 2 0 5 9 6 8 3 1 
8 1 6 4 2 5 3 9 0 7 
9 3 8 6 4 1 0 7 5 2 
Short form: 0831749625194302756826981354703059678214427580139657123640896507982143742059683181642539079386410752

Concatenated:
70 88 23 31 47 54 69 06 12 95 
81 29 34 43 00 62 77 15 96 58 
22 36 49 08 11 73 85 94 57 60 
33 40 05 19 26 87 98 52 61 74 
44 02 17 25 38 90 51 63 79 86 
55 67 71 82 93 16 24 30 48 09 
66 75 80 97 59 28 32 41 04 13 
07 14 92 50 65 39 46 78 83 21 
18 91 56 64 72 45 03 89 20 37 
99 53 68 76 84 01 10 27 35 42 

transversals_set_i 2
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [91m2[0m [37m3[0m [33m4[0m [34m0[0m [31m6[0m [35m7[0m [92m1[0m [90m9[0m [32m5[0m 
[34m2[0m [36m3[0m [31m4[0m [32m0[0m [90m1[0m [91m7[0m [92m8[0m [37m9[0m [35m5[0m [33m6[0m 
[91m3[0m [90m4[0m [92m0[0m [31m1[0m [36m2[0m [35m8[0m [32m9[0m [33m5[0m [34m6[0m [37m7[0m 
[37m4[0m [33m0[0m [35m1[0m [92m2[0m [32m3[0m [34m9[0m [31m5[0m [91m6[0m [36m7[0m [90m8[0m 
[92m5[0m [35m6[0m [34m7[0m [37m8[0m [91m9[0m [33m1[0m [90m2[0m [31m3[0m [32m4[0m [36m0[0m 
[90m6[0m [92m7[0m [91m8[0m [35m9[0m [37m5[0m [32m2[0m [33m3[0m [36m4[0m [31m0[0m [34m1[0m 
[35m0[0m [37m1[0m [36m9[0m [91m5[0m [92m6[0m [90m3[0m [34m4[0m [32m7[0m [33m8[0m [31m2[0m 
[32m1[0m [31m9[0m [90m5[0m [36m6[0m [33m7[0m [92m4[0m [91m0[0m [34m8[0m [37m2[0m [35m3[0m 
[33m9[0m [34m5[0m [32m6[0m [90m7[0m [31m8[0m [37m0[0m [36m1[0m [35m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 9 2 7 1 4 6 3 5 
1 3 4 9 2 0 7 5 6 8 
2 1 0 8 6 3 5 4 7 9 
3 6 5 0 1 7 8 9 2 4 
4 9 7 5 8 2 0 3 1 6 
5 7 2 4 3 9 6 0 8 1 
6 5 3 7 4 8 9 1 0 2 
7 4 1 3 5 6 2 8 9 0 
8 0 6 1 9 5 3 2 4 7 
9 2 8 6 0 4 1 7 5 3 
Short form: 0892714635134920756821086354793650178924497582031657243960816537489102741356289080619532479286041753

Concatenated:
70 88 29 32 47 51 64 06 13 95 
81 23 34 49 02 60 77 15 96 58 
22 31 40 08 16 73 85 94 57 69 
33 46 05 10 21 87 98 59 62 74 
44 09 17 25 38 92 50 63 71 86 
55 67 72 84 93 19 26 30 48 01 
66 75 83 97 54 28 39 41 00 12 
07 14 91 53 65 36 42 78 89 20 
18 90 56 61 79 45 03 82 24 37 
99 52 68 76 80 04 11 27 35 43 

transversals_set_i 3
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [91m2[0m [31m3[0m [32m4[0m [33m0[0m [34m6[0m [35m7[0m [92m1[0m [37m9[0m [90m5[0m 
[34m2[0m [37m3[0m [90m4[0m [31m0[0m [32m1[0m [91m7[0m [92m8[0m [36m9[0m [33m5[0m [35m6[0m 
[91m3[0m [33m4[0m [92m0[0m [36m1[0m [37m2[0m [35m8[0m [90m9[0m [34m5[0m [31m6[0m [32m7[0m 
[37m4[0m [36m0[0m [35m1[0m [92m2[0m [90m3[0m [33m9[0m [91m5[0m [32m6[0m [34m7[0m [31m8[0m 
[92m5[0m [90m6[0m [37m7[0m [33m8[0m [34m9[0m [31m1[0m [32m2[0m [35m3[0m [36m4[0m [91m0[0m 
[33m6[0m [92m7[0m [34m8[0m [35m9[0m [31m5[0m [90m2[0m [36m3[0m [91m4[0m [32m0[0m [37m1[0m 
[35m0[0m [34m1[0m [91m9[0m [37m5[0m [92m6[0m [32m3[0m [31m4[0m [33m7[0m [90m8[0m [36m2[0m 
[90m1[0m [31m9[0m [32m5[0m [91m6[0m [36m7[0m [92m4[0m [34m0[0m [37m8[0m [35m2[0m [33m3[0m 
[32m9[0m [35m5[0m [36m6[0m [90m7[0m [91m8[0m [37m0[0m [33m1[0m [31m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 9 6 2 7 1 4 8 3 5 
1 3 0 9 6 2 7 5 4 8 
2 4 8 0 9 3 5 1 6 7 
3 6 5 1 4 7 8 2 0 9 
4 1 7 5 8 6 3 9 2 0 
5 8 4 6 2 0 9 7 1 3 
6 5 2 7 0 8 1 3 9 4 
7 2 3 4 5 9 0 6 8 1 
8 0 9 3 1 5 2 4 7 6 
9 7 1 8 3 4 6 0 5 2 
Short form: 0962714835130962754824809351673651478209417586392058462097136527081394723459068180931524769718346052

Concatenated:
70 89 26 32 47 51 64 08 13 95 
81 23 30 49 06 62 77 15 94 58 
22 34 48 00 19 73 85 91 56 67 
33 46 05 11 24 87 98 52 60 79 
44 01 17 25 38 96 53 69 72 80 
55 68 74 86 92 10 29 37 41 03 
66 75 82 97 50 28 31 43 09 14 
07 12 93 54 65 39 40 76 88 21 
18 90 59 63 71 45 02 84 27 36 
99 57 61 78 83 04 16 20 35 42 

transversals_set_i 4
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [91m2[0m [37m3[0m [36m4[0m [31m0[0m [34m6[0m [32m7[0m [92m1[0m [35m9[0m [90m5[0m 
[34m2[0m [35m3[0m [90m4[0m [33m0[0m [36m1[0m [91m7[0m [92m8[0m [32m9[0m [37m5[0m [31m6[0m 
[91m3[0m [37m4[0m [92m0[0m [35m1[0m [32m2[0m [31m8[0m [90m9[0m [34m5[0m [36m6[0m [33m7[0m 
[32m4[0m [36m0[0m [31m1[0m [92m2[0m [90m3[0m [37m9[0m [91m5[0m [33m6[0m [34m7[0m [35m8[0m 
[92m5[0m [90m6[0m [36m7[0m [37m8[0m [34m9[0m [32m1[0m [35m2[0m [31m3[0m [33m4[0m [91m0[0m 
[35m6[0m [92m7[0m [34m8[0m [31m9[0m [33m5[0m [90m2[0m [36m3[0m [91m4[0m [32m0[0m [37m1[0m 
[37m0[0m [34m1[0m [91m9[0m [32m5[0m [92m6[0m [33m3[0m [31m4[0m [35m7[0m [90m8[0m [36m2[0m 
[90m1[0m [33m9[0m [35m5[0m [91m6[0m [37m7[0m [92m4[0m [34m0[0m [36m8[0m [31m2[0m [32m3[0m 
[36m9[0m [31m5[0m [32m6[0m [90m7[0m [91m8[0m [35m0[0m [33m1[0m [37m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 4 1 2 6 9 7 8 3 5 
1 3 7 9 0 2 4 5 6 8 
2 6 8 1 9 3 5 4 7 0 
3 7 5 6 4 0 8 2 9 1 
4 9 0 5 8 7 3 1 2 6 
5 8 9 7 2 4 6 0 1 3 
6 5 2 0 1 8 9 3 4 7 
7 2 3 4 5 1 0 6 8 9 
8 1 6 3 7 5 2 9 0 4 
9 0 4 8 3 6 1 7 5 2 
Short form: 0412697835137902456826819354703756408291490587312658972460136520189347723451068981637529049048361752

Concatenated:
70 84 21 32 46 59 67 08 13 95 
81 23 37 49 00 62 74 15 96 58 
22 36 48 01 19 73 85 94 57 60 
33 47 05 16 24 80 98 52 69 71 
44 09 10 25 38 97 53 61 72 86 
55 68 79 87 92 14 26 30 41 03 
66 75 82 90 51 28 39 43 04 17 
07 12 93 54 65 31 40 76 88 29 
18 91 56 63 77 45 02 89 20 34 
99 50 64 78 83 06 11 27 35 42 

transversals_set_i 5
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [91m2[0m [35m3[0m [36m4[0m [31m0[0m [34m6[0m [90m7[0m [92m1[0m [33m9[0m [32m5[0m 
[34m2[0m [31m3[0m [37m4[0m [32m0[0m [33m1[0m [91m7[0m [92m8[0m [36m9[0m [35m5[0m [90m6[0m 
[91m3[0m [90m4[0m [92m0[0m [37m1[0m [36m2[0m [35m8[0m [32m9[0m [34m5[0m [31m6[0m [33m7[0m 
[33m4[0m [36m0[0m [90m1[0m [92m2[0m [32m3[0m [37m9[0m [91m5[0m [35m6[0m [34m7[0m [31m8[0m 
[92m5[0m [33m6[0m [36m7[0m [90m8[0m [34m9[0m [31m1[0m [35m2[0m [37m3[0m [32m4[0m [91m0[0m 
[36m6[0m [92m7[0m [34m8[0m [31m9[0m [90m5[0m [32m2[0m [33m3[0m [91m4[0m [37m0[0m [35m1[0m 
[35m0[0m [34m1[0m [91m9[0m [33m5[0m [92m6[0m [90m3[0m [31m4[0m [32m7[0m [36m8[0m [37m2[0m 
[32m1[0m [35m9[0m [31m5[0m [91m6[0m [37m7[0m [92m4[0m [34m0[0m [33m8[0m [90m2[0m [36m3[0m 
[90m9[0m [37m5[0m [32m6[0m [35m7[0m [91m8[0m [33m0[0m [36m1[0m [31m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 4 2 7 6 1 9 3 5 
1 3 7 6 0 2 9 5 4 8 
2 0 1 8 4 3 5 6 7 9 
3 9 5 1 6 7 8 2 0 4 
4 6 9 5 8 1 3 7 2 0 
5 4 6 9 2 0 7 1 8 3 
6 5 2 0 9 8 4 3 1 7 
7 2 3 4 5 9 0 8 6 1 
8 7 0 3 1 5 2 4 9 6 
9 1 8 7 3 4 6 0 5 2 
Short form: 0842761935137602954820184356793951678204469581372054692071836520984317723459086187031524969187346052

Concatenated:
70 88 24 32 47 56 61 09 13 95 
81 23 37 46 00 62 79 15 94 58 
22 30 41 08 14 73 85 96 57 69 
33 49 05 11 26 87 98 52 60 74 
44 06 19 25 38 91 53 67 72 80 
55 64 76 89 92 10 27 31 48 03 
66 75 82 90 59 28 34 43 01 17 
07 12 93 54 65 39 40 78 86 21 
18 97 50 63 71 45 02 84 29 36 
99 51 68 77 83 04 16 20 35 42 

transversals_set_i 6
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [91m2[0m [37m3[0m [90m4[0m [33m0[0m [34m6[0m [36m7[0m [92m1[0m [31m9[0m [32m5[0m 
[34m2[0m [33m3[0m [32m4[0m [31m0[0m [36m1[0m [91m7[0m [92m8[0m [35m9[0m [37m5[0m [90m6[0m 
[91m3[0m [36m4[0m [92m0[0m [32m1[0m [37m2[0m [31m8[0m [90m9[0m [34m5[0m [35m6[0m [33m7[0m 
[37m4[0m [35m0[0m [31m1[0m [92m2[0m [90m3[0m [33m9[0m [91m5[0m [32m6[0m [34m7[0m [36m8[0m 
[92m5[0m [31m6[0m [90m7[0m [37m8[0m [34m9[0m [35m1[0m [32m2[0m [36m3[0m [33m4[0m [91m0[0m 
[33m6[0m [92m7[0m [34m8[0m [36m9[0m [31m5[0m [90m2[0m [35m3[0m [91m4[0m [32m0[0m [37m1[0m 
[36m0[0m [34m1[0m [91m9[0m [33m5[0m [92m6[0m [32m3[0m [31m4[0m [37m7[0m [90m8[0m [35m2[0m 
[90m1[0m [37m9[0m [35m5[0m [91m6[0m [32m7[0m [92m4[0m [34m0[0m [33m8[0m [36m2[0m [31m3[0m 
[32m9[0m [90m5[0m [36m6[0m [35m7[0m [91m8[0m [37m0[0m [33m1[0m [31m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 9 6 2 1 7 4 8 3 5 
1 3 4 8 6 2 7 5 0 9 
2 6 9 0 7 3 5 1 4 8 
3 7 5 9 4 0 8 2 1 6 
4 1 0 5 8 6 3 9 2 7 
5 0 8 4 2 1 9 7 6 3 
6 5 2 7 0 8 1 3 9 4 
7 2 3 6 5 9 0 4 8 1 
8 4 1 3 9 5 2 6 7 0 
9 8 7 1 3 4 6 0 5 2 
Short form: 0962174835134862750926907351483759408216410586392750842197636527081394723659048184139526709871346052

Concatenated:
70 89 26 32 41 57 64 08 13 95 
81 23 34 48 06 62 77 15 90 59 
22 36 49 00 17 73 85 91 54 68 
33 47 05 19 24 80 98 52 61 76 
44 01 10 25 38 96 53 69 72 87 
55 60 78 84 92 11 29 37 46 03 
66 75 82 97 50 28 31 43 09 14 
07 12 93 56 65 39 40 74 88 21 
18 94 51 63 79 45 02 86 27 30 
99 58 67 71 83 04 16 20 35 42 

transversals_set_i 7
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [90m2[0m [31m3[0m [33m4[0m [91m0[0m [34m6[0m [36m7[0m [92m1[0m [35m9[0m [32m5[0m 
[34m2[0m [35m3[0m [36m4[0m [32m0[0m [33m1[0m [90m7[0m [92m8[0m [91m9[0m [37m5[0m [31m6[0m 
[91m3[0m [37m4[0m [92m0[0m [36m1[0m [32m2[0m [35m8[0m [31m9[0m [34m5[0m [90m6[0m [33m7[0m 
[90m4[0m [31m0[0m [37m1[0m [92m2[0m [36m3[0m [32m9[0m [33m5[0m [35m6[0m [34m7[0m [91m8[0m 
[92m5[0m [33m6[0m [91m7[0m [90m8[0m [34m9[0m [31m1[0m [35m2[0m [37m3[0m [32m4[0m [36m0[0m 
[36m6[0m [92m7[0m [34m8[0m [37m9[0m [90m5[0m [91m2[0m [32m3[0m [31m4[0m [33m0[0m [35m1[0m 
[35m0[0m [34m1[0m [90m9[0m [31m5[0m [92m6[0m [33m3[0m [91m4[0m [32m7[0m [36m8[0m [37m2[0m 
[32m1[0m [36m9[0m [35m5[0m [91m6[0m [37m7[0m [92m4[0m [34m0[0m [33m8[0m [31m2[0m [90m3[0m 
[33m9[0m [91m5[0m [32m6[0m [35m7[0m [31m8[0m [37m0[0m [90m1[0m [36m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 9 2 7 6 1 4 3 5 
1 4 0 9 3 2 6 5 7 8 
2 7 6 8 9 4 5 3 1 0 
3 1 5 6 8 7 0 2 4 9 
4 0 1 5 6 8 9 7 2 3 
5 9 3 4 2 0 7 1 8 6 
6 5 2 1 4 3 8 0 9 7 
7 2 4 0 5 9 3 8 6 1 
8 6 7 3 1 5 2 9 0 4 
9 3 8 7 0 1 4 6 5 2 
Short form: 0892761435140932657827689453103156870249401568972359342071866521438097724059386186731529049387014652

Concatenated:
70 88 29 32 47 56 61 04 13 95 
81 24 30 49 03 62 76 15 97 58 
22 37 46 08 19 74 85 93 51 60 
33 41 05 16 28 87 90 52 64 79 
44 00 11 25 36 98 59 67 72 83 
55 69 73 84 92 10 27 31 48 06 
66 75 82 91 54 23 38 40 09 17 
07 12 94 50 65 39 43 78 86 21 
18 96 57 63 71 45 02 89 20 34 
99 53 68 77 80 01 14 26 35 42 

transversals_set_i 8
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [90m2[0m [31m3[0m [33m4[0m [91m0[0m [34m6[0m [36m7[0m [92m1[0m [35m9[0m [32m5[0m 
[34m2[0m [35m3[0m [36m4[0m [32m0[0m [33m1[0m [90m7[0m [92m8[0m [91m9[0m [37m5[0m [31m6[0m 
[91m3[0m [37m4[0m [92m0[0m [36m1[0m [32m2[0m [35m8[0m [31m9[0m [34m5[0m [90m6[0m [33m7[0m 
[90m4[0m [31m0[0m [37m1[0m [92m2[0m [36m3[0m [32m9[0m [33m5[0m [35m6[0m [34m7[0m [91m8[0m 
[92m5[0m [36m6[0m [91m7[0m [90m8[0m [34m9[0m [31m1[0m [35m2[0m [33m3[0m [32m4[0m [37m0[0m 
[33m6[0m [92m7[0m [34m8[0m [37m9[0m [90m5[0m [91m2[0m [32m3[0m [31m4[0m [36m0[0m [35m1[0m 
[35m0[0m [34m1[0m [90m9[0m [31m5[0m [92m6[0m [37m3[0m [91m4[0m [32m7[0m [33m8[0m [36m2[0m 
[32m1[0m [33m9[0m [35m5[0m [91m6[0m [37m7[0m [92m4[0m [34m0[0m [36m8[0m [31m2[0m [90m3[0m 
[36m9[0m [91m5[0m [32m6[0m [35m7[0m [31m8[0m [33m0[0m [90m1[0m [37m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 6 2 7 9 1 4 3 5 
1 4 0 6 3 2 9 5 7 8 
2 7 9 8 6 4 5 3 1 0 
3 1 5 9 8 7 0 2 4 6 
4 0 1 5 9 8 6 7 2 3 
5 9 3 4 2 0 7 6 8 1 
6 5 2 1 4 3 8 0 9 7 
7 2 4 0 5 1 3 8 6 9 
8 6 7 3 1 5 2 9 0 4 
9 3 8 7 0 6 4 1 5 2 
Short form: 0862791435140632957827986453103159870246401598672359342076816521438097724051386986731529049387064152

Concatenated:
70 88 26 32 47 59 61 04 13 95 
81 24 30 46 03 62 79 15 97 58 
22 37 49 08 16 74 85 93 51 60 
33 41 05 19 28 87 90 52 64 76 
44 00 11 25 39 98 56 67 72 83 
55 69 73 84 92 10 27 36 48 01 
66 75 82 91 54 23 38 40 09 17 
07 12 94 50 65 31 43 78 86 29 
18 96 57 63 71 45 02 89 20 34 
99 53 68 77 80 06 14 21 35 42 

transversals_set_i 9
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [37m3[0m [33m4[0m [32m0[0m [34m6[0m [36m7[0m [92m1[0m [35m9[0m [31m5[0m 
[34m2[0m [35m3[0m [91m4[0m [31m0[0m [33m1[0m [37m7[0m [92m8[0m [32m9[0m [90m5[0m [36m6[0m 
[90m3[0m [36m4[0m [92m0[0m [37m1[0m [91m2[0m [35m8[0m [31m9[0m [34m5[0m [32m6[0m [33m7[0m 
[32m4[0m [37m0[0m [31m1[0m [92m2[0m [36m3[0m [91m9[0m [33m5[0m [35m6[0m [34m7[0m [90m8[0m 
[92m5[0m [31m6[0m [32m7[0m [36m8[0m [34m9[0m [90m1[0m [35m2[0m [33m3[0m [37m4[0m [91m0[0m 
[33m6[0m [92m7[0m [34m8[0m [90m9[0m [37m5[0m [32m2[0m [91m3[0m [31m4[0m [36m0[0m [35m1[0m 
[35m0[0m [34m1[0m [36m9[0m [32m5[0m [92m6[0m [31m3[0m [90m4[0m [91m7[0m [33m8[0m [37m2[0m 
[36m1[0m [33m9[0m [35m5[0m [91m6[0m [90m7[0m [92m4[0m [34m0[0m [37m8[0m [31m2[0m [32m3[0m 
[37m9[0m [91m5[0m [90m6[0m [35m7[0m [31m8[0m [33m0[0m [32m1[0m [36m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 4 6 2 7 8 9 3 1 5 
1 3 9 6 4 2 8 5 7 0 
2 7 1 0 6 9 5 4 3 8 
3 8 5 9 1 7 0 2 4 6 
4 9 0 5 8 1 6 7 2 3 
5 0 4 8 2 3 7 6 9 1 
6 5 2 3 9 4 1 0 8 7 
7 2 8 4 5 0 3 1 6 9 
8 6 7 1 3 5 2 9 0 4 
9 1 3 7 0 6 4 8 5 2 
Short form: 0462789315139642857027106954383859170246490581672350482376916523941087728450316986713529049137064852

Concatenated:
70 84 26 32 47 58 69 03 11 95 
81 23 39 46 04 62 78 15 97 50 
22 37 41 00 16 79 85 94 53 68 
33 48 05 19 21 87 90 52 64 76 
44 09 10 25 38 91 56 67 72 83 
55 60 74 88 92 13 27 36 49 01 
66 75 82 93 59 24 31 40 08 17 
07 12 98 54 65 30 43 71 86 29 
18 96 57 61 73 45 02 89 20 34 
99 51 63 77 80 06 14 28 35 42 

transversals_set_i 10
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [91m2[0m [36m3[0m [32m4[0m [33m0[0m [34m6[0m [35m7[0m [92m1[0m [31m9[0m [90m5[0m 
[34m2[0m [90m3[0m [37m4[0m [31m0[0m [36m1[0m [33m7[0m [92m8[0m [91m9[0m [32m5[0m [35m6[0m 
[91m3[0m [31m4[0m [92m0[0m [33m1[0m [32m2[0m [35m8[0m [36m9[0m [34m5[0m [90m6[0m [37m7[0m 
[90m4[0m [36m0[0m [35m1[0m [92m2[0m [37m3[0m [32m9[0m [33m5[0m [31m6[0m [34m7[0m [91m8[0m 
[92m5[0m [33m6[0m [91m7[0m [90m8[0m [34m9[0m [37m1[0m [31m2[0m [35m3[0m [36m4[0m [32m0[0m 
[36m6[0m [92m7[0m [34m8[0m [35m9[0m [91m5[0m [90m2[0m [32m3[0m [33m4[0m [37m0[0m [31m1[0m 
[35m0[0m [34m1[0m [90m9[0m [37m5[0m [92m6[0m [31m3[0m [91m4[0m [32m7[0m [33m8[0m [36m2[0m 
[32m1[0m [37m9[0m [31m5[0m [91m6[0m [90m7[0m [92m4[0m [34m0[0m [36m8[0m [35m2[0m [33m3[0m 
[33m9[0m [35m5[0m [32m6[0m [36m7[0m [31m8[0m [91m0[0m [90m1[0m [37m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 9 2 7 6 1 4 3 5 
1 3 6 8 9 2 7 5 0 4 
2 4 1 0 6 9 5 3 8 7 
3 0 5 9 8 7 6 2 4 1 
4 6 7 5 1 8 9 0 2 3 
5 9 3 4 2 1 0 7 6 8 
6 5 2 7 3 4 8 9 1 0 
7 2 4 1 5 0 3 8 9 6 
8 1 0 3 4 5 2 6 7 9 
9 7 8 6 0 3 4 1 5 2 
Short form: 0892761435136892750424106953873059876241467518902359342107686527348910724150389681034526799786034152

Concatenated:
70 88 29 32 47 56 61 04 13 95 
81 23 36 48 09 62 77 15 90 54 
22 34 41 00 16 79 85 93 58 67 
33 40 05 19 28 87 96 52 64 71 
44 06 17 25 31 98 59 60 72 83 
55 69 73 84 92 11 20 37 46 08 
66 75 82 97 53 24 38 49 01 10 
07 12 94 51 65 30 43 78 89 26 
18 91 50 63 74 45 02 86 27 39 
99 57 68 76 80 03 14 21 35 42 

transversals_set_i 11
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [32m3[0m [37m4[0m [33m0[0m [31m6[0m [36m7[0m [92m1[0m [34m9[0m [35m5[0m 
[34m2[0m [36m3[0m [31m4[0m [35m0[0m [32m1[0m [33m7[0m [92m8[0m [37m9[0m [90m5[0m [91m6[0m 
[37m3[0m [91m4[0m [92m0[0m [36m1[0m [31m2[0m [35m8[0m [90m9[0m [32m5[0m [33m6[0m [34m7[0m 
[90m4[0m [34m0[0m [37m1[0m [92m2[0m [91m3[0m [32m9[0m [33m5[0m [36m6[0m [35m7[0m [31m8[0m 
[92m5[0m [35m6[0m [90m7[0m [33m8[0m [36m9[0m [34m1[0m [91m2[0m [31m3[0m [32m4[0m [37m0[0m 
[32m6[0m [92m7[0m [36m8[0m [91m9[0m [34m5[0m [37m2[0m [35m3[0m [33m4[0m [31m0[0m [90m1[0m 
[36m0[0m [33m1[0m [35m9[0m [31m5[0m [92m6[0m [90m3[0m [34m4[0m [91m7[0m [37m8[0m [32m2[0m 
[35m1[0m [31m9[0m [91m5[0m [90m6[0m [37m7[0m [92m4[0m [32m0[0m [34m8[0m [36m2[0m [33m3[0m 
[33m9[0m [37m5[0m [34m6[0m [32m7[0m [90m8[0m [91m0[0m [31m1[0m [35m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 9 2 8 7 3 4 1 5 
1 4 6 3 9 0 7 5 2 8 
2 7 0 8 6 9 5 3 4 1 
3 1 5 7 0 8 4 6 9 2 
4 2 3 5 1 6 9 7 8 0 
5 8 4 9 7 2 1 0 6 3 
6 5 7 1 2 3 8 9 0 4 
7 9 8 0 5 4 2 1 3 6 
8 0 1 4 3 5 6 2 7 9 
9 3 2 6 4 1 0 8 5 7 
Short form: 0692873415146390752827086953413157084692423516978058497210636571238904798054213680143562799326410857

Concatenated:
70 86 29 32 48 57 63 04 11 95 
81 24 36 43 09 60 77 15 92 58 
22 37 40 08 16 79 85 93 54 61 
33 41 05 17 20 88 94 56 69 72 
44 02 13 25 31 96 59 67 78 80 
55 68 74 89 97 12 21 30 46 03 
66 75 87 91 52 23 38 49 00 14 
07 19 98 50 65 34 42 71 83 26 
18 90 51 64 73 45 06 82 27 39 
99 53 62 76 84 01 10 28 35 47 

transversals_set_i 12
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [32m3[0m [37m4[0m [31m0[0m [34m6[0m [35m7[0m [92m1[0m [36m9[0m [33m5[0m 
[34m2[0m [37m3[0m [91m4[0m [36m0[0m [32m1[0m [33m7[0m [92m8[0m [31m9[0m [90m5[0m [35m6[0m 
[36m3[0m [31m4[0m [92m0[0m [35m1[0m [91m2[0m [37m8[0m [90m9[0m [32m5[0m [33m6[0m [34m7[0m 
[90m4[0m [35m0[0m [34m1[0m [92m2[0m [33m3[0m [32m9[0m [91m5[0m [36m6[0m [37m7[0m [31m8[0m 
[92m5[0m [91m6[0m [90m7[0m [33m8[0m [34m9[0m [31m1[0m [36m2[0m [35m3[0m [32m4[0m [37m0[0m 
[32m6[0m [92m7[0m [36m8[0m [91m9[0m [37m5[0m [35m2[0m [31m3[0m [33m4[0m [34m0[0m [90m1[0m 
[33m0[0m [36m1[0m [37m9[0m [31m5[0m [92m6[0m [90m3[0m [34m4[0m [91m7[0m [35m8[0m [32m2[0m 
[37m1[0m [33m9[0m [35m5[0m [90m6[0m [36m7[0m [92m4[0m [32m0[0m [34m8[0m [31m2[0m [91m3[0m 
[35m9[0m [34m5[0m [31m6[0m [32m7[0m [90m8[0m [91m0[0m [33m1[0m [37m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 7 2 9 3 8 4 1 5 
1 4 6 8 0 2 9 5 3 7 
2 8 1 3 6 7 5 0 4 9 
3 0 5 9 1 8 4 6 7 2 
4 9 2 5 7 6 1 3 8 0 
5 1 4 7 2 0 3 9 6 8 
6 5 3 1 8 9 0 7 2 4 
7 3 8 0 5 4 2 1 9 6 
8 7 9 4 3 5 6 2 0 1 
9 2 0 6 4 1 7 8 5 3 
Short form: 0672938415146802953728136750493059184672492576138051472039686531890724738054219687943562019206417853

Concatenated:
70 86 27 32 49 53 68 04 11 95 
81 24 36 48 00 62 79 15 93 57 
22 38 41 03 16 77 85 90 54 69 
33 40 05 19 21 88 94 56 67 72 
44 09 12 25 37 96 51 63 78 80 
55 61 74 87 92 10 23 39 46 08 
66 75 83 91 58 29 30 47 02 14 
07 13 98 50 65 34 42 71 89 26 
18 97 59 64 73 45 06 82 20 31 
99 52 60 76 84 01 17 28 35 43 

transversals_set_i 13
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [32m3[0m [33m4[0m [34m0[0m [31m6[0m [36m7[0m [92m1[0m [35m9[0m [37m5[0m 
[35m2[0m [36m3[0m [37m4[0m [91m0[0m [32m1[0m [33m7[0m [92m8[0m [31m9[0m [90m5[0m [34m6[0m 
[37m3[0m [91m4[0m [92m0[0m [31m1[0m [36m2[0m [34m8[0m [90m9[0m [32m5[0m [33m6[0m [35m7[0m 
[90m4[0m [37m0[0m [35m1[0m [92m2[0m [31m3[0m [32m9[0m [91m5[0m [36m6[0m [34m7[0m [33m8[0m 
[92m5[0m [35m6[0m [90m7[0m [36m8[0m [91m9[0m [37m1[0m [34m2[0m [33m3[0m [32m4[0m [31m0[0m 
[32m6[0m [92m7[0m [31m8[0m [37m9[0m [33m5[0m [91m2[0m [35m3[0m [34m4[0m [36m0[0m [90m1[0m 
[33m0[0m [34m1[0m [36m9[0m [35m5[0m [92m6[0m [90m3[0m [31m4[0m [91m7[0m [37m8[0m [32m2[0m 
[36m1[0m [33m9[0m [34m5[0m [90m6[0m [37m7[0m [92m4[0m [32m0[0m [35m8[0m [31m2[0m [91m3[0m 
[34m9[0m [31m5[0m [91m6[0m [32m7[0m [90m8[0m [35m0[0m [33m1[0m [37m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 7 9 2 8 3 4 1 5 
1 4 6 7 9 0 8 5 2 3 
2 8 3 1 6 7 5 0 4 9 
3 1 5 0 8 9 4 6 7 2 
4 3 2 5 0 6 1 8 9 7 
5 2 4 8 1 3 9 7 6 0 
6 5 0 3 7 1 2 9 8 4 
7 9 8 2 5 4 0 1 3 6 
8 7 9 4 3 5 6 2 0 1 
9 0 1 6 4 2 7 3 5 8 
Short form: 0679283415146790852328316750493150894672432506189752481397606503712984798254013687943562019016427358

Concatenated:
70 86 27 39 42 58 63 04 11 95 
81 24 36 47 09 60 78 15 92 53 
22 38 43 01 16 77 85 90 54 69 
33 41 05 10 28 89 94 56 67 72 
44 03 12 25 30 96 51 68 79 87 
55 62 74 88 91 13 29 37 46 00 
66 75 80 93 57 21 32 49 08 14 
07 19 98 52 65 34 40 71 83 26 
18 97 59 64 73 45 06 82 20 31 
99 50 61 76 84 02 17 23 35 48 

transversals_set_i 14
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [32m3[0m [33m4[0m [34m0[0m [31m6[0m [36m7[0m [92m1[0m [35m9[0m [37m5[0m 
[35m2[0m [36m3[0m [37m4[0m [91m0[0m [32m1[0m [34m7[0m [92m8[0m [31m9[0m [90m5[0m [33m6[0m 
[37m3[0m [91m4[0m [92m0[0m [31m1[0m [36m2[0m [33m8[0m [90m9[0m [32m5[0m [34m6[0m [35m7[0m 
[90m4[0m [37m0[0m [35m1[0m [92m2[0m [31m3[0m [32m9[0m [91m5[0m [36m6[0m [33m7[0m [34m8[0m 
[92m5[0m [35m6[0m [90m7[0m [36m8[0m [91m9[0m [37m1[0m [34m2[0m [33m3[0m [32m4[0m [31m0[0m 
[32m6[0m [92m7[0m [31m8[0m [37m9[0m [33m5[0m [91m2[0m [35m3[0m [34m4[0m [36m0[0m [90m1[0m 
[33m0[0m [34m1[0m [36m9[0m [35m5[0m [92m6[0m [90m3[0m [31m4[0m [91m7[0m [37m8[0m [32m2[0m 
[36m1[0m [33m9[0m [34m5[0m [90m6[0m [37m7[0m [92m4[0m [32m0[0m [35m8[0m [31m2[0m [91m3[0m 
[34m9[0m [31m5[0m [91m6[0m [32m7[0m [90m8[0m [35m0[0m [33m1[0m [37m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 7 9 2 8 3 4 1 5 
1 4 6 7 9 0 8 5 2 3 
2 8 3 1 6 9 5 0 4 7 
3 1 5 0 8 7 4 6 9 2 
4 3 2 5 0 6 1 8 7 9 
5 2 4 8 1 3 9 7 6 0 
6 5 0 3 7 1 2 9 8 4 
7 9 8 2 5 4 0 1 3 6 
8 7 9 4 3 5 6 2 0 1 
9 0 1 6 4 2 7 3 5 8 
Short form: 0679283415146790852328316950473150874692432506187952481397606503712984798254013687943562019016427358

Concatenated:
70 86 27 39 42 58 63 04 11 95 
81 24 36 47 09 60 78 15 92 53 
22 38 43 01 16 79 85 90 54 67 
33 41 05 10 28 87 94 56 69 72 
44 03 12 25 30 96 51 68 77 89 
55 62 74 88 91 13 29 37 46 00 
66 75 80 93 57 21 32 49 08 14 
07 19 98 52 65 34 40 71 83 26 
18 97 59 64 73 45 06 82 20 31 
99 50 61 76 84 02 17 23 35 48 

transversals_set_i 15
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [31m3[0m [33m4[0m [37m0[0m [35m6[0m [36m7[0m [92m1[0m [32m9[0m [91m5[0m 
[37m2[0m [35m3[0m [91m4[0m [31m0[0m [34m1[0m [33m7[0m [92m8[0m [36m9[0m [90m5[0m [32m6[0m 
[32m3[0m [36m4[0m [92m0[0m [35m1[0m [91m2[0m [37m8[0m [90m9[0m [33m5[0m [31m6[0m [34m7[0m 
[90m4[0m [33m0[0m [32m1[0m [92m2[0m [36m3[0m [91m9[0m [35m5[0m [34m6[0m [37m7[0m [31m8[0m 
[92m5[0m [91m6[0m [90m7[0m [36m8[0m [33m9[0m [31m1[0m [32m2[0m [37m3[0m [34m4[0m [35m0[0m 
[33m6[0m [92m7[0m [35m8[0m [37m9[0m [31m5[0m [34m2[0m [91m3[0m [32m4[0m [36m0[0m [90m1[0m 
[91m0[0m [37m1[0m [34m9[0m [32m5[0m [92m6[0m [90m3[0m [31m4[0m [35m7[0m [33m8[0m [36m2[0m 
[36m1[0m [31m9[0m [37m5[0m [90m6[0m [32m7[0m [92m4[0m [34m0[0m [91m8[0m [35m2[0m [33m3[0m 
[35m9[0m [34m5[0m [36m6[0m [91m7[0m [90m8[0m [32m0[0m [33m1[0m [31m2[0m [92m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 6 1 9 8 2 4 7 5 
1 4 0 6 2 9 8 5 3 7 
2 9 7 0 1 6 5 8 4 3 
3 8 5 9 7 2 4 6 0 1 
4 6 3 5 8 7 9 1 2 0 
5 7 4 8 6 0 3 2 1 9 
6 5 9 2 0 1 7 3 8 4 
7 2 1 3 5 4 0 9 6 8 
8 0 2 4 3 5 1 7 9 6 
9 1 8 7 4 3 6 0 5 2 
Short form: 0361982475140629853729701658433859724601463587912057486032196592017384721354096880243517969187436052

Concatenated:
70 83 26 31 49 58 62 04 17 95 
81 24 30 46 02 69 78 15 93 57 
22 39 47 00 11 76 85 98 54 63 
33 48 05 19 27 82 94 56 60 71 
44 06 13 25 38 97 59 61 72 80 
55 67 74 88 96 10 23 32 41 09 
66 75 89 92 50 21 37 43 08 14 
07 12 91 53 65 34 40 79 86 28 
18 90 52 64 73 45 01 87 29 36 
99 51 68 77 84 03 16 20 35 42 

transversals_set_i 16
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [36m3[0m [31m4[0m [37m0[0m [34m6[0m [35m7[0m [92m1[0m [32m9[0m [33m5[0m 
[34m2[0m [37m3[0m [32m4[0m [91m0[0m [31m1[0m [33m7[0m [92m8[0m [36m9[0m [90m5[0m [35m6[0m 
[35m3[0m [91m4[0m [92m0[0m [32m1[0m [36m2[0m [31m8[0m [90m9[0m [34m5[0m [33m6[0m [37m7[0m 
[90m4[0m [35m0[0m [37m1[0m [92m2[0m [33m3[0m [91m9[0m [32m5[0m [31m6[0m [34m7[0m [36m8[0m 
[92m5[0m [36m6[0m [90m7[0m [33m8[0m [34m9[0m [35m1[0m [91m2[0m [32m3[0m [37m4[0m [31m0[0m 
[32m6[0m [92m7[0m [34m8[0m [35m9[0m [91m5[0m [37m2[0m [31m3[0m [33m4[0m [36m0[0m [90m1[0m 
[33m0[0m [34m1[0m [31m9[0m [37m5[0m [92m6[0m [90m3[0m [36m4[0m [91m7[0m [35m8[0m [32m2[0m 
[36m1[0m [33m9[0m [35m5[0m [90m6[0m [32m7[0m [92m4[0m [34m0[0m [37m8[0m [31m2[0m [91m3[0m 
[37m9[0m [31m5[0m [91m6[0m [36m7[0m [90m8[0m [32m0[0m [33m1[0m [35m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 7 2 3 8 9 4 1 5 
1 4 8 0 9 2 3 5 6 7 
2 9 6 1 0 7 5 8 4 3 
3 1 5 6 8 0 4 2 7 9 
4 3 9 5 7 1 6 0 2 8 
5 8 4 7 2 3 1 6 9 0 
6 5 2 3 1 9 0 7 8 4 
7 2 0 9 5 4 8 1 3 6 
8 7 3 4 6 5 2 9 0 1 
9 0 1 8 4 6 7 3 5 2 
Short form: 0672389415148092356729610758433156804279439571602858472316906523190784720954813687346529019018467352

Concatenated:
70 86 27 32 43 58 69 04 11 95 
81 24 38 40 09 62 73 15 96 57 
22 39 46 01 10 77 85 98 54 63 
33 41 05 16 28 80 94 52 67 79 
44 03 19 25 37 91 56 60 72 88 
55 68 74 87 92 13 21 36 49 00 
66 75 82 93 51 29 30 47 08 14 
07 12 90 59 65 34 48 71 83 26 
18 97 53 64 76 45 02 89 20 31 
99 50 61 78 84 06 17 23 35 42 

transversals_set_i 17
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[92m8[0m [31m2[0m [37m3[0m [33m4[0m [36m0[0m [91m6[0m [34m7[0m [32m1[0m [90m9[0m [35m5[0m 
[35m2[0m [91m3[0m [32m4[0m [31m0[0m [90m1[0m [33m7[0m [36m8[0m [37m9[0m [92m5[0m [34m6[0m 
[36m3[0m [37m4[0m [91m0[0m [92m1[0m [34m2[0m [90m8[0m [31m9[0m [33m5[0m [35m6[0m [32m7[0m 
[34m4[0m [92m0[0m [36m1[0m [90m2[0m [33m3[0m [35m9[0m [32m5[0m [31m6[0m [37m7[0m [91m8[0m 
[90m5[0m [36m6[0m [92m7[0m [37m8[0m [32m9[0m [34m1[0m [91m2[0m [35m3[0m [31m4[0m [33m0[0m 
[33m6[0m [90m7[0m [35m8[0m [36m9[0m [37m5[0m [32m2[0m [92m3[0m [91m4[0m [34m0[0m [31m1[0m 
[32m0[0m [35m1[0m [34m9[0m [91m5[0m [92m6[0m [31m3[0m [90m4[0m [36m7[0m [33m8[0m [37m2[0m 
[37m1[0m [33m9[0m [31m5[0m [32m6[0m [91m7[0m [92m4[0m [35m0[0m [34m8[0m [36m2[0m [90m3[0m 
[91m9[0m [34m5[0m [90m6[0m [35m7[0m [31m8[0m [37m0[0m [33m1[0m [92m2[0m [32m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 7 6 4 2 3 8 5 9 1 
1 0 8 6 3 9 4 7 5 2 
2 9 7 0 5 6 3 8 1 4 
3 8 9 1 4 5 0 6 2 7 
4 1 3 5 6 2 7 0 8 9 
5 3 1 8 7 4 9 2 0 6 
6 5 2 3 8 7 1 9 4 0 
7 2 4 9 1 0 5 3 6 8 
8 6 0 7 9 1 2 4 3 5 
9 4 5 2 0 8 6 1 7 3 
Short form: 0764238591108639475229705638143891450627413562708953187492066523871940724910536886079124359452086173

Concatenated:
70 87 26 34 42 53 68 05 19 91 
81 20 38 46 03 69 74 17 95 52 
22 39 47 00 15 76 83 98 51 64 
33 48 09 11 24 85 90 56 62 77 
44 01 13 25 36 92 57 60 78 89 
55 63 71 88 97 14 29 32 40 06 
66 75 82 93 58 27 31 49 04 10 
07 12 94 59 61 30 45 73 86 28 
18 96 50 67 79 41 02 84 23 35 
99 54 65 72 80 08 16 21 37 43 

transversals_set_i 18
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [90m2[0m [91m3[0m [37m4[0m [31m0[0m [35m6[0m [33m7[0m [92m1[0m [34m9[0m [32m5[0m 
[32m2[0m [31m3[0m [34m4[0m [35m0[0m [36m1[0m [37m7[0m [92m8[0m [33m9[0m [90m5[0m [91m6[0m 
[37m3[0m [91m4[0m [92m0[0m [32m1[0m [34m2[0m [33m8[0m [90m9[0m [35m5[0m [31m6[0m [36m7[0m 
[90m4[0m [36m0[0m [37m1[0m [92m2[0m [33m3[0m [31m9[0m [91m5[0m [32m6[0m [35m7[0m [34m8[0m 
[92m5[0m [33m6[0m [90m7[0m [31m8[0m [91m9[0m [34m1[0m [35m2[0m [36m3[0m [32m4[0m [37m0[0m 
[34m6[0m [92m7[0m [35m8[0m [36m9[0m [37m5[0m [91m2[0m [32m3[0m [31m4[0m [33m0[0m [90m1[0m 
[91m0[0m [35m1[0m [32m9[0m [33m5[0m [92m6[0m [90m3[0m [36m4[0m [34m7[0m [37m8[0m [31m2[0m 
[33m1[0m [37m9[0m [31m5[0m [90m6[0m [32m7[0m [92m4[0m [34m0[0m [91m8[0m [36m2[0m [35m3[0m 
[35m9[0m [34m5[0m [36m6[0m [91m7[0m [90m8[0m [32m0[0m [31m1[0m [37m2[0m [92m3[0m [33m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 2 8 6 9 1 3 4 7 5 
1 4 7 3 0 9 8 5 6 2 
2 0 6 9 1 3 5 8 4 7 
3 7 5 2 6 8 4 9 0 1 
4 1 3 5 8 0 7 2 9 6 
5 8 4 0 7 6 9 1 2 3 
6 5 9 1 3 7 2 0 8 4 
7 9 2 8 5 4 1 6 3 0 
8 3 0 4 2 5 6 7 1 9 
9 6 1 7 4 2 0 3 5 8 
Short form: 0286913475147309856220691358473752684901413580729658407691236591372084792854163083042567199617420358

Concatenated:
70 82 28 36 49 51 63 04 17 95 
81 24 37 43 00 69 78 15 96 52 
22 30 46 09 11 73 85 98 54 67 
33 47 05 12 26 88 94 59 60 71 
44 01 13 25 38 90 57 62 79 86 
55 68 74 80 97 16 29 31 42 03 
66 75 89 91 53 27 32 40 08 14 
07 19 92 58 65 34 41 76 83 20 
18 93 50 64 72 45 06 87 21 39 
99 56 61 77 84 02 10 23 35 48 

transversals_set_i 19
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [35m3[0m [32m4[0m [33m0[0m [34m6[0m [36m7[0m [92m1[0m [31m9[0m [37m5[0m 
[34m2[0m [37m3[0m [36m4[0m [91m0[0m [31m1[0m [33m7[0m [92m8[0m [32m9[0m [90m5[0m [35m6[0m 
[32m3[0m [31m4[0m [92m0[0m [36m1[0m [91m2[0m [37m8[0m [90m9[0m [35m5[0m [33m6[0m [34m7[0m 
[90m4[0m [34m0[0m [37m1[0m [92m2[0m [36m3[0m [91m9[0m [32m5[0m [31m6[0m [35m7[0m [33m8[0m 
[92m5[0m [91m6[0m [90m7[0m [35m8[0m [37m9[0m [32m1[0m [31m2[0m [33m3[0m [34m4[0m [36m0[0m 
[36m6[0m [92m7[0m [31m8[0m [33m9[0m [34m5[0m [35m2[0m [91m3[0m [37m4[0m [32m0[0m [90m1[0m 
[37m0[0m [35m1[0m [34m9[0m [31m5[0m [92m6[0m [90m3[0m [33m4[0m [91m7[0m [36m8[0m [32m2[0m 
[33m1[0m [36m9[0m [91m5[0m [90m6[0m [32m7[0m [92m4[0m [35m0[0m [34m8[0m [37m2[0m [31m3[0m 
[35m9[0m [33m5[0m [32m6[0m [37m7[0m [90m8[0m [31m0[0m [34m1[0m [36m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 8 2 9 6 7 4 1 5 
1 4 9 3 8 2 6 5 0 7 
2 7 6 1 0 8 5 3 4 9 
3 0 5 6 1 7 4 9 8 2 
4 2 7 5 6 1 3 0 9 8 
5 1 4 9 7 3 0 8 2 6 
6 5 0 8 2 9 1 7 3 4 
7 9 2 0 5 4 8 1 6 3 
8 6 1 4 3 5 9 2 7 0 
9 8 3 7 4 0 2 6 5 1 
Short form: 0382967415149382650727610853493056174982427561309851497308266508291734792054816386143592709837402651

Concatenated:
70 83 28 32 49 56 67 04 11 95 
81 24 39 43 08 62 76 15 90 57 
22 37 46 01 10 78 85 93 54 69 
33 40 05 16 21 87 94 59 68 72 
44 02 17 25 36 91 53 60 79 88 
55 61 74 89 97 13 20 38 42 06 
66 75 80 98 52 29 31 47 03 14 
07 19 92 50 65 34 48 71 86 23 
18 96 51 64 73 45 09 82 27 30 
99 58 63 77 84 00 12 26 35 41 

transversals_set_i 20
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [31m3[0m [91m4[0m [37m0[0m [35m6[0m [36m7[0m [92m1[0m [33m9[0m [32m5[0m 
[35m2[0m [91m3[0m [37m4[0m [32m0[0m [31m1[0m [34m7[0m [92m8[0m [36m9[0m [90m5[0m [33m6[0m 
[33m3[0m [34m4[0m [92m0[0m [36m1[0m [32m2[0m [91m8[0m [90m9[0m [37m5[0m [31m6[0m [35m7[0m 
[90m4[0m [33m0[0m [35m1[0m [92m2[0m [36m3[0m [32m9[0m [91m5[0m [34m6[0m [37m7[0m [31m8[0m 
[92m5[0m [36m6[0m [90m7[0m [37m8[0m [34m9[0m [33m1[0m [31m2[0m [35m3[0m [32m4[0m [91m0[0m 
[91m6[0m [92m7[0m [36m8[0m [35m9[0m [33m5[0m [37m2[0m [32m3[0m [31m4[0m [34m0[0m [90m1[0m 
[36m0[0m [37m1[0m [91m9[0m [31m5[0m [92m6[0m [90m3[0m [33m4[0m [32m7[0m [35m8[0m [34m2[0m 
[32m1[0m [31m9[0m [34m5[0m [90m6[0m [91m7[0m [92m4[0m [35m0[0m [33m8[0m [36m2[0m [37m3[0m 
[37m9[0m [35m5[0m [32m6[0m [33m7[0m [90m8[0m [31m0[0m [34m1[0m [91m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 3 1 2 7 9 4 6 5 
1 4 0 6 9 2 7 5 3 8 
2 6 9 8 0 1 5 7 4 3 
3 1 5 7 8 6 4 9 0 2 
4 3 2 5 7 8 6 1 9 0 
5 7 4 9 1 3 0 2 8 6 
6 5 7 2 3 9 8 0 1 4 
7 9 6 0 5 4 3 8 2 1 
8 0 1 4 6 5 2 3 7 9 
9 2 8 3 4 0 1 6 5 7 
Short form: 0831279465140692753826980157433157864902432578619057491302866572398014796054382180146523799283401657

Concatenated:
70 88 23 31 42 57 69 04 16 95 
81 24 30 46 09 62 77 15 93 58 
22 36 49 08 10 71 85 97 54 63 
33 41 05 17 28 86 94 59 60 72 
44 03 12 25 37 98 56 61 79 80 
55 67 74 89 91 13 20 32 48 06 
66 75 87 92 53 29 38 40 01 14 
07 19 96 50 65 34 43 78 82 21 
18 90 51 64 76 45 02 83 27 39 
99 52 68 73 84 00 11 26 35 47 

transversals_set_i 21
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [37m2[0m [90m3[0m [36m4[0m [34m0[0m [31m6[0m [32m7[0m [92m1[0m [35m9[0m [91m5[0m 
[35m2[0m [31m3[0m [37m4[0m [32m0[0m [36m1[0m [33m7[0m [34m8[0m [91m9[0m [92m5[0m [90m6[0m 
[91m3[0m [90m4[0m [31m0[0m [33m1[0m [92m2[0m [35m8[0m [36m9[0m [37m5[0m [32m6[0m [34m7[0m 
[92m4[0m [36m0[0m [35m1[0m [91m2[0m [32m3[0m [90m9[0m [33m5[0m [34m6[0m [37m7[0m [31m8[0m 
[32m5[0m [91m6[0m [36m7[0m [92m8[0m [31m9[0m [37m1[0m [90m2[0m [33m3[0m [34m4[0m [35m0[0m 
[36m6[0m [92m7[0m [91m8[0m [37m9[0m [90m5[0m [34m2[0m [35m3[0m [31m4[0m [33m0[0m [32m1[0m 
[37m0[0m [34m1[0m [32m9[0m [31m5[0m [33m6[0m [92m3[0m [91m4[0m [35m7[0m [90m8[0m [36m2[0m 
[90m1[0m [33m9[0m [34m5[0m [35m6[0m [91m7[0m [32m4[0m [92m0[0m [36m8[0m [31m2[0m [37m3[0m 
[34m9[0m [35m5[0m [92m6[0m [90m7[0m [37m8[0m [91m0[0m [31m1[0m [32m2[0m [36m3[0m [33m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 5 1 9 2 6 7 8 3 4 
1 7 8 6 9 0 5 4 2 3 
2 0 7 5 6 1 9 3 4 8 
3 8 0 1 4 2 6 7 5 9 
4 6 2 3 5 8 1 9 7 0 
5 3 6 4 0 7 8 1 9 2 
6 4 3 7 8 9 2 0 1 5 
7 9 5 0 1 4 3 2 8 6 
8 1 9 2 3 5 4 6 0 7 
9 2 4 8 7 3 0 5 6 1 
Short form: 0519267834178690542320756193483801426759462358197053640781926437892015795014328681923546079248730561

Concatenated:
70 85 21 39 42 56 67 08 13 94 
81 27 38 46 09 60 75 14 92 53 
22 30 47 05 16 71 89 93 54 68 
33 48 00 11 24 82 96 57 65 79 
44 06 12 23 35 98 51 69 77 80 
55 63 76 84 90 17 28 31 49 02 
66 74 83 97 58 29 32 40 01 15 
07 19 95 50 61 34 43 72 88 26 
18 91 59 62 73 45 04 86 20 37 
99 52 64 78 87 03 10 25 36 41 

transversals_set_i 22
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [31m2[0m [35m3[0m [33m4[0m [37m0[0m [34m6[0m [91m7[0m [92m1[0m [90m9[0m [32m5[0m 
[37m2[0m [36m3[0m [91m4[0m [32m0[0m [31m1[0m [33m7[0m [92m8[0m [34m9[0m [35m5[0m [90m6[0m 
[91m3[0m [34m4[0m [92m0[0m [90m1[0m [32m2[0m [37m8[0m [35m9[0m [33m5[0m [31m6[0m [36m7[0m 
[90m4[0m [35m0[0m [36m1[0m [92m2[0m [33m3[0m [32m9[0m [31m5[0m [91m6[0m [37m7[0m [34m8[0m 
[92m5[0m [33m6[0m [34m7[0m [31m8[0m [36m9[0m [35m1[0m [90m2[0m [37m3[0m [32m4[0m [91m0[0m 
[35m6[0m [92m7[0m [90m8[0m [37m9[0m [34m5[0m [91m2[0m [32m3[0m [31m4[0m [36m0[0m [33m1[0m 
[34m0[0m [37m1[0m [31m9[0m [91m5[0m [92m6[0m [90m3[0m [36m4[0m [32m7[0m [33m8[0m [35m2[0m 
[32m1[0m [91m9[0m [37m5[0m [36m6[0m [90m7[0m [92m4[0m [33m0[0m [35m8[0m [34m2[0m [31m3[0m 
[33m9[0m [90m5[0m [32m6[0m [35m7[0m [91m8[0m [31m0[0m [34m1[0m [36m2[0m [92m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 9 7 6 1 2 4 3 5 
1 0 6 9 2 7 3 5 4 8 
2 1 3 8 0 9 5 7 6 4 
3 7 5 4 8 2 6 9 0 1 
4 6 1 5 9 8 0 3 2 7 
5 9 7 0 1 6 4 2 8 3 
6 5 4 2 7 3 8 0 1 9 
7 2 0 3 5 4 1 8 9 6 
8 3 2 1 4 5 9 6 7 0 
9 4 8 6 3 0 7 1 5 2 
Short form: 0897612435106927354821380957643754826901461598032759701642836542738019720354189683214596709486307152

Concatenated:
70 88 29 37 46 51 62 04 13 95 
81 20 36 49 02 67 73 15 94 58 
22 31 43 08 10 79 85 97 56 64 
33 47 05 14 28 82 96 59 60 71 
44 06 11 25 39 98 50 63 72 87 
55 69 77 80 91 16 24 32 48 03 
66 75 84 92 57 23 38 40 01 19 
07 12 90 53 65 34 41 78 89 26 
18 93 52 61 74 45 09 86 27 30 
99 54 68 76 83 00 17 21 35 42 

transversals_set_i 23
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [90m2[0m [31m3[0m [91m4[0m [37m0[0m [34m6[0m [36m7[0m [92m1[0m [35m9[0m [32m5[0m 
[37m2[0m [35m3[0m [36m4[0m [32m0[0m [34m1[0m [90m7[0m [92m8[0m [91m9[0m [33m5[0m [31m6[0m 
[91m3[0m [33m4[0m [92m0[0m [36m1[0m [32m2[0m [37m8[0m [31m9[0m [35m5[0m [90m6[0m [34m7[0m 
[34m4[0m [31m0[0m [90m1[0m [92m2[0m [36m3[0m [32m9[0m [91m5[0m [33m6[0m [37m7[0m [35m8[0m 
[92m5[0m [91m6[0m [35m7[0m [90m8[0m [33m9[0m [31m1[0m [34m2[0m [37m3[0m [32m4[0m [36m0[0m 
[36m6[0m [92m7[0m [91m8[0m [37m9[0m [90m5[0m [35m2[0m [32m3[0m [31m4[0m [34m0[0m [33m1[0m 
[35m0[0m [37m1[0m [34m9[0m [31m5[0m [92m6[0m [33m3[0m [90m4[0m [32m7[0m [36m8[0m [91m2[0m 
[32m1[0m [36m9[0m [37m5[0m [35m6[0m [91m7[0m [92m4[0m [33m0[0m [34m8[0m [31m2[0m [90m3[0m 
[90m9[0m [34m5[0m [32m6[0m [33m7[0m [31m8[0m [91m0[0m [35m1[0m [36m2[0m [92m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 1 4 7 6 2 9 3 5 
1 9 0 3 2 4 6 5 7 8 
2 7 6 8 4 9 5 3 1 0 
3 1 5 6 8 2 0 7 9 4 
4 0 9 5 6 8 3 1 2 7 
5 3 7 9 1 0 4 2 8 6 
6 5 3 2 9 7 8 0 4 1 
7 2 4 0 5 1 9 8 6 3 
8 6 2 7 3 5 1 4 0 9 
9 4 8 1 0 3 7 6 5 2 
Short form: 0814762935190324657827684953103156820794409568312753791042866532978041724051986386273514099481037652

Concatenated:
70 88 21 34 47 56 62 09 13 95 
81 29 30 43 02 64 76 15 97 58 
22 37 46 08 14 79 85 93 51 60 
33 41 05 16 28 82 90 57 69 74 
44 00 19 25 36 98 53 61 72 87 
55 63 77 89 91 10 24 32 48 06 
66 75 83 92 59 27 38 40 04 11 
07 12 94 50 65 31 49 78 86 23 
18 96 52 67 73 45 01 84 20 39 
99 54 68 71 80 03 17 26 35 42 

transversals_set_i 24
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [36m3[0m [37m4[0m [33m0[0m [32m6[0m [91m7[0m [92m1[0m [35m9[0m [31m5[0m 
[91m2[0m [35m3[0m [31m4[0m [32m0[0m [37m1[0m [33m7[0m [92m8[0m [36m9[0m [90m5[0m [34m6[0m 
[37m3[0m [34m4[0m [92m0[0m [33m1[0m [36m2[0m [91m8[0m [90m9[0m [32m5[0m [31m6[0m [35m7[0m 
[90m4[0m [91m0[0m [32m1[0m [92m2[0m [31m3[0m [37m9[0m [33m5[0m [35m6[0m [34m7[0m [36m8[0m 
[92m5[0m [36m6[0m [90m7[0m [35m8[0m [91m9[0m [34m1[0m [31m2[0m [33m3[0m [32m4[0m [37m0[0m 
[33m6[0m [92m7[0m [37m8[0m [31m9[0m [34m5[0m [35m2[0m [32m3[0m [91m4[0m [36m0[0m [90m1[0m 
[35m0[0m [31m1[0m [34m9[0m [91m5[0m [92m6[0m [90m3[0m [36m4[0m [37m7[0m [33m8[0m [32m2[0m 
[36m1[0m [33m9[0m [35m5[0m [90m6[0m [32m7[0m [92m4[0m [34m0[0m [31m8[0m [37m2[0m [91m3[0m 
[32m9[0m [37m5[0m [91m6[0m [36m7[0m [90m8[0m [31m0[0m [35m1[0m [34m2[0m [92m3[0m [33m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 9 6 1 7 8 3 4 2 5 
1 4 8 3 6 9 2 5 7 0 
2 7 0 9 3 6 5 8 4 1 
3 1 5 6 8 2 4 9 0 7 
4 2 9 5 0 3 6 7 1 8 
5 8 4 7 2 1 0 6 9 3 
6 5 3 0 1 7 9 2 8 4 
7 0 1 2 5 4 8 3 6 9 
8 6 7 4 9 5 1 0 3 2 
9 3 2 8 4 0 7 1 5 6 
Short form: 0961783425148369257027093658413156824907429503671858472106936530179284701254836986749510329328407156

Concatenated:
70 89 26 31 47 58 63 04 12 95 
81 24 38 43 06 69 72 15 97 50 
22 37 40 09 13 76 85 98 54 61 
33 41 05 16 28 82 94 59 60 77 
44 02 19 25 30 93 56 67 71 88 
55 68 74 87 92 11 20 36 49 03 
66 75 83 90 51 27 39 42 08 14 
07 10 91 52 65 34 48 73 86 29 
18 96 57 64 79 45 01 80 23 32 
99 53 62 78 84 00 17 21 35 46 

transversals_set_i 25
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [37m3[0m [33m4[0m [92m0[0m [91m6[0m [36m7[0m [32m1[0m [35m9[0m [31m5[0m 
[92m2[0m [33m3[0m [31m4[0m [91m0[0m [37m1[0m [32m7[0m [90m8[0m [36m9[0m [34m5[0m [35m6[0m 
[91m3[0m [37m4[0m [36m0[0m [92m1[0m [32m2[0m [31m8[0m [34m9[0m [35m5[0m [33m6[0m [90m7[0m 
[90m4[0m [35m0[0m [34m1[0m [31m2[0m [36m3[0m [33m9[0m [32m5[0m [92m6[0m [37m7[0m [91m8[0m 
[33m5[0m [34m6[0m [92m7[0m [36m8[0m [91m9[0m [90m1[0m [35m2[0m [31m3[0m [32m4[0m [37m0[0m 
[36m6[0m [91m7[0m [35m8[0m [32m9[0m [90m5[0m [37m2[0m [92m3[0m [34m4[0m [31m0[0m [33m1[0m 
[32m0[0m [36m1[0m [90m9[0m [37m5[0m [31m6[0m [35m3[0m [91m4[0m [33m7[0m [92m8[0m [34m2[0m 
[35m1[0m [31m9[0m [91m5[0m [90m6[0m [34m7[0m [92m4[0m [33m0[0m [37m8[0m [36m2[0m [32m3[0m 
[37m9[0m [92m5[0m [32m6[0m [35m7[0m [33m8[0m [34m0[0m [31m1[0m [91m2[0m [90m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 7 5 1 8 6 9 4 3 2 
1 4 9 5 2 3 6 7 8 0 
2 5 0 3 9 7 4 6 1 8 
3 9 6 2 7 0 1 8 5 4 
4 8 1 0 6 5 7 2 9 3 
5 1 2 6 3 4 8 0 7 9 
6 3 8 7 4 9 2 1 0 5 
7 6 4 9 0 8 3 5 2 1 
8 0 3 4 1 2 5 9 6 7 
9 2 7 8 5 1 0 3 4 6 
Short form: 0751869432149523678025039746183962701854481065729351263480796387492105764908352180341259679278510346

Concatenated:
70 87 25 31 48 56 69 04 13 92 
81 24 39 45 02 63 76 17 98 50 
22 35 40 03 19 77 84 96 51 68 
33 49 06 12 27 80 91 58 65 74 
44 08 11 20 36 95 57 62 79 83 
55 61 72 86 93 14 28 30 47 09 
66 73 88 97 54 29 32 41 00 15 
07 16 94 59 60 38 43 75 82 21 
18 90 53 64 71 42 05 89 26 37 
99 52 67 78 85 01 10 23 34 46 

transversals_set_i 26
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [90m2[0m [31m3[0m [91m4[0m [36m0[0m [32m6[0m [34m7[0m [92m1[0m [37m9[0m [33m5[0m 
[32m2[0m [91m3[0m [36m4[0m [33m0[0m [31m1[0m [37m7[0m [92m8[0m [34m9[0m [90m5[0m [35m6[0m 
[36m3[0m [37m4[0m [92m0[0m [35m1[0m [34m2[0m [33m8[0m [90m9[0m [32m5[0m [31m6[0m [91m7[0m 
[90m4[0m [34m0[0m [32m1[0m [92m2[0m [37m3[0m [91m9[0m [31m5[0m [33m6[0m [35m7[0m [36m8[0m 
[92m5[0m [36m6[0m [90m7[0m [31m8[0m [32m9[0m [34m1[0m [91m2[0m [35m3[0m [33m4[0m [37m0[0m 
[34m6[0m [92m7[0m [37m8[0m [36m9[0m [91m5[0m [35m2[0m [33m3[0m [31m4[0m [32m0[0m [90m1[0m 
[91m0[0m [33m1[0m [35m9[0m [37m5[0m [92m6[0m [90m3[0m [32m4[0m [36m7[0m [34m8[0m [31m2[0m 
[37m1[0m [31m9[0m [34m5[0m [90m6[0m [33m7[0m [92m4[0m [35m0[0m [91m8[0m [36m2[0m [32m3[0m 
[33m9[0m [35m5[0m [91m6[0m [32m7[0m [90m8[0m [31m0[0m [36m1[0m [37m2[0m [92m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 2 9 6 1 3 8 4 7 5 
1 4 0 7 3 2 6 5 8 9 
2 7 3 9 0 8 5 6 4 1 
3 8 5 1 6 9 4 2 0 7 
4 6 2 5 8 7 0 9 1 3 
5 3 4 0 2 6 7 1 9 8 
6 5 8 3 7 1 9 0 2 4 
7 9 1 8 5 4 2 3 6 0 
8 0 6 4 9 5 1 7 3 2 
9 1 7 2 4 0 3 8 5 6 
Short form: 0296138475140732658927390856413851694207462587091353402671986583719024791854236080649517329172403856

Concatenated:
70 82 29 36 41 53 68 04 17 95 
81 24 30 47 03 62 76 15 98 59 
22 37 43 09 10 78 85 96 54 61 
33 48 05 11 26 89 94 52 60 77 
44 06 12 25 38 97 50 69 71 83 
55 63 74 80 92 16 27 31 49 08 
66 75 88 93 57 21 39 40 02 14 
07 19 91 58 65 34 42 73 86 20 
18 90 56 64 79 45 01 87 23 32 
99 51 67 72 84 00 13 28 35 46 

transversals_set_i 27
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [37m3[0m [36m4[0m [32m0[0m [31m6[0m [34m7[0m [92m1[0m [35m9[0m [33m5[0m 
[37m2[0m [35m3[0m [34m4[0m [91m0[0m [31m1[0m [32m7[0m [92m8[0m [33m9[0m [90m5[0m [36m6[0m 
[32m3[0m [91m4[0m [92m0[0m [37m1[0m [36m2[0m [33m8[0m [90m9[0m [31m5[0m [34m6[0m [35m7[0m 
[90m4[0m [31m0[0m [35m1[0m [92m2[0m [33m3[0m [37m9[0m [91m5[0m [32m6[0m [36m7[0m [34m8[0m 
[92m5[0m [33m6[0m [90m7[0m [31m8[0m [91m9[0m [34m1[0m [35m2[0m [36m3[0m [32m4[0m [37m0[0m 
[35m6[0m [92m7[0m [36m8[0m [32m9[0m [34m5[0m [91m2[0m [31m3[0m [37m4[0m [33m0[0m [90m1[0m 
[34m0[0m [36m1[0m [31m9[0m [35m5[0m [92m6[0m [90m3[0m [33m4[0m [91m7[0m [37m8[0m [32m2[0m 
[33m1[0m [34m9[0m [32m5[0m [90m6[0m [37m7[0m [92m4[0m [36m0[0m [35m8[0m [31m2[0m [91m3[0m 
[36m9[0m [37m5[0m [91m6[0m [33m7[0m [90m8[0m [35m0[0m [32m1[0m [34m2[0m [92m3[0m [31m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 8 7 6 9 2 4 1 5 
1 4 2 9 3 0 7 5 6 8 
2 6 7 1 0 3 5 8 4 9 
3 1 5 2 9 8 4 0 7 6 
4 0 6 5 8 2 1 3 9 7 
5 8 4 0 1 7 6 9 3 2 
6 5 9 3 7 1 0 2 8 4 
7 9 0 6 5 4 8 1 2 3 
8 7 3 4 2 5 9 6 0 1 
9 2 1 8 4 6 3 7 5 0 
Short form: 0387692415142930756826710358493152984076406582139758401769326593710284790654812387342596019218463750

Concatenated:
70 83 28 37 46 59 62 04 11 95 
81 24 32 49 03 60 77 15 96 58 
22 36 47 01 10 73 85 98 54 69 
33 41 05 12 29 88 94 50 67 76 
44 00 16 25 38 92 51 63 79 87 
55 68 74 80 91 17 26 39 43 02 
66 75 89 93 57 21 30 42 08 14 
07 19 90 56 65 34 48 71 82 23 
18 97 53 64 72 45 09 86 20 31 
99 52 61 78 84 06 13 27 35 40 

transversals_set_i 28
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[37m8[0m [90m2[0m [36m3[0m [91m4[0m [33m0[0m [34m6[0m [32m7[0m [92m1[0m [35m9[0m [31m5[0m 
[32m2[0m [35m3[0m [37m4[0m [31m0[0m [34m1[0m [91m7[0m [92m8[0m [36m9[0m [90m5[0m [33m6[0m 
[91m3[0m [34m4[0m [92m0[0m [36m1[0m [31m2[0m [33m8[0m [90m9[0m [37m5[0m [32m6[0m [35m7[0m 
[90m4[0m [36m0[0m [32m1[0m [92m2[0m [37m3[0m [31m9[0m [34m5[0m [35m6[0m [33m7[0m [91m8[0m 
[92m5[0m [91m6[0m [90m7[0m [35m8[0m [32m9[0m [37m1[0m [36m2[0m [33m3[0m [31m4[0m [34m0[0m 
[36m6[0m [92m7[0m [34m8[0m [33m9[0m [91m5[0m [35m2[0m [31m3[0m [32m4[0m [37m0[0m [90m1[0m 
[35m0[0m [31m1[0m [91m9[0m [32m5[0m [92m6[0m [90m3[0m [33m4[0m [34m7[0m [36m8[0m [37m2[0m 
[33m1[0m [37m9[0m [35m5[0m [90m6[0m [36m7[0m [92m4[0m [91m0[0m [31m8[0m [34m2[0m [32m3[0m 
[34m9[0m [33m5[0m [31m6[0m [37m7[0m [90m8[0m [32m0[0m [35m1[0m [91m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 2 8 9 7 6 1 4 3 5 
1 4 6 3 8 9 2 5 7 0 
2 7 1 0 9 3 5 6 4 8 
3 9 5 6 0 8 4 1 2 7 
4 6 2 5 1 0 9 7 8 3 
5 3 4 7 2 1 6 8 0 9 
6 5 9 8 3 7 0 2 1 4 
7 0 3 2 5 4 8 9 6 1 
8 1 7 4 6 5 3 0 9 2 
9 8 0 1 4 2 7 3 5 6 
Short form: 0289761435146389257027109356483956084127462510978353472168096598370214703254896181746530929801427356

Concatenated:
70 82 28 39 47 56 61 04 13 95 
81 24 36 43 08 69 72 15 97 50 
22 37 41 00 19 73 85 96 54 68 
33 49 05 16 20 88 94 51 62 77 
44 06 12 25 31 90 59 67 78 83 
55 63 74 87 92 11 26 38 40 09 
66 75 89 98 53 27 30 42 01 14 
07 10 93 52 65 34 48 79 86 21 
18 91 57 64 76 45 03 80 29 32 
99 58 60 71 84 02 17 23 35 46 

transversals_set_i 29
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [37m3[0m [31m4[0m [32m0[0m [35m6[0m [36m7[0m [92m1[0m [33m9[0m [34m5[0m 
[32m2[0m [35m3[0m [36m4[0m [91m0[0m [31m1[0m [34m7[0m [92m8[0m [37m9[0m [90m5[0m [33m6[0m 
[33m3[0m [34m4[0m [92m0[0m [36m1[0m [91m2[0m [37m8[0m [90m9[0m [32m5[0m [31m6[0m [35m7[0m 
[90m4[0m [37m0[0m [35m1[0m [92m2[0m [36m3[0m [91m9[0m [33m5[0m [34m6[0m [32m7[0m [31m8[0m 
[92m5[0m [91m6[0m [90m7[0m [33m8[0m [34m9[0m [32m1[0m [35m2[0m [31m3[0m [37m4[0m [36m0[0m 
[36m6[0m [92m7[0m [34m8[0m [32m9[0m [37m5[0m [31m2[0m [91m3[0m [33m4[0m [35m0[0m [90m1[0m 
[34m0[0m [33m1[0m [31m9[0m [35m5[0m [92m6[0m [90m3[0m [32m4[0m [91m7[0m [36m8[0m [37m2[0m 
[37m1[0m [36m9[0m [91m5[0m [90m6[0m [33m7[0m [92m4[0m [31m0[0m [35m8[0m [34m2[0m [32m3[0m 
[35m9[0m [31m5[0m [32m6[0m [37m7[0m [90m8[0m [33m0[0m [34m1[0m [36m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 2 3 7 9 6 8 4 1 5 
1 4 8 0 2 9 6 5 3 7 
2 9 6 1 0 7 5 8 4 3 
3 7 5 6 1 8 4 2 0 9 
4 8 9 5 6 1 3 7 2 0 
5 1 4 3 7 2 9 0 8 6 
6 5 7 2 8 0 1 3 9 4 
7 3 0 9 5 4 2 1 6 8 
8 6 1 4 3 5 0 9 7 2 
9 0 2 8 4 3 7 6 5 1 
Short form: 0237968415148029653729610758433756184209489561372051437290866572801394730954216886143509729028437651

Concatenated:
70 82 23 37 49 56 68 04 11 95 
81 24 38 40 02 69 76 15 93 57 
22 39 46 01 10 77 85 98 54 63 
33 47 05 16 21 88 94 52 60 79 
44 08 19 25 36 91 53 67 72 80 
55 61 74 83 97 12 29 30 48 06 
66 75 87 92 58 20 31 43 09 14 
07 13 90 59 65 34 42 71 86 28 
18 96 51 64 73 45 00 89 27 32 
99 50 62 78 84 03 17 26 35 41 

transversals_set_i 30
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [90m2[0m [31m3[0m [91m4[0m [32m0[0m [34m6[0m [36m7[0m [92m1[0m [37m9[0m [35m5[0m 
[36m2[0m [37m3[0m [32m4[0m [35m0[0m [34m1[0m [91m7[0m [92m8[0m [33m9[0m [90m5[0m [31m6[0m 
[91m3[0m [34m4[0m [92m0[0m [36m1[0m [31m2[0m [35m8[0m [90m9[0m [37m5[0m [33m6[0m [32m7[0m 
[90m4[0m [33m0[0m [37m1[0m [92m2[0m [36m3[0m [32m9[0m [31m5[0m [91m6[0m [35m7[0m [34m8[0m 
[92m5[0m [35m6[0m [90m7[0m [37m8[0m [91m9[0m [33m1[0m [34m2[0m [32m3[0m [31m4[0m [36m0[0m 
[32m6[0m [92m7[0m [91m8[0m [31m9[0m [33m5[0m [37m2[0m [35m3[0m [36m4[0m [34m0[0m [90m1[0m 
[37m0[0m [31m1[0m [35m9[0m [32m5[0m [92m6[0m [90m3[0m [33m4[0m [34m7[0m [36m8[0m [91m2[0m 
[35m1[0m [36m9[0m [34m5[0m [90m6[0m [37m7[0m [92m4[0m [91m0[0m [31m8[0m [32m2[0m [33m3[0m 
[34m9[0m [91m5[0m [36m6[0m [33m7[0m [90m8[0m [31m0[0m [32m1[0m [35m2[0m [92m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 1 9 8 2 7 4 3 5 
1 4 0 3 6 9 2 5 7 8 
2 7 6 8 9 3 5 1 4 0 
3 9 5 2 0 8 4 7 1 6 
4 1 7 5 2 6 0 3 8 9 
5 8 4 7 3 1 9 6 0 2 
6 5 3 0 1 7 8 2 9 4 
7 0 8 6 5 4 1 9 2 3 
8 2 9 4 7 5 3 0 6 1 
9 3 2 1 4 0 6 8 5 7 
Short form: 0619827435140369257827689351403952084716417526038958473196026530178294708654192382947530619321406857

Concatenated:
70 86 21 39 48 52 67 04 13 95 
81 24 30 43 06 69 72 15 97 58 
22 37 46 08 19 73 85 91 54 60 
33 49 05 12 20 88 94 57 61 76 
44 01 17 25 32 96 50 63 78 89 
55 68 74 87 93 11 29 36 40 02 
66 75 83 90 51 27 38 42 09 14 
07 10 98 56 65 34 41 79 82 23 
18 92 59 64 77 45 03 80 26 31 
99 53 62 71 84 00 16 28 35 47 

transversals_set_i 31
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [90m2[0m [92m3[0m [33m4[0m [37m0[0m [31m6[0m [91m7[0m [36m1[0m [34m9[0m [32m5[0m 
[37m2[0m [91m3[0m [36m4[0m [32m0[0m [92m1[0m [33m7[0m [31m8[0m [35m9[0m [90m5[0m [34m6[0m 
[36m3[0m [34m4[0m [91m0[0m [31m1[0m [32m2[0m [37m8[0m [90m9[0m [33m5[0m [92m6[0m [35m7[0m 
[90m4[0m [33m0[0m [35m1[0m [92m2[0m [31m3[0m [32m9[0m [34m5[0m [91m6[0m [37m7[0m [36m8[0m 
[92m5[0m [35m6[0m [90m7[0m [91m8[0m [33m9[0m [34m1[0m [36m2[0m [37m3[0m [32m4[0m [31m0[0m 
[33m6[0m [92m7[0m [34m8[0m [37m9[0m [91m5[0m [35m2[0m [32m3[0m [31m4[0m [36m0[0m [90m1[0m 
[34m0[0m [37m1[0m [31m9[0m [35m5[0m [36m6[0m [90m3[0m [92m4[0m [32m7[0m [33m8[0m [91m2[0m 
[32m1[0m [36m9[0m [37m5[0m [90m6[0m [34m7[0m [91m4[0m [35m0[0m [92m8[0m [31m2[0m [33m3[0m 
[91m9[0m [31m5[0m [32m6[0m [36m7[0m [90m8[0m [92m0[0m [33m1[0m [34m2[0m [35m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 6 7 1 3 2 4 9 5 
1 4 5 6 2 0 9 3 7 8 
2 9 3 8 5 6 0 1 4 7 
3 7 9 0 8 2 4 6 5 1 
4 6 1 5 0 8 7 9 2 3 
5 1 4 9 6 7 3 2 8 0 
6 5 7 2 9 1 8 0 3 4 
7 2 0 1 3 4 5 8 6 9 
8 3 2 4 7 9 1 5 0 6 
9 0 8 3 4 5 6 7 1 2 
Short form: 0867132495145620937829385601473790824651461508792351496732806572918034720134586983247915069083456712

Concatenated:
70 88 26 37 41 53 62 04 19 95 
81 24 35 46 02 60 79 13 97 58 
22 39 43 08 15 76 80 91 54 67 
33 47 09 10 28 82 94 56 65 71 
44 06 11 25 30 98 57 69 72 83 
55 61 74 89 96 17 23 32 48 00 
66 75 87 92 59 21 38 40 03 14 
07 12 90 51 63 34 45 78 86 29 
18 93 52 64 77 49 01 85 20 36 
99 50 68 73 84 05 16 27 31 42 

transversals_set_i 32
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [32m3[0m [37m4[0m [34m0[0m [33m6[0m [36m7[0m [92m1[0m [31m9[0m [35m5[0m 
[35m2[0m [36m3[0m [91m4[0m [32m0[0m [31m1[0m [37m7[0m [92m8[0m [33m9[0m [90m5[0m [34m6[0m 
[37m3[0m [31m4[0m [92m0[0m [36m1[0m [91m2[0m [34m8[0m [90m9[0m [32m5[0m [35m6[0m [33m7[0m 
[90m4[0m [35m0[0m [37m1[0m [92m2[0m [33m3[0m [32m9[0m [91m5[0m [36m6[0m [34m7[0m [31m8[0m 
[92m5[0m [91m6[0m [90m7[0m [33m8[0m [36m9[0m [35m1[0m [34m2[0m [31m3[0m [32m4[0m [37m0[0m 
[32m6[0m [92m7[0m [36m8[0m [91m9[0m [37m5[0m [31m2[0m [35m3[0m [34m4[0m [33m0[0m [90m1[0m 
[36m0[0m [34m1[0m [35m9[0m [31m5[0m [92m6[0m [90m3[0m [33m4[0m [91m7[0m [37m8[0m [32m2[0m 
[33m1[0m [37m9[0m [34m5[0m [90m6[0m [32m7[0m [92m4[0m [31m0[0m [35m8[0m [36m2[0m [91m3[0m 
[34m9[0m [33m5[0m [31m6[0m [35m7[0m [90m8[0m [91m0[0m [32m1[0m [37m2[0m [92m3[0m [36m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 8 9 2 7 3 4 1 5 
1 4 6 3 9 8 7 5 0 2 
2 7 1 6 0 3 5 8 4 9 
3 0 5 7 1 9 4 6 2 8 
4 2 3 5 8 6 1 7 9 0 
5 1 4 8 7 2 9 0 6 3 
6 5 7 1 3 0 2 9 8 4 
7 9 2 0 5 4 8 1 3 6 
8 3 9 4 6 5 0 2 7 1 
9 8 0 2 4 1 6 3 5 7 
Short form: 0689273415146398750227160358493057194628423586179051487290636571302984792054813683946502719802416357

Concatenated:
70 86 28 39 42 57 63 04 11 95 
81 24 36 43 09 68 77 15 90 52 
22 37 41 06 10 73 85 98 54 69 
33 40 05 17 21 89 94 56 62 78 
44 02 13 25 38 96 51 67 79 80 
55 61 74 88 97 12 29 30 46 03 
66 75 87 91 53 20 32 49 08 14 
07 19 92 50 65 34 48 71 83 26 
18 93 59 64 76 45 00 82 27 31 
99 58 60 72 84 01 16 23 35 47 

transversals_set_i 33
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [32m3[0m [37m4[0m [31m0[0m [33m6[0m [35m7[0m [92m1[0m [36m9[0m [91m5[0m 
[37m2[0m [35m3[0m [31m4[0m [32m0[0m [34m1[0m [91m7[0m [92m8[0m [33m9[0m [90m5[0m [36m6[0m 
[33m3[0m [91m4[0m [92m0[0m [35m1[0m [36m2[0m [37m8[0m [90m9[0m [32m5[0m [31m6[0m [34m7[0m 
[90m4[0m [36m0[0m [37m1[0m [92m2[0m [91m3[0m [32m9[0m [34m5[0m [35m6[0m [33m7[0m [31m8[0m 
[92m5[0m [34m6[0m [90m7[0m [33m8[0m [37m9[0m [31m1[0m [91m2[0m [36m3[0m [32m4[0m [35m0[0m 
[32m6[0m [92m7[0m [36m8[0m [91m9[0m [33m5[0m [35m2[0m [31m3[0m [34m4[0m [37m0[0m [90m1[0m 
[91m0[0m [33m1[0m [34m9[0m [31m5[0m [92m6[0m [90m3[0m [36m4[0m [37m7[0m [35m8[0m [32m2[0m 
[36m1[0m [31m9[0m [35m5[0m [90m6[0m [32m7[0m [92m4[0m [33m0[0m [91m8[0m [34m2[0m [37m3[0m 
[35m9[0m [37m5[0m [91m6[0m [36m7[0m [90m8[0m [34m0[0m [32m1[0m [31m2[0m [92m3[0m [33m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 3 1 9 8 2 4 7 5 
1 4 6 2 0 3 9 5 8 7 
2 9 0 6 1 7 5 3 4 8 
3 7 5 9 8 2 4 6 0 1 
4 8 2 5 7 6 1 9 3 0 
5 1 4 3 2 0 7 8 6 9 
6 5 8 7 3 9 0 1 2 4 
7 3 1 0 5 4 8 2 9 6 
8 0 9 4 6 5 3 7 1 2 
9 2 7 8 4 1 6 0 5 3 
Short form: 0631982475146203958729061753483759824601482576193051432078696587390124731054829680946537129278416053

Concatenated:
70 86 23 31 49 58 62 04 17 95 
81 24 36 42 00 63 79 15 98 57 
22 39 40 06 11 77 85 93 54 68 
33 47 05 19 28 82 94 56 60 71 
44 08 12 25 37 96 51 69 73 80 
55 61 74 83 92 10 27 38 46 09 
66 75 88 97 53 29 30 41 02 14 
07 13 91 50 65 34 48 72 89 26 
18 90 59 64 76 45 03 87 21 32 
99 52 67 78 84 01 16 20 35 43 

transversals_set_i 34
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[34m8[0m [90m2[0m [32m3[0m [37m4[0m [31m0[0m [33m6[0m [35m7[0m [92m1[0m [36m9[0m [91m5[0m 
[37m2[0m [36m3[0m [31m4[0m [32m0[0m [34m1[0m [91m7[0m [92m8[0m [33m9[0m [90m5[0m [35m6[0m 
[33m3[0m [91m4[0m [92m0[0m [35m1[0m [36m2[0m [37m8[0m [90m9[0m [32m5[0m [31m6[0m [34m7[0m 
[90m4[0m [35m0[0m [37m1[0m [92m2[0m [91m3[0m [32m9[0m [34m5[0m [36m6[0m [33m7[0m [31m8[0m 
[92m5[0m [34m6[0m [90m7[0m [33m8[0m [37m9[0m [31m1[0m [91m2[0m [35m3[0m [32m4[0m [36m0[0m 
[32m6[0m [92m7[0m [36m8[0m [91m9[0m [33m5[0m [35m2[0m [31m3[0m [34m4[0m [37m0[0m [90m1[0m 
[91m0[0m [33m1[0m [34m9[0m [31m5[0m [92m6[0m [90m3[0m [36m4[0m [37m7[0m [35m8[0m [32m2[0m 
[36m1[0m [31m9[0m [35m5[0m [90m6[0m [32m7[0m [92m4[0m [33m0[0m [91m8[0m [34m2[0m [37m3[0m 
[35m9[0m [37m5[0m [91m6[0m [36m7[0m [90m8[0m [34m0[0m [32m1[0m [31m2[0m [92m3[0m [33m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 6 3 1 9 8 2 4 7 5 
1 4 6 2 0 3 9 5 8 7 
2 8 0 6 1 7 5 3 4 9 
3 7 5 9 8 2 4 6 0 1 
4 9 2 5 7 6 1 8 3 0 
5 1 4 3 2 0 7 9 6 8 
6 5 8 7 3 9 0 1 2 4 
7 3 1 0 5 4 8 2 9 6 
8 0 9 4 6 5 3 7 1 2 
9 2 7 8 4 1 6 0 5 3 
Short form: 0631982475146203958728061753493759824601492576183051432079686587390124731054829680946537129278416053

Concatenated:
70 86 23 31 49 58 62 04 17 95 
81 24 36 42 00 63 79 15 98 57 
22 38 40 06 11 77 85 93 54 69 
33 47 05 19 28 82 94 56 60 71 
44 09 12 25 37 96 51 68 73 80 
55 61 74 83 92 10 27 39 46 08 
66 75 88 97 53 29 30 41 02 14 
07 13 91 50 65 34 48 72 89 26 
18 90 59 64 76 45 03 87 21 32 
99 52 67 78 84 01 16 20 35 43 

transversals_set_i 35
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [90m2[0m [31m3[0m [37m4[0m [91m0[0m [33m6[0m [35m7[0m [92m1[0m [34m9[0m [32m5[0m 
[37m2[0m [36m3[0m [34m4[0m [32m0[0m [31m1[0m [91m7[0m [92m8[0m [33m9[0m [90m5[0m [35m6[0m 
[91m3[0m [33m4[0m [92m0[0m [35m1[0m [32m2[0m [34m8[0m [90m9[0m [31m5[0m [36m6[0m [37m7[0m 
[90m4[0m [35m0[0m [36m1[0m [92m2[0m [37m3[0m [32m9[0m [34m5[0m [91m6[0m [33m7[0m [31m8[0m 
[92m5[0m [31m6[0m [90m7[0m [33m8[0m [36m9[0m [37m1[0m [91m2[0m [35m3[0m [32m4[0m [34m0[0m 
[34m6[0m [92m7[0m [91m8[0m [31m9[0m [33m5[0m [35m2[0m [32m3[0m [36m4[0m [37m0[0m [90m1[0m 
[33m0[0m [34m1[0m [37m9[0m [91m5[0m [92m6[0m [90m3[0m [31m4[0m [32m7[0m [35m8[0m [36m2[0m 
[32m1[0m [91m9[0m [35m5[0m [90m6[0m [34m7[0m [92m4[0m [36m0[0m [37m8[0m [31m2[0m [33m3[0m 
[35m9[0m [37m5[0m [32m6[0m [36m7[0m [90m8[0m [31m0[0m [33m1[0m [34m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 7 6 9 1 2 4 3 5 
1 4 0 2 3 7 9 5 6 8 
2 1 6 8 0 3 5 7 4 9 
3 7 5 9 8 6 4 0 1 2 
4 9 1 5 2 8 6 3 7 0 
5 0 4 7 1 2 3 9 8 6 
6 5 3 0 7 9 8 1 2 4 
7 6 2 3 5 4 0 8 9 1 
8 3 9 4 6 5 1 2 0 7 
9 2 8 1 4 0 7 6 5 3 
Short form: 0876912435140237956821680357493759864012491528637050471239866530798124762354089183946512079281407653

Concatenated:
70 88 27 36 49 51 62 04 13 95 
81 24 30 42 03 67 79 15 96 58 
22 31 46 08 10 73 85 97 54 69 
33 47 05 19 28 86 94 50 61 72 
44 09 11 25 32 98 56 63 77 80 
55 60 74 87 91 12 23 39 48 06 
66 75 83 90 57 29 38 41 02 14 
07 16 92 53 65 34 40 78 89 21 
18 93 59 64 76 45 01 82 20 37 
99 52 68 71 84 00 17 26 35 43 

transversals_set_i 36
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [36m2[0m [37m3[0m [90m4[0m [32m0[0m [91m6[0m [92m7[0m [31m1[0m [34m9[0m [35m5[0m 
[37m2[0m [90m3[0m [31m4[0m [92m0[0m [34m1[0m [35m7[0m [91m8[0m [33m9[0m [32m5[0m [36m6[0m 
[91m3[0m [34m4[0m [36m0[0m [35m1[0m [92m2[0m [90m8[0m [31m9[0m [37m5[0m [33m6[0m [32m7[0m 
[32m4[0m [91m0[0m [92m1[0m [31m2[0m [33m3[0m [37m9[0m [90m5[0m [35m6[0m [36m7[0m [34m8[0m 
[34m5[0m [31m6[0m [90m7[0m [37m8[0m [91m9[0m [32m1[0m [35m2[0m [36m3[0m [92m4[0m [33m0[0m 
[92m6[0m [33m7[0m [35m8[0m [36m9[0m [31m5[0m [34m2[0m [32m3[0m [91m4[0m [37m0[0m [90m1[0m 
[35m0[0m [37m1[0m [32m9[0m [33m5[0m [90m6[0m [92m3[0m [36m4[0m [34m7[0m [31m8[0m [91m2[0m 
[36m1[0m [35m9[0m [91m5[0m [32m6[0m [37m7[0m [33m4[0m [34m0[0m [92m8[0m [90m2[0m [31m3[0m 
[90m9[0m [92m5[0m [34m6[0m [91m7[0m [36m8[0m [31m0[0m [33m1[0m [32m2[0m [35m3[0m [37m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 4 1 5 7 8 2 9 3 6 
1 8 2 9 4 3 6 0 5 7 
2 9 0 6 5 7 3 1 4 8 
3 5 8 7 6 9 0 2 1 4 
4 3 6 0 1 2 9 7 8 5 
5 0 9 2 3 4 7 8 6 1 
6 1 7 8 0 5 4 3 2 9 
7 2 4 1 9 6 8 5 0 3 
8 7 3 4 2 1 5 6 9 0 
9 6 5 3 8 0 1 4 7 2 
Short form: 0415782936182943605729065731483587690214436012978550923478616178054329724196850387342156909653801472

Concatenated:
70 84 21 35 47 58 62 09 13 96 
81 28 32 49 04 63 76 10 95 57 
22 39 40 06 15 77 83 91 54 68 
33 45 08 17 26 89 90 52 61 74 
44 03 16 20 31 92 59 67 78 85 
55 60 79 82 93 14 27 38 46 01 
66 71 87 98 50 25 34 43 02 19 
07 12 94 51 69 36 48 75 80 23 
18 97 53 64 72 41 05 86 29 30 
99 56 65 73 88 00 11 24 37 42 

transversals_set_i 37
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [35m3[0m [37m4[0m [31m0[0m [33m6[0m [32m7[0m [92m1[0m [36m9[0m [34m5[0m 
[37m2[0m [33m3[0m [36m4[0m [91m0[0m [32m1[0m [34m7[0m [92m8[0m [31m9[0m [90m5[0m [35m6[0m 
[32m3[0m [91m4[0m [92m0[0m [33m1[0m [36m2[0m [31m8[0m [90m9[0m [35m5[0m [34m6[0m [37m7[0m 
[90m4[0m [34m0[0m [31m1[0m [92m2[0m [37m3[0m [91m9[0m [33m5[0m [32m6[0m [35m7[0m [36m8[0m 
[92m5[0m [31m6[0m [90m7[0m [35m8[0m [34m9[0m [37m1[0m [91m2[0m [36m3[0m [32m4[0m [33m0[0m 
[36m6[0m [92m7[0m [34m8[0m [32m9[0m [91m5[0m [35m2[0m [31m3[0m [33m4[0m [37m0[0m [90m1[0m 
[35m0[0m [36m1[0m [37m9[0m [31m5[0m [92m6[0m [90m3[0m [34m4[0m [91m7[0m [33m8[0m [32m2[0m 
[34m1[0m [35m9[0m [32m5[0m [90m6[0m [33m7[0m [92m4[0m [36m0[0m [37m8[0m [31m2[0m [91m3[0m 
[33m9[0m [37m5[0m [91m6[0m [36m7[0m [90m8[0m [32m0[0m [35m1[0m [34m2[0m [92m3[0m [31m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 9 8 7 6 2 4 1 5 
1 4 7 2 0 9 3 5 6 8 
2 9 6 1 3 8 5 0 4 7 
3 1 5 9 6 0 4 7 8 2 
4 8 0 5 2 1 9 3 7 6 
5 0 4 7 8 2 1 6 3 9 
6 5 8 3 1 7 0 9 2 4 
7 6 2 0 5 4 8 1 9 3 
8 7 3 4 9 5 6 2 0 1 
9 2 1 6 4 3 7 8 5 0 
Short form: 0398762415147209356829613850473159604782480521937650478216396583170924762054819387349562019216437850

Concatenated:
70 83 29 38 47 56 62 04 11 95 
81 24 37 42 00 69 73 15 96 58 
22 39 46 01 13 78 85 90 54 67 
33 41 05 19 26 80 94 57 68 72 
44 08 10 25 32 91 59 63 77 86 
55 60 74 87 98 12 21 36 43 09 
66 75 88 93 51 27 30 49 02 14 
07 16 92 50 65 34 48 71 89 23 
18 97 53 64 79 45 06 82 20 31 
99 52 61 76 84 03 17 28 35 40 

transversals_set_i 38
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [90m2[0m [32m3[0m [33m4[0m [37m0[0m [31m6[0m [91m7[0m [92m1[0m [35m9[0m [34m5[0m 
[35m2[0m [91m3[0m [36m4[0m [32m0[0m [31m1[0m [37m7[0m [92m8[0m [34m9[0m [90m5[0m [33m6[0m 
[37m3[0m [92m4[0m [31m0[0m [90m1[0m [34m2[0m [91m8[0m [36m9[0m [33m5[0m [32m6[0m [35m7[0m 
[91m4[0m [36m0[0m [37m1[0m [92m2[0m [33m3[0m [90m9[0m [32m5[0m [35m6[0m [34m7[0m [31m8[0m 
[92m5[0m [34m6[0m [90m7[0m [35m8[0m [32m9[0m [33m1[0m [31m2[0m [36m3[0m [37m4[0m [91m0[0m 
[90m6[0m [33m7[0m [34m8[0m [37m9[0m [91m5[0m [32m2[0m [35m3[0m [31m4[0m [92m0[0m [36m1[0m 
[34m0[0m [35m1[0m [91m9[0m [31m5[0m [36m6[0m [92m3[0m [90m4[0m [32m7[0m [33m8[0m [37m2[0m 
[32m1[0m [31m9[0m [35m5[0m [91m6[0m [92m7[0m [34m4[0m [33m0[0m [37m8[0m [36m2[0m [90m3[0m 
[33m9[0m [37m5[0m [92m6[0m [36m7[0m [90m8[0m [35m0[0m [34m1[0m [91m2[0m [31m3[0m [32m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 9 7 2 1 3 6 4 5 
1 6 8 9 3 0 4 5 2 7 
2 4 1 8 0 3 5 7 6 9 
3 5 0 6 7 4 1 9 8 2 
4 1 3 5 9 6 8 2 7 0 
5 7 6 2 8 9 0 1 3 4 
6 9 7 3 4 8 2 0 5 1 
7 2 4 0 1 5 6 8 9 3 
8 0 2 4 5 7 9 3 1 6 
9 3 5 1 6 2 7 4 0 8 
Short form: 0897213645168930452724180357693506741982413596827057628901346973482051724015689380245793169351627408

Concatenated:
70 88 29 37 42 51 63 06 14 95 
81 26 38 49 03 60 74 15 92 57 
22 34 41 08 10 73 85 97 56 69 
33 45 00 16 27 84 91 59 68 72 
44 01 13 25 39 96 58 62 77 80 
55 67 76 82 98 19 20 31 43 04 
66 79 87 93 54 28 32 40 05 11 
07 12 94 50 61 35 46 78 89 23 
18 90 52 64 75 47 09 83 21 36 
99 53 65 71 86 02 17 24 30 48 

transversals_set_i 39
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [90m2[0m [35m3[0m [36m4[0m [37m0[0m [34m6[0m [91m7[0m [92m1[0m [31m9[0m [32m5[0m 
[34m2[0m [91m3[0m [32m4[0m [33m0[0m [36m1[0m [35m7[0m [92m8[0m [37m9[0m [90m5[0m [31m6[0m 
[37m3[0m [92m4[0m [36m0[0m [90m1[0m [31m2[0m [91m8[0m [35m9[0m [34m5[0m [32m6[0m [33m7[0m 
[91m4[0m [31m0[0m [34m1[0m [92m2[0m [32m3[0m [90m9[0m [33m5[0m [35m6[0m [36m7[0m [37m8[0m 
[92m5[0m [36m6[0m [90m7[0m [35m8[0m [34m9[0m [33m1[0m [32m2[0m [31m3[0m [37m4[0m [91m0[0m 
[90m6[0m [34m7[0m [31m8[0m [32m9[0m [91m5[0m [37m2[0m [36m3[0m [33m4[0m [92m0[0m [35m1[0m 
[35m0[0m [37m1[0m [91m9[0m [31m5[0m [33m6[0m [92m3[0m [90m4[0m [32m7[0m [34m8[0m [36m2[0m 
[32m1[0m [33m9[0m [37m5[0m [91m6[0m [92m7[0m [31m4[0m [34m0[0m [36m8[0m [35m2[0m [90m3[0m 
[36m9[0m [35m5[0m [92m6[0m [37m7[0m [90m8[0m [32m0[0m [31m1[0m [91m2[0m [33m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 1 2 7 9 3 6 4 5 
1 6 7 9 3 2 4 5 0 8 
2 4 8 1 9 7 5 3 6 0 
3 5 9 6 0 4 7 2 8 1 
4 0 2 5 8 6 1 7 9 3 
5 9 6 7 2 1 8 0 3 4 
6 2 0 8 4 3 9 1 5 7 
7 3 4 0 1 5 6 8 2 9 
8 1 3 4 5 0 2 9 7 6 
9 7 5 3 6 8 0 4 1 2 
Short form: 0812793645167932450824819753603596047281402586179359672180346208439157734015682981345029769753680412

Concatenated:
70 88 21 32 47 59 63 06 14 95 
81 26 37 49 03 62 74 15 90 58 
22 34 48 01 19 77 85 93 56 60 
33 45 09 16 20 84 97 52 68 71 
44 00 12 25 38 96 51 67 79 83 
55 69 76 87 92 11 28 30 43 04 
66 72 80 98 54 23 39 41 05 17 
07 13 94 50 61 35 46 78 82 29 
18 91 53 64 75 40 02 89 27 36 
99 57 65 73 86 08 10 24 31 42 

transversals_set_i 40
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [37m3[0m [36m4[0m [31m0[0m [35m6[0m [34m7[0m [92m1[0m [33m9[0m [32m5[0m 
[36m2[0m [91m3[0m [31m4[0m [35m0[0m [33m1[0m [32m7[0m [92m8[0m [37m9[0m [90m5[0m [34m6[0m 
[32m3[0m [92m4[0m [91m0[0m [90m1[0m [34m2[0m [31m8[0m [35m9[0m [33m5[0m [36m6[0m [37m7[0m 
[37m4[0m [34m0[0m [32m1[0m [92m2[0m [36m3[0m [90m9[0m [91m5[0m [31m6[0m [35m7[0m [33m8[0m 
[92m5[0m [33m6[0m [90m7[0m [37m8[0m [91m9[0m [34m1[0m [31m2[0m [35m3[0m [32m4[0m [36m0[0m 
[90m6[0m [36m7[0m [35m8[0m [32m9[0m [37m5[0m [91m2[0m [33m3[0m [34m4[0m [92m0[0m [31m1[0m 
[33m0[0m [37m1[0m [36m9[0m [31m5[0m [32m6[0m [92m3[0m [90m4[0m [91m7[0m [34m8[0m [35m2[0m 
[35m1[0m [31m9[0m [34m5[0m [91m6[0m [92m7[0m [33m4[0m [32m0[0m [36m8[0m [37m2[0m [90m3[0m 
[34m9[0m [35m5[0m [92m6[0m [33m7[0m [90m8[0m [37m0[0m [36m1[0m [32m2[0m [31m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 7 9 8 2 4 6 1 5 
1 6 4 2 0 8 9 5 7 3 
2 1 0 8 7 3 5 4 6 9 
3 5 1 6 9 0 8 7 2 4 
4 9 3 5 2 6 1 0 8 7 
5 7 6 4 1 9 0 8 3 2 
6 2 8 3 4 1 7 9 5 0 
7 4 2 0 3 5 6 1 9 8 
8 0 9 1 5 7 3 2 4 6 
9 8 5 7 6 4 2 3 0 1 
Short form: 0379824615164208957321087354693516908724493526108757641908326283417950742035619880915732469857642301

Concatenated:
70 83 27 39 48 52 64 06 11 95 
81 26 34 42 00 68 79 15 97 53 
22 31 40 08 17 73 85 94 56 69 
33 45 01 16 29 80 98 57 62 74 
44 09 13 25 32 96 51 60 78 87 
55 67 76 84 91 19 20 38 43 02 
66 72 88 93 54 21 37 49 05 10 
07 14 92 50 63 35 46 71 89 28 
18 90 59 61 75 47 03 82 24 36 
99 58 65 77 86 04 12 23 30 41 

transversals_set_i 41
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[36m8[0m [35m2[0m [90m3[0m [33m4[0m [32m0[0m [34m6[0m [92m7[0m [31m1[0m [37m9[0m [91m5[0m 
[37m2[0m [33m3[0m [31m4[0m [92m0[0m [90m1[0m [91m7[0m [35m8[0m [36m9[0m [34m5[0m [32m6[0m 
[91m3[0m [37m4[0m [34m0[0m [36m1[0m [92m2[0m [90m8[0m [31m9[0m [32m5[0m [35m6[0m [33m7[0m 
[32m4[0m [36m0[0m [37m1[0m [91m2[0m [31m3[0m [35m9[0m [33m5[0m [92m6[0m [90m7[0m [34m8[0m 
[92m5[0m [91m6[0m [32m7[0m [37m8[0m [34m9[0m [33m1[0m [90m2[0m [35m3[0m [36m4[0m [31m0[0m 
[90m6[0m [34m7[0m [92m8[0m [32m9[0m [37m5[0m [31m2[0m [36m3[0m [91m4[0m [33m0[0m [35m1[0m 
[35m0[0m [92m1[0m [91m9[0m [90m5[0m [33m6[0m [32m3[0m [34m4[0m [37m7[0m [31m8[0m [36m2[0m 
[34m1[0m [90m9[0m [35m5[0m [31m6[0m [36m7[0m [92m4[0m [91m0[0m [33m8[0m [32m2[0m [37m3[0m 
[33m9[0m [31m5[0m [36m6[0m [35m7[0m [91m8[0m [37m0[0m [32m1[0m [34m2[0m [92m3[0m [90m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 4 9 8 7 1 2 6 3 5 
1 7 6 9 4 8 5 0 2 3 
2 9 0 5 6 3 7 1 8 4 
3 2 8 1 5 6 0 4 7 9 
4 1 2 3 0 7 9 5 6 8 
5 3 4 2 8 9 6 7 1 0 
6 8 5 4 2 0 1 3 9 7 
7 5 3 6 9 4 8 2 0 1 
8 6 7 0 1 5 3 9 4 2 
9 0 1 7 3 2 4 8 5 6 
Short form: 0498712635176948502329056371843281560479412307956853428967106854201397753694820186701539429017324856

Concatenated:
70 84 29 38 47 51 62 06 13 95 
81 27 36 49 04 68 75 10 92 53 
22 39 40 05 16 73 87 91 58 64 
33 42 08 11 25 86 90 54 67 79 
44 01 12 23 30 97 59 65 76 88 
55 63 74 82 98 19 26 37 41 00 
66 78 85 94 52 20 31 43 09 17 
07 15 93 56 69 34 48 72 80 21 
18 96 57 60 71 45 03 89 24 32 
99 50 61 77 83 02 14 28 35 46 

transversals_set_i 42
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[33m8[0m [90m2[0m [36m3[0m [91m4[0m [32m0[0m [31m6[0m [34m7[0m [92m1[0m [35m9[0m [37m5[0m 
[35m2[0m [91m3[0m [34m4[0m [37m0[0m [31m1[0m [33m7[0m [92m8[0m [36m9[0m [90m5[0m [32m6[0m 
[32m3[0m [37m4[0m [92m0[0m [35m1[0m [36m2[0m [34m8[0m [90m9[0m [31m5[0m [33m6[0m [91m7[0m 
[90m4[0m [31m0[0m [37m1[0m [92m2[0m [33m3[0m [91m9[0m [35m5[0m [34m6[0m [32m7[0m [36m8[0m 
[92m5[0m [35m6[0m [90m7[0m [31m8[0m [34m9[0m [32m1[0m [91m2[0m [37m3[0m [36m4[0m [33m0[0m 
[36m6[0m [92m7[0m [35m8[0m [32m9[0m [91m5[0m [37m2[0m [31m3[0m [33m4[0m [34m0[0m [90m1[0m 
[91m0[0m [36m1[0m [31m9[0m [33m5[0m [92m6[0m [90m3[0m [32m4[0m [35m7[0m [37m8[0m [34m2[0m 
[34m1[0m [33m9[0m [32m5[0m [90m6[0m [37m7[0m [92m4[0m [36m0[0m [91m8[0m [31m2[0m [35m3[0m 
[37m9[0m [34m5[0m [91m6[0m [36m7[0m [90m8[0m [35m0[0m [33m1[0m [32m2[0m [92m3[0m [31m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 1 8 2 6 9 4 7 5 
1 4 6 7 3 0 8 5 2 9 
2 7 8 9 0 1 5 6 4 3 
3 9 5 2 6 8 4 0 1 7 
4 0 9 5 1 7 2 8 3 6 
5 2 4 0 8 3 7 9 6 1 
6 5 2 3 7 9 0 1 8 4 
7 6 0 1 5 4 3 2 9 8 
8 1 3 4 9 5 6 7 0 2 
9 8 7 6 4 2 1 3 5 0 
Short form: 0318269475146730852927890156433952684017409517283652408379616523790184760154329881349567029876421350

Concatenated:
70 83 21 38 42 56 69 04 17 95 
81 24 36 47 03 60 78 15 92 59 
22 37 48 09 10 71 85 96 54 63 
33 49 05 12 26 88 94 50 61 77 
44 00 19 25 31 97 52 68 73 86 
55 62 74 80 98 13 27 39 46 01 
66 75 82 93 57 29 30 41 08 14 
07 16 90 51 65 34 43 72 89 28 
18 91 53 64 79 45 06 87 20 32 
99 58 67 76 84 02 11 23 35 40 

transversals_set_i 43
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [90m2[0m [32m3[0m [91m4[0m [33m0[0m [31m6[0m [36m7[0m [92m1[0m [37m9[0m [34m5[0m 
[36m2[0m [91m3[0m [31m4[0m [32m0[0m [37m1[0m [34m7[0m [92m8[0m [35m9[0m [90m5[0m [33m6[0m 
[33m3[0m [37m4[0m [92m0[0m [36m1[0m [34m2[0m [91m8[0m [90m9[0m [31m5[0m [32m6[0m [35m7[0m 
[90m4[0m [36m0[0m [35m1[0m [92m2[0m [31m3[0m [32m9[0m [91m5[0m [34m6[0m [33m7[0m [37m8[0m 
[92m5[0m [35m6[0m [90m7[0m [31m8[0m [36m9[0m [33m1[0m [32m2[0m [37m3[0m [34m4[0m [91m0[0m 
[91m6[0m [92m7[0m [34m8[0m [33m9[0m [32m5[0m [37m2[0m [35m3[0m [36m4[0m [31m0[0m [90m1[0m 
[37m0[0m [34m1[0m [91m9[0m [35m5[0m [92m6[0m [90m3[0m [33m4[0m [32m7[0m [36m8[0m [31m2[0m 
[32m1[0m [31m9[0m [37m5[0m [90m6[0m [91m7[0m [92m4[0m [34m0[0m [33m8[0m [35m2[0m [36m3[0m 
[34m9[0m [33m5[0m [36m6[0m [37m7[0m [90m8[0m [35m0[0m [31m1[0m [91m2[0m [92m3[0m [32m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 3 9 1 2 7 4 6 5 
1 4 8 6 3 0 2 5 7 9 
2 6 0 8 7 9 5 1 4 3 
3 7 5 2 9 6 4 0 8 1 
4 2 1 5 0 8 6 9 3 7 
5 1 4 0 2 3 8 7 9 6 
6 5 9 3 8 7 1 2 0 4 
7 9 6 1 5 4 3 8 2 0 
8 0 7 4 6 5 9 3 1 2 
9 3 2 7 4 1 0 6 5 8 
Short form: 0839127465148630257926087951433752964081421508693751402387966593871204796154382080746593129327410658

Concatenated:
70 88 23 39 41 52 67 04 16 95 
81 24 38 46 03 60 72 15 97 59 
22 36 40 08 17 79 85 91 54 63 
33 47 05 12 29 86 94 50 68 71 
44 02 11 25 30 98 56 69 73 87 
55 61 74 80 92 13 28 37 49 06 
66 75 89 93 58 27 31 42 00 14 
07 19 96 51 65 34 43 78 82 20 
18 90 57 64 76 45 09 83 21 32 
99 53 62 77 84 01 10 26 35 48 

transversals_set_i 44
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [90m2[0m [32m3[0m [91m4[0m [33m0[0m [31m6[0m [34m7[0m [92m1[0m [36m9[0m [37m5[0m 
[91m2[0m [37m3[0m [36m4[0m [32m0[0m [34m1[0m [35m7[0m [92m8[0m [31m9[0m [90m5[0m [33m6[0m 
[33m3[0m [34m4[0m [92m0[0m [35m1[0m [31m2[0m [37m8[0m [90m9[0m [91m5[0m [32m6[0m [36m7[0m 
[90m4[0m [31m0[0m [37m1[0m [92m2[0m [36m3[0m [32m9[0m [35m5[0m [34m6[0m [33m7[0m [91m8[0m 
[92m5[0m [91m6[0m [90m7[0m [36m8[0m [37m9[0m [33m1[0m [32m2[0m [35m3[0m [31m4[0m [34m0[0m 
[36m6[0m [92m7[0m [31m8[0m [33m9[0m [32m5[0m [34m2[0m [91m3[0m [37m4[0m [35m0[0m [90m1[0m 
[37m0[0m [36m1[0m [91m9[0m [31m5[0m [92m6[0m [90m3[0m [33m4[0m [32m7[0m [34m8[0m [35m2[0m 
[32m1[0m [35m9[0m [34m5[0m [90m6[0m [91m7[0m [92m4[0m [36m0[0m [33m8[0m [37m2[0m [31m3[0m 
[34m9[0m [33m5[0m [35m6[0m [37m7[0m [90m8[0m [91m0[0m [31m1[0m [36m2[0m [92m3[0m [32m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 8 3 9 1 6 7 4 2 5 
1 4 8 2 3 0 9 5 6 7 
2 7 6 8 9 1 5 0 4 3 
3 9 5 1 0 7 4 2 8 6 
4 0 7 5 6 8 1 9 3 2 
5 2 4 6 7 3 8 1 0 9 
6 5 0 3 8 9 2 7 1 4 
7 6 2 0 5 4 3 8 9 1 
8 1 9 4 2 5 6 3 7 0 
9 3 1 7 4 2 0 6 5 8 
Short form: 0839167425148230956727689150433951074286407568193252467381096503892714762054389181942563709317420658

Concatenated:
70 88 23 39 41 56 67 04 12 95 
81 24 38 42 03 60 79 15 96 57 
22 37 46 08 19 71 85 90 54 63 
33 49 05 11 20 87 94 52 68 76 
44 00 17 25 36 98 51 69 73 82 
55 62 74 86 97 13 28 31 40 09 
66 75 80 93 58 29 32 47 01 14 
07 16 92 50 65 34 43 78 89 21 
18 91 59 64 72 45 06 83 27 30 
99 53 61 77 84 02 10 26 35 48 

transversals_set_i 45
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[35m8[0m [91m2[0m [90m3[0m [37m4[0m [32m0[0m [92m6[0m [36m7[0m [31m1[0m [34m9[0m [33m5[0m 
[32m2[0m [92m3[0m [31m4[0m [36m0[0m [34m1[0m [90m7[0m [33m8[0m [91m9[0m [37m5[0m [35m6[0m 
[37m3[0m [90m4[0m [35m0[0m [33m1[0m [36m2[0m [34m8[0m [31m9[0m [92m5[0m [32m6[0m [91m7[0m 
[91m4[0m [34m0[0m [37m1[0m [92m2[0m [31m3[0m [33m9[0m [32m5[0m [36m6[0m [35m7[0m [90m8[0m 
[90m5[0m [33m6[0m [92m7[0m [91m8[0m [37m9[0m [35m1[0m [34m2[0m [32m3[0m [36m4[0m [31m0[0m 
[34m6[0m [37m7[0m [36m8[0m [90m9[0m [91m5[0m [31m2[0m [35m3[0m [33m4[0m [92m0[0m [32m1[0m 
[33m0[0m [36m1[0m [32m9[0m [35m5[0m [90m6[0m [91m3[0m [92m4[0m [34m7[0m [31m8[0m [37m2[0m 
[92m1[0m [35m9[0m [34m5[0m [31m6[0m [33m7[0m [32m4[0m [91m0[0m [37m8[0m [90m2[0m [36m3[0m 
[36m9[0m [31m5[0m [91m6[0m [32m7[0m [92m8[0m [37m0[0m [90m1[0m [35m2[0m [33m3[0m [34m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 2 7 6 1 9 3 5 4 8 
1 4 5 3 2 8 9 0 6 7 
2 8 0 9 6 5 7 4 3 1 
3 5 1 7 9 6 0 8 2 4 
4 6 3 8 0 7 2 9 1 5 
5 7 8 4 3 1 6 2 9 0 
6 3 9 5 4 0 1 7 8 2 
7 9 2 1 5 4 8 6 0 3 
8 1 6 0 7 2 4 3 5 9 
9 0 4 2 8 3 5 1 7 6 
Short form: 0276193548145328906728096574313517960824463807291557843162906395401782792154860381607243599042835176

Concatenated:
70 82 27 36 41 59 63 05 14 98 
81 24 35 43 02 68 79 10 96 57 
22 38 40 09 16 75 87 94 53 61 
33 45 01 17 29 86 90 58 62 74 
44 06 13 28 30 97 52 69 71 85 
55 67 78 84 93 11 26 32 49 00 
66 73 89 95 54 20 31 47 08 12 
07 19 92 51 65 34 48 76 80 23 
18 91 56 60 77 42 04 83 25 39 
99 50 64 72 88 03 15 21 37 46 

transversals_set_i 46
[31m7[0m [32m8[0m [33m2[0m [34m3[0m [35m4[0m [36m5[0m [37m6[0m [90m0[0m [91m1[0m [92m9[0m 
[91m8[0m [90m2[0m [36m3[0m [32m4[0m [37m0[0m [35m6[0m [34m7[0m [92m1[0m [33m9[0m [31m5[0m 
[35m2[0m [31m3[0m [37m4[0m [91m0[0m [36m1[0m [33m7[0m [92m8[0m [32m9[0m [90m5[0m [34m6[0m 
[32m3[0m [33m4[0m [92m0[0m [31m1[0m [91m2[0m [34m8[0m [90m9[0m [37m5[0m [36m6[0m [35m7[0m 
[90m4[0m [34m0[0m [35m1[0m [92m2[0m [33m3[0m [91m9[0m [32m5[0m [31m6[0m [37m7[0m [36m8[0m 
[92m5[0m [91m6[0m [90m7[0m [37m8[0m [31m9[0m [32m1[0m [36m2[0m [35m3[0m [34m4[0m [33m0[0m 
[33m6[0m [92m7[0m [31m8[0m [35m9[0m [34m5[0m [37m2[0m [91m3[0m [36m4[0m [32m0[0m [90m1[0m 
[36m0[0m [37m1[0m [34m9[0m [33m5[0m [92m6[0m [90m3[0m [31m4[0m [91m7[0m [35m8[0m [32m2[0m 
[34m1[0m [36m9[0m [91m5[0m [90m6[0m [32m7[0m [92m4[0m [35m0[0m [33m8[0m [31m2[0m [37m3[0m 
[37m9[0m [35m5[0m [32m6[0m [36m7[0m [90m8[0m [31m0[0m [33m1[0m [34m2[0m [92m3[0m [91m4[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
First:
7 8 2 3 4 5 6 0 1 9 
8 2 3 4 0 6 7 1 9 5 
2 3 4 0 1 7 8 9 5 6 
3 4 0 1 2 8 9 5 6 7 
4 0 1 2 3 9 5 6 7 8 
5 6 7 8 9 1 2 3 4 0 
6 7 8 9 5 2 3 4 0 1 
0 1 9 5 6 3 4 7 8 2 
1 9 5 6 7 4 0 8 2 3 
9 5 6 7 8 0 1 2 3 4 
Short form: 7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234

Mate:
0 3 6 8 2 7 9 4 1 5 
1 4 7 3 9 2 8 5 6 0 
2 0 9 1 7 6 5 3 4 8 
3 6 5 0 1 8 4 9 7 2 
4 8 2 5 6 1 3 0 9 7 
5 1 4 9 0 3 7 2 8 6 
6 5 0 2 8 9 1 7 3 4 
7 9 8 6 5 4 0 1 2 3 
8 7 1 4 3 5 2 6 0 9 
9 2 3 7 4 0 6 8 5 1 
Short form: 0368279415147392856020917653483650184972482561309751490372866502891734798654012387143526099237406851

Concatenated:
70 83 26 38 42 57 69 04 11 95 
81 24 37 43 09 62 78 15 96 50 
22 30 49 01 17 76 85 93 54 68 
33 46 05 10 21 88 94 59 67 72 
44 08 12 25 36 91 53 60 79 87 
55 61 74 89 90 13 27 32 48 06 
66 75 80 92 58 29 31 47 03 14 
07 19 98 56 65 34 40 71 82 23 
18 97 51 64 73 45 02 86 20 39 
99 52 63 77 84 00 16 28 35 41 

Interrupt by user
['./MOLS.py', '--all-solutions', '--first', '7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234']
KeyboardInterrupt
['/home/i/dotfiles/bin/my_time.py', './MOLS.py', '--all-solutions', '--first', '7823456019823406719523401789563401289567401239567856789123406789523401019563478219567408239567801234']
seconds:  56
or:  56s
