Analysis of xx-ph-00000967-H219-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: 98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. initial

Autosolve

position: 98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. 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:02:44.985332

The following important HDP chains were detected:

* DIS # F4: 1,9 # C6: 3,7 => CTR => C6: 6
* DIS # F4: 1,9 + C6: 6 # B8: 3,7 => CTR => B8: 2,5,9
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 # G6: 7 => CTR => G6: 4,8
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # G3: 3,4 => CTR => G3: 1,8
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 + G3: 1,8 # A3: 1,2 => CTR => A3: 4
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 + G3: 1,8 + A3: 4 => CTR => F4: 5,7
* DIS F4: 5,7 # C4: 1,6 # A4: 1,6 => CTR => A4: 2,5
* DIS F4: 5,7 # C4: 1,6 # A4: 1,6 => CTR => A4: 2,5
* STA F4: 5,7
* CNT   8 HDP CHAINS / 335 HYP OPENED

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

Deep Pair Reduction Position

position: 98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. 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

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.000022

List of important HDP chains detected for A6,G6: 8..:

* DIS # G6: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # G6: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # G6: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => G6: 4,7
* STA G6: 4,7
* CNT   3 HDP CHAINS /   4 HYP OPENED

List of important HDP chains detected for A5,A6: 8..:

* DIS # A5: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # A5: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # A5: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => A5: 1,2,3
* STA A5: 1,2,3
* CNT   3 HDP CHAINS /   4 HYP OPENED

List of important HDP chains detected for A4,F4: 5..:

* DIS # A4: 5 # B8: 3,7 => CTR => B8: 2,5,9
* DIS # A4: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => A4: 1,2,6
* STA A4: 1,2,6
* CNT  12 HDP CHAINS /  43 HYP OPENED

List of important HDP chains detected for F4,E6: 5..:

* DIS # E6: 5 # B8: 3,7 => CTR => B8: 2,5,9
* DIS # E6: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => E6: 3,4,7,9
* STA E6: 3,4,7,9
* CNT  12 HDP CHAINS /  43 HYP OPENED

List of important HDP chains detected for H5,G6: 4..:

* DIS # H5: 4 # G3: 2,7 => CTR => G3: 1,3,4,8
* DIS # H5: 4 + G3: 1,3,4,8 # I5: 2 => CTR => I5: 7,8
* DIS # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # E6: 5,7 => CTR => E6: 3,4,9
* CNT   3 HDP CHAINS /  56 HYP OPENED

List of important HDP chains detected for G4,I5: 2..:

* DIS # I5: 2 # G3: 4,8 => CTR => G3: 1,2,3
* CNT   1 HDP CHAINS /  19 HYP OPENED

List of important HDP chains detected for I7,G8: 3..:

* DIS # G8: 3 # H7: 7,9 => CTR => H7: 1
* DIS # G8: 3 + H7: 1 # I9: 7,9 => CTR => I9: 5,8
* DIS # G8: 3 + H7: 1 + I9: 5,8 # B7: 7,9 => CTR => B7: 2,3
* CNT   3 HDP CHAINS /  67 HYP OPENED

List of important HDP chains detected for H7,G9: 1..:

* DIS # H7: 1 # I9: 7,8 => CTR => I9: 5,9
* DIS # G9: 1 # I7: 7,9 => CTR => I7: 3
* DIS # G9: 1 + I7: 3 # B7: 7,9 => CTR => B7: 1,2
* CNT   3 HDP CHAINS /  83 HYP OPENED

List of important HDP chains detected for D4,I4: 9..:

* DIS # D4: 9 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED

List of important HDP chains detected for I4,H6: 9..:

* DIS # H6: 9 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED

List of important HDP chains detected for I4,H6: 6..:

* DIS # I4: 6 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED

List of important HDP chains detected for E7,D8: 2..:

* DIS # E7: 2 # D3: 8,9 => CTR => D3: 1,2,3,4
* CNT   1 HDP CHAINS /  43 HYP OPENED

List of important HDP chains detected for D4,F5: 1..:

* DIS # F5: 1 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 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

98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. initial
98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. autosolve
98.7.....76....9....5.......4..8..3...96..5.......2..1..85..6......1...4.....3.2. deep_pair_reduction

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (4)
D4: 1,9
G4: 2,7
I4: 6,9
H6: 6,9

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H7,G9: 1.. / H7 = 1  =>  5 pairs (_) / G9 = 1  =>  5 pairs (_)
G4,I5: 2.. / G4 = 2  =>  4 pairs (_) / I5 = 2  =>  7 pairs (_)
E7,D8: 2.. / E7 = 2  =>  5 pairs (_) / D8 = 2  =>  4 pairs (_)
I7,G8: 3.. / I7 = 3  =>  5 pairs (_) / G8 = 3  =>  5 pairs (_)
H5,G6: 4.. / H5 = 4  =>  7 pairs (_) / G6 = 4  =>  6 pairs (_)
F4,E6: 5.. / F4 = 5  =>  4 pairs (_) / E6 = 5  =>  5 pairs (_)
H8,I9: 5.. / H8 = 5  =>  4 pairs (_) / I9 = 5  =>  4 pairs (_)
A4,F4: 5.. / A4 = 5  =>  5 pairs (_) / F4 = 5  =>  4 pairs (_)
I4,H6: 6.. / I4 = 6  =>  4 pairs (_) / H6 = 6  =>  5 pairs (_)
F8,E9: 6.. / F8 = 6  =>  4 pairs (_) / E9 = 6  =>  4 pairs (_)
A5,A6: 8.. / A5 = 8  => 12 pairs (_) / A6 = 8  =>  5 pairs (_)
A6,G6: 8.. / A6 = 8  =>  5 pairs (_) / G6 = 8  => 12 pairs (_)
I4,H6: 9.. / I4 = 9  =>  5 pairs (_) / H6 = 9  =>  4 pairs (_)
* DURATION: 0:00:09.560640  START: 15:59:44.756055  END: 15:59:54.316695 2020-11-23
* CP COUNT: (13)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
A6,G6: 8.. / A6 = 8  =>  6 pairs (_) / G6 = 8 ==>  0 pairs (X)
A5,A6: 8.. / A5 = 8 ==>  0 pairs (X) / A6 = 8  =>  6 pairs (_)
A4,F4: 5.. / A4 = 5 ==>  0 pairs (X) / F4 = 5  =>  4 pairs (_)
F4,E6: 5.. / F4 = 5  =>  4 pairs (_) / E6 = 5 ==>  0 pairs (X)
H5,G6: 4.. / H5 = 4 ==>  9 pairs (_) / G6 = 4 ==>  7 pairs (_)
G4,I5: 2.. / G4 = 2 ==>  5 pairs (_) / I5 = 2 ==>  7 pairs (_)
I7,G8: 3.. / I7 = 3 ==>  6 pairs (_) / G8 = 3 ==>  9 pairs (_)
H7,G9: 1.. / H7 = 1 ==>  7 pairs (_) / G9 = 1 ==>  8 pairs (_)
D4,I4: 9.. / D4 = 9 ==>  6 pairs (_) / I4 = 9 ==>  5 pairs (_)
I4,H6: 9.. / I4 = 9 ==>  5 pairs (_) / H6 = 9 ==>  6 pairs (_)
I4,H6: 6.. / I4 = 6 ==>  6 pairs (_) / H6 = 6 ==>  5 pairs (_)
E7,D8: 2.. / E7 = 2 ==>  6 pairs (_) / D8 = 2 ==>  5 pairs (_)
D4,F5: 1.. / D4 = 1 ==>  5 pairs (_) / F5 = 1 ==>  6 pairs (_)
F8,E9: 6.. / F8 = 6 ==>  5 pairs (_) / E9 = 6 ==>  5 pairs (_)
H8,I9: 5.. / H8 = 5 ==>  5 pairs (_) / I9 = 5 ==>  5 pairs (_)
* DURATION: 0:06:40.010660  START: 16:02:51.579531  END: 16:09:31.590191 2020-11-23
* REASONING A6,G6: 8..
* DIS # G6: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # G6: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # G6: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => G6: 4,7
* STA G6: 4,7
* CNT   3 HDP CHAINS /   4 HYP OPENED
* REASONING A5,A6: 8..
* DIS # A5: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # A5: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # A5: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => A5: 1,2,3
* STA A5: 1,2,3
* CNT   3 HDP CHAINS /   4 HYP OPENED
* REASONING A4,F4: 5..
* DIS # A4: 5 # B8: 3,7 => CTR => B8: 2,5,9
* DIS # A4: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => A4: 1,2,6
* STA A4: 1,2,6
* CNT  12 HDP CHAINS /  43 HYP OPENED
* REASONING F4,E6: 5..
* DIS # E6: 5 # B8: 3,7 => CTR => B8: 2,5,9
* DIS # E6: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => E6: 3,4,7,9
* STA E6: 3,4,7,9
* CNT  12 HDP CHAINS /  43 HYP OPENED
* REASONING H5,G6: 4..
* DIS # H5: 4 # G3: 2,7 => CTR => G3: 1,3,4,8
* DIS # H5: 4 + G3: 1,3,4,8 # I5: 2 => CTR => I5: 7,8
* DIS # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # E6: 5,7 => CTR => E6: 3,4,9
* CNT   3 HDP CHAINS /  56 HYP OPENED
* REASONING G4,I5: 2..
* DIS # I5: 2 # G3: 4,8 => CTR => G3: 1,2,3
* CNT   1 HDP CHAINS /  19 HYP OPENED
* REASONING I7,G8: 3..
* DIS # G8: 3 # H7: 7,9 => CTR => H7: 1
* DIS # G8: 3 + H7: 1 # I9: 7,9 => CTR => I9: 5,8
* DIS # G8: 3 + H7: 1 + I9: 5,8 # B7: 7,9 => CTR => B7: 2,3
* CNT   3 HDP CHAINS /  67 HYP OPENED
* REASONING H7,G9: 1..
* DIS # H7: 1 # I9: 7,8 => CTR => I9: 5,9
* DIS # G9: 1 # I7: 7,9 => CTR => I7: 3
* DIS # G9: 1 + I7: 3 # B7: 7,9 => CTR => B7: 1,2
* CNT   3 HDP CHAINS /  83 HYP OPENED
* REASONING D4,I4: 9..
* DIS # D4: 9 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED
* REASONING I4,H6: 9..
* DIS # H6: 9 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED
* REASONING I4,H6: 6..
* DIS # I4: 6 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED
* REASONING E7,D8: 2..
* DIS # E7: 2 # D3: 8,9 => CTR => D3: 1,2,3,4
* CNT   1 HDP CHAINS /  43 HYP OPENED
* REASONING D4,F5: 1..
* DIS # F5: 1 # D2: 2,8 => CTR => D2: 1,3,4
* CNT   1 HDP CHAINS /  76 HYP OPENED
* DCP COUNT: (15)
* CLUE FOUND

Header Info

967;H219;GP;22;11.30;11.30;3.40

Appendix: Full HDP Chains

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # F4: 1,9 => UNS
* INC # F4: 5,7 => UNS
* INC # D3: 1,9 => UNS
* INC # D3: 2,3,4,8 => UNS
* INC # I5: 2,7 => UNS
* INC # I5: 8 => UNS
* INC # C4: 2,7 => UNS
* INC # C4: 1,6 => UNS
* INC # G3: 2,7 => UNS
* INC # G3: 1,3,4,8 => UNS
* CNT  10 HDP CHAINS /  10 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # F4: 1,9 => UNS
* INC # F4: 5,7 => UNS
* INC # D3: 1,9 => UNS
* INC # D3: 2,3,4,8 => UNS
* INC # I5: 2,7 => UNS
* INC # I5: 8 => UNS
* INC # C4: 2,7 => UNS
* INC # C4: 1,6 => UNS
* INC # G3: 2,7 => UNS
* INC # G3: 1,3,4,8 => UNS
* CNT  10 HDP CHAINS /  10 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # F4: 1,9 => UNS
* INC # F4: 5,7 => UNS
* INC # D3: 1,9 => UNS
* INC # D3: 2,3,4,8 => UNS
* INC # I5: 2,7 => UNS
* INC # I5: 8 => UNS
* INC # C4: 2,7 => UNS
* INC # C4: 1,6 => UNS
* INC # G3: 2,7 => UNS
* INC # G3: 1,3,4,8 => UNS
* INC # F4: 1,9 # C8: 2,7 => UNS
* INC # F4: 1,9 # C8: 3,6 => UNS
* DIS # F4: 1,9 # C6: 3,7 => CTR => C6: 6
* INC # F4: 1,9 + C6: 6 # B7: 3,7 => UNS
* DIS # F4: 1,9 + C6: 6 # B8: 3,7 => CTR => B8: 2,5,9
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # D3: 1,9 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # D3: 2,3,4,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # F3: 1,9 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # F3: 4,6,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # E5: 4,7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # E5: 3 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # F7: 4,7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # F7: 9 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # E5: 3,4 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # E5: 7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # D2: 3,4 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # D3: 3,4 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 # G6: 4,8 => UNS
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 # G6: 7 => CTR => G6: 4,8
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # H2: 4,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # H3: 4,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # H3: 1,7 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # H3: 4,6,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # G3: 3,8 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # G3: 1,4 => UNS
* INC # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # G3: 1,8 => UNS
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 # G3: 3,4 => CTR => G3: 1,8
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 + G3: 1,8 # A3: 1,2 => CTR => A3: 4
* DIS # F4: 1,9 + C6: 6 + B8: 2,5,9 + G6: 4,8 + G3: 1,8 + A3: 4 => CTR => F4: 5,7
* INC F4: 5,7 # D3: 1,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # E6: 5,7 => UNS
* INC F4: 5,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 2,7 => UNS
* INC F4: 5,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 1,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # E6: 5,7 => UNS
* INC F4: 5,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 2,7 => UNS
* INC F4: 5,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # F3: 1,9 => UNS
* INC F4: 5,7 # D3: 1,9 # F3: 4,6,8 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 5,7 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 3,4,9 => UNS
* INC F4: 5,7 # D3: 1,9 # E5: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,8 => UNS
* INC F4: 5,7 # D3: 1,9 # I5: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # I5: 8 => UNS
* INC F4: 5,7 # D3: 1,9 # C4: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # C4: 1,6 => UNS
* INC F4: 5,7 # D3: 1,9 # G3: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,3 => UNS
* INC F4: 5,7 # D3: 1,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # E6: 5,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # I5: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # I5: 8 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # C4: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # C4: 1,6 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # G3: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # I5: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # E6: 5,7 => UNS
* INC F4: 5,7 # I5: 2,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 2,7 # C4: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # C4: 1,6 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # H2: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # H3: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # B5: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # B5: 1,3 => UNS
* INC F4: 5,7 # I5: 2,7 # I3: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # I3: 3,6,8 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 1,2,3,7 => UNS
* INC F4: 5,7 # I5: 2,7 => UNS
* INC F4: 5,7 # I5: 8 # D3: 1,9 => UNS
* INC F4: 5,7 # I5: 8 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # I5: 8 # E6: 5,7 => UNS
* INC F4: 5,7 # I5: 8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 8 # E5: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # F5: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # H3: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # H3: 1,6,8 => UNS
* INC F4: 5,7 # I5: 8 # E6: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # E6: 3,5,9 => UNS
* INC F4: 5,7 # I5: 8 # G3: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # G3: 1,3,8 => UNS
* INC F4: 5,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 # A9: 1,6 => UNS
* INC F4: 5,7 # C4: 2,7 # A9: 4,5 => UNS
* INC F4: 5,7 # C4: 2,7 # B5: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # B5: 1,3 => UNS
* INC F4: 5,7 # C4: 2,7 # C8: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # C8: 3,6 => UNS
* INC F4: 5,7 # C4: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 2,7 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 2,7 => UNS
* DIS F4: 5,7 # C4: 1,6 # A4: 1,6 => CTR => A4: 2,5
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 1,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 4,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 5,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 3,4,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # A8: 2,5 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # A8: 3,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 1,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 4,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 5,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 3,4,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 => UNS
* INC F4: 5,7 # G3: 2,7 # I3: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # I3: 3,6,8 => UNS
* INC F4: 5,7 # G3: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # G3: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # G3: 2,7 # E6: 5,7 => UNS
* INC F4: 5,7 # G3: 2,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # G3: 2,7 # I5: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # I5: 8 => UNS
* INC F4: 5,7 # G3: 2,7 # C4: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 2,7 # H5: 4,8 => UNS
* INC F4: 5,7 # G3: 2,7 # H5: 7 => UNS
* INC F4: 5,7 # G3: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # D3: 1,9 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # E6: 5,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # I5: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # I5: 8 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # C4: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # F3: 1,9 => UNS
* INC F4: 5,7 # D3: 1,9 # F3: 4,6,8 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 5,7 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 3,4,9 => UNS
* INC F4: 5,7 # D3: 1,9 # E5: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # E6: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,8 => UNS
* INC F4: 5,7 # D3: 1,9 # I5: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # I5: 8 => UNS
* INC F4: 5,7 # D3: 1,9 # C4: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # C4: 1,6 => UNS
* INC F4: 5,7 # D3: 1,9 # G3: 2,7 => UNS
* INC F4: 5,7 # D3: 1,9 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 3,4 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 4,8 => UNS
* INC F4: 5,7 # D3: 1,9 # D2: 2,3 => UNS
* INC F4: 5,7 # D3: 1,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # E6: 5,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # I5: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # I5: 8 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # C4: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # C4: 1,6 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # G3: 2,7 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # E6: 5,7 # D6: 3,4 => UNS
* INC F4: 5,7 # E6: 5,7 # D6: 9 => UNS
* INC F4: 5,7 # E6: 5,7 # E1: 3,4 => UNS
* INC F4: 5,7 # E6: 5,7 # E2: 3,4 => UNS
* INC F4: 5,7 # E6: 5,7 # E3: 3,4 => UNS
* INC F4: 5,7 # E6: 5,7 # F1: 1,4 => UNS
* INC F4: 5,7 # E6: 5,7 # F2: 1,4 => UNS
* INC F4: 5,7 # E6: 5,7 # F3: 1,4 => UNS
* INC F4: 5,7 # E6: 5,7 # B6: 5,7 => UNS
* INC F4: 5,7 # E6: 5,7 # B6: 3 => UNS
* INC F4: 5,7 # E6: 5,7 # I5: 2,7 => UNS
* INC F4: 5,7 # E6: 5,7 # I5: 8 => UNS
* INC F4: 5,7 # E6: 5,7 # C4: 2,7 => UNS
* INC F4: 5,7 # E6: 5,7 # C4: 1,6 => UNS
* INC F4: 5,7 # E6: 5,7 # G3: 2,7 => UNS
* INC F4: 5,7 # E6: 5,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # E6: 5,7 # D2: 2,8 => UNS
* INC F4: 5,7 # E6: 5,7 # D3: 2,8 => UNS
* INC F4: 5,7 # E6: 5,7 # D2: 4,8 => UNS
* INC F4: 5,7 # E6: 5,7 # D3: 4,8 => UNS
* INC F4: 5,7 # E6: 5,7 => UNS
* INC F4: 5,7 # E6: 3,4,9 # D3: 1,9 => UNS
* INC F4: 5,7 # E6: 3,4,9 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # C4: 2,7 => UNS
* INC F4: 5,7 # E6: 3,4,9 # C4: 1,6 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G6: 4,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G6: 7 => UNS
* INC F4: 5,7 # E6: 3,4,9 # H2: 4,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # H3: 4,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # A5: 2,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # A5: 1,3 => UNS
* INC F4: 5,7 # E6: 3,4,9 # I2: 2,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # I3: 2,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G3: 3,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G3: 1,2,4 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G3: 1,8 => UNS
* INC F4: 5,7 # E6: 3,4,9 # G3: 2,3,4 => UNS
* INC F4: 5,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # I5: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # E6: 5,7 => UNS
* INC F4: 5,7 # I5: 2,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 2,7 # C4: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # C4: 1,6 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # H2: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # H3: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # B5: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # B5: 1,3 => UNS
* INC F4: 5,7 # I5: 2,7 # I3: 2,7 => UNS
* INC F4: 5,7 # I5: 2,7 # I3: 3,6,8 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 4,8 => UNS
* INC F4: 5,7 # I5: 2,7 # G3: 1,2,3,7 => UNS
* INC F4: 5,7 # I5: 2,7 => UNS
* INC F4: 5,7 # I5: 8 # D3: 1,9 => UNS
* INC F4: 5,7 # I5: 8 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # I5: 8 # E6: 5,7 => UNS
* INC F4: 5,7 # I5: 8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # I5: 8 # E5: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # F5: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # H3: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # H3: 1,6,8 => UNS
* INC F4: 5,7 # I5: 8 # E6: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # E6: 3,5,9 => UNS
* INC F4: 5,7 # I5: 8 # G3: 4,7 => UNS
* INC F4: 5,7 # I5: 8 # G3: 1,3,8 => UNS
* INC F4: 5,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 # A9: 1,6 => UNS
* INC F4: 5,7 # C4: 2,7 # A9: 4,5 => UNS
* INC F4: 5,7 # C4: 2,7 # B5: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # B5: 1,3 => UNS
* INC F4: 5,7 # C4: 2,7 # C8: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # C8: 3,6 => UNS
* INC F4: 5,7 # C4: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 2,7 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # I5: 8 => UNS
* INC F4: 5,7 # C4: 2,7 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 2,7 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 2,7 => UNS
* DIS F4: 5,7 # C4: 1,6 # A4: 1,6 => CTR => A4: 2,5
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 1,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 4,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 5,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 3,4,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # A8: 2,5 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # A8: 3,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 1,6 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # C9: 4,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 1,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 5,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # E6: 3,4,9 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # I5: 8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 2,7 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 # G3: 1,3,4,8 => UNS
* INC F4: 5,7 # C4: 1,6 + A4: 2,5 => UNS
* INC F4: 5,7 # G3: 2,7 # I3: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # I3: 3,6,8 => UNS
* INC F4: 5,7 # G3: 2,7 # D3: 1,9 => UNS
* INC F4: 5,7 # G3: 2,7 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # G3: 2,7 # E6: 5,7 => UNS
* INC F4: 5,7 # G3: 2,7 # E6: 3,4,9 => UNS
* INC F4: 5,7 # G3: 2,7 # I5: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # I5: 8 => UNS
* INC F4: 5,7 # G3: 2,7 # C4: 2,7 => UNS
* INC F4: 5,7 # G3: 2,7 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 2,7 # H5: 4,8 => UNS
* INC F4: 5,7 # G3: 2,7 # H5: 7 => UNS
* INC F4: 5,7 # G3: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # D3: 1,9 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # D3: 2,3,4,8 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # E6: 5,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # E6: 3,4,9 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # I5: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # I5: 8 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # C4: 2,7 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 # C4: 1,6 => UNS
* INC F4: 5,7 # G3: 1,3,4,8 => UNS
* STA F4: 5,7
* CNT 335 HDP CHAINS / 335 HYP OPENED

A4. Deep Constraint Pair Analysis

Full list of HDP chains traversed for A6,G6: 8..:

* DIS # G6: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # G6: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # G6: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => G6: 4,7
* INC G6: 4,7 # A6: 8 => UNS
* STA G6: 4,7
* CNT   4 HDP CHAINS /   4 HYP OPENED

Full list of HDP chains traversed for A5,A6: 8..:

* DIS # A5: 8 # D3: 1,9 => CTR => D3: 2,3,4,8
* DIS # A5: 8 + D3: 2,3,4,8 # E6: 5,7 => CTR => E6: 3,4,9
* DIS # A5: 8 + D3: 2,3,4,8 + E6: 3,4,9 => CTR => A5: 1,2,3
* INC A5: 1,2,3 # A6: 8 => UNS
* STA A5: 1,2,3
* CNT   4 HDP CHAINS /   4 HYP OPENED

Full list of HDP chains traversed for A4,F4: 5..:

* INC # A4: 5 # C9: 1,6 => UNS
* INC # A4: 5 # C9: 4,7 => UNS
* INC # A4: 5 # B5: 3,7 => UNS
* INC # A4: 5 # C6: 3,7 => UNS
* INC # A4: 5 # B7: 3,7 => UNS
* DIS # A4: 5 # B8: 3,7 => CTR => B8: 2,5,9
* INC # A4: 5 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # A4: 5 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # A4: 5 + B8: 2,5,9 # B5: 3,7 => UNS
* INC # A4: 5 + B8: 2,5,9 # C6: 3,7 => UNS
* INC # A4: 5 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # A4: 5 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # A4: 5 + B8: 2,5,9 # D6: 3,4 => UNS
* INC # A4: 5 + B8: 2,5,9 # D6: 9 => UNS
* INC # A4: 5 + B8: 2,5,9 # E1: 3,4 => UNS
* INC # A4: 5 + B8: 2,5,9 # E2: 3,4 => UNS
* DIS # A4: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # D6: 3,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # D6: 9 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # E1: 3,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # E2: 3,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # F1: 1,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # F2: 1,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # F3: 1,4 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # H5: 7,8 => UNS
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I3: 7,8 => UNS
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 7,8 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 2,3,6 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 7,8 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 2,3,6 => UNS
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 2,8 => UNS
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # A4: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => A4: 1,2,6
* INC A4: 1,2,6 # F4: 5 => UNS
* STA A4: 1,2,6
* CNT  43 HDP CHAINS /  43 HYP OPENED

Full list of HDP chains traversed for F4,E6: 5..:

* INC # E6: 5 # C9: 1,6 => UNS
* INC # E6: 5 # C9: 4,7 => UNS
* INC # E6: 5 # B5: 3,7 => UNS
* INC # E6: 5 # C6: 3,7 => UNS
* INC # E6: 5 # B7: 3,7 => UNS
* DIS # E6: 5 # B8: 3,7 => CTR => B8: 2,5,9
* INC # E6: 5 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # E6: 5 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # E6: 5 + B8: 2,5,9 # B5: 3,7 => UNS
* INC # E6: 5 + B8: 2,5,9 # C6: 3,7 => UNS
* INC # E6: 5 + B8: 2,5,9 # B7: 3,7 => UNS
* INC # E6: 5 + B8: 2,5,9 # B7: 1,2,9 => UNS
* INC # E6: 5 + B8: 2,5,9 # D6: 3,4 => UNS
* INC # E6: 5 + B8: 2,5,9 # D6: 9 => UNS
* INC # E6: 5 + B8: 2,5,9 # E1: 3,4 => UNS
* INC # E6: 5 + B8: 2,5,9 # E2: 3,4 => UNS
* DIS # E6: 5 + B8: 2,5,9 # E3: 3,4 => CTR => E3: 2,6,9
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # D6: 3,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # D6: 9 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # E1: 3,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # E2: 3,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # F1: 1,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # F2: 1,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # F3: 1,4 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # H5: 7,8 => UNS
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 # G6: 7,8 => CTR => G6: 4
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I3: 7,8 => UNS
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 # I9: 7,8 => CTR => I9: 5,9
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 7,8 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 2,3,6 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 7,8 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # I3: 2,3,6 => UNS
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 # E7: 4,9 => CTR => E7: 2,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 # E9: 4,9 => CTR => E9: 6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 # D2: 2,8 => CTR => D2: 1,3,4
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 2,8 => UNS
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 # D3: 1,3,4 => CTR => D3: 2,8
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 # C2: 1,3 => CTR => C2: 2,4
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 # I3: 2,8 => CTR => I3: 3,6,7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 # G3: 1,3 => CTR => G3: 7
* DIS # E6: 5 + B8: 2,5,9 + E3: 2,6,9 + G6: 4 + I9: 5,9 + E7: 2,7 + E9: 6,7 + D2: 1,3,4 + D3: 2,8 + C2: 2,4 + I3: 3,6,7 + G3: 7 => CTR => E6: 3,4,7,9
* INC E6: 3,4,7,9 # F4: 5 => UNS
* STA E6: 3,4,7,9
* CNT  43 HDP CHAINS /  43 HYP OPENED

Full list of HDP chains traversed for H5,G6: 4..:

* INC # H5: 4 # D3: 1,9 => UNS
* INC # H5: 4 # D3: 2,3,4,8 => UNS
* INC # H5: 4 # E6: 5,7 => UNS
* INC # H5: 4 # E6: 3,4,9 => UNS
* INC # H5: 4 # E6: 3,7 => UNS
* INC # H5: 4 # E6: 4,5,9 => UNS
* INC # H5: 4 # B5: 3,7 => UNS
* INC # H5: 4 # B5: 1,2 => UNS
* INC # H5: 4 # B5: 1,7 => UNS
* INC # H5: 4 # B5: 2,3 => UNS
* INC # H5: 4 # I5: 2,7 => UNS
* INC # H5: 4 # I5: 8 => UNS
* INC # H5: 4 # C4: 2,7 => UNS
* INC # H5: 4 # C4: 1,6 => UNS
* DIS # H5: 4 # G3: 2,7 => CTR => G3: 1,3,4,8
* INC # H5: 4 + G3: 1,3,4,8 # I5: 2,7 => UNS
* INC # H5: 4 + G3: 1,3,4,8 # I5: 8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 # C4: 2,7 => UNS
* INC # H5: 4 + G3: 1,3,4,8 # C4: 1,6 => UNS
* INC # H5: 4 + G3: 1,3,4,8 # I5: 7,8 => UNS
* DIS # H5: 4 + G3: 1,3,4,8 # I5: 2 => CTR => I5: 7,8
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # G8: 7,8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # G9: 7,8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # D3: 1,9 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # D3: 2,3,4,8 => UNS
* DIS # H5: 4 + G3: 1,3,4,8 + I5: 7,8 # E6: 5,7 => CTR => E6: 3,4,9
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # A9: 1,6 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # A9: 4,5 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # C8: 3,6 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # C8: 2 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # D3: 1,9 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # D3: 2,3,4,8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # G3: 3,8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # G3: 1,4 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # G3: 1,8 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 # G3: 3,4 => UNS
* INC # H5: 4 + G3: 1,3,4,8 + I5: 7,8 + E6: 3,4,9 => UNS
* INC # G6: 4 # D3: 1,9 => UNS
* INC # G6: 4 # D3: 2,3,4,8 => UNS
* INC # G6: 4 # E6: 5,7 => UNS
* INC # G6: 4 # E6: 3,9 => UNS
* INC # G6: 4 # E6: 3,9 => UNS
* INC # G6: 4 # E6: 5,7 => UNS
* INC # G6: 4 # D3: 3,9 => UNS
* INC # G6: 4 # D3: 1,2,4,8 => UNS
* INC # G6: 4 # I5: 2,7 => UNS
* INC # G6: 4 # I5: 8 => UNS
* INC # G6: 4 # C4: 2,7 => UNS
* INC # G6: 4 # C4: 1,6 => UNS
* INC # G6: 4 # G3: 2,7 => UNS
* INC # G6: 4 # G3: 1,3,8 => UNS
* INC # G6: 4 # I5: 7,8 => UNS
* INC # G6: 4 # I5: 2 => UNS
* INC # G6: 4 # H3: 7,8 => UNS
* INC # G6: 4 # H8: 7,8 => UNS
* INC # G6: 4 => UNS
* CNT  56 HDP CHAINS /  56 HYP OPENED

Full list of HDP chains traversed for G4,I5: 2..:

* INC # I5: 2 # D3: 1,9 => UNS
* INC # I5: 2 # D3: 2,3,4,8 => UNS
* INC # I5: 2 # H2: 4,8 => UNS
* INC # I5: 2 # H3: 4,8 => UNS
* DIS # I5: 2 # G3: 4,8 => CTR => G3: 1,2,3
* INC # I5: 2 + G3: 1,2,3 # D3: 1,9 => UNS
* INC # I5: 2 + G3: 1,2,3 # D3: 2,3,4,8 => UNS
* INC # I5: 2 + G3: 1,2,3 # H2: 4,8 => UNS
* INC # I5: 2 + G3: 1,2,3 # H3: 4,8 => UNS
* INC # I5: 2 + G3: 1,2,3 => UNS
* INC # G4: 2 # D3: 1,9 => UNS
* INC # G4: 2 # D3: 2,3,4,8 => UNS
* INC # G4: 2 # E6: 5,7 => UNS
* INC # G4: 2 # E6: 3,4,9 => UNS
* INC # G4: 2 # H5: 7,8 => UNS
* INC # G4: 2 # G6: 7,8 => UNS
* INC # G4: 2 # I3: 7,8 => UNS
* INC # G4: 2 # I9: 7,8 => UNS
* INC # G4: 2 => UNS
* CNT  19 HDP CHAINS /  19 HYP OPENED

Full list of HDP chains traversed for I7,G8: 3..:

* INC # I7: 3 # D3: 1,9 => UNS
* INC # I7: 3 # D3: 2,3,4,8 => UNS
* INC # I7: 3 # E6: 5,7 => UNS
* INC # I7: 3 # E6: 3,4,9 => UNS
* INC # I7: 3 # I5: 2,7 => UNS
* INC # I7: 3 # I5: 8 => UNS
* INC # I7: 3 # C4: 2,7 => UNS
* INC # I7: 3 # C4: 1,6 => UNS
* INC # I7: 3 # G3: 2,7 => UNS
* INC # I7: 3 # G3: 1,3,4,8 => UNS
* INC # I7: 3 # H8: 7,8 => UNS
* INC # I7: 3 # G9: 7,8 => UNS
* INC # I7: 3 # I9: 7,8 => UNS
* INC # I7: 3 # F8: 7,8 => UNS
* INC # I7: 3 # F8: 6,9 => UNS
* INC # I7: 3 # G3: 7,8 => UNS
* INC # I7: 3 # G6: 7,8 => UNS
* INC # I7: 3 => UNS
* INC # G8: 3 # D3: 1,9 => UNS
* INC # G8: 3 # D3: 2,3,4,8 => UNS
* INC # G8: 3 # E6: 5,7 => UNS
* INC # G8: 3 # E6: 3,4,9 => UNS
* INC # G8: 3 # I5: 2,7 => UNS
* INC # G8: 3 # I5: 8 => UNS
* INC # G8: 3 # C4: 2,7 => UNS
* INC # G8: 3 # C4: 1,6 => UNS
* INC # G8: 3 # G3: 2,7 => UNS
* INC # G8: 3 # G3: 1,4,8 => UNS
* DIS # G8: 3 # H7: 7,9 => CTR => H7: 1
* INC # G8: 3 + H7: 1 # H8: 7,9 => UNS
* DIS # G8: 3 + H7: 1 # I9: 7,9 => CTR => I9: 5,8
* INC # G8: 3 + H7: 1 + I9: 5,8 # H8: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 # H8: 5,8 => UNS
* DIS # G8: 3 + H7: 1 + I9: 5,8 # B7: 7,9 => CTR => B7: 2,3
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # E7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # F7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 5,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # E7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # F7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # D3: 1,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # D3: 2,3,4,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # E6: 5,7 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # E6: 3,4,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # I5: 2,7 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # I5: 8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # C4: 2,7 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # C4: 1,6 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # G3: 2,7 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # G3: 1,4,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # A7: 2,3 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # A7: 4 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # B3: 2,3 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # B5: 2,3 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 5,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # E7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # F7: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 7,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 5,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # G3: 7,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # G6: 7,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 5,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # H8: 7,9 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # I2: 5,8 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 # I2: 2,3 => UNS
* INC # G8: 3 + H7: 1 + I9: 5,8 + B7: 2,3 => UNS
* CNT  67 HDP CHAINS /  67 HYP OPENED

Full list of HDP chains traversed for H7,G9: 1..:

* INC # H7: 1 # D3: 1,9 => UNS
* INC # H7: 1 # D3: 2,3,4,8 => UNS
* INC # H7: 1 # E6: 5,7 => UNS
* INC # H7: 1 # E6: 3,4,9 => UNS
* INC # H7: 1 # I5: 2,7 => UNS
* INC # H7: 1 # I5: 8 => UNS
* INC # H7: 1 # C4: 2,7 => UNS
* INC # H7: 1 # C4: 1,6 => UNS
* INC # H7: 1 # G3: 2,7 => UNS
* INC # H7: 1 # G3: 1,3,4,8 => UNS
* INC # H7: 1 # G8: 7,8 => UNS
* INC # H7: 1 # H8: 7,8 => UNS
* DIS # H7: 1 # I9: 7,8 => CTR => I9: 5,9
* INC # H7: 1 + I9: 5,9 # G3: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G6: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G8: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # H8: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G3: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G6: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # D3: 1,9 => UNS
* INC # H7: 1 + I9: 5,9 # D3: 2,3,4,8 => UNS
* INC # H7: 1 + I9: 5,9 # E6: 5,7 => UNS
* INC # H7: 1 + I9: 5,9 # E6: 3,4,9 => UNS
* INC # H7: 1 + I9: 5,9 # I5: 2,7 => UNS
* INC # H7: 1 + I9: 5,9 # I5: 8 => UNS
* INC # H7: 1 + I9: 5,9 # C4: 2,7 => UNS
* INC # H7: 1 + I9: 5,9 # C4: 1,6 => UNS
* INC # H7: 1 + I9: 5,9 # G3: 2,7 => UNS
* INC # H7: 1 + I9: 5,9 # G3: 1,3,4,8 => UNS
* INC # H7: 1 + I9: 5,9 # G8: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # H8: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G3: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # G6: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # H8: 5,9 => UNS
* INC # H7: 1 + I9: 5,9 # H8: 7,8 => UNS
* INC # H7: 1 + I9: 5,9 # B9: 5,9 => UNS
* INC # H7: 1 + I9: 5,9 # B9: 1,7 => UNS
* INC # H7: 1 + I9: 5,9 => UNS
* INC # G9: 1 # D3: 1,9 => UNS
* INC # G9: 1 # D3: 2,3,4,8 => UNS
* INC # G9: 1 # E6: 5,7 => UNS
* INC # G9: 1 # E6: 3,4,9 => UNS
* INC # G9: 1 # I5: 2,7 => UNS
* INC # G9: 1 # I5: 8 => UNS
* INC # G9: 1 # C4: 2,7 => UNS
* INC # G9: 1 # C4: 1,6 => UNS
* INC # G9: 1 # G3: 2,7 => UNS
* INC # G9: 1 # G3: 3,4,8 => UNS
* DIS # G9: 1 # I7: 7,9 => CTR => I7: 3
* INC # G9: 1 + I7: 3 # H8: 7,9 => UNS
* INC # G9: 1 + I7: 3 # I9: 7,9 => UNS
* DIS # G9: 1 + I7: 3 # B7: 7,9 => CTR => B7: 1,2
* INC # G9: 1 + I7: 3 + B7: 1,2 # E7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # F7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # H8: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # I9: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # E7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # F7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # D3: 1,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # D3: 2,3,4,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # E6: 5,7 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # E6: 3,4,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # I5: 2,7 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # I5: 8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # C4: 2,7 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # C4: 1,6 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # G3: 2,7 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # G3: 3,4,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # A7: 1,2 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # A7: 4 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # B3: 1,2 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # B5: 1,2 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # H8: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # I9: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # E7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # F7: 7,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # H8: 7,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # I9: 7,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # F8: 7,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # F8: 6,9 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # G3: 7,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 # G6: 7,8 => UNS
* INC # G9: 1 + I7: 3 + B7: 1,2 => UNS
* CNT  83 HDP CHAINS /  83 HYP OPENED

Full list of HDP chains traversed for D4,I4: 9..:

* INC # D4: 9 # E6: 5,7 => UNS
* INC # D4: 9 # E6: 3,4 => UNS
* INC # D4: 9 # E5: 3,4 => UNS
* INC # D4: 9 # E6: 3,4 => UNS
* INC # D4: 9 # D2: 3,4 => UNS
* INC # D4: 9 # D3: 3,4 => UNS
* INC # D4: 9 # I5: 2,7 => UNS
* INC # D4: 9 # I5: 8 => UNS
* INC # D4: 9 # C4: 2,7 => UNS
* INC # D4: 9 # C4: 1 => UNS
* INC # D4: 9 # G3: 2,7 => UNS
* INC # D4: 9 # G3: 1,3,4,8 => UNS
* DIS # D4: 9 # D2: 2,8 => CTR => D2: 1,3,4
* INC # D4: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # D4: 9 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # G9: 8 => UNS
* INC # D4: 9 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # D4: 9 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # E6: 5,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # E5: 3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # D2: 3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # I5: 2,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # I5: 8 => UNS
* INC # D4: 9 + D2: 1,3,4 # C4: 2,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # C4: 1 => UNS
* INC # D4: 9 + D2: 1,3,4 # G3: 2,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # G3: 1,3,4,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # D4: 9 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # D4: 9 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # G9: 8 => UNS
* INC # D4: 9 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # D4: 9 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # D4: 9 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # D4: 9 + D2: 1,3,4 => UNS
* INC # I4: 9 # B5: 3,7 => UNS
* INC # I4: 9 # B6: 3,7 => UNS
* INC # I4: 9 # E6: 3,7 => UNS
* INC # I4: 9 # E6: 4,5,9 => UNS
* INC # I4: 9 # C8: 3,7 => UNS
* INC # I4: 9 # C8: 2,6 => UNS
* INC # I4: 9 # E6: 5,7 => UNS
* INC # I4: 9 # E6: 3,4,9 => UNS
* INC # I4: 9 # E5: 4,7 => UNS
* INC # I4: 9 # E6: 4,7 => UNS
* INC # I4: 9 # H5: 4,7 => UNS
* INC # I4: 9 # H5: 8 => UNS
* INC # I4: 9 # F7: 4,7 => UNS
* INC # I4: 9 # F7: 9 => UNS
* INC # I4: 9 # I5: 2,7 => UNS
* INC # I4: 9 # I5: 8 => UNS
* INC # I4: 9 # C4: 2,7 => UNS
* INC # I4: 9 # C4: 6 => UNS
* INC # I4: 9 # G3: 2,7 => UNS
* INC # I4: 9 # G3: 1,3,4,8 => UNS
* INC # I4: 9 # G8: 3,7 => UNS
* INC # I4: 9 # G8: 8 => UNS
* INC # I4: 9 # B7: 3,7 => UNS
* INC # I4: 9 # B7: 1,2,9 => UNS
* INC # I4: 9 # I3: 3,7 => UNS
* INC # I4: 9 # I3: 2,6,8 => UNS
* INC # I4: 9 => UNS
* CNT  76 HDP CHAINS /  76 HYP OPENED

Full list of HDP chains traversed for I4,H6: 9..:

* INC # H6: 9 # E6: 5,7 => UNS
* INC # H6: 9 # E6: 3,4 => UNS
* INC # H6: 9 # E5: 3,4 => UNS
* INC # H6: 9 # E6: 3,4 => UNS
* INC # H6: 9 # D2: 3,4 => UNS
* INC # H6: 9 # D3: 3,4 => UNS
* INC # H6: 9 # I5: 2,7 => UNS
* INC # H6: 9 # I5: 8 => UNS
* INC # H6: 9 # C4: 2,7 => UNS
* INC # H6: 9 # C4: 1 => UNS
* INC # H6: 9 # G3: 2,7 => UNS
* INC # H6: 9 # G3: 1,3,4,8 => UNS
* DIS # H6: 9 # D2: 2,8 => CTR => D2: 1,3,4
* INC # H6: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # H6: 9 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # G9: 8 => UNS
* INC # H6: 9 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # H6: 9 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # E6: 5,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # E5: 3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # D2: 3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # I5: 2,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # I5: 8 => UNS
* INC # H6: 9 + D2: 1,3,4 # C4: 2,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # C4: 1 => UNS
* INC # H6: 9 + D2: 1,3,4 # G3: 2,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # G3: 1,3,4,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # H6: 9 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # H6: 9 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # G9: 8 => UNS
* INC # H6: 9 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # H6: 9 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # H6: 9 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # H6: 9 + D2: 1,3,4 => UNS
* INC # I4: 9 # B5: 3,7 => UNS
* INC # I4: 9 # B6: 3,7 => UNS
* INC # I4: 9 # E6: 3,7 => UNS
* INC # I4: 9 # E6: 4,5,9 => UNS
* INC # I4: 9 # C8: 3,7 => UNS
* INC # I4: 9 # C8: 2,6 => UNS
* INC # I4: 9 # E6: 5,7 => UNS
* INC # I4: 9 # E6: 3,4,9 => UNS
* INC # I4: 9 # E5: 4,7 => UNS
* INC # I4: 9 # E6: 4,7 => UNS
* INC # I4: 9 # H5: 4,7 => UNS
* INC # I4: 9 # H5: 8 => UNS
* INC # I4: 9 # F7: 4,7 => UNS
* INC # I4: 9 # F7: 9 => UNS
* INC # I4: 9 # I5: 2,7 => UNS
* INC # I4: 9 # I5: 8 => UNS
* INC # I4: 9 # C4: 2,7 => UNS
* INC # I4: 9 # C4: 6 => UNS
* INC # I4: 9 # G3: 2,7 => UNS
* INC # I4: 9 # G3: 1,3,4,8 => UNS
* INC # I4: 9 # G8: 3,7 => UNS
* INC # I4: 9 # G8: 8 => UNS
* INC # I4: 9 # B7: 3,7 => UNS
* INC # I4: 9 # B7: 1,2,9 => UNS
* INC # I4: 9 # I3: 3,7 => UNS
* INC # I4: 9 # I3: 2,6,8 => UNS
* INC # I4: 9 => UNS
* CNT  76 HDP CHAINS /  76 HYP OPENED

Full list of HDP chains traversed for I4,H6: 6..:

* INC # I4: 6 # E6: 5,7 => UNS
* INC # I4: 6 # E6: 3,4 => UNS
* INC # I4: 6 # E5: 3,4 => UNS
* INC # I4: 6 # E6: 3,4 => UNS
* INC # I4: 6 # D2: 3,4 => UNS
* INC # I4: 6 # D3: 3,4 => UNS
* INC # I4: 6 # I5: 2,7 => UNS
* INC # I4: 6 # I5: 8 => UNS
* INC # I4: 6 # C4: 2,7 => UNS
* INC # I4: 6 # C4: 1 => UNS
* INC # I4: 6 # G3: 2,7 => UNS
* INC # I4: 6 # G3: 1,3,4,8 => UNS
* DIS # I4: 6 # D2: 2,8 => CTR => D2: 1,3,4
* INC # I4: 6 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # I4: 6 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # G9: 8 => UNS
* INC # I4: 6 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # I4: 6 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # E6: 5,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # E5: 3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # D2: 3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # I5: 2,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # I5: 8 => UNS
* INC # I4: 6 + D2: 1,3,4 # C4: 2,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # C4: 1 => UNS
* INC # I4: 6 + D2: 1,3,4 # G3: 2,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # G3: 1,3,4,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # I4: 6 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # I4: 6 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # G9: 8 => UNS
* INC # I4: 6 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # I4: 6 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # I4: 6 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # I4: 6 + D2: 1,3,4 => UNS
* INC # H6: 6 # B5: 3,7 => UNS
* INC # H6: 6 # B6: 3,7 => UNS
* INC # H6: 6 # E6: 3,7 => UNS
* INC # H6: 6 # E6: 4,5,9 => UNS
* INC # H6: 6 # C8: 3,7 => UNS
* INC # H6: 6 # C8: 2,6 => UNS
* INC # H6: 6 # E6: 5,7 => UNS
* INC # H6: 6 # E6: 3,4,9 => UNS
* INC # H6: 6 # E5: 4,7 => UNS
* INC # H6: 6 # E6: 4,7 => UNS
* INC # H6: 6 # H5: 4,7 => UNS
* INC # H6: 6 # H5: 8 => UNS
* INC # H6: 6 # F7: 4,7 => UNS
* INC # H6: 6 # F7: 9 => UNS
* INC # H6: 6 # I5: 2,7 => UNS
* INC # H6: 6 # I5: 8 => UNS
* INC # H6: 6 # C4: 2,7 => UNS
* INC # H6: 6 # C4: 6 => UNS
* INC # H6: 6 # G3: 2,7 => UNS
* INC # H6: 6 # G3: 1,3,4,8 => UNS
* INC # H6: 6 # G8: 3,7 => UNS
* INC # H6: 6 # G8: 8 => UNS
* INC # H6: 6 # B7: 3,7 => UNS
* INC # H6: 6 # B7: 1,2,9 => UNS
* INC # H6: 6 # I3: 3,7 => UNS
* INC # H6: 6 # I3: 2,6,8 => UNS
* INC # H6: 6 => UNS
* CNT  76 HDP CHAINS /  76 HYP OPENED

Full list of HDP chains traversed for E7,D8: 2..:

* INC # E7: 2 # D3: 1,9 => UNS
* INC # E7: 2 # D3: 2,3,4,8 => UNS
* INC # E7: 2 # E6: 5,7 => UNS
* INC # E7: 2 # E6: 3,4,9 => UNS
* INC # E7: 2 # I5: 2,7 => UNS
* INC # E7: 2 # I5: 8 => UNS
* INC # E7: 2 # C4: 2,7 => UNS
* INC # E7: 2 # C4: 1,6 => UNS
* INC # E7: 2 # G3: 2,7 => UNS
* INC # E7: 2 # G3: 1,3,4,8 => UNS
* INC # E7: 2 # F8: 8,9 => UNS
* INC # E7: 2 # D9: 8,9 => UNS
* INC # E7: 2 # H8: 8,9 => UNS
* INC # E7: 2 # H8: 5,7 => UNS
* DIS # E7: 2 # D3: 8,9 => CTR => D3: 1,2,3,4
* INC # E7: 2 + D3: 1,2,3,4 # F8: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # D9: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # H8: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # H8: 5,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # E6: 5,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # E6: 3,4,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # I5: 2,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # I5: 8 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # C4: 2,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # C4: 1,6 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # G3: 2,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # G3: 1,3,4,8 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # F8: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # D9: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # H8: 8,9 => UNS
* INC # E7: 2 + D3: 1,2,3,4 # H8: 5,7 => UNS
* INC # E7: 2 + D3: 1,2,3,4 => UNS
* INC # D8: 2 # D3: 1,9 => UNS
* INC # D8: 2 # D3: 3,4,8 => UNS
* INC # D8: 2 # E6: 5,7 => UNS
* INC # D8: 2 # E6: 3,4,9 => UNS
* INC # D8: 2 # I5: 2,7 => UNS
* INC # D8: 2 # I5: 8 => UNS
* INC # D8: 2 # C4: 2,7 => UNS
* INC # D8: 2 # C4: 1,6 => UNS
* INC # D8: 2 # G3: 2,7 => UNS
* INC # D8: 2 # G3: 1,3,4,8 => UNS
* INC # D8: 2 => UNS
* CNT  43 HDP CHAINS /  43 HYP OPENED

Full list of HDP chains traversed for D4,F5: 1..:

* INC # F5: 1 # E6: 5,7 => UNS
* INC # F5: 1 # E6: 3,4 => UNS
* INC # F5: 1 # E5: 3,4 => UNS
* INC # F5: 1 # E6: 3,4 => UNS
* INC # F5: 1 # D2: 3,4 => UNS
* INC # F5: 1 # D3: 3,4 => UNS
* INC # F5: 1 # I5: 2,7 => UNS
* INC # F5: 1 # I5: 8 => UNS
* INC # F5: 1 # C4: 2,7 => UNS
* INC # F5: 1 # C4: 1 => UNS
* INC # F5: 1 # G3: 2,7 => UNS
* INC # F5: 1 # G3: 1,3,4,8 => UNS
* DIS # F5: 1 # D2: 2,8 => CTR => D2: 1,3,4
* INC # F5: 1 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # F5: 1 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # G9: 8 => UNS
* INC # F5: 1 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # F5: 1 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # E6: 5,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # E5: 3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # E6: 3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # D2: 3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # I5: 2,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # I5: 8 => UNS
* INC # F5: 1 + D2: 1,3,4 # C4: 2,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # C4: 1 => UNS
* INC # F5: 1 + D2: 1,3,4 # G3: 2,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # G3: 1,3,4,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 2,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 1,3,4 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 4,8 => UNS
* INC # F5: 1 + D2: 1,3,4 # D3: 1,2,3 => UNS
* INC # F5: 1 + D2: 1,3,4 # G9: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # G9: 8 => UNS
* INC # F5: 1 + D2: 1,3,4 # B7: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # B7: 2,3,9 => UNS
* INC # F5: 1 + D2: 1,3,4 # H3: 1,7 => UNS
* INC # F5: 1 + D2: 1,3,4 # H3: 4,6,8 => UNS
* INC # F5: 1 + D2: 1,3,4 => UNS
* INC # D4: 1 # B5: 3,7 => UNS
* INC # D4: 1 # B6: 3,7 => UNS
* INC # D4: 1 # E6: 3,7 => UNS
* INC # D4: 1 # E6: 4,5,9 => UNS
* INC # D4: 1 # C8: 3,7 => UNS
* INC # D4: 1 # C8: 2,6 => UNS
* INC # D4: 1 # E6: 5,7 => UNS
* INC # D4: 1 # E6: 3,4,9 => UNS
* INC # D4: 1 # E5: 4,7 => UNS
* INC # D4: 1 # E6: 4,7 => UNS
* INC # D4: 1 # H5: 4,7 => UNS
* INC # D4: 1 # H5: 8 => UNS
* INC # D4: 1 # F7: 4,7 => UNS
* INC # D4: 1 # F7: 9 => UNS
* INC # D4: 1 # I5: 2,7 => UNS
* INC # D4: 1 # I5: 8 => UNS
* INC # D4: 1 # C4: 2,7 => UNS
* INC # D4: 1 # C4: 6 => UNS
* INC # D4: 1 # G3: 2,7 => UNS
* INC # D4: 1 # G3: 1,3,4,8 => UNS
* INC # D4: 1 # G8: 3,7 => UNS
* INC # D4: 1 # G8: 8 => UNS
* INC # D4: 1 # B7: 3,7 => UNS
* INC # D4: 1 # B7: 1,2,9 => UNS
* INC # D4: 1 # I3: 3,7 => UNS
* INC # D4: 1 # I3: 2,6,8 => UNS
* INC # D4: 1 => UNS
* CNT  76 HDP CHAINS /  76 HYP OPENED

Full list of HDP chains traversed for F8,E9: 6..:

* INC # F8: 6 # D3: 1,9 => UNS
* INC # F8: 6 # D3: 2,3,4 => UNS
* INC # F8: 6 # E6: 5,7 => UNS
* INC # F8: 6 # E6: 3,4,9 => UNS
* INC # F8: 6 # I5: 2,7 => UNS
* INC # F8: 6 # I5: 8 => UNS
* INC # F8: 6 # C4: 2,7 => UNS
* INC # F8: 6 # C4: 1,6 => UNS
* INC # F8: 6 # G3: 2,7 => UNS
* INC # F8: 6 # G3: 1,3,4,8 => UNS
* INC # F8: 6 => UNS
* INC # E9: 6 # D3: 1,9 => UNS
* INC # E9: 6 # D3: 2,3,4,8 => UNS
* INC # E9: 6 # E6: 5,7 => UNS
* INC # E9: 6 # E6: 3,4,9 => UNS
* INC # E9: 6 # I5: 2,7 => UNS
* INC # E9: 6 # I5: 8 => UNS
* INC # E9: 6 # C4: 2,7 => UNS
* INC # E9: 6 # C4: 1,6 => UNS
* INC # E9: 6 # G3: 2,7 => UNS
* INC # E9: 6 # G3: 1,3,4,8 => UNS
* INC # E9: 6 => UNS
* CNT  22 HDP CHAINS /  22 HYP OPENED

Full list of HDP chains traversed for H8,I9: 5..:

* INC # H8: 5 # D3: 1,9 => UNS
* INC # H8: 5 # D3: 2,3,4,8 => UNS
* INC # H8: 5 # E6: 5,7 => UNS
* INC # H8: 5 # E6: 3,4,9 => UNS
* INC # H8: 5 # I5: 2,7 => UNS
* INC # H8: 5 # I5: 8 => UNS
* INC # H8: 5 # C4: 2,7 => UNS
* INC # H8: 5 # C4: 1,6 => UNS
* INC # H8: 5 # G3: 2,7 => UNS
* INC # H8: 5 # G3: 1,3,4,8 => UNS
* INC # H8: 5 => UNS
* INC # I9: 5 # D3: 1,9 => UNS
* INC # I9: 5 # D3: 2,3,4,8 => UNS
* INC # I9: 5 # E6: 5,7 => UNS
* INC # I9: 5 # E6: 3,4,9 => UNS
* INC # I9: 5 # I5: 2,7 => UNS
* INC # I9: 5 # I5: 8 => UNS
* INC # I9: 5 # C4: 2,7 => UNS
* INC # I9: 5 # C4: 1,6 => UNS
* INC # I9: 5 # G3: 2,7 => UNS
* INC # I9: 5 # G3: 1,3,4,8 => UNS
* INC # I9: 5 => UNS
* CNT  22 HDP CHAINS /  22 HYP OPENED