Contents
level: medium
The following important HDP chains were detected:
* DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * DIS # A6: 5,8 => CTR => A6: 3,4,6 * DIS # E7: 3 => CTR => E7: 6,8 * CNT 3 HDP CHAINS / 49 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * DIS A5: 3,4,6,9 # A6: 5,8 => CTR => A6: 3,4,6 * DIS A5: 3,4,6,9 + A6: 3,4,6 # E7: 3 => CTR => E7: 6,8 * DIS A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # A6: 4 => CTR => A6: 3,6 * PRF A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 # I5: 3,8 => SOL * STA A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 + I5: 3,8 * CNT 5 HDP CHAINS / 62 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
..7..8.....6.2.3...3......9.1..5..6.....1.....7.9....2........4.83..4...26....51. | initial |
..7..8.....6.2.3...3......9.1..5..6.....1.....7.9..1.27.......4.83..4...264...51. | autosolve |
957638421146729385832541679419352768628417953375986142791265834583174296264893517 | solved |
level: medium
-------------------------------------------------- * PAIRS (13) E3: 4,7 C6: 5,8 F6: 3,6 I4: 3,8 B7: 5,9 A8: 1,5 D8: 1,5 E8: 6,7 G7: 6,8 H7: 3,8 G8: 2,9 H8: 2,9 I8: 6,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) I1,I2: 1.. / I1 = 1 => 13 pairs (_) / I2 = 1 => 14 pairs (_) C7,A8: 1.. / C7 = 1 => 13 pairs (_) / A8 = 1 => 16 pairs (_) A8,D8: 1.. / A8 = 1 => 16 pairs (_) / D8 = 1 => 13 pairs (_) C3,C7: 1.. / C3 = 1 => 16 pairs (_) / C7 = 1 => 13 pairs (_) B1,C3: 2.. / B1 = 2 => 15 pairs (_) / C3 = 2 => 18 pairs (_) D7,F7: 2.. / D7 = 2 => 14 pairs (_) / F7 = 2 => 20 pairs (_) G8,H8: 2.. / G8 = 2 => 12 pairs (_) / H8 = 2 => 12 pairs (_) B1,B5: 2.. / B1 = 2 => 15 pairs (_) / B5 = 2 => 18 pairs (_) D1,E1: 3.. / D1 = 3 => 15 pairs (_) / E1 = 3 => 20 pairs (_) H7,I9: 3.. / H7 = 3 => 14 pairs (_) / I9 = 3 => 0 pairs (X) E7,H7: 3.. / E7 = 3 => 0 pairs (X) / H7 = 3 => 14 pairs (_) A8,D8: 5.. / A8 = 5 => 13 pairs (_) / D8 = 5 => 16 pairs (_) A5,A6: 6.. / A5 = 6 => 12 pairs (_) / A6 = 6 => 15 pairs (_) E7,E8: 6.. / E7 = 6 => 13 pairs (_) / E8 = 6 => 13 pairs (_) G7,I8: 6.. / G7 = 6 => 13 pairs (_) / I8 = 6 => 13 pairs (_) A6,F6: 6.. / A6 = 6 => 15 pairs (_) / F6 = 6 => 12 pairs (_) E7,G7: 6.. / E7 = 6 => 13 pairs (_) / G7 = 6 => 13 pairs (_) E8,I8: 6.. / E8 = 6 => 13 pairs (_) / I8 = 6 => 13 pairs (_) I1,I8: 6.. / I1 = 6 => 13 pairs (_) / I8 = 6 => 13 pairs (_) I8,I9: 7.. / I8 = 7 => 13 pairs (_) / I9 = 7 => 13 pairs (_) E8,I8: 7.. / E8 = 7 => 13 pairs (_) / I8 = 7 => 13 pairs (_) E1,F2: 9.. / E1 = 9 => 15 pairs (_) / F2 = 9 => 18 pairs (_) B7,C7: 9.. / B7 = 9 => 14 pairs (_) / C7 = 9 => 17 pairs (_) E9,F9: 9.. / E9 = 9 => 18 pairs (_) / F9 = 9 => 15 pairs (_) G8,H8: 9.. / G8 = 9 => 12 pairs (_) / H8 = 9 => 12 pairs (_) E1,E9: 9.. / E1 = 9 => 15 pairs (_) / E9 = 9 => 18 pairs (_) F2,F9: 9.. / F2 = 9 => 18 pairs (_) / F9 = 9 => 15 pairs (_) H5,H8: 9.. / H5 = 9 => 12 pairs (_) / H8 = 9 => 12 pairs (_) * DURATION: 0:00:43.477094 START: 00:13:34.872606 END: 00:14:18.349700 2017-05-04 * CP COUNT: (28) * CLUE FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A8,B7,C6,D8,E3,E8,F6,G7,G8,H7,H8,I4,I8) * ..7..8.....6.2.3...3......9.1..5..6.....1.....7.9..1.27.......4.83..4...264...51. * PAIR E3: 4,7 BLK 2 D2: 4,7,1,5 # reduction candidate for 4,7 D2: 4,7 # 15 pairs D3: 4,7,1,5,6 # reduction candidate for 4,7 D3: 4,7 # 18 pairs * PAIR E3: 4,7 ROW 3 G3: 4,7,2,6,8 # reduction candidate for 4,7 G3: 4,7 # 14 pairs H3: 4,7,2,5,8 # reduction candidate for 4,7 H3: 4,7 # 14 pairs * PAIR C6: 5,8 BLK 4 A5: 5,8,3,4,6,9 # reduction candidate for 5,8 A5: 5,8 => CTR * 927138....56.293.1.3......931..5..68.4..1....67.9.31.279..61834183574...264...51. A5: 3,4,6,9 # 13 pairs C5: 5,8,2,9 # reduction candidate for 5,8 C5: 5,8 # 17 pairs A6: 5,8,3,4,6 # reduction candidate for 5,8 A6: 5,8 => CTR * .27..8....56.2.3.1.3......931..5..6864..1.....7.9.61.279......4.83..4...264...51. A6: 3,4,6 # 13 pairs * PAIR C6: 5,8 ROW 6 H6: 5,8,3,4 # reduction candidate for 5,8 H6: 5,8 # 17 pairs H6: 3,4 # 14 pairs * PAIR C6: 5,8 COL C C3: 5,8,1,2 # reduction candidate for 5,8 C3: 5,8 # 19 pairs C3: 1,2 # 14 pairs * PAIR F6: 3,6 BLK 5 D5: 3,6,2,4,7,8 # reduction candidate for 3,6 D5: 3,6 # 20 pairs F5: 3,6,2,7 # reduction candidate for 3,6 F5: 3,6 # 17 pairs * PAIR F6: 3,6 ROW 6 A6: 3,6,4,5,8 # reduction candidate for 3,6 A6: 4,5,8 # 18 pairs A6: 3,6 # 15 pairs * PAIR I4: 3,8 BLK 6 H5: 3,8,4,5,7,9 # reduction candidate for 3,8 H5: 3,8 # 20 pairs I5: 3,8,5 # reduction candidate for 3,8 I5: 3,8 # 17 pairs H6: 3,8,4,5 # reduction candidate for 3,8 H6: 3,8 # 16 pairs * PAIR I4: 3,8 ROW 4 A4: 3,8,4,9 # reduction candidate for 3,8 A4: 3,8 # 16 pairs D4: 3,8,2,4,7 # reduction candidate for 3,8 D4: 3,8 # 20 pairs * PAIR I4: 3,8 COL I I9: 3,8,7 # reduction candidate for 3,8 I9: 7 # 13 pairs I9: 3,8 # 13 pairs * PAIR B7: 5,9 BLK 7 C7: 5,9,1 # reduction candidate for 5,9 C7: 5,9 # 16 pairs C7: 1 # 13 pairs * PAIR B7: 5,9 COL B B1: 5,9,2,4 # reduction candidate for 5,9 B1: 5,9 # 19 pairs B2: 5,9,4 # reduction candidate for 5,9 B2: 5,9 # 16 pairs B5: 5,9,2,4 # reduction candidate for 5,9 B5: 5,9 # 18 pairs * PAIR A8: 1,5 BLK 7 C7: 1,5,9 # reduction candidate for 1,5 C7: 9 # 17 pairs C7: 1,5 # 14 pairs * PAIR A8: 1,5 COL A A1: 1,5,4,9 # reduction candidate for 1,5 A1: 1,5 # 15 pairs A2: 1,5,4,8,9 # reduction candidate for 1,5 A2: 1,5 # 16 pairs A3: 1,5,4,8 # reduction candidate for 1,5 A3: 1,5 # 15 pairs * PAIR D8: 1,5 BLK 8 D7: 1,5,2 # reduction candidate for 1,5 D7: 1,5 # 20 pairs F7: 1,5,2 # reduction candidate for 1,5 F7: 1,5 # 14 pairs * PAIR D8: 1,5 COL D D1: 1,5,3,4,6 # reduction candidate for 1,5 D1: 1,5 # 22 pairs D2: 1,5,4,7 # reduction candidate for 1,5 D2: 1,5 # 15 pairs D3: 1,5,4,6,7 # reduction candidate for 1,5 D3: 1,5 # 18 pairs * PAIR G7: 6,8 ROW 7 E7: 6,8,3 # reduction candidate for 6,8 E7: 3 => CTR * 1.73.8..68.6.2.3.143..718.9.1..5..68.4..1...5.7598.142791.3.684583164..726489.513 E7: 6,8 # 14 pairs * PAIR G7: 6,8 COL G G3: 6,8,2,4,7 # reduction candidate for 6,8 G3: 6,8 # 15 pairs G3: 2,4,7 # 13 pairs * PAIR H7: 3,8 BLK 9 I9: 3,8,7 # reduction candidate for 3,8 I9: 7 # 13 pairs I9: 3,8 # 13 pairs * PAIR H7: 3,8 ROW 7 E7: 3,8,6 # reduction candidate for 3,8 E7: 6 # 13 pairs E7: 3,8 # 13 pairs * PAIR H7: 3,8 COL H H5: 3,8,4,5,7,9 # reduction candidate for 3,8 H5: 3,8 # 20 pairs H6: 3,8,4,5 # reduction candidate for 3,8 H6: 3,8 # 16 pairs * INCONCLUSIVE * SAVE PR GRAPH xx-top95-064-base-pr-000.dot * REASONING * DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * DIS # A6: 5,8 => CTR => A6: 3,4,6 * DIS # E7: 3 => CTR => E7: 6,8 * CNT 3 HDP CHAINS / 49 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A8,B7,C6,D8,E3,E8,F6,G7,G8,H7,H8,I4,I8) * ..7..8.....6.2.3...3......9.1..5..6.....1.....7.9..1.27.......4.83..4...264...51. * PAIR E3: 4,7 BLK 2 D2: 4,7,1,5 # reduction candidate for 4,7 D2: 4,7 # 15 pairs D3: 4,7,1,5,6 # reduction candidate for 4,7 D3: 4,7 # 18 pairs * PAIR E3: 4,7 ROW 3 G3: 4,7,2,6,8 # reduction candidate for 4,7 G3: 4,7 # 14 pairs H3: 4,7,2,5,8 # reduction candidate for 4,7 H3: 4,7 # 14 pairs * PAIR C6: 5,8 BLK 4 A5: 5,8,3,4,6,9 # reduction candidate for 5,8 A5: 5,8 => CTR * 927138....56.293.1.3......931..5..68.4..1....67.9.31.279..61834183574...264...51. C5: 5,8,2,9 # reduction candidate for 5,8 C5: 5,8 # 17 pairs A6: 5,8,3,4,6 # reduction candidate for 5,8 A6: 5,8 => CTR * .27..8....56.2.3.1.3......931..5..6864..1.....7.9.61.279......4.83..4...264...51. * RESTART * PAIR C6: 5,8 BLK 4 C5: 5,8,2,9 # reduction candidate for 5,8 C5: 5,8 # 17 pairs C5: 2,9 # 14 pairs * PAIR C6: 5,8 ROW 6 H6: 5,8,3,4 # reduction candidate for 5,8 H6: 5,8 # 17 pairs H6: 3,4 # 16 pairs * PAIR C6: 5,8 COL C C3: 5,8,1,2 # reduction candidate for 5,8 C3: 5,8 # 19 pairs C3: 1,2 # 14 pairs * PAIR F6: 3,6 BLK 5 D5: 3,6,2,4,7,8 # reduction candidate for 3,6 D5: 3,6 # 20 pairs F5: 3,6,2,7 # reduction candidate for 3,6 F5: 3,6 # 17 pairs * PAIR F6: 3,6 ROW 6 A6: 3,6,4 # reduction candidate for 3,6 A6: 4 # 20 pairs A6: 3,6 # 15 pairs * PAIR I4: 3,8 BLK 6 H5: 3,8,4,5,7,9 # reduction candidate for 3,8 H5: 3,8 # 22 pairs I5: 3,8,5 # reduction candidate for 3,8 I5: 3,8 # 17 pairs H6: 3,8,4,5 # reduction candidate for 3,8 H6: 3,8 # 16 pairs * PAIR I4: 3,8 ROW 4 A4: 3,8,4,9 # reduction candidate for 3,8 A4: 3,8 # 16 pairs D4: 3,8,2,4,7 # reduction candidate for 3,8 D4: 3,8 # 20 pairs * PAIR I4: 3,8 COL I I9: 3,8,7 # reduction candidate for 3,8 I9: 7 # 13 pairs I9: 3,8 # 13 pairs * PAIR B7: 5,9 BLK 7 C7: 5,9,1 # reduction candidate for 5,9 C7: 5,9 # 17 pairs C7: 1 # 13 pairs * PAIR B7: 5,9 COL B B1: 5,9,2,4 # reduction candidate for 5,9 B1: 5,9 # 19 pairs B2: 5,9,4 # reduction candidate for 5,9 B2: 5,9 # 17 pairs B5: 5,9,2,4 # reduction candidate for 5,9 B5: 5,9 # 18 pairs * PAIR A8: 1,5 BLK 7 C7: 1,5,9 # reduction candidate for 1,5 C7: 9 # 17 pairs C7: 1,5 # 14 pairs * PAIR A8: 1,5 COL A A1: 1,5,4,9 # reduction candidate for 1,5 A1: 1,5 # 15 pairs A2: 1,5,4,8,9 # reduction candidate for 1,5 A2: 1,5 # 16 pairs A3: 1,5,4,8 # reduction candidate for 1,5 A3: 1,5 # 15 pairs * PAIR D8: 1,5 BLK 8 D7: 1,5,2 # reduction candidate for 1,5 D7: 1,5 # 20 pairs F7: 1,5,2 # reduction candidate for 1,5 F7: 1,5 # 14 pairs * PAIR D8: 1,5 COL D D1: 1,5,3,4,6 # reduction candidate for 1,5 D1: 1,5 # 22 pairs D2: 1,5,4,7 # reduction candidate for 1,5 D2: 1,5 # 15 pairs D3: 1,5,4,6,7 # reduction candidate for 1,5 D3: 1,5 # 18 pairs * PAIR G7: 6,8 ROW 7 E7: 6,8,3 # reduction candidate for 6,8 E7: 3 => CTR * 1.73.8..68.6.2.3.1.32...8.9.19.5..68.28.1...5.7598.1.2791.3.684583164..72648..513 * PAIR G7: 6,8 COL G G3: 6,8,2,4,7 # reduction candidate for 6,8 G3: 6,8 # 16 pairs G3: 2,4,7 # 14 pairs * PAIR RESTART * PAIR G7: 6,8 COL G G3: 6,8,2,4,7 # reduction candidate for 6,8 G3: 6,8 # 16 pairs G3: 2,4,7 # 14 pairs * LEVEL 0 PASS 1 ROUND 2 (AUTO SOLVE) (A8,B7,C6,D8,E3,E7,E8,F6,G7,G8,H8,I4,I8,I9) * ..7..8.....6.2.3...3......9.1..5..6.....1.....7.9..1.27......34.83..4...264...51. * PAIR E3: 4,7 BLK 2 D2: 4,7,1,5 # reduction candidate for 4,7 D2: 4,7 # 16 pairs D3: 4,7,1,5,6 # reduction candidate for 4,7 D3: 4,7 # 19 pairs * PAIR E3: 4,7 ROW 3 G3: 4,7,2,6,8 # reduction candidate for 4,7 G3: 4,7 # 15 pairs H3: 4,7,2,5,8 # reduction candidate for 4,7 H3: 4,7 # 15 pairs * PAIR C6: 5,8 BLK 4 C5: 5,8,2,9 # reduction candidate for 5,8 C5: 5,8 # 18 pairs C5: 2,9 # 15 pairs * PAIR C6: 5,8 ROW 6 H6: 5,8,4 # reduction candidate for 5,8 H6: 5,8 # 17 pairs H6: 4 # 17 pairs * PAIR C6: 5,8 COL C C3: 5,8,1,2 # reduction candidate for 5,8 C3: 5,8 # 20 pairs C3: 1,2 # 15 pairs * PAIR F6: 3,6 BLK 5 D5: 3,6,2,4,7,8 # reduction candidate for 3,6 D5: 3,6 # 25 pairs F5: 3,6,2,7 # reduction candidate for 3,6 F5: 3,6 # 21 pairs * PAIR F6: 3,6 ROW 6 A6: 3,6,4 # reduction candidate for 3,6 A6: 4 => CTR * ..7..8.....6.2.3...3......931..5..686...1...347.9361527.....834.83..4..6264.8.51. * PAIR RESTART * PAIR F6: 3,6 BLK 5 D5: 3,6,2,4,7,8 # reduction candidate for 3,6 D5: 3,6 # 25 pairs F5: 3,6,2,7 # reduction candidate for 3,6 F5: 3,6 # 21 pairs * PAIR I4: 3,8 BLK 6 I5: 3,8,5 # reduction candidate for 3,8 I5: 3,8 => SOLVED * 957638421146729385832541679419352768628417953375986142791265834583174296264893517 * DURATION: 0:00:57.106295 START: 00:15:00.100428 END: 00:15:57.206723 2017-05-04 * SOLUTION FOUND * SAVE PR GRAPH xx-top95-064-base-pr-001.dot * REASONING * DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * DIS A5: 3,4,6,9 # A6: 5,8 => CTR => A6: 3,4,6 * DIS A5: 3,4,6,9 + A6: 3,4,6 # E7: 3 => CTR => E7: 6,8 * DIS A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # A6: 4 => CTR => A6: 3,6 * PRF A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 # I5: 3,8 => SOL * STA A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 + I5: 3,8 * CNT 5 HDP CHAINS / 62 HYP OPENED
Top 95 Sudokus 064 [sudoku:top95] “95 Hard Puzzles”, http://magictour.free.fr/top95, or http://norvig.com/top95.txt
See section Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # D2: 4,7 => UNS * INC # D3: 4,7 => UNS * INC # G3: 4,7 => UNS * INC # H3: 4,7 => UNS * DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * INC # A5: 3,4,6,9 => UNS * INC # C5: 5,8 => UNS * DIS # A6: 5,8 => CTR => A6: 3,4,6 * INC # A6: 3,4,6 => UNS * INC # H6: 5,8 => UNS * INC # H6: 3,4 => UNS * INC # C3: 5,8 => UNS * INC # C3: 1,2 => UNS * INC # D5: 3,6 => UNS * INC # F5: 3,6 => UNS * INC # A6: 3,6 => UNS * INC # A6: 4,5,8 => UNS * INC # H5: 3,8 => UNS * INC # I5: 3,8 => UNS * INC # H6: 3,8 => UNS * INC # A4: 3,8 => UNS * INC # D4: 3,8 => UNS * INC # I9: 3,8 => UNS * INC # I9: 7 => UNS * INC # C7: 5,9 => UNS * INC # C7: 1 => UNS * INC # B1: 5,9 => UNS * INC # B2: 5,9 => UNS * INC # B5: 5,9 => UNS * INC # C7: 1,5 => UNS * INC # C7: 9 => UNS * INC # A1: 1,5 => UNS * INC # A2: 1,5 => UNS * INC # A3: 1,5 => UNS * INC # D7: 1,5 => UNS * INC # F7: 1,5 => UNS * INC # D1: 1,5 => UNS * INC # D2: 1,5 => UNS * INC # D3: 1,5 => UNS * INC # E7: 6,8 => UNS * DIS # E7: 3 => CTR => E7: 6,8 * INC # G3: 6,8 => UNS * INC # G3: 2,4,7 => UNS * INC # I9: 3,8 => UNS * INC # I9: 7 => UNS * INC # E7: 3,8 => UNS * INC # E7: 6 => UNS * INC # H5: 3,8 => UNS * INC # H6: 3,8 => UNS * CNT 49 HDP CHAINS / 49 HYP OPENED
Full list of HDP chains traversed:
* INC # D2: 4,7 => UNS * INC # D3: 4,7 => UNS * INC # G3: 4,7 => UNS * INC # H3: 4,7 => UNS * DIS # A5: 5,8 => CTR => A5: 3,4,6,9 * INC A5: 3,4,6,9 # C5: 5,8 => UNS * DIS A5: 3,4,6,9 # A6: 5,8 => CTR => A6: 3,4,6 * INC A5: 3,4,6,9 + A6: 3,4,6 # C5: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C5: 2,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # H6: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # H6: 3,4 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C3: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C3: 1,2 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D5: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # F5: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A6: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A6: 4 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # H5: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # I5: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # H6: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A4: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D4: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # I9: 3,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # I9: 7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C7: 5,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C7: 1 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # B1: 5,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # B2: 5,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # B5: 5,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C7: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # C7: 9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A1: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A2: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # A3: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D7: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # F7: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D1: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D2: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # D3: 1,5 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 # E7: 6,8 => UNS * DIS A5: 3,4,6,9 + A6: 3,4,6 # E7: 3 => CTR => E7: 6,8 * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # G3: 6,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # G3: 2,4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # G3: 6,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # G3: 2,4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # D2: 4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # D3: 4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # G3: 4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # H3: 4,7 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # C5: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # C5: 2,9 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # H6: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # H6: 4 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # C3: 5,8 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # C3: 1,2 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # D5: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # F5: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # A6: 3,6 => UNS * DIS A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 # A6: 4 => CTR => A6: 3,6 * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 # D5: 3,6 => UNS * INC A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 # F5: 3,6 => UNS * PRF A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 # I5: 3,8 => SOL * STA A5: 3,4,6,9 + A6: 3,4,6 + E7: 6,8 + A6: 3,6 + I5: 3,8 * CNT 62 HDP CHAINS / 62 HYP OPENED