Contents
level: hard
Time used: 0:01:27.465975
The following important HDP chains were detected:
* DIS # C8: 8,9 # E3: 8,9 => CTR => E3: 4 * DIS # C8: 8,9 + E3: 4 # B1: 8,9 => CTR => B1: 4 * DIS # C8: 8,9 + E3: 4 + B1: 4 => CTR => C8: 2,6 * DIS C8: 2,6 # B7: 4,6 # F9: 8,9 => CTR => F9: 4,5 * DIS C8: 2,6 # B7: 2,3,7 # B8: 8,9 => CTR => B8: 2,3,6,7 * DIS C8: 2,6 # B7: 2,4 # B2: 2 => CTR => B2: 5,6 * DIS C8: 2,6 # G8: 3,7 # B8: 3,8,9 => CTR => B8: 2,6 * DIS C8: 2,6 # B7: 2,4,6 # F9: 8,9 => CTR => F9: 4,5 * DIS C8: 2,6 # G8: 3 # I2: 4,9 => CTR => I2: 3 * DIS C8: 2,6 # G8: 3 + I2: 3 # B3: 6,8 => CTR => B3: 9 * PRF C8: 2,6 # G8: 3 + I2: 3 + B3: 9 => SOL * STA C8: 2,6 + G8: 3 * CNT 11 HDP CHAINS / 469 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
1.3.56......7..1..7..2.1...2.51.3.....756...26...27..55.1...89........41...31.2.6 | initial |
1.3.56......7..1..7..2.1...2.51.3.....756...26...27..55.1...89........41...31.2.6 | autosolve |
123456789456789123798231564245193678387564912619827435531642897862975341974318256 | solved |
level: hard
-------------------------------------------------- * PAIRS (6) C2: 2,6 D7: 4,6 E7: 4,7 F7: 2,4 I7: 3,7 H9: 5,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B5,B6: 1.. / B5 = 1 => 7 pairs (_) / B6 = 1 => 8 pairs (_) H5,H6: 1.. / H5 = 1 => 8 pairs (_) / H6 = 1 => 7 pairs (_) B5,H5: 1.. / B5 = 1 => 7 pairs (_) / H5 = 1 => 8 pairs (_) B6,H6: 1.. / B6 = 1 => 8 pairs (_) / H6 = 1 => 7 pairs (_) H1,H2: 2.. / H1 = 2 => 7 pairs (_) / H2 = 2 => 15 pairs (_) F7,F8: 2.. / F7 = 2 => 5 pairs (_) / F8 = 2 => 11 pairs (_) B1,H1: 2.. / B1 = 2 => 15 pairs (_) / H1 = 2 => 7 pairs (_) B7,F7: 2.. / B7 = 2 => 11 pairs (_) / F7 = 2 => 5 pairs (_) C2,C8: 2.. / C2 = 2 => 7 pairs (_) / C8 = 2 => 6 pairs (_) E2,E3: 3.. / E2 = 3 => 6 pairs (_) / E3 = 3 => 22 pairs (_) I7,G8: 3.. / I7 = 3 => 7 pairs (_) / G8 = 3 => 21 pairs (_) E2,I2: 3.. / E2 = 3 => 6 pairs (_) / I2 = 3 => 22 pairs (_) B7,I7: 3.. / B7 = 3 => 21 pairs (_) / I7 = 3 => 7 pairs (_) A5,A8: 3.. / A5 = 3 => 13 pairs (_) / A8 = 3 => 9 pairs (_) B2,B3: 5.. / B2 = 5 => 7 pairs (_) / B3 = 5 => 11 pairs (_) F8,F9: 5.. / F8 = 5 => 7 pairs (_) / F9 = 5 => 11 pairs (_) G8,H9: 5.. / G8 = 5 => 11 pairs (_) / H9 = 5 => 7 pairs (_) B2,H2: 5.. / B2 = 5 => 7 pairs (_) / H2 = 5 => 11 pairs (_) F8,G8: 5.. / F8 = 5 => 7 pairs (_) / G8 = 5 => 11 pairs (_) F9,H9: 5.. / F9 = 5 => 11 pairs (_) / H9 = 5 => 7 pairs (_) G3,G8: 5.. / G3 = 5 => 7 pairs (_) / G8 = 5 => 11 pairs (_) G4,H4: 6.. / G4 = 6 => 7 pairs (_) / H4 = 6 => 10 pairs (_) D7,D8: 6.. / D7 = 6 => 6 pairs (_) / D8 = 6 => 8 pairs (_) B7,D7: 6.. / B7 = 6 => 8 pairs (_) / D7 = 6 => 6 pairs (_) G3,G4: 6.. / G3 = 6 => 10 pairs (_) / G4 = 6 => 7 pairs (_) E7,E8: 7.. / E7 = 7 => 7 pairs (_) / E8 = 7 => 9 pairs (_) B9,H9: 7.. / B9 = 7 => 7 pairs (_) / H9 = 7 => 11 pairs (_) * DURATION: 0:00:07.235039 START: 20:51:10.384806 END: 20:51:17.619845 2025-04-04 * CP COUNT: (27) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:01:26.812749 START: 20:51:23.062900 END: 20:52:49.875649 2025-04-04 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00079376-base-pr-002.dot * REASONING * DIS # C8: 8,9 # E3: 8,9 => CTR => E3: 4 * DIS # C8: 8,9 + E3: 4 # B1: 8,9 => CTR => B1: 4 * DIS # C8: 8,9 + E3: 4 + B1: 4 => CTR => C8: 2,6 * DIS C8: 2,6 # B7: 4,6 # F9: 8,9 => CTR => F9: 4,5 * DIS C8: 2,6 # B7: 2,3,7 # B8: 8,9 => CTR => B8: 2,3,6,7 * DIS C8: 2,6 # B7: 2,4 # B2: 2 => CTR => B2: 5,6 * DIS C8: 2,6 # G8: 3,7 # B8: 3,8,9 => CTR => B8: 2,6 * DIS C8: 2,6 # B7: 2,4,6 # F9: 8,9 => CTR => F9: 4,5 * DIS C8: 2,6 # G8: 3 # I2: 4,9 => CTR => I2: 3 * DIS C8: 2,6 # G8: 3 + I2: 3 # B3: 6,8 => CTR => B3: 9 * PRF C8: 2,6 # G8: 3 + I2: 3 + B3: 9 => SOL * STA C8: 2,6 + G8: 3 * CNT 11 HDP CHAINS / 469 HYP OPENED
rating: 18835; r2: 416569; index: 79376
See section Deep Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # B2: 2,6 => UNS * INC # B2: 5 => UNS * INC # H2: 2,6 => UNS * INC # H2: 5 => UNS * INC # C8: 2,6 => UNS * INC # C8: 8,9 => UNS * INC # B7: 4,6 => UNS * INC # B7: 2,3,7 => UNS * INC # B7: 4,7 => UNS * INC # B7: 2,3,6 => UNS * INC # B7: 2,4 => UNS * INC # B7: 3,6,7 => UNS * INC # G8: 3,7 => UNS * INC # G8: 5 => UNS * INC # B7: 3,7 => UNS * INC # B7: 2,4,6 => UNS * INC # G8: 5,7 => UNS * INC # G8: 3 => UNS * CNT 18 HDP CHAINS / 18 HYP OPENED
Full list of HDP chains traversed:
* INC # B2: 2,6 => UNS * INC # B2: 5 => UNS * INC # H2: 2,6 => UNS * INC # H2: 5 => UNS * INC # C8: 2,6 => UNS * INC # C8: 8,9 => UNS * INC # B7: 4,6 => UNS * INC # B7: 2,3,7 => UNS * INC # B7: 4,7 => UNS * INC # B7: 2,3,6 => UNS * INC # B7: 2,4 => UNS * INC # B7: 3,6,7 => UNS * INC # G8: 3,7 => UNS * INC # G8: 5 => UNS * INC # B7: 3,7 => UNS * INC # B7: 2,4,6 => UNS * INC # G8: 5,7 => UNS * INC # G8: 3 => UNS * CNT 18 HDP CHAINS / 18 HYP OPENED
Full list of HDP chains traversed:
* INC # B2: 2,6 => UNS * INC # B2: 5 => UNS * INC # H2: 2,6 => UNS * INC # H2: 5 => UNS * INC # C8: 2,6 => UNS * INC # C8: 8,9 => UNS * INC # B7: 4,6 => UNS * INC # B7: 2,3,7 => UNS * INC # B7: 4,7 => UNS * INC # B7: 2,3,6 => UNS * INC # B7: 2,4 => UNS * INC # B7: 3,6,7 => UNS * INC # G8: 3,7 => UNS * INC # G8: 5 => UNS * INC # B7: 3,7 => UNS * INC # B7: 2,4,6 => UNS * INC # G8: 5,7 => UNS * INC # G8: 3 => UNS * INC # B2: 2,6 # B7: 2,6 => UNS * INC # B2: 2,6 # B8: 2,6 => UNS * INC # B2: 2,6 # H5: 1,3 => UNS * INC # B2: 2,6 # H5: 8 => UNS * INC # B2: 2,6 # H6: 1,3 => UNS * INC # B2: 2,6 # H6: 8 => UNS * INC # B2: 2,6 # B7: 2,6 => UNS * INC # B2: 2,6 # B8: 2,6 => UNS * INC # B2: 2,6 => UNS * INC # B2: 5 # C8: 2,6 => UNS * INC # B2: 5 # C8: 8,9 => UNS * INC # B2: 5 # B7: 4,6 => UNS * INC # B2: 5 # B7: 2,3,7 => UNS * INC # B2: 5 # B7: 4,7 => UNS * INC # B2: 5 # B7: 2,3,6 => UNS * INC # B2: 5 # B7: 2,4 => UNS * INC # B2: 5 # B7: 3,6,7 => UNS * INC # B2: 5 # G8: 3,7 => UNS * INC # B2: 5 # G8: 5 => UNS * INC # B2: 5 # B7: 3,7 => UNS * INC # B2: 5 # B7: 2,4,6 => UNS * INC # B2: 5 # G8: 5,7 => UNS * INC # B2: 5 # G8: 3 => UNS * INC # B2: 5 => UNS * INC # H2: 2,6 # C8: 2,6 => UNS * INC # H2: 2,6 # C8: 8,9 => UNS * INC # H2: 2,6 # B7: 4,6 => UNS * INC # H2: 2,6 # B7: 2,3,7 => UNS * INC # H2: 2,6 # B7: 4,7 => UNS * INC # H2: 2,6 # B7: 2,3,6 => UNS * INC # H2: 2,6 # B7: 2,4 => UNS * INC # H2: 2,6 # B7: 3,6,7 => UNS * INC # H2: 2,6 # G8: 3,7 => UNS * INC # H2: 2,6 # G8: 5 => UNS * INC # H2: 2,6 # B7: 3,7 => UNS * INC # H2: 2,6 # B7: 2,4,6 => UNS * INC # H2: 2,6 # G8: 5,7 => UNS * INC # H2: 2,6 # G8: 3 => UNS * INC # H2: 2,6 => UNS * INC # H2: 5 # B7: 2,6 => UNS * INC # H2: 5 # B8: 2,6 => UNS * INC # H2: 5 # H5: 1,3 => UNS * INC # H2: 5 # H5: 8 => UNS * INC # H2: 5 # H6: 1,3 => UNS * INC # H2: 5 # H6: 8 => UNS * INC # H2: 5 # B7: 2,6 => UNS * INC # H2: 5 # B8: 2,6 => UNS * INC # H2: 5 => UNS * INC # C8: 2,6 # B2: 2,6 => UNS * INC # C8: 2,6 # B2: 5 => UNS * INC # C8: 2,6 # H2: 2,6 => UNS * INC # C8: 2,6 # H2: 5 => UNS * INC # C8: 2,6 # B7: 2,6 => UNS * INC # C8: 2,6 # B8: 2,6 => UNS * INC # C8: 2,6 # B7: 4,6 => UNS * INC # C8: 2,6 # B7: 2,3,7 => UNS * INC # C8: 2,6 # B7: 4,7 => UNS * INC # C8: 2,6 # B7: 2,3,6 => UNS * INC # C8: 2,6 # B7: 2,4 => UNS * INC # C8: 2,6 # B7: 3,6,7 => UNS * INC # C8: 2,6 # G8: 3,7 => UNS * INC # C8: 2,6 # G8: 5 => UNS * INC # C8: 2,6 # B7: 3,7 => UNS * INC # C8: 2,6 # B7: 2,4,6 => UNS * INC # C8: 2,6 # G8: 5,7 => UNS * INC # C8: 2,6 # G8: 3 => UNS * INC # C8: 2,6 => UNS * INC # C8: 8,9 # F2: 8,9 => UNS * DIS # C8: 8,9 # E3: 8,9 => CTR => E3: 4 * DIS # C8: 8,9 + E3: 4 # B1: 8,9 => CTR => B1: 4 * DIS # C8: 8,9 + E3: 4 + B1: 4 => CTR => C8: 2,6 * INC C8: 2,6 # B2: 2,6 => UNS * INC C8: 2,6 # B2: 5 => UNS * INC C8: 2,6 # H2: 2,6 => UNS * INC C8: 2,6 # H2: 5 => UNS * INC C8: 2,6 # B7: 2,6 => UNS * INC C8: 2,6 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 4,6 => UNS * INC C8: 2,6 # B7: 2,3,7 => UNS * INC C8: 2,6 # B7: 4,7 => UNS * INC C8: 2,6 # B7: 2,3,6 => UNS * INC C8: 2,6 # B7: 2,4 => UNS * INC C8: 2,6 # B7: 3,6,7 => UNS * INC C8: 2,6 # G8: 3,7 => UNS * INC C8: 2,6 # G8: 5 => UNS * INC C8: 2,6 # B7: 3,7 => UNS * INC C8: 2,6 # B7: 2,4,6 => UNS * INC C8: 2,6 # G8: 5,7 => UNS * INC C8: 2,6 # G8: 3 => UNS * INC C8: 2,6 # B2: 2,6 # B7: 2,6 => UNS * INC C8: 2,6 # B2: 2,6 # B8: 2,6 => UNS * INC C8: 2,6 # B2: 2,6 # H5: 1,3 => UNS * INC C8: 2,6 # B2: 2,6 # H5: 8 => UNS * INC C8: 2,6 # B2: 2,6 # H6: 1,3 => UNS * INC C8: 2,6 # B2: 2,6 # H6: 8 => UNS * INC C8: 2,6 # B2: 2,6 # B7: 2,6 => UNS * INC C8: 2,6 # B2: 2,6 # B8: 2,6 => UNS * INC C8: 2,6 # B2: 2,6 => UNS * INC C8: 2,6 # B2: 5 # B7: 2,6 => UNS * INC C8: 2,6 # B2: 5 # B8: 2,6 => UNS * INC C8: 2,6 # B2: 5 # B7: 4,6 => UNS * INC C8: 2,6 # B2: 5 # B7: 2,3,7 => UNS * INC C8: 2,6 # B2: 5 # B7: 4,7 => UNS * INC C8: 2,6 # B2: 5 # B7: 2,3,6 => UNS * INC C8: 2,6 # B2: 5 # B7: 2,4 => UNS * INC C8: 2,6 # B2: 5 # B7: 3,6,7 => UNS * INC C8: 2,6 # B2: 5 # G8: 3,7 => UNS * INC C8: 2,6 # B2: 5 # G8: 5 => UNS * INC C8: 2,6 # B2: 5 # B7: 3,7 => UNS * INC C8: 2,6 # B2: 5 # B7: 2,4,6 => UNS * INC C8: 2,6 # B2: 5 # G8: 5,7 => UNS * INC C8: 2,6 # B2: 5 # G8: 3 => UNS * INC C8: 2,6 # B2: 5 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 2,6 => UNS * INC C8: 2,6 # H2: 2,6 # B8: 2,6 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 4,6 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 2,3,7 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 4,7 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 2,3,6 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 2,4 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 3,6,7 => UNS * INC C8: 2,6 # H2: 2,6 # G8: 3,7 => UNS * INC C8: 2,6 # H2: 2,6 # G8: 5 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 3,7 => UNS * INC C8: 2,6 # H2: 2,6 # B7: 2,4,6 => UNS * INC C8: 2,6 # H2: 2,6 # G8: 5,7 => UNS * INC C8: 2,6 # H2: 2,6 # G8: 3 => UNS * INC C8: 2,6 # H2: 2,6 => UNS * INC C8: 2,6 # H2: 5 # B7: 2,6 => UNS * INC C8: 2,6 # H2: 5 # B8: 2,6 => UNS * INC C8: 2,6 # H2: 5 # H5: 1,3 => UNS * INC C8: 2,6 # H2: 5 # H5: 8 => UNS * INC C8: 2,6 # H2: 5 # H6: 1,3 => UNS * INC C8: 2,6 # H2: 5 # H6: 8 => UNS * INC C8: 2,6 # H2: 5 # B7: 2,6 => UNS * INC C8: 2,6 # H2: 5 # B8: 2,6 => UNS * INC C8: 2,6 # H2: 5 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 5 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,6 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 4,6 # B8: 3,7,8,9 => UNS * INC C8: 2,6 # B7: 4,6 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 # F8: 8,9 => UNS * DIS C8: 2,6 # B7: 4,6 # F9: 8,9 => CTR => F9: 4,5 * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 5 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H5: 1,3 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H5: 8 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H6: 1,3 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # H6: 8 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # B8: 7 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 4,6 + F9: 4,5 => UNS * INC C8: 2,6 # B7: 2,3,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 # H2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 # H2: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 # B8: 3,7,8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 # E8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 # F9: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 # A8: 8,9 => UNS * DIS C8: 2,6 # B7: 2,3,7 # B8: 8,9 => CTR => B8: 2,3,6,7 * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 3 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # E8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # F9: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 3 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B7: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B7: 2 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 5,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 3 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # H2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # H2: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B8: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # E8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # F9: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # A8: 3 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 5 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B7: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # B7: 2 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 5,7 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 # G8: 3 => UNS * INC C8: 2,6 # B7: 2,3,7 + B8: 2,3,6,7 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,7 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 2 => UNS * INC C8: 2,6 # B7: 4,7 # H5: 1,3 => UNS * INC C8: 2,6 # B7: 4,7 # H5: 8 => UNS * INC C8: 2,6 # B7: 4,7 # H6: 1,3 => UNS * INC C8: 2,6 # B7: 4,7 # H6: 8 => UNS * INC C8: 2,6 # B7: 4,7 # B9: 4,7 => UNS * INC C8: 2,6 # B7: 4,7 # B9: 8,9 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 4,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 4,7 # E8: 8,9 => UNS * INC C8: 2,6 # B7: 4,7 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 4,7 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 4,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 4,7 => UNS * INC C8: 2,6 # B7: 2,3,6 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,6 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,3,6 # H2: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,6 # H2: 5 => UNS * INC C8: 2,6 # B7: 2,3,6 # B7: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,6 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 2,3,6 # G8: 3,7 => UNS * INC C8: 2,6 # B7: 2,3,6 # G8: 5 => UNS * INC C8: 2,6 # B7: 2,3,6 # G8: 5,7 => UNS * INC C8: 2,6 # B7: 2,3,6 # G8: 3 => UNS * INC C8: 2,6 # B7: 2,3,6 => UNS * INC C8: 2,6 # B7: 2,4 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,4 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,4 # B2: 5,6 => UNS * DIS C8: 2,6 # B7: 2,4 # B2: 2 => CTR => B2: 5,6 * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A2: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # I2: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H5: 1,3 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H5: 8 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H6: 1,3 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H6: 8 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A5: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A5: 4 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A2: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # I2: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H5: 1,3 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H5: 8 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H6: 1,3 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # H6: 8 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A5: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # A5: 4 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4 + B2: 5,6 => UNS * INC C8: 2,6 # B7: 3,6,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 3,6,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 3,6,7 # H2: 2,6 => UNS * INC C8: 2,6 # B7: 3,6,7 # H2: 5 => UNS * INC C8: 2,6 # B7: 3,6,7 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 3,6,7 # B8: 3,7,8,9 => UNS * INC C8: 2,6 # B7: 3,6,7 # G8: 3,7 => UNS * INC C8: 2,6 # B7: 3,6,7 # G8: 5 => UNS * INC C8: 2,6 # B7: 3,6,7 # B7: 3,7 => UNS * INC C8: 2,6 # B7: 3,6,7 # B7: 6 => UNS * INC C8: 2,6 # B7: 3,6,7 # G8: 5,7 => UNS * INC C8: 2,6 # B7: 3,6,7 # G8: 3 => UNS * INC C8: 2,6 # B7: 3,6,7 => UNS * INC C8: 2,6 # G8: 3,7 # I4: 7,8 => UNS * INC C8: 2,6 # G8: 3,7 # I4: 4,9 => UNS * INC C8: 2,6 # G8: 3,7 # H1: 7,8 => UNS * INC C8: 2,6 # G8: 3,7 # H1: 2 => UNS * INC C8: 2,6 # G8: 3,7 # B8: 2,6 => UNS * DIS C8: 2,6 # G8: 3,7 # B8: 3,8,9 => CTR => B8: 2,6 * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # I4: 7,8 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # I4: 4,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # H1: 7,8 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # H1: 2 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # B5: 3,4 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # B6: 3,4 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # E8: 8,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # F9: 8,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # A8: 8,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # A8: 3 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # D1: 8,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 # D6: 8,9 => UNS * INC C8: 2,6 # G8: 3,7 + B8: 2,6 => UNS * INC C8: 2,6 # G8: 5 # B2: 2,6 => UNS * INC C8: 2,6 # G8: 5 # B2: 5 => UNS * INC C8: 2,6 # G8: 5 # B2: 5,6 => UNS * INC C8: 2,6 # G8: 5 # B2: 2 => UNS * INC C8: 2,6 # G8: 5 # H3: 5,6 => UNS * INC C8: 2,6 # G8: 5 # H3: 3 => UNS * INC C8: 2,6 # G8: 5 # H3: 5,6 => UNS * INC C8: 2,6 # G8: 5 # H3: 3 => UNS * INC C8: 2,6 # G8: 5 # B2: 5,6 => UNS * INC C8: 2,6 # G8: 5 # B2: 2 => UNS * INC C8: 2,6 # G8: 5 # H3: 3,6 => UNS * INC C8: 2,6 # G8: 5 # H3: 5 => UNS * INC C8: 2,6 # G8: 5 # H5: 1,3 => UNS * INC C8: 2,6 # G8: 5 # H5: 8 => UNS * INC C8: 2,6 # G8: 5 # H6: 1,3 => UNS * INC C8: 2,6 # G8: 5 # H6: 8 => UNS * INC C8: 2,6 # G8: 5 # B7: 2,6 => UNS * INC C8: 2,6 # G8: 5 # B8: 2,6 => UNS * INC C8: 2,6 # G8: 5 => UNS * INC C8: 2,6 # B7: 3,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 3,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 3,7 # H2: 2,6 => UNS * INC C8: 2,6 # B7: 3,7 # H2: 5 => UNS * INC C8: 2,6 # B7: 3,7 # F5: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # B4: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # I4: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # E2: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 3,7 # B2: 5 => UNS * INC C8: 2,6 # B7: 3,7 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # F9: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # A8: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # A8: 3 => UNS * INC C8: 2,6 # B7: 3,7 # D1: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # D6: 8,9 => UNS * INC C8: 2,6 # B7: 3,7 # G3: 3,5 => UNS * INC C8: 2,6 # B7: 3,7 # G3: 4,6,9 => UNS * INC C8: 2,6 # B7: 3,7 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B2: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 # B7: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B7: 4,6 => UNS * INC C8: 2,6 # B7: 2,4,6 # B7: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 # B7: 2,4 => UNS * INC C8: 2,6 # B7: 2,4,6 # B7: 6 => UNS * INC C8: 2,6 # B7: 2,4,6 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 # F8: 8,9 => UNS * DIS C8: 2,6 # B7: 2,4,6 # F9: 8,9 => CTR => F9: 4,5 * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 5 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # G3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H3: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 5,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B2: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H5: 1,3 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H5: 8 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H6: 1,3 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # H6: 8 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B7: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B8: 2,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B7: 4,6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B7: 2 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B7: 2,4 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # B7: 6 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # D8: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # F8: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E3: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 # E4: 8,9 => UNS * INC C8: 2,6 # B7: 2,4,6 + F9: 4,5 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 2,6 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 5 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 2 => UNS * INC C8: 2,6 # G8: 5,7 # G3: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # H3: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # G3: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # H3: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 5,6 => UNS * INC C8: 2,6 # G8: 5,7 # B2: 2 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 2,6 => UNS * INC C8: 2,6 # G8: 5,7 # B8: 2,6 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 4,6 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 2,7 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 4,7 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 2,6 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 2,4 => UNS * INC C8: 2,6 # G8: 5,7 # B7: 6,7 => UNS * INC C8: 2,6 # G8: 5,7 => UNS * INC C8: 2,6 # G8: 3 # A2: 4,9 => UNS * DIS C8: 2,6 # G8: 3 # I2: 4,9 => CTR => I2: 3 * DIS C8: 2,6 # G8: 3 + I2: 3 # B3: 6,8 => CTR => B3: 9 * PRF C8: 2,6 # G8: 3 + I2: 3 + B3: 9 => SOL * STA C8: 2,6 + G8: 3 * CNT 469 HDP CHAINS / 469 HYP OPENED