%------------------------------------------------------------------------------ % 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 %------------------------------------------------------------------------------