The hardest sudokus (new thread)

Everything about Sudoku that doesn't fit in one of the other sections

Re: The hardest sudokus (new thread)

Postby mith » Wed Mar 16, 2022 6:33 pm

Further analysis of the 11.9 morph:

After the first 11.8 step, there are five 11.8 steps:

-3r2c1 (325 nodes)
+3r1c1 (326 nodes)
-3r1c7 (331 nodes)
these are all equivalent in terms of eliminations - the result is a 3 in r1c1, eliminating 3 from the other two cells.
-2r1c8 (340 nodes) - this is the elimination found in the other puzzle, but now at 340 nodes instead of 320; this could be the result of pruning? I don't really have any other explanation for this
-2r5c7 (343 nodes) - this is equivalent to the pointing elimination in the other puzzle
these are again equivalent; the first leads to pointing eliminating the second, while the second leads to claiming eliminating the first.

After the single, we have the following 11.9 steps:

-7r2c3 (418 nodes)
-9r1c3 (439 nodes) - incidentally, this is the second 11.9 step but goes up to 446 nodes after the first
-9r2c3 (451 nodes)
-2r1c8 (504 nodes)
-2r5c7 (506 nodes)


That's a huge jump, very nearly to 12.0 range. I think any further understanding of this is going to require a close look at the chain itself at each stage, or study of the code.
mith
 
Posts: 996
Joined: 14 July 2020

Re:

Postby mith » Wed Mar 16, 2022 6:40 pm

1to9only wrote:This is probably related to an SE bug first found in 2010: http://forum.enjoysudoku.com/help-with-sudoku-explainer-t6677.html#p201789


Aha, good to know. So a bug after all, and not pruning related. Also interesting that the steps after digit 30 are not the 11.8/11.9 step that is causing the SE difference, but rather the second and third 11.9 steps now rated at 11.8 - which still doesn't explain the -2r1c8 step not being found at a lower node count (but this may be due to the partial nature of the fix?).

I may try re-rating all the 11.8+ expanded forms with the lksudoku fix to see if there are any other changes.

(Incidentally, I've been using your fork of SE for node count analysis, and I noticed that in the case of Loki - or at least the morph used here - there is a DFC+DFC+FC 61 node chain found. I'm assuming you are rating these as if they were DFC+DFC with the same node count, rather than adding additional 0.5 for base rating levels, since it's showing up as an 11.3. :))
mith
 
Posts: 996
Joined: 14 July 2020

Postby 1to9only » Wed Mar 16, 2022 7:03 pm

mith wrote:I may try re-rating all the 11.8+ expanded forms with the lksudoku fix to see if there are any other changes.

AFAIK None of the released SEs have the lksudoku fix, apart from lksudoku fix itself but this is slow and based on the old single-threaded SE code.
User avatar
1to9only
 
Posts: 4177
Joined: 04 April 2018

Re: The hardest sudokus (new thread)

Postby mith » Wed Mar 16, 2022 8:51 pm

rangsk has added a T&E depth tool (as part of https://github.com/dclamage/SudokuClassicMinLex), so I was able to check all expanded forms of 11.6+ puzzles currently in the database. I found a total of 88 expanded puzzles with depth 3; Denis, these *should* match your not-T&E(2) findings, but here's the list for checking:

Code: Select all
........1.....2.......3..45.16.23...27.81.6..3.87.61...32.67..81.7.8....68.......;29
  ........1.....2.......3..45..6.......71.8....32..67..8.6..23....837..1..7.281.6..;11.9;1.2;1.2;26;mith;4944981
  ........1.....2.......3..45..1.23....2671.8..73.6.81...8.......2.3.86..761..7....;11.9;1.2;1.2;27;mith;4786070
........1.....2.......3..45.16.23...27.8.61..3.871.6...32.68..718..7....6.7......;29
  ........1.....2.......3..45..6.......71.8....23..67..8.827..1..6...23...7.381.6..;11.9;1.2;1.2;26;mith;Loki
  ........1.....2.......3..45..1.23....267.81..73.61.8...17.6.....8.......2.3.87..6;11.8;1.2;1.2;27;mith;4691076
........1.....2.34.23...5....6.78.5..5823.....7.6.5....67.....25.2..78..83..267.5;31
  ........1.....2.34.23...5....6.78.5...823.....7.6.5....67.....25.2..78..83...67..;11.8;1.2;1.2;28;mith;3686143
  ........1.....2.34.23...5....6.78.5...823.....7.6.5....67.....25....78..83..267..;11.8;1.2;1.2;28;mith;3686220
  ........1.....2.34.23...5....6.78....5823.....7.6.5....67.....25....78..83..267.5;11.8;1.2;1.2;29;mith;3457466
  ........1.....2.34.23...5....6.78....5823.....7.6.5....67.....25.2..78..83...67.5;11.8;1.2;1.2;29;mith;3457467
........1.....2.34.23...5...5623....2.7.86.5.38.7.5....78......5.2..86..63...78.5;31
  ........1.....2.34....562....1.25....267.18..75.68.1...87......5.2.67..861.......;11.8;1.2;1.2;29;mith;3457347
  ........1.....2.34....562....7.25....5867.1..62.8.17...16......2.5.68..787.......;11.8;1.2;1.2;29;mith;3457348
  ........1.....2.34.23...5....6.78.5...823....37.6.5....67......5.2..78..83...67.5;11.8;1.2;1.2;29;mith;3457349
  ........1.....2.34.23...5....623.....7.8.5...2.8.76.5..87......5.2..76..63...87.5;11.8;1.2;1.2;29;mith;3457350
........1.....2.34.23...5...5623....2.7.86.5.38.7.5....78......5.2..86..63..278.5;32
  ........1.....2.34....562....7.......52.67..816...8....8..25...2.67.18..57.6..1..;11.8;1.2;1.2;28;mith;3682689
  ........1.....234...2.315.6....652...2.1.4..3.4.3..15...4...6...6..53...7.8..6...;11.8;1.2;1.2;28;mith;3686068
........1.....2.34.35.......62......7.3.25..885...67...7853....32..68...5.62.7.8.;30
  ........1.....2.34..2.3156.....5......4...6...78..6.......651..1..2.43..4..3...25;11.8;1.2;1.2;26;mith;4888040
  ........1.....2.34..2.3156.....5......4...6...78..6.......65.4.1..2.43..4..31..25;11.8;1.2;1.2;27;mith;4698373
........1.....2.34.35.......62......7.3.25..885...67...8753....3.62.8...52..67.8.;30
  ........1.....2.34..2.3156.....56.1..1.2.43.6.4.3...2.....6......4....5.7.8..5...;11.8;1.2;1.2;26;mith;4945438
  ........1.....2.34..2.3156.....564...1.2.43.6.4.31..2.....6......4....5.7.8..5...;11.8;1.2;1.2;27;mith;4786699
........1.....2.34235...6...26..78..3.8...7.657........52.78.6.68.23....7.35.6...;31
  ........1.....2.34....562....567.1...628.17..7...258...87......52..6...76.1......;11.8;1.2;1.2;28;mith;3682697
  ........1.....2.34....562....1.257...267.18...5.68.1...87......5.2.6...861.......;11.8;1.2;1.2;28;mith;3685961
  ........1.....2.34235...6......78.6..8.23....7.35.6....26..78..3.8...7.657.......;11.8;1.2;1.2;28;mith;3685962
  ........1.....2.34235...6....2.78.6..8.23....7..5.6....26..78..3.8...7.657.......;11.8;1.2;1.2;28;mith;3685963
........1.....2.34235...6...72......65...78..8.3.257.6.8653....3.72.6...52..78.6.;33
  ........1.....2.34....562....1.257...267.18...5.68.1...87......5.2.68..761...7...;11.8;1.2;1.2;30;mith;2917477
  ........1.....2.34235...6......78.6..8.53....3.72.6....72......65...78..8.3.257.6;11.8;1.2;1.2;30;mith;2917677
........1.....123...1.245.6..3...6...6..52...7.8..6....1..654.3.3.24.15..4.1.3.62;32
  ........1.....2.34....562....56..1...627.18..8...257...7.......52..68..76.1..7...;11.8;1.2;1.2;28;mith;3676758
  ........1.....123...1.245.6..3...6...6..52...7.8..6....1..654...3.2...5..4.1.3..2;11.6;1.2;1.2;28;mith;3680009
........1.....2.34.35...6...72......65...78..8.3.257.6.8653....3.72.6...52..78.6.;32
  ........1.....2.34....562....7.......61..8...25..67..8.7..25....856..1..6.28.17..;11.8;1.2;1.2;28;mith;3675804
  ........1.....2.34..2.3156.....56.1..1.2.43...4.3...26..4....5..5..63...7.8..5...;11.6;1.2;1.2;28;mith;3674942
  ........1.....2.34....562....1.25....267.18..75.68.1...8.......5.2.68..761...7...;11.8;1.2;1.2;29;mith;3444855
  ........1.....2.34..2.3156.....564...1.2.43...4.31..26..4....5..5..63...7.8..5...;11.6;1.2;1.2;29;mith;3444467
........1.....2.34235...6...26..78..3.8.2.7.657........52.78.6.68.23....7.35.6...;32
  ........1.....2.34....562....56..1...627.18..8...257...7.......52..6...86.1..8...;11.8;1.2;1.2;27;mith;4793240
  ........1.....234...2.3.5.6..4...6...6..53...7.8..6....1..652...2.1.4..3.4.3...5.;11.6;1.2;1.2;27;mith;4795169
..............1..2....34.56.14.78...73.94....8.91.37...98......17.......4.3.19.8.;28
  ..............1..2....34.56.14.78...73.94....8.9..37...98......17.......4.3.19.8.;11.7;1.2;1.2;27;mith;4815046
.............12.34.13..42.5....6.54.....789.3...5......291...5.1.5.....934.9...21;29
  .............12.34.13..42.5....6..4.....789.3...5.......5.....9.291...5.34.9...21;11.7;1.2;1.2;27;mith;4646581
  .............12.34.13..42.5....6.54.....789.3...5.......5.....9.291.....34.9...21;11.7;1.2;1.2;27;mith;4646706
.............12.34.13..45.2....6..45....789.3...5......291...5.1.5.....934.9...21;29
  .............12.34.13..45.2....6..4.....789.3...5.......5.....9.291...5.34.9...21;11.7;1.2;1.2;27;mith;4647973
  .............12.34.13..45.2....6..45....789.3...5.......5.....9.291.....34.9...21;11.7;1.2;1.2;27;mith;4647976
........1.......23.....45.6...45.....478.96..95..678...69.48...4..97...878...5...;29
  ........1.......23.....45.6...45.....478.96..95..678...69.48...4..97....78...5...;11.7;1.5;1.5;28;monh;3543047forum-20220223
  ........1.......23.....45.6...45.....478.96..95..678...69.4....4..97...878...5...;11.7;1.2;1.2;28;monh;3543097forum-20220223
........1.......23....456.7...6.4....45.897..86.75.9...7849....4..5.8..959..6....;30
  ........1.......23....456.7...6.4....45.897..86.75.9...7849....4....8...59..6....;11.7;1.2;1.2;28;monh;3543127forum-20220223
  ........1.......23....456.7...6.4....45.897..86.75.9...784.....4....8..959..6....;11.7;1.2;1.2;28;monh;3543148forum-20220223
........1.......23...2456.....7.4.....4.827.6..756.8...46.27...25.6.8...7.845..6.;31
  ........1.......23...2456.....7.4.....4.827.6..756.8...46.27...25...8...7.8....6.;11.7;1.2;1.2;28;mith;3690674
  ........1.......23...2456.....7.4.....4.827.6..756.8...46..7...25...8...7.8.5..6.;11.7;1.2;1.2;28;mith;3690809
  ........1.......23...2456.....7.4.....4.827.6..756.8...46..7...25.6.8...7.8.5....;11.7;1.2;1.2;28;mith;3690810
  ........1.......23...2456.....7.4.....4.827.6..756.8...46.27...25.6.8...7.8......;11.7;1.2;1.2;28;mith;3690811
........1.......23...2456.....7.4.....5.827.6.7.56.8...8745..6.46..27...5.26.8...;31
  ........1.......23...2456.....7.4.....5.827.6.7..6.8...87.5..6.46...7...5.2..8...;11.7;1.2;1.2;27;mith;4801719
  ........1.......23...2456.....7.4.....5.827.6.7..6.8...87.5....46...7...5.26.8...;11.7;1.2;1.2;27;mith;4801754
  ........1.......23...2456.....7.4.....5.827.6.7.56.8...87....6.46..27...5.2..8...;11.7;1.2;1.2;28;mith;3690673
  ........1.......23...2456.....7.4.....5.827.6.7.56.8...87......46..27...5.26.8...;11.7;1.2;1.2;28;mith;3690786
........1.....2.......3..45.16.....72.3.76..878........276.81..63.71.8..8.1.23...;29
  ........1.....2.......3..45..1.23....267.81..73.61.8...17.....6.8.......2.3.67..8;11.7;1.2;1.2;27;999/mith;4723520
  ........1.....2.......3..45..6.......71.....823..87..6.827.61..6...23...7.381.6..;11.7;1.2;1.2;27;999/mith;4723521
  ........1.....2.......3..45..1.23....267.81..73.61.8...17.....62.3..7..868.......;11.7;1.2;1.2;27;999/mith;4723523
  ........1.....2.......3..45..6.23....3781.6..82.7.61...68......3.2..7..671......8;11.7;1.2;1.2;27;999/mith;4723524
........1.....2.......3..45.16.23...27.8.61..3.871.6...32.78..618..6...76.7......;30
  ........1.....2.......3..45..6.......71.6...823..87..6.827..1..6...23...7.381.6..;11.7;1.2;1.2;27;999/mith;4723522
  ........1.....2.......3..45..6.23....3781.6..82.7..1...68......3.2..7..671..6...8;11.7;1.2;1.2;27;999/mith;4723525
........1.....2.......3..45.16.23...27.81.6..3.87.61...32.67..81.7.8...668.......;30
  ........1.....2.......3..45..6.......23.78..618..6...7.7..23...2.861.7..36.8..1..;11.7;1.2;1.2;27;mith;4786946
........1.....2.3.....4.56......7.....481.2..19..248...89..1..742..78..97.1.9....;28
  ........1.....2.3.....4.56......7.....481.2..19..248...89..1..742..78..97.1.9....;11.7;8.5;2.6;28;mith;3491728
........1.....2.3.....4.56......7....18.2497.4.791.2...42.79..817..8....8.9..1..7;30
  ........1.....2.3.....4.56......7.....8.249...4791.2...1..8.....89..1..74.2.79..8;11.7;1.2;1.2;27;mith;4646474
  ........1.....2.3.....4.56......7.....481.2...9..2487..89..1..742..78..97.1.9....;11.7;1.2;1.2;28;mith;3491726
........1.....2.3.....4.56....7......18.2497.4.791.2...42.79..817..8....8.9..1..7;30
  ........1.....2.3.....4.56....7.......8.249...4791.2...1..8.....89..1..74.2.79..8;11.7;1.2;1.2;27;mith;4646354
  ........1.....2.3.....4.56....7.......8.249...4791.2...89..1..74.2..9..871..8....;11.7;1.2;1.2;27;mith;4646355
  ........1.....2.3.....4.56....7.......481.2...9..2487..89..1..742...8..97.1.9....;11.7;1.2;1.2;27;mith;4646357
........1.....2.3.....4.56....7.8.....491.2..17..249...97..1..842..89...8.1.7....;28
  ........1.....2.3.....4.56....7.8.....491.2..17..249...97..1..842..89...8.1.7....;11.7;11;2.6;28;mith;3491998
........1.....2.3.....4.56....7.8.....491.2..18..249...98..1..742..79...7.1.8....;28
  ........1.....2.3.....4.56....7.8.....491.2..18..249...98..1..742...9...7.1.8....;11.7;1.2;1.2;27;mith;4647003
........1.....2.3.....4567....5......18.2495.4.591.2...42.59..815..8....8.9..1..5;31
  ........1.....2.3.....4567....5.......8.249...4591.2...1..8.....89.....54.2..9..8;11.7;1.2;1.2;26;mith;4855223
  ...........1..2.34.5..631.2....7.2......896.1...4......356.....12.5..3.66.4.....5;11.7;1.2;1.2;27;mith;4646358
  ...........1.23.45.24.6.3.1.....5..62...46...6..31.4.2.7....1...89...2.35........;11.7;1.2;1.2;27;mith;4646359
  ........1.....2.3.....4567....5.......481.2...9..2485..89.....542...8..95.1.9....;11.7;1.2;1.2;27;mith;4646360
........1.....2.3.....4567....5.8.....491.2..15..249...95..1..842..89...8.1.5....;29
  ........1.....2.3.....4567......8.....491.2..15..249...95.....842..89...8.1.5....;11.7;1.2;1.2;27;mith;4646736
  ........1.....2.3.....4567....5.8.....491.2..15..249...95.....842..89...8.1......;11.7;1.2;1.2;27;mith;4646976
........1.....2.3.....4567....5.8.....491.2..18..249...98..1..542..59...5.1.8....;29
  ........1.....2.3.....4567....5.8.....491.2..18..249...98.....542...9...5.1.8....;11.7;1.2;1.2;27;mith;4648152
........1.....2.3..45.3..26.....734......861..6.52.....24...16.13.2...545.6...2.3;30
  ........1.....2..3....3.45...1.2367..267.8....3....2...17......3.2..6..868...1...;11.7;1.2;1.2;26;mith;4844194
  ........1.....2.3..45.3..26.....7.1......834..6.52.....24......13.2...545.6.....3;11.7;1.2;1.2;26;mith;4844223
........1.....2.3..45.3..26.....734......861.46.52.....24...16.13.2...545.6...2.3;31
  ........1.....2..3....3.45...1.2367..267.8....3....2...17.....6.8...1...3.2..6..8;11.7;1.2;1.2;26;mith;4844282
  ........1.....2..3....3.45...1.23.6..276.8....3....28..16.....7.8...1...3.2..7..8;11.7;1.2;1.2;26;mith;4844333
  ........1.....2..3....3.45...3....2..627.8...81..237....8..1....71.....632...6..8;11.7;1.2;1.2;26;mith;4844335
  ........1.....2.3..45.3..26.....73.......861.46.52.....2.......13.2...545.6.....3;11.7;1.2;1.2;26;mith;4844336
  ........1.....2.3..45.3..26.....7.1......834.46.52.....2.......13.2...545.6.....3;11.7;1.2;1.2;26;mith;4844338
  ........1.....2.3..45.3..26.....7.1......83..46.52.....2.....6.13.2...545.6.....3;11.7;1.2;1.2;26;mith;4844339
........1.....2.34..2...5.6...23.....278.9.4.93..47.8..49.28...2..97...878...3...;30
  ........1......234....256....7.8...9.52..6...98...7....65.789..7..95....8.96.2...;11.7;1.2;1.2;28;monh;3543073forum-20220223
  ........1......234....256....7..8....25.96....8..7...9.56.879..79.6.2...8..95....;11.7;1.2;1.2;28;monh;3543081forum-20220223
  ........1.....2.34..2...5.6...23......78.9.4.39..47.8..2.97...84.9.2....87...3...;11.7;1.2;1.2;28;monh;3543100forum-20220223
  ........1.....2.34..2...5.6...23.....278.9.4.93..47.8....97...8.49.2....78...3...;11.7;1.2;1.2;28;monh;3543101forum-20220223
........1.....2.34..2...56...578.....276.9...98..2.....6829.7..25.......7.95.86..;29
  ........1.....2.34..2...56...578.....276.9...98..2.....68.9.7..25.......7.95.86..;11.7;1.2;1.2;28;mith;3566921
........1.....2.34..2...56...578.....276.9...98..2.....6859.7..25.......7.92.86..;29
  ........1.....2.34..2...56...578.....276.9...98........6859.7..25.......7.92.86..;11.7;1.2;1.2;28;monh;3543181forum-20220223
  ........1.....2.34..2...56...578.....276.9...98..2.....6859.7..25.......7.9..86..;11.7;1.2;1.2;28;monh;3543212forum-20220223
........1.....2.34.25...6.7.6.58....28..79...5.92....8.98.257..6.2......75.96.8..;31
  ........1......234....256....7..8....25.96....8..7...9.56.879...9.6.2...8..95.7..;11.7;1.2;1.2;28;monh;3543080forum-20220223
  ........1......234....256....7.8...9.52..6...98...7.....96.2....65.789..7..95.8..;11.7;1.2;1.2;28;monh;3543086forum-20220223
  ........1.....2.34.25...6.7..8.....9.6.59....2...78....89.257..6.2......75.86.9..;11.7;1.2;1.2;28;monh;3543123forum-20220223
  ........1.....2.34.25...6.7..8.2...9.6.95....2..7.8....89..57..6.2......75.68.9..;11.7;1.2;1.2;28;monh;3543185forum-20220223
........1.....2.34235...6....7.26....2.7.8.6..8635.....72.....565...78..8.32.57.6;32
  ........1.....2.34235...6......78.6...72.6....8.53.....72.....56....78..8.3.257..;11.7;1.2;1.2;28;mith;3676756
  ........1.....2.34235...6......78.6...72.6....8.53.....72.....565...78..8.3.2.7..;11.7;1.2;1.2;28;mith;3676792
  ........1.....2.34235...6......78.....72.6....8653.....72.....56....78..8.3.257.6;11.7;1.2;1.2;29;mith;3446659
  ........1.....2.34235...6......78.....72.6....8653.....72.....565...78..8.3.2.7.6;11.7;1.2;1.2;29;mith;3446661
........1.....2345.23...67...8.9...7.6723.....9.8.7....8962.7..63..78...7.2..9...;31
  ........1......234....2567...8.9...7.52..6...79...8....65.89...8..75....9.76.2...;11.7;1.2;1.2;28;monh;3543082forum-20220223
  ........1......234....2567...8..9....25.76....9..8...7.56.98...87.6.2...9..75....;11.7;1.2;1.2;28;monh;3543088forum-20220223
  ........1.....2345.23...67...8.9...7.6.23.....9.8.7....896.....63..78...7.2..9...;11.7;1.2;1.2;28;monh;3543166forum-20220223
  ........1.....2345.23...67...8.9...7.6723.....9.8......896.....63..78...7.2..9...;11.7;1.2;1.2;28;monh;3543182forum-20220223
........1.....2345.23...67...8.9...7.6723.....9.8.7....8962.7..63..78...7.2..98..;32
  ........1......234....2567...76.2....65.89...8..75.9....8.9...7.52.76....9...8...;11.7;1.2;1.2;28;monh;3543074forum-20220223
  ........1......234....2567...76.2....65.89...8..75.9....8.9...7.52..6...79...8...;11.7;1.2;1.2;28;monh;3543087forum-20220223
  ........1.....2345.23...67...8.9...7.6.23.....9.8.7....896.....63..7....7.2..98..;11.7;1.2;1.2;28;monh;3543141forum-20220223
  ........1.....2345.23...67...8.9...7.6723.....9.8......896.....63..7....7.2..98..;11.7;1.2;1.2;28;monh;3543145forum-20220223
........1....12.3....45.67.....2589....9......5918.2...48..1..95.2.98..491..4....;30
  ........1....12.3....45.67.....2589....9.......518.2...84.....952...8..49.1.4....;11.7;1.2;1.2;27;mith;4647947
  ........1.....2.3....45.67.....2589....9.......518.2...84..1..952...8..49.1.4....;11.7;1.2;1.2;27;mith;4647949
  ........1.....2.3....45.67.....258.....9......5918.2...48..1..95.2..8..491..4....;11.7;1.2;1.2;27;mith;4647971
  ........1.....2.3....45.67.....258.....9......5918.2...1..4.....48..1..95.2.98..4;11.7;1.2;1.2;27;mith;4647972
  ........1.....234..13..4.25....5.......6..45....7.8.39.29.1....1.5....9.34..9.2..;11.7;1.2;1.2;27;mith;4647974
  ........1.....123......4.56..2....43.7..56...89........3.4.2...21..653.46...1...5;11.7;1.2;1.2;27;mith;4647975
........1....12.3....45.67.....8.......2.498..4819.2...59..1..84.28.9..581.5.....;30
  ........1.....2.3....45.67.....258.....9......5981.2...1..4.....48..1..95.2.98..4;11.7;1.2;1.2;27;mith;4646477
  ........1.....123......4.56..1.623.4.234.5....6..1...5..7.56....89......2......43;11.7;1.2;1.2;27;mith;4646645
  ........1.....2.3....45.67.....258.....9......5981.2...48..1..95.2..8..491..4....;11.7;1.2;1.2;27;mith;4646650
  ........1.....2.3....45.67.....2589....9.......581.2...84..1..952...8..49.1.4....;11.7;1.2;1.2;27;mith;4646707
  ........1.....234..13..4.52....5.......6..4.5...7.8.39.29.1....1.5....9.34..9.2..;11.7;1.2;1.2;27;mith;4646708
  ........1....12.3....45.67.....8.......2.498...419.2...815.....24...9..59.5.....8;11.7;1.2;1.2;27;mith;4646709
........1....12.3....45678.....2596....6......5619.2...49..1..65.2.69..461..4....;31
  ........1.....2.3....456.7.....258.....6......5618.2...1..4.....48.....65.2..8..4;11.7;1.2;1.2;25;mith;4017413
  .............12.34..3..45.2....6..4.....7.813...5......15.....82.81.....43.8...21;11.7;1.2;1.2;26;mith;4855448
  .............12.34.13..45.2....6..4.....7.813...5.......5.....8.281.....34.8...21;11.7;1.2;1.2;26;mith;4855449
  ........1.....2.3....456.7.....2586....6.......518.2...61.4....25...8..48.4.....6;11.7;1.2;1.2;26;mith;4855450
........1....12.3....45678.....6.......2.496..4619.2...59..1..64.26.9..561.5.....;31
  ........1.....2.3....456.7.....258.....6......5681.2...1..4.....48.....65.2..8..4;11.7;1.2;1.2;25;mith;4017334
  .............12.34..3..42.5....6..4.....7.813...5......15.....82.81.....43.8...21;11.7;1.2;1.2;26;mith;4855260
  .............12.34.13..42.5....6..4.....7.813...5.......5.....8.281.....34.8...21;11.7;1.2;1.2;26;mith;4855264
  ........1.....2.3....456.7.....2586....6.......581.2...61.4....25...8..48.4.....6;11.7;1.2;1.2;26;mith;4855266
........1....23....24....35....46.....67.28...4283...7.682.4.7.23..87...4.736....;31
  ........1....23....24....35....46.....67..8...4283...7.3..8.....682.4.7.4.7.6....;11.7;1.2;1.2;27;mith;4790504
........1....23....24....35....46....4273...8.6.8.27...863.4...2.3.87...47.26..8.;31
  ........1....23....24....35....46....4273...8.6.8..7...7.26..8..86..4...2.3..7...;11.7;1.2;1.2;27;999/mith;4723528
  ........1....23....24....35....46.....273...8.6.8..7...86..4...2.3..7...47.26..8.;11.7;1.2;1.2;27;999/mith;4723531
........1..2..1.3..3..45.26....5216....46.2.32....3.45..7...35...8...61.42.5.....;30
  ...........1..2..3.2..41.56....65..2...12.54....3....1..72.......84.3...51....6..;11.7;1.2;1.2;25;mith;4012210
  ...........1..2..3.2..41.56....2.54....3....11...65..2..72.......84.3...51....6..;11.7;1.2;1.2;25;mith;4012211
........1..2..1.3..3..45.26....5216....46.2.32....3.45..7...35...8...61.42.5.6...;31
  ...........1..2..3.2..41.56....65..2...12.54....3....1..7..3.....82.6...51....6.4;11.7;1.2;1.2;26;mith;4847218
  ...........1..2..3.2..41.56....65..2...12.54....3.4..1..7..3.....82.....51....6.4;11.7;1.2;1.2;26;mith;4847223
  ...........1..2..3.2..41.56....2.54....3....11...65..2..7..3.....82.6...51....6.4;11.7;1.2;1.2;26;mith;4847224
  ...........1..2..3.2..41.56....2.54....3.4..11...65..2..7..3.....82.....51....6.4;11.7;1.2;1.2;26;mith;4847225
........1..2..3.4..4.56..23....362.4...25.13.2..4.1.65..7...31...8...45.62.3.....;31
  ........1.....2..3....3.45...3...26..728.....61..2378..81.6....32...7..67.6..1...;11.7;1.2;1.2;28;mith;3473087
  ........1..2..3.4..4.56..2.....36..4...25..3.2..4.1.65..7...31...8...45.62.3.....;11.7;1.2;1.2;28;mith;3473088
........1..2..3.4..4.56..23....362.4...25.13.2..4.1.65..7...31...8...45.62.3.5...;32
  ........1.....2..3....3.45...3...26..728.....61..23.8...6..1....81.6...732...7..6;11.7;1.2;1.2;27;mith;4631832
  ........1..2..3.4..4.56..2.....2..3....3.5..42...41.56..7...31...8...4..52..36...;11.7;1.2;1.2;27;mith;4631853
........1..2.13.4..4.56..23...3.52.4...62.13.2...4..56..7...31...8...46.52...6...;31
  ........1.....2..3....3.45...1.6...7..6..1...23..87....83...26.16..23.8.7.28.....;11.7;1.2;1.2;27;mith;4634395
  ........1..2.13.4..4.56..2.....2.13....3.5..42...4..56..7...31...8...4..52...6...;11.7;1.2;1.2;27;mith;4634432
.......12......3.4....1567...8.9...6.51.67...69...8....75.89.6.8..65....9.67.1...;30
  .......12......3.4.....256...478.....273.9...98........3849...724.......7.92.8..3;11.7;1.2;1.2;28;mith;3563818
  .......12......3.4.....256...478.....273.9...98..2.....3849...724.......7.9..8..3;11.7;1.2;1.2;28;mith;3564865
.......12......3.4....1567...8.9...6.51.76...69...8....75.89.6.8..65....9.67.1...;30
  .......12......3.4.....256...478.....273.9...98..2.....38.9...724.......7.94.8..3;11.7;1.2;1.2;28;mith;3569099
........1....23....24....35....46....4.73...8.6.8.27...863.4...2.3.87...47.26..8.;30
  ........1....23....24....35....46......73...8.6.8.27...863.4...2.3..7...47..6..8.;11.7;1.2;1.2;27;999/mith;4723529
  ........1....23....24....35....46......73...8.6.8.27...86..4...2.3..7...47.26..8.;11.7;1.2;1.2;27;999/mith;4723530
  ........1.....2.34.23..156......46....5.......6..78....56....4.24.1..3..3.14...25;11.6;1.2;1.2;27;999/mith;4723526
  ........1.....2.34.23..156......46....5.......6..78....56...1..24.1..3..3.14...25;11.6;1.2;1.2;27;999/mith;4723527
..............1..2....34.56.17......34..18.9.9.8.......9314.7..47.8.3...8.1.79...;28
  ..............1..2....34.56..47.3....17.89...93..4.8...79......18.......4.3.17.9.;11.6;1.2;1.2;26;mith;4953279
...........1.23.45..214.3.6......45..5...46.1.6..51.32.4.......7....2...8.9.36...;28
  ...........1.23.45..214.3.6......4...5....6.1.6..51.32.4.......7....2...8.9.36...;11.6;1.2;1.2;26;mith;4857935
...........1.23.45.2456.13.....45.21...3.2.6.2..61...3.7......4.89....563........;29
  ...........1.23.45.421..36.....41.23....6.5..4....561..7...2....89.36...5........;11.6;1.2;1.2;27;mith;4658680
  ...........1.23.45.2456.13.....45.21...3...6.2..61.....7......4.89....563........;11.6;1.2;1.2;27;mith;4658681
........1.......23...2456.....7.4..5..5.827.6.7.56.8...874...6.46...7...5.26.8...;30
  ........1.......23...2456.....7.4..5..5.827...7..6.8...87....6.46...7...5.2..8...;11.6;1.2;1.2;26;mith;4949924
  ........1.......23...2456.....7.4..5..5.827.6.7..6.8...87......46...7...5.26.8...;11.6;1.2;1.2;27;mith;4797759
........1.......23...2456.....7.4..5..756.8...54.827.6.784...6.4.6..7...52.6.8...;31
  ........1.......23...2456.....7.4..5..4.827....756.8...46..7...25...8...7.8....6.;11.6;1.2;1.2;27;mith;4801730
  ........1.......23...2456.....7.4..5..4.827.6..756.8...46..7...25.6.8...7.8......;11.6;1.2;1.2;28;mith;3690787
........1.....2.....3...245....36.....67.8.9..3892..67.698.3...3.726....82..79...;30
  ........1.....2.....3...245....36.....67.8.9..3892..67..7.6.....698.3...82..79...;11.6;1.2;1.2;28;mith;3675498
........1.....2.....3...245....36.....67.8.9..3892..67.698.37..3.726....82..79...;31
  ........1.....2.....3...245....36.....67.8.9..3892..67..7.6.....698.37..82...9...;11.6;1.2;1.2;28;mith;3674875
........1.....2.3.....45..6.15..7...2.4.58..778........2758.1..1.8.24...54.7.18..;30
  ........1.....2.3.....45..6..7.......51..8...24..57..8.7..24....825..1..5.48.17..;11.6;1.2;1.2;27;mith;4786925
  ........1.....2.3.....45..6..1.24....457.18..72.58.1...8.......4.2.58..751...7...;11.6;1.2;1.2;28;mith;3673122
........1.....2.3.....45..6.15..7...2.4.58..778........4758.1..1.8.24...52.7.18..;30
  ........1.....2.3.....45..6..7.......51..8...24..57..8.7..24....845..1..5.28.17..;11.6;1.2;1.2;27;mith;4787717
  ........1.....2.3.....45..6..1.24....257.18..74.58.1...8.......4.2.58..751...7...;11.6;1.2;1.2;28;mith;3674525
........1.....2.3.....4567......8....18.249..4.591.28..42.89...18..5....5.9..1..8;30
  ........1.....2.3.....4567......8....18.249..4.591.2...42.89...1...5....5.9.....8;11.6;1.2;1.2;27;mith;4651223
  ........1.....2.3.....4567......8....18.249..4.59..2...42.89...1...5....5.9..1..8;11.6;1.2;1.2;27;mith;4658682
........1.....2.34....56....16......2.5.67..878........2768.1..1.8.257..65.7.18..;30
  ........1.....2.34....56.....1.257...2.68.1...567.18...87......5.2.67..861.......;11.6;1.2;1.2;28;mith;3690812
  ........1.....2.34....56.....267.1...658.17..7...258...87......52..68..76.1......;11.6;1.2;1.2;28;mith;3690813
........1.....2.34....56....16..7...2.5.68..787........2867.1..1.7.258..65.8.17..;31
  ........1.....2.34....56.....26..1...657.18..8...257...7.......52..67..86.1..8...;11.6;1.2;1.2;27;mith;4801960
........1.....2.34....56....17......2.8......56..27..8.2578.1..17..65...8.62.17..;29
  ........1.....2.34....56....17......2.8......56..27..8.25.8.1..17..65...8.62.17..;11.6;1.2;1.2;28;mith;3639813
  ........1.....2.34....56.....1.65....672.18..25.87.1...72......18.......6.5.28..7;11.6;1.2;1.2;28;mith;3639814
........1.....2.34....56....17......2.8......56..27..8.2678.1..17..65...8.52.17..;29
  ........1.....2.34....56.....1.65....572.18..26.87.1...72......18.......6.5.28..7;11.6;1.2;1.2;28;mith;3645441
  ........1.....2.34....56....17......2.8......56..27..8.26.8.1..17..65...8.52.17..;11.6;1.2;1.2;28;mith;3645442
........1.....2.34....56....17......2.8......65..27..8.2578.1..17..65...8.62.17..;29
  ........1.....2.34....56.....1.65....672.18..25.87.1...72......18.......5.6.28..7;11.6;1.2;1.2;28;mith;3655077
  ........1.....2.34....56....17......2.8......65..27..8.25.8.1..17..65...8.62.17..;11.6;1.2;1.2;28;mith;3655184
........1.....2.34.35........6.27....2.6.8....7835.....62.....57.32.56.885...67..;29
  ........1.....2.34..2.3156.....53.....4.......781.6.......65...1..2.43.64..3...25;11.6;1.2;1.2;27;mith;4698886
  ........1.....2.34..2.3.56.....53.....4.......781.6.......65...1..2.43.64..31..25;11.6;1.2;1.2;27;mith;4699328
........1.....2.34.35........6.27....2.6.8.7..7835.....62......75...68..8.32.56.7;29
  ........1.....2.34..2.3156.....56....1.2.43.6.4.31..2.....63.....4....5.7.8..5...;11.6;1.2;1.2;27;mith;4786814
........1.....2.34.35........6.27.8..2.6.8....7835.....62......7.32.56.885...67..;29
  ........1.....2.34..2.3156.....53.....4...6...78..6.......65...1..2.43..4..31..25;11.6;1.2;1.2;27;mith;4700978
........1.....2.34.35.......56......7.3..58.682...67...7825..6.3.26.7...56..38...;30
  ........1.....2.34.35........6......7.3..58..82...67...7825..6.3.26.7...5...38...;11.6;1.2;1.2;27;mith;4759312
  ........1.....2.34.35..........36....7625..8.3.28.7....58......62...87..7.3..56..;11.6;1.2;1.2;27;mith;4759879
........1.....2.34.35.......56......7.3..58.682...67...7825..6.3.26.8...56..37...;30
  ........1.....2.34.35..........36....6725..8.3.28.7....58......6.3..57..72...86..;11.6;1.2;1.2;27;mith;4773893
  ........1.....2.34.35........6......7.3..58..82...67...7825..6.3.26.8...5...37...;11.6;1.2;1.2;27;mith;4773954
........1.....2.34.35.......56......7.3..58.682...67...8725..6.3.26.7...56..38...;30
  ........1.....2.34.35..........36....6725..8.3.28.7....58......62...87..7.3..56..;11.6;1.2;1.2;27;mith;4766261
  ........1.....2.34.35........6......7.3..58..82...67...8725..6.3.26.7...5...38...;11.6;1.2;1.2;27;mith;4766307
........1.....2.34.35...6....7.26....2.7.8.6..8635.....72.....565...78..8.32.57.6;31
  ........1.....2.34..2.3156.....56....1.2.43...4.3...26..4....5..5..63...7.81.....;11.6;1.2;1.2;27;mith;4788598
  ........1.....2.34..2.3.56.....56....1.2.43...4.31..26..4....5..5..63...7.81.....;11.6;1.2;1.2;27;mith;4789133
  ........1.....2.34..2.3156.....56....1.2.43.5.4.3...26..4.......5..63...7.81.5...;11.6;1.2;1.2;28;mith;3675803
  ........1.....2.34..2.3.56.....56....1.2.43.5.4.31..26..4.......5..63...7.81.5...;11.6;1.2;1.2;28;mith;3675806
........1.....2.34.35...6...26..78..3.8..57.657........52.78.6.7.35.6...86.23....;31
  ........1.....2.34.35...6....2.78.6.7..5.6...8..23.....26..78..3.8..57.657.......;11.6;1.2;1.2;28;mith;3691027
  ........1.....2.34....562....267.1...658.1...7...258...87......52..68..76.1......;11.6;1.2;1.2;28;mith;3691071
........1.....2.34.35...6...67.5....3.8.26...52.8.7.6..82......65..387..7.32.5..6;31
  ........1.....2.34.35...6....7.5.....2.8.7.6.3.8..6....82......65..387..7..2.5..6;11.6;1.2;1.2;27;mith;4788269
  ........1.....2.34.35...6....7.5....3.8..6...52.8.7.6..82......6...387..7..2.5..6;11.6;1.2;1.2;27;mith;4788272
........1.....2.34235.......26..78..3.8..57.657........52.78.6.7.35.6...86.23....;31
  ........1.....2.34235..........67.8.6.35.8...7..23.....28..67..3.7..56.856.......;11.6;1.2;1.2;28;mith;3690798
  ........1.....2.34235........2.67.8.6..5.8...7..23.....28..67..3.7..56.856.......;11.6;1.2;1.2;28;mith;3690814
........1.....2.34235.......26..78..3.8.257.657........52.78.6.7.35.6...86.23....;32
  ........1.....234...2.315.6....53.....4...6...78..6...1...652..2..1.4.534..3.....;11.6;1.2;1.2;27;mith;4801995
........1.....2.34235...6...26..78..3.8.2.7.657......2.5..78.6.68.23....7..5.6...;31
  ........1.....2.34235...6......78.6..8.23....7..5.6....26..78..3.8...7..57......2;11.6;1.2;1.2;27;mith;4790157
  ........1.....2.34235...6......78.6..8.23....7..5.6.....6..78..3.8.2.7..57......2;11.6;1.2;1.2;27;mith;4793178
  ........1.....2.34235...6......78...68.23....7..5.6....26..78..3.8...7.657......2;11.6;1.2;1.2;28;mith;3676775
  ........1.....2.34235...6......78...68.23....7..5.6.....6..78..3.8.2.7.657......2;11.6;1.2;1.2;28;mith;3680010
........1.....234...5..36.2....7..36....894....46......125...6.4.31..52.56....1..;28
  ........1......23...1..4.56..2....43.7..56...89........1..623.42..3.5...6...1...5;11.6;1.2;1.2;26;mith;4856006
........1.....234...5.136.2....7..36....894....46......125...6.4.3...52.56....1..;28
  ........1......23...1..4.56..2....4..7..56...89...3....1..623.42..3.5...6...1...5;11.6;1.2;1.2;26;mith;4856086
........1.....234..35.......62......7.3.25.6885...6.7..7853....3.62.8...52..678..;31
  ........1.....2.34..2.3156.....56.1..1.2.43...4.3...26..4....5...7.63...8....5...;11.6;1.2;1.2;27;mith;4787710
  ........1.....2.34..2.3156.....564...1.2.43...4.31..26..4....5...7.63...8....5...;11.6;1.2;1.2;28;mith;3674524
........1.....234..35.......62......7.3.25.6885...6.7..8753....3.62.8...52..678..;31
  ........1.....2.34..2.3156.....56.1..1.2.43.6.4.3...2...4....5...7.63...8....5...;11.6;1.2;1.2;27;mith;4787188
  ........1.....2.34..2.3156.....564...1.2.43.6.4.31..2...4....5...7.63...8....5...;11.6;1.2;1.2;28;mith;3674527
........1.....234..35..4.62....78.3....39.4.6..36......125..6..3.41..25.56.....1.;30
  ........1.....123......4.56..1.623.4.2.3.5....6..1...5..7.56....89......21.....43;11.6;1.2;1.2;27;mith;4648436
........1.....234..35.14.62....78.3....39.4.6..36......125..6..3.4...25.56.....1.;30
  ........1......23......4.56..1.623.4.2.3.5....6..1...5..7.56....89..3...21.....4.;11.6;1.2;1.2;26;mith;4856007
.......12.....134...4..35.6....24.53...31.26.23.5.6.....1...6..7.61.5...89.6.....;30
  ........1.....2.34....4.56.....2478...41......728.9....81......24...7..97.9..1...;11.6;1.2;1.2;26;mith;4843920
  ........1.....2.34....4.56.....2478...28.9.....417.....79..1...42...7..98.1......;11.6;1.2;1.2;26;mith;4844179
  ........1.....234.....51.62....2578...21......7589.....81......52..7...97.9......;11.6;1.2;1.2;26;mith;4844180
  ........1.....234.....51.62....2578...21.7.....589.....79......25..7...98.1......;11.6;1.2;1.2;26;mith;4844181
  ........1....23.45.25...36.....51......2.4.1.4..36..2..78...6..1..6.....6.9....3.;11.6;1.2;1.2;26;mith;4844182
  .......12.....134...4...5.6....16.5..2.78.....3.9......15.4.63.34.1.....6.2......;11.6;1.2;1.2;26;mith;4844183
  ........1....23.45.25...36.....51......2.4...4..36..2..78...6..1..6.....6.9...13.;11.6;1.2;1.2;26;mith;4844184
  .......12......3.4..1..256......4.5..46.75....5.89.....6513....3.2.....641.......;11.6;1.2;1.2;26;mith;4844185
.......12.....134...4..35.6....24.63...31.25.23.6.5.....1.....57.51.6...89.5.....;30
  ........1.....2.34....4.56.....2478...41......728.9....81......42...7..97.9..1...;11.6;1.2;1.2;26;mith;4838755
  ........1....23.45.25...36.....51......2.4.1.4..63..2..78...6..1...6....6.9....3.;11.6;1.2;1.2;26;mith;4838756
  ........1.....234.....51.62....2578...21......7589.....81......25..7...97.9......;11.6;1.2;1.2;26;mith;4838757
  ........1....23.45.25...36.....51......2.4...4..63..2..78...6..1...6....6.9...13.;11.6;1.2;1.2;26;mith;4838758
  ........1.....2.34....4.56.....2478...28.9.....417.....79..1...24...7..98.1......;11.6;1.2;1.2;26;mith;4838759
  .......12.....134...4...5.6....15.6..2.7......3.89.....16.4..2524.1.....5.3......;11.6;1.2;1.2;26;mith;4838760
  ........1.....234.....51.62....2578...21.7.....589.....79......52..7...98.1......;11.6;1.2;1.2;26;mith;4838761
  .......12......3.4..1..256......46...45.76....6.89.....5613....3.2.....541.......;11.6;1.2;1.2;26;mith;4838762


Some of these expanded forms will be related (sub-puzzles where a non-singles digit can be added without going down to T&E(2), or puzzles which are the same except for an unavoidable set flipped - I haven't yet done a full search for the latter type, but I have the code for it and will include this when I generate expanded forms for the whole database).

It will also be feasible with this tool to just check all possible added digits for whether the puzzle still has depth>3, rather than relying only on singles expansion, so I'll add that check in as well.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Thu Mar 17, 2022 12:32 am

Just finished running the 11.4-11.5 batch, there was exactly one more found:

Code: Select all
........1.....2.3.....45..6.15..7...4.2.58..778........4758.1..52.7.18..8.1.24...;30
  ........1.....2.3.....45..6..7.......51..8...42..57..8.845..1..5.28.17..7...24...;11.5;1.2;1.2;27;mith;4698776
  ........1.....2.3.....45..6..1.24....4758.1..52.7.18...15..7....8.......4.2.58..7;11.5;1.2;1.2;28;mith;3574420


Then I tested adding a digit at a time to the 30c and keeping any resulting grids that remained depth 3; all of the following are also depth 3:

Code: Select all
........1.....234..35.......62......7.3.25.6885...6.7..7853....32..68...5.62.78..;31
........1.....2.3.....45..6.15..7..84.2.58..778........4758.1..52.7.18..8.1.24...;31
........1.....2.3.....45..6.15..7...4.2.58..778........4758.1..52.7.18..8.1.247..;31
........1.....234..35....6..72......65...7.8.8.3.25.76.8653....32..76...5.72.86..;32
........1....23....24...35.....46.....67.2.8..4283..67.673.4...23..78...4.826.7..;32
........1.....234.235.......62......7.3.25.6885...6.7..7853....32..68...5.62.78..;32
........1.....2.3.....45..6.15..7..84.2.58..778........4758.1..52.7.18..8.1.247..;32
........1....23.4..25...36.....57.....74.2.8..5283..74.743.5...23..48...5.827.4..;33
........1.....234.235....6..72......65...7.8.8.3.25.76.8653....32..76...5.72.86..;33
........1....2345.234.......26......7.3.6..8.84..32.67.783.4...36.28.7..4.2.76...;33
........1....2345.234....6..27......6.3.7..8.84..32.76.683.4...37.28.6..4.2.67...;34


There are 8 total minimals (all minimals of the 34c, on which the others converge):

Code: Select all
........1.....2.34..2.3156.....651...1.2.43...4.3...25..4...6....7.53...8....6...  ED=11.3/1.2/1.2 27c
........1.....2.3.....45..6..7.......51..8...42..57..8.845..1..5.28.17..7...24...  ED=11.5/1.2/1.2 27c (see above)
........1.....2.34..2.3156.....65.4..1.2.43...4.31..25..4...6....7.53...8....6...  ED=11.3/1.2/1.2 28c
........1.....2.3.....45..6..1.24....4758.1..52.7.18...15..7....8.......4.2.58..7  ED=11.5/1.2/1.2 28c (see above)
........1.....234.235..........67....8.53....5.62.87...62......7....6.8.8.3.25.67  new 28c
........1.....2.3.....45..6..45..1...527.18...8..247...78......24..58..75.1..7...  new 28c
........1.....234.235........6.278...7.35....3..6.8....62......7.32.5.6885...6.7.  new 29c
........1.....2.3.....45..6..1.247...4.58.1..52.7.18...15..7...4.2.58..778.......  new 29c


Will run this on the 11.6+ expanded forms as well, now that I've got the kinks worked out.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Thu Mar 17, 2022 1:47 am

Ok, here are the results - I've gone from 88 expanded puzzles to 246:

Code: Select all
..............1..2....34.56.14.78...73.94....8.91.37...98......17.......4.3.19.8.;28
........1.....2.3.....4.56......7.....481.2..19..248...89..1..742..78..97.1.9....;28
........1.....2.3.....4.56....7.8.....491.2..17..249...97..1..842..89...8.1.7....;28
........1.....2.3.....4.56....7.8.....491.2..18..249...98..1..742..79...7.1.8....;28
..............1..2....34.56.17......34..18.9.9.8.......9314.7..47.8.3...8.1.79...;28
...........1.23.45..214.3.6......45..5...46.1.6..51.32.4.......7....2...8.9.36...;28
........1.....234...5..36.2....7..36....894....46......125...6.4.31..52.56....1..;28
........1.....234...5.136.2....7..36....894....46......125...6.4.3...52.56....1..;28
........1.....2.......3..45.16.23...27.81.6..3.87.61...32.67..81.7.8....68.......;29
........1.....2.......3..45.16.23...27.8.61..3.871.6...32.68..718..7....6.7......;29
.............12.34.13..42.5....6.54.....789.3...5......291...5.1.5.....934.9...21;29
.............12.34.13..45.2....6..45....789.3...5......291...5.1.5.....934.9...21;29
........1.......23.....45.6...45.....478.96..95..678...69.48...4..97...878...5...;29
........1.....2.......3..45.16.....72.3.76..878........276.81..63.71.8..8.1.23...;29
........1.....2.3.....4567....5.8.....491.2..15..249...95..1..842..89...8.1.5....;29
........1.....2.3.....4567....5.8.....491.2..18..249...98..1..542..59...5.1.8....;29
........1.....2.34..2...56...578.....276.9...98..2.....6829.7..25.......7.95.86..;29
........1.....2.34..2...56...578.....276.9...98..2.....6859.7..25.......7.92.86..;29
...........1.23.45.2456.13.....45.21...3.2.6.2..61...3.7......4.89....563........;29
........1.....2.34....56....17......2.8......56..27..8.2578.1..17..65...8.62.17..;29
........1.....2.34....56....17......2.8......56..27..8.2678.1..17..65...8.52.17..;29
........1.....2.34....56....17......2.8......65..27..8.2578.1..17..65...8.62.17..;29
........1.....2.34.35........6.27....2.6.8....7835.....62.....57.32.56.885...67..;29
........1.....2.34.35........6.27....2.6.8.7..7835.....62......75...68..8.32.56.7;29
........1.....2.34.35........6.27.8..2.6.8....7835.....62......7.32.56.885...67..;29
........1....23.....4..5..........67..6.784.9..7..918..49...8.616.8..79.7.8....14;29
..............1.23....45.67.26....898.39..27.97....3.6.38......29.......6.7.8..32;29
..............1..2....34.56.14.78...73.94....8.91.37...98......17..8....4.3.19.8.;29
........1.....2.3.....4.562.....7.....481.2..19..248...89..1..742..78..97.1.9....;29
........1.....2.3.....4.562...7.8.....491.2..17..249...97..1..842..89...8.1.7....;29
........1.....2.3.....4.562...7.8.....491.2..18..249...98..1..742..79...7.1.8....;29
........1....23.....4..5..........67..6.7849...7..91.8.49...68.16.8..7.97.8....14;29
..............1.23....45.67.23....8987....2.69.68..37..92......3.8......76..9..32;29
..............1..2....34.56.17.8....34..19.8.8.9.......8314.7..47.9.3...9.1.78...;29
...........1.23.45.2456.13....3.2...2..61...36...45.21.7......4.89....563........;29
...........1.23.45..214.3.6....6.45..5...46.1.6..51.32.4.......7....2...8.9.36...;29
...........1.23.45..214.3.6......45..5...46.1.6..51.32.4.......7....2...829.36...;29
........1.....234..35..4.62....7.4.6....89.3...36......125..6..3.41..25.56.....1.;29
........1.....234...5.136.2....7..36....894....46......125...6.4.31..52.56....1..;29
........1.....234...5..36.2....784.....49..36..46......125...6.4.31..52.56....1..;29
........1.....234..35.14.62....7.4.6....89.3...36......125..6..3.4...25.56.....1.;29
........1.....2..3....45.67.18......2.9......54..28.1..52.91...18.2.49..9.485.1..;30
........1..2.13....415.6..........27......8.9.298..41..78...1.22.4.7.98.91.....74;30
........1.....2.3.....4.56......7....18.2497.4.791.2...42.79..817..8....8.9..1..7;30
........1.....2..3....45.67.1425.8..58.9.41..9.2.81....28......1.9......45..29.1.;30
........1..2.13....415.6..........27......8.9.298..41..78...9.221..7..849.4...17.;30
........1.....2.3.....4567......8....18.249..4.591.28..42.89..518.......5.9..1..8;30
........1.....234..35.14.62....78.3....39.4.6..36......125..6..3.4...25.56.....1.;30
........1.....2.34.35.......62......7.3.25..885...67...7853....32..68...5.62.7.8.;30
........1.....2.34.35.......62......7.3.25..885...67...8753....3.62.8...52..67.8.;30
........1.......23....456.7...6.4....45.897..86.75.9...7849....4..5.8..959..6....;30
........1.....2.......3..45.16.23...27.8.61..3.871.6...32.78..618..6...76.7......;30
........1.....2.......3..45.16.23...27.81.6..3.87.61...32.67..81.7.8...668.......;30
........1.....2.3.....4.56....7......18.2497.4.791.2...42.79..817..8....8.9..1..7;30
........1.....2.3..45.3..26.....734......861..6.52.....24...16.13.2...545.6...2.3;30
........1.....2.34..2...5.6...23.....278.9.4.93..47.8..49.28...2..97...878...3...;30
........1....12.3....45.67.....2589....9......5918.2...48..1..95.2.98..491..4....;30
........1....12.3....45.67.....8.......2.498..4819.2...59..1..84.28.9..581.5.....;30
........1..2..1.3..3..45.26....5216....46.2.32....3.45..7...35...8...61.42.5.....;30
.......12......3.4....1567...8.9...6.51.67...69...8....75.89.6.8..65....9.67.1...;30
.......12......3.4....1567...8.9...6.51.76...69...8....75.89.6.8..65....9.67.1...;30
........1....23....24....35....46....4.73...8.6.8.27...863.4...2.3.87...47.26..8.;30
........1.......23...2456.....7.4..5..5.827.6.7.56.8...874...6.46...7...5.26.8...;30
........1.....2.....3...245....36.....67.8.9..3892..67.698.3...3.726....82..79...;30
........1.....2.3.....45..6.15..7...2.4.58..778........2758.1..1.8.24...54.7.18..;30
........1.....2.3.....45..6.15..7...2.4.58..778........4758.1..1.8.24...52.7.18..;30
........1.....2.3.....4567......8....18.249..4.591.28..42.89...18..5....5.9..1..8;30
........1.....2.34....56....16......2.5.67..878........2768.1..1.8.257..65.7.18..;30
........1.....2.34.35.......56......7.3..58.682...67...7825..6.3.26.7...56..38...;30
........1.....2.34.35.......56......7.3..58.682...67...7825..6.3.26.8...56..37...;30
........1.....2.34.35.......56......7.3..58.682...67...8725..6.3.26.7...56..38...;30
........1.....234..35..4.62....78.3....39.4.6..36......125..6..3.41..25.56.....1.;30
.......12.....134...4..35.6....24.53...31.26.23.5.6.....1...6..7.61.5...89.6.....;30
.......12.....134...4..35.6....24.63...31.25.23.6.5.....1.....57.51.6...89.5.....;30
........1.....2.......3..45.16.23...27.8.61..3.871.6...32.68..718..7...66.7......;30
.............12.34.13..42.5....6.54....4789.3...5......291...5.1.5.....934.9...21;30
.............12.34.13..45.2....6..45...4789.3...5......291...5.1.5.....934.9...21;30
........1.....2.3.....45672...5.8.....491.2..15..249...95..1..842..89...8.1.5....;30
........1.....2.3.....45672...5.8.....491.2..18..249...98..1..542..59...5.1.8....;30
........1.....2.34.25...67..6.58....28..79...5.92......98.657..6.2......75.92.8..;30
........1.....2.34.25...67..6.58....28..79...5.92......98.257..6.2......75.96.8..;30
...........1.23.45.2456.13....3.2.6.2..61...36...45.21.7......4.89....563........;30
...........1.23.45.2456.13.....45.21...3.2.6.2..61...3.7......43........489....56;30
........1.....2.34....56....17..8...2.8......56..27..8.2578.1..17..65...8.62.17..;30
........1.....2.34....56....17......2.8.....756..27..8.2578.1..17..65...8.62.17..;30
........1.....2.34....56....17..8...2.8......56..27..8.2678.1..17..65...8.52.17..;30
........1.....2.34....56....17......2.8.....756..27..8.2678.1..17..65...8.52.17..;30
........1.....2.34....56....17..8...2.8......65..27..8.2578.1..17..65...8.62.17..;30
........1.....2.34....56....17......2.8.....765..27..8.2578.1..17..65...8.62.17..;30
........1.....2.34235........6.27....2.6.8....7835.....62.....57.32.56.885...67..;30
........1....23....24....35....46.....67.28...4283.6.7.68..4.7.23..87...4.7.6....;30
........1.....2.34235........6.27....2.6.8.7..7835.....62......75...68..8.32.56.7;30
........1....23....24....35....46.....67.28...4283.6.7.67..4...23..78...4.8.6..7.;30
........1.....2.34235........6.27.8..2.6.8....7835.....62......7.32.56.885...67..;30
........1....23.....4..5..........67..6.784.9.47..918..78....144.9...8.661.8..79.;30
........1....23.....4..5..........67..6.784.9..7.6918..49...8.616.8..79.7.8....14;30
..............1.23....45.67.26....898.39..27.97....3.6.38......29......86.7.8..32;30
........1....23.....4..5..........67..6.7849..47..91.8.78....144.9...68.61.8..7.9;30
........1....23.....4..5..........67..6.7849...7.691.8.49...68.16.8..7.97.8....14;30
..............1.23....45.67.23....8987....2.69.68..37..92......3.8....9.76..9..32;30
...........1.23.45.2456.13....3.2...2..61...36...45.21.7......43........489....56;30
...........1.23.45..214.3.6....6.45..5...46.1.6..51.32.4.......7....2...829.36...;30
........1.....234..35.14.62....7.4.6....89.3...36......125..6..3.41..25.56.....1.;30
........1....12.3....45678.....6.......2.496..4619.2...59..1..64.26.9..561.5.....;31
........1....12.3....45678.....2596....6......5619.2...49..1..65.2.69..461..4....;31
........1.....2345.23...67...8.9...7.6723.....9.8.7....8962.7..63..78...7.2..9...;31
.......12......3.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57...3....8.9.56...;31
........1.....2..3....45.67.18......2.9.1....54..28.1..52.91...18.2.49..9.485.1..;31
........1.12.34....561.7..........58......9.6.65.9.21..98...1.552.8..69.6.1....82;31
........1..2.13....415.6..........78.287..14..7....2.9.97....122.4.9.78.81....9.4;31
........1.....2.3.....4.562.....7....18.2497.4.791.2...42.79..817..8....8.9..1..7;31
.......12......3.4..1.2356.....14.23.1.26.45..4.3.51.61.......57...3....8.9.56...;31
........1.....2..3....45.67.1425.8..58.9.41..9.2.81....28.1....1.9......45..29.1.;31
........1.12.34....561.7..........58......9.6.65.9.21..98...6.55.18...9262....18.;31
........1..2.13....415.6..........78.287..14..7....2.9.97....8221..9.7.48.4...91.;31
........1.....2.3.....45672.....8....18.249..4.591.28..42.89..518.......5.9..1..8;31
........1.....2.3.....4567......8....18.249..4.591.28..42.89..518..5....5.9..1..8;31
........1.....234..35.14.62....78.3....39.4.6..36......125..6..3.41..25.56.....1.;31
........1.....2.34.23...5....6.78.5..5823.....7.6.5....67.....25.2..78..83..267.5;31
........1.....2.34.23...5...5623....2.7.86.5.38.7.5....78......5.2..86..63...78.5;31
........1.....2.34235...6...26..78..3.8...7.657........52.78.6.68.23....7.35.6...;31
........1.......23...2456.....7.4.....4.827.6..756.8...46.27...25.6.8...7.845..6.;31
........1.......23...2456.....7.4.....5.827.6.7.56.8...8745..6.46..27...5.26.8...;31
........1.....2.3.....4567....5......18.2495.4.591.2...42.59..815..8....8.9..1..5;31
........1.....2.3..45.3..26.....734......861.46.52.....24...16.13.2...545.6...2.3;31
........1.....2.34.25...6.7.6.58....28..79...5.92....8.98.257..6.2......75.96.8..;31
........1....23....24....35....46.....67.28...4283...7.682.4.7.23..87...4.736....;31
........1....23....24....35....46....4273...8.6.8.27...863.4...2.3.87...47.26..8.;31
........1..2..1.3..3..45.26....5216....46.2.32....3.45..7...35...8...61.42.5.6...;31
........1..2..3.4..4.56..23....362.4...25.13.2..4.1.65..7...31...8...45.62.3.....;31
........1..2.13.4..4.56..23...3.52.4...62.13.2...4..56..7...31...8...46.52...6...;31
........1.......23...2456.....7.4..5..756.8...54.827.6.784...6.4.6..7...52.6.8...;31
........1.....2.....3...245....36.....67.8.9..3892..67.698.37..3.726....82..79...;31
........1.....2.34....56....16..7...2.5.68..787........2867.1..1.7.258..65.8.17..;31
........1.....2.34.35...6....7.26....2.7.8.6..8635.....72.....565...78..8.32.57.6;31
........1.....2.34.35...6...26..78..3.8..57.657........52.78.6.7.35.6...86.23....;31
........1.....2.34.35...6...67.5....3.8.26...52.8.7.6..82......65..387..7.32.5..6;31
........1.....2.34235.......26..78..3.8..57.657........52.78.6.7.35.6...86.23....;31
........1.....2.34235...6...26..78..3.8.2.7.657......2.5..78.6.68.23....7..5.6...;31
........1.....234..35.......62......7.3.25.6885...6.7..7853....3.62.8...52..678..;31
........1.....234..35.......62......7.3.25.6885...6.7..8753....3.62.8...52..678..;31
........1....23....24....35....46.....67.28...4283...7.673.4...23..78...4.826..7.;31
........1.....2.3.....4.562...7......18.2497.4.791.2...42.79..817..8....8.9..1..7;31
........1....12.3....45.672....2589....9......5918.2...48..1..95.2.98..491..4....;31
........1....12.3....45.672....8.......2.498..4819.2...59..1..84.28.9..581.5.....;31
.......12......3.4....1567...8.9...6.51.67...69...8....75.89.6.8..65..9.9.67.1...;31
.......12......3.4....1567...8.9...6.51.76...69...8....75.89.6.8..65..9.9.67.1...;31
........1.....2.34....56..7.16..8...2.5.69..889........5869.1..1.9.258..62.8.1...;31
........1.....2....34...256....37....4382..79.7.9.4.8..874.3...39.27....4.2.98...;31
........1.....2.3.....45..6.15..7..82.4.58..778........2758.1..1.8.24...54.7.18..;31
........1.....2.3.....45..6.15..7...2.4.58..778........2758.1..1.8.247..54.7.18..;31
........1.....2.3.....45..6.15..7..82.4.58..778........4758.1..1.8.24...52.7.18..;31
........1.....2.3.....45..6.15..7...2.4.58..778........4758.1..1.8.247..52.7.18..;31
........1.....2.3.....45672.....8....18.249..4.591.28..42.89...18..5....5.9..1..8;31
........1....23....24....35....62.....273.8.6..68.47...6734....24..87.6.3.82.6...;31
........1.....2.34.35.......56......7.3.258.682...67...7825..6.3.26.7...56..38...;31
........1....23....24....35....62.....273.8.6..68.47...6834....24..87.6.3.72.6...;31
........1.....2.34.35.......56......7.3.258.682...67...7825..6.3.26.8...56..37...;31
........1....23....24....35....62.....273.8.6..68.47...6734....24..78.6.3.82.6...;31
........1.....2.34.35.......56......7.3.258.682...67...8725..6.3.26.7...56..38...;31
.......12..3.145.6.516..34....16..53...2.5..45...43.2..7....4...89...2..1.5..6...;31
.......12.....134...4..35.6....24.53.4.31.26.32.5.6.....1...6...761.5...89.6.....;31
.......12..3.145.6.516..34.....45.2....16..535..2.3..4.7....4...89...2..1.5..6...;31
.......12.....134...4..35.6....24.63.4.31.25.32.6.5.....1.....5.751.6...89.5.....;31
...........1.23.45.2456.13....3.2.6.2..61...36...45.21.7......43........489....56;31
........1.....2.34....56....17..8...2.8.....756..27..8.2578.1..17..65...8.62.17..;31
........1.....2.34....56....17..8...2.8.....756..27..8.2678.1..17..65...8.52.17..;31
........1.....2.34....56....17..8...2.8.....765..27..8.2578.1..17..65...8.62.17..;31
........1....23.45234........2.67.8..683.4....7.28.....27......64..327.88.3.7.6..;31
........1....23.45234........2.67....683.4....7.28..6..27......6.3.7.8..84..327.6;31
........1....23.....4..5..........67..6.784.9.47.6918..78....144.9...8.661.8..79.;31
........1....23.....4..5..........67..6.7849..47.691.8.78....144.9...68.61.8..7.9;31
........1....23..4....56.78.12......3.9.1....65..32.1..63.91...12.3.59..9.526.1..;32
.......12......3.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57.8.56...95..3....;32
........1....23..4....56.78.12......3.9.1....65..32.1..23.91...1.536.9..96.2.51..;32
.......12......3.4..1.2356.....14.23.1.26.45..4.3.51.61.......57.8.56...95..3....;32
........1.....2345.23...67...8.9...7.6723.....9.8.7....8962.7..63..78...7.2..98..;32
........1.....2.34235...6....726.....2..87.6..685.3....72.....565..7.8..8.3.257.6;32
........1.....2.3...4...256....47.....73.8.9..4892..73.798.43..4.327....82..39...;32
........1.....234..35....6..6735....3.8.26...52.8.76...82......65...8.7.7.32.5.86;32
........1.....234..35....6..72......65...7.8.8.3.25.76.8653....3.72.6...52..786..;32
........1....12.3....456782....6.......2.496..4619.2...59..1..64.26.9..561.5.....;32
........1....12.3....456782....2596....6......5619.2...49..1..65.2.69..461..4....;32
.......12.....13.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57...3....8.9.56...;32
........1.12.34....561.7..........86..8...5.9.65.8.12..89....1552.9..86.6.1...9.2;32
.......12.....13.4..1.2356.....14.23.1.26.45..4.3.51.61.......57...3....8.9.56...;32
........1.12.34....561.7..........86..8...5.9.65.8.12..89....655.19..8.262....91.;32
........1.....2.3.....45672.....8....18.249..4.591.28..42.89..518..5....5.9..1..8;32
........1.....2.34235...6...26..78..3.8.257.657......2.5..78.6.68.23....7..5.6...;32
........1.....2.34235...6...26..78..3.8..57.657........52.78.6.68.23....7.35.6...;32
........1.....2.34.23...5...5623....2.7.86.5.38.7.5....78......5.2..86..63..278.5;32
........1.....2.34235...6...26..78..3.8.2.7.657........52.78.6.68.23....7.35.6...;32
........1.....2.34235...6...67.53...3.862....52.7.8.6..82......65.8..7..7.32..8.6;32
........1.......23...2456.....7.4.....756.8...54.827.6.7845..6.4.6.27...52.6.8...;32
........1.....2.3.....45672...5......18.2495.4.591.2...42.59..815..8....8.9..1..5;32
........1..2..3.4..4.56..23....362.4...25.13.2..4.1.65..7...31...8...45.62.3.5...;32
........1..2.13.4..4.56..23...3.52.4...62.13.2...4..56..7...31...8...46.52..36...;32
........1.....2345.23.......62.789..73.2.9...9.863.....96..7.8.2.7......38..26.79;32
........1.....2....34...256....37....4382..79.7.9.4.8..874.39..39.27....4.2.98...;32
........1.....2.34235.......26..78..3.8.257.657........52.78.6.7.35.6...86.23....;32
........1.....2.34235...6....7.26....2.7.8.6..8635.....72.....565...78..8.32.57.6;32
........1.....2.34.35...6...26..78..3.8.257.657........52.78.6.7.35.6...86.23....;32
........1....23.4..25...3.6....57....5283...43.74.2.8..782.54..2...84...5.437....;32
........1.....2.34.35...6...67.5....3.8.26...52.8.7.6..82......65..387.27.32.5..6;32
........1....23....24...35.....46.....67.2.8..4283..67.682.47..23..78...4.736....;32
........1.....234.235.......62......7.3.25.6885...6.7..7853....3.62.8...52..678..;32
........1....23....24...35.....46.....67.2.8..4283..67.682.47..23..87...4.736....;32
........1.....234.235.......62......7.3.25.6885...6.7..8753....3.62.8...52..678..;32
........1.....2.34....56..7.16..8..92.5.69..889........5869.1..1.9.258..62.8.1...;32
........1.....2.3.....45..6.15..7..82.4.58..778........2758.1..1.8.247..54.7.18..;32
........1.....2.3.....45..6.15..7..82.4.58..778........4758.1..1.8.247..52.7.18..;32
........1....23....24....35....62.....67.48..4.283.7.6.6834....24..78.6.3.72.6...;32
........1....23....24....35....62.....67.48..4.283.7.6.6734....24..78.6.3.82.6...;32
........1....23....24....35....62.....67.48..4.283.7.6.6834....24..87.6.3.72.6...;32
.......12..3.145.6.516..34....16..53...2.5..45...43.2..7....4...89...26.1.5..6...;32
.......12..3.145.6.516..34.....45.2....16..535..2.3..4.7....4...89...26.1.5..6...;32
........1.....123...1.245.6..3...6...6..52...7.8..6....1..654.3.3.24.15..4.1.3.62;32
........1.....2.34.35...6...72......65...78..8.3.257.6.8653....3.72.6...52..78.6.;32
.......12....1345..15.4.3.6.....75.....58926.5.613.....543...2.16.....342.3.....5;33
.......12....1345..15.4.3.6.....75.....58926.5.613.....53....2.16.....342.43....5;33
.......12.....13.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57...32...8.9.56...;33
.......12.....13.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57.8.56...95..3....;33
.......12.....13.4..1.2356.....14.23.1.26.45..4.3.51.61.......57...32...8.9.56...;33
.......12.....13.4..1.2356.....14.23.1.26.45..4.3.51.61.......57.8.56...95..3....;33
........1.....2.34235...6...67.53...3.862....52.7.8.6..82......65.8..7..7.32.58.6;33
........1....23.4..25...367...2.8.....239..84..8.45.9..89.524..2.483....53.9.4...;33
........1.....2345.23....6..67..8.9.2.8......39..27.86.72.896..6.973....83.2.6...;33
........1.....2.3..45...267....48....5492..83.8.3.5.9..985.43..43.28....5.2.39...;33
........1....23.4..25...36.....57.....74.2.8..5283..74.782.54..23..84...5.437....;33
........1.....234.235....6..6735....3.8.26...52.8.76...82......65...8.7.7.32.5.86;33
........1....23.4..25...36.....57.....74.2.8..5283..74.782.54..23..48...5.437....;33
........1.....234.235....6..72......65...7.8.8.3.25.76.8653....3.72.6...52..786..;33
........1.....2.34235...6...72......65...78..8.3.257.6.8653....3.72.6...52..78.6.;33
........1.....2.34235...6...26..78..3.8.257.657........52.78.6.68.23....7.35.6...;33
........1....23....24...356...2.7....4238..79.7..94.8..87.429..29.73....4.39.8...;33
........1....23.4..25...3.6....57....5283...43.74.2.85.782.54..2...84...5.437....;33
........1....2345.234.......23.678..64.3.8...8.724.....82..6.7.3.6......47..32.68;33
........1....2345.234.......23.678..64.3.8...7.824.....82..6.7.3.6......47..32.68;33
.......12.....13.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57.8.56...95..32...;34
.......12.....13.4..1.2356.....14.23.1.26.45..4.3.51.61.......57.8.56...95..32...;34
.......12..3.145.6.516..34....16..53...2.5..45...43.2..7....4..1.54.6...489...26.;34
.......12..3.145.6.516..34.....45.2....16..535..2.3..4.7....4..1.54.6...489...26.;34
........1....23.4..25...367...2.8.....8.45.9..5239..84.89.524..2.483....53.9.4...;34
........1....23.4..25...367...2.8....5239..84.8..45.9..98.524..24.83....5.34.9...;34
........1....2345.234....6..23.786..74.3.6...8.624.....62..7.8.3.7......48..32.76;34
........1....2345.234....6..23.786..6.824....74.3.6....62..7.8.3.7......48..32.76;34


Running minimals, but that will take a while. (Also still need to look for cases that allow for givens in an unavoidable set pattern to be swapped; some of those are already covered, but probably not all.)
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Thu Mar 17, 2022 2:32 am

I won't do this for the whole list yet, but I rated the 34c puzzles by SE:

Code: Select all
.......12.....13.4..1.2356.....14.53.1.2.54.6.4.36.12.1.......57.8.56...95..32...  ED=11.6/11.6/2.6
.......12.....13.4..1.2356.....14.23.1.26.45..4.3.51.61.......57.8.56...95..32...  ED=11.6/11.6/2.6
.......12..3.145.6.516..34....16..53...2.5..45...43.2..7....4..1.54.6...489...26.  ED=10.4/4.5/2.6
.......12..3.145.6.516..34.....45.2....16..535..2.3..4.7....4..1.54.6...489...26.  ED=10.4/4.5/2.6
........1....23.4..25...367...2.8.....8.45.9..5239..84.89.524..2.483....53.9.4...  ED=11.0/11.0/3.4
........1....23.4..25...367...2.8....5239..84.8..45.9..98.524..24.83....5.34.9...  ED=11.0/11.0/3.4
........1....2345.234....6..23.786..74.3.6...8.624.....62..7.8.3.7......48..32.76  ED=10.9/10.9/2.6
........1....2345.234....6..23.786..6.824....74.3.6....62..7.8.3.7......48..32.76  ED=10.9/10.9/2.6
........1....2345.234....6..27......6.3.7..8.84..32.76.683.4...37.28.6..4.2.67...  ED=11.0/11.0/2.6


10.4 is quite a bit lower than I would have expected to get while not in T&E(2), but uniqueness throws a wrench in things as usual. :)

[edit]Rated one of these with uniqueness disabled, it's 11.7.[/edit]
Last edited by mith on Thu Mar 17, 2022 4:09 am, edited 1 time in total.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Thu Mar 17, 2022 3:03 am

526 minimals from the 246 expanded forms; I started with 218 rated minimals. Some of these have lower skfr and haven't been rated by SE yet, but most are new to the database.

[edit]Missed a step in checking for minimals, corrected number above.[/edit]

The minimals range from 24c to 29c, with only a single 24c found:

Code: Select all
........1.....2.34....4.56.....24.7...418.....8.7.9.....9..1....71.....824......9  ED=10.4/1.2/1.2


This puzzle has three guardian cells for the pattern, so it may be an interesting one to explore advanced applications of the trivalue oddagon.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby marek stefanik » Thu Mar 17, 2022 8:44 am

Interesting puzzle! It seems that TH, as we know it, is not very effective here, yet still the puzzle can be solved in elegant ways.

My own solution, using uniqueness: Show
Code: Select all
.-------------------.-------------------.-----------------.
| 4    23569  23567 | 3569  3567  3567  | 279   8    1    |
| 569  569    5678  | 5689  1     2     | 79    3    4    |
| 139  1239   2378  | 389   4     378   | 5     6    27   |
:-------------------+-------------------+-----------------:
| 19   19     356   | 356   2     4     | 8     7    356  |
| 7    2356   4     | 1     8     356   | 236   9    2356 |
| 356  8      2356  | 7     356   9     | 14    14   2356 |
:-------------------+-------------------+-----------------:
| 8    356    9     |#24    3567  1     | 3467 #25–4 367  |
| 356  7      1     |#24    9     356   | 346  #25–4 8    |
| 2    4      356   | 3568  3567  35678 | 1367  1–5  9    |
'-------------------'-------------------'-----------------'
UR 24r78c48 => -4r78c18, -5r9c8

Code: Select all
.-------------------.-------------------.-----------------.
| 4    23569  23567 | 3569  3567  3567  | 279   8    1    |
| 569  569    5678  | 5689  1     2     | 79    3    4    |
| 139  1239   2378  | 389   4     378   |#5    #6    27   |
:-------------------+-------------------+-----------------:
| 19   19     356   | 356   2     4     | 8     7    356  |
| 7    2356   4     | 1     8     356   | 236   9    2356 |
| 356  8      2356  | 7     356   9     | 1     4    2356 |
:-------------------+-------------------+-----------------:
| 8    356    9     |#24    3567  1     |#3467 #25   367  |
| 356  7      1     |#24    9     356   |#346  #25   8    |
| 2    4      356   | 3568  3567  35678 | 1367  1    9    |
'-------------------'-------------------'-----------------'
# in b9 cannot be a 2456 quadruple (note reverse BUG 56) => -6r78c7
The two equivalent solutions:
Code: Select all
.-------------------.-------------------.-----------------.
| 4    23569  23567 | 3569  3567  3567  | 279   8    1    |
| 569  569    5678  | 5689  1     2     | 79    3    4    |
| 139  1239   2378  | 389   4     378   |#5    #6    27   |
:-------------------+-------------------+-----------------:
| 19   19     356   | 356   2     4     | 8     7    356  |
| 7    2356   4     | 1     8     356   | 236   9    2356 |
| 356  8      2356  | 7     356   9     | 1     4    2356 |
:-------------------+-------------------+-----------------:
| 8    356    9     |#24    3567  1     |#4    #5    367  |
| 356  7      1     |#24    9     356   |#6    #2    8    |
| 2    4      356   | 3568  3567  35678 | 1367  1    9    |
'-------------------'-------------------'-----------------'
Code: Select all
.-------------------.-------------------.-----------------.
| 4    23569  23567 | 3569  3567  3567  | 279   8    1    |
| 569  569    5678  | 5689  1     2     | 79    3    4    |
| 139  1239   2378  | 389   4     378   |#5    #6    27   |
:-------------------+-------------------+-----------------:
| 19   19     356   | 356   2     4     | 8     7    356  |
| 7    2356   4     | 1     8     356   | 236   9    2356 |
| 356  8      2356  | 7     356   9     | 1     4    2356 |
:-------------------+-------------------+-----------------:
| 8    356    9     |#24    3567  1     |#6    #2    367  |
| 356  7      1     |#24    9     356   |#4    #5    8    |
| 2    4      356   | 3568  3567  35678 | 1367  1    9    |
'-------------------'-------------------'-----------------'
Upon relabeling 56, the rest of the grid is the same in both cases, so there is no way to decide which diagonal should be 24 and which should be 56.

Code: Select all
.-------------------.-------------------.-----------------.
| 4    23569  23567 | 3569  3567  3567  | 279   8    1    |
| 569  569    5678  | 5689  1     2     | 79    3    4    |
| 139  1239   2378  | 389   4     378   |#5    #6    27   |
:-------------------+-------------------+-----------------:
| 19   19     356   | 356   2     4     | 8     7    356  |
| 7    2356   4     | 1     8     356   | 236   9    2356 |
| 356  8      2356  | 7     356   9     |#1    #4    2356 |
:-------------------+-------------------+-----------------:
| 8    356    9     |#24    3567  1     |#347  #25   367  |
| 356  7      1     |#24    9     356   |#34   #25   8    |
| 2    4      356   | 3568  3567  35678 |#137–6#1    9    |
'-------------------'-------------------'-----------------'
If 6r9c7 then r369c78 is a virtual 45 pair, resolved only by all the givens of 56.
This VP then creates a DP with 245b9, 24b8.
56 in the rest of the grid are unresolvable, ie. contra.
-6r9c7, stte

Xsudo's solution, without using uniqueness:
After a two-string kite (-2r1c3), a short AIC (-2r3c3) and basics:
Code: Select all
.------------------.-------------------.-----------------.
| 4    23569 #3567 | 3569 #3567 #3567  | 279   8    1    |
| 569  569    5678 | 5689  1     2     | 79    3    4    |
| 139  1239   378  | 389   4     378   | 5     6    27   |
:------------------+-------------------+-----------------:
| 19   19    #356  |#356   2     4     | 8     7    356  |
| 7   #356    4    | 1     8    #356   | 236   9    2356 |
|#356  8      2    | 7    #356   9     | 14    14   356  |
:------------------+-------------------+-----------------:
| 8   #356    9    | 24    7–356 1     | 3467  245  367  |
|#356  7      1    | 24    9    #356   | 346   245  8    |
| 2    4     #356  |#3568 #3567 #35678 | 1367  15   9    |
'------------------'-------------------'-----------------'
Xsudo uses the marked cells as truths.
The eliminations in r7c5 reduce the rating to 6.6.
Can anyone explain this pattern by human means?
TL solution: Show
16 Truths = {68N1 57N2 149N3 49N4 169N5 1589N6}
51 Links = {3r1456789 5r1456789 6r1456789 7r1 3c12356 5c12356 6c12356 356b4 356b5 356b7 35678b8}

Another puzzle which may require some research is this one, posted by mith here on June 24, 2021:
Code: Select all
.............12.34..1.3..25..672.5...17..6...52..81.67.75.68...18.2....66.217..5.  ED=10.4/1.2/1.2

It is also solvable by Xsudo, but I can't make a lot of sense of its findings.

Edit: We can explain it using the parity argument:
Suppose 356r7c5.
Code: Select all
.------------------.-------------------.-----------------.
| 4    23569xy3567 | 3569 z3567 z3567  | 279   8    1    |
| 569  569    5678 | 5689  1     2     | 79    3    4    |
| 139  1239   378  | 389   4     378   | 5     6    27   |
:------------------+-------------------+-----------------:
| 19   19    #356  |#356   2     4     | 8     7    356  |
| 7   #356    4    | 1     8    x356   | 236   9    2356 |
|#356  8      2    | 7    y356   9     | 14    14   356  |
:------------------+-------------------+-----------------:
| 8   #356    9    | 24   x356   1     | 3467  245  367  |
|#356  7      1    | 24    9    y356   | 346   245  8    |
| 2    4     #356  |z3568 z3567 z35678 | 1367  15   9    |
'------------------'-------------------'-----------------'
In b8, each minirow contains one of 356. We can fix its vertical permutation as in the diagram.
Chaining through antidiagonal boxes 745, the horizontal parity in b5 is opposite to it, therefore the minicolumn containing x is directly to the right of the one containing y. There is only one option.
r1c56 form a 7z naked pair, restricting r1c3 to xy.
Whichever digit appears in r1c3 is completely eliminated from either (y) c1 or (x) c2, ie. contra.
Therefore -356r7c5.

Edit2: Got some understanding of the other one. It is far from solving the puzzle, but it should reduce it to T&E(1).
The breakthrough found by Xsudo: Show
Code: Select all
.-------------------.------------------.-------------------.
| 2     34569  3489 | 45689  459  4579 | 16789  1789  189  |
| 79    569    89   | 5689   1    2    | 6789   3     4    |
| 479   469    1    | 4689   3    479  | 6789   2     5    |
:-------------------+------------------+-------------------:
|c3489Aa349    6    | 7      2   #349  | 5      1489  1389 |
|c3489  1      7    | 3459   459  6    | 23489  489   2389 |
| 5     2    Bb349  |#349    8    1    | 349    6     7    |
:-------------------+------------------+-------------------:
|#349   7      5    |Ab349   6    8    | 12349  149   1239 |
| 1     8     #349  | 2     c459 c3459 | 3479   479   6    |
| 6     349    2    | 1      7  Ba349  | 3489   5     389  |
'-------------------'------------------'-------------------'
b4p29 and b8p19 are not the same two digits, either b5p37 or b7p16 would have to contain the same digit.
Consequently, each of 349 must appear in them at least once.
Code: Select all
.-------------------.------------------.-------------------.
| 2     34569  3489 | 45689  459  4579 | 16789  1789  189  |
| 79    569    89   | 5689   1    2    | 6789   3     4    |
| 479   469    1    | 4689   3    479  | 6789   2     5    |
:-------------------+------------------+-------------------:
| 3489 #349    6    | 7      2    349  | 5      1489  1389 |
| 3489  1      7    | 3459   459  6    | 23489  489   2389 |
| 5     2     #349  | 349    8    1    | 349    6     7    |
:-------------------+------------------+-------------------:
| 349   7      5    |#349    6    8    | 12349  149   1239 |
| 1     8      349  | 2      459  3459 | 3479   479   6    |
| 6     49–3   2    | 1      7   #349  | 3489   5     389  |
'-------------------'------------------'-------------------'
3r1116b9##\r799c22233347 => -3r9c2
This abomination of a fish is probably simpler as a contradiction net: if 3r9c2 then in r1 3c3, in # 3r7c4, in r6 3c7, no 3 left in b9, ie. contra.

This only results in a marginal change of rating though (skfr 10.2 -> 10.1).

Now suppose 4r9c7. ER 4r6b8\r8c34 => -4r8c3, then contra. with singles. Therefore -4r9c7.
15 Truths = {3R1 9C5 239C9 4N26 6N347 7N14 8N3 9N26}
37 Links = {3r679 4r4679 9r14679 3c2346 4c3467 9c2346 57n9 3b567 4b478 9b45678}

skfr 9.0, solvable by YZF_Sudoku (even with uniqueness-based techniques disabled).

Marek
Last edited by marek stefanik on Thu Mar 17, 2022 3:12 pm, edited 1 time in total.
marek stefanik
 
Posts: 359
Joined: 05 May 2021

Re: The hardest sudokus (new thread)

Postby denis_berthier » Thu Mar 17, 2022 11:40 am

mith wrote:rangsk has added a T&E depth tool (as part of https://github.com/dclamage/SudokuClassicMinLex), so I was able to check all expanded forms of 11.6+ puzzles currently in the database. I found a total of 88 expanded puzzles with depth 3; Denis, these *should* match your not-T&E(2) findings, but here's the list for checking:

That's where we seriously need to apply some conventions for the database.
I don't see the point of checking lists of puzzles that I've probably already checked in part but am unable to relate easily to their new versions; we really need a unique, easy to read name for the minlexed expanded forms. Also, only minlexed expanded forms are of relevance to such checking.
That being said, T&E(2) is very easy to program; I don't see how one could make an error in this.
Last edited by denis_berthier on Thu Mar 17, 2022 12:04 pm, edited 1 time in total.
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby mith » Thu Mar 17, 2022 8:15 pm

Yeah, I don't expect there is an error or anything, but never hurts to have independent checks. I would also be interested if there are any classification differences between puzzles (we are currently only checking T&E with singles).

I'm planning to start working on the revised schema for tracking expanded forms directly by this weekend; will post a draft of that for comment before implementing. An overview of objectives:

1. Determine singles-expanded forms for all minimals in the database, and store these (gsf-minlex form, probably, but if it makes sense for speed or for usefulness may consider maxlex or solution-minlex) in the new database (with various stats TBD, but certainly including T&E depth). This will entail splitting the current expander script into two parts:
a. Singles expansion, minlex, store to expansion.db
b. Generate minimals from the expanded form for inclusion in the current databases. It would be useful here to go ahead and check the singles expansion of each minimal, which will not always match the starting expanded form - this can inform which expanded forms to prioritize later (e.g. I start with an 11.6 32c expanded form, generate some minimals, some have a 30c expanded form, the 30c will be at least 11.6 so prioritize rating it), and these expanded forms also don't need to generate minimals again.
2. Check T&E depth for expanded forms (probably as they are added).
3. For puzzles with depth > 2, run a new script to generate further expanded forms by adding givens or by swapping digits in "deadly patterns" per 999_Springs' algorithm.
4. Tweak the minimal generating scripts to take into account the expanded forms; currently, the minimals are treated independently, so the scripts may modify a whole bunch of 11.6 puzzles which have the same expanded form, likely running into the same puzzles more often. It would be better to reference script-usage per expanded form and choose from the minimals of the least-used expanded form with that rating. Since removing the filters on puzzle generation, the number of SE-rated 11.6+ puzzles is growing faster than the generating scripts can keep up with, so spreading them across more dissimilar puzzles should help get out of stale neighborhoods faster.
5. It's probably also worth considering running the generating scripts, or some version of them, directly on the expanded forms.
6. Rate the expanded forms directly. Infrequently occurring bugs aside, the expanded form should rate the same as all minimals with that form. For the highest ratings (and those with depth > 2), will rate the minimals anyway, but reducing the number of puzzles that need to run through SE is very important. (Much like the generating scripts can't keep up with all the new SE 11.6+ rated puzzles, the number of unrated-by-SE puzzles with skfr>=11.0 is already far too large to ever hope for the rating script to catch up with the generating scripts.)
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Fri Mar 18, 2022 12:04 am

Today's batch of 11.6-11.7:
Hidden Text: Show
Code: Select all
........1......234.....5.....627.....785.9...92..86.7..89..2...2.7.6.5..65.7.89..  ED=11.7/1.2/1.2
........1......234.....5.....6..2....75.869..82.79.5...926.7.8.6.8.59...7..82....  ED=11.7/1.2/1.2
........1....23......145.....6....17.78...92.91..7.6.8.89......1.72....662.9..87.  ED=11.7/1.2/1.2
........1....23......145.....6.......728..69.91.2...87.81.9.7.66.9...82.7......19  ED=11.7/1.2/1.2
........1....23......145.....6.....7.78...29.91..7..68.89....1.1.72....662.9..78.  ED=11.7/1.2/1.2
........1....23......145.....6.....7.78...29.91..7..68.8.....1.1.72..9.662.9..78.  ED=11.7/1.2/1.2
...............123.....1.45..1.67....8...94..9.684.7...6871..9.19...8...4.7.96...  ED=11.7/1.2/1.2
...............123.....1.45..1.6.....7684.9..89...74...49.76...6.891..7.71...8...  ED=11.7/1.2/1.2
...............123.....1.45..1.67....8.1.94..9.684.7...687...9.19...8...4.7.96...  ED=11.7/1.2/1.2
...............123.....1.45..1.6.....7684.9..89.1.74...49.76...6.89...7.71...8...  ED=11.7/1.2/1.2
........1....23......145.....6....7..78...2.991..7..86.89....1.1.72...6.62.9..7.8  ED=11.7/1.2/1.2
........1....23......145.....6....1..728..9.691.2..87..81.9..676.9...2.87......9.  ED=11.7/1.2/1.2
...............123.....1.45..1.67.....81.94..69.84.7...19..8...74..96...8.67...9.  ED=11.7/1.2/1.2
...............123.....1.45..1.67.....8..94..69.84.7...19..8...74..96...8.671..9.  ED=11.7/1.2/1.2
...............123.....1.45..1.6.....78..94..69.84.7...19..8...74..96...8.671..9.  ED=11.7/1.2/1.2
...............123.....1.45..1.6.....781.94..69.84.7...19..8...74..96...8.67...9.  ED=11.7/1.2/1.2
........1....23.....1.45.....6...17..78...4.99...7..86.89....1.1.74...6.64.9..7.8  ED=11.7/1.2/1.2
........1....23.....1.45.....6...17..78...4.99...7..86.8.....1.1.74..96.64.9..7.8  ED=11.7/1.2/1.2
.......12.....3..4.35........6.378...538.9...7..56.9...68......3.7..6.9.59.7.8...  ED=11.7/1.2/1.2
.......12.....3..4.35........6..7.8..7938....58.6.9....539.....6..57.8..8.7..69..  ED=11.7/1.2/1.2
........1....23.45..21.436.....16.5....2.5..3.5.34.12.2.....4..7..6.....869......  ED=11.7/1.2/1.2
.......12.....34.5..1.2463.....15..3...2.65...5.43.12.1......4.7...6....869......  ED=11.7/1.2/1.2
........1....23.45..21.436.....16.5....2.5..3.5.34.12.2.....4.67..6.....8.9......  ED=11.7/1.2/1.2
........1....23.....4..5.....6.78.49.4....6...98...71...98....6.87...1.461.7..98.  ED=11.7/1.2/1.2
........1....23.....4..5..........6...6.784.9.98...17..87....144.98....661.7..89.  ED=11.7/1.2/1.2
........1......234....25.....2.6.....7859....65.2.7.8..2697....7.58.69..89.......  ED=11.7/1.2/1.2
........1......234....25.....2.6.....7859....65...7.8..2697....7.58.69..89...2...  ED=11.7/1.2/1.2
........1......234....25.....2.67....8.59....65.2.8.7..2698....79.......8.57.69..  ED=11.7/1.2/1.2
........1......234....25.....2.67....8.59....65...8.7..2698....79...2...8.57.69..  ED=11.7/1.2/1.2
........1....23.45..21.436.......4...7.6.....6894.........16.53...2.5..45..3..12.  ED=11.7/1.2/1.2
........1....23.45.25.1.36.....526.4...1.4.232..63.1...5....4...7..6.....89......  ED=11.7/1.2/1.2
........1....23.....4..5.....6.7..48.89...71.74....6.9..89...76.9....1.461.7..8..  ED=11.7/1.2/1.2
........1.....2.34.25..........67...6.895....79.2.86....95.....2.678....58..29.7.  ED=11.7/1.2/1.2
........1.....2.34.25........6.5.....7.2.6.8.2.978.....5.9.8...86..279..9.756....  ED=11.7/1.2/1.2
........1.....2.34.25........2.67...6.895....79...86....95.....2.678....58..29.7.  ED=11.7/1.2/1.2
........1.....2.34.25........6.5.....7.2.6.8.2.978.....529.8...86...79..9.756....  ED=11.7/1.2/1.2
........1....23.....4..5.....6.7..48.7....6.98.9...71..489...7616.7..8..9.....1.4  ED=11.7/1.2/1.2
........1.....2.34.25..........67...6.895....79.2.86...795.....2.6.8....58..29.7.  ED=11.7/1.2/1.2
........1.....2.34.25.......5..67...6.895....79.2.86...795......8..29.7.2.6.8....  ED=11.7/1.2/1.2
........1.....2.34.25........2.67...6.895....79...86...795.....2.6.8....58..29.7.  ED=11.7/1.2/1.2
........1.....2.34.25.......52.67...6.895....79...86...795......8..29.7.2.6.8....  ED=11.7/1.2/1.2
........1.....2.......3..45..6..1....71.....832..87....6..238...837.61..7.281.6..  ED=11.7/1.2/1.2
........1....23.....4..5.....6...47..78...1.994..7..86..71..69..8......461.9..7.8  ED=11.7/1.2/1.2
........1....23.....4..5.....6...47..78...1.994..7..86..71..6...89.....461.9..7.8  ED=11.7/1.2/1.2
........1....23.....1.45.....6....17.78...94.9...7.6.8.89......1.74....664.9..87.  ED=11.7/1.2/1.2
........1....23.....1.45.....6.....7.78...49.91..7..68..74....6.89....1.64.9..78.  ED=11.7/1.2/1.2
........1....23.....1.45.....6.....7.78...49.91..7..68..74..9.6.8.....1.64.9..78.  ED=11.7/1.2/1.2
........1....23.....1.45.....6....7..78...4.991..7..86..74...6..89....1.64.9..7.8  ED=11.7/1.2/1.2
........1....23.....1.45.....6....7..78...4.991..7..86..74..96..8.....1.64.9..7.8  ED=11.7/1.2/1.2
........1....23.....1.45.....6....17.78...94.9...7.6.8.8.......1.74...9664.9..87.  ED=11.7/1.2/1.2
........1...234.....2.15.....6....7..87.6.2.991.....8...87..69..79....1262......8  ED=11.7/1.2/1.2
........1....23.....4.56.....7.....4..85..79.19.7..5.8.59...17.4.1...8.978.....4.  ED=11.7/1.2/1.2
........1....23.....4.56.....7.....4..85..79.19.7..5.8.59...17..8.....4.4.1.7.8.9  ED=11.7/1.2/1.2
........1......234....25.....6..2....758..9..82.97.6...92.67...6.85.9...7...8..9.  ED=11.7/1.2/1.2
........1......234....25.....6..2....758..9..82.97.6...92.67...6.85.9...7...8...6  ED=11.7/1.2/1.2
........1....23.....4..5.....6...47..78...1.99...7..86.8......44.71..69.61.9..7.8  ED=11.7/1.2/1.2
........1....23.....4..5.....6...47..78...1.99...7..86.89.....44.71..6..61.9..7.8  ED=11.7/1.2/1.2
........1......234....25.....6.......758..9..82.97.6...92.67...6.85.9...7..28...6  ED=11.7/1.2/1.2
........1......234....25.....6.......758..9..82.97.6...92.67...6.85.9...7..28..9.  ED=11.7/1.2/1.2
........1....12......345.....67..89..78...1.393......6.67.9..383.9...7..81....6..  ED=11.7/1.2/1.2
........1.....2.34....56.....7.......285.71..65..817...167.5...2.5.68..78..2.....  ED=11.7/1.2/1.2
........1....23.....4..5.....6.7..48.4....6.9.89...71...89....6.97...1.461.7..8..  ED=11.7/1.2/1.2
........1....23.....4..5..........67..6.8.4.9.97...18..78....144.97....661.8...9.  ED=11.7/1.2/1.2
........1....23.45..21.436.......4...7.6.....689..........16.53...2.5...5..34.12.  ED=11.7/1.2/1.2
........1...234.....2..5..........67.16.7.2.8.8....19..97......1.89..7.662....98.  ED=11.7/1.2/1.2
........1....23.......45.67..8.345...452.8...23..1.8...12.....54.3....1.58.......  ED=11.7/1.2/1.2
........1....23.......45.67..42.8....23.1.8..8...345...58......2.1.....534..5..1.  ED=11.7/1.2/1.2
........1.....2.34235........627.....785.3...52..86....6.......75.3..8.28.....6.7  ED=11.7/1.2/1.2
........1.....2.34235........6.7.....785.3...52..86....6.......75.3..8.28...2.6.7  ED=11.7/1.2/1.2
........1....23.......45.67..8.345...452.8...23....8...12.....54.3....1.58...1...  ED=11.7/1.2/1.2
........1....23.......45.67..8..1....21.....543..5..1..542.8....8..345..2.3...8..  ED=11.7/1.2/1.2
........1.....2.34235........627.....785.3...5...86....6.......75.3..8.28...2.6.7  ED=11.7/1.2/1.2
........1....23.......45.67..42.8....23...8..8...345...58..1...2.1.....534..5..1.  ED=11.7/1.2/1.2
........1....23.......45.67..1.345...32.1.8..54.2.8....85......21......53.4....1.  ED=11.7/1.2/1.2
........1....23.......45.67..1.345...32.1.8...4.2.8....85......21......53.4.5..1.  ED=11.7/1.2/1.2
................12....34.56..75...61.658..27.21.7....8.82..5...57.......6.1.8....  ED=11.7/1.2/1.2
................12....34.56..7.......18..6...52..8..6..658..1.7.7.6...251.27...8.  ED=11.7/1.2/1.2
................12....34.56..57..1.8.128...7.8..6...25.68......1.7..6...25..7..6.  ED=11.7/1.2/1.2
................12....34.56..1..6....52.7....86......7.7.6...2521.8...7.5.67..1.8  ED=11.7/1.2/1.2
................12....34.56..75...61.128....756.7..28..85......1.6..7...27..5....  ED=11.7/1.2/1.2
................12....34.56..7.......18..6...52..8..6..658..1.71.27...8.8..6...25  ED=11.7/1.2/1.2
................12....34.56..57..1.8.128...7..7.6...25.68......1.7..6...25..7..6.  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27...8..43.7.81...8...1...2.3.47...71......4  ED=11.7/1.2/1.2
........1.....2.......34.56..7.234...348.7...82..1.7...18.....43.2..8.1.47.......  ED=11.7/1.2/1.2
........1.....2.......34.56..7.......81.....432..48.1..438.7....7..234..8.2.1.7..  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27.1.8..43.7.8....84..1...2.3..7.1.7.......4  ED=11.7/1.2/1.2
........1.....2.......34.56..37.81...72.1.8..8...234...48......23..47...7.1.....4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27...8...3.7.81...84..1...2.3.47...71......4  ED=11.7/1.2/1.2
........1.....2.......34.56..37.8....72.1.8..8...234...48......23..47.1.7.1.....4  ED=11.7/1.2/1.2
........1.....2.......34.56..7.......81.....432..48....438.71...7..234..8.2.1.7..  ED=11.7/1.2/1.2
........1.....2.......34.56..7.234...348.71..82..1.7...18.....43.2..8...47.......  ED=11.7/1.2/1.2
........1.....2.......34.56..37.81...7241.8..8...234...48......23...7...7.1.....4  ED=11.7/1.2/1.2
........1.....2.34....56.....7.1.....61.....825...8....7..258...8267.1..6.58..7..  ED=11.7/1.2/1.2
........1.....2.34....56.....7.......61.....825...8.1..7..258...8267....6.58.17..  ED=11.7/1.2/1.2
........1.....2.34....56.....7.1.....61.....825...8.1..7..258...8267....6.58..7..  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...567..8..72.68.1...8..1....5.2..7...61......7  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...567.18..72.68.....8..1....5.2..7...61......7  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...567.18..72.68.....8.......5.2..7.1.61......7  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......71.....832..87.1..6..238...837.6...7.281.6..  ED=11.7/1.2/1.2
........1.....2.......3..45..36.71...6281.7..7...238...87..1...23...6...6.1.....8  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...276..8..63.7.81...8...1...2.3.67...71......6  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...2761.8..63.7.8....8...1...2.3.67...71......6  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...2761.8..63.7.8....8.......2.3.67.1.71......6  ED=11.7/1.2/1.2
................12....34..5..6.......27..8...51..7...8.857..26.2.16..8.77..8...51  ED=11.7/1.2/1.2
................12....34..5..6.......27..8...51..7...8.6.8...51.857..26.2.16..8.7  ED=11.7/1.2/1.2
........1.....2.34.23...5......65.....67.8....8532...7.67.....25.....8..83.2..7.5  ED=11.7/1.2/1.2
.......12.....3..4.56..........37....3869.7..97.5.86....3.8..9..89..5...76.3.....  ED=11.7/1.2/1.2
.......12.....3..4.56..........37....3869.7..97.5.86....3.8..9..8...5...76.3.9...  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......71.6...832..87..6.6..23....837..1..7.281.6..  ED=11.7/1.2/1.2
........1.....2.34.25.......3627....2...86...7.85.3....83...6.757.3..8.26........  ED=11.7/1.2/1.2
........1.....2.34.25.......36.7....2...86...7.85.3....83.2.6.757.3..8.26........  ED=11.7/1.2/1.2
........1.....2.34.25..........67....3728....8.65.3....63.2.7.858.3..6.27........  ED=11.7/1.2/1.2
........1.....2.34235.......2..67....865.3...3.728.....7.......6.....7.885.3..6.2  ED=11.7/1.2/1.2
........1.....2.34235.......2..67....865.3...3.7.8.....7.......6...2.7.885.3..6.2  ED=11.7/1.2/1.2
........1.....2.34235..........67....865.3...3.728.....7.......6...2.7.885.3..6.2  ED=11.7/1.2/1.2
........1.....2.......3..45..1.23....2671.8..73.6.81...87......2.3..6..861......7  ED=11.7/1.2/1.2
........1.....2.......3..45..6.23....378.61..82.71.6...18.....73.2..8..676.......  ED=11.7/1.2/1.2
........1.....2.......3..45..1.23....2671.8..73.6.81...8.......2.3.76..861......7  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......71.....832..87..6.6..23....837.61..7.281.6..  ED=11.7/1.2/1.2
........1......234....25..6....7.....6859....97.2.8.6..867..5..29.6.....7...89...  ED=11.7/1.2/1.2
........1.......23....45..6..76.8....5879....69..5.....46.8....5.9.674..87...9...  ED=11.7/1.2/1.2
........1.......23....45..6..7..8....5879..6.69..5.....46.8....5.9.674..87...9...  ED=11.7/1.2/1.2
.......12.....3..4.35........3.6....7..85.9..98...76...6893.....7...8.9.5.9.76...  ED=11.7/1.2/1.2
........1......234....25.......67.....728...9.265.9.8..69......2.879....75.8.6...  ED=11.7/1.2/1.2
........1......234....25.......67.....728...9.265.9.8..69......2.87.....75.8.69..  ED=11.7/1.2/1.2
..............1..2....3..45..361.7...18.79...76.8.39...8.......3.1.86.7.69...7...  ED=11.7/1.2/1.2
..............1..2....34.56..371.8...14.89...87...39...4.......3.1.47.8.79...8...  ED=11.7/1.2/1.2
........1.....2..3....4..56..472.....28.19...17.8.49...8.......4.2.87.1.79...1...  ED=11.7/1.2/1.2
........1.....2..3....45.67..482.....25.19...18...49...5.......4.2.58.1.89...1...  ED=11.7/1.2/1.2
........1...234.....2..5..........67..6..81.9..7.6928..28...7..17.9..8.66.9......  ED=11.7/1.2/1.2
........1..2..3....41.56..........27......8.9.29.8.41..78...9.42.48.....91.7....2  ED=11.7/1.2/1.2
..............1..2....34.56..174.8...4.1.39...73.89....97......1.8......43..17.9.  ED=11.7/1.2/1.2
........1.....2..3....45.67..285.9...5.2.4....84.91....18......2.9......54..28.1.  ED=11.7/1.2/1.2
........1.....2.34.23...5......65.....67.8....8532...7.67......5.2...8..83....7.5  ED=11.7/1.2/1.2
........1.....2.34.23...5......65.....67.8.5..8.32...7.67......5.2...8..83....7.5  ED=11.7/1.2/1.2
..............1..2....34.56..7.134...18.7.9..43.8.9....94......1.3..8..787.......  ED=11.7/1.2/1.2
........1....23.......45.67..1.345...32...8..54.2.8....8...1...2.......53.4.5..1.  ED=11.7/1.2/1.2
........1....23.......45.67..1.345...32...8...4.2.8....85..1...2.......53.4.5..1.  ED=11.7/1.2/1.2
................12....34.56..1..6....52.7..6.8.......7.7.6...2521.8.....5.67..1.8  ED=11.7/1.2/1.2
................12....34.56..1..6....52.7..6.86......7.7.6...2521.8.....5..7..1.8  ED=11.7/1.2/1.2
........1....23.......45.67..1.345...32...8..54.2.8....85..1...2.......53.4....1.  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27...8..43.7.8....8...1...2.3.47.1.7.......4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27...8...3.7.8....84..1...2.3.47.1.7.......4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...2741.8...3.7.8....84......2.3..7...71......4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27.1.8..43.7.8....84......2.3..7...71......4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27.1.8...3.7.8....84......2.3.47...71......4  ED=11.7/1.2/1.2
........1.....2.......34.56..1.234...27.1.8..43.7.8....8.......2.3.47...71......4  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...567..8..72.68.....8..1....5.2..7.1.6.......7  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...2.68.....567.18...87.1....5.2......61......7  ED=11.7/1.2/1.2
........1.....2.34....56.....267.....658..7..7...258...87.1....52.....1.6.1.....8  ED=11.7/1.2/1.2
........1.....2.......3..45..36.7....6281.7..7...238...87......23...6.1.6.1.....8  ED=11.7/1.2/1.2
........1.....2.34....56.....267.....658.17..7...258...87......52.....1.6.1.....8  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...276..8..63.7.8....8...1...2.3.67.1.7.......6  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...276..8...3.7.81...86..1...2.3..7...71......6  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...2761.8...3.7.8....86..1...2.3..7...71......6  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...2761.8...3.7.8....86......2.3..7.1.71......6  ED=11.7/1.2/1.2
................12....34..5..2..6....51.7...68......7..7.6...5112.8..6..5.67..28.  ED=11.7/1.2/1.2
................12....34..5..56..27..217..8.67..8...51.87......15...6...2.6.8....  ED=11.7/1.2/1.2
........1.....2.34....56.....267.1...658..7..7...258...87.1....52.......6.1.....8  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...2.68.1...567..8...87.1....5.2......61......7  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...2.68.....567.18...87......5.2....1.61......7  ED=11.7/1.2/1.2
................12....34..5..56..27..217..8.6.6.8...51.87......15...6...2.6.8....  ED=11.7/1.2/1.2
........1.....2.34.23...5......65.....67.8.5..8.32...7.67.....25.....8..83.2..7..  ED=11.7/1.2/1.2
........1.....2.34.23...5......65.....67.8.5..8.32...7.67.....25.2...8..83....7..  ED=11.7/1.2/1.2
........1.....2.34..2...56......5.....4.786...364......43....2.1.52..3..6..5..41.  ED=11.7/1.2/1.2
........1.....2.3...4...2.5....34.6....7.8....4.26..83.2.6.3..8.86.47...7.3......  ED=11.7/1.2/1.2
........1.....2.34..2...56......5.4...4.786...364......43....2.1.52..3..6..5...1.  ED=11.7/1.2/1.2
........1.....2.3...4...2.5....34.6....7.8....4.26..83.2.6....8.86.473..7.3......  ED=11.7/1.2/1.2
........1....23.45..21.436......5..3...34.1...5..16.2.2.....4..7..6.....869......  ED=11.7/1.2/1.2
........1....23.45..21.436......5..3...34.1...5..16.2.2.....4.67..6.....8.9......  ED=11.7/1.2/1.2
..............1..2....34.56..37.8....7149.8...9..134...48......13...7..97.9......  ED=11.7/1.2/1.2
..............1..2....34.56..37.8....7149.8...9..134...48..9...13...7..97........  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......23..7..817..8...6.8..23...2.761.8..36.7..1..  ED=11.7/1.2/1.2
..............1..2....34.56..7.......31..7..894...8....8..134..17..8.9..3.47.9...  ED=11.7/1.2/1.2
........1.......23....45..6..4..7....8.69.....978.4....65..9...47..8.5..9.8.7.6..  ED=11.7/1.2/1.2
........1.......23....45..6..4.7.....78..96..95..684...69.5....7.589....8....7...  ED=11.7/1.2/1.2
........1.......23....45.....4.6.....67..89..85..974...98.5....6.578..9.7....6...  ED=11.7/1.2/1.2
........1....23.45..21.436.......4...7.6.....689...........5..32..34.1..5...16.2.  ED=11.7/1.2/1.2
........1....23.45..21.436.......4.6.7.6......89...........5..32..34.1..5...16.2.  ED=11.7/1.2/1.2
........1.......23....45..6..7..4....8.69.....948.7.6..65..9...47..8.5..9.8.7....  ED=11.7/1.2/1.2
.......12.....3..4.35..........67....8.3.96..9..85.7...68......39...8.7.5.7.96...  ED=11.7/1.2/1.2
........1.......23....45.....6..4....7.89.....947.6.8..85..9...46..7.5..9.7.6.8..  ED=11.7/1.2/1.2
........1...234.....2..5..........6...6.781.9..8..927..27...8..18.9..7.66.9......  ED=11.7/1.2/1.2
........1..2..3....14.56..........74......8.9.48.7.12...19....8.79....4282.7.....  ED=11.7/1.2/1.2
........1......234....25.......6......65.7.89..928...7.2897....59.8.6...6.7......  ED=11.7/1.2/1.2
........1......234....25.......6......65.7.89..928...7.289.....59.8.67..6.7......  ED=11.7/1.2/1.2
..............1..2....34.56..371.8...14.89....7...39...48......3.1.47.8.79.......  ED=11.7/1.2/1.2
........1.....2..3....45.67..482.....25.19....8...49...51......4.2.58.1.89.......  ED=11.7/1.2/1.2
........1.....2.......3..45..1.236...276..8...3.7.8....86..1...2.3..7.1.7.......6  ED=11.7/1.2/1.2
........1.....2.34....56.....1.257...2.68.....567..8...87.1....5.2....1.6.......7  ED=11.7/1.2/1.2
................12....34..5..2..6....51.7....86.....7..7.6...5112.8..6..5..7..28.  ED=11.7/1.2/1.2

Hidden Text: Show
Code: Select all
........1......234.....5.6...2.78....7.2.9.86.8956.....68.52...29.6.7...7.598....  ED=11.6/1.2/1.2
........1......234....25.6...2.78....7...9.86.8956.....68.52...29.6.7...7.598....  ED=11.6/1.2/1.2
........1.....2.34.....35.6..7.......2819....93..271...8273....3.9.81...71.2.9.8.  ED=11.6/1.2/1.2
........1.....2.34.....35.6.17......2.8.9....39..271...39.81...17.2.9.8.8.273....  ED=11.6/1.2/1.2
..............1.23.....24.5.16.7....72..189..9.8.......6182..9.2.7.69...89.1.7.6.  ED=11.6/1.2/1.2
..............1.23....451.6..7.......5849....41.5.7.9..8517....1.48.9...79..548..  ED=11.6/1.2/1.2
..............1.23....451.6.145.7...7.8......95.48.....87.549..4.19.....59.17.8..  ED=11.6/1.2/1.2
..............1.23....451.6.145.7.8.7.8......95.4......87.549..4.19.8...59.17....  ED=11.6/1.2/1.2
........1.....2345.23....6...2.67.....893....97...86...6.7.....28...9...3.7.86.92  ED=11.6/1.2/1.2
........1.....2345.23....6.....67.....893....97.2.86...6.7.....28...9...3.7.86.92  ED=11.6/1.2/1.2
........1......234....25.6...75.8....8629..7595...6....69......5.87.96..72..8....  ED=11.6/1.2/1.2
........1......234.....5.....6.27..8.7895....92.6.8....895.2...2.7..68..65..7.9..  ED=11.6/1.2/1.2
........1......234.....5..6..7.28....8965....62.7.9....965.2...2.8..79..75..8.6..  ED=11.6/1.2/1.2
........1......234.....5..6..7.28....8965....62.7.9....9.5.2...2.8.679..75..8.6..  ED=11.6/1.2/1.2
........1......234.....5.....6.27.8..7985....82.6.9....9.5.2...2.7.869..65..7.8..  ED=11.6/1.2/1.2
........1......234.....5.....6.27..8.7895....92.6.8....8.5.2...2.7.968..65..7.9..  ED=11.6/1.2/1.2
........1......234....25.....2.67....8.59....65.2.8.7..269..7..79..8....8.57.69..  ED=11.6/1.2/1.2
........1......234....25.....2.67....8.59....65...8.7..269..7..79..82...8.57.69..  ED=11.6/1.2/1.2
.......12.....3..4.35........6.57.8..783.....59..6.....63.98...8.75.69..9..73.8..  ED=11.6/1.2/1.2
........1.....2.34.25........6.78...7..95.8..89.2.67...895.....2.7.6....56..29.8.  ED=11.6/1.2/1.2
........1.....2.34.25.......56.78...7..95.8..89.2.67...6..29.8..895.....2.7.6....  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75.2.8....279..6...9..8....8.56.79..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75...8....279..6...9..82...8.56.79..  ED=11.6/1.2/1.2
........1......234....25.....6..7.8..7958....82..69....9..52...2.78.69..65.7..8..  ED=11.6/1.2/1.2
........1......234....25.....6..7..8.7859....92..68....8..52...2.79.68..65.7..9..  ED=11.6/1.2/1.2
........1......234....25.....6..7..8.7859....92..68....89.52...2.7..68..65.7..9..  ED=11.6/1.2/1.2
........1......234....25..6..2.7.....8659....75.2.8.6..279.....69..8....8.56.79..  ED=11.6/1.2/1.2
........1......234....25..6..2.7.....8659....75...8.6..279.....69..82...8.56.79..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8.59....75.2.8.6..279.....69..8....8.56.79..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8.59....75...8.6..279.....69..82...8.56.79..  ED=11.6/1.2/1.2
........1...234.....2..5.....6.7..28.89...71.72....6.9..89...76.9....1.261.7...8.  ED=11.6/1.2/1.2
........1...234.....2..5.....6.7..28.7....6.98.9...71..289...7616.7...8.9.....1.2  ED=11.6/1.2/1.2
........1.....2.34.25.....6..7.5....2.896....59.2.7.6...98.6...67..298..8..57....  ED=11.6/1.2/1.2
........1.....2.34.25.....6..7.5.....8.2.7.6.2.986.....589.6...67..289..9..57....  ED=11.6/1.2/1.2
........1.....2.34.25.....6..7.86...69.2.78..8..95.....695.....2.8.7....57..29.6.  ED=11.6/1.2/1.2
........1.....2.34.25.....6.57.86...69.2.78..8..95.....695......7..29.6.2.8.7....  ED=11.6/1.2/1.2
........1......234.....5.....2.67.8..6.2.8..9.7859.....97.52...28.9.6...6.587....  ED=11.6/1.2/1.2
..............1.23.....24.5..6.......1789....82.1.69...7126..9.2.87.....69..18.7.  ED=11.6/1.2/1.2
........1......234.....5.....6..2....75.869..82.79.....926.7.8.6.8.59...7..82...9  ED=11.6/1.2/1.2
........1.......23....45..6..14.7....54.891..97..1.8...897.....41.85....5.7.94...  ED=11.6/1.2/1.2
........1.......23....45..6..1..7....54.891..97.51.8...897.....41.85....5.7.94...  ED=11.6/1.2/1.2
........1.....2.34....56.....16......56.718..72...81...872.....5.2.67..861.8.5...  ED=11.6/1.2/1.2
........1.....2.34....56.....162.....56.718..72...81...87......5.2.67..861.8.5...  ED=11.6/1.2/1.2
........1.....2.34.23........5.67.8..7.23....36.5.8....32.756.86...2....85...67..  ED=11.6/1.2/1.2
........1.....2.34....56.....1.......56.718..72.5.81...872.....5.2.67..861.8.5...  ED=11.6/1.2/1.2
........1.....2.34....56.....1.2.....56.718..72.5.81...87......5.2.67..861.8.5...  ED=11.6/1.2/1.2
........1.....2.34.23........5.2.....32.567.886...75....6.75.8..5.23....37.6.8...  ED=11.6/1.2/1.2
........1.....2.34.23........5.67.8..7.23....36.5.8....32.756..6..82....85...67..  ED=11.6/1.2/1.2
........1.....2.34.23........5.67.8..7.23....36.5.8.....782.....32.756..85...67..  ED=11.6/1.2/1.2
........1......234.....5..6..2.78....7.2.9.6..8956.....68.52...29...78..7.59.....  ED=11.6/1.2/1.2
........1......234.....5.....2.67....6.2.8.9..7859.....97.52...28...67..6.58..9..  ED=11.6/1.2/1.2
........1......234....25.....2.6.....7859....65.2.7.8..269..8...9..7....7.58.69..  ED=11.6/1.2/1.2
........1......234....25.....2.6.....7859....65...7.8..269..8...9..72...7.58.69..  ED=11.6/1.2/1.2
........1.....2.34.25........6.5.....7.2.6.8.2.978.....579.....86..279..9..56.8..  ED=11.6/1.2/1.2
........1......234....25..6..2.78....7...9.6..8956.....68.52...29...78..7.59.....  ED=11.6/1.2/1.2
........1......234....25.....2.67....6...8.9..7859.....97.52...28...67..6.58..9..  ED=11.6/1.2/1.2
........1.....2.34.25........6.5....2.789....58.2.6.9...87.....7..56.9..96..287..  ED=11.6/1.2/1.2
........1...234.....2..5..........67..6.8.2.9.97...18..78....122.97....661.8..9..  ED=11.6/1.2/1.2
........1...234.....2..5..........67.16.7.2.8.8....19..97....8.1.89..7.662.7..9..  ED=11.6/1.2/1.2
........1.....2.34235.......26.7.8.5.7.......3.8...7.6.52.87...7..56....86.2.3...  ED=11.6/1.2/1.2
........1.....2.34235.......26.7.8.5.7.......3.8...7.6.5..87...7.356....86.2.3...  ED=11.6/1.2/1.2
........1.....2.34235........2.67...68.2.3...7..58.....28.7.6.53.6...7.857.......  ED=11.6/1.2/1.2
........1.....2.34235..........67...68.2.3...7.358.....28.7.6.53.6...7.857.......  ED=11.6/1.2/1.2
........1.....2.34....562....267.1...658.1...7...258...8.......52..68..76.1..7...  ED=11.6/1.2/1.2
........1.....234...2.315.6...1.4.53.1..652...4.32......4...6...6..53...7.8..6...  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75.2.8....276..9...9..8....8.5..76..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75.2.8....27...9..69..8....8.5..76..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75...8....276..9...9..82...8.5..76..  ED=11.6/1.2/1.2
........1.......23....45.....6..7.8..7849....95..68.7..89.5....5.7..6...64.78.9..  ED=11.6/1.2/1.2
........1.......23....45.....4.67.8..685.9....7..8..69.96..4...48..7....7.58.69..  ED=11.6/1.2/1.2
........1.......23....45.....647..8..785.9...94..86.7..89......4.7.6....65.7.89..  ED=11.6/1.2/1.2
........1.......23....45.....4.67.8..685.9....7.48..69.96......48..7....7.58.69..  ED=11.6/1.2/1.2
........1.......23....45.....6..4....758.69..84.97.....94.67.8.6.85.9...7...8..6.  ED=11.6/1.2/1.2
........1......234.....5.....2.67.8..685.9....7..8..69.96..2...28..7....7.58.69..  ED=11.6/1.2/1.2
........1......234.....5.....2.67.8..685.9....7.28...9.96..2...28.97....7.58.6...  ED=11.6/1.2/1.2
........1......234.....5.....2.67.8..685.9....7..8..69.96..2...28.97....7.58.6...  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8659....75...8....27...9..69..82...8.5..76..  ED=11.6/1.2/1.2
........1.......23....45.....6.......7486.9..85.9.7....95.76.8.6.849....7..5.8.6.  ED=11.6/1.2/1.2
........1......234.....5.....2.67.8..685.9....7.28...9.96..2...28..7....7.58.69..  ED=11.6/1.2/1.2
........1......234.....5.....6.7..8..785.9...92..86.7..89..2...2.7.6....65.7.89..  ED=11.6/1.2/1.2
........1......234.....5.....6..2....75.869..82.79.....926.7.8.6.8.59...7..8...6.  ED=11.6/1.2/1.2
........1.......23....45..6..74.8....89.1.7..45...91...1475....8.5.94...97.8.....  ED=11.6/1.2/1.2
........1.......23....45..6..74.8....89.1.7..45...91...1475....8.5.94..79..8.....  ED=11.6/1.2/1.2
........1.......23....45..6..7..8....8951.7..45...91...1475....8.5.94...97.8.....  ED=11.6/1.2/1.2
........1.......23....45..6..7..8....8951.7..45...91...1475....8.5.94..79..8.....  ED=11.6/1.2/1.2
........1.....2.34....56..7..8.......52.68..916.9.5....9..2....28...91..5.6.819..  ED=11.6/1.2/1.2
........1......234....25.....5.......6.7.8.9..89.52.67.9658.7..5.2..9...87...6...  ED=11.6/1.2/1.2
........1......234....25.....5.......6.7.8.9..89.52.67.9658....5.2.79...87...6...  ED=11.6/1.2/1.2
........1......234....25.....5.......6.7.8.9..89.52.67.96.8.7..5.2..9...87.2.6...  ED=11.6/1.2/1.2
........1......234....25.....5.......6.7.8.9..89.52.67.96.8....5.2.79...87.2.6...  ED=11.6/1.2/1.2
........1......234....25.....67.8.9..98.52.6.75........6958.7..52...9...8.7..6...  ED=11.6/1.2/1.2
........1......234....25.....6..7.8..87.52.6995........6857....52..98...7.9..6...  ED=11.6/1.2/1.2
........1......234....25.....6..7.8..87.52.6995........68.7....52..98...7.92.6...  ED=11.6/1.2/1.2
........1.....2.34....56.....72......52.67..816.8.5....8.6.....27...81..5.6.718..  ED=11.6/1.2/1.2
........1.....2.34....56.....7.......52.67..816.8.5....8.62....27...81..5.6.718..  ED=11.6/1.2/1.2
........1.....2.34.23.......32.567.87...2....86...75...5..3.....7.6.8...2.6.75.8.  ED=11.6/1.2/1.2
........1......234....25.....67.8.9..98.52.6.75........69.8.7..52...9...8.72.6...  ED=11.6/1.2/1.2
........1.....2.34....56.....7.......52.67..816.8.5....8..2....27.5.81..5.6.718..  ED=11.6/1.2/1.2
........1.....2.34.23........5.2.....32.567.886...75...5..3.....7.6.8...2.6.75.8.  ED=11.6/1.2/1.2
........1.....2.34.23........526.....325.78..67...85...5.3......8..76...2.78.5.6.  ED=11.6/1.2/1.2
........1.....2.34.23.......32.567..7..82....86...75...5..3.....7.6.8...2.6.75.8.  ED=11.6/1.2/1.2
........1......234....25.....6.7...8.785.9...92..86....89..2...2.7.6.8..65.7..9..  ED=11.6/1.2/1.2
........1......234....25.....627...8.785.9...92..86....89......2.7.6.8..65.7..9..  ED=11.6/1.2/1.2
........1.....2.34....56..7..8.......29..81..65..918...168.5...2.5.69..89..2.....  ED=11.6/1.2/1.2
........1.....2345.23..........2.....32.67.8997...8.6..6..3.....8.7.9...2.7.869..  ED=11.6/1.2/1.2
........1.....2345.23.........26.....327.8.9.68...9.7..7.3......9..86...2.89.76..  ED=11.6/1.2/1.2
........1....23.45..21.436.......4...7.6.....689...........5..32...16.5.5..34.12.  ED=11.6/1.2/1.2
........1....23.45..21.436.......4.6.7.6......89...........5..32...16.5.5..34.12.  ED=11.6/1.2/1.2
........1....23.......45.67..8.345...452.8...23....8...12.....84.3....1.58...1...  ED=11.6/1.2/1.2
........1....23.......45.67..8.345...452.8...23..1.8...12.....84.3....1.58.......  ED=11.6/1.2/1.2
........1....23.......45.67..1.345...32.1.8..54.2.8....85......21......83.4....1.  ED=11.6/1.2/1.2
........1....23.......45.67..42.8....235..8..8...345...58..1...2.1.....834.....1.  ED=11.6/1.2/1.2
........1....23.......45.67..42.8....2351.8..8...345...58......2.1.....834.....1.  ED=11.6/1.2/1.2
................12....34.56..75...61.658..27.21.7....8.82..7...57.......6.1.8....  ED=11.6/1.2/1.2
................12....34.56..75...61.128....756.7..28..85......1.6..7...27..8....  ED=11.6/1.2/1.2
................12....34.56..1..7....52.8....76......8.8.6...2521.7...8.5.68..1.7  ED=11.6/1.2/1.2
................12....34.56..57..1.8.128..67.8..6...25.68......1.7..8...25..7....  ED=11.6/1.2/1.2
........1.....2.34235........6...7.8.28.3.6.5.7........526.7...68..23...7..85....  ED=11.6/1.2/1.2
........1.....2.34235........6...7.8.28.3.6.5.7........5.6.7...68..23...7.385....  ED=11.6/1.2/1.2
........1.....2.34235........2.67...68.2.3...7..58......6...7.8.283..6.557.......  ED=11.6/1.2/1.2
........1.....2.34235..........67...68.2.3...7.358......6...7.8.283..6.557.......  ED=11.6/1.2/1.2
........1....23.......45.67..1.345...3251.8...4.2.8....85......21......83.4....1.  ED=11.6/1.2/1.2
................12....34.56..57..1.8.128..67..7.6...25.68......1.7..8...25..7....  ED=11.6/1.2/1.2
........1.....2.34..2.4.56......4....25.78....63........41..3.6.562...1.31.....25  ED=11.6/1.2/1.2
........1.....2.34..2.4.56......4....25.78....63........41..3.6.562..4..31.....25  ED=11.6/1.2/1.2
........1.....2345.36..........6.....6372..899.78...2...2.3......89.7...67..8.9..  ED=11.6/1.2/1.2
........1.....2345.36..........6.....637...899.78...2...2.3......89.7...67.28.9..  ED=11.6/1.2/1.2
........1.....2345.36..........67....6382..9.7.89...2...2.3......97.8...68..9.7..  ED=11.6/1.2/1.2
........1.....2345.36..........67....638...9.7.89...2...2.3......97.8...68.29.7..  ED=11.6/1.2/1.2
........1......234....25.......6.....672.8.9.89.57......6.879...729.....98.6..5..  ED=11.6/1.2/1.2
........1......234....25..6..2.7.....8659....75.2.8.6..276..9...9..8....8.5..7...  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8.59....75.2.8.6..27...9..69..8....8.5..7...  ED=11.6/1.2/1.2
........1......234....25..6..2.7.....8659....75...8.6..276..9...9..82...8.5..7...  ED=11.6/1.2/1.2
........1.....2.34.25.....6..7.5....2.896....59.2.7.6...98......7..29...6..57.8..  ED=11.6/1.2/1.2
........1.....2.34.25.....6...57.8....98.6....7..29....67.5....2.89.....59.2.7.6.  ED=11.6/1.2/1.2
........1...234.....2..5.....6.7..8..89...1.772.....96..89..76..9......261.7..8..  ED=11.6/1.2/1.2
........1.....2.34.25.....6..7.5.....8.2.7.6.2.986.....589......7..28...6..57.9..  ED=11.6/1.2/1.2
........1......234....25.....2.6.....7859....65.2.7.8..268..9...9..7....7.5..68..  ED=11.6/1.2/1.2
........1......234....25.....2.67....8.59....65.2.8.7..26...9..79..8....8.5..67..  ED=11.6/1.2/1.2
........1......234....25.....2.6.....7859....65...7.8..268..9...9..72...7.5..68..  ED=11.6/1.2/1.2
........1.....2.34.25........6.5....2.789....58.2.6.9...87......6..289..9..56.7..  ED=11.6/1.2/1.2
........1.....2.34.25.........56.7....87.9....6..289...96.5....2.78.....58.2.6.9.  ED=11.6/1.2/1.2
........1.....2.34.25........6.5.....7.2.6.8.2.978.....579......6..278..8..56.9..  ED=11.6/1.2/1.2
........1......234....25..6..2.78....795.6....8..9..6..67..2...29..8.7..8.59.....  ED=11.6/1.2/1.2
........1......234....25..6..2.78....795.6....8.29..6..67......29..8.7..8.59.....  ED=11.6/1.2/1.2
........1......234....25.....2.67....685.9....7..8..9..96..2...28..7.6..7.58..9..  ED=11.6/1.2/1.2
........1......234....25..6..2.76....8.59....75...8.6..27...9..69..82...8.5..7...  ED=11.6/1.2/1.2
........1......234....25.....2.67....8.59....65...8.7..26...9..79..82...8.5..67..  ED=11.6/1.2/1.2
........1.....2.34.25.....6...57.8...598.6....7..29....67.5.....9.2.7.6.2.89.....  ED=11.6/1.2/1.2
........1.....2.34.25.........56.7...587.9....6..289...8.2.6.9..96.5....2.78.....  ED=11.6/1.2/1.2
........1......234....25.....2.67....685.9....7.28..9..96......28..7.6..7.58..9..  ED=11.6/1.2/1.2
........1...234.....2..5.....6.7.28..7.....968.9...1.7.289..76.16.7..8..9........  ED=11.6/1.2/1.2
........1..2..3.45..1.4236....2.51.3...41..2..2..364.....56....7.....6..89.......  ED=11.6/1.2/1.2
........1....23....24....56.7.89..4.2.8......49..32.7..89.7....3...4....7..2.98..  ED=11.6/1.2/1.2
........1....23....24....56.7..32.8..8.97..4.2.9.......97.8....3...4....84.2.79..  ED=11.6/1.2/1.2
........1....23....24....56.7.89..4.2........49..32.78.89.7....3...4....7..2.98..  ED=11.6/1.2/1.2
........1....23....24....56.7..32.89.8.97..4.2.........97.8....3...4....84.2.79..  ED=11.6/1.2/1.2
........1.....2.34....56..7..2.68.....8.....516.9.5....9..2....28...91..5.6.819..  ED=11.6/1.2/1.2
........1.....2.34....56..7..8.....5.52.68...16.9......9..2....28...91..5.6.819..  ED=11.6/1.2/1.2
..............1.23....45..6..1.57..8..7.....459.8.4....45.798..71...89..8...1....  ED=11.6/1.2/1.2
..............1.23....45..6..7.....4.41.57..895.8......8..1....17...89..4.5.798..  ED=11.6/1.2/1.2
..............1.23....45..6..1.57..8..71....459.8.4....45.798..71...89..8........  ED=11.6/1.2/1.2
..............1.23....45..6..7.......18..79..54..897...957.....1.4.58..78..1....4  ED=11.6/1.2/1.2
........1.....2.34....56..7..2.68.....82....516.9.5....9.......28...91..5.6.819..  ED=11.6/1.2/1.2
........1.....2.34....56..7..8.......29..81..65..918...168.....2.5.69...9..2....5  ED=11.6/1.2/1.2
..............1.23....45..6..1.57....871....459.8.4....45.798..71...89..8........  ED=11.6/1.2/1.2
..............1.23....45..6..1.57....871....459.8.4.....9.......45.798..71...89..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6582..9.78.9...2..2..65....9.7.8...5.8.9.7..  ED=11.6/1.2/1.2
..............1.23....45..6..7.......18..79..54..897...957.....1.4.58...87.1....4  ED=11.6/1.2/1.2
..............1.23....45..6..7.......238...9796.7....8.89..26..2.6....3937....8..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....658...9.78.9...2..2..65....9.7.8...5.829.7..  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....6572..8997.8...2..2..65....8.9.7...5.7.8.9..  ED=11.6/1.2/1.2
..............1.23....45..6..1.57....87.....459.8.4....45.798..71...89..8...1....  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....6572..8997.8...2...7.8.9...2..65...68.9.7...  ED=11.6/1.2/1.2
..............1.23....45..6..1.57....87.....459.8.4.....9.1.....45.798..71...89..  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....657...8997.8...2..2..65....8.9.7...5.728.9..  ED=11.6/1.2/1.2
..............1.23....45..6..7....6..689....732.7...89.93...7..6.2....3887...2...  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....657...8997.8...2...728.9...2..65...68.9.7...  ED=11.6/1.2/1.2
..............1.23....45..6..7....6..238...9796.7....8.89..2...2.6....3937....8..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6582..9.78.9...2...8.9.7...2..65...69.7.8...  ED=11.6/1.2/1.2
........1.....2.34.56..........57....658...9.78.9...2...829.7...2..65...69.7.8...  ED=11.6/1.2/1.2
........1.....2.34..2.1356.........6.7...5....89.6........241.52..35....4..1.6.23  ED=11.6/1.2/1.2
........1.....2.34..2.1356.........6.7...5....89.61.......241.52..35....4....6.23  ED=11.6/1.2/1.2
........1.....2.34..2.1356.....241.5...35.....4.1.6.232.......67....5...8.9.6....  ED=11.6/1.2/1.2
........1.....2.34..2.1356.....241.5...35.....4...6.232.......67....5...8.9.61...  ED=11.6/1.2/1.2
........1....23.......45.67..1.345...32...8..54.2.8....85..1...2.......83.4....1.  ED=11.6/1.2/1.2
........1....23.......45.67..1.345...325..8...4.2.8....85..1...2.......83.4....1.  ED=11.6/1.2/1.2
................12....34.56..1..7....52.8....76......8.8.6...2521.7..6..5..8..1.7  ED=11.6/1.2/1.2
........1...234.....2..5..........67..7.8.29..96...1.8.68......2.96...7.71.8..9..  ED=11.6/1.2/1.2
.......12.....34.5..2.4.63....1.5.23...42.....1..36.4.1..5.....7......6.896......  ED=11.6/1.2/1.2
........1...234.....2..5..........67.16.7.2.8.8....19..97....8.1.87....662.9.....  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6.82..9..8.9...25.27.6.....9.7.8...5.8.9.7..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6.8...9..8.9...25.27.6.....9.7.8...5.829.7..  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....6.72..8997.8...25.2..6.....8.9.7...5.7.8.9..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6.82..9.78.9...25.2..6.....9.7.8...5.8.9.7..  ED=11.6/1.2/1.2
........1.....2.34.56..........57....6.8...9.78.9...25.2..6.....9.7.8...5.829.7..  ED=11.6/1.2/1.2
........1.....2.34.56..........5.....6.7...8997.8...25.2..6.....8.9.7...5.728.9..  ED=11.6/1.2/1.2
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby denis_berthier » Fri Mar 18, 2022 5:15 am

.
Hi mith,
Until recently, problems of redundancy (puzzles with the same Singles-expansion) in the hardest collection hadn't appeared. I don't know if it's because most of the puzzles don't have Singles at the start or because nobody had looked into the problem before or because in such cases only the first found puzzle was kept.

Now that this problem is taking huge proportions, you have introduced a separate database, with contains only the Singles-expansions (most of which will not be minimal puzzles, but that's irrelevant to rating them). This is an interesting step forward.

However, there seems to appear another problem. Puzzles in the collection of Singles-expansions maybe extensions of one another, as you have already noticed. This is another kind of redundancy. It remains interesting to keep all of them in the Singles-expansions collection, but, in order to avoid redundant calculations every time one tries to use it, we also need a means of marking which is a subset of which.
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby denis_berthier » Fri Mar 18, 2022 11:34 am

.
denis_berthier http://forum.enjoysudoku.com/the-hardest-sudokus-new-thread-t6539-1048.html 2022, March 1st wrote:Here is probably the breakthrough of the year in Sudoku.
THE FOLLOWING TWO PUZZLES FOUND BY MITH ARE NOT IN T&E(2):
Code: Select all
........1.....2.......3..45..6.......71.8....23..67..8.827..1..6...23...7.381.6.. ED=11.9/1.2/1.2
........1.....2.......3..45..1.23....267.81..73.61.8...17.6.....8.......2.3.87..6 ED=11.8/1.2/1.2

...
Second consequence: this opens a totally new approach to the search for the really hardest puzzles.
Instead of searching for high SER, search for puzzles not in T&E(2). This implies trying billions or trillions of puzzles but very fast generators already exist and a very fast T&E(2) procedure can be written (contrary to the SER test).
The only disadvantage of this approach would be it can't produce any of the already known 'hardest" (except the above two).
One clear advantage is, my T&E(n) classification is intrinsic and stable under Sudoku isomorphisms.


Since I published [PBCS1, 2012] and its BpB classification of hard puzzles, there have been 10 years of intensive search for puzzles harder than those known at that time. There had been almost as many years before. During all the time since [PBCS1], I've been systematically rating all the new 11.8s and 11.9s, but none has surpassed the B7B barrier already reached in 2012. Notice that I never check directly that a puzzle belongs to T&E(2): this is implied by it being in some BpB.

As usual, when Mith published his new 11.9 (the 10th known 11.9, Loki, ........1.....2.......3..45..6.......71.8....23..67..8.827..1..6...23...7.381.6.. ED=11.9/1.2/1.2) on Feb. 28th, I tried to find its BpB classification. But computations for membership in B7B lasted much longer than expected. That's what made me check if it was in T&E(2). I've already told my surprise when I found the negative answer. One important point here is, the T&E(n) broad classification is able to detect differences that the SER can't.

When I wrote about the second consequence of this discovery 18 days ago, I didn't imagine the new approach would be applied so fast and so many puzzles not in T&E(2) would be found in so short time. It's true that most of them are closely related and new seeds should be searched for, but nevertheless I'm glad to see how productive this new approach is.
.
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby denis_berthier » Fri Mar 18, 2022 11:38 am

mith wrote:Ok, here are the results - I've gone from 88 expanded puzzles to 246:

Code: Select all
..............1..2....34.56.14.78...73.94....8.91.37...98......17.......4.3.19.8.;28
........1.....2.3.....4.56......7.....481.2..19..248...89..1..742..78..97.1.9....;28
...

I haven't checked whether these puzzles are indeed not in T&E(2), but I've checked if any is harder than the new known hardest.
The answer is negative: all of them are (at most) in T&E(W2, 2) = T&E(B2, 2);

Considering the way they were generated (very close to each other), I'm not really surprised.
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

PreviousNext

Return to General