Original Sudoku

level: deep

position: .....7..3.......89..6.9..5...9.3...6.7...2...1..4.......5.8..9..2.1.....4.....6.. initial

Autosolve

position: .....7.63.......89..6.9..5...9.3...6.7...2...1..4.......5.8..9..2.1.....4.....6.. autosolve

Pair Reduction Variants

Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for B6,B7: 6..:

```* DIS # B7: 6 # A8: 3,7 => CTR => A8: 8,9
* CNT   1 HDP CHAINS /  51 HYP OPENED
```

List of important HDP chains detected for A5,B6: 6..:

```* DIS # A5: 6 # A8: 3,7 => CTR => A8: 8,9
* CNT   1 HDP CHAINS /  51 HYP OPENED
```

List of important HDP chains detected for D4,E6: 7..:

```* DIS # E6: 7 # F4: 5,8 => CTR => F4: 1
* DIS # E6: 7 + F4: 1 # G4: 5,8 => CTR => G4: 2,4,7
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 # D1: 2 => CTR => D1: 5,8
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 # F6: 5,8 => CTR => F6: 6,9
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 + F6: 6,9 => CTR => E6: 5,6
* STA E6: 5,6
* CNT   5 HDP CHAINS /  11 HYP OPENED
```

List of important HDP chains detected for B4,C5: 4..:

```* DIS # C5: 4 # A4: 5,8 => CTR => A4: 2
* CNT   1 HDP CHAINS /  38 HYP OPENED
```

List of important HDP chains detected for A4,C6: 2..:

```* DIS # C6: 2 # B4: 5,8 => CTR => B4: 4
* DIS # C6: 2 + B4: 4 # G6: 3,7 => CTR => G6: 5,8,9
* CNT   2 HDP CHAINS /  35 HYP OPENED
```

List of important HDP chains detected for F4,E5: 1..:

```* DIS # E5: 1 # D4: 5,8 => CTR => D4: 7
* DIS # E5: 1 + D4: 7 # G4: 5,8 => CTR => G4: 1,2,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 # D5: 5,8 => CTR => D5: 6,9
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # C5: 8 => CTR => C5: 3,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 # C2: 3,4 => CTR => C2: 1,2,7
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 # F6: 5,8 => CTR => F6: 6,9
* PRF # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 # G5: 9 => SOL
* STA # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 + G5: 9
* CNT   7 HDP CHAINS /  19 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

 .....7..3.......89..6.9..5...9.3...6.7...2...1..4.......5.8..9..2.1.....4.....6.. initial .....7.63.......89..6.9..5...9.3...6.7...2...1..4.......5.8..9..2.1.....4.....6.. autosolve

level: deep

Pairing Analysis

```--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
F4,E5: 1.. / F4 = 1  =>  1 pairs (_) / E5 = 1  =>  2 pairs (_)
A4,C6: 2.. / A4 = 2  =>  1 pairs (_) / C6 = 2  =>  2 pairs (_)
B4,C5: 4.. / B4 = 4  =>  1 pairs (_) / C5 = 4  =>  2 pairs (_)
A5,B6: 6.. / A5 = 6  =>  3 pairs (_) / B6 = 6  =>  2 pairs (_)
B6,B7: 6.. / B6 = 6  =>  2 pairs (_) / B7 = 6  =>  3 pairs (_)
D4,E6: 7.. / D4 = 7  =>  1 pairs (_) / E6 = 7  =>  3 pairs (_)
A1,B1: 9.. / A1 = 9  =>  1 pairs (_) / B1 = 9  =>  1 pairs (_)
D5,F6: 9.. / D5 = 9  =>  0 pairs (_) / F6 = 9  =>  2 pairs (_)
G5,G6: 9.. / G5 = 9  =>  2 pairs (_) / G6 = 9  =>  0 pairs (_)
A8,B9: 9.. / A8 = 9  =>  1 pairs (_) / B9 = 9  =>  1 pairs (_)
D5,G5: 9.. / D5 = 9  =>  0 pairs (_) / G5 = 9  =>  2 pairs (_)
F6,G6: 9.. / F6 = 9  =>  2 pairs (_) / G6 = 9  =>  0 pairs (_)
A8,F8: 9.. / A8 = 9  =>  1 pairs (_) / F8 = 9  =>  1 pairs (_)
A1,A8: 9.. / A1 = 9  =>  1 pairs (_) / A8 = 9  =>  1 pairs (_)
B1,B9: 9.. / B1 = 9  =>  1 pairs (_) / B9 = 9  =>  1 pairs (_)
D5,D9: 9.. / D5 = 9  =>  0 pairs (_) / D9 = 9  =>  2 pairs (_)
* DURATION: 0:00:13.974682  START: 17:10:57.791928  END: 17:11:11.766610 2017-04-29
* CP COUNT: (16)

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
B6,B7: 6.. / B6 = 6 ==>  2 pairs (_) / B7 = 6 ==>  4 pairs (_)
A5,B6: 6.. / A5 = 6 ==>  4 pairs (_) / B6 = 6 ==>  2 pairs (_)
D4,E6: 7.. / D4 = 7  =>  1 pairs (_) / E6 = 7 ==>  0 pairs (X)
B4,C5: 4.. / B4 = 4 ==>  1 pairs (_) / C5 = 4 ==>  3 pairs (_)
A4,C6: 2.. / A4 = 2 ==>  1 pairs (_) / C6 = 2 ==>  3 pairs (_)
F4,E5: 1.. / F4 = 1  =>  0 pairs (X) / E5 = 1 ==>  0 pairs (*)
* DURATION: 0:02:23.807676  START: 17:11:11.767167  END: 17:13:35.574843 2017-04-29
* REASONING B6,B7: 6..
* DIS # B7: 6 # A8: 3,7 => CTR => A8: 8,9
* CNT   1 HDP CHAINS /  51 HYP OPENED
* REASONING A5,B6: 6..
* DIS # A5: 6 # A8: 3,7 => CTR => A8: 8,9
* CNT   1 HDP CHAINS /  51 HYP OPENED
* REASONING D4,E6: 7..
* DIS # E6: 7 # F4: 5,8 => CTR => F4: 1
* DIS # E6: 7 + F4: 1 # G4: 5,8 => CTR => G4: 2,4,7
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 # D1: 2 => CTR => D1: 5,8
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 # F6: 5,8 => CTR => F6: 6,9
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 + F6: 6,9 => CTR => E6: 5,6
* STA E6: 5,6
* CNT   5 HDP CHAINS /  11 HYP OPENED
* REASONING B4,C5: 4..
* DIS # C5: 4 # A4: 5,8 => CTR => A4: 2
* CNT   1 HDP CHAINS /  38 HYP OPENED
* REASONING A4,C6: 2..
* DIS # C6: 2 # B4: 5,8 => CTR => B4: 4
* DIS # C6: 2 + B4: 4 # G6: 3,7 => CTR => G6: 5,8,9
* CNT   2 HDP CHAINS /  35 HYP OPENED
* REASONING F4,E5: 1..
* DIS # E5: 1 # D4: 5,8 => CTR => D4: 7
* DIS # E5: 1 + D4: 7 # G4: 5,8 => CTR => G4: 1,2,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 # D5: 5,8 => CTR => D5: 6,9
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # C5: 8 => CTR => C5: 3,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 # C2: 3,4 => CTR => C2: 1,2,7
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 # F6: 5,8 => CTR => F6: 6,9
* PRF # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 # G5: 9 => SOL
* STA # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 + G5: 9
* CNT   7 HDP CHAINS /  19 HYP OPENED
* DCP COUNT: (6)
* SOLUTION FOUND
```

```cola259 (26.3) 11.6 240K BBr3c1246 r4c8 r7c9 BBr12c7 r4c8 r7c9 BBr5689c9 r3c7 r4c8 26.6 208K
```

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for B6,B7: 6..:

```* INC # B7: 6 # F4: 1,5 => UNS
* INC # B7: 6 # F4: 8 => UNS
* INC # B7: 6 # E1: 1,5 => UNS
* INC # B7: 6 # E2: 1,5 => UNS
* DIS # B7: 6 # A8: 3,7 => CTR => A8: 8,9
* INC # B7: 6 + A8: 8,9 # C8: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # C9: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # D7: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # A2: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # A3: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # F8: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # F8: 5,6,9 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 1,2,7 => UNS
* INC # B7: 6 + A8: 8,9 # F2: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # F3: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # F4: 1,5 => UNS
* INC # B7: 6 + A8: 8,9 # F4: 8 => UNS
* INC # B7: 6 + A8: 8,9 # E1: 1,5 => UNS
* INC # B7: 6 + A8: 8,9 # E2: 1,5 => UNS
* INC # B7: 6 + A8: 8,9 # C8: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # C9: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # D7: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # A2: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # A3: 3,7 => UNS
* INC # B7: 6 + A8: 8,9 # B9: 8,9 => UNS
* INC # B7: 6 + A8: 8,9 # B9: 1,3 => UNS
* INC # B7: 6 + A8: 8,9 # A1: 8,9 => UNS
* INC # B7: 6 + A8: 8,9 # A1: 2,5 => UNS
* INC # B7: 6 + A8: 8,9 # F8: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # F8: 5,6,9 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # G7: 1,2,7 => UNS
* INC # B7: 6 + A8: 8,9 # F2: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 # F3: 3,4 => UNS
* INC # B7: 6 + A8: 8,9 => UNS
* INC # B6: 6 # D4: 5,7 => UNS
* INC # B6: 6 # D4: 8 => UNS
* INC # B6: 6 # G6: 5,7 => UNS
* INC # B6: 6 # I6: 5,7 => UNS
* INC # B6: 6 # E8: 5,7 => UNS
* INC # B6: 6 # E9: 5,7 => UNS
* INC # B6: 6 # B9: 1,3 => UNS
* INC # B6: 6 # C9: 1,3 => UNS
* INC # B6: 6 # G7: 1,3 => UNS
* INC # B6: 6 # G7: 2,4,7 => UNS
* INC # B6: 6 # B2: 1,3 => UNS
* INC # B6: 6 # B3: 1,3 => UNS
* INC # B6: 6 => UNS
* CNT  51 HDP CHAINS /  51 HYP OPENED
```

Full list of HDP chains traversed for A5,B6: 6..:

```* INC # A5: 6 # F4: 1,5 => UNS
* INC # A5: 6 # F4: 8 => UNS
* INC # A5: 6 # E1: 1,5 => UNS
* INC # A5: 6 # E2: 1,5 => UNS
* DIS # A5: 6 # A8: 3,7 => CTR => A8: 8,9
* INC # A5: 6 + A8: 8,9 # C8: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # C9: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # D7: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # A2: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # A3: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # F8: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # F8: 5,6,9 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 1,2,7 => UNS
* INC # A5: 6 + A8: 8,9 # F2: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # F3: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # F4: 1,5 => UNS
* INC # A5: 6 + A8: 8,9 # F4: 8 => UNS
* INC # A5: 6 + A8: 8,9 # E1: 1,5 => UNS
* INC # A5: 6 + A8: 8,9 # E2: 1,5 => UNS
* INC # A5: 6 + A8: 8,9 # C8: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # C9: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # D7: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # A2: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # A3: 3,7 => UNS
* INC # A5: 6 + A8: 8,9 # B9: 8,9 => UNS
* INC # A5: 6 + A8: 8,9 # B9: 1,3 => UNS
* INC # A5: 6 + A8: 8,9 # A1: 8,9 => UNS
* INC # A5: 6 + A8: 8,9 # A1: 2,5 => UNS
* INC # A5: 6 + A8: 8,9 # F8: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # F8: 5,6,9 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # G7: 1,2,7 => UNS
* INC # A5: 6 + A8: 8,9 # F2: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 # F3: 3,4 => UNS
* INC # A5: 6 + A8: 8,9 => UNS
* INC # B6: 6 # D4: 5,7 => UNS
* INC # B6: 6 # D4: 8 => UNS
* INC # B6: 6 # G6: 5,7 => UNS
* INC # B6: 6 # I6: 5,7 => UNS
* INC # B6: 6 # E8: 5,7 => UNS
* INC # B6: 6 # E9: 5,7 => UNS
* INC # B6: 6 # B9: 1,3 => UNS
* INC # B6: 6 # C9: 1,3 => UNS
* INC # B6: 6 # G7: 1,3 => UNS
* INC # B6: 6 # G7: 2,4,7 => UNS
* INC # B6: 6 # B2: 1,3 => UNS
* INC # B6: 6 # B3: 1,3 => UNS
* INC # B6: 6 => UNS
* CNT  51 HDP CHAINS /  51 HYP OPENED
```

Full list of HDP chains traversed for D4,E6: 7..:

```* DIS # E6: 7 # F4: 5,8 => CTR => F4: 1
* INC # E6: 7 + F4: 1 # D5: 5,8 => UNS
* INC # E6: 7 + F4: 1 # F6: 5,8 => UNS
* INC # E6: 7 + F4: 1 # A4: 5,8 => UNS
* INC # E6: 7 + F4: 1 # B4: 5,8 => UNS
* DIS # E6: 7 + F4: 1 # G4: 5,8 => CTR => G4: 2,4,7
* INC # E6: 7 + F4: 1 + G4: 2,4,7 # D1: 5,8 => UNS
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 # D1: 2 => CTR => D1: 5,8
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 # F6: 5,8 => CTR => F6: 6,9
* DIS # E6: 7 + F4: 1 + G4: 2,4,7 + D1: 5,8 + F6: 6,9 => CTR => E6: 5,6
* INC E6: 5,6 # D4: 7 => UNS
* STA E6: 5,6
* CNT  11 HDP CHAINS /  11 HYP OPENED
```

Full list of HDP chains traversed for B4,C5: 4..:

```* DIS # C5: 4 # A4: 5,8 => CTR => A4: 2
* INC # C5: 4 + A4: 2 # A5: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B6: 5,8 => UNS
* INC # C5: 4 + A4: 2 # D4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # F4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # G4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B1: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B1: 1,4,9 => UNS
* INC # C5: 4 + A4: 2 # G5: 1,3 => UNS
* INC # C5: 4 + A4: 2 # G5: 5,8,9 => UNS
* INC # C5: 4 + A4: 2 # H9: 1,3 => UNS
* INC # C5: 4 + A4: 2 # H9: 2,7 => UNS
* INC # C5: 4 + A4: 2 # A5: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B6: 5,8 => UNS
* INC # C5: 4 + A4: 2 # D4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # F4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # G4: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B1: 5,8 => UNS
* INC # C5: 4 + A4: 2 # B1: 1,4,9 => UNS
* INC # C5: 4 + A4: 2 # A5: 3,8 => UNS
* INC # C5: 4 + A4: 2 # B6: 3,8 => UNS
* INC # C5: 4 + A4: 2 # G6: 3,8 => UNS
* INC # C5: 4 + A4: 2 # G6: 2,5,7,9 => UNS
* INC # C5: 4 + A4: 2 # C8: 3,8 => UNS
* INC # C5: 4 + A4: 2 # C9: 3,8 => UNS
* INC # C5: 4 + A4: 2 # G5: 1,3 => UNS
* INC # C5: 4 + A4: 2 # G5: 5,8,9 => UNS
* INC # C5: 4 + A4: 2 # H9: 1,3 => UNS
* INC # C5: 4 + A4: 2 # H9: 2,7 => UNS
* INC # C5: 4 + A4: 2 => UNS
* INC # B4: 4 # A5: 3,8 => UNS
* INC # B4: 4 # B6: 3,8 => UNS
* INC # B4: 4 # C6: 3,8 => UNS
* INC # B4: 4 # G5: 3,8 => UNS
* INC # B4: 4 # G5: 1,4,5,9 => UNS
* INC # B4: 4 # C8: 3,8 => UNS
* INC # B4: 4 # C9: 3,8 => UNS
* INC # B4: 4 => UNS
* CNT  38 HDP CHAINS /  38 HYP OPENED
```

Full list of HDP chains traversed for A4,C6: 2..:

```* DIS # C6: 2 # B4: 5,8 => CTR => B4: 4
* INC # C6: 2 + B4: 4 # A5: 5,8 => UNS
* INC # C6: 2 + B4: 4 # B6: 5,8 => UNS
* INC # C6: 2 + B4: 4 # D4: 5,8 => UNS
* INC # C6: 2 + B4: 4 # F4: 5,8 => UNS
* INC # C6: 2 + B4: 4 # G4: 5,8 => UNS
* INC # C6: 2 + B4: 4 # A1: 5,8 => UNS
* INC # C6: 2 + B4: 4 # A1: 2,9 => UNS
* DIS # C6: 2 + B4: 4 # G6: 3,7 => CTR => G6: 5,8,9
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # H8: 3,7 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # H9: 3,7 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # A5: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # B6: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # D4: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # F4: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # G4: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # A1: 5,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # A1: 2,9 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # A5: 3,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # B6: 3,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # G5: 3,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # G5: 1,4,5,9 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # C8: 3,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # C9: 3,8 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # H8: 3,7 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 # H9: 3,7 => UNS
* INC # C6: 2 + B4: 4 + G6: 5,8,9 => UNS
* INC # A4: 2 # A5: 3,8 => UNS
* INC # A4: 2 # C5: 3,8 => UNS
* INC # A4: 2 # B6: 3,8 => UNS
* INC # A4: 2 # G6: 3,8 => UNS
* INC # A4: 2 # G6: 2,5,7,9 => UNS
* INC # A4: 2 # C8: 3,8 => UNS
* INC # A4: 2 # C9: 3,8 => UNS
* INC # A4: 2 => UNS
* CNT  35 HDP CHAINS /  35 HYP OPENED
```

Full list of HDP chains traversed for F4,E5: 1..:

```* DIS # E5: 1 # D4: 5,8 => CTR => D4: 7
* INC # E5: 1 + D4: 7 # D5: 5,8 => UNS
* INC # E5: 1 + D4: 7 # F6: 5,8 => UNS
* INC # E5: 1 + D4: 7 # A4: 5,8 => UNS
* INC # E5: 1 + D4: 7 # B4: 5,8 => UNS
* DIS # E5: 1 + D4: 7 # G4: 5,8 => CTR => G4: 1,2,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 # D5: 5,8 => CTR => D5: 6,9
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # F6: 5,8 => UNS
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # F6: 5,8 => UNS
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # F6: 6,9 => UNS
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # A4: 5,8 => UNS
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # B4: 5,8 => UNS
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # C5: 3,4 => UNS
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 # C5: 8 => CTR => C5: 3,4
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 # C2: 3,4 => CTR => C2: 1,2,7
* DIS # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 # F6: 5,8 => CTR => F6: 6,9
* INC # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 # G5: 5,8 => UNS
* PRF # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 # G5: 9 => SOL
* STA # E5: 1 + D4: 7 + G4: 1,2,4 + D5: 6,9 + C5: 3,4 + C2: 1,2,7 + F6: 6,9 + G5: 9
* CNT  18 HDP CHAINS /  19 HYP OPENED
```