Analysis of zz-www.sudokuoftheday.co.uk-20060411-absurd-base.sdk
Contents
Sudoku from http://www.sudokuoftheday.co.uk/cgi-bin/sudoku1280.cgi?ACTION=archive2&USER=&MONTH=Apr&YEAR=2006
level: medium
position: 71..3.6.......7.....345...9...21.79.6.2.....3...5....4.3.......4.6.....2.5.8.9... initial
Autosolve
position: 71.93.6.......7...8.345..79...21.79.6.27....3.7.5....4.3.......4.637...2.5.8.9... autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* PRF # C2: 4,5 => SOL * DIS # C2: 4 => CTR => C2: 5,9 * PRF # E2: 2,6 => SOL * DIS # F3: 1 => CTR => F3: 2,6 * PRF # E2: 6 => SOL * PRF # F3: 2 => SOL * DIS # H1: 5,8 => CTR => H1: 2,4 * DIS # G2: 5,8 => CTR => G2: 1,2,3,4 * DIS # H2: 5,8 => CTR => H2: 1,2,3,4 * DIS # I7: 5,8 => CTR => I7: 1,6,7 * DIS # G2: 1,2 => CTR => G2: 3,4,5,8 * DIS # H2: 1,2 => CTR => H2: 3,4,5,8 * DIS # F3: 6 => CTR => F3: 1,2 * DIS # F4: 4,8 => CTR => F4: 3,6 * DIS # F4: 4,8 => CTR => F4: 3,6 * PRF # H6: 6,8 => SOL * DIS # I7: 6,8 => CTR => I7: 1,5,7 * DIS # G2: 1,5 => CTR => G2: 2,3,4,8 * DIS # G7: 1,5 => CTR => G7: 4,8,9 * DIS # G8: 1,5 => CTR => G8: 8,9 * DIS # H2: 1,5 => CTR => H2: 2,3,4,8 * DIS # H7: 1,5 => CTR => H7: 4,6,8 * DIS # H6: 6 => CTR => H6: 2,8 * DIS # G2: 2,8 => CTR => G2: 1,3,4,5 * DIS # C7: 1,7 => CTR => C7: 8,9 * DIS # G8: 1,5 => CTR => G8: 8,9 * DIS # B5: 4 => CTR => B5: 8,9 * DIS # A7: 9 => CTR => A7: 1,2 * DIS # C7: 1,7 => CTR => C7: 8,9 * DIS # I9: 6 => CTR => I9: 1,7 * DIS # F7: 1,6 => CTR => F7: 2,4,5 * DIS # H7: 1,6 => CTR => H7: 4,5,8 * DIS # I7: 1,6 => CTR => I7: 5,7,8 * DIS # F7: 2,4,6 => CTR => F7: 1,5 * DIS # G8: 1,5 => CTR => G8: 8,9 * CNT 35 HDP CHAINS / 84 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* PRF # C2: 4,5 => SOL * STA C2: 4,5 * CNT 1 HDP CHAINS / 1 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 71..3.6.......7.....345...9...21.79.6.2.....3...5....4.3.......4.6.....2.5.8.9... | initial |
| 71.93.6.......7...8.345..79...21.79.6.27....3.7.5....4.3.......4.637...2.5.8.9... | autosolve |
| 714938625925167438863452179548213796692784513371596284139625847486371952257849361 | solved |
Classification
level: medium
Pairing Analysis
-------------------------------------------------- * PAIRS (21) C1: 4,5 A2: 5,9 B2: 2,6 B3: 2,6 F1: 2,8 D2: 1,6 I1: 5,8 G3: 1,2 A4: 3,5 B4: 4,8 C4: 5,8 F5: 4,8 I4: 6,8 G5: 1,5 H5: 1,5 G6: 2,8 B8: 8,9 A9: 1,2 C9: 1,7 D7: 1,6 F8: 1,5 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D2,F3: 1.. / D2 = 1 => 28 pairs (_) / F3 = 1 => 0 pairs (X) A6,C6: 1.. / A6 = 1 => 0 pairs (X) / C6 = 1 => 24 pairs (_) G5,H5: 1.. / G5 = 1 => 0 pairs (X) / H5 = 1 => 20 pairs (_) F3,G3: 1.. / F3 = 1 => 0 pairs (X) / G3 = 1 => 28 pairs (_) D2,D7: 1.. / D2 = 1 => 28 pairs (_) / D7 = 1 => 0 pairs (X) B2,B3: 2.. / B2 = 2 => 21 pairs (_) / B3 = 2 => 0 pairs (X) G6,H6: 2.. / G6 = 2 => 0 pairs (*) / H6 = 2 => 0 pairs (X) A7,A9: 2.. / A7 = 2 => 0 pairs (X) / A9 = 2 => 22 pairs (_) F1,H1: 2.. / F1 = 2 => 24 pairs (_) / H1 = 2 => 0 pairs (*) A9,E9: 2.. / A9 = 2 => 22 pairs (_) / E9 = 2 => 0 pairs (X) G2,H2: 3.. / G2 = 3 => 22 pairs (_) / H2 = 3 => 21 pairs (_) A4,A6: 3.. / A4 = 3 => 22 pairs (_) / A6 = 3 => 0 pairs (*) F4,F6: 3.. / F4 = 3 => 0 pairs (*) / F6 = 3 => 0 pairs (X) G9,H9: 3.. / G9 = 3 => 21 pairs (_) / H9 = 3 => 22 pairs (_) A4,F4: 3.. / A4 = 3 => 22 pairs (_) / F4 = 3 => 0 pairs (*) A6,F6: 3.. / A6 = 3 => 0 pairs (*) / F6 = 3 => 0 pairs (X) G2,G9: 3.. / G2 = 3 => 22 pairs (_) / G9 = 3 => 21 pairs (_) H2,H9: 3.. / H2 = 3 => 21 pairs (_) / H9 = 3 => 22 pairs (_) C1,C2: 4.. / C1 = 4 => 24 pairs (_) / C2 = 4 => 0 pairs (X) B4,B5: 4.. / B4 = 4 => 21 pairs (_) / B5 = 4 => 0 pairs (X) C1,H1: 4.. / C1 = 4 => 24 pairs (_) / H1 = 4 => 0 pairs (X) B4,F4: 4.. / B4 = 4 => 21 pairs (_) / F4 = 4 => 0 pairs (X) A4,C4: 5.. / A4 = 5 => 0 pairs (*) / C4 = 5 => 0 pairs (X) G5,H5: 5.. / G5 = 5 => 20 pairs (_) / H5 = 5 => 0 pairs (X) F7,F8: 5.. / F7 = 5 => 28 pairs (_) / F8 = 5 => 0 pairs (X) A2,A4: 5.. / A2 = 5 => 22 pairs (_) / A4 = 5 => 0 pairs (*) B2,B3: 6.. / B2 = 6 => 0 pairs (X) / B3 = 6 => 21 pairs (_) I4,H6: 6.. / I4 = 6 => 27 pairs (_) / H6 = 6 => 0 pairs (X) B3,F3: 6.. / B3 = 6 => 21 pairs (_) / F3 = 6 => 0 pairs (X) F4,I4: 6.. / F4 = 6 => 0 pairs (X) / I4 = 6 => 27 pairs (_) D2,D7: 6.. / D2 = 6 => 0 pairs (X) / D7 = 6 => 28 pairs (_) C7,C9: 7.. / C7 = 7 => 0 pairs (X) / C9 = 7 => 21 pairs (_) I7,I9: 7.. / I7 = 7 => 21 pairs (_) / I9 = 7 => 0 pairs (X) C7,I7: 7.. / C7 = 7 => 0 pairs (X) / I7 = 7 => 21 pairs (_) C9,I9: 7.. / C9 = 7 => 21 pairs (_) / I9 = 7 => 0 pairs (X) F1,E2: 8.. / F1 = 8 => 0 pairs (*) / E2 = 8 => 0 pairs (X) C7,B8: 8.. / C7 = 8 => 23 pairs (_) / B8 = 8 => 25 pairs (_) A2,C2: 9.. / A2 = 9 => 0 pairs (*) / C2 = 9 => 0 pairs (X) E5,E6: 9.. / E5 = 9 => 23 pairs (_) / E6 = 9 => 25 pairs (_) G7,G8: 9.. / G7 = 9 => 23 pairs (_) / G8 = 9 => 25 pairs (_) B5,E5: 9.. / B5 = 9 => 25 pairs (_) / E5 = 9 => 23 pairs (_) B8,G8: 9.. / B8 = 9 => 23 pairs (_) / G8 = 9 => 25 pairs (_) B5,B8: 9.. / B5 = 9 => 25 pairs (_) / B8 = 9 => 23 pairs (_) * DURATION: 0:00:46.713259 START: 22:18:06.389479 END: 22:18:53.102738 2019-04-30 * CP COUNT: (43) * SOLUTION FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A2,A4,A9,B2,B3,B4,B8,C1,C4,C9,D2,D7,F1,F5,F8,G3,G5,G6,H5,I1,I4) * 71.93.6.......7...8.345..79...21.79.6.27....3.7.5....4.3.......4.637...2.5.8.9... * PAIR C1: 4,5 BLK 1 C2: 4,5,9 # reduction candidate for 4,5 C2: 4,5 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 C2: 9 # 22 pairs * PAIR C1: 4,5 ROW 1 H1: 4,5,2,8 # reduction candidate for 4,5 H1: 4,5 # 29 pairs H1: 2,8 # 24 pairs * PAIR A2: 5,9 BLK 1 C2: 5,9,4 # reduction candidate for 5,9 C2: 4 => CTR * 71593.6489.4.87..586345..79548213796692748..3371596..41396....748637.9.2.578.9..1 C2: 5,9 # 24 pairs * PAIR B2: 2,6 ROW 2 E2: 2,6,8 # reduction candidate for 2,6 E2: 2,6 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 E2: 8 # 24 pairs * PAIR B3: 2,6 ROW 3 F3: 2,6,1 # reduction candidate for 2,6 F3: 1 => CTR * 71.9326...2.687..1863451279.482137966927....3.7.5..824.371.....486375912.518.9..7 F3: 2,6 # 28 pairs * PAIR F1: 2,8 BLK 2 E2: 2,8,6 # reduction candidate for 2,8 E2: 6 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 E2: 2,8 # 23 pairs * PAIR F1: 2,8 ROW 1 H1: 2,8,4,5 # reduction candidate for 2,8 H1: 4,5 # 29 pairs H1: 2,8 # 24 pairs * PAIR D2: 1,6 BLK 2 F3: 1,6,2 # reduction candidate for 1,6 F3: 2 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 F3: 1,6 # 23 pairs * PAIR I1: 5,8 BLK 3 H1: 5,8,2,4 # reduction candidate for 5,8 H1: 5,8 => CTR * 7149326...2.687..1863451279.482137966927....3.7.5..824.371.....486375912.518.9..7 H1: 2,4 # 22 pairs G2: 5,8,1,2,3,4 # reduction candidate for 5,8 G2: 5,8 => CTR * 715932648924.875318634512795.82137966927....3.7.5..824.3....4..4.637.9.2.5.8493.. G2: 1,2,3,4 # 21 pairs H2: 5,8,1,2,3,4 # reduction candidate for 5,8 H2: 5,8 => CTR * 7159326489246873518634512795.82137966.27.8513371596824.39....6.4.637...2.5.86943. H2: 1,2,3,4 # 21 pairs I2: 5,8,1 # reduction candidate for 5,8 I2: 5,8 # 28 pairs * PAIR I1: 5,8 COL I I7: 5,8,1,6,7 # reduction candidate for 5,8 I7: 5,8 => CTR * 71.93.6.......7..18.3451279.4.21.7966927....31785....4.37......48637.9.2.518.9..7 I7: 1,6,7 # 21 pairs * PAIR G3: 1,2 BLK 3 G2: 1,2,3,4,5,8 # reduction candidate for 1,2 G2: 1,2 => CTR * 7159326489.4.87.358.345..795.82137966927....3.7.5...24.3....4..4.637.9.2.5.8493.. G2: 3,4,5,8 # 21 pairs H2: 1,2,3,4,5,8 # reduction candidate for 1,2 H2: 1,2 => CTR * 7159326489.4.873.58.345..795.82137966.27.8..3371596..4.39..4.674.637...2.5.8.9.3. H2: 3,4,5,8 # 21 pairs * PAIR G3: 1,2 ROW 3 F3: 1,2,6 # reduction candidate for 1,2 F3: 6 => CTR * 71.9326...6.18723.823456179...21.7966.279.513.7.56...4.3.6.5...496371852.5.8.936. F3: 1,2 # 21 pairs * PAIR B4: 4,8 BLK 4 B5: 4,8,9 # reduction candidate for 4,8 B5: 9 # 25 pairs B5: 4,8 # 23 pairs * PAIR B4: 4,8 ROW 4 F4: 4,8,3,6 # reduction candidate for 4,8 F4: 4,8 => CTR * 71493.6.55.9.87.3.8.345..793.521.7966.279...3971563..4.38...94749637...2.57849361 F4: 3,6 # 22 pairs * PAIR F5: 4,8 BLK 5 F4: 4,8,3,6 # reduction candidate for 4,8 F4: 4,8 => CTR * 71493.6.55.9.87.3.8.345..793.521.7966.279...3971563..4.38...94749637...2.57849361 F4: 3,6 # 22 pairs E5: 4,8,9 # reduction candidate for 4,8 E5: 4,8 # 25 pairs * PAIR F5: 4,8 ROW 5 B5: 4,8,9 # reduction candidate for 4,8 B5: 9 # 25 pairs B5: 4,8 # 23 pairs * PAIR I4: 6,8 BLK 6 H6: 6,8,2 # reduction candidate for 6,8 H6: 6,8 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 H6: 2 # 27 pairs * PAIR I4: 6,8 ROW 4 F4: 6,8,3,4 # reduction candidate for 6,8 F4: 3,4 # 29 pairs F4: 6,8 # 23 pairs * PAIR I4: 6,8 COL I I7: 6,8,1,5,7 # reduction candidate for 6,8 I7: 6,8 => CTR * 71.93.6.......7..18.3451279.4.21.79.6927....31785....4.37......48637.9.2.518.9..7 I7: 1,5,7 # 21 pairs * PAIR G5: 1,5 COL G G2: 1,5,2,3,4,8 # reduction candidate for 1,5 G2: 1,5 => CTR * 715932648924.87.3.8634512795.82137966927....3.7.5..824.3....4..4.637.9.2.5.8493.. G2: 2,3,4,8 # 21 pairs G7: 1,5,4,8,9 # reduction candidate for 1,5 G7: 1,5 => CTR * 71.9326.5.2.687..1863451279.4821.796692748153.71596824.3.1.45.84863759121578.9... G7: 4,8,9 # 21 pairs G8: 1,5,8,9 # reduction candidate for 1,5 G8: 1,5 => CTR * 7149386255.9..7...8.345.1793.521.79.6827945.39715.3..4.38...9.749637..82.578.9... G8: 8,9 # 23 pairs * PAIR H5: 1,5 COL H H2: 1,5,2,3,4,8 # reduction candidate for 1,5 H2: 1,5 => CTR * 7159326489246873..8634512795.82137966.27.8..3371596824.39....6.4.637..82.5.86943. H2: 2,3,4,8 # 21 pairs H7: 1,5,4,6,8 # reduction candidate for 1,5 H7: 1,5 => CTR * 71493.6255.9..7...8.345.1793.521.79.6.279.5.3.715....4.38...9.749637..82.578.9... H7: 4,6,8 # 21 pairs H8: 1,5,8 # reduction candidate for 1,5 H8: 1,5 # 23 pairs * PAIR G6: 2,8 BLK 6 H6: 2,8,6 # reduction candidate for 2,8 H6: 6 => CTR * 71.93.6.......7...8.345.179...2167986.27..513.7.5.3264.3.......4.6371.52.5.8.9... H6: 2,8 # 27 pairs * PAIR G6: 2,8 COL G G2: 2,8,1,3,4,5 # reduction candidate for 2,8 G2: 2,8 => CTR * 7159326489.4.872358234561795.82137966927....3.7.5...24.3....4..4.637.9.2.5.8493.. G2: 1,3,4,5 # 21 pairs * PAIR B8: 8,9 BLK 7 C7: 8,9,1,7 # reduction candidate for 8,9 C7: 1,7 => CTR * 71493.6..5.9..7...8.345.1793452167986927....317859326493.......48637.9.225.8.9... C7: 8,9 # 24 pairs * PAIR B8: 8,9 ROW 8 G8: 8,9,1,5 # reduction candidate for 8,9 G8: 1,5 => CTR * 7149386255.9..7...8.345.1793.521.79.6827945.39715.3..4.38...9.749637..82.578.9... G8: 8,9 # 23 pairs * PAIR B8: 8,9 COL B B5: 8,9,4 # reduction candidate for 8,9 B5: 4 => CTR * 7149326.85...87...8.345..79385214796642798..3.7.563..4.38...9.749637...2.578.9.61 B5: 8,9 # 21 pairs * PAIR A9: 1,2 BLK 7 A7: 1,2,9 # reduction candidate for 1,2 A7: 9 => CTR * 71493.6..5.9..7...8.345.1793452167986927....317859326493.......48637.9.225.8.9... A7: 1,2 # 24 pairs * PAIR C9: 1,7 BLK 7 C7: 1,7,8,9 # reduction candidate for 1,7 C7: 1,7 => CTR * 71493.6..5.9..7...8.345.1793452167986927....317859326493.......48637.9.225.8.9... C7: 8,9 # 24 pairs * PAIR C9: 1,7 ROW 9 I9: 1,7,6 # reduction candidate for 1,7 I9: 6 => CTR * 71.93.6.......7..18.3451279...2167986.27....3.7.5....4.3......74.637...2.578.9..6 I9: 1,7 # 24 pairs * PAIR D7: 1,6 BLK 8 F7: 1,6,2,4,5 # reduction candidate for 1,6 F7: 1,6 => CTR * 71.9326...2.687.31863451279...21.7966.279...3.7.563824.371.6...4.6375..2.5.8.9.67 F7: 2,4,5 # 21 pairs * PAIR D7: 1,6 ROW 7 H7: 1,6,4,5,8 # reduction candidate for 1,6 H7: 1,6 => CTR * 71.9326...2.687..1863451279...21.7966.27....3.7.596824.37124.68486375912251869..7 H7: 4,5,8 # 21 pairs I7: 1,6,5,7,8 # reduction candidate for 1,6 I7: 1,6 => CTR * 71.93.6..5.96.7..18.345..79.4.21.79.6927....3178593264937.....648637.9.2251869..7 I7: 5,7,8 # 21 pairs * PAIR F8: 1,5 BLK 8 F7: 1,5,2,4,6 # reduction candidate for 1,5 F7: 2,4,6 => CTR * 71.9326...2.687..1863451279.482137966927....3.7.5..824.371.....486375912.518.9..7 F7: 1,5 # 28 pairs * PAIR F8: 1,5 ROW 8 G8: 1,5,8,9 # reduction candidate for 1,5 G8: 1,5 => CTR * 7149386255.9..7...8.345.1793.521.79.6827945.39715.3..4.38...9.749637..82.578.9... G8: 8,9 # 23 pairs H8: 1,5,8 # reduction candidate for 1,5 H8: 1,5 # 23 pairs * INCONCLUSIVE * SAVE PR GRAPH zz-www.sudokuoftheday.co.uk-20060411-absurd-base-pr-000.dot * REASONING * PRF # C2: 4,5 => SOL * DIS # C2: 4 => CTR => C2: 5,9 * PRF # E2: 2,6 => SOL * DIS # F3: 1 => CTR => F3: 2,6 * PRF # E2: 6 => SOL * PRF # F3: 2 => SOL * DIS # H1: 5,8 => CTR => H1: 2,4 * DIS # G2: 5,8 => CTR => G2: 1,2,3,4 * DIS # H2: 5,8 => CTR => H2: 1,2,3,4 * DIS # I7: 5,8 => CTR => I7: 1,6,7 * DIS # G2: 1,2 => CTR => G2: 3,4,5,8 * DIS # H2: 1,2 => CTR => H2: 3,4,5,8 * DIS # F3: 6 => CTR => F3: 1,2 * DIS # F4: 4,8 => CTR => F4: 3,6 * DIS # F4: 4,8 => CTR => F4: 3,6 * PRF # H6: 6,8 => SOL * DIS # I7: 6,8 => CTR => I7: 1,5,7 * DIS # G2: 1,5 => CTR => G2: 2,3,4,8 * DIS # G7: 1,5 => CTR => G7: 4,8,9 * DIS # G8: 1,5 => CTR => G8: 8,9 * DIS # H2: 1,5 => CTR => H2: 2,3,4,8 * DIS # H7: 1,5 => CTR => H7: 4,6,8 * DIS # H6: 6 => CTR => H6: 2,8 * DIS # G2: 2,8 => CTR => G2: 1,3,4,5 * DIS # C7: 1,7 => CTR => C7: 8,9 * DIS # G8: 1,5 => CTR => G8: 8,9 * DIS # B5: 4 => CTR => B5: 8,9 * DIS # A7: 9 => CTR => A7: 1,2 * DIS # C7: 1,7 => CTR => C7: 8,9 * DIS # I9: 6 => CTR => I9: 1,7 * DIS # F7: 1,6 => CTR => F7: 2,4,5 * DIS # H7: 1,6 => CTR => H7: 4,5,8 * DIS # I7: 1,6 => CTR => I7: 5,7,8 * DIS # F7: 2,4,6 => CTR => F7: 1,5 * DIS # G8: 1,5 => CTR => G8: 8,9 * CNT 35 HDP CHAINS / 84 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A2,A4,A9,B2,B3,B4,B8,C1,C4,C9,D2,D7,F1,F5,F8,G3,G5,G6,H5,I1,I4) * 71.93.6.......7...8.345..79...21.79.6.27....3.7.5....4.3.......4.637...2.5.8.9... * PAIR C1: 4,5 BLK 1 C2: 4,5,9 # reduction candidate for 4,5 C2: 4,5 => SOLVED * 714938625925167438863452179548213796692784513371596284139625847486371952257849361 * DURATION: 0:00:01.817008 START: 22:19:42.389933 END: 22:19:44.206941 2019-04-30 * SOLUTION FOUND * SAVE PR GRAPH zz-www.sudokuoftheday.co.uk-20060411-absurd-base-pr-001.dot * REASONING * PRF # C2: 4,5 => SOL * STA C2: 4,5 * CNT 1 HDP CHAINS / 1 HYP OPENED
Header Info
http://www.sudokuoftheday.co.uk/cgi-bin/sudoku1280.cgi?ACTION=archive2&USER=&MONTH=Apr&YEAR=2006, 20060411, absurd
Solution
position: 714938625925167438863452179548213796692784513371596284139625847486371952257849361 solved
See section Pair Reduction for the HDP chains leading to this result.
Appendix: Full HDP Chains
A1. Pair Reduction Analysis
Full list of HDP chains traversed:
* PRF # C2: 4,5 => SOL * INC # C2: 9 => UNS * INC # H1: 4,5 => UNS * INC # H1: 2,8 => UNS * INC # C2: 5,9 => UNS * DIS # C2: 4 => CTR => C2: 5,9 * PRF # E2: 2,6 => SOL * INC # E2: 8 => UNS * INC # F3: 2,6 => UNS * DIS # F3: 1 => CTR => F3: 2,6 * INC # E2: 2,8 => UNS * PRF # E2: 6 => SOL * INC # H1: 2,8 => UNS * INC # H1: 4,5 => UNS * INC # F3: 1,6 => UNS * PRF # F3: 2 => SOL * DIS # H1: 5,8 => CTR => H1: 2,4 * INC # H1: 2,4 => UNS * DIS # G2: 5,8 => CTR => G2: 1,2,3,4 * INC # G2: 1,2,3,4 => UNS * DIS # H2: 5,8 => CTR => H2: 1,2,3,4 * INC # H2: 1,2,3,4 => UNS * INC # I2: 5,8 => UNS * DIS # I7: 5,8 => CTR => I7: 1,6,7 * INC # I7: 1,6,7 => UNS * DIS # G2: 1,2 => CTR => G2: 3,4,5,8 * INC # G2: 3,4,5,8 => UNS * DIS # H2: 1,2 => CTR => H2: 3,4,5,8 * INC # H2: 3,4,5,8 => UNS * INC # F3: 1,2 => UNS * DIS # F3: 6 => CTR => F3: 1,2 * INC # B5: 4,8 => UNS * INC # B5: 9 => UNS * DIS # F4: 4,8 => CTR => F4: 3,6 * INC # F4: 3,6 => UNS * DIS # F4: 4,8 => CTR => F4: 3,6 * INC # F4: 3,6 => UNS * INC # E5: 4,8 => UNS * INC # B5: 4,8 => UNS * INC # B5: 9 => UNS * PRF # H6: 6,8 => SOL * INC # H6: 2 => UNS * INC # F4: 6,8 => UNS * INC # F4: 3,4 => UNS * DIS # I7: 6,8 => CTR => I7: 1,5,7 * INC # I7: 1,5,7 => UNS * DIS # G2: 1,5 => CTR => G2: 2,3,4,8 * INC # G2: 2,3,4,8 => UNS * DIS # G7: 1,5 => CTR => G7: 4,8,9 * INC # G7: 4,8,9 => UNS * DIS # G8: 1,5 => CTR => G8: 8,9 * INC # G8: 8,9 => UNS * DIS # H2: 1,5 => CTR => H2: 2,3,4,8 * INC # H2: 2,3,4,8 => UNS * DIS # H7: 1,5 => CTR => H7: 4,6,8 * INC # H7: 4,6,8 => UNS * INC # H8: 1,5 => UNS * INC # H6: 2,8 => UNS * DIS # H6: 6 => CTR => H6: 2,8 * DIS # G2: 2,8 => CTR => G2: 1,3,4,5 * INC # G2: 1,3,4,5 => UNS * INC # C7: 8,9 => UNS * DIS # C7: 1,7 => CTR => C7: 8,9 * INC # G8: 8,9 => UNS * DIS # G8: 1,5 => CTR => G8: 8,9 * INC # B5: 8,9 => UNS * DIS # B5: 4 => CTR => B5: 8,9 * INC # A7: 1,2 => UNS * DIS # A7: 9 => CTR => A7: 1,2 * DIS # C7: 1,7 => CTR => C7: 8,9 * INC # C7: 8,9 => UNS * INC # I9: 1,7 => UNS * DIS # I9: 6 => CTR => I9: 1,7 * DIS # F7: 1,6 => CTR => F7: 2,4,5 * INC # F7: 2,4,5 => UNS * DIS # H7: 1,6 => CTR => H7: 4,5,8 * INC # H7: 4,5,8 => UNS * DIS # I7: 1,6 => CTR => I7: 5,7,8 * INC # I7: 5,7,8 => UNS * INC # F7: 1,5 => UNS * DIS # F7: 2,4,6 => CTR => F7: 1,5 * DIS # G8: 1,5 => CTR => G8: 8,9 * INC # G8: 8,9 => UNS * INC # H8: 1,5 => UNS * CNT 84 HDP CHAINS / 84 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* PRF # C2: 4,5 => SOL * STA C2: 4,5 * CNT 1 HDP CHAINS / 1 HYP OPENED