Analysis of xx-ph-00001368-L134-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: ..34......5...92..6...7.....1......5.....1..89...2.1...9...58....4.6.......3...7. initial

Autosolve

position: ..34......5...92..6.9.7.....1......5.....1..89...2.1...9...58....4.6.......3...7. autosolve
Autosolve

Pair Reduction Variants

Pair Reduction Analysis

Pair Reduction Analysis

See Appendix: Full HDP Chains for full list of HDP chains.

Pair Reduction

Pair Reduction

See Appendix: Full HDP Chains for full list of HDP chains.

Deep Pair Reduction

Deep Pair Reduction

Time used: 0:01:36.247821

The following important HDP chains were detected:

* DIS # E9: 1,4 # D3: 5,8 => CTR => D3: 1,2
* DIS # E9: 1,4 + D3: 1,2 # F8: 8 => CTR => F8: 2,7
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 # A8: 3,5 => CTR => A8: 1,2,7,8
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # A2: 1,7 => CTR => A2: 4
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 # A1: 2,8 => CTR => A1: 1,7
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 # I2: 1,7 => CTR => I2: 3,6
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 # E4: 8 => CTR => E4: 3,9
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 # H8: 3,5 => CTR => H8: 1
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 + H8: 1 => CTR => E9: 8,9
* DIS E9: 8,9 # D8: 8,9 # D7: 1 => CTR => D7: 2,7
* DIS E9: 8,9 # D8: 8,9 + D7: 2,7 # D3: 5,8 => CTR => D3: 1,2
* STA E9: 8,9
* CNT  11 HDP CHAINS / 174 HYP OPENED

See Appendix: Full HDP Chains for full list of HDP chains.

Deep Pair Reduction Position

position: ..34......5...92..6.9.7.....1......5.....1..89...2.1...9...58....4.6.......3...7. deep_pair_reduction
Deep Pair Reduction

See section Deep Pair Reduction for the HDP chains leading to this result.

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000034

List of important HDP chains detected for D8,E9: 9..:

* DIS # D8: 9 # D7: 1 => CTR => D7: 2,7
* DIS # D8: 9 + D7: 2,7 # D3: 2,8 => CTR => D3: 1
* DIS # D8: 9 + D7: 2,7 + D3: 1 # B3: 4 => CTR => B3: 2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 # F1: 6 => CTR => F1: 2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 # G5: 4,9 => CTR => G5: 3,6,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 # H5: 4,9 => CTR => H5: 2,3,6
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 # C9: 2,6 => CTR => C9: 1,5
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 # A8: 3,5 => CTR => A8: 1,2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 # A1: 2,8 => CTR => A1: 1,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 + A1: 1,7 => CTR => D8: 1,2,7,8
* STA D8: 1,2,7,8
* CNT  10 HDP CHAINS /  41 HYP OPENED

List of important HDP chains detected for E1,E5: 5..:

* DIS # E5: 5 # E2: 1,8 => CTR => E2: 3
* DIS # E5: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => E5: 3,4,9
* STA E5: 3,4,9
* CNT  10 HDP CHAINS /  16 HYP OPENED

List of important HDP chains detected for E1,D3: 5..:

* DIS # D3: 5 # E2: 1,8 => CTR => E2: 3
* DIS # D3: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => D3: 1,2,8
* STA D3: 1,2,8
* CNT  10 HDP CHAINS /  16 HYP OPENED

List of important HDP chains detected for A2,B3: 4..:

* DIS # B3: 4 # D2: 1 => CTR => D2: 6,8
* DIS # B3: 4 + D2: 6,8 # F4: 6,8 => CTR => F4: 3,4,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 # F6: 6,8 => CTR => F6: 3,4,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # B8: 2,8 => CTR => B8: 3,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 # B9: 2,8 => CTR => B9: 6
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 + B9: 6 => CTR => B3: 2,8
* STA B3: 2,8
* CNT   6 HDP CHAINS /  16 HYP OPENED

List of important HDP chains detected for E2,F3: 3..:

* DIS # F3: 3 # E1: 1,8 => CTR => E1: 5
* DIS # F3: 3 + E1: 5 # A2: 1,8 => CTR => A2: 4,7
* DIS # F3: 3 + E1: 5 + A2: 4,7 # I2: 1,4 => CTR => I2: 3,6,7
* DIS # E2: 3 # D3: 2,8 => CTR => D3: 1,5
* CNT   4 HDP CHAINS /  85 HYP OPENED

List of important HDP chains detected for F1,D2: 6..:

* DIS # F1: 6 # H2: 1,8 => CTR => H2: 3,4,6
* DIS # D2: 6 # F8: 2,8 => CTR => F8: 7
* DIS # D2: 6 + F8: 7 # A7: 1,2 => CTR => A7: 3,7
* DIS # D2: 6 + F8: 7 + A7: 3,7 # C7: 1,2 => CTR => C7: 6,7
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # D3: 5,8 => CTR => D3: 1,2
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # B1: 2,8 => CTR => B1: 7
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 # A1: 1 => CTR => A1: 2,8
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 # F3: 2,8 => CTR => F3: 3
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 + F3: 3 => CTR => D2: 1,8
* STA D2: 1,8
* CNT   9 HDP CHAINS /  92 HYP OPENED

List of important HDP chains detected for E7,F9: 4..:

* DIS # E7: 4 # D8: 8,9 => CTR => D8: 1,2,7
* DIS # E7: 4 + D8: 1,2,7 # F8: 2,8 => CTR => F8: 7
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 # H2: 6,8 => CTR => H2: 3,4
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 # D4: 6,8 => CTR => D4: 7,9
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # E1: 5,8 => CTR => E1: 1
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 + E1: 1 => CTR => E7: 1
* STA E7: 1
* CNT   6 HDP CHAINS /  36 HYP OPENED

See Appendix: Full HDP Chains for full list of HDP chains.

Details

This sudoku is deep. Here is some information that may be helpful on how to proceed.

Positions

..34......5...92..6...7.....1......5.....1..89...2.1...9...58....4.6.......3...7. initial
..34......5...92..6.9.7.....1......5.....1..89...2.1...9...58....4.6.......3...7. autosolve
..34......5...92..6.9.7.....1......5.....1..89...2.1...9...58....4.6.......3...7. deep_pair_reduction

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
E7: 1,4

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H4,H5: 2.. / H4 = 2  =>  1 pairs (_) / H5 = 2  =>  1 pairs (_)
E2,F3: 3.. / E2 = 3  =>  2 pairs (_) / F3 = 3  =>  4 pairs (_)
A2,B3: 4.. / A2 = 4  =>  2 pairs (_) / B3 = 4  =>  4 pairs (_)
E1,D3: 5.. / E1 = 5  =>  1 pairs (_) / D3 = 5  =>  5 pairs (_)
C6,D6: 5.. / C6 = 5  =>  1 pairs (_) / D6 = 5  =>  1 pairs (_)
E1,E5: 5.. / E1 = 5  =>  1 pairs (_) / E5 = 5  =>  5 pairs (_)
F1,D2: 6.. / F1 = 6  =>  3 pairs (_) / D2 = 6  =>  2 pairs (_)
D8,E9: 9.. / D8 = 9  =>  2 pairs (_) / E9 = 9  =>  1 pairs (_)
* DURATION: 0:00:05.823027  START: 18:24:21.799605  END: 18:24:27.622632 2020-11-27
* CP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
D8,E9: 9.. / D8 = 9 ==>  0 pairs (X) / E9 = 9  =>  1 pairs (_)
E1,E5: 5.. / E1 = 5  =>  2 pairs (_) / E5 = 5 ==>  0 pairs (X)
E1,D3: 5.. / E1 = 5  =>  2 pairs (_) / D3 = 5 ==>  0 pairs (X)
A2,B3: 4.. / A2 = 4  =>  3 pairs (_) / B3 = 4 ==>  0 pairs (X)
E2,F3: 3.. / E2 = 3 ==>  6 pairs (_) / F3 = 3 ==>  6 pairs (_)
F1,D2: 6.. / F1 = 6 ==>  4 pairs (_) / D2 = 6 ==>  0 pairs (X)
E7,F9: 4.. / E7 = 4 ==>  0 pairs (X) / F9 = 4 ==>  4 pairs (_)
C6,D6: 5.. / C6 = 5 ==>  2 pairs (_) / D6 = 5 ==>  2 pairs (_)
H4,H5: 2.. / H4 = 2 ==>  2 pairs (_) / H5 = 2 ==>  2 pairs (_)
* DURATION: 0:03:15.814864  START: 18:26:10.626381  END: 18:29:26.441245 2020-11-27
* REASONING D8,E9: 9..
* DIS # D8: 9 # D7: 1 => CTR => D7: 2,7
* DIS # D8: 9 + D7: 2,7 # D3: 2,8 => CTR => D3: 1
* DIS # D8: 9 + D7: 2,7 + D3: 1 # B3: 4 => CTR => B3: 2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 # F1: 6 => CTR => F1: 2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 # G5: 4,9 => CTR => G5: 3,6,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 # H5: 4,9 => CTR => H5: 2,3,6
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 # C9: 2,6 => CTR => C9: 1,5
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 # A8: 3,5 => CTR => A8: 1,2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 # A1: 2,8 => CTR => A1: 1,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 + A1: 1,7 => CTR => D8: 1,2,7,8
* STA D8: 1,2,7,8
* CNT  10 HDP CHAINS /  41 HYP OPENED
* REASONING E1,E5: 5..
* DIS # E5: 5 # E2: 1,8 => CTR => E2: 3
* DIS # E5: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => E5: 3,4,9
* STA E5: 3,4,9
* CNT  10 HDP CHAINS /  16 HYP OPENED
* REASONING E1,D3: 5..
* DIS # D3: 5 # E2: 1,8 => CTR => E2: 3
* DIS # D3: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => D3: 1,2,8
* STA D3: 1,2,8
* CNT  10 HDP CHAINS /  16 HYP OPENED
* REASONING A2,B3: 4..
* DIS # B3: 4 # D2: 1 => CTR => D2: 6,8
* DIS # B3: 4 + D2: 6,8 # F4: 6,8 => CTR => F4: 3,4,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 # F6: 6,8 => CTR => F6: 3,4,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # B8: 2,8 => CTR => B8: 3,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 # B9: 2,8 => CTR => B9: 6
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 + B9: 6 => CTR => B3: 2,8
* STA B3: 2,8
* CNT   6 HDP CHAINS /  16 HYP OPENED
* REASONING E2,F3: 3..
* DIS # F3: 3 # E1: 1,8 => CTR => E1: 5
* DIS # F3: 3 + E1: 5 # A2: 1,8 => CTR => A2: 4,7
* DIS # F3: 3 + E1: 5 + A2: 4,7 # I2: 1,4 => CTR => I2: 3,6,7
* DIS # E2: 3 # D3: 2,8 => CTR => D3: 1,5
* CNT   4 HDP CHAINS /  85 HYP OPENED
* REASONING F1,D2: 6..
* DIS # F1: 6 # H2: 1,8 => CTR => H2: 3,4,6
* DIS # D2: 6 # F8: 2,8 => CTR => F8: 7
* DIS # D2: 6 + F8: 7 # A7: 1,2 => CTR => A7: 3,7
* DIS # D2: 6 + F8: 7 + A7: 3,7 # C7: 1,2 => CTR => C7: 6,7
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # D3: 5,8 => CTR => D3: 1,2
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # B1: 2,8 => CTR => B1: 7
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 # A1: 1 => CTR => A1: 2,8
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 # F3: 2,8 => CTR => F3: 3
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 + F3: 3 => CTR => D2: 1,8
* STA D2: 1,8
* CNT   9 HDP CHAINS /  92 HYP OPENED
* REASONING E7,F9: 4..
* DIS # E7: 4 # D8: 8,9 => CTR => D8: 1,2,7
* DIS # E7: 4 + D8: 1,2,7 # F8: 2,8 => CTR => F8: 7
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 # H2: 6,8 => CTR => H2: 3,4
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 # D4: 6,8 => CTR => D4: 7,9
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # E1: 5,8 => CTR => E1: 1
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 + E1: 1 => CTR => E7: 1
* STA E7: 1
* CNT   6 HDP CHAINS /  36 HYP OPENED
* DCP COUNT: (9)
* CLUE FOUND

Header Info

1368;L134;elev;21;11.30;1.20;1.20

Appendix: Full HDP Chains

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # E9: 1,4 => UNS
* INC # E9: 8,9 => UNS
* INC # H7: 1,4 => UNS
* INC # I7: 1,4 => UNS
* CNT   4 HDP CHAINS /   4 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # E9: 1,4 => UNS
* INC # E9: 8,9 => UNS
* INC # H7: 1,4 => UNS
* INC # I7: 1,4 => UNS
* CNT   4 HDP CHAINS /   4 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # E9: 1,4 => UNS
* INC # E9: 8,9 => UNS
* INC # H7: 1,4 => UNS
* INC # I7: 1,4 => UNS
* DIS # E9: 1,4 # D3: 5,8 => CTR => D3: 1,2
* INC # E9: 1,4 + D3: 1,2 # E4: 3,8 => UNS
* INC # E9: 1,4 + D3: 1,2 # E4: 9 => UNS
* INC # E9: 1,4 + D3: 1,2 # F8: 2,7 => UNS
* DIS # E9: 1,4 + D3: 1,2 # F8: 8 => CTR => F8: 2,7
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # A7: 2,7 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # C7: 2,7 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # H7: 1,4 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # I7: 1,4 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # I9: 1,4 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # I9: 2,6,9 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # H8: 3,5 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 # H8: 1 => UNS
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 # A8: 3,5 => CTR => A8: 1,2,7,8
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # G3: 3,5 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # G3: 4 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # H8: 3,5 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # H8: 1 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # G3: 3,5 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # G3: 4 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # A1: 1,7 => UNS
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 # A2: 1,7 => CTR => A2: 4
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 # A1: 1,7 => UNS
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 # A1: 2,8 => CTR => A1: 1,7
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 # I2: 1,7 => CTR => I2: 3,6
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 # E4: 3,8 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 # E4: 9 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 # E4: 3,9 => UNS
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 # E4: 8 => CTR => E4: 3,9
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 # G5: 3,9 => UNS
* INC # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 # H5: 3,9 => UNS
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 # H8: 3,5 => CTR => H8: 1
* DIS # E9: 1,4 + D3: 1,2 + F8: 2,7 + A8: 1,2,7,8 + A2: 4 + A1: 1,7 + I2: 3,6 + E4: 3,9 + H8: 1 => CTR => E9: 8,9
* INC E9: 8,9 # H7: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 => UNS
* INC E9: 8,9 # D8: 8,9 => UNS
* INC E9: 8,9 # D8: 1,2,7 => UNS
* INC E9: 8,9 # E4: 8,9 => UNS
* INC E9: 8,9 # E4: 3,4 => UNS
* INC E9: 8,9 # H7: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 => UNS
* INC E9: 8,9 # D8: 8,9 => UNS
* INC E9: 8,9 # D8: 1,2,7 => UNS
* INC E9: 8,9 # E4: 8,9 => UNS
* INC E9: 8,9 # E4: 3,4 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # F8: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # A7: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # C7: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 8,9 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 1,2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # E4: 8,9 => UNS
* INC E9: 8,9 # H7: 1,4 # E4: 3,4 => UNS
* INC E9: 8,9 # H7: 1,4 # I9: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 # I9: 2,6,9 => UNS
* INC E9: 8,9 # H7: 1,4 # H2: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 # H3: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # F8: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # A7: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # C7: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 8,9 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 1,2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # E4: 8,9 => UNS
* INC E9: 8,9 # I7: 1,4 # E4: 3,4 => UNS
* INC E9: 8,9 # I7: 1,4 # H2: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H4: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H5: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H6: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # I9: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # I9: 2,6,9 => UNS
* INC E9: 8,9 # I7: 1,4 # I2: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # I3: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # F8: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # A7: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # C7: 2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 8,9 => UNS
* INC E9: 8,9 # H7: 1,4 # D8: 1,2,7 => UNS
* INC E9: 8,9 # H7: 1,4 # E4: 8,9 => UNS
* INC E9: 8,9 # H7: 1,4 # E4: 3,4 => UNS
* INC E9: 8,9 # H7: 1,4 # I9: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 # I9: 2,6,9 => UNS
* INC E9: 8,9 # H7: 1,4 # H2: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 # H3: 1,4 => UNS
* INC E9: 8,9 # H7: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # F8: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # A7: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # C7: 2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 8,9 => UNS
* INC E9: 8,9 # I7: 1,4 # D8: 1,2,7 => UNS
* INC E9: 8,9 # I7: 1,4 # E4: 8,9 => UNS
* INC E9: 8,9 # I7: 1,4 # E4: 3,4 => UNS
* INC E9: 8,9 # I7: 1,4 # H2: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H4: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H5: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # H6: 3,6 => UNS
* INC E9: 8,9 # I7: 1,4 # I9: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # I9: 2,6,9 => UNS
* INC E9: 8,9 # I7: 1,4 # I2: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 # I3: 1,4 => UNS
* INC E9: 8,9 # I7: 1,4 => UNS
* INC E9: 8,9 # D8: 8,9 # D4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 # D4: 6,7 => UNS
* INC E9: 8,9 # D8: 8,9 # D7: 2,7 => UNS
* DIS E9: 8,9 # D8: 8,9 # D7: 1 => CTR => D7: 2,7
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 # A8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 # B8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 # E4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 # E4: 3,4 => UNS
* DIS E9: 8,9 # D8: 8,9 + D7: 2,7 # D3: 5,8 => CTR => D3: 1,2
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # F3: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # F3: 2 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # H2: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # H2: 1,4,6 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 4,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # A7: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # C7: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # D4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # D4: 6,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # A8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # B8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 3,4 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # F3: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # F3: 2 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # H2: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # H2: 1,4,6 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 3,8 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 4,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # A7: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # C7: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # D4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # D4: 6,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # A8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # B8: 2,7 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 8,9 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 # E4: 3,4 => UNS
* INC E9: 8,9 # D8: 8,9 + D7: 2,7 + D3: 1,2 => UNS
* INC E9: 8,9 # D8: 1,2,7 # H7: 1,4 => UNS
* INC E9: 8,9 # D8: 1,2,7 # I7: 1,4 => UNS
* INC E9: 8,9 # D8: 1,2,7 => UNS
* INC E9: 8,9 # E4: 8,9 # D3: 1,5 => UNS
* INC E9: 8,9 # E4: 8,9 # D3: 2,8 => UNS
* INC E9: 8,9 # E4: 8,9 # H1: 1,5 => UNS
* INC E9: 8,9 # E4: 8,9 # H1: 6,8,9 => UNS
* INC E9: 8,9 # E4: 8,9 # H2: 1,3 => UNS
* INC E9: 8,9 # E4: 8,9 # I2: 1,3 => UNS
* INC E9: 8,9 # E4: 8,9 # D4: 8,9 => UNS
* INC E9: 8,9 # E4: 8,9 # D4: 6,7 => UNS
* INC E9: 8,9 # E4: 8,9 # H7: 1,4 => UNS
* INC E9: 8,9 # E4: 8,9 # I7: 1,4 => UNS
* INC E9: 8,9 # E4: 8,9 # D8: 8,9 => UNS
* INC E9: 8,9 # E4: 8,9 # D8: 1,2,7 => UNS
* INC E9: 8,9 # E4: 8,9 => UNS
* INC E9: 8,9 # E4: 3,4 # F4: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # E5: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # F6: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # A4: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # G4: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # H4: 3,4 => UNS
* INC E9: 8,9 # E4: 3,4 # H7: 1,4 => UNS
* INC E9: 8,9 # E4: 3,4 # I7: 1,4 => UNS
* INC E9: 8,9 # E4: 3,4 # D8: 8,9 => UNS
* INC E9: 8,9 # E4: 3,4 # D8: 1,2,7 => UNS
* INC E9: 8,9 # E4: 3,4 => UNS
* STA E9: 8,9
* CNT 174 HDP CHAINS / 174 HYP OPENED

A4. Deep Constraint Pair Analysis

Full list of HDP chains traversed for D8,E9: 9..:

* INC # D8: 9 # D3: 1,5 => UNS
* INC # D8: 9 # D3: 2,8 => UNS
* INC # D8: 9 # H1: 1,5 => UNS
* INC # D8: 9 # H1: 6,8,9 => UNS
* INC # D8: 9 # H2: 1,3 => UNS
* INC # D8: 9 # I2: 1,3 => UNS
* INC # D8: 9 # C7: 2,6 => UNS
* INC # D8: 9 # C9: 2,6 => UNS
* INC # D8: 9 # I9: 2,6 => UNS
* INC # D8: 9 # I9: 1,4,9 => UNS
* INC # D8: 9 # B5: 2,6 => UNS
* INC # D8: 9 # B5: 3,4,7 => UNS
* INC # D8: 9 # D7: 2,7 => UNS
* DIS # D8: 9 # D7: 1 => CTR => D7: 2,7
* INC # D8: 9 + D7: 2,7 # A8: 2,7 => UNS
* INC # D8: 9 + D7: 2,7 # B8: 2,7 => UNS
* INC # D8: 9 + D7: 2,7 # H8: 3,5 => UNS
* INC # D8: 9 + D7: 2,7 # H8: 1 => UNS
* INC # D8: 9 + D7: 2,7 # A8: 3,5 => UNS
* INC # D8: 9 + D7: 2,7 # A8: 1,2,7,8 => UNS
* INC # D8: 9 + D7: 2,7 # G3: 3,5 => UNS
* INC # D8: 9 + D7: 2,7 # G3: 4 => UNS
* INC # D8: 9 + D7: 2,7 # F1: 2,8 => UNS
* DIS # D8: 9 + D7: 2,7 # D3: 2,8 => CTR => D3: 1
* INC # D8: 9 + D7: 2,7 + D3: 1 # F1: 2,8 => UNS
* INC # D8: 9 + D7: 2,7 + D3: 1 # F1: 6 => UNS
* INC # D8: 9 + D7: 2,7 + D3: 1 # B3: 2,8 => UNS
* DIS # D8: 9 + D7: 2,7 + D3: 1 # B3: 4 => CTR => B3: 2,8
* INC # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 # F1: 2,8 => UNS
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 # F1: 6 => CTR => F1: 2,8
* INC # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 # G4: 4,9 => UNS
* INC # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 # H4: 4,9 => UNS
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 # G5: 4,9 => CTR => G5: 3,6,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 # H5: 4,9 => CTR => H5: 2,3,6
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 # C9: 2,6 => CTR => C9: 1,5
* INC # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 # I9: 2,6 => UNS
* INC # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 # I9: 1,9 => UNS
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 # A8: 3,5 => CTR => A8: 1,2,8
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 # A1: 2,8 => CTR => A1: 1,7
* DIS # D8: 9 + D7: 2,7 + D3: 1 + B3: 2,8 + F1: 2,8 + G5: 3,6,7 + H5: 2,3,6 + C9: 1,5 + A8: 1,2,8 + A1: 1,7 => CTR => D8: 1,2,7,8
* INC D8: 1,2,7,8 # E9: 9 => UNS
* STA D8: 1,2,7,8
* CNT  41 HDP CHAINS /  41 HYP OPENED

Full list of HDP chains traversed for E1,E5: 5..:

* INC # E5: 5 # D2: 1,8 => UNS
* DIS # E5: 5 # E2: 1,8 => CTR => E2: 3
* INC # E5: 5 + E2: 3 # D2: 1,8 => UNS
* DIS # E5: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* INC # E5: 5 + E2: 3 + D2: 1,8 # A1: 1,8 => UNS
* DIS # E5: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* INC # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # H7: 1,4 => UNS
* INC # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # H7: 3,6 => UNS
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # E5: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => E5: 3,4,9
* INC E5: 3,4,9 # E1: 5 => UNS
* STA E5: 3,4,9
* CNT  16 HDP CHAINS /  16 HYP OPENED

Full list of HDP chains traversed for E1,D3: 5..:

* INC # D3: 5 # D2: 1,8 => UNS
* DIS # D3: 5 # E2: 1,8 => CTR => E2: 3
* INC # D3: 5 + E2: 3 # D2: 1,8 => UNS
* DIS # D3: 5 + E2: 3 # D2: 6 => CTR => D2: 1,8
* INC # D3: 5 + E2: 3 + D2: 1,8 # A1: 1,8 => UNS
* DIS # D3: 5 + E2: 3 + D2: 1,8 # A1: 2,7 => CTR => A1: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 # H3: 3,4 => CTR => H3: 1,8
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 # I3: 3,4 => CTR => I3: 1
* INC # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # H7: 1,4 => UNS
* INC # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # H7: 3,6 => UNS
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 # D8: 7,8 => CTR => D8: 1,2,9
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 # A8: 7,8 => CTR => A8: 2,3,5
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 # F4: 7,8 => CTR => F4: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 # F6: 7,8 => CTR => F6: 3,4
* DIS # D3: 5 + E2: 3 + D2: 1,8 + A1: 1,8 + H3: 1,8 + I3: 1 + D8: 1,2,9 + A8: 2,3,5 + F4: 3,4 + F6: 3,4 => CTR => D3: 1,2,8
* INC D3: 1,2,8 # E1: 5 => UNS
* STA D3: 1,2,8
* CNT  16 HDP CHAINS /  16 HYP OPENED

Full list of HDP chains traversed for A2,B3: 4..:

* INC # B3: 4 # D2: 6,8 => UNS
* DIS # B3: 4 # D2: 1 => CTR => D2: 6,8
* DIS # B3: 4 + D2: 6,8 # F4: 6,8 => CTR => F4: 3,4,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 # F6: 6,8 => CTR => F6: 3,4,7
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # G8: 3,5 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # G8: 9 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # I7: 1,3 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # I8: 1,3 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # H7: 1,4 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # I7: 1,4 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # A8: 2,8 => UNS
* INC # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # A9: 2,8 => UNS
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 # B8: 2,8 => CTR => B8: 3,7
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 # B9: 2,8 => CTR => B9: 6
* DIS # B3: 4 + D2: 6,8 + F4: 3,4,7 + F6: 3,4,7 + B8: 3,7 + B9: 6 => CTR => B3: 2,8
* INC B3: 2,8 # A2: 4 => UNS
* STA B3: 2,8
* CNT  16 HDP CHAINS /  16 HYP OPENED

Full list of HDP chains traversed for E2,F3: 3..:

* DIS # F3: 3 # E1: 1,8 => CTR => E1: 5
* INC # F3: 3 + E1: 5 # D2: 1,8 => UNS
* INC # F3: 3 + E1: 5 # D3: 1,8 => UNS
* DIS # F3: 3 + E1: 5 # A2: 1,8 => CTR => A2: 4,7
* INC # F3: 3 + E1: 5 + A2: 4,7 # C2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # H2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # D2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # D3: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # C2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # H2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # H3: 4,5 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # H3: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # G9: 4,5 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # G9: 6,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 # H2: 1,4 => UNS
* DIS # F3: 3 + E1: 5 + A2: 4,7 # I2: 1,4 => CTR => I2: 3,6,7
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H3: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I9: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H2: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H3: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I9: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D8: 8,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D8: 1,2,7 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # E4: 8,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # E4: 3,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # A4: 4,7 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # A5: 4,7 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D3: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # C2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H2: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H3: 4,5 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H3: 1,8 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # G9: 4,5 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # G9: 6,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H2: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H3: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I9: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # H7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # I7: 1,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D8: 8,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # D8: 1,2,7 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # E4: 8,9 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 # E4: 3,4 => UNS
* INC # F3: 3 + E1: 5 + A2: 4,7 + I2: 3,6,7 => UNS
* INC # E2: 3 # F1: 2,8 => UNS
* DIS # E2: 3 # D3: 2,8 => CTR => D3: 1,5
* INC # E2: 3 + D3: 1,5 # F1: 2,8 => UNS
* INC # E2: 3 + D3: 1,5 # F1: 6 => UNS
* INC # E2: 3 + D3: 1,5 # B3: 2,8 => UNS
* INC # E2: 3 + D3: 1,5 # B3: 4 => UNS
* INC # E2: 3 + D3: 1,5 # H7: 1,4 => UNS
* INC # E2: 3 + D3: 1,5 # I7: 1,4 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 8,9 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 1,2,7 => UNS
* INC # E2: 3 + D3: 1,5 # E4: 8,9 => UNS
* INC # E2: 3 + D3: 1,5 # E4: 4 => UNS
* INC # E2: 3 + D3: 1,5 # E1: 1,5 => UNS
* INC # E2: 3 + D3: 1,5 # E1: 8 => UNS
* INC # E2: 3 + D3: 1,5 # H3: 1,5 => UNS
* INC # E2: 3 + D3: 1,5 # H3: 3,4,8 => UNS
* INC # E2: 3 + D3: 1,5 # F1: 2,8 => UNS
* INC # E2: 3 + D3: 1,5 # F1: 6 => UNS
* INC # E2: 3 + D3: 1,5 # B3: 2,8 => UNS
* INC # E2: 3 + D3: 1,5 # B3: 4 => UNS
* INC # E2: 3 + D3: 1,5 # H7: 1,4 => UNS
* INC # E2: 3 + D3: 1,5 # I7: 1,4 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 7,8 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 1,2,9 => UNS
* INC # E2: 3 + D3: 1,5 # A8: 7,8 => UNS
* INC # E2: 3 + D3: 1,5 # B8: 7,8 => UNS
* INC # E2: 3 + D3: 1,5 # F4: 7,8 => UNS
* INC # E2: 3 + D3: 1,5 # F6: 7,8 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 8,9 => UNS
* INC # E2: 3 + D3: 1,5 # D8: 1,2,7 => UNS
* INC # E2: 3 + D3: 1,5 # E4: 8,9 => UNS
* INC # E2: 3 + D3: 1,5 # E4: 4 => UNS
* INC # E2: 3 + D3: 1,5 # F4: 4,8 => UNS
* INC # E2: 3 + D3: 1,5 # F6: 4,8 => UNS
* INC # E2: 3 + D3: 1,5 => UNS
* CNT  85 HDP CHAINS /  85 HYP OPENED

Full list of HDP chains traversed for F1,D2: 6..:

* INC # F1: 6 # A2: 4,8 => UNS
* INC # F1: 6 # A2: 1,7 => UNS
* INC # F1: 6 # H3: 4,8 => UNS
* INC # F1: 6 # H3: 1,3,5 => UNS
* INC # F1: 6 # B6: 4,8 => UNS
* INC # F1: 6 # B6: 3,6,7 => UNS
* INC # F1: 6 # E1: 1,8 => UNS
* INC # F1: 6 # E2: 1,8 => UNS
* INC # F1: 6 # D3: 1,8 => UNS
* INC # F1: 6 # A2: 1,8 => UNS
* INC # F1: 6 # C2: 1,8 => UNS
* DIS # F1: 6 # H2: 1,8 => CTR => H2: 3,4,6
* INC # F1: 6 + H2: 3,4,6 # D8: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 2,7,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # E1: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # E2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D3: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # A2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # C2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 2,7,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # H7: 1,4 => UNS
* INC # F1: 6 + H2: 3,4,6 # I7: 1,4 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 8,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 1,2,7 => UNS
* INC # F1: 6 + H2: 3,4,6 # E4: 8,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # E4: 3,4 => UNS
* INC # F1: 6 + H2: 3,4,6 # A2: 4,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # A2: 1,7 => UNS
* INC # F1: 6 + H2: 3,4,6 # H3: 4,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # H3: 1,3,5 => UNS
* INC # F1: 6 + H2: 3,4,6 # B6: 4,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # B6: 3,6,7 => UNS
* INC # F1: 6 + H2: 3,4,6 # E1: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # E2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D3: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # A2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # C2: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 1,8 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 2,7,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # H7: 1,4 => UNS
* INC # F1: 6 + H2: 3,4,6 # I7: 1,4 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 8,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # D8: 1,2,7 => UNS
* INC # F1: 6 + H2: 3,4,6 # E4: 8,9 => UNS
* INC # F1: 6 + H2: 3,4,6 # E4: 3,4 => UNS
* INC # F1: 6 + H2: 3,4,6 => UNS
* INC # D2: 6 # D3: 2,8 => UNS
* INC # D2: 6 # F3: 2,8 => UNS
* INC # D2: 6 # A1: 2,8 => UNS
* INC # D2: 6 # B1: 2,8 => UNS
* DIS # D2: 6 # F8: 2,8 => CTR => F8: 7
* INC # D2: 6 + F8: 7 # F9: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 4 => UNS
* INC # D2: 6 + F8: 7 # D3: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F3: 2,8 => UNS
* INC # D2: 6 + F8: 7 # A1: 2,8 => UNS
* INC # D2: 6 + F8: 7 # B1: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 4 => UNS
* INC # D2: 6 + F8: 7 # H7: 1,4 => UNS
* INC # D2: 6 + F8: 7 # I7: 1,4 => UNS
* INC # D2: 6 + F8: 7 # D8: 8,9 => UNS
* INC # D2: 6 + F8: 7 # D8: 1,2 => UNS
* INC # D2: 6 + F8: 7 # E4: 8,9 => UNS
* INC # D2: 6 + F8: 7 # E4: 3,4 => UNS
* INC # D2: 6 + F8: 7 # D3: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F3: 2,8 => UNS
* INC # D2: 6 + F8: 7 # A1: 2,8 => UNS
* INC # D2: 6 + F8: 7 # B1: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 2,8 => UNS
* INC # D2: 6 + F8: 7 # F9: 4 => UNS
* INC # D2: 6 + F8: 7 # D8: 1,2 => UNS
* INC # D2: 6 + F8: 7 # D8: 8,9 => UNS
* DIS # D2: 6 + F8: 7 # A7: 1,2 => CTR => A7: 3,7
* DIS # D2: 6 + F8: 7 + A7: 3,7 # C7: 1,2 => CTR => C7: 6,7
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # I7: 1,2 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # I7: 1,2 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # I7: 3,4,6 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # D3: 1,2 => UNS
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 # D3: 5,8 => CTR => D3: 1,2
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # E4: 8,9 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # E4: 3,4 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # F3: 2,8 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # F3: 3 => UNS
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # A1: 2,8 => UNS
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 # B1: 2,8 => CTR => B1: 7
* INC # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 # A1: 2,8 => UNS
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 # A1: 1 => CTR => A1: 2,8
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 # F3: 2,8 => CTR => F3: 3
* DIS # D2: 6 + F8: 7 + A7: 3,7 + C7: 6,7 + D3: 1,2 + B1: 7 + A1: 2,8 + F3: 3 => CTR => D2: 1,8
* STA D2: 1,8
* CNT  92 HDP CHAINS /  92 HYP OPENED

Full list of HDP chains traversed for E7,F9: 4..:

* INC # F9: 4 # D3: 5,8 => UNS
* INC # F9: 4 # D3: 1,2 => UNS
* INC # F9: 4 # H1: 5,8 => UNS
* INC # F9: 4 # H1: 1,6,9 => UNS
* INC # F9: 4 # F3: 3,8 => UNS
* INC # F9: 4 # F3: 2 => UNS
* INC # F9: 4 # H2: 3,8 => UNS
* INC # F9: 4 # H2: 1,4,6 => UNS
* INC # F9: 4 # E4: 3,8 => UNS
* INC # F9: 4 # E4: 4,9 => UNS
* INC # F9: 4 # D8: 2,7 => UNS
* INC # F9: 4 # F8: 2,7 => UNS
* INC # F9: 4 # A7: 2,7 => UNS
* INC # F9: 4 # C7: 2,7 => UNS
* INC # F9: 4 # D8: 8,9 => UNS
* INC # F9: 4 # D8: 2,7 => UNS
* INC # F9: 4 # E4: 8,9 => UNS
* INC # F9: 4 # E4: 3,4 => UNS
* INC # F9: 4 => UNS
* INC # E7: 4 # F1: 6,8 => UNS
* INC # E7: 4 # F1: 2 => UNS
* INC # E7: 4 # H2: 6,8 => UNS
* INC # E7: 4 # H2: 3,4 => UNS
* INC # E7: 4 # D4: 6,8 => UNS
* INC # E7: 4 # D6: 6,8 => UNS
* DIS # E7: 4 # D8: 8,9 => CTR => D8: 1,2,7
* DIS # E7: 4 + D8: 1,2,7 # F8: 2,8 => CTR => F8: 7
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 # H2: 6,8 => CTR => H2: 3,4
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 # D4: 6,8 => CTR => D4: 7,9
* INC # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # D6: 6,8 => UNS
* INC # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # D6: 6,8 => UNS
* INC # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # D6: 5,7 => UNS
* INC # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # D6: 6,8 => UNS
* INC # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # D6: 5,7 => UNS
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 # E1: 5,8 => CTR => E1: 1
* DIS # E7: 4 + D8: 1,2,7 + F8: 7 + H2: 3,4 + D4: 7,9 + E1: 1 => CTR => E7: 1
* STA E7: 1
* CNT  36 HDP CHAINS /  36 HYP OPENED

Full list of HDP chains traversed for C6,D6: 5..:

* INC # C6: 5 # H7: 1,4 => UNS
* INC # C6: 5 # I7: 1,4 => UNS
* INC # C6: 5 # D8: 8,9 => UNS
* INC # C6: 5 # D8: 1,2,7 => UNS
* INC # C6: 5 # E4: 8,9 => UNS
* INC # C6: 5 # E4: 3,4 => UNS
* INC # C6: 5 => UNS
* INC # D6: 5 # H7: 1,4 => UNS
* INC # D6: 5 # I7: 1,4 => UNS
* INC # D6: 5 # D8: 8,9 => UNS
* INC # D6: 5 # D8: 1,2,7 => UNS
* INC # D6: 5 # E4: 8,9 => UNS
* INC # D6: 5 # E4: 3,4 => UNS
* INC # D6: 5 => UNS
* CNT  14 HDP CHAINS /  14 HYP OPENED

Full list of HDP chains traversed for H4,H5: 2..:

* INC # H4: 2 # H7: 1,4 => UNS
* INC # H4: 2 # I7: 1,4 => UNS
* INC # H4: 2 # D8: 8,9 => UNS
* INC # H4: 2 # D8: 1,2,7 => UNS
* INC # H4: 2 # E4: 8,9 => UNS
* INC # H4: 2 # E4: 3,4 => UNS
* INC # H4: 2 => UNS
* INC # H5: 2 # H7: 1,4 => UNS
* INC # H5: 2 # I7: 1,4 => UNS
* INC # H5: 2 # D8: 8,9 => UNS
* INC # H5: 2 # D8: 1,2,7 => UNS
* INC # H5: 2 # E4: 8,9 => UNS
* INC # H5: 2 # E4: 3,4 => UNS
* INC # H5: 2 => UNS
* CNT  14 HDP CHAINS /  14 HYP OPENED