TSTP Solution File: SYN431-1 by Metis---2.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Metis---2.4
% Problem : SYN431-1 : TPTP v8.1.0. Released v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : metis --show proof --show saturation %s
% Computer : n020.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 21 09:02:25 EDT 2022
% Result : Satisfiable 101.98s 102.15s
% Output : Saturation 101.98s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SYN431-1 : TPTP v8.1.0. Released v2.1.0.
% 0.03/0.13 % Command : metis --show proof --show saturation %s
% 0.13/0.33 % Computer : n020.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue Jul 12 07:24:12 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 101.98/102.15 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
% 101.98/102.15
% 101.98/102.15 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 101.98/102.15 |- ~hskp28 \/ ndr1_0
% 101.98/102.15 |- ~hskp27 \/ ndr1_0
% 101.98/102.15 |- ~hskp26 \/ ndr1_0
% 101.98/102.15 |- ~hskp25 \/ ndr1_0
% 101.98/102.15 |- ~hskp24 \/ ndr1_0
% 101.98/102.15 |- ~hskp23 \/ ndr1_0
% 101.98/102.15 |- ~hskp22 \/ ndr1_0
% 101.98/102.15 |- ~hskp21 \/ ndr1_0
% 101.98/102.15 |- ~hskp20 \/ ndr1_0
% 101.98/102.15 |- ~hskp19 \/ ndr1_0
% 101.98/102.15 |- ~hskp18 \/ ndr1_0
% 101.98/102.15 |- ~hskp17 \/ ndr1_0
% 101.98/102.15 |- ~hskp16 \/ ndr1_0
% 101.98/102.15 |- ~hskp15 \/ ndr1_0
% 101.98/102.15 |- ~hskp14 \/ ndr1_0
% 101.98/102.15 |- ~hskp13 \/ ndr1_0
% 101.98/102.15 |- ~hskp12 \/ ndr1_0
% 101.98/102.15 |- ~hskp11 \/ ndr1_0
% 101.98/102.15 |- ~hskp10 \/ ndr1_0
% 101.98/102.15 |- ~hskp9 \/ ndr1_0
% 101.98/102.15 |- ~hskp8 \/ ndr1_0
% 101.98/102.15 |- ~hskp7 \/ ndr1_0
% 101.98/102.15 |- ~hskp6 \/ ndr1_0
% 101.98/102.15 |- ~hskp5 \/ ndr1_0
% 101.98/102.15 |- ~hskp4 \/ ndr1_0
% 101.98/102.15 |- ~hskp3 \/ ndr1_0
% 101.98/102.15 |- ~hskp2 \/ ndr1_0
% 101.98/102.15 |- ~hskp1 \/ ndr1_0
% 101.98/102.15 |- ~hskp0 \/ ndr1_0
% 101.98/102.15 |- hskp18 \/ hskp5 \/ hskp6
% 101.98/102.15 |- hskp22 \/ hskp23 \/ hskp24
% 101.98/102.15 |- hskp11 \/ hskp25 \/ hskp26
% 101.98/102.15 |- hskp13 \/ hskp27 \/ hskp3
% 101.98/102.15 |- ~hskp28 \/ c1_1 a158
% 101.98/102.15 |- ~hskp28 \/ c2_1 a158
% 101.98/102.15 |- ~hskp27 \/ c3_1 a157
% 101.98/102.15 |- ~hskp27 \/ c2_1 a157
% 101.98/102.15 |- ~hskp26 \/ c1_1 a153
% 101.98/102.15 |- ~hskp25 \/ c3_1 a152
% 101.98/102.15 |- ~hskp25 \/ c2_1 a152
% 101.98/102.15 |- ~hskp24 \/ c1_1 a150
% 101.98/102.15 |- ~hskp24 \/ c0_1 a150
% 101.98/102.15 |- ~hskp23 \/ c1_1 a149
% 101.98/102.15 |- ~hskp23 \/ c0_1 a149
% 101.98/102.15 |- ~hskp22 \/ c1_1 a148
% 101.98/102.16 |- ~hskp22 \/ c2_1 a148
% 101.98/102.16 |- ~hskp21 \/ c2_1 a147
% 101.98/102.16 |- ~hskp21 \/ c3_1 a147
% 101.98/102.16 |- ~hskp20 \/ c2_1 a144
% 101.98/102.16 |- ~hskp20 \/ c3_1 a144
% 101.98/102.16 |- ~hskp19 \/ c2_1 a143
% 101.98/102.16 |- ~hskp19 \/ c0_1 a143
% 101.98/102.16 |- ~hskp19 \/ c1_1 a143
% 101.98/102.16 |- ~hskp18 \/ c0_1 a138
% 101.98/102.16 |- ~hskp18 \/ c3_1 a138
% 101.98/102.16 |- ~hskp17 \/ c2_1 a134
% 101.98/102.16 |- ~hskp17 \/ c0_1 a134
% 101.98/102.16 |- ~hskp16 \/ c0_1 a161
% 101.98/102.16 |- ~hskp16 \/ c2_1 a161
% 101.98/102.16 |- ~hskp14 \/ c1_1 a159
% 101.98/102.16 |- ~hskp14 \/ c2_1 a159
% 101.98/102.16 |- ~hskp13 \/ c1_1 a156
% 101.98/102.16 |- ~hskp11 \/ c1_1 a151
% 101.98/102.16 |- ~hskp10 \/ c0_1 a146
% 101.98/102.16 |- ~hskp8 \/ c3_1 a142
% 101.98/102.16 |- ~hskp8 \/ c1_1 a142
% 101.98/102.16 |- ~hskp7 \/ c2_1 a141
% 101.98/102.16 |- ~hskp7 \/ c3_1 a141
% 101.98/102.16 |- ~hskp6 \/ c1_1 a140
% 101.98/102.16 |- ~hskp6 \/ c0_1 a140
% 101.98/102.16 |- ~hskp5 \/ c2_1 a139
% 101.98/102.16 |- ~hskp5 \/ c0_1 a139
% 101.98/102.16 |- ~hskp4 \/ c1_1 a137
% 101.98/102.16 |- ~hskp4 \/ c3_1 a137
% 101.98/102.16 |- ~hskp3 \/ c2_1 a136
% 101.98/102.16 |- ~hskp2 \/ c1_1 a135
% 101.98/102.16 |- ~hskp1 \/ c2_1 a133
% 101.98/102.16 |- ~c0_1 a158 \/ ~hskp28
% 101.98/102.16 |- ~c1_1 a157 \/ ~hskp27
% 101.98/102.16 |- ~c0_1 a153 \/ ~hskp26
% 101.98/102.16 |- ~c3_1 a153 \/ ~hskp26
% 101.98/102.16 |- ~c0_1 a152 \/ ~hskp25
% 101.98/102.16 |- ~c2_1 a150 \/ ~hskp24
% 101.98/102.16 |- ~c3_1 a149 \/ ~hskp23
% 101.98/102.16 |- ~c3_1 a148 \/ ~hskp22
% 101.98/102.16 |- ~c0_1 a147 \/ ~hskp21
% 101.98/102.16 |- ~c0_1 a144 \/ ~hskp20
% 101.98/102.16 |- ~c2_1 a138 \/ ~hskp18
% 101.98/102.16 |- ~c3_1 a134 \/ ~hskp17
% 101.98/102.16 |- ~c1_1 a161 \/ ~hskp16
% 101.98/102.16 |- ~c1_1 a160 \/ ~hskp15
% 101.98/102.16 |- ~c2_1 a160 \/ ~hskp15
% 101.98/102.16 |- ~c3_1 a160 \/ ~hskp15
% 101.98/102.16 |- ~c3_1 a159 \/ ~hskp14
% 101.98/102.16 |- ~c3_1 a156 \/ ~hskp13
% 101.98/102.16 |- ~c0_1 a156 \/ ~hskp13
% 101.98/102.16 |- ~c2_1 a154 \/ ~hskp12
% 101.98/102.16 |- ~c3_1 a154 \/ ~hskp12
% 101.98/102.16 |- ~c1_1 a154 \/ ~hskp12
% 101.98/102.16 |- ~c3_1 a151 \/ ~hskp11
% 101.98/102.16 |- ~c0_1 a151 \/ ~hskp11
% 101.98/102.16 |- ~c2_1 a146 \/ ~hskp10
% 101.98/102.16 |- ~c1_1 a146 \/ ~hskp10
% 101.98/102.16 |- ~c2_1 a145 \/ ~hskp9
% 101.98/102.16 |- ~c0_1 a145 \/ ~hskp9
% 101.98/102.16 |- ~c3_1 a145 \/ ~hskp9
% 101.98/102.16 |- ~c0_1 a142 \/ ~hskp8
% 101.98/102.16 |- ~c1_1 a141 \/ ~hskp7
% 101.98/102.16 |- ~c3_1 a140 \/ ~hskp6
% 101.98/102.16 |- ~c1_1 a139 \/ ~hskp5
% 101.98/102.16 |- ~c2_1 a137 \/ ~hskp4
% 101.98/102.16 |- ~c0_1 a136 \/ ~hskp3
% 101.98/102.16 |- ~c3_1 a136 \/ ~hskp3
% 101.98/102.16 |- ~c2_1 a135 \/ ~hskp2
% 101.98/102.16 |- ~c0_1 a135 \/ ~hskp2
% 101.98/102.16 |- ~c1_1 a133 \/ ~hskp1
% 101.98/102.16 |- ~c0_1 a133 \/ ~hskp1
% 101.98/102.16 |- ~c1_1 a132 \/ ~hskp0
% 101.98/102.16 |- ~c0_1 a132 \/ ~hskp0
% 101.98/102.16 |- ~c3_1 a132 \/ ~hskp0
% 101.98/102.16 |- ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c2_1 $U \/ hskp0 \/ hskp1
% 101.98/102.16 |- ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c1_1 $U \/ hskp19 \/ hskp20
% 101.98/102.16 |- ~c1_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c3_1 $U \/ hskp14 \/ hskp28
% 101.98/102.16 |- ~c0_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ hskp17 \/ hskp2
% 101.98/102.16 |- ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c3_1 $U \/ hskp7 \/ hskp8
% 101.98/102.16 |- ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c3_1 $U \/ hskp10 \/ hskp9
% 101.98/102.16 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ hskp15 \/ hskp16
% 101.98/102.16 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ hskp3 \/ hskp4
% 101.98/102.16 |- ~c1_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c1_1 $V \/ c2_1 $U \/
% 101.98/102.16 c3_1 $V \/ hskp21
% 101.98/102.16 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c1_1 $U \/
% 101.98/102.16 c3_1 $V
% 101.98/102.16 |- ~c0_1 $V \/ ~c1_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c2_1 $U \/
% 101.98/102.16 c3_1 $V \/ hskp12
% 101.98/102.16 |- ~c0_1 $V \/ ~c1_1 $U \/ ~c1_1 $V \/ ~c1_1 $W \/ ~c2_1 $U \/ ~ndr1_0 \/
% 101.98/102.16 c0_1 $U \/ c0_1 $W \/ c2_1 $V \/ c2_1 $W
% 101.98/102.16 |- c0_1 a140 \/ hskp18 \/ hskp5
% 101.98/102.16 |- c1_1 a140 \/ hskp18 \/ hskp5
% 101.98/102.16 |- hskp18 \/ hskp5 \/ ndr1_0
% 101.98/102.16 |- c0_1 a150 \/ hskp22 \/ hskp23
% 101.98/102.16 |- c1_1 a150 \/ hskp22 \/ hskp23
% 101.98/102.16 |- hskp22 \/ hskp23 \/ ndr1_0
% 101.98/102.16 |- c1_1 a153 \/ hskp11 \/ hskp25
% 101.98/102.16 |- hskp11 \/ hskp25 \/ ndr1_0
% 101.98/102.16 |- c2_1 a136 \/ hskp13 \/ hskp27
% 101.98/102.16 |- hskp13 \/ hskp27 \/ ndr1_0
% 101.98/102.16 |- hskp11 \/ hskp14 \/ hskp25 \/ hskp28
% 101.98/102.16 |- c2_1 a158 \/ hskp11 \/ hskp14 \/ hskp25
% 101.98/102.16 |- c1_1 a158 \/ hskp11 \/ hskp14 \/ hskp25
% 101.98/102.16 |- c0_1 a136 \/ c1_1 a136 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27
% 101.98/102.16 |- hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp28
% 101.98/102.16 |- c2_1 a158 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/ hskp27
% 101.98/102.16 |- c1_1 a158 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/ hskp27
% 101.98/102.16 |- ~c1_1 a136 \/ ~ndr1_0 \/ c3_1 a136 \/ hskp13 \/ hskp27 \/ hskp7 \/ hskp8
% 101.98/102.16 |- c3_1 a158 \/ hskp11 \/ hskp14 \/ hskp25 \/ hskp7 \/ hskp8
% 101.98/102.16 |- ~c1_1 a136 \/ ~ndr1_0 \/ c3_1 a136 \/ hskp10 \/ hskp13 \/ hskp27 \/
% 101.98/102.16 hskp9
% 101.98/102.16 |- c3_1 a158 \/ hskp10 \/ hskp11 \/ hskp14 \/ hskp25 \/ hskp9
% 101.98/102.16 |- hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7 \/ hskp8
% 101.98/102.16 |- c1_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c3_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.16 hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- hskp10 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp9
% 101.98/102.16 |- hskp10 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp9
% 101.98/102.16 |- hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp7 \/ hskp8
% 101.98/102.16 |- c1_1 a142 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp7
% 101.98/102.16 |- c3_1 a142 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp7
% 101.98/102.16 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp11 \/ hskp14 \/ hskp15 \/
% 101.98/102.16 hskp16 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.16 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp11 \/ hskp14 \/ hskp15 \/
% 101.98/102.16 hskp16 \/ hskp25 \/ hskp7
% 101.98/102.16 |- ~c0_1 a158 \/ ~ndr1_0 \/ hskp10 \/ hskp11 \/ hskp14 \/ hskp25 \/
% 101.98/102.16 hskp3 \/ hskp4 \/ hskp9
% 101.98/102.16 |- ~c0_1 a158 \/ ~ndr1_0 \/ hskp11 \/ hskp14 \/ hskp25 \/ hskp3 \/ hskp4 \/
% 101.98/102.16 hskp7 \/ hskp8
% 101.98/102.16 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c1_1 $_10 \/ ~ndr1_0 \/ c0_1 $_10 \/ c1_1 a136 \/ c2_1 $_10 \/
% 101.98/102.16 c3_1 a136 \/ hskp13 \/ hskp21 \/ hskp27
% 101.98/102.16 |- c0_1 a153 \/ c1_1 a136 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.16 hskp25 \/ hskp27
% 101.98/102.16 |- c0_1 a142 \/ c1_1 a136 \/ c2_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 hskp21 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c0_1 a142 \/ c1_1 a136 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.16 |- hskp10 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp9
% 101.98/102.16 |- hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7 \/ hskp8
% 101.98/102.16 |- c1_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c3_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.16 hskp16 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.16 hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 $_14 \/ ~c1_1 a142 \/ ~c2_1 $_14 \/ ~ndr1_0 \/ c2_1 a142 \/
% 101.98/102.16 c3_1 $_14 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/
% 101.98/102.16 hskp7
% 101.98/102.16 |- ~c0_1 $_14 \/ ~c1_1 a142 \/ ~c2_1 $_14 \/ ~ndr1_0 \/ c2_1 a142 \/
% 101.98/102.16 c3_1 $_14 \/ hskp12 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c0_1 a142 \/ c1_1 a136 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.16 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c0_1 a142 \/ c1_1 a136 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.16 hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.16 hskp2
% 101.98/102.16 |- c1_1 a135 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.16 hskp19
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.16 ndr1_0
% 101.98/102.16 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp12 \/ hskp13 \/
% 101.98/102.16 hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp12 \/ hskp13 \/
% 101.98/102.16 hskp14 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.16 |- c2_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15
% 101.98/102.16 |- c0_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ ndr1_0
% 101.98/102.16 |- ~c1_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c1_1 a161 \/ c2_1 $U \/ c3_1 a161 \/
% 101.98/102.16 hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21
% 101.98/102.16 |- ~c1_1 a161 \/ ~ndr1_0 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp10 \/
% 101.98/102.16 hskp11 \/ hskp14 \/ hskp15 \/ hskp9
% 101.98/102.16 |- ~c1_1 a161 \/ ~ndr1_0 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.16 hskp14 \/ hskp15 \/ hskp7 \/ hskp8
% 101.98/102.16 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp11 \/ hskp12 \/
% 101.98/102.16 hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp11 \/ hskp12 \/
% 101.98/102.16 hskp13 \/ hskp14 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- c2_1 a142 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.16 hskp13 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 hskp27
% 101.98/102.16 |- c2_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20
% 101.98/102.16 |- c3_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 ndr1_0
% 101.98/102.16 |- c0_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 hskp3 \/ hskp4
% 101.98/102.16 |- c3_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp3
% 101.98/102.16 |- c1_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp3
% 101.98/102.16 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.16 hskp0 \/ hskp1 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp3
% 101.98/102.16 |- c0_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/
% 101.98/102.16 hskp20 \/ hskp3
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.16 hskp2
% 101.98/102.16 |- c1_1 a135 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.16 hskp17
% 101.98/102.16 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.16 ndr1_0
% 101.98/102.16 |- c2_1 a142 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.16 hskp13 \/ hskp14 \/ hskp15 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/
% 101.98/102.16 c0_1 $_23 \/ c0_1 a136 \/ c2_1 $_22 \/ c2_1 $_23 \/ hskp13 \/ hskp27
% 101.98/102.16 |- c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.16 hskp13 \/ hskp14 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/
% 101.98/102.16 hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 a140 \/ ~c1_1 $_25 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a140 \/ hskp13 \/ hskp18 \/ hskp27 \/
% 101.98/102.16 hskp5
% 101.98/102.16 |- ~c0_1 a142 \/ ~c1_1 $_25 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.16 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 a142 \/ ~c1_1 $_25 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.16 hskp15 \/ hskp16 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 a150 \/ ~c1_1 $_25 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a150 \/ hskp13 \/ hskp22 \/ hskp23 \/
% 101.98/102.16 hskp27
% 101.98/102.16 |- ~c0_1 a153 \/ ~c1_1 $_25 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp25 \/
% 101.98/102.16 hskp27
% 101.98/102.16 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.16 c0_1 a142 \/ c2_1 $_24 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.16 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.16 c0_1 a142 \/ c2_1 $_24 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.16 hskp15 \/ hskp16 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.16 c0_1 a153 \/ c2_1 $_24 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp25 \/
% 101.98/102.16 hskp27
% 101.98/102.16 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c0_1 a142 \/ c2_1 $_24 \/ c2_1 $_25 \/ hskp11 \/ hskp13 \/
% 101.98/102.16 hskp15 \/ hskp16 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.16 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/
% 101.98/102.16 c0_1 a136 \/ c2_1 $_24 \/ c2_1 $_25 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 hskp27
% 101.98/102.16 |- ~c0_1 a140 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.16 c2_1 a140 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp21 \/
% 101.98/102.16 hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.16 |- ~c0_1 a140 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.16 c2_1 a140 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/
% 101.98/102.16 hskp27 \/ hskp5
% 101.98/102.16 |- ~c0_1 a140 \/ ~c1_1 $_26 \/ ~ndr1_0 \/ c0_1 $_26 \/ c0_1 a136 \/
% 101.98/102.16 c2_1 $_26 \/ c2_1 a140 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/
% 101.98/102.16 hskp27 \/ hskp5
% 101.98/102.16 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a140 \/ c2_1 a142 \/ hskp13 \/ hskp18 \/
% 101.98/102.16 hskp19 \/ hskp20 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.16 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a140 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.16 hskp18 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a153 \/ c2_1 a140 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/
% 101.98/102.17 hskp18 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/ hskp5
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a140 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/
% 101.98/102.17 hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 $_27 \/ ~ndr1_0 \/ c0_1 $_27 \/ c0_1 a136 \/
% 101.98/102.17 c0_1 a142 \/ c2_1 $_27 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 $_27 \/ ~ndr1_0 \/ c0_1 $_27 \/ c0_1 a136 \/
% 101.98/102.17 c2_1 $_27 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.17 hskp25 \/ hskp27
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp25 \/
% 101.98/102.17 hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/
% 101.98/102.17 hskp7
% 101.98/102.17 |- ~c0_1 a150 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a150 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a150 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a150 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp22 \/ hskp23 \/
% 101.98/102.17 hskp25 \/ hskp27
% 101.98/102.17 |- ~c0_1 a150 \/ ~c1_1 $_28 \/ ~ndr1_0 \/ c0_1 $_28 \/ c0_1 a136 \/
% 101.98/102.17 c2_1 $_28 \/ c2_1 a150 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp27
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.17 hskp22 \/ hskp23 \/ hskp27 \/ hskp7
% 101.98/102.17 |- hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/
% 101.98/102.17 hskp22 \/ hskp23
% 101.98/102.17 |- c0_1 a149 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ hskp22
% 101.98/102.17 |- c1_1 a149 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ hskp22
% 101.98/102.17 |- hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/
% 101.98/102.17 hskp22 \/ ndr1_0
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a153 \/ c2_1 a150 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/
% 101.98/102.17 hskp19 \/ hskp20 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp27
% 101.98/102.17 |- hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/
% 101.98/102.17 hskp22 \/ hskp23
% 101.98/102.17 |- c0_1 a149 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.17 hskp21 \/ hskp22
% 101.98/102.17 |- c1_1 a149 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.17 hskp21 \/ hskp22
% 101.98/102.17 |- hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/
% 101.98/102.17 hskp22 \/ ndr1_0
% 101.98/102.17 |- ~c0_1 a149 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.17 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp27
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp21 \/ hskp25 \/
% 101.98/102.17 hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a149 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a149 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27
% 101.98/102.17 |- ~c0_1 $_29 \/ ~c1_1 $_29 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c0_1 a153 \/ c2_1 $_29 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_29 \/ ~c1_1 $_29 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 $_29 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.17 hskp25 \/ hskp27
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/
% 101.98/102.17 hskp7
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.17 hskp19
% 101.98/102.17 |- c1_1 a143 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17
% 101.98/102.17 |- c0_1 a143 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17
% 101.98/102.17 |- c2_1 a143 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.17 ndr1_0
% 101.98/102.17 |- c3_1 a143 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp9
% 101.98/102.17 |- c3_1 a143 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp7 \/ hskp8
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.17 hskp3 \/ hskp4
% 101.98/102.17 |- c3_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp3
% 101.98/102.17 |- c1_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp3
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.17 hskp0 \/ hskp1 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp3
% 101.98/102.17 |- c0_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp17 \/ hskp3
% 101.98/102.17 |- c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/
% 101.98/102.17 hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25
% 101.98/102.17 |- c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.17 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25
% 101.98/102.17 |- c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.17 hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/
% 101.98/102.17 hskp21 \/ hskp25 \/ hskp7 \/ hskp8
% 101.98/102.17 |- c1_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/
% 101.98/102.17 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- c3_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/
% 101.98/102.17 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.17 hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp17 \/
% 101.98/102.17 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/
% 101.98/102.17 hskp2 \/ hskp21 \/ hskp25 \/ hskp9
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp3 \/ hskp4 \/ hskp9
% 101.98/102.17 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/
% 101.98/102.17 hskp3 \/ hskp4 \/ hskp7 \/ hskp8
% 101.98/102.17 |- c1_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- c3_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.17 hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- ~c1_1 $_33 \/ ~c2_1 $_33 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_33 \/
% 101.98/102.17 hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_35 \/ ~ndr1_0 \/ c0_1 $_35 \/ c0_1 a136 \/
% 101.98/102.17 c2_1 $_35 \/ c2_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_37 \/ ~c1_1 $_37 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 $_37 \/ c2_1 a142 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/ c2_1 a149 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp22 \/ hskp27 \/
% 101.98/102.17 hskp7
% 101.98/102.17 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ hskp22
% 101.98/102.17 |- c2_1 a148 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.17 hskp2 \/ hskp20
% 101.98/102.17 |- c1_1 a148 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.17 hskp2 \/ hskp20
% 101.98/102.17 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ ndr1_0
% 101.98/102.17 |- hskp10 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.17 hskp2 \/ hskp20 \/ hskp9
% 101.98/102.17 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ hskp7 \/ hskp8
% 101.98/102.17 |- c1_1 a142 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.17 hskp2 \/ hskp20 \/ hskp7
% 101.98/102.17 |- c3_1 a142 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.17 hskp2 \/ hskp20 \/ hskp7
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.17 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/
% 101.98/102.17 hskp20 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a153 \/ c2_1 a149 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/
% 101.98/102.17 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp22 \/
% 101.98/102.17 hskp25 \/ hskp27
% 101.98/102.17 |- ~c0_1 $_39 \/ ~c1_1 $_39 \/ ~c1_1 $_40 \/ ~ndr1_0 \/ c0_1 $_40 \/
% 101.98/102.17 c0_1 a158 \/ c2_1 $_39 \/ c2_1 $_40 \/ hskp11 \/ hskp14 \/ hskp25
% 101.98/102.17 |- ~c0_1 a140 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a140 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a150 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a150 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 $_42 \/ ~ndr1_0 \/ c0_1 $_42 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_42 \/ c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp25
% 101.98/102.17 |- ~c0_1 $_41 \/ ~c1_1 $_41 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_41 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_41 \/ ~c1_1 $_41 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_41 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_41 \/ ~c1_1 $_41 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_41 \/ c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp25
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp21 \/ hskp25 \/ hskp27 \/
% 101.98/102.17 hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/ hskp25 \/
% 101.98/102.17 hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/
% 101.98/102.17 hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/
% 101.98/102.17 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp21 \/ hskp25 \/ hskp27 \/
% 101.98/102.17 hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/ hskp25 \/
% 101.98/102.17 hskp27 \/ hskp7
% 101.98/102.17 |- c0_1 a153 \/ c0_1 a158 \/ c2_1 a140 \/ c2_1 a153 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp18 \/ hskp25 \/ hskp5
% 101.98/102.17 |- c0_1 a153 \/ c0_1 a158 \/ c2_1 a150 \/ c2_1 a153 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp22 \/ hskp23 \/ hskp25
% 101.98/102.17 |- hskp10 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp9
% 101.98/102.17 |- hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7 \/ hskp8
% 101.98/102.17 |- c1_1 a142 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- c3_1 a142 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_39 \/ ~c1_1 $_39 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_39 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/
% 101.98/102.17 hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_40 \/ ~ndr1_0 \/ c0_1 $_40 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_40 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/
% 101.98/102.17 hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp18 \/
% 101.98/102.17 hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp18 \/
% 101.98/102.17 hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a140 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a140 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp18 \/
% 101.98/102.17 hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.17 c0_1 a142 \/ c2_1 $_22 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.17 hskp18 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.17 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.17 hskp18 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.17 hskp11 \/ hskp12 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp11 \/ hskp14 \/ hskp18 \/
% 101.98/102.17 hskp25 \/ hskp3 \/ hskp4 \/ hskp5 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- hskp10 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp9
% 101.98/102.17 |- hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7 \/ hskp8
% 101.98/102.17 |- c1_1 a142 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- c3_1 a142 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a142 \/
% 101.98/102.17 c2_1 a153 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_40 \/ ~ndr1_0 \/ c0_1 $_40 \/ c0_1 a158 \/
% 101.98/102.17 c2_1 $_40 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/
% 101.98/102.17 hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a150 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a150 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a153 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.17 c0_1 a142 \/ c2_1 $_22 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.17 hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.17 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.17 hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.17 hskp11 \/ hskp12 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp11 \/ hskp14 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a140 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/
% 101.98/102.17 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a140 \/ hskp11 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.17 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/ hskp11 \/ hskp14 \/ hskp22 \/
% 101.98/102.17 hskp23 \/ hskp25 \/ hskp7
% 101.98/102.17 |- c0_1 a136 \/ c0_1 a142 \/ c0_1 a153 \/ c2_1 a149 \/ c2_1 a153 \/
% 101.98/102.17 hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/
% 101.98/102.17 hskp22 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.17 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.17 hskp2
% 101.98/102.17 |- c1_1 a135 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.17 hskp19
% 101.98/102.17 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.17 ndr1_0
% 101.98/102.17 |- c0_1 a135 \/ c3_1 a135 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp28
% 101.98/102.17 |- ~c0_1 $V \/ ~c1_1 a135 \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 a135 \/
% 101.98/102.17 c2_1 a135 \/ c3_1 $V \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.17 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp28
% 101.98/102.17 |- ~c2_1 a135 \/ ~ndr1_0 \/ c0_1 a135 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.17 hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp28
% 101.98/102.17 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.17 hskp2
% 101.98/102.17 |- c1_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.17 hskp18
% 101.98/102.17 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.17 ndr1_0
% 101.98/102.17 |- ~c0_1 $_53 \/ ~c1_1 $_53 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.17 c2_1 $_53 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.17 hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp25 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.18 hskp21 \/ hskp22
% 101.98/102.18 |- c2_1 a148 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp2 \/ hskp21
% 101.98/102.18 |- c1_1 a148 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp2 \/ hskp21
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.18 hskp21 \/ ndr1_0
% 101.98/102.18 |- hskp10 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp2 \/ hskp21 \/ hskp9
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.18 hskp21 \/ hskp7 \/ hskp8
% 101.98/102.18 |- c1_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp2 \/ hskp21 \/ hskp7
% 101.98/102.18 |- c3_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp2 \/ hskp21 \/ hskp7
% 101.98/102.18 |- ~c0_1 a142 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.18 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.18 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/
% 101.98/102.18 hskp21 \/ hskp7
% 101.98/102.18 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.18 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c1_1 a136 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 $_23 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.18 c0_1 a136 \/ c0_1 a142 \/ c2_1 $_22 \/ c2_1 $_23 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- ~c0_1 $_60 \/ ~c1_1 $_60 \/ ~c1_1 $_61 \/ ~ndr1_0 \/ c0_1 $_61 \/
% 101.98/102.18 c0_1 a158 \/ c2_1 $_60 \/ c2_1 $_61 \/ hskp13 \/ hskp14 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp27
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_63 \/ ~ndr1_0 \/ c0_1 $_63 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_63 \/ c2_1 a140 \/ hskp13 \/ hskp14 \/ hskp18 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp27 \/ hskp5
% 101.98/102.18 |- ~c0_1 a142 \/ ~c1_1 $_63 \/ ~ndr1_0 \/ c0_1 $_63 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_63 \/ c2_1 a142 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_63 \/ ~ndr1_0 \/ c0_1 $_63 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_63 \/ c2_1 a149 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp22 \/ hskp27
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_63 \/ ~ndr1_0 \/ c0_1 $_63 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_63 \/ c2_1 a150 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/
% 101.98/102.18 hskp22 \/ hskp23 \/ hskp27
% 101.98/102.18 |- ~c0_1 $_62 \/ ~c1_1 $_62 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_62 \/ c2_1 a142 \/ hskp13 \/ hskp14 \/ hskp19 \/ hskp20 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a140 \/ c2_1 a142 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp18 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a140 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/ hskp13 \/ hskp14 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp22 \/ hskp23 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/ c2_1 a149 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_69 \/ ~ndr1_0 \/ c0_1 $_69 \/ c0_1 a136 \/
% 101.98/102.18 c2_1 $_69 \/ c2_1 a149 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.18 hskp19 \/ hskp2 \/ hskp20 \/ hskp22 \/ hskp27
% 101.98/102.18 |- hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp22 \/ hskp23
% 101.98/102.18 |- c0_1 a149 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp22
% 101.98/102.18 |- c1_1 a149 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp22
% 101.98/102.18 |- hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp22 \/ ndr1_0
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/ c0_1 a136 \/
% 101.98/102.18 c2_1 $_25 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp27
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_61 \/ ~ndr1_0 \/ c0_1 $_61 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_61 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp27
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_40 \/ ~ndr1_0 \/ c0_1 $_40 \/ c0_1 a158 \/
% 101.98/102.18 c2_1 $_40 \/ c2_1 a149 \/ hskp11 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp22 \/ hskp25
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.18 c2_1 a149 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp22 \/ hskp25 \/ hskp27
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.18 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp22 \/ hskp27
% 101.98/102.18 |- c0_1 a153 \/ c0_1 a158 \/ c2_1 a149 \/ c2_1 a153 \/ hskp11 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp22 \/ hskp25
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp22 \/ hskp25 \/ hskp7
% 101.98/102.18 |- ~c1_1 $_71 \/ ~c2_1 $_71 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/
% 101.98/102.18 c3_1 $_71 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c1_1 a136 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/ c3_1 a136 \/ hskp0 \/
% 101.98/102.18 hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c1_1 a161 \/ c2_1 a142 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.18 hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- c0_1 a153 \/ c1_1 a136 \/ c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp22 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.18 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp13 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c2_1 a142 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp18 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp5 \/ hskp7
% 101.98/102.18 |- ~c0_1 a142 \/ ~ndr1_0 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp18 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp2 \/ hskp25 \/ hskp5 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.18 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp13 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c2_1 a142 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.18 |- c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp22 \/ hskp23 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.18 |- ~c0_1 a142 \/ ~ndr1_0 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.18 |- c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp22 \/ hskp23 \/ hskp25 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a158 \/ c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a153 \/ c2_1 a149 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp25 \/
% 101.98/102.18 hskp27
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a142 \/ c2_1 a142 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- ~c0_1 $_89 \/ ~c1_1 $_89 \/ ~c1_1 $_90 \/ ~ndr1_0 \/ c0_1 $_90 \/
% 101.98/102.18 c0_1 a153 \/ c1_1 a136 \/ c2_1 $_89 \/ c2_1 $_90 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_92 \/ ~ndr1_0 \/ c0_1 $_92 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_92 \/ c2_1 a140 \/ hskp11 \/ hskp13 \/ hskp18 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27 \/ hskp5
% 101.98/102.18 |- ~c0_1 a142 \/ ~c1_1 $_92 \/ ~ndr1_0 \/ c0_1 $_92 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_92 \/ c2_1 a142 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_92 \/ ~ndr1_0 \/ c0_1 $_92 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_92 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27
% 101.98/102.18 |- ~c0_1 a149 \/ ~c1_1 $_92 \/ ~ndr1_0 \/ c0_1 $_92 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_92 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_92 \/ ~ndr1_0 \/ c0_1 $_92 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_92 \/ c2_1 a150 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.18 hskp22 \/ hskp23 \/ hskp25 \/ hskp27
% 101.98/102.18 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp27
% 101.98/102.18 |- c2_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25
% 101.98/102.18 |- c3_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25
% 101.98/102.18 |- c0_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25
% 101.98/102.18 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp3 \/ hskp4
% 101.98/102.18 |- c3_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.18 |- c1_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.18 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.18 hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.18 |- c0_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.18 |- ~c0_1 $_101 \/ ~c1_1 $_101 \/ ~c1_1 $_102 \/ ~ndr1_0 \/ c0_1 $_102 \/
% 101.98/102.18 c0_1 a142 \/ c2_1 $_101 \/ c2_1 $_102 \/ hskp0 \/ hskp1 \/ hskp13 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a153 \/ ~c1_1 $_103 \/ ~ndr1_0 \/ c0_1 $_103 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_103 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_105 \/ ~ndr1_0 \/ c0_1 $_105 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_105 \/ c2_1 a150 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp22 \/ hskp23 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a150 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp23 \/ hskp25 \/
% 101.98/102.18 hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_107 \/ ~c1_1 $_107 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.18 c2_1 $_107 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a140 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27 \/
% 101.98/102.18 hskp5 \/ hskp7
% 101.98/102.18 |- ~c1_1 $_109 \/ ~c2_1 $_109 \/ ~ndr1_0 \/ c0_1 a153 \/ c1_1 a161 \/
% 101.98/102.18 c2_1 a153 \/ c3_1 $_109 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp21 \/ hskp25
% 101.98/102.18 |- ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/
% 101.98/102.18 c3_1 a136 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27
% 101.98/102.18 |- c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a153 \/ c1_1 a161 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp19 \/ hskp20 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp27
% 101.98/102.18 |- hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp23 \/
% 101.98/102.18 hskp27
% 101.98/102.18 |- c2_1 a157 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23
% 101.98/102.18 |- c3_1 a157 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23
% 101.98/102.18 |- c0_1 a157 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23
% 101.98/102.18 |- hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp23 \/
% 101.98/102.18 hskp3 \/ hskp4
% 101.98/102.18 |- c3_1 a137 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp3
% 101.98/102.18 |- c1_1 a137 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp3
% 101.98/102.18 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.18 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp3
% 101.98/102.18 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp22 \/ hskp23 \/ hskp3
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_114 \/ ~ndr1_0 \/ c0_1 $_114 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_114 \/ c2_1 a140 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp18 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_121 \/ ~c1_1 $_121 \/ ~c1_1 $_122 \/ ~ndr1_0 \/ c0_1 $_122 \/
% 101.98/102.18 c0_1 a142 \/ c1_1 a136 \/ c2_1 $_121 \/ c2_1 $_122 \/ hskp13 \/
% 101.98/102.18 hskp19 \/ hskp20 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_125 \/ ~ndr1_0 \/ c0_1 $_125 \/ c0_1 a142 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_125 \/ c2_1 a150 \/ hskp13 \/ hskp19 \/ hskp20 \/
% 101.98/102.18 hskp21 \/ hskp22 \/ hskp23 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_128 \/ ~ndr1_0 \/ c0_1 $_128 \/ c0_1 a142 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_128 \/ c2_1 a140 \/ hskp13 \/ hskp18 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp21 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_130 \/ ~c1_1 $_130 \/ ~c1_1 $_131 \/ ~ndr1_0 \/ c0_1 $_131 \/
% 101.98/102.18 c0_1 a142 \/ c1_1 a136 \/ c2_1 $_130 \/ c2_1 $_131 \/ hskp11 \/
% 101.98/102.18 hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a153 \/ ~c1_1 $_132 \/ ~ndr1_0 \/ c0_1 $_132 \/ c0_1 a142 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_132 \/ c2_1 a153 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.18 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_134 \/ ~ndr1_0 \/ c0_1 $_134 \/ c0_1 a142 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_134 \/ c2_1 a150 \/ hskp11 \/ hskp13 \/ hskp21 \/
% 101.98/102.18 hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_137 \/ ~ndr1_0 \/ c0_1 $_137 \/ c0_1 a142 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_137 \/ c2_1 a140 \/ hskp11 \/ hskp13 \/ hskp18 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- c0_1 a136 \/ c0_1 a142 \/ c0_1 a153 \/ c2_1 a149 \/ c2_1 a153 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_140 \/ ~c1_1 $_140 \/ ~c1_1 $_141 \/ ~ndr1_0 \/ c0_1 $_141 \/
% 101.98/102.18 c0_1 a142 \/ c2_1 $_140 \/ c2_1 $_141 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.18 hskp13 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 a153 \/ ~c1_1 $_142 \/ ~ndr1_0 \/ c0_1 $_142 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_142 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c0_1 $_144 \/ ~c1_1 $_144 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.18 c2_1 $_144 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a150 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp21 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a140 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.18 hskp11 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp5 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- ~c0_1 a150 \/ ~c1_1 $_146 \/ ~ndr1_0 \/ c0_1 $_146 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_146 \/ c2_1 a150 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp21 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.18 |- hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp23 \/
% 101.98/102.18 hskp25 \/ hskp27
% 101.98/102.18 |- c2_1 a157 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25
% 101.98/102.18 |- c3_1 a157 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25
% 101.98/102.18 |- c0_1 a157 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25
% 101.98/102.18 |- hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp23 \/
% 101.98/102.18 hskp25 \/ hskp3 \/ hskp4
% 101.98/102.18 |- c3_1 a137 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25 \/ hskp3
% 101.98/102.18 |- c1_1 a137 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25 \/ hskp3
% 101.98/102.18 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.18 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/
% 101.98/102.18 hskp23 \/ hskp25 \/ hskp3
% 101.98/102.18 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.18 hskp16 \/ hskp21 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp3
% 101.98/102.18 |- ~c0_1 a140 \/ ~c1_1 $_151 \/ ~ndr1_0 \/ c0_1 $_151 \/ c0_1 a142 \/
% 101.98/102.18 c2_1 $_151 \/ c2_1 a140 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/
% 101.98/102.18 hskp18 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.18 |- ~c1_1 $_159 \/ ~c2_1 $_159 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_159 \/
% 101.98/102.18 hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/
% 101.98/102.18 hskp25
% 101.98/102.18 |- ~c1_1 $_162 \/ ~c2_1 $_162 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_162 \/
% 101.98/102.18 hskp13 \/ hskp15 \/ hskp16 \/ hskp19 \/ hskp20 \/ hskp22 \/ hskp23
% 101.98/102.18 |- ~c1_1 $_165 \/ ~c2_1 $_165 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/
% 101.98/102.18 c3_1 $_165 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.18 |- ~c1_1 a136 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/ c3_1 a136 \/ hskp0 \/
% 101.98/102.18 hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp19 \/
% 101.98/102.18 hskp20 \/ hskp27 \/ hskp7
% 101.98/102.18 |- c1_1 a161 \/ c2_1 a142 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.18 hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp19 \/ hskp20 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- c0_1 a136 \/ c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.18 hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp19 \/ hskp20 \/ hskp27 \/
% 101.98/102.18 hskp7
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp18
% 101.98/102.18 |- c3_1 a138 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.18 |- c0_1 a138 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ ndr1_0
% 101.98/102.18 |- ~c0_1 $V \/ ~c1_1 a138 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a138 \/ c3_1 $V \/
% 101.98/102.18 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.18 |- ~c1_1 $V \/ ~c2_1 $V \/ ~c2_1 a138 \/ ~ndr1_0 \/ c1_1 a138 \/ c3_1 $V \/
% 101.98/102.18 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.18 |- ~c0_1 a138 \/ ~c2_1 a138 \/ ~ndr1_0 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.18 hskp15 \/ hskp16 \/ hskp3 \/ hskp4
% 101.98/102.18 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2
% 101.98/102.18 |- c1_1 a135 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17
% 101.98/102.18 |- ~c0_1 a135 \/ ~c1_1 $_90 \/ ~ndr1_0 \/ c0_1 $_90 \/ c0_1 a153 \/
% 101.98/102.18 c1_1 a136 \/ c2_1 $_90 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.18 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/
% 101.98/102.19 c2_1 $_24 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp20 \/ hskp27
% 101.98/102.19 |- ~c0_1 a135 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/ c0_1 a136 \/
% 101.98/102.19 c2_1 $_25 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp20 \/ hskp27
% 101.98/102.19 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a153 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp20 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a153 \/ c0_1 a158 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp25
% 101.98/102.19 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a158 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp25
% 101.98/102.19 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/ c2_1 a135 \/
% 101.98/102.19 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp20 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c1_1 a153 \/ ~c2_1 a138 \/ ~ndr1_0 \/ c0_1 a153 \/ c1_1 a136 \/
% 101.98/102.19 c1_1 a138 \/ c3_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp21 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 a136 \/ ~c1_1 a138 \/ ~ndr1_0 \/ c2_1 a138 \/ c3_1 a136 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp27
% 101.98/102.19 |- c0_1 a135 \/ c1_1 a136 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp27
% 101.98/102.19 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 a142 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_24 \/ ~c1_1 $_24 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/
% 101.98/102.19 c0_1 a153 \/ c2_1 $_24 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/ c0_1 a135 \/
% 101.98/102.19 c0_1 a136 \/ c2_1 $_25 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp25 \/ hskp27
% 101.98/102.19 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 $_23 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.19 c0_1 a135 \/ c0_1 a136 \/ c2_1 $_22 \/ c2_1 $_23 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp27
% 101.98/102.19 |- ~c1_1 $_177 \/ ~c2_1 $_177 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_177 \/
% 101.98/102.19 hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp23 \/
% 101.98/102.19 hskp25
% 101.98/102.19 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/
% 101.98/102.19 hskp25 \/ hskp7
% 101.98/102.19 |- c2_1 a142 \/ c3_1 a161 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.19 hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 a142 \/ ~ndr1_0 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 a149 \/ ~c1_1 $_183 \/ ~ndr1_0 \/ c0_1 $_183 \/ c0_1 a136 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_183 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 a149 \/ ~c1_1 $_183 \/ ~ndr1_0 \/ c0_1 $_183 \/ c0_1 a136 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_183 \/ c2_1 a149 \/ hskp11 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp25 \/ hskp27 \/
% 101.98/102.19 hskp7
% 101.98/102.19 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 a135 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.19 |- c2_1 a137 \/ c3_1 a143 \/ hskp0 \/ hskp1 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp3
% 101.98/102.19 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp22
% 101.98/102.19 |- c2_1 a148 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- c1_1 a148 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- ~c0_1 a148 \/ ~c1_1 a138 \/ ~ndr1_0 \/ c2_1 a138 \/ c3_1 a148 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- ~c1_1 a148 \/ ~c2_1 a138 \/ ~ndr1_0 \/ c1_1 a138 \/ c3_1 a148 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- hskp10 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp9
% 101.98/102.19 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp7 \/ hskp8
% 101.98/102.19 |- c1_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- c3_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 a136 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_22 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 a142 \/ ~c1_1 $_23 \/ ~c1_1 a136 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.19 c0_1 a136 \/ c2_1 $_23 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 $V \/ ~c1_1 a142 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 $V \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- ~c0_1 a142 \/ ~c2_1 a142 \/ ~ndr1_0 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c2_1 a142 \/ ~ndr1_0 \/ c0_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- c0_1 a142 \/ c1_1 a136 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_22 \/ ~c1_1 $_22 \/ ~c1_1 $_23 \/ ~ndr1_0 \/ c0_1 $_23 \/
% 101.98/102.19 c0_1 a136 \/ c0_1 a142 \/ c2_1 $_22 \/ c2_1 $_23 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 a148 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a148 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.19 |- hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.19 hskp2 \/ hskp20 \/ hskp28
% 101.98/102.19 |- c2_1 a158 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp2 \/ hskp20
% 101.98/102.19 |- c1_1 a158 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp2 \/ hskp20
% 101.98/102.19 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/
% 101.98/102.19 hskp7
% 101.98/102.19 |- ~c0_1 a148 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a148 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp7
% 101.98/102.19 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp27 \/
% 101.98/102.19 hskp7
% 101.98/102.19 |- ~c1_1 $_206 \/ ~c2_1 $_206 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/
% 101.98/102.19 c3_1 $_206 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.19 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c1_1 a136 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/ c3_1 a136 \/ hskp0 \/
% 101.98/102.19 hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp18 \/
% 101.98/102.19 hskp25 \/ hskp27 \/ hskp5 \/ hskp7
% 101.98/102.19 |- c1_1 a161 \/ c2_1 a142 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp12 \/ hskp14 \/ hskp15 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- c0_1 a153 \/ c0_1 a158 \/ c1_1 a161 \/ c2_1 a140 \/ c2_1 a142 \/
% 101.98/102.19 hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp18 \/
% 101.98/102.19 hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c1_1 $_208 \/ ~c2_1 $_208 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/
% 101.98/102.19 c3_1 $_208 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.19 hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c1_1 a136 \/ ~ndr1_0 \/ c1_1 a161 \/ c2_1 a142 \/ c3_1 a136 \/ hskp0 \/
% 101.98/102.19 hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp22 \/
% 101.98/102.19 hskp23 \/ hskp25 \/ hskp27 \/ hskp7
% 101.98/102.19 |- c1_1 a161 \/ c2_1 a142 \/ c3_1 a158 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp12 \/ hskp14 \/ hskp15 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- c0_1 a153 \/ c0_1 a158 \/ c1_1 a161 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp22 \/ hskp23 \/ hskp25 \/
% 101.98/102.19 hskp7
% 101.98/102.19 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp21 \/
% 101.98/102.19 hskp25 \/ hskp27
% 101.98/102.19 |- c2_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/
% 101.98/102.19 hskp21 \/ hskp25
% 101.98/102.19 |- c3_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/
% 101.98/102.19 hskp21 \/ hskp25
% 101.98/102.19 |- c0_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/
% 101.98/102.19 hskp21 \/ hskp25
% 101.98/102.19 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp21 \/
% 101.98/102.19 hskp25 \/ hskp3 \/ hskp4
% 101.98/102.19 |- c3_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/
% 101.98/102.19 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.19 |- c1_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/
% 101.98/102.19 hskp21 \/ hskp25 \/ hskp3
% 101.98/102.19 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp21 \/
% 101.98/102.19 hskp25 \/ hskp3
% 101.98/102.19 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3
% 101.98/102.19 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.19 hskp21 \/ hskp27
% 101.98/102.19 |- c2_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21
% 101.98/102.19 |- c3_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21
% 101.98/102.19 |- c0_1 a157 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21
% 101.98/102.19 |- hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.19 hskp21 \/ hskp3 \/ hskp4
% 101.98/102.19 |- c3_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.19 |- c1_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.19 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.19 hskp0 \/ hskp1 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.19 |- c0_1 a137 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.19 |- ~c1_1 $_217 \/ ~c2_1 $_217 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_217 \/
% 101.98/102.19 hskp0 \/ hskp1 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/
% 101.98/102.19 hskp21
% 101.98/102.19 |- ~c0_1 a148 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a148 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- ~c0_1 a136 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a136 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp27 \/ hskp7
% 101.98/102.19 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/
% 101.98/102.19 hskp27
% 101.98/102.19 |- c2_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/
% 101.98/102.19 hskp20
% 101.98/102.19 |- c3_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/
% 101.98/102.19 hskp20
% 101.98/102.19 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/
% 101.98/102.19 ndr1_0
% 101.98/102.19 |- c0_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/
% 101.98/102.19 hskp20
% 101.98/102.19 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/
% 101.98/102.19 hskp3 \/ hskp4
% 101.98/102.19 |- c3_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/
% 101.98/102.19 hskp20 \/ hskp3
% 101.98/102.19 |- c1_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/
% 101.98/102.19 hskp20 \/ hskp3
% 101.98/102.19 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.19 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/
% 101.98/102.19 hskp3
% 101.98/102.19 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp3
% 101.98/102.19 |- ~c1_1 $_228 \/ ~c2_1 $_228 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_228 \/
% 101.98/102.19 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp19 \/ hskp20
% 101.98/102.19 |- ~c1_1 $_232 \/ ~c2_1 $_232 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_232 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp18 \/ hskp21 \/
% 101.98/102.19 hskp25
% 101.98/102.19 |- hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp28
% 101.98/102.19 |- c2_1 a158 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- c1_1 a158 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- ~c0_1 a158 \/ ~c1_1 a138 \/ ~ndr1_0 \/ c2_1 a138 \/ c3_1 a158 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- ~c1_1 a158 \/ ~c2_1 a138 \/ ~ndr1_0 \/ c1_1 a138 \/ c3_1 a158 \/
% 101.98/102.19 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16
% 101.98/102.19 |- ~c0_1 a158 \/ ~ndr1_0 \/ c2_1 a142 \/ c3_1 a158 \/ hskp11 \/ hskp12 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp16 \/ hskp7
% 101.98/102.19 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp21 \/ hskp27
% 101.98/102.19 |- c2_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21
% 101.98/102.19 |- c3_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21
% 101.98/102.19 |- c0_1 a157 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21
% 101.98/102.19 |- hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp21 \/ hskp3 \/ hskp4
% 101.98/102.19 |- c3_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21 \/ hskp3
% 101.98/102.19 |- c1_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21 \/ hskp3
% 101.98/102.19 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.19 hskp0 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21 \/ hskp3
% 101.98/102.19 |- c0_1 a137 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp21 \/ hskp3
% 101.98/102.19 |- ~c1_1 $_241 \/ ~c2_1 $_241 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_241 \/
% 101.98/102.19 hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp21
% 101.98/102.19 |- ~c0_1 $_245 \/ ~c1_1 $_245 \/ ~c1_1 $_246 \/ ~ndr1_0 \/ c0_1 $_246 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_245 \/ c2_1 $_246 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_247 \/ ~ndr1_0 \/ c0_1 $_247 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_247 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_249 \/ ~c1_1 $_249 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 $_249 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a140 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp14 \/ hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c0_1 a140 \/ ~c1_1 $_254 \/ ~ndr1_0 \/ c0_1 $_254 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_254 \/ c2_1 a140 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp18 \/ hskp25 \/ hskp5 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_256 \/ ~c1_1 $_256 \/ ~c1_1 $_257 \/ ~ndr1_0 \/ c0_1 $_257 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_256 \/ c2_1 $_257 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a150 \/ ~c1_1 $_258 \/ ~ndr1_0 \/ c0_1 $_258 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_258 \/ c2_1 a150 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- c0_1 a142 \/ c0_1 a153 \/ c2_1 a150 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp14 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_260 \/ ~ndr1_0 \/ c0_1 $_260 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_260 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_262 \/ ~c1_1 $_262 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 $_262 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp22 \/ hskp23 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a136 \/ ~ndr1_0 \/ c0_1 a135 \/ c2_1 a135 \/ c3_1 a136 \/
% 101.98/102.19 hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.19 hskp19 \/ hskp27 \/ hskp28
% 101.98/102.19 |- ~c0_1 $_267 \/ ~c1_1 $_267 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_267 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_270 \/ ~c1_1 $_270 \/ ~c1_1 $_271 \/ ~ndr1_0 \/ c0_1 $_271 \/
% 101.98/102.19 c0_1 a153 \/ c1_1 a161 \/ c2_1 $_270 \/ c2_1 $_271 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25
% 101.98/102.19 |- ~c0_1 a140 \/ ~c1_1 $_273 \/ ~ndr1_0 \/ c0_1 $_273 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_273 \/ c2_1 a140 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp2 \/ hskp21 \/ hskp25 \/
% 101.98/102.19 hskp5
% 101.98/102.19 |- ~c0_1 a142 \/ ~c1_1 $_273 \/ ~ndr1_0 \/ c0_1 $_273 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_273 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a150 \/ ~c1_1 $_273 \/ ~ndr1_0 \/ c0_1 $_273 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_273 \/ c2_1 a150 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp22 \/ hskp23 \/
% 101.98/102.19 hskp25
% 101.98/102.19 |- ~c0_1 $_277 \/ ~c1_1 $_277 \/ ~c1_1 $_278 \/ ~ndr1_0 \/ c0_1 $_278 \/
% 101.98/102.19 c0_1 a153 \/ c1_1 a161 \/ c2_1 $_277 \/ c2_1 $_278 \/ hskp0 \/ hskp1 \/
% 101.98/102.19 hskp11 \/ hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4
% 101.98/102.19 |- ~c0_1 a140 \/ ~c1_1 $_280 \/ ~ndr1_0 \/ c0_1 $_280 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_280 \/ c2_1 a140 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/
% 101.98/102.19 hskp5
% 101.98/102.19 |- ~c0_1 a142 \/ ~c1_1 $_280 \/ ~ndr1_0 \/ c0_1 $_280 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_280 \/ c2_1 a142 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 a150 \/ ~c1_1 $_280 \/ ~ndr1_0 \/ c0_1 $_280 \/ c0_1 a153 \/
% 101.98/102.19 c1_1 a161 \/ c2_1 $_280 \/ c2_1 a150 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp21 \/ hskp22 \/ hskp23 \/ hskp25 \/ hskp3 \/
% 101.98/102.19 hskp4
% 101.98/102.19 |- ~c0_1 $_288 \/ ~c1_1 $_288 \/ ~c1_1 $_289 \/ ~ndr1_0 \/ c0_1 $_289 \/
% 101.98/102.19 c0_1 a148 \/ c2_1 $_288 \/ c2_1 $_289 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_290 \/ ~ndr1_0 \/ c0_1 $_290 \/ c0_1 a148 \/
% 101.98/102.19 c2_1 $_290 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp25
% 101.98/102.19 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/ c2_1 a142 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp2 \/ hskp20 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_292 \/ ~c1_1 $_292 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 $_292 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp25
% 101.98/102.19 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/ c2_1 a142 \/
% 101.98/102.19 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.19 hskp19 \/ hskp2 \/ hskp20 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a142 \/ ~c1_1 $_295 \/ ~ndr1_0 \/ c0_1 $_295 \/ c0_1 a148 \/
% 101.98/102.19 c2_1 $_295 \/ c2_1 a142 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_294 \/ ~c1_1 $_294 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/
% 101.98/102.19 c2_1 $_294 \/ c2_1 a142 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/
% 101.98/102.19 hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_299 \/ ~c1_1 $_299 \/ ~c1_1 $_300 \/ ~ndr1_0 \/ c0_1 $_300 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_299 \/ c2_1 $_300 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_301 \/ ~ndr1_0 \/ c0_1 $_301 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_301 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_303 \/ ~c1_1 $_303 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 $_303 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_307 \/ ~c1_1 $_307 \/ ~c1_1 $_308 \/ ~ndr1_0 \/ c0_1 $_308 \/
% 101.98/102.19 c0_1 a142 \/ c2_1 $_307 \/ c2_1 $_308 \/ hskp0 \/ hskp1 \/ hskp11 \/
% 101.98/102.19 hskp14 \/ hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_309 \/ ~ndr1_0 \/ c0_1 $_309 \/ c0_1 a142 \/
% 101.98/102.19 c2_1 $_309 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_311 \/ ~c1_1 $_311 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a153 \/
% 101.98/102.19 c2_1 $_311 \/ c2_1 a153 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp14 \/
% 101.98/102.19 hskp15 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp4 \/ hskp7
% 101.98/102.19 |- ~c0_1 $_315 \/ ~c1_1 $_315 \/ ~c1_1 $_316 \/ ~ndr1_0 \/ c0_1 $_316 \/
% 101.98/102.19 c0_1 a148 \/ c2_1 $_315 \/ c2_1 $_316 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.19 hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp21
% 101.98/102.19 |- ~c0_1 a153 \/ ~c1_1 $_317 \/ ~ndr1_0 \/ c0_1 $_317 \/ c0_1 a148 \/
% 101.98/102.19 c2_1 $_317 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.19 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25
% 101.98/102.20 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/ c2_1 a142 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_319 \/ ~c1_1 $_319 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/
% 101.98/102.20 c2_1 $_319 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp25
% 101.98/102.20 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/ c2_1 a142 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp2 \/ hskp21 \/ hskp25 \/ hskp7
% 101.98/102.20 |- ~c0_1 a142 \/ ~c1_1 $_322 \/ ~ndr1_0 \/ c0_1 $_322 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_322 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_321 \/ ~c1_1 $_321 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_321 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp2 \/ hskp21 \/ hskp7
% 101.98/102.20 |- ~c0_1 a142 \/ ~c1_1 $_331 \/ ~ndr1_0 \/ c0_1 $_331 \/ c0_1 a135 \/
% 101.98/102.20 c0_1 a136 \/ c2_1 $_331 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.20 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_332 \/ ~c1_1 $_332 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/
% 101.98/102.20 c2_1 $_332 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.20 hskp15 \/ hskp16 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.20 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a136 \/ c0_1 a142 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.20 hskp17 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_342 \/ ~c1_1 $_342 \/ ~c1_1 $_343 \/ ~ndr1_0 \/ c0_1 $_343 \/
% 101.98/102.20 c0_1 a148 \/ c2_1 $_342 \/ c2_1 $_343 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.20 hskp15 \/ hskp16
% 101.98/102.20 |- ~c0_1 a153 \/ ~c1_1 $_344 \/ ~ndr1_0 \/ c0_1 $_344 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_344 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp25
% 101.98/102.20 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a148 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp25
% 101.98/102.20 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/ c2_1 a142 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- ~c0_1 $_346 \/ ~c1_1 $_346 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/
% 101.98/102.20 c2_1 $_346 \/ c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp25
% 101.98/102.20 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp25
% 101.98/102.20 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a148 \/ c0_1 a153 \/ c2_1 a142 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp25 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- ~c0_1 a135 \/ ~c1_1 $_349 \/ ~ndr1_0 \/ c0_1 $_349 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_349 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17
% 101.98/102.20 |- ~c0_1 a142 \/ ~c1_1 $_349 \/ ~ndr1_0 \/ c0_1 $_349 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_349 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_348 \/ ~c1_1 $_348 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_348 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17
% 101.98/102.20 |- ~c0_1 $_348 \/ ~c1_1 $_348 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/
% 101.98/102.20 c2_1 $_348 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp7
% 101.98/102.20 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a148 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a148 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp21 \/ hskp27
% 101.98/102.20 |- c2_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp18 \/ hskp21
% 101.98/102.20 |- c3_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp18 \/ hskp21
% 101.98/102.20 |- c0_1 a157 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp18 \/ hskp21
% 101.98/102.20 |- hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp21 \/ hskp3 \/ hskp4
% 101.98/102.20 |- c3_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp18 \/ hskp21 \/ hskp3
% 101.98/102.20 |- c1_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp18 \/ hskp21 \/ hskp3
% 101.98/102.20 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.20 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp21 \/ hskp3
% 101.98/102.20 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.20 hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp21 \/ hskp3
% 101.98/102.20 |- ~c1_1 $_358 \/ ~c2_1 $_358 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_358 \/
% 101.98/102.20 hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp21
% 101.98/102.20 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.20 hskp21 \/ hskp27
% 101.98/102.20 |- c2_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp19 \/ hskp21
% 101.98/102.20 |- c3_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp19 \/ hskp21
% 101.98/102.20 |- c0_1 a157 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp19 \/ hskp21
% 101.98/102.20 |- hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.20 hskp21 \/ hskp3 \/ hskp4
% 101.98/102.20 |- c3_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.20 |- c1_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/
% 101.98/102.20 hskp19 \/ hskp21 \/ hskp3
% 101.98/102.20 |- ~c0_1 $V \/ ~c1_1 a137 \/ ~c2_1 $V \/ ~ndr1_0 \/ c2_1 a137 \/ c3_1 $V \/
% 101.98/102.20 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.20 hskp21 \/ hskp3
% 101.98/102.20 |- ~c2_1 a137 \/ ~ndr1_0 \/ c0_1 a137 \/ hskp12 \/ hskp13 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp21 \/ hskp3
% 101.98/102.20 |- ~c1_1 $_370 \/ ~c2_1 $_370 \/ ~ndr1_0 \/ c1_1 a157 \/ c3_1 $_370 \/
% 101.98/102.20 hskp12 \/ hskp13 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/
% 101.98/102.20 hskp21
% 101.98/102.20 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.20 hskp17 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_379 \/ ~c1_1 $_379 \/ ~c1_1 $_380 \/ ~ndr1_0 \/ c0_1 $_380 \/
% 101.98/102.20 c0_1 a158 \/ c2_1 $_379 \/ c2_1 $_380 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.20 hskp15 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20
% 101.98/102.20 |- ~c0_1 a142 \/ ~c1_1 $_382 \/ ~ndr1_0 \/ c0_1 $_382 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_382 \/ c2_1 a142 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_381 \/ ~c1_1 $_381 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_381 \/ c2_1 a142 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17 \/ hskp19 \/ hskp2 \/ hskp20 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_387 \/ ~c1_1 $_387 \/ ~c1_1 $_388 \/ ~ndr1_0 \/ c0_1 $_388 \/
% 101.98/102.20 c0_1 a158 \/ c2_1 $_387 \/ c2_1 $_388 \/ hskp11 \/ hskp12 \/ hskp14 \/
% 101.98/102.20 hskp15 \/ hskp16
% 101.98/102.20 |- ~c0_1 a135 \/ ~c1_1 $_390 \/ ~ndr1_0 \/ c0_1 $_390 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_390 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17
% 101.98/102.20 |- ~c0_1 a142 \/ ~c1_1 $_390 \/ ~ndr1_0 \/ c0_1 $_390 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_390 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_389 \/ ~c1_1 $_389 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_389 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp17
% 101.98/102.20 |- ~c0_1 $_389 \/ ~c1_1 $_389 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/
% 101.98/102.20 c2_1 $_389 \/ c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/
% 101.98/102.20 hskp16 \/ hskp7
% 101.98/102.20 |- ~c0_1 a135 \/ ~ndr1_0 \/ c0_1 a142 \/ c0_1 a158 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- ~c0_1 a142 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a158 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a142 \/ hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/
% 101.98/102.20 hskp7
% 101.98/102.20 |- ~c0_1 a153 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/ c2_1 a135 \/
% 101.98/102.20 c2_1 a153 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/ hskp15 \/ hskp16 \/
% 101.98/102.20 hskp17 \/ hskp21 \/ hskp25 \/ hskp27
% 101.98/102.20 |- ~c0_1 a135 \/ ~c1_1 $_398 \/ ~ndr1_0 \/ c0_1 $_398 \/ c0_1 a136 \/
% 101.98/102.20 c0_1 a142 \/ c2_1 $_398 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/
% 101.98/102.20 hskp14 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp27 \/ hskp7
% 101.98/102.20 |- ~c0_1 $_401 \/ ~c1_1 $_401 \/ ~ndr1_0 \/ c0_1 a135 \/ c0_1 a136 \/
% 101.98/102.20 c2_1 $_401 \/ c2_1 a135 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp14 \/
% 101.98/102.20 hskp15 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp27
% 101.98/102.20 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 101.98/102.20
%------------------------------------------------------------------------------