Analysis of xx-ph-02316521-2019_03_16-base.sdk
Contents
Original Sudoku
level: very deep
position: 98.7.....6...5......4..96..4....87....73...2.........1.4...78.....5....3....2..1. initial
Autosolve
position: 98.7.....6...5......4..96..4....87....73...2.....7...1.4...78.....5....3....2..1. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000026
List of important HDP chains detected for I7,G8: 2..:
* DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * CNT 6 HDP CHAINS / 116 HYP OPENED
List of important HDP chains detected for E1,F1: 6..:
* DIS # F1: 6 # E8: 1,4 => CTR => E8: 6,8,9 * CNT 1 HDP CHAINS / 17 HYP OPENED
List of important HDP chains detected for F5,F6: 5..:
* DIS # F5: 5 # G6: 4,9 => CTR => G6: 3,5 * DIS # F5: 5 + G6: 3,5 # G2: 4,9 => CTR => G2: 1,2,3 * CNT 2 HDP CHAINS / 35 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Very Deep Constraint Pair Analysis
Time used: 0:01:55.286938
List of important HDP chains detected for I7,G8: 2..:
* DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 # C1: 1,2 => CTR => C1: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 # C8: 1,2 => CTR => C8: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 # A9: 8 => CTR => A9: 3,7 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 # D9: 6,9 => CTR => D9: 4,8 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 # F1: 6 => CTR => F1: 1,2 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 # H8: 6,9 => CTR => H8: 7 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 # D7: 1 => CTR => D7: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 # B9: 3,7 => CTR => B9: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 + B9: 6,9 => CTR => A3: 1,2,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 # H1: 4,5 => CTR => H1: 3 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 # H1: 4,5 => CTR => H1: 3 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 + A3: 5 => CTR => I7: 5,6,9 * STA I7: 5,6,9 * CNT 22 HDP CHAINS / 143 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
This sudoku is very deep. Here is some information that may be helpful on how to proceed.
Positions
| 98.7.....6...5......4..96..4....87....73...2.........1.4...78.....5....3....2..1. | initial |
| 98.7.....6...5......4..96..4....87....73...2.....7...1.4...78.....5....3....2..1. | autosolve |
Classification
level: very deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G1,G2: 1.. / G1 = 1 => 0 pairs (_) / G2 = 1 => 1 pairs (_) I7,G8: 2.. / I7 = 2 => 4 pairs (_) / G8 = 2 => 0 pairs (_) E7,F9: 3.. / E7 = 3 => 2 pairs (_) / F9 = 3 => 0 pairs (_) F5,F6: 5.. / F5 = 5 => 2 pairs (_) / F6 = 5 => 1 pairs (_) E1,F1: 6.. / E1 = 6 => 1 pairs (_) / F1 = 6 => 2 pairs (_) H8,I9: 7.. / H8 = 7 => 0 pairs (_) / I9 = 7 => 0 pairs (_) I5,H6: 8.. / I5 = 8 => 1 pairs (_) / H6 = 8 => 0 pairs (_) E8,D9: 8.. / E8 = 8 => 1 pairs (_) / D9 = 8 => 1 pairs (_) A5,I5: 8.. / A5 = 8 => 0 pairs (_) / I5 = 8 => 1 pairs (_) E3,E8: 8.. / E3 = 8 => 1 pairs (_) / E8 = 8 => 1 pairs (_) * DURATION: 0:00:08.931190 START: 17:52:23.187457 END: 17:52:32.118647 2020-11-25 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) I7,G8: 2.. / I7 = 2 ==> 7 pairs (_) / G8 = 2 ==> 0 pairs (_) E1,F1: 6.. / E1 = 6 ==> 1 pairs (_) / F1 = 6 ==> 2 pairs (_) F5,F6: 5.. / F5 = 5 ==> 3 pairs (_) / F6 = 5 ==> 1 pairs (_) E7,F9: 3.. / E7 = 3 ==> 2 pairs (_) / F9 = 3 ==> 0 pairs (_) E3,E8: 8.. / E3 = 8 ==> 1 pairs (_) / E8 = 8 ==> 1 pairs (_) E8,D9: 8.. / E8 = 8 ==> 1 pairs (_) / D9 = 8 ==> 1 pairs (_) A5,I5: 8.. / A5 = 8 ==> 0 pairs (_) / I5 = 8 ==> 1 pairs (_) I5,H6: 8.. / I5 = 8 ==> 1 pairs (_) / H6 = 8 ==> 0 pairs (_) G1,G2: 1.. / G1 = 1 ==> 0 pairs (_) / G2 = 1 ==> 1 pairs (_) H8,I9: 7.. / H8 = 7 ==> 0 pairs (_) / I9 = 7 ==> 0 pairs (_) * DURATION: 0:02:43.024392 START: 17:52:32.119976 END: 17:55:15.144368 2020-11-25 * REASONING I7,G8: 2.. * DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * CNT 6 HDP CHAINS / 116 HYP OPENED * REASONING E1,F1: 6.. * DIS # F1: 6 # E8: 1,4 => CTR => E8: 6,8,9 * CNT 1 HDP CHAINS / 17 HYP OPENED * REASONING F5,F6: 5.. * DIS # F5: 5 # G6: 4,9 => CTR => G6: 3,5 * DIS # F5: 5 + G6: 3,5 # G2: 4,9 => CTR => G2: 1,2,3 * CNT 2 HDP CHAINS / 35 HYP OPENED * DCP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * VERY DEEP CONSTRAINT PAIRS (PAIR REDUCTION, RECURSIVE) I7,G8: 2.. / I7 = 2 ==> 0 pairs (X) / G8 = 2 => 0 pairs (_) * DURATION: 0:01:55.283978 START: 17:55:15.259240 END: 17:57:10.543218 2020-11-25 * REASONING I7,G8: 2.. * DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 # C1: 1,2 => CTR => C1: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 # C8: 1,2 => CTR => C8: 6,8,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 # A9: 8 => CTR => A9: 3,7 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 # D9: 6,9 => CTR => D9: 4,8 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 # F1: 6 => CTR => F1: 1,2 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 # H8: 6,9 => CTR => H8: 7 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 # D7: 1 => CTR => D7: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 # B9: 3,7 => CTR => B9: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 + B9: 6,9 => CTR => A3: 1,2,5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 # H1: 4,5 => CTR => H1: 3 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 # H1: 4,5 => CTR => H1: 3 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 + A3: 5 => CTR => I7: 5,6,9 * STA I7: 5,6,9 * CNT 22 HDP CHAINS / 143 HYP OPENED * VDCP COUNT: (1) * CLUE FOUND
Header Info
2316521;2019_03_16;PAQ;22;11.50;1.20;1.20
|:bug:| The constraint_pair_reduction algorithm triggers a python exception during classification.
error: python exception
File "../classify.py", line 672, in main
ecode = run(_parameters, _pass_opts)
File "../classify.py", line 385, in run
classification, ignore = sudoku.classify_(document=opt_document)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 8632, in classify_
contraint_pairs, graphs, reasons = bsudoku.analyze_constraint_pairs_pr_pr()
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 5665, in analyze_constraint_pairs_pr_pr
constraint_pairs, graphs, reasons = self.get_all_constraint_pair_reprs(*args, **kwargs)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 5429, in get_all_constraint_pair_reprs
recursive=recursive, progress=progress, verbose=verbose,
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 5298, in get_all_value_cell_set_reprs__
check_sudoku.pair_reduction__(progress=progress, recursive=recursive, graph=graph, reason=reason)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 6722, in pair_reduction__
done, modified, position, pc_seen, should_recheck, reason = self.constraint_pair_reduction(pair, constraint, position, pc_seen, analyze, algo_def[algo_indx], progress, graph, reason)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 6173, in constraint_pair_reduction
leave_child_node(graph, node, rtitle, solved, red_pair_len, rsport)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 5947, in leave_child_node
bnode = update_child_node(graph, parent, title, solved, red_pair_len, sport)
File "/home/ws/develop/Perl/sudoku/hdp_sudoku/sudoku.py", line 5967, in update_child_node
init_pair_len = bnode[2]
IndexError: list index out of range
# :PRC: xx-ph-02316521-2019_03_16-base.sdk
# :INF: fca_position : [98.7.....6...5......4..96..4....87....73...2.........1.4...78.....5....3....2..1.] [22]
# :INF: mtx_position : [98.7.....6...5......4..96..4....87....73...2.....7...1.4...78.....5....3....2..1.] [23]
# --------------------------------------------------
# |:sec:| --reduce-cells `xx-ph-02316521-2019_03_16-base/xx-ph-02316521-2019_03_16-base-000-sm.s.x.v-001.mtx`
# --------------------------------------------------
// |:INF:| PID : ]6992[
// :TIM: start : [2020-10-11 02:22:51.529693]
// :TIM: add clauses : [2020-10-11 02:22:55.727057] step: [0:00:04.197364] total: [0:00:04.197364]
// :TIM: set regions : [2020-10-11 02:22:55.727297] step: [0:00:00.000240] total: [0:00:04.197604]
// :TIM: set variables (good) : [2020-10-11 02:22:55.727515] step: [0:00:00.000218] total: [0:00:04.197822]
// :TIM: map conflicts : [2020-10-11 02:23:59.167104] step: [0:01:03.439589] total: [0:01:07.637411]
// :TIM: parse matrix : [2020-10-11 02:23:59.167456] step: [0:01:07.637763] total: [0:01:07.637763]
// :TIM: drop kill rows 1764 : [2020-10-11 02:24:03.458671] step: [0:00:04.291215] total: [0:01:11.928978]
// :TIM: update rows : [2020-10-11 02:24:20.280667] step: [0:00:16.821996] total: [0:01:28.750974]
// :TIM: drop 1-states : [2020-10-11 02:24:20.281922] step: [0:00:00.001255] total: [0:01:28.752229]
// :TIM: drop kill rows 0 : [2020-10-11 02:24:20.283273] step: [0:00:00.001351] total: [0:01:28.753580]
// :TIM: drop 2-states 792 : [2020-10-11 02:24:22.884088] step: [0:00:02.600815] total: [0:01:31.354395]
// :TIM: drop redundant 3 : [2020-10-11 02:24:23.612139] step: [0:00:00.728051] total: [0:01:32.082446]
// :TIM: /reducable cells 19 : [2020-10-11 02:24:39.951532] step: [0:00:16.339393] total: [0:01:48.421839]
// :TIM: |drop kill rows 0 : [2020-10-11 02:24:39.952300] step: [0:00:00.000768] total: [0:01:48.422607]
// :TIM: |drop 2-states 0 : [2020-10-11 02:24:39.952572] step: [0:00:00.000272] total: [0:01:48.422879]
// :TIM: |drop redundant 6 : [2020-10-11 02:24:40.641451] step: [0:00:00.688879] total: [0:01:49.111758]
// :TIM: |reducable cells 60 : [2020-10-11 02:25:49.514877] step: [0:01:08.873426] total: [0:02:57.985184]
// :TIM: |drop kill rows 5 : [2020-10-11 02:25:49.521937] step: [0:00:00.007060] total: [0:02:57.992244]
// :TIM: |drop 2-states 0 : [2020-10-11 02:25:49.522137] step: [0:00:00.000200] total: [0:02:57.992444]
// :TIM: |drop redundant 3 : [2020-10-11 02:25:49.962419] step: [0:00:00.440282] total: [0:02:58.432726]
// :TIM: |reducable cells 23 : [2020-10-11 02:26:30.432071] step: [0:00:40.469652] total: [0:03:38.902378]
// :TIM: |drop kill rows 8 : [2020-10-11 02:26:30.438153] step: [0:00:00.006082] total: [0:03:38.908460]
// :TIM: |drop 2-states 0 : [2020-10-11 02:26:30.438331] step: [0:00:00.000178] total: [0:03:38.908638]
// :TIM: |drop redundant 0 : [2020-10-11 02:26:30.797394] step: [0:00:00.359063] total: [0:03:39.267701]
// :TIM: |reducable cells 9 : [2020-10-11 02:26:56.373301] step: [0:00:25.575907] total: [0:04:04.843608]
// :TIM: |drop kill rows 21 : [2020-10-11 02:26:56.397287] step: [0:00:00.023986] total: [0:04:04.867594]
// :TIM: |drop 2-states 0 : [2020-10-11 02:26:56.397465] step: [0:00:00.000178] total: [0:04:04.867772]
// :TIM: |drop redundant 0 : [2020-10-11 02:26:56.752038] step: [0:00:00.354573] total: [0:04:05.222345]
// :TIM: |reducable cells 6 : [2020-10-11 02:27:13.620183] step: [0:00:16.868145] total: [0:04:22.090490]
// :TIM: |drop kill rows 3 : [2020-10-11 02:27:13.624346] step: [0:00:00.004163] total: [0:04:22.094653]
// :TIM: |drop 2-states 0 : [2020-10-11 02:27:13.624514] step: [0:00:00.000168] total: [0:04:22.094821]
// :TIM: |drop redundant 0 : [2020-10-11 02:27:14.020273] step: [0:00:00.395759] total: [0:04:22.490580]
// :TIM: |reducable cells 2 : [2020-10-11 02:27:21.900038] step: [0:00:07.879765] total: [0:04:30.370345]
// :TIM: |drop kill rows 3 : [2020-10-11 02:27:21.903771] step: [0:00:00.003733] total: [0:04:30.374078]
// :TIM: |drop 2-states 0 : [2020-10-11 02:27:21.903932] step: [0:00:00.000161] total: [0:04:30.374239]
// :TIM: |drop redundant 0 : [2020-10-11 02:27:22.238905] step: [0:00:00.334973] total: [0:04:30.709212]
// :TIM: |reducable cells 2 : [2020-10-11 02:27:29.143027] step: [0:00:06.904122] total: [0:04:37.613334]
// :TIM: |drop kill rows 1 : [2020-10-11 02:27:29.145168] step: [0:00:00.002141] total: [0:04:37.615475]
// :TIM: |drop 2-states 0 : [2020-10-11 02:27:29.145341] step: [0:00:00.000173] total: [0:04:37.615648]
// :TIM: |drop redundant 0 : [2020-10-11 02:27:29.515626] step: [0:00:00.370285] total: [0:04:37.985933]
// :TIM: |reducable cells 1 : [2020-10-11 02:27:32.805871] step: [0:00:03.290245] total: [0:04:41.276178]
// :TIM: |drop kill rows 0 : [2020-10-11 02:27:32.806151] step: [0:00:00.000280] total: [0:04:41.276458]
// :TIM: |drop 2-states 0 : [2020-10-11 02:27:32.806292] step: [0:00:00.000141] total: [0:04:41.276599]
// :TIM: |drop redundant 0 : [2020-10-11 02:27:33.110385] step: [0:00:00.304093] total: [0:04:41.580692]
// :TIM: |total combined 122 : [2020-10-11 02:27:33.198417] step: [0:03:09.586278] total: [0:04:41.668724]
// :TIM: /reducable cells 0 : [2020-10-11 02:27:33.286327] step: [0:00:00.087910] total: [0:04:41.756634]
// :TIM: \solver loop : [2020-10-11 02:27:33.286379] step: [0:03:09.674240] total: [0:04:41.756686]
// :TIM: end : [2020-10-11 02:27:34.989304] step: [0:00:01.702925] total: [0:04:43.459611]
# :INF: red_position : [98.7.....6...5......4..96..4....87....73...2.....7...1.4...78.....5....3....2..1.] [23]
# --------------------------------------------------
# |:sec:| --reduce-cells core matrix `xx-ph-02316521-2019_03_16-base/xx-ph-02316521-2019_03_16-base-000-sm.s.x-001.mtx`
# --------------------------------------------------
// |:INF:| PID : ]7284[
// :TIM: start : [2020-10-11 02:27:41.039370]
// :TIM: add clauses : [2020-10-11 02:27:41.628110] step: [0:00:00.588740] total: [0:00:00.588740]
// :TIM: set regions : [2020-10-11 02:27:41.628432] step: [0:00:00.000322] total: [0:00:00.589062]
// :TIM: set variables (good) : [2020-10-11 02:27:41.628665] step: [0:00:00.000233] total: [0:00:00.589295]
// :TIM: map conflicts : [2020-10-11 02:27:47.271209] step: [0:00:05.642544] total: [0:00:06.231839]
// :TIM: parse matrix : [2020-10-11 02:27:47.271322] step: [0:00:06.231952] total: [0:00:06.231952]
// :TIM: drop kill rows 0 : [2020-10-11 02:27:47.271797] step: [0:00:00.000475] total: [0:00:06.232427]
// :TIM: drop kill rows 0 : [2020-10-11 02:27:47.272084] step: [0:00:00.000287] total: [0:00:06.232714]
// :TIM: end : [2020-10-11 02:27:47.527854] step: [0:00:00.255770] total: [0:00:06.488484]
# --------------------------------------------------
# |:sec:| --check-minor-ccrs `xx-ph-02316521-2019_03_16-base/xx-ph-02316521-2019_03_16-base-000-sm.s.x.v-002.mtx`
# --------------------------------------------------
// |:INF:| PID : ]7309[
// :TIM: start : [2020-10-11 02:27:48.516177]
// :TIM: add clauses : [2020-10-11 02:27:49.073223] step: [0:00:00.557046] total: [0:00:00.557046]
// :TIM: set regions : [2020-10-11 02:27:49.073514] step: [0:00:00.000291] total: [0:00:00.557337]
// :TIM: set variables (good) : [2020-10-11 02:27:49.073665] step: [0:00:00.000151] total: [0:00:00.557488]
// :TIM: map conflicts : [2020-10-11 02:27:54.683890] step: [0:00:05.610225] total: [0:00:06.167713]
// :TIM: parse matrix : [2020-10-11 02:27:54.683978] step: [0:00:06.167801] total: [0:00:06.167801]
// :TIM: drop kill rows 0 : [2020-10-11 02:27:54.684240] step: [0:00:00.000262] total: [0:00:06.168063]
// :TIM: update rows : [2020-10-11 02:28:05.481614] step: [0:00:10.797374] total: [0:00:16.965437]
// :TIM: drop 1-states : [2020-10-11 02:28:05.481810] step: [0:00:00.000196] total: [0:00:16.965633]
// :TIM: drop kill rows 0 : [2020-10-11 02:28:05.482025] step: [0:00:00.000215] total: [0:00:16.965848]
// :TIM: drop 2-states 0 : [2020-10-11 02:28:05.482147] step: [0:00:00.000122] total: [0:00:16.965970]
// :TIM: drop redundant 0 : [2020-10-11 02:28:05.788484] step: [0:00:00.306337] total: [0:00:17.272307]
// :TIM: /reducable cells 0 : [2020-10-11 02:28:05.873008] step: [0:00:00.084524] total: [0:00:17.356831]
// :TIM: /check minor CCRs 1000 : [2020-10-11 02:30:04.333920] step: [0:01:58.460912] total: [0:02:15.817743]
// :TIM: |drop kill rows 511 : [2020-10-11 02:30:04.505227] step: [0:00:00.171307] total: [0:02:15.989050]
// :TIM: |drop 2-states 85 : [2020-10-11 02:30:04.625208] step: [0:00:00.119981] total: [0:02:16.109031]
// :TIM: |drop redundant 0 : [2020-10-11 02:30:04.625283] step: [0:00:00.000075] total: [0:02:16.109106]
// :TIM: |reducable cells 0 : [2020-10-11 02:30:04.626504] step: [0:00:00.001221] total: [0:02:16.110327]
// :TIM: /check minor CCRs 0 : [2020-10-11 02:30:04.627461] step: [0:00:00.000957] total: [0:02:16.111284]
// :TIM: |reducable cells 0 : [2020-10-11 02:30:04.627892] step: [0:00:00.000431] total: [0:02:16.111715]
// :TIM: \solver loop : [2020-10-11 02:30:04.627917] step: [0:01:58.839433] total: [0:02:16.111740]
// :TIM: end : [2020-10-11 02:30:05.662261] step: [0:00:01.034344] total: [0:02:17.146084]
# :INF: mcr_position : [985763142671452398324819657416298735857341926293675481542137869169584273738926514] [81]
# --------------------------------------------------
# |:sec:| lingeling
# --------------------------------------------------
c 40 decisions, 997.0 decisions/sec
c 23 conflicts, 573.3 conflicts/sec
# --------------------------------------------------
# |:sec:| cryptominisat
# --------------------------------------------------
c Chose restart type glue-based
c restarts : 2 (169.00 confls per restart)
c decisions : 483 (68.94 % random)
c conflicts : 338 (90933.55 / sec)
c conflicts : 0 (-nan / sec)
# --------------------------------------------------
# |:sec:| minisat
# --------------------------------------------------
restarts : 1
conflicts : 2 (1343 /sec)
decisions : 10 (0.00 % random) (6716 /sec)
"duration","algo","count","chains","hypos","result","cp_count","cp_result","clues","position","name"
0:00:00,UNKNOWN,0,0,0,0 UNKNOWN,0,0 UNKNOWN,22,``98.7.....6...5......4..96..4....87....73...2.........1.4...78.....5....3....2..1.``,xx-ph-02316521-2019_03_16-base.sdk
===== ===== ======== ======= ===== ====== ===== ========= ======== ========= ================================== ===================================================================================== =========== ======== ========= ========
Clues Level Duration Algo Count Chains Hypos Result CP Count CP Result Name Sudoku SDFS visits time (s) WC visits time (s)
===== ===== ======== ======= ===== ====== ===== ========= ======== ========= ================================== ===================================================================================== =========== ======== ========= ========
22 ? 0:00:00 UNKNOWN 0 0 0 0 UNKNOWN 0 0 UNKNOWN xx-ph-02316521-2019_03_16-base.sdk ``98.7.....6...5......4..96..4....87....73...2.........1.4...78.....5....3....2..1.`` 1116330 0.085 1188912 0.096
===== ===== ======== ======= ===== ====== ===== ========= ======== ========= ================================== ===================================================================================== =========== ======== ========= ========
=== ====
all c 22
=== ====
1 1
=== ====
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for I7,G8: 2..:
* INC # I7: 2 # C1: 1,2 => UNS * INC # I7: 2 # F1: 1,2 => UNS * INC # I7: 2 # H1: 4,5 => UNS * INC # I7: 2 # H1: 3 => UNS * INC # I7: 2 # I5: 4,5 => UNS * INC # I7: 2 # I9: 4,5 => UNS * DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * INC # I7: 2 + B2: 3,7 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # H8: 4,9 => UNS * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * INC # I7: 2 + B2: 3,7 + G9: 5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # B3: 3,7 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # H1: 3 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # I9: 6,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # A3: 3,7 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 1,2,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 1,2,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 => UNS * INC # G8: 2 => UNS * CNT 116 HDP CHAINS / 116 HYP OPENED
Full list of HDP chains traversed for E1,F1: 6..:
* DIS # F1: 6 # E8: 1,4 => CTR => E8: 6,8,9 * INC # F1: 6 + E8: 6,8,9 # F2: 1,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F5: 1,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F2: 3,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F2: 1,2 => UNS * INC # F1: 6 + E8: 6,8,9 # F2: 1,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F5: 1,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F2: 3,4 => UNS * INC # F1: 6 + E8: 6,8,9 # F2: 1,2 => UNS * INC # F1: 6 + E8: 6,8,9 => UNS * INC # E1: 6 # D4: 1,9 => UNS * INC # E1: 6 # E5: 1,9 => UNS * INC # E1: 6 # B4: 1,9 => UNS * INC # E1: 6 # C4: 1,9 => UNS * INC # E1: 6 # E7: 1,9 => UNS * INC # E1: 6 # E8: 1,9 => UNS * INC # E1: 6 => UNS * CNT 17 HDP CHAINS / 17 HYP OPENED
Full list of HDP chains traversed for F5,F6: 5..:
* INC # F5: 5 # A8: 1,8 => UNS * INC # F5: 5 # A8: 2,7 => UNS * INC # F5: 5 # I5: 4,9 => UNS * DIS # F5: 5 # G6: 4,9 => CTR => G6: 3,5 * INC # F5: 5 + G6: 3,5 # H6: 4,9 => UNS * INC # F5: 5 + G6: 3,5 # E5: 4,9 => UNS * INC # F5: 5 + G6: 3,5 # E5: 1,6 => UNS * DIS # F5: 5 + G6: 3,5 # G2: 4,9 => CTR => G2: 1,2,3 * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G8: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G9: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # I5: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # H6: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # E5: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # E5: 1,6 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G8: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G9: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # A8: 1,8 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # A8: 2,7 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # I5: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # H6: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # E5: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # E5: 1,6 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G8: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G9: 4,9 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # H4: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # H6: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # A6: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # B6: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # C6: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G1: 3,5 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 # G1: 1,2,4 => UNS * INC # F5: 5 + G6: 3,5 + G2: 1,2,3 => UNS * INC # F6: 5 # D2: 1,8 => UNS * INC # F6: 5 # E3: 1,8 => UNS * INC # F6: 5 => UNS * CNT 35 HDP CHAINS / 35 HYP OPENED
Full list of HDP chains traversed for E7,F9: 3..:
* INC # E7: 3 # D2: 1,8 => UNS * INC # E7: 3 # D3: 1,8 => UNS * INC # E7: 3 # E8: 1,8 => UNS * INC # E7: 3 # E8: 4,6,9 => UNS * INC # E7: 3 # E8: 4,6 => UNS * INC # E7: 3 # F8: 4,6 => UNS * INC # E7: 3 # D9: 4,6 => UNS * INC # E7: 3 # I9: 4,6 => UNS * INC # E7: 3 # I9: 5,7,9 => UNS * INC # E7: 3 # F1: 4,6 => UNS * INC # E7: 3 # F5: 4,6 => UNS * INC # E7: 3 # F6: 4,6 => UNS * INC # E7: 3 => UNS * INC # F9: 3 => UNS * CNT 14 HDP CHAINS / 14 HYP OPENED
Full list of HDP chains traversed for E3,E8: 8..:
* INC # E3: 8 # F1: 1,2 => UNS * INC # E3: 8 # D2: 1,2 => UNS * INC # E3: 8 # F2: 1,2 => UNS * INC # E3: 8 # A3: 1,2 => UNS * INC # E3: 8 # B3: 1,2 => UNS * INC # E3: 8 # D4: 1,2 => UNS * INC # E3: 8 # D4: 6,9 => UNS * INC # E3: 8 => UNS * INC # E8: 8 # E1: 1,3 => UNS * INC # E8: 8 # F1: 1,3 => UNS * INC # E8: 8 # F2: 1,3 => UNS * INC # E8: 8 # A3: 1,3 => UNS * INC # E8: 8 # B3: 1,3 => UNS * INC # E8: 8 # E7: 1,3 => UNS * INC # E8: 8 # E7: 6,9 => UNS * INC # E8: 8 => UNS * CNT 16 HDP CHAINS / 16 HYP OPENED
Full list of HDP chains traversed for E8,D9: 8..:
* INC # E8: 8 # E1: 1,3 => UNS * INC # E8: 8 # F1: 1,3 => UNS * INC # E8: 8 # F2: 1,3 => UNS * INC # E8: 8 # A3: 1,3 => UNS * INC # E8: 8 # B3: 1,3 => UNS * INC # E8: 8 # E7: 1,3 => UNS * INC # E8: 8 # E7: 6,9 => UNS * INC # E8: 8 => UNS * INC # D9: 8 # F1: 1,2 => UNS * INC # D9: 8 # D2: 1,2 => UNS * INC # D9: 8 # F2: 1,2 => UNS * INC # D9: 8 # A3: 1,2 => UNS * INC # D9: 8 # B3: 1,2 => UNS * INC # D9: 8 # D4: 1,2 => UNS * INC # D9: 8 # D4: 6,9 => UNS * INC # D9: 8 => UNS * CNT 16 HDP CHAINS / 16 HYP OPENED
Full list of HDP chains traversed for A5,I5: 8..:
* INC # I5: 8 # B4: 1,5 => UNS * INC # I5: 8 # C4: 1,5 => UNS * INC # I5: 8 # B5: 1,5 => UNS * INC # I5: 8 # F5: 1,5 => UNS * INC # I5: 8 # F5: 4,6 => UNS * INC # I5: 8 # A3: 1,5 => UNS * INC # I5: 8 # A7: 1,5 => UNS * INC # I5: 8 => UNS * INC # A5: 8 => UNS * CNT 9 HDP CHAINS / 9 HYP OPENED
Full list of HDP chains traversed for I5,H6: 8..:
* INC # I5: 8 # B4: 1,5 => UNS * INC # I5: 8 # C4: 1,5 => UNS * INC # I5: 8 # B5: 1,5 => UNS * INC # I5: 8 # F5: 1,5 => UNS * INC # I5: 8 # F5: 4,6 => UNS * INC # I5: 8 # A3: 1,5 => UNS * INC # I5: 8 # A7: 1,5 => UNS * INC # I5: 8 => UNS * INC # H6: 8 => UNS * CNT 9 HDP CHAINS / 9 HYP OPENED
Full list of HDP chains traversed for G1,G2: 1..:
* INC # G2: 1 # C1: 2,3 => UNS * INC # G2: 1 # B2: 2,3 => UNS * INC # G2: 1 # A3: 2,3 => UNS * INC # G2: 1 # B3: 2,3 => UNS * INC # G2: 1 # F2: 2,3 => UNS * INC # G2: 1 # F2: 4 => UNS * INC # G2: 1 # C4: 2,3 => UNS * INC # G2: 1 # C6: 2,3 => UNS * INC # G2: 1 # C7: 2,3 => UNS * INC # G2: 1 => UNS * INC # G1: 1 => UNS * CNT 11 HDP CHAINS / 11 HYP OPENED
Full list of HDP chains traversed for H8,I9: 7..:
* INC # H8: 7 => UNS * INC # I9: 7 => UNS * CNT 2 HDP CHAINS / 2 HYP OPENED
A2. Very Deep Constraint Pair Analysis
Full list of HDP chains traversed for I7,G8: 2..:
* INC # I7: 2 # C1: 1,2 => UNS * INC # I7: 2 # F1: 1,2 => UNS * INC # I7: 2 # H1: 4,5 => UNS * INC # I7: 2 # H1: 3 => UNS * INC # I7: 2 # I5: 4,5 => UNS * INC # I7: 2 # I9: 4,5 => UNS * DIS # I7: 2 # B2: 1,2 => CTR => B2: 3,7 * INC # I7: 2 + B2: 3,7 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 # H8: 4,9 => UNS * DIS # I7: 2 + B2: 3,7 # G9: 4,9 => CTR => G9: 5 * INC # I7: 2 + B2: 3,7 + G9: 5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 # B3: 3,7 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 # H2: 3,7 => CTR => H2: 4,8,9 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # H1: 3 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 # I5: 4,5 => CTR => I5: 6,8,9 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # I9: 6,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 # C7: 6,9 => CTR => C7: 1,3,5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # A3: 3,7 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 # B3: 3,7 => CTR => B3: 1,2,5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 1,2,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 1,2,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # B9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 4,5 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H1: 3 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # C2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # F2: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 5,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E5: 1,6 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # D7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E7: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H4: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H6: 6,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # H8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # I9: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 4,9 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # E8: 1,6,8 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 # B9: 3,7 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 # B9: 6,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 # C1: 1,2 => CTR => C1: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 # C8: 1,2 => CTR => C8: 6,8,9 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 # A9: 3,7 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 # A9: 8 => CTR => A9: 3,7 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 # D9: 4,8 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 # D9: 6,9 => CTR => D9: 4,8 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 # F1: 1,2 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 # F1: 6 => CTR => F1: 1,2 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 # H8: 6,9 => CTR => H8: 7 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 # D7: 6,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 # D7: 1 => CTR => D7: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 # B9: 3,7 => CTR => B9: 6,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 # A3: 3,7 + C1: 5 + C8: 6,8,9 + A9: 3,7 + D9: 4,8 + F1: 1,2 + H8: 7 + D7: 6,9 + B9: 6,9 => CTR => A3: 1,2,5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 # F1: 1,2 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 # H1: 4,5 => CTR => H1: 3 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 # H6: 4,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 # C1: 1,2 => UNS * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 # F1: 1,2 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 # H1: 4,5 => CTR => H1: 3 * INC # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 # H6: 4,9 => UNS * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 # H6: 6,8 => CTR => H6: 4,9 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 # A3: 1,2 => CTR => A3: 5 * DIS # I7: 2 + B2: 3,7 + G9: 5 + H2: 4,8,9 + I5: 6,8,9 + C7: 1,3,5 + B3: 1,2,5 + A3: 1,2,5 + H1: 3 + H6: 4,9 + A3: 5 + H1: 3 + H6: 4,9 + A3: 5 => CTR => I7: 5,6,9 * INC I7: 5,6,9 # G8: 2 => UNS * STA I7: 5,6,9 * CNT 143 HDP CHAINS / 143 HYP OPENED