Analysis of xx-ph-00001246-H45-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: ..3.5.7..4....9....8.1....6.......71.1.2..6....5....2..7.8...6.....3....9....48.. initial

Autosolve

position: ..3.5.7..4....9....8.1....6.......71.1.2..6....5....2..7.8...6.....3....9....48.. 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:00:32.640647

The following important HDP chains were detected:

* DIS # D4: 4,6 # F8: 1,2 => CTR => F8: 6,7
* CNT   1 HDP CHAINS /  58 HYP OPENED

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

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

List of important HDP chains detected for A1,H1: 1..:

* DIS # H1: 1 # B1: 2,6 => CTR => B1: 9
* DIS # H1: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # H1: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => H1: 4,8,9
* STA H1: 4,8,9
* CNT   6 HDP CHAINS /  13 HYP OPENED

List of important HDP chains detected for A1,C2: 1..:

* DIS # C2: 1 # B1: 2,6 => CTR => B1: 9
* DIS # C2: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # C2: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => C2: 2,6,7
* STA C2: 2,6,7
* CNT   6 HDP CHAINS /  13 HYP OPENED

List of important HDP chains detected for B1,C3: 9..:

* DIS # B1: 9 # A3: 2,7 => CTR => A3: 5
* DIS # C3: 9 # A1: 2,6 => CTR => A1: 1
* DIS # C3: 9 + A1: 1 # B4: 2,6 => CTR => B4: 3,4,9
* CNT   3 HDP CHAINS /  47 HYP OPENED

List of important HDP chains detected for B2,A3: 5..:

* DIS # B2: 5 # C3: 2,7 => CTR => C3: 9
* DIS # B2: 5 + C3: 9 # F3: 2,7 => CTR => F3: 3
* DIS # B2: 5 + C3: 9 + F3: 3 # E3: 4 => CTR => E3: 2,7
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 # A1: 2,6 => CTR => A1: 1
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # F1: 8 => CTR => F1: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 # B4: 2,6 => CTR => B4: 3,4,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 # B9: 2,6 => CTR => B9: 3
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 # B8: 4 => CTR => B8: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 # D6: 6,7 => CTR => D6: 3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # G7: 4,5 => CTR => G7: 1,2,3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 # G8: 4,5 => CTR => G8: 1,2,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # H5: 4,5 => CTR => H5: 3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 # H8: 1,9 => CTR => H8: 4,5
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 # F8: 2,6 => CTR => F8: 5,7
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 # D9: 6,7 => CTR => D9: 5
* PRF # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 + D9: 5 => SOL
* STA B2: 5
* CNT  16 HDP CHAINS /  42 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

..3.5.7..4....9....8.1....6.......71.1.2..6....5....2..7.8...6.....3....9....48.. initial
..3.5.7..4....9....8.1....6.......71.1.2..6....5....2..7.8...6.....3....9....48.. autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
D1: 4,6

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A1,C2: 1.. / A1 = 1  =>  1 pairs (_) / C2 = 1  =>  9 pairs (_)
E6,F6: 1.. / E6 = 1  =>  2 pairs (_) / F6 = 1  =>  2 pairs (_)
A1,H1: 1.. / A1 = 1  =>  1 pairs (_) / H1 = 1  =>  9 pairs (_)
D2,F3: 3.. / D2 = 3  =>  2 pairs (_) / F3 = 3  =>  2 pairs (_)
A7,B9: 3.. / A7 = 3  =>  2 pairs (_) / B9 = 3  =>  2 pairs (_)
D1,E3: 4.. / D1 = 4  =>  1 pairs (_) / E3 = 4  =>  5 pairs (_)
B2,A3: 5.. / B2 = 5  =>  2 pairs (_) / A3 = 5  =>  2 pairs (_)
I8,I9: 7.. / I8 = 7  =>  1 pairs (_) / I9 = 7  =>  2 pairs (_)
F1,E2: 8.. / F1 = 8  =>  1 pairs (_) / E2 = 8  =>  2 pairs (_)
A8,C8: 8.. / A8 = 8  =>  2 pairs (_) / C8 = 8  =>  1 pairs (_)
B1,C3: 9.. / B1 = 9  =>  2 pairs (_) / C3 = 9  =>  2 pairs (_)
E7,D8: 9.. / E7 = 9  =>  1 pairs (_) / D8 = 9  =>  2 pairs (_)
* DURATION: 0:00:08.420069  START: 14:14:48.010802  END: 14:14:56.430871 2020-11-26
* CP COUNT: (12)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
A1,H1: 1.. / A1 = 1  =>  1 pairs (_) / H1 = 1 ==>  0 pairs (X)
A1,C2: 1.. / A1 = 1  =>  1 pairs (_) / C2 = 1 ==>  0 pairs (X)
D1,E3: 4.. / D1 = 4 ==>  1 pairs (_) / E3 = 4 ==>  5 pairs (_)
B1,C3: 9.. / B1 = 9 ==>  3 pairs (_) / C3 = 9 ==>  2 pairs (_)
B2,A3: 5.. / B2 = 5 ==>  0 pairs (*) / A3 = 5  =>  0 pairs (X)
* DURATION: 0:01:40.483295  START: 14:15:31.539757  END: 14:17:12.023052 2020-11-26
* REASONING A1,H1: 1..
* DIS # H1: 1 # B1: 2,6 => CTR => B1: 9
* DIS # H1: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # H1: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => H1: 4,8,9
* STA H1: 4,8,9
* CNT   6 HDP CHAINS /  13 HYP OPENED
* REASONING A1,C2: 1..
* DIS # C2: 1 # B1: 2,6 => CTR => B1: 9
* DIS # C2: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # C2: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => C2: 2,6,7
* STA C2: 2,6,7
* CNT   6 HDP CHAINS /  13 HYP OPENED
* REASONING B1,C3: 9..
* DIS # B1: 9 # A3: 2,7 => CTR => A3: 5
* DIS # C3: 9 # A1: 2,6 => CTR => A1: 1
* DIS # C3: 9 + A1: 1 # B4: 2,6 => CTR => B4: 3,4,9
* CNT   3 HDP CHAINS /  47 HYP OPENED
* REASONING B2,A3: 5..
* DIS # B2: 5 # C3: 2,7 => CTR => C3: 9
* DIS # B2: 5 + C3: 9 # F3: 2,7 => CTR => F3: 3
* DIS # B2: 5 + C3: 9 + F3: 3 # E3: 4 => CTR => E3: 2,7
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 # A1: 2,6 => CTR => A1: 1
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # F1: 8 => CTR => F1: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 # B4: 2,6 => CTR => B4: 3,4,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 # B9: 2,6 => CTR => B9: 3
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 # B8: 4 => CTR => B8: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 # D6: 6,7 => CTR => D6: 3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # G7: 4,5 => CTR => G7: 1,2,3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 # G8: 4,5 => CTR => G8: 1,2,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # H5: 4,5 => CTR => H5: 3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 # H8: 1,9 => CTR => H8: 4,5
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 # F8: 2,6 => CTR => F8: 5,7
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 # D9: 6,7 => CTR => D9: 5
* PRF # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 + D9: 5 => SOL
* STA B2: 5
* CNT  16 HDP CHAINS /  42 HYP OPENED
* DCP COUNT: (5)
* SOLUTION FOUND

Header Info

1246;H45;elev;22;11.30;10.70;10.20

Appendix: Full HDP Chains

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # D4: 4,6 => UNS
* INC # D6: 4,6 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # D4: 4,6 => UNS
* INC # D6: 4,6 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # D4: 4,6 => UNS
* INC # D6: 4,6 => UNS
* INC # D4: 4,6 # F3: 3,7 => UNS
* INC # D4: 4,6 # F3: 2 => UNS
* INC # D4: 4,6 # D6: 3,7 => UNS
* INC # D4: 4,6 # D6: 9 => UNS
* INC # D4: 4,6 # E4: 4,6 => UNS
* INC # D4: 4,6 # E6: 4,6 => UNS
* INC # D4: 4,6 # B4: 4,6 => UNS
* INC # D4: 4,6 # C4: 4,6 => UNS
* INC # D4: 4,6 # E7: 1,2 => UNS
* DIS # D4: 4,6 # F8: 1,2 => CTR => F8: 6,7
* INC # D4: 4,6 + F8: 6,7 # E9: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # A7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # C7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # G7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # E7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # E9: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # A7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # C7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # G7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # D8: 5,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # D8: 9 => UNS
* INC # D4: 4,6 + F8: 6,7 # I9: 5,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # I9: 2,3 => UNS
* INC # D4: 4,6 + F8: 6,7 # F3: 3,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # F3: 2 => UNS
* INC # D4: 4,6 + F8: 6,7 # D6: 3,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # D6: 9 => UNS
* INC # D4: 4,6 + F8: 6,7 # E4: 4,6 => UNS
* INC # D4: 4,6 + F8: 6,7 # E6: 4,6 => UNS
* INC # D4: 4,6 + F8: 6,7 # B4: 4,6 => UNS
* INC # D4: 4,6 + F8: 6,7 # C4: 4,6 => UNS
* INC # D4: 4,6 + F8: 6,7 # E7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # E9: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # A7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # C7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # G7: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # E9: 6,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # E9: 1,2 => UNS
* INC # D4: 4,6 + F8: 6,7 # F6: 6,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # F6: 1,3,8 => UNS
* INC # D4: 4,6 + F8: 6,7 # D8: 5,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # D8: 9 => UNS
* INC # D4: 4,6 + F8: 6,7 # I9: 5,7 => UNS
* INC # D4: 4,6 + F8: 6,7 # I9: 2,3 => UNS
* INC # D4: 4,6 + F8: 6,7 => UNS
* INC # D6: 4,6 # F3: 3,7 => UNS
* INC # D6: 4,6 # F3: 2 => UNS
* INC # D6: 4,6 # E4: 4,6 => UNS
* INC # D6: 4,6 # E6: 4,6 => UNS
* INC # D6: 4,6 # B6: 4,6 => UNS
* INC # D6: 4,6 # B6: 3,9 => UNS
* INC # D6: 4,6 # D8: 5,7 => UNS
* INC # D6: 4,6 # F8: 5,7 => UNS
* INC # D6: 4,6 # I9: 5,7 => UNS
* INC # D6: 4,6 # I9: 2,3 => UNS
* INC # D6: 4,6 => UNS
* CNT  58 HDP CHAINS /  58 HYP OPENED

A4. Deep Constraint Pair Analysis

Full list of HDP chains traversed for A1,H1: 1..:

* DIS # H1: 1 # B1: 2,6 => CTR => B1: 9
* INC # H1: 1 + B1: 9 # B2: 2,6 => UNS
* INC # H1: 1 + B1: 9 # B2: 2,6 => UNS
* DIS # H1: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # H1: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* INC # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # A4: 2,6 => UNS
* INC # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # A8: 2,6 => UNS
* INC # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # A4: 2,6 => UNS
* INC # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # A8: 2,6 => UNS
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # H1: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => H1: 4,8,9
* INC H1: 4,8,9 # A1: 1 => UNS
* STA H1: 4,8,9
* CNT  13 HDP CHAINS /  13 HYP OPENED

Full list of HDP chains traversed for A1,C2: 1..:

* DIS # C2: 1 # B1: 2,6 => CTR => B1: 9
* INC # C2: 1 + B1: 9 # B2: 2,6 => UNS
* INC # C2: 1 + B1: 9 # B2: 2,6 => UNS
* DIS # C2: 1 + B1: 9 # B2: 5 => CTR => B2: 2,6
* DIS # C2: 1 + B1: 9 + B2: 2,6 # F1: 2,6 => CTR => F1: 8
* INC # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # A4: 2,6 => UNS
* INC # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # A8: 2,6 => UNS
* INC # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # A4: 2,6 => UNS
* INC # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # A8: 2,6 => UNS
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 # D4: 4,6 => CTR => D4: 3,5,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 # D6: 4,6 => CTR => D6: 3,7,9
* DIS # C2: 1 + B1: 9 + B2: 2,6 + F1: 8 + D4: 3,5,9 + D6: 3,7,9 => CTR => C2: 2,6,7
* INC C2: 2,6,7 # A1: 1 => UNS
* STA C2: 2,6,7
* CNT  13 HDP CHAINS /  13 HYP OPENED

Full list of HDP chains traversed for D1,E3: 4..:

* INC # E3: 4 # C2: 1,2 => UNS
* INC # E3: 4 # C2: 6,7 => UNS
* INC # E3: 4 # A7: 1,2 => UNS
* INC # E3: 4 # A8: 1,2 => UNS
* INC # E3: 4 # C3: 2,9 => UNS
* INC # E3: 4 # C3: 7 => UNS
* INC # E3: 4 # I1: 2,9 => UNS
* INC # E3: 4 # I1: 4,8 => UNS
* INC # E3: 4 # B4: 2,9 => UNS
* INC # E3: 4 # B4: 3,4,6 => UNS
* INC # E3: 4 # E2: 2,8 => UNS
* INC # E3: 4 # E2: 7 => UNS
* INC # E3: 4 # I1: 2,8 => UNS
* INC # E3: 4 # I1: 4,9 => UNS
* INC # E3: 4 # F3: 3,7 => UNS
* INC # E3: 4 # F3: 2 => UNS
* INC # E3: 4 # D6: 3,7 => UNS
* INC # E3: 4 # D6: 4,9 => UNS
* INC # E3: 4 # D8: 5,7 => UNS
* INC # E3: 4 # F8: 5,7 => UNS
* INC # E3: 4 # I9: 5,7 => UNS
* INC # E3: 4 # I9: 2,3 => UNS
* INC # E3: 4 => UNS
* INC # D1: 4 # E2: 2,7 => UNS
* INC # D1: 4 # F3: 2,7 => UNS
* INC # D1: 4 # A3: 2,7 => UNS
* INC # D1: 4 # C3: 2,7 => UNS
* INC # D1: 4 # E9: 2,7 => UNS
* INC # D1: 4 # E9: 1,6 => UNS
* INC # D1: 4 => UNS
* CNT  30 HDP CHAINS /  30 HYP OPENED

Full list of HDP chains traversed for B1,C3: 9..:

* INC # B1: 9 # C2: 2,7 => UNS
* DIS # B1: 9 # A3: 2,7 => CTR => A3: 5
* INC # B1: 9 + A3: 5 # C2: 2,7 => UNS
* INC # B1: 9 + A3: 5 # C2: 1,6 => UNS
* INC # B1: 9 + A3: 5 # E3: 2,7 => UNS
* INC # B1: 9 + A3: 5 # F3: 2,7 => UNS
* INC # B1: 9 + A3: 5 # D4: 4,6 => UNS
* INC # B1: 9 + A3: 5 # D6: 4,6 => UNS
* INC # B1: 9 + A3: 5 # A1: 2,6 => UNS
* INC # B1: 9 + A3: 5 # C2: 2,6 => UNS
* INC # B1: 9 + A3: 5 # E2: 2,6 => UNS
* INC # B1: 9 + A3: 5 # E2: 7,8 => UNS
* INC # B1: 9 + A3: 5 # B4: 2,6 => UNS
* INC # B1: 9 + A3: 5 # B8: 2,6 => UNS
* INC # B1: 9 + A3: 5 # B9: 2,6 => UNS
* INC # B1: 9 + A3: 5 # C2: 2,7 => UNS
* INC # B1: 9 + A3: 5 # C2: 1,6 => UNS
* INC # B1: 9 + A3: 5 # E3: 2,7 => UNS
* INC # B1: 9 + A3: 5 # F3: 2,7 => UNS
* INC # B1: 9 + A3: 5 # D4: 4,6 => UNS
* INC # B1: 9 + A3: 5 # D6: 4,6 => UNS
* INC # B1: 9 + A3: 5 => UNS
* DIS # C3: 9 # A1: 2,6 => CTR => A1: 1
* INC # C3: 9 + A1: 1 # B2: 2,6 => UNS
* INC # C3: 9 + A1: 1 # C2: 2,6 => UNS
* INC # C3: 9 + A1: 1 # F1: 2,6 => UNS
* INC # C3: 9 + A1: 1 # F1: 8 => UNS
* DIS # C3: 9 + A1: 1 # B4: 2,6 => CTR => B4: 3,4,9
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B8: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B9: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B2: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # C2: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # F1: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # F1: 8 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B8: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B9: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # D4: 4,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # D6: 4,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B2: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # C2: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # F1: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # F1: 8 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B8: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # B9: 2,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # D4: 4,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 # D6: 4,6 => UNS
* INC # C3: 9 + A1: 1 + B4: 3,4,9 => UNS
* CNT  47 HDP CHAINS /  47 HYP OPENED

Full list of HDP chains traversed for B2,A3: 5..:

* INC # B2: 5 # C2: 2,7 => UNS
* DIS # B2: 5 # C3: 2,7 => CTR => C3: 9
* INC # B2: 5 + C3: 9 # C2: 2,7 => UNS
* INC # B2: 5 + C3: 9 # C2: 1,6 => UNS
* INC # B2: 5 + C3: 9 # E3: 2,7 => UNS
* DIS # B2: 5 + C3: 9 # F3: 2,7 => CTR => F3: 3
* INC # B2: 5 + C3: 9 + F3: 3 # E3: 2,7 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 # E3: 4 => CTR => E3: 2,7
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 # C2: 2,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 # C2: 1,6 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 # A1: 2,6 => CTR => A1: 1
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # C2: 2,6 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # C2: 2,6 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # C2: 7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # F1: 2,6 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 # F1: 8 => CTR => F1: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 # B4: 2,6 => CTR => B4: 3,4,9
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 # B8: 2,6 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 # B9: 2,6 => CTR => B9: 3
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 # B8: 2,6 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 # B8: 4 => CTR => B8: 2,6
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 # D6: 6,7 => CTR => D6: 3,9
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # D8: 6,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # D9: 6,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # D8: 6,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # D9: 6,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # E9: 2,7 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # E9: 1,6 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # G4: 4,5 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 # G7: 4,5 => CTR => G7: 1,2,3,9
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 # G8: 4,5 => CTR => G8: 1,2,9
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # G4: 4,5 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # G4: 3,9 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # G4: 4,5 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # G4: 3,9 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 # H5: 4,5 => CTR => H5: 3,9
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 # H8: 4,5 => UNS
* INC # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 # H8: 4,5 => UNS
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 # H8: 1,9 => CTR => H8: 4,5
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 # F8: 2,6 => CTR => F8: 5,7
* DIS # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 # D9: 6,7 => CTR => D9: 5
* PRF # B2: 5 + C3: 9 + F3: 3 + E3: 2,7 + A1: 1 + F1: 2,6 + B4: 3,4,9 + B9: 3 + B8: 2,6 + D6: 3,9 + G7: 1,2,3,9 + G8: 1,2,9 + H5: 3,9 + H8: 4,5 + F8: 5,7 + D9: 5 => SOL
* STA B2: 5
* CNT  42 HDP CHAINS /  42 HYP OPENED