%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN432-1 : TPTP v8.1.0. Released v2.1.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n024.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:26 EDT 2022 % Result : Satisfiable 3.79s 4.00s % Output : Saturation 3.88s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.11 % Problem : SYN432-1 : TPTP v8.1.0. Released v2.1.0. % 0.07/0.12 % Command : metis --show proof --show saturation %s % 0.13/0.33 % Computer : n024.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.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Mon Jul 11 14:37:43 EDT 2022 % 0.13/0.33 % CPUTime : % 0.13/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 3.79/4.00 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 3.79/4.00 % 3.79/4.00 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 3.79/4.00 |- ~hskp29 \/ ndr1_0 % 3.79/4.00 |- ~hskp28 \/ ndr1_0 % 3.79/4.00 |- ~hskp27 \/ ndr1_0 % 3.79/4.00 |- ~hskp26 \/ ndr1_0 % 3.79/4.00 |- ~hskp25 \/ ndr1_0 % 3.79/4.00 |- ~hskp24 \/ ndr1_0 % 3.79/4.00 |- ~hskp23 \/ ndr1_0 % 3.79/4.00 |- ~hskp22 \/ ndr1_0 % 3.79/4.00 |- ~hskp21 \/ ndr1_0 % 3.79/4.00 |- ~hskp20 \/ ndr1_0 % 3.79/4.00 |- ~hskp19 \/ ndr1_0 % 3.79/4.00 |- ~hskp18 \/ ndr1_0 % 3.79/4.00 |- ~hskp17 \/ ndr1_0 % 3.79/4.00 |- ~hskp16 \/ ndr1_0 % 3.79/4.00 |- ~hskp15 \/ ndr1_0 % 3.79/4.00 |- ~hskp14 \/ ndr1_0 % 3.79/4.00 |- ~hskp13 \/ ndr1_0 % 3.79/4.00 |- ~hskp12 \/ ndr1_0 % 3.79/4.00 |- ~hskp11 \/ ndr1_0 % 3.79/4.00 |- ~hskp10 \/ ndr1_0 % 3.79/4.00 |- ~hskp9 \/ ndr1_0 % 3.79/4.00 |- ~hskp8 \/ ndr1_0 % 3.79/4.00 |- ~hskp7 \/ ndr1_0 % 3.79/4.00 |- ~hskp6 \/ ndr1_0 % 3.79/4.00 |- ~hskp5 \/ ndr1_0 % 3.79/4.00 |- ~hskp4 \/ ndr1_0 % 3.79/4.00 |- ~hskp3 \/ ndr1_0 % 3.79/4.00 |- ~hskp2 \/ ndr1_0 % 3.79/4.00 |- ~hskp1 \/ ndr1_0 % 3.79/4.00 |- ~hskp0 \/ ndr1_0 % 3.79/4.00 |- hskp20 \/ hskp21 \/ hskp5 % 3.79/4.00 |- hskp17 \/ hskp22 \/ hskp6 % 3.79/4.00 |- hskp21 \/ hskp28 \/ hskp8 % 3.79/4.00 |- ~hskp29 \/ c2_1 a193 % 3.79/4.00 |- ~hskp29 \/ c3_1 a193 % 3.79/4.00 |- ~hskp29 \/ c0_1 a193 % 3.79/4.00 |- ~hskp28 \/ c2_1 a190 % 3.79/4.00 |- ~hskp28 \/ c0_1 a190 % 3.79/4.00 |- ~hskp27 \/ c1_1 a188 % 3.79/4.00 |- ~hskp27 \/ c0_1 a188 % 3.79/4.00 |- ~hskp26 \/ c3_1 a187 % 3.79/4.00 |- ~hskp25 \/ c1_1 a186 % 3.79/4.00 |- ~hskp24 \/ c1_1 a185 % 3.79/4.00 |- ~hskp24 \/ c3_1 a185 % 3.79/4.00 |- ~hskp24 \/ c0_1 a185 % 3.79/4.00 |- ~hskp23 \/ c1_1 a184 % 3.79/4.00 |- ~hskp23 \/ c2_1 a184 % 3.79/4.00 |- ~hskp23 \/ c0_1 a184 % 3.79/4.00 |- ~hskp22 \/ c2_1 a183 % 3.79/4.00 |- ~hskp22 \/ c0_1 a183 % 3.79/4.00 |- ~hskp21 \/ c3_1 a180 % 3.79/4.00 |- ~hskp20 \/ c3_1 a179 % 3.79/4.00 |- ~hskp20 \/ c2_1 a179 % 3.79/4.00 |- ~hskp20 \/ c0_1 a179 % 3.79/4.00 |- ~hskp19 \/ c3_1 a177 % 3.79/4.00 |- ~hskp19 \/ c1_1 a177 % 3.79/4.00 |- ~hskp18 \/ c1_1 a175 % 3.79/4.00 |- ~hskp18 \/ c3_1 a175 % 3.79/4.00 |- ~hskp18 \/ c2_1 a175 % 3.79/4.00 |- ~hskp17 \/ c0_1 a174 % 3.79/4.00 |- ~hskp17 \/ c2_1 a174 % 3.79/4.00 |- ~hskp16 \/ c1_1 a171 % 3.79/4.00 |- ~hskp16 \/ c0_1 a171 % 3.79/4.00 |- ~hskp15 \/ c1_1 a170 % 3.79/4.00 |- ~hskp15 \/ c0_1 a170 % 3.79/4.00 |- ~hskp15 \/ c2_1 a170 % 3.79/4.00 |- ~hskp14 \/ c0_1 a167 % 3.79/4.00 |- ~hskp14 \/ c3_1 a167 % 3.79/4.00 |- ~hskp13 \/ c1_1 a166 % 3.79/4.00 |- ~hskp13 \/ c3_1 a166 % 3.79/4.00 |- ~hskp12 \/ c2_1 a164 % 3.79/4.00 |- ~hskp11 \/ c0_1 a163 % 3.79/4.00 |- ~hskp11 \/ c3_1 a163 % 3.79/4.00 |- ~hskp10 \/ c2_1 a162 % 3.79/4.00 |- ~hskp9 \/ c3_1 a195 % 3.79/4.00 |- ~hskp9 \/ c2_1 a195 % 3.79/4.00 |- ~hskp8 \/ c3_1 a192 % 3.79/4.00 |- ~hskp7 \/ c2_1 a189 % 3.79/4.00 |- ~hskp7 \/ c1_1 a189 % 3.79/4.00 |- ~hskp6 \/ c0_1 a181 % 3.79/4.00 |- ~hskp3 \/ c3_1 a173 % 3.79/4.00 |- ~hskp2 \/ c3_1 a172 % 3.79/4.00 |- ~hskp1 \/ c3_1 a169 % 3.79/4.00 |- ~c1_1 a190 \/ ~hskp28 % 3.79/4.00 |- ~c2_1 a188 \/ ~hskp27 % 3.79/4.00 |- ~c2_1 a187 \/ ~hskp26 % 3.79/4.00 |- ~c1_1 a187 \/ ~hskp26 % 3.79/4.00 |- ~c0_1 a186 \/ ~hskp25 % 3.79/4.00 |- ~c2_1 a186 \/ ~hskp25 % 3.79/4.00 |- ~c3_1 a183 \/ ~hskp22 % 3.79/4.00 |- ~c1_1 a180 \/ ~hskp21 % 3.79/4.00 |- ~c2_1 a180 \/ ~hskp21 % 3.79/4.00 |- ~c0_1 a177 \/ ~hskp19 % 3.79/4.00 |- ~c3_1 a174 \/ ~hskp17 % 3.79/4.00 |- ~c3_1 a171 \/ ~hskp16 % 3.79/4.00 |- ~c2_1 a167 \/ ~hskp14 % 3.79/4.00 |- ~c2_1 a166 \/ ~hskp13 % 3.79/4.00 |- ~c0_1 a164 \/ ~hskp12 % 3.79/4.00 |- ~c1_1 a164 \/ ~hskp12 % 3.79/4.00 |- ~c1_1 a163 \/ ~hskp11 % 3.79/4.00 |- ~c0_1 a162 \/ ~hskp10 % 3.79/4.00 |- ~c3_1 a162 \/ ~hskp10 % 3.79/4.00 |- ~c1_1 a195 \/ ~hskp9 % 3.79/4.00 |- ~c0_1 a192 \/ ~hskp8 % 3.79/4.00 |- ~c2_1 a192 \/ ~hskp8 % 3.79/4.00 |- ~c3_1 a189 \/ ~hskp7 % 3.79/4.00 |- ~c1_1 a181 \/ ~hskp6 % 3.79/4.00 |- ~c2_1 a181 \/ ~hskp6 % 3.79/4.00 |- ~c3_1 a178 \/ ~hskp5 % 3.79/4.00 |- ~c0_1 a178 \/ ~hskp5 % 3.79/4.00 |- ~c1_1 a178 \/ ~hskp5 % 3.79/4.00 |- ~c1_1 a176 \/ ~hskp4 % 3.79/4.00 |- ~c3_1 a176 \/ ~hskp4 % 3.79/4.00 |- ~c0_1 a176 \/ ~hskp4 % 3.79/4.00 |- ~c1_1 a173 \/ ~hskp3 % 3.79/4.01 |- ~c2_1 a173 \/ ~hskp3 % 3.79/4.01 |- ~c2_1 a172 \/ ~hskp2 % 3.79/4.01 |- ~c1_1 a172 \/ ~hskp2 % 3.79/4.01 |- ~c1_1 a169 \/ ~hskp1 % 3.79/4.01 |- ~c0_1 a169 \/ ~hskp1 % 3.79/4.01 |- ~c0_1 a168 \/ ~hskp0 % 3.79/4.01 |- ~c2_1 a168 \/ ~hskp0 % 3.79/4.01 |- ~c1_1 a168 \/ ~hskp0 % 3.79/4.01 |- ~ndr1_0 \/ c0_1 $U \/ c1_1 $U \/ c2_1 $U \/ hskp11 \/ hskp12 % 3.79/4.01 |- ~c3_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ c2_1 $U \/ hskp1 \/ hskp15 % 3.79/4.01 |- ~c1_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c3_1 $U \/ hskp19 \/ hskp4 % 3.79/4.01 |- ~c2_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ c3_1 $U \/ hskp23 \/ hskp24 % 3.79/4.01 |- ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c3_1 $U \/ hskp16 \/ hskp2 % 3.79/4.01 |- ~c0_1 $U \/ ~c1_1 $U \/ ~ndr1_0 \/ c3_1 $U \/ hskp25 \/ hskp26 % 3.79/4.01 |- ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c3_1 $U \/ hskp27 \/ hskp7 % 3.79/4.01 |- ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ hskp25 \/ hskp29 % 3.79/4.01 |- ~c0_1 $U \/ ~c1_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ hskp0 \/ hskp14 % 3.79/4.01 |- ~c2_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ c1_1 $V \/ c2_1 $V \/ c3_1 $U \/ % 3.79/4.01 c3_1 $V \/ hskp10 % 3.79/4.01 |- ~c0_1 $U \/ ~c1_1 $V \/ ~ndr1_0 \/ c2_1 $U \/ c2_1 $V \/ c3_1 $U \/ % 3.79/4.01 c3_1 $V \/ hskp3 % 3.79/4.01 |- ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $U \/ % 3.79/4.01 c2_1 $V \/ hskp17 % 3.79/4.01 |- ~c0_1 $V \/ ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ c1_1 $V \/ % 3.79/4.01 c2_1 $V \/ hskp18 % 3.79/4.01 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $V \/ % 3.79/4.01 c1_1 $U \/ hskp9 % 3.79/4.01 |- ~c0_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c1_1 $U \/ % 3.79/4.01 c3_1 $U \/ hskp13 % 3.79/4.01 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c1_1 $U \/ ~c1_1 $V \/ ~c2_1 $U \/ ~c3_1 $V \/ % 3.79/4.01 ~ndr1_0 \/ hskp11 % 3.79/4.01 |- ~c1_1 $V \/ ~c1_1 $W \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ % 3.79/4.01 c2_1 $W \/ c3_1 $U \/ c3_1 $V \/ c3_1 $W % 3.79/4.01 |- ~c1_1 $V \/ ~c1_1 $W \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c2_1 $W \/ % 3.79/4.01 c3_1 $V \/ c3_1 $W % 3.79/4.01 |- hskp20 \/ hskp21 \/ ndr1_0 % 3.79/4.01 |- c0_1 a181 \/ hskp17 \/ hskp22 % 3.79/4.01 |- hskp17 \/ hskp22 \/ ndr1_0 % 3.79/4.01 |- c3_1 a192 \/ hskp21 \/ hskp28 % 3.79/4.01 |- hskp21 \/ hskp28 \/ ndr1_0 % 3.79/4.01 |- c1_1 a192 \/ hskp1 \/ hskp15 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 $_3 \/ c1_1 $_3 \/ c2_1 $_3 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 $_3 \/ c1_1 $_3 \/ c2_1 $_3 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- c0_1 $_3 \/ c1_1 $_3 \/ c2_1 $_3 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp0 \/ c0_1 a168 \/ c1_1 a168 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp2 \/ c0_1 a172 \/ c1_1 a172 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp3 \/ c0_1 a173 \/ c1_1 a173 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp26 \/ c0_1 a187 \/ c1_1 a187 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 % 3.79/4.01 |- c0_1 a192 \/ c1_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp0 \/ c0_1 a168 \/ c1_1 a168 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp2 \/ c0_1 a172 \/ c1_1 a172 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp3 \/ c0_1 a173 \/ c1_1 a173 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp21 \/ c0_1 a180 \/ c1_1 a180 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 % 3.79/4.01 |- ~hskp26 \/ c0_1 a187 \/ c1_1 a187 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 % 3.79/4.01 |- ~hskp8 \/ c0_1 a192 \/ c1_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp0 \/ c0_1 a168 \/ c1_1 a168 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp2 \/ c0_1 a172 \/ c1_1 a172 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp3 \/ c0_1 a173 \/ c1_1 a173 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp26 \/ c0_1 a187 \/ c1_1 a187 \/ hskp11 \/ hskp12 \/ hskp20 \/ % 3.79/4.01 hskp21 % 3.79/4.01 |- ~hskp8 \/ c0_1 a192 \/ c1_1 a192 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c2_1 a192 \/ ~c3_1 $_17 \/ ~ndr1_0 \/ c0_1 $_17 \/ c1_1 a192 \/ % 3.79/4.01 c2_1 $_17 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c2_1 $_16 \/ ~c3_1 $_16 \/ ~ndr1_0 \/ c0_1 a192 \/ c1_1 $_16 \/ % 3.79/4.01 c2_1 a192 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 $_21 \/ ~c2_1 a192 \/ ~ndr1_0 \/ c1_1 $_21 \/ c1_1 a192 \/ % 3.79/4.01 c2_1 $_21 \/ hskp18 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c1_1 $_24 \/ ~c3_1 $_24 \/ ~ndr1_0 \/ c0_1 $_23 \/ c0_1 $_24 \/ % 3.79/4.01 c1_1 $_23 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp9 % 3.79/4.01 |- ~c1_1 $_24 \/ ~c3_1 $_24 \/ ~ndr1_0 \/ c0_1 $_23 \/ c0_1 $_24 \/ % 3.79/4.01 c1_1 $_23 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 \/ hskp9 % 3.79/4.01 |- ~c1_1 $_24 \/ ~c3_1 $_24 \/ ~ndr1_0 \/ c0_1 $_23 \/ c0_1 $_24 \/ % 3.79/4.01 c1_1 $_23 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 \/ hskp9 % 3.79/4.01 |- ~c1_1 a192 \/ ~c2_1 $_23 \/ ~ndr1_0 \/ c0_1 $_23 \/ c0_1 a192 \/ % 3.79/4.01 c1_1 $_23 \/ hskp21 \/ hskp28 \/ hskp9 % 3.79/4.01 |- ~c0_1 $_27 \/ ~c2_1 $_27 \/ ~c3_1 $_27 \/ ~ndr1_0 \/ c0_1 $_26 \/ % 3.79/4.01 c1_1 $_26 \/ c3_1 $_26 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c0_1 $_27 \/ ~c2_1 $_27 \/ ~c3_1 $_27 \/ ~ndr1_0 \/ c0_1 $_26 \/ % 3.79/4.01 c1_1 $_26 \/ c3_1 $_26 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~c0_1 $_27 \/ ~c2_1 $_27 \/ ~c3_1 $_27 \/ ~ndr1_0 \/ c0_1 $_26 \/ % 3.79/4.01 c1_1 $_26 \/ c3_1 $_26 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 a192 \/ ~c2_1 $_26 \/ ~c2_1 a192 \/ ~ndr1_0 \/ c1_1 $_26 \/ % 3.79/4.01 c3_1 $_26 \/ hskp13 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 a192 \/ ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 $_28 \/ c1_1 $_28 \/ % 3.79/4.01 c3_1 $_28 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 $_29 \/ ~c0_1 a192 \/ ~c1_1 $_29 \/ ~c1_1 a192 \/ ~c2_1 $_29 \/ % 3.79/4.01 ~ndr1_0 \/ hskp11 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 $_33 \/ c0_1 a192 \/ c1_1 $_33 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp0 \/ c0_1 a168 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp1 \/ c0_1 a169 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp2 \/ c0_1 a172 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp3 \/ c0_1 a173 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp5 \/ c0_1 a178 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~hskp26 \/ c0_1 a187 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp28 \/ hskp9 % 3.79/4.01 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_34 \/ c0_1 a192 \/ c2_1 $U \/ c2_1 $_34 \/ % 3.79/4.01 c3_1 $U \/ c3_1 $_34 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 \/ hskp3 \/ % 3.79/4.01 hskp9 % 3.79/4.01 |- hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp28 \/ hskp9 % 3.79/4.01 |- c2_1 a195 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c3_1 a195 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c1_1 a195 \/ ~ndr1_0 \/ c0_1 a195 \/ hskp11 \/ hskp12 \/ hskp20 \/ % 3.79/4.01 hskp21 \/ hskp25 \/ hskp28 \/ hskp29 % 3.79/4.01 |- ~c1_1 $_35 \/ ~c2_1 $_35 \/ ~ndr1_0 \/ c0_1 $_35 \/ c0_1 $_36 \/ % 3.79/4.01 c0_1 a192 \/ c2_1 $_36 \/ c3_1 $_35 \/ c3_1 $_36 \/ hskp11 \/ hskp12 \/ % 3.79/4.01 hskp21 \/ hskp28 \/ hskp9 % 3.79/4.01 |- hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 a190 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c2_1 a190 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c1_1 a190 \/ ~ndr1_0 \/ c3_1 a190 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp20 \/ hskp21 \/ hskp27 \/ hskp7 % 3.79/4.01 |- ~c1_1 a190 \/ ~ndr1_0 \/ c3_1 a190 \/ hskp11 \/ hskp12 \/ hskp16 \/ % 3.79/4.01 hskp17 \/ hskp2 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c0_1 a190 \/ ~c1_1 a190 \/ ~ndr1_0 \/ hskp0 \/ hskp11 \/ hskp12 \/ % 3.79/4.01 hskp14 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c0_1 $_37 \/ c1_1 $_37 \/ c3_1 $_37 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp10 \/ c0_1 a162 \/ c1_1 a162 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 a176 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp5 \/ c0_1 a178 \/ c1_1 a178 \/ hskp11 \/ hskp12 \/ hskp21 \/ % 3.79/4.01 hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp23 \/ hskp24 % 3.79/4.01 |- c0_1 a185 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- c3_1 a185 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- c1_1 a185 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- ~c0_1 $U \/ ~c0_1 a185 \/ ~c1_1 $U \/ ~c1_1 a185 \/ ~c2_1 $U \/ % 3.79/4.01 ~ndr1_0 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- ~c0_1 a185 \/ ~c2_1 $U \/ ~c2_1 a185 \/ ~ndr1_0 \/ c1_1 $U \/ c3_1 $U \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp13 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- c0_1 $_41 \/ c1_1 $_41 \/ c3_1 $_41 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.01 |- ~hskp10 \/ c0_1 a162 \/ c1_1 a162 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 a176 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.01 |- ~hskp5 \/ c0_1 a178 \/ c1_1 a178 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.01 |- c0_1 $_44 \/ c0_1 a192 \/ c3_1 $_44 \/ hskp11 \/ hskp12 \/ hskp19 \/ % 3.79/4.01 hskp21 \/ hskp28 \/ hskp4 \/ hskp9 % 3.79/4.01 |- ~hskp10 \/ c0_1 a162 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp19 \/ % 3.79/4.01 hskp21 \/ hskp28 \/ hskp4 \/ hskp9 % 3.79/4.01 |- ~hskp7 \/ c0_1 a189 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp19 \/ % 3.79/4.01 hskp21 \/ hskp28 \/ hskp4 \/ hskp9 % 3.79/4.01 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_45 \/ c0_1 a192 \/ c1_1 $U \/ % 3.79/4.01 c2_1 $_45 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp19 \/ hskp21 \/ hskp28 \/ % 3.79/4.01 hskp4 \/ hskp9 % 3.79/4.01 |- ~c1_1 $_53 \/ ~c2_1 $_52 \/ ~c2_1 $_53 \/ ~ndr1_0 \/ c0_1 $_52 \/ % 3.79/4.01 c0_1 $_54 \/ c0_1 a192 \/ c2_1 $_54 \/ c3_1 $_52 \/ c3_1 $_53 \/ % 3.79/4.01 c3_1 $_54 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 \/ hskp9 % 3.79/4.01 |- ~c1_1 $_53 \/ ~c1_1 $_54 \/ ~c2_1 $_53 \/ ~ndr1_0 \/ c0_1 $_52 \/ % 3.79/4.01 c1_1 $_52 \/ c2_1 $_54 \/ c3_1 $_52 \/ c3_1 $_53 \/ c3_1 $_54 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c1_1 $_53 \/ ~c1_1 $_54 \/ ~c2_1 $_53 \/ ~ndr1_0 \/ c0_1 $_52 \/ % 3.79/4.01 c1_1 $_52 \/ c2_1 $_54 \/ c3_1 $_52 \/ c3_1 $_53 \/ c3_1 $_54 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~c1_1 $_53 \/ ~c1_1 $_54 \/ ~c2_1 $_53 \/ ~ndr1_0 \/ c0_1 $_52 \/ % 3.79/4.01 c1_1 $_52 \/ c2_1 $_54 \/ c3_1 $_52 \/ c3_1 $_53 \/ c3_1 $_54 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c1_1 $_54 \/ ~c1_1 a190 \/ ~c2_1 $_52 \/ ~ndr1_0 \/ c0_1 $_52 \/ % 3.79/4.01 c2_1 $_54 \/ c3_1 $_52 \/ c3_1 $_54 \/ c3_1 a190 \/ hskp11 \/ hskp12 \/ % 3.79/4.01 hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c0_1 a195 \/ ~c1_1 a195 \/ ~ndr1_0 \/ hskp11 \/ hskp12 \/ hskp20 \/ % 3.79/4.01 hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 $_56 \/ c1_1 $_56 \/ c1_1 $_57 \/ c2_1 $_57 \/ c3_1 $_56 \/ % 3.79/4.01 c3_1 $_57 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_59 \/ c1_1 a176 \/ c2_1 $_59 \/ % 3.79/4.01 c3_1 $_59 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp4 \/ c0_1 $_58 \/ c1_1 $_58 \/ c1_1 a176 \/ c2_1 a176 \/ % 3.79/4.01 c3_1 $_58 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c0_1 a178 \/ c1_1 $_61 \/ c1_1 a178 \/ c2_1 $_61 \/ c3_1 $_61 \/ % 3.79/4.01 hskp10 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp4 \/ c0_1 a178 \/ c1_1 a176 \/ c1_1 a178 \/ c2_1 a176 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c0_1 $_64 \/ c1_1 $_64 \/ c1_1 a178 \/ c2_1 a178 \/ c3_1 $_64 \/ % 3.79/4.01 hskp10 \/ hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 a176 \/ c1_1 a178 \/ c2_1 a178 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c0_1 a178 \/ c1_1 $_66 \/ c1_1 a178 \/ c2_1 $_66 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp14 \/ c0_1 a178 \/ c1_1 a167 \/ c1_1 a178 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp0 \/ c0_1 a178 \/ c1_1 a168 \/ c1_1 a178 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp2 \/ c0_1 a178 \/ c1_1 a172 \/ c1_1 a178 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp3 \/ c0_1 a178 \/ c1_1 a173 \/ c1_1 a178 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp6 \/ c0_1 a178 \/ c1_1 a178 \/ c1_1 a181 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp26 \/ c0_1 a178 \/ c1_1 a178 \/ c1_1 a187 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~hskp8 \/ c0_1 a178 \/ c1_1 a178 \/ c1_1 a192 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c0_1 a192 \/ ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 a178 \/ c1_1 $_67 \/ % 3.79/4.01 c1_1 a178 \/ c3_1 $_67 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.01 hskp13 \/ hskp15 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 a178 \/ c1_1 $_67 \/ % 3.79/4.01 c1_1 a178 \/ c3_1 $_67 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.01 hskp13 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.01 |- hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ % 3.79/4.01 hskp21 \/ hskp22 % 3.79/4.01 |- c0_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.79/4.01 hskp20 \/ hskp21 % 3.79/4.01 |- c2_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.79/4.01 hskp20 \/ hskp21 % 3.79/4.01 |- ~c1_1 $W \/ ~c1_1 a183 \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c2_1 $W \/ % 3.79/4.01 c3_1 $U \/ c3_1 $W \/ c3_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.01 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c1_1 a183 \/ ~ndr1_0 \/ c3_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.01 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 \/ hskp27 \/ hskp7 % 3.79/4.01 |- ~c1_1 a183 \/ ~ndr1_0 \/ c3_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.01 hskp12 \/ hskp15 \/ hskp16 \/ hskp17 \/ hskp2 \/ hskp20 \/ hskp21 % 3.79/4.01 |- ~c0_1 a183 \/ ~c1_1 a183 \/ ~ndr1_0 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp14 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.01 |- c0_1 $_68 \/ c1_1 $_68 \/ c1_1 $_69 \/ c2_1 $_69 \/ c3_1 $_68 \/ % 3.79/4.01 c3_1 $_69 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_71 \/ c1_1 a176 \/ c2_1 $_71 \/ % 3.79/4.01 c3_1 $_71 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp5 \/ c0_1 a178 \/ c1_1 $_71 \/ c1_1 a178 \/ c2_1 $_71 \/ % 3.79/4.01 c3_1 $_71 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp4 \/ c0_1 $_70 \/ c1_1 $_70 \/ c1_1 a176 \/ c2_1 a176 \/ % 3.79/4.01 c3_1 $_70 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- ~hskp5 \/ c0_1 $_70 \/ c1_1 $_70 \/ c1_1 a178 \/ c2_1 a178 \/ % 3.79/4.01 c3_1 $_70 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.79/4.01 |- c0_1 $_76 \/ c1_1 $_76 \/ c1_1 $_77 \/ c2_1 $_77 \/ c3_1 $_76 \/ % 3.79/4.01 c3_1 $_77 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_79 \/ c1_1 a176 \/ c2_1 $_79 \/ % 3.79/4.01 c3_1 $_79 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp5 \/ c0_1 a178 \/ c1_1 $_79 \/ c1_1 a178 \/ c2_1 $_79 \/ % 3.79/4.01 c3_1 $_79 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp4 \/ c0_1 $_78 \/ c1_1 $_78 \/ c1_1 a176 \/ c2_1 a176 \/ % 3.79/4.01 c3_1 $_78 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~hskp5 \/ c0_1 $_78 \/ c1_1 $_78 \/ c1_1 a178 \/ c2_1 a178 \/ % 3.79/4.01 c3_1 $_78 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 a185 \/ ~c2_1 a185 \/ ~ndr1_0 \/ c0_1 $_84 \/ c1_1 $_84 \/ % 3.79/4.01 c3_1 $_84 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.01 |- ~c0_1 a195 \/ ~ndr1_0 \/ c0_1 $_87 \/ c1_1 $_87 \/ c3_1 $_87 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp13 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 a195 \/ ~c2_1 $_93 \/ ~ndr1_0 \/ c1_1 $_93 \/ c3_1 $_93 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp13 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 a195 \/ ~ndr1_0 \/ c0_1 a178 \/ c1_1 $_94 \/ c1_1 a178 \/ % 3.79/4.01 c3_1 $_94 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ % 3.79/4.01 hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- ~c0_1 $_95 \/ ~ndr1_0 \/ c1_1 $_95 \/ c1_1 a195 \/ c2_1 $_95 \/ % 3.79/4.01 hskp11 \/ hskp12 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp28 % 3.79/4.01 |- c0_1 $_100 \/ c0_1 a192 \/ c1_1 $_100 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp0 \/ c0_1 a168 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp1 \/ c0_1 a169 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.01 |- ~hskp2 \/ c0_1 a172 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.01 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~hskp3 \/ c0_1 a173 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~hskp26 \/ c0_1 a187 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~hskp9 \/ c0_1 a192 \/ c0_1 a195 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_101 \/ % 3.79/4.02 c0_1 a192 \/ c2_1 $_101 \/ c3_1 $U \/ c3_1 $V \/ c3_1 $_101 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp17 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_101 \/ c0_1 a192 \/ % 3.79/4.02 c2_1 $_101 \/ c3_1 $V \/ c3_1 $_101 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_101 \/ c0_1 a192 \/ c2_1 $U \/ % 3.79/4.02 c2_1 $_101 \/ c3_1 $U \/ c3_1 $_101 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp3 % 3.79/4.02 |- ~c0_1 a185 \/ ~c0_1 a190 \/ ~c1_1 a185 \/ ~c1_1 a190 \/ ~ndr1_0 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.02 |- ~c0_1 a183 \/ ~c0_1 a185 \/ ~c1_1 a183 \/ ~ndr1_0 \/ hskp1 \/ hskp10 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.02 |- ~c0_1 a185 \/ ~c2_1 a185 \/ ~ndr1_0 \/ c1_1 a190 \/ c3_1 a190 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp13 \/ hskp17 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.02 |- ~c0_1 a185 \/ ~c2_1 a185 \/ ~ndr1_0 \/ c0_1 a178 \/ c1_1 $_105 \/ % 3.79/4.02 c1_1 a178 \/ c3_1 $_105 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp13 \/ hskp15 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.02 |- c0_1 $_106 \/ c1_1 $_106 \/ c1_1 $_107 \/ c2_1 $_107 \/ c3_1 $_106 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_109 \/ c1_1 a176 \/ c2_1 $_109 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp20 \/ hskp21 % 3.79/4.02 |- c0_1 $_111 \/ c1_1 $_111 \/ c1_1 $_112 \/ c2_1 $_112 \/ c3_1 $_111 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp22 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_114 \/ c1_1 a176 \/ c2_1 $_114 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp22 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ c1_1 $_114 \/ c1_1 a178 \/ c2_1 $_114 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp22 % 3.79/4.02 |- c0_1 $_117 \/ c1_1 $_117 \/ c1_1 $_118 \/ c2_1 $_118 \/ c3_1 $_117 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ c1_1 $_120 \/ c1_1 a176 \/ c2_1 $_120 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ c1_1 $_120 \/ c1_1 a178 \/ c2_1 $_120 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp21 \/ hskp28 % 3.79/4.02 |- c0_1 $_125 \/ c0_1 a192 \/ c3_1 $_125 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~hskp10 \/ c0_1 a162 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~hskp7 \/ c0_1 a189 \/ c0_1 a192 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_126 \/ c0_1 a192 \/ c1_1 $U \/ % 3.79/4.02 c2_1 $_126 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp19 \/ hskp21 \/ % 3.79/4.02 hskp23 \/ hskp24 \/ hskp28 \/ hskp4 % 3.79/4.02 |- c1_1 $_127 \/ c1_1 a190 \/ c2_1 $_127 \/ c3_1 $_127 \/ c3_1 a190 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c2_1 a190 \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $_128 \/ % 3.79/4.02 c1_1 a190 \/ c2_1 $V \/ c2_1 $_128 \/ c3_1 $_128 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c1_1 $_130 \/ ~c1_1 a190 \/ ~ndr1_0 \/ c0_1 $_129 \/ c1_1 $_129 \/ % 3.79/4.02 c2_1 $_130 \/ c3_1 $_129 \/ c3_1 $_130 \/ c3_1 a190 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- c1_1 $_134 \/ c1_1 a190 \/ c2_1 $_134 \/ c3_1 a190 \/ hskp1 \/ hskp10 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c0_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c1_1 $_135 \/ % 3.79/4.02 c1_1 a190 \/ c3_1 $_135 \/ c3_1 a190 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp13 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c2_1 a190 \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $_135 \/ % 3.79/4.02 c1_1 a190 \/ c2_1 $V \/ c2_1 $_135 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c3_1 $_136 \/ ~ndr1_0 \/ c0_1 $_136 \/ c0_1 $_137 \/ c1_1 $_137 \/ % 3.79/4.02 c2_1 $_136 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- c0_1 $_142 \/ c0_1 a192 \/ c2_1 $_142 \/ c2_1 a181 \/ c3_1 $_142 \/ % 3.79/4.02 c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ % 3.79/4.02 hskp3 \/ hskp9 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_143 \/ c0_1 a192 \/ c1_1 $U \/ % 3.79/4.02 c2_1 $_143 \/ c2_1 a181 \/ c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp22 \/ hskp28 \/ hskp3 \/ hskp9 % 3.79/4.02 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.79/4.02 ~ndr1_0 \/ c0_1 $_143 \/ c0_1 a192 \/ c2_1 $_143 \/ c2_1 a181 \/ % 3.79/4.02 c3_1 $_143 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ % 3.79/4.02 hskp28 \/ hskp3 \/ hskp9 % 3.79/4.02 |- c0_1 $_144 \/ c0_1 a192 \/ c1_1 a181 \/ c2_1 $_144 \/ c2_1 a181 \/ % 3.79/4.02 c3_1 $_144 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp22 \/ hskp28 \/ hskp3 \/ hskp9 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_145 \/ c0_1 a192 \/ c1_1 $U \/ % 3.79/4.02 c1_1 a181 \/ c2_1 $_145 \/ c2_1 a181 \/ hskp1 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 \/ hskp9 % 3.79/4.02 |- ~c0_1 $_147 \/ ~ndr1_0 \/ c0_1 $_148 \/ c1_1 $_147 \/ c1_1 $_148 \/ % 3.79/4.02 c2_1 $_147 \/ hskp11 \/ hskp12 \/ hskp18 \/ hskp21 \/ hskp23 \/ % 3.79/4.02 hskp24 \/ hskp28 % 3.79/4.02 |- ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 $_158 \/ c1_1 a192 \/ c2_1 $_158 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp21 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~c3_1 $_159 \/ ~ndr1_0 \/ c0_1 $_159 \/ c0_1 $_160 \/ c1_1 $_160 \/ % 3.79/4.02 c2_1 $_159 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp23 \/ % 3.79/4.02 hskp24 \/ hskp28 % 3.79/4.02 |- c0_1 $_171 \/ c1_1 $_171 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.79/4.02 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp0 \/ c0_1 a168 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp1 \/ c0_1 a169 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp2 \/ c0_1 a172 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp3 \/ c0_1 a173 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp21 \/ c0_1 a180 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.79/4.02 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp26 \/ c0_1 a187 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.79/4.02 hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- ~hskp9 \/ c0_1 a195 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_172 \/ % 3.79/4.02 c2_1 $_172 \/ c3_1 $U \/ c3_1 $V \/ c3_1 $_172 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp17 \/ hskp18 \/ hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_172 \/ % 3.79/4.02 c2_1 $_172 \/ c3_1 $V \/ c3_1 $_172 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp18 \/ hskp22 \/ hskp23 \/ hskp24 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_172 \/ c2_1 $U \/ c2_1 $_172 \/ c3_1 $U \/ % 3.79/4.02 c3_1 $_172 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.79/4.02 hskp23 \/ hskp24 \/ hskp3 % 3.79/4.02 |- c0_1 $_173 \/ c3_1 $_173 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.79/4.02 hskp19 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp4 % 3.79/4.02 |- ~hskp10 \/ c0_1 a162 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.79/4.02 hskp19 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp4 % 3.79/4.02 |- ~hskp7 \/ c0_1 a189 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ % 3.79/4.02 hskp22 \/ hskp23 \/ hskp24 \/ hskp4 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_174 \/ c1_1 $U \/ % 3.79/4.02 c2_1 $_174 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ % 3.79/4.02 hskp22 \/ hskp23 \/ hskp24 \/ hskp4 % 3.79/4.02 |- c1_1 $_179 \/ c1_1 a183 \/ c2_1 $_179 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp14 \/ c1_1 a167 \/ c1_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp0 \/ c1_1 a168 \/ c1_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp2 \/ c1_1 a172 \/ c1_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp3 \/ c1_1 a173 \/ c1_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp6 \/ c1_1 a181 \/ c1_1 a183 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp26 \/ c1_1 a183 \/ c1_1 a187 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~hskp8 \/ c1_1 a183 \/ c1_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c0_1 a185 \/ ~c2_1 a185 \/ ~ndr1_0 \/ c1_1 $_180 \/ c1_1 a183 \/ % 3.79/4.02 c3_1 $_180 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ % 3.79/4.02 hskp17 \/ hskp20 \/ hskp21 \/ hskp23 % 3.79/4.02 |- ~c0_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c1_1 $_180 \/ % 3.79/4.02 c1_1 a183 \/ c3_1 $_180 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp13 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- c0_1 $_183 \/ c0_1 a192 \/ c1_1 $_183 \/ c1_1 $_184 \/ c2_1 $_184 \/ % 3.79/4.02 c2_1 a192 \/ c3_1 $_184 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_185 \/ % 3.79/4.02 c0_1 a192 \/ c1_1 $_186 \/ c2_1 $_185 \/ c2_1 $_186 \/ c2_1 a192 \/ % 3.79/4.02 c3_1 $U \/ c3_1 $V \/ c3_1 $_185 \/ c3_1 $_186 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_185 \/ c0_1 a192 \/ % 3.79/4.02 c1_1 $_186 \/ c2_1 $_185 \/ c2_1 $_186 \/ c2_1 a192 \/ c3_1 $V \/ % 3.79/4.02 c3_1 $_185 \/ c3_1 $_186 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp28 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_185 \/ c0_1 a192 \/ c1_1 $_186 \/ % 3.79/4.02 c2_1 $U \/ c2_1 $_185 \/ c2_1 $_186 \/ c2_1 a192 \/ c3_1 $U \/ % 3.79/4.02 c3_1 $_185 \/ c3_1 $_186 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp28 \/ hskp3 % 3.79/4.02 |- ~hskp4 \/ c0_1 $_185 \/ c0_1 a192 \/ c1_1 $_185 \/ c1_1 a176 \/ % 3.79/4.02 c2_1 a176 \/ c2_1 a192 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp5 \/ c0_1 $_185 \/ c0_1 a192 \/ c1_1 $_185 \/ c1_1 a178 \/ % 3.79/4.02 c2_1 a178 \/ c2_1 a192 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp21 \/ hskp28 % 3.79/4.02 |- ~c1_1 $_191 \/ ~c1_1 a183 \/ ~ndr1_0 \/ c0_1 $_189 \/ c1_1 $_189 \/ % 3.79/4.02 c2_1 $_191 \/ c3_1 $_189 \/ c3_1 $_191 \/ c3_1 a183 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- ~c0_1 $_202 \/ ~ndr1_0 \/ c0_1 $_203 \/ c1_1 $_202 \/ c1_1 $_203 \/ % 3.79/4.02 c1_1 a178 \/ c2_1 $_202 \/ c2_1 a178 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp18 \/ hskp20 \/ hskp21 % 3.79/4.02 |- c0_1 $_208 \/ c1_1 $_208 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 a178 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ % 3.79/4.02 hskp22 % 3.79/4.02 |- ~c1_1 a190 \/ ~c2_1 $_52 \/ ~ndr1_0 \/ c0_1 $_209 \/ c0_1 $_52 \/ % 3.79/4.02 c1_1 a178 \/ c1_1 a181 \/ c2_1 $_209 \/ c2_1 a178 \/ c3_1 $_209 \/ % 3.79/4.02 c3_1 $_52 \/ c3_1 a190 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_209 \/ % 3.79/4.02 c1_1 a178 \/ c1_1 a181 \/ c2_1 $_209 \/ c2_1 a178 \/ c3_1 $U \/ % 3.79/4.02 c3_1 $V \/ c3_1 $_209 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_209 \/ c1_1 a178 \/ % 3.79/4.02 c1_1 a181 \/ c2_1 $_209 \/ c2_1 a178 \/ c3_1 $V \/ c3_1 $_209 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ % 3.79/4.02 hskp22 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_209 \/ c1_1 a178 \/ c1_1 a181 \/ % 3.79/4.02 c2_1 $U \/ c2_1 $_209 \/ c2_1 a178 \/ c3_1 $U \/ c3_1 $_209 \/ hskp10 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 \/ % 3.79/4.02 hskp3 % 3.79/4.02 |- c0_1 $_210 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 a178 \/ c3_1 $_210 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp20 \/ % 3.79/4.02 hskp21 \/ hskp22 \/ hskp4 % 3.79/4.02 |- ~hskp7 \/ c0_1 a189 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 a178 \/ hskp10 \/ % 3.79/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp21 \/ % 3.79/4.02 hskp22 \/ hskp4 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_211 \/ c1_1 $U \/ c1_1 a178 \/ % 3.79/4.02 c1_1 a181 \/ c2_1 $_211 \/ c2_1 a178 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp17 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp4 % 3.79/4.02 |- ~c3_1 $_212 \/ ~ndr1_0 \/ c0_1 $_212 \/ c0_1 $_213 \/ c1_1 $_213 \/ % 3.79/4.02 c1_1 a178 \/ c2_1 $_212 \/ c2_1 a178 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp17 \/ hskp20 \/ hskp21 % 3.79/4.02 |- c0_1 $_220 \/ c0_1 a192 \/ c1_1 $_220 \/ c1_1 $_221 \/ c2_1 $_221 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_222 \/ % 3.79/4.02 c0_1 a192 \/ c1_1 $_223 \/ c2_1 $_222 \/ c2_1 $_223 \/ c3_1 $U \/ % 3.79/4.02 c3_1 $V \/ c3_1 $_222 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.79/4.02 hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_222 \/ c0_1 a192 \/ % 3.79/4.02 c1_1 $_223 \/ c2_1 $_222 \/ c2_1 $_223 \/ c3_1 $V \/ c3_1 $_222 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_223 \/ % 3.79/4.02 c2_1 $U \/ c2_1 $_222 \/ c2_1 $_223 \/ c3_1 $U \/ c3_1 $_222 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 \/ % 3.79/4.02 hskp3 % 3.79/4.02 |- ~hskp14 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a167 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- ~hskp0 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a168 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp2 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a172 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp3 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a173 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp6 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a181 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.79/4.02 |- ~hskp26 \/ c0_1 $_222 \/ c0_1 a192 \/ c1_1 $_222 \/ c1_1 a187 \/ % 3.79/4.02 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- ~c0_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_222 \/ % 3.79/4.02 c0_1 a192 \/ c1_1 $_222 \/ c1_1 $_223 \/ c3_1 $_223 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- c0_1 $_231 \/ c0_1 a192 \/ c1_1 $_231 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp0 \/ c0_1 a168 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp2 \/ c0_1 a172 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp3 \/ c0_1 a173 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp4 \/ c0_1 a176 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp26 \/ c0_1 a187 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~hskp9 \/ c0_1 a192 \/ c0_1 a195 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_232 \/ % 3.79/4.02 c0_1 a192 \/ c2_1 $_232 \/ c3_1 $U \/ c3_1 $V \/ c3_1 $_232 \/ hskp1 \/ % 3.79/4.02 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ % 3.79/4.02 hskp28 % 3.79/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_232 \/ c0_1 a192 \/ % 3.79/4.02 c2_1 $_232 \/ c3_1 $V \/ c3_1 $_232 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 % 3.79/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_232 \/ c0_1 a192 \/ c2_1 $U \/ % 3.79/4.02 c2_1 $_232 \/ c3_1 $U \/ c3_1 $_232 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.79/4.02 |- c0_1 $_234 \/ c0_1 a192 \/ c3_1 $_234 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp21 \/ hskp22 \/ hskp28 \/ % 3.79/4.02 hskp4 % 3.79/4.02 |- ~hskp7 \/ c0_1 a189 \/ c0_1 a192 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.79/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp21 \/ hskp22 \/ hskp28 \/ % 3.79/4.02 hskp4 % 3.79/4.02 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_235 \/ c0_1 a192 \/ c1_1 $U \/ % 3.79/4.02 c2_1 $_235 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp4 % 3.79/4.02 |- c0_1 $_236 \/ c0_1 a192 \/ c1_1 $_237 \/ c2_1 $_237 \/ c2_1 a192 \/ % 3.79/4.02 c3_1 $_236 \/ c3_1 $_237 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~hskp5 \/ c0_1 a178 \/ c0_1 a192 \/ c1_1 $_239 \/ c2_1 $_239 \/ % 3.79/4.02 c2_1 a192 \/ c3_1 $_239 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~hskp7 \/ c0_1 a189 \/ c0_1 a192 \/ c1_1 $_239 \/ c2_1 $_239 \/ % 3.79/4.02 c2_1 a192 \/ c3_1 $_239 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp28 \/ hskp4 % 3.79/4.02 |- ~hskp5 \/ c0_1 $_238 \/ c0_1 a192 \/ c1_1 a178 \/ c2_1 a178 \/ % 3.79/4.02 c2_1 a192 \/ c3_1 $_238 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.79/4.02 hskp19 \/ hskp21 \/ hskp28 \/ hskp4 % 3.88/4.02 |- ~c3_1 $_247 \/ ~ndr1_0 \/ c0_1 $_247 \/ c0_1 $_248 \/ c1_1 $_248 \/ % 3.88/4.02 c1_1 $_249 \/ c2_1 $_247 \/ c2_1 $_249 \/ c3_1 $_249 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp22 % 3.88/4.02 |- ~c0_1 $_257 \/ ~ndr1_0 \/ c0_1 $_258 \/ c1_1 $_257 \/ c1_1 $_258 \/ % 3.88/4.02 c1_1 $_259 \/ c2_1 $_257 \/ c2_1 $_259 \/ c3_1 $_259 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp18 \/ hskp20 \/ hskp21 % 3.88/4.02 |- ~c1_1 a190 \/ ~c2_1 $_52 \/ ~ndr1_0 \/ c0_1 $_265 \/ c0_1 $_52 \/ % 3.88/4.02 c1_1 $_266 \/ c1_1 a181 \/ c2_1 $_265 \/ c2_1 $_266 \/ c2_1 a181 \/ % 3.88/4.02 c3_1 $_265 \/ c3_1 $_266 \/ c3_1 $_52 \/ c3_1 a190 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.02 |- ~c3_1 $_268 \/ ~ndr1_0 \/ c0_1 $_268 \/ c0_1 $_269 \/ c1_1 $_269 \/ % 3.88/4.02 c1_1 $_270 \/ c2_1 $_268 \/ c2_1 $_270 \/ c3_1 $_270 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp20 \/ hskp21 % 3.88/4.02 |- ~c0_1 $_274 \/ ~ndr1_0 \/ c0_1 $_275 \/ c1_1 $_274 \/ c1_1 $_275 \/ % 3.88/4.02 c1_1 $_276 \/ c2_1 $_274 \/ c2_1 $_276 \/ c3_1 $_276 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- c0_1 $_280 \/ c1_1 $_280 \/ c1_1 $_281 \/ c1_1 a181 \/ c2_1 $_281 \/ % 3.88/4.02 c2_1 a181 \/ c3_1 $_281 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.02 hskp18 \/ hskp22 % 3.88/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_282 \/ % 3.88/4.02 c1_1 $_283 \/ c1_1 a181 \/ c2_1 $_282 \/ c2_1 $_283 \/ c2_1 a181 \/ % 3.88/4.02 c3_1 $U \/ c3_1 $V \/ c3_1 $_282 \/ c3_1 $_283 \/ hskp10 \/ hskp11 \/ % 3.88/4.02 hskp12 \/ hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_282 \/ % 3.88/4.02 c1_1 $_283 \/ c1_1 a181 \/ c2_1 $_282 \/ c2_1 $_283 \/ c2_1 a181 \/ % 3.88/4.02 c3_1 $V \/ c3_1 $_282 \/ c3_1 $_283 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_282 \/ c1_1 $_283 \/ c1_1 a181 \/ % 3.88/4.02 c2_1 $U \/ c2_1 $_282 \/ c2_1 $_283 \/ c2_1 a181 \/ c3_1 $U \/ % 3.88/4.02 c3_1 $_282 \/ c3_1 $_283 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.02 hskp18 \/ hskp22 \/ hskp3 % 3.88/4.02 |- ~hskp4 \/ c0_1 $_282 \/ c1_1 $_282 \/ c1_1 a176 \/ c1_1 a181 \/ % 3.88/4.02 c2_1 a176 \/ c2_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.02 hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp5 \/ c0_1 $_282 \/ c1_1 $_282 \/ c1_1 a178 \/ c1_1 a181 \/ % 3.88/4.02 c2_1 a178 \/ c2_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.02 hskp18 \/ hskp22 % 3.88/4.02 |- c0_1 $_291 \/ c1_1 $_291 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.02 hskp15 \/ hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp0 \/ c0_1 a168 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp2 \/ c0_1 a172 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp3 \/ c0_1 a173 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp4 \/ c0_1 a176 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp5 \/ c0_1 a178 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp21 \/ c0_1 a180 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp26 \/ c0_1 a187 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~hskp9 \/ c0_1 a195 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_292 \/ % 3.88/4.02 c2_1 $_292 \/ c3_1 $U \/ c3_1 $V \/ c3_1 $_292 \/ hskp1 \/ hskp10 \/ % 3.88/4.02 hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_292 \/ % 3.88/4.02 c2_1 $_292 \/ c3_1 $V \/ c3_1 $_292 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.02 hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp22 % 3.88/4.02 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_292 \/ c2_1 $U \/ c2_1 $_292 \/ c3_1 $U \/ % 3.88/4.02 c3_1 $_292 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.88/4.02 hskp18 \/ hskp22 \/ hskp3 % 3.88/4.02 |- c0_1 $_293 \/ c3_1 $_293 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.02 hskp15 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.02 |- ~hskp7 \/ c0_1 a189 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.02 hskp17 \/ hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_294 \/ c1_1 $U \/ % 3.88/4.03 c2_1 $_294 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- c0_1 $_295 \/ c1_1 $_296 \/ c1_1 a181 \/ c2_1 $_296 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_295 \/ c3_1 $_296 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~hskp5 \/ c0_1 a178 \/ c1_1 $_298 \/ c1_1 a181 \/ c2_1 $_298 \/ % 3.88/4.03 c2_1 a181 \/ c3_1 $_298 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~hskp7 \/ c0_1 a189 \/ c1_1 $_298 \/ c1_1 a181 \/ c2_1 $_298 \/ % 3.88/4.03 c2_1 a181 \/ c3_1 $_298 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 $_297 \/ c1_1 $_298 \/ c1_1 a181 \/ % 3.88/4.03 c1_1 a192 \/ c2_1 $_297 \/ c2_1 $_298 \/ c2_1 a181 \/ c3_1 $_298 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp21 \/ % 3.88/4.03 hskp22 \/ hskp28 \/ hskp4 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_297 \/ c1_1 $U \/ % 3.88/4.03 c1_1 $_298 \/ c1_1 a181 \/ c2_1 $_297 \/ c2_1 $_298 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_298 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~hskp5 \/ c0_1 $_297 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 a178 \/ % 3.88/4.03 c2_1 a181 \/ c3_1 $_297 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp22 \/ hskp4 % 3.88/4.03 |- c0_1 a178 \/ c1_1 $_299 \/ c1_1 a181 \/ c2_1 $_299 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_299 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp19 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~c0_1 $_303 \/ ~ndr1_0 \/ c0_1 $_304 \/ c1_1 $_303 \/ c1_1 $_304 \/ % 3.88/4.03 c1_1 $_305 \/ c2_1 $_303 \/ c2_1 $_305 \/ c3_1 $_305 \/ hskp10 \/ % 3.88/4.03 hskp11 \/ hskp12 \/ hskp18 \/ hskp21 \/ hskp28 % 3.88/4.03 |- ~c3_1 $_309 \/ ~ndr1_0 \/ c0_1 $_309 \/ c0_1 $_310 \/ c1_1 $_310 \/ % 3.88/4.03 c1_1 $_311 \/ c2_1 $_309 \/ c2_1 $_311 \/ c3_1 $_311 \/ hskp10 \/ % 3.88/4.03 hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp28 % 3.88/4.03 |- c0_1 $_322 \/ c0_1 a192 \/ c1_1 $_323 \/ c2_1 $_323 \/ c3_1 $_322 \/ % 3.88/4.03 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ % 3.88/4.03 hskp21 \/ hskp28 \/ hskp4 % 3.88/4.03 |- ~c0_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_324 \/ % 3.88/4.03 c0_1 a192 \/ c1_1 $_325 \/ c3_1 $_324 \/ c3_1 $_325 \/ hskp1 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp13 \/ hskp15 \/ hskp17 \/ hskp19 \/ % 3.88/4.03 hskp21 \/ hskp28 \/ hskp4 % 3.88/4.03 |- ~hskp5 \/ c0_1 a178 \/ c0_1 a192 \/ c1_1 $_325 \/ c2_1 $_325 \/ hskp1 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp21 \/ % 3.88/4.03 hskp28 \/ hskp4 % 3.88/4.03 |- ~hskp7 \/ c0_1 a189 \/ c0_1 a192 \/ c1_1 $_325 \/ c2_1 $_325 \/ hskp1 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp21 \/ % 3.88/4.03 hskp28 \/ hskp4 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_324 \/ c0_1 a192 \/ c1_1 $U \/ % 3.88/4.03 c1_1 $_325 \/ c2_1 $_324 \/ c2_1 $_325 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp19 \/ hskp21 \/ hskp28 \/ hskp4 % 3.88/4.03 |- c0_1 $_338 \/ c1_1 a181 \/ c2_1 $_338 \/ c2_1 a181 \/ c3_1 $_338 \/ % 3.88/4.03 hskp1 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.88/4.03 hskp23 \/ hskp24 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_339 \/ c1_1 $U \/ c1_1 a181 \/ % 3.88/4.03 c2_1 $_339 \/ c2_1 a181 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp15 \/ % 3.88/4.03 hskp17 \/ hskp18 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp3 % 3.88/4.03 |- ~c3_1 $_347 \/ ~ndr1_0 \/ c0_1 $_347 \/ c0_1 $_348 \/ c1_1 $_348 \/ % 3.88/4.03 c1_1 $_349 \/ c2_1 $_347 \/ c2_1 $_349 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp22 % 3.88/4.03 |- c0_1 $_357 \/ c0_1 a192 \/ c2_1 $_357 \/ c2_1 a181 \/ c3_1 $_357 \/ % 3.88/4.03 c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp23 \/ % 3.88/4.03 hskp24 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_358 \/ c0_1 a192 \/ c1_1 $U \/ % 3.88/4.03 c2_1 $_358 \/ c2_1 a181 \/ c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp21 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.88/4.03 ~ndr1_0 \/ c0_1 $_358 \/ c0_1 a192 \/ c2_1 $_358 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_358 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ % 3.88/4.03 hskp23 \/ hskp24 \/ hskp28 \/ hskp3 % 3.88/4.03 |- c0_1 $_359 \/ c0_1 a192 \/ c1_1 a181 \/ c2_1 $_359 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_359 \/ hskp1 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ % 3.88/4.03 hskp22 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_360 \/ c0_1 a192 \/ c1_1 $U \/ % 3.88/4.03 c1_1 a181 \/ c2_1 $_360 \/ c2_1 a181 \/ hskp1 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp28 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- c0_1 $_363 \/ c2_1 $_363 \/ c2_1 a181 \/ c3_1 $_363 \/ c3_1 a181 \/ % 3.88/4.03 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp23 \/ hskp24 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 $_364 \/ c1_1 a192 \/ c2_1 $_364 \/ % 3.88/4.03 c2_1 a181 \/ c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp21 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_364 \/ c1_1 $U \/ % 3.88/4.03 c2_1 $_364 \/ c2_1 a181 \/ c3_1 a181 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp22 \/ hskp23 \/ hskp24 \/ hskp3 % 3.88/4.03 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.88/4.03 ~ndr1_0 \/ c0_1 $_364 \/ c2_1 $_364 \/ c2_1 a181 \/ c3_1 $_364 \/ % 3.88/4.03 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp23 \/ hskp24 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- ~c0_1 $_372 \/ ~ndr1_0 \/ c0_1 $_373 \/ c1_1 $_372 \/ c1_1 $_373 \/ % 3.88/4.03 c1_1 $_374 \/ c2_1 $_372 \/ c2_1 $_374 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp18 \/ hskp20 \/ hskp21 % 3.88/4.03 |- ~c3_1 $_378 \/ ~ndr1_0 \/ c0_1 $_378 \/ c0_1 $_379 \/ c1_1 $_379 \/ % 3.88/4.03 c1_1 $_380 \/ c2_1 $_378 \/ c2_1 $_380 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.88/4.03 |- c0_1 $_397 \/ c1_1 $_396 \/ c1_1 $_397 \/ c1_1 a178 \/ c1_1 a181 \/ % 3.88/4.03 c2_1 $_396 \/ c3_1 $_396 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~c1_1 a190 \/ ~c2_1 $_52 \/ ~ndr1_0 \/ c0_1 $_399 \/ c0_1 $_52 \/ % 3.88/4.03 c1_1 $_398 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 $_398 \/ c2_1 $_399 \/ % 3.88/4.03 c3_1 $_398 \/ c3_1 $_399 \/ c3_1 $_52 \/ c3_1 a190 \/ hskp10 \/ % 3.88/4.03 hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~c1_1 $V \/ ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_399 \/ % 3.88/4.03 c1_1 $_398 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 $_398 \/ c2_1 $_399 \/ % 3.88/4.03 c3_1 $U \/ c3_1 $V \/ c3_1 $_398 \/ c3_1 $_399 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_399 \/ % 3.88/4.03 c1_1 $_398 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 $_398 \/ c2_1 $_399 \/ % 3.88/4.03 c3_1 $V \/ c3_1 $_398 \/ c3_1 $_399 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $_399 \/ c1_1 $_398 \/ c1_1 a178 \/ % 3.88/4.03 c1_1 a181 \/ c2_1 $U \/ c2_1 $_398 \/ c2_1 $_399 \/ c3_1 $U \/ % 3.88/4.03 c3_1 $_398 \/ c3_1 $_399 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp3 % 3.88/4.03 |- ~hskp4 \/ c0_1 $_399 \/ c1_1 $_399 \/ c1_1 a176 \/ c1_1 a178 \/ % 3.88/4.03 c1_1 a181 \/ c2_1 a176 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- c0_1 $_407 \/ c1_1 a181 \/ c2_1 $_407 \/ c2_1 a181 \/ c3_1 $_407 \/ % 3.88/4.03 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp22 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_408 \/ c1_1 $U \/ c1_1 a181 \/ % 3.88/4.03 c2_1 $_408 \/ c2_1 a181 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp15 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp3 % 3.88/4.03 |- ~c3_1 $_411 \/ ~ndr1_0 \/ c0_1 $_411 \/ c0_1 $_412 \/ c1_1 $_412 \/ % 3.88/4.03 c1_1 $_413 \/ c2_1 $_411 \/ c2_1 $_413 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp28 % 3.88/4.03 |- ~c0_1 $_417 \/ ~ndr1_0 \/ c0_1 $_418 \/ c1_1 $_417 \/ c1_1 $_418 \/ % 3.88/4.03 c1_1 $_419 \/ c2_1 $_417 \/ c2_1 $_419 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp18 \/ hskp21 \/ hskp28 % 3.88/4.03 |- c0_1 $_433 \/ c2_1 $_433 \/ c2_1 a181 \/ c3_1 $_433 \/ c3_1 a181 \/ % 3.88/4.03 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp22 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_434 \/ c1_1 $U \/ % 3.88/4.03 c2_1 $_434 \/ c2_1 a181 \/ c3_1 a181 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp3 % 3.88/4.03 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.88/4.03 ~ndr1_0 \/ c0_1 $_434 \/ c2_1 $_434 \/ c2_1 a181 \/ c3_1 $_434 \/ % 3.88/4.03 hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp22 \/ hskp3 % 3.88/4.03 |- ~c0_1 $_439 \/ ~ndr1_0 \/ c1_1 $_439 \/ c1_1 $_440 \/ c1_1 a190 \/ % 3.88/4.03 c2_1 $_439 \/ c2_1 $_440 \/ c3_1 $_440 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp17 \/ hskp18 \/ hskp20 \/ hskp21 % 3.88/4.03 |- c1_1 $_443 \/ c1_1 a181 \/ c1_1 a190 \/ c2_1 $_443 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_443 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~hskp4 \/ c1_1 a176 \/ c1_1 a181 \/ c1_1 a190 \/ c2_1 a176 \/ % 3.88/4.03 c2_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ % 3.88/4.03 hskp21 \/ hskp22 % 3.88/4.03 |- c1_1 a178 \/ c1_1 a181 \/ c1_1 a190 \/ c2_1 a178 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- c1_1 $_447 \/ c1_1 a178 \/ c1_1 a181 \/ c1_1 a190 \/ c2_1 $_447 \/ % 3.88/4.03 c3_1 $_447 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp20 \/ hskp21 \/ hskp22 % 3.88/4.03 |- ~hskp4 \/ c1_1 a176 \/ c1_1 a178 \/ c1_1 a181 \/ c1_1 a190 \/ % 3.88/4.03 c2_1 a176 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp20 \/ % 3.88/4.03 hskp21 \/ hskp22 % 3.88/4.03 |- ~c0_1 $_477 \/ ~ndr1_0 \/ c1_1 $_477 \/ c1_1 $_478 \/ c1_1 a190 \/ % 3.88/4.03 c2_1 $_477 \/ c2_1 $_478 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp15 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp21 % 3.88/4.03 |- c0_1 $_482 \/ c1_1 $_481 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 $_481 \/ % 3.88/4.03 c3_1 $_481 \/ c3_1 $_482 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~hskp7 \/ c0_1 a189 \/ c1_1 $_483 \/ c1_1 a178 \/ c1_1 a181 \/ % 3.88/4.03 c2_1 $_483 \/ c3_1 $_483 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ % 3.88/4.03 hskp18 \/ hskp19 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp4 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_484 \/ c1_1 $U \/ % 3.88/4.03 c1_1 $_483 \/ c1_1 a178 \/ c1_1 a181 \/ c2_1 $_483 \/ c2_1 $_484 \/ % 3.88/4.03 c3_1 $_483 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ % 3.88/4.03 hskp19 \/ hskp20 \/ hskp21 \/ hskp22 \/ hskp4 % 3.88/4.03 |- c0_1 $_493 \/ c0_1 a192 \/ c1_1 $_494 \/ c2_1 $_493 \/ c2_1 $_494 \/ % 3.88/4.03 c2_1 a181 \/ c2_1 a192 \/ c3_1 $_493 \/ c3_1 $_494 \/ c3_1 a181 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- c0_1 $_493 \/ c0_1 a192 \/ c1_1 a181 \/ c2_1 $_493 \/ c2_1 a181 \/ % 3.88/4.03 c2_1 a192 \/ c3_1 $_493 \/ c3_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.88/4.03 ~ndr1_0 \/ c0_1 $_498 \/ c0_1 a192 \/ c1_1 $_499 \/ c2_1 $_498 \/ % 3.88/4.03 c2_1 $_499 \/ c2_1 a181 \/ c2_1 a192 \/ c3_1 $_498 \/ c3_1 $_499 \/ % 3.88/4.03 hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- c0_1 $_507 \/ c1_1 a181 \/ c2_1 $_507 \/ c2_1 a181 \/ c3_1 $_507 \/ % 3.88/4.03 c3_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 3.88/4.03 hskp3 % 3.88/4.03 |- ~c2_1 a192 \/ ~ndr1_0 \/ c0_1 $_509 \/ c1_1 a181 \/ c1_1 a192 \/ % 3.88/4.03 c2_1 $_509 \/ c2_1 a181 \/ c3_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp17 \/ hskp18 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_509 \/ c1_1 $U \/ c1_1 a181 \/ % 3.88/4.03 c2_1 $_509 \/ c2_1 a181 \/ c3_1 a181 \/ hskp10 \/ hskp11 \/ hskp12 \/ % 3.88/4.03 hskp17 \/ hskp18 \/ hskp22 \/ hskp3 % 3.88/4.03 |- ~c0_1 a190 \/ ~c2_1 $_523 \/ ~ndr1_0 \/ c1_1 $_523 \/ c1_1 $_524 \/ % 3.88/4.03 c1_1 a190 \/ c2_1 $_524 \/ c3_1 $_523 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp13 \/ hskp15 \/ hskp17 \/ hskp20 \/ hskp21 % 3.88/4.03 |- c0_1 $_537 \/ c0_1 a192 \/ c1_1 a181 \/ c2_1 $_537 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_537 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.88/4.03 hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_538 \/ c0_1 a192 \/ c1_1 $U \/ % 3.88/4.03 c1_1 a181 \/ c2_1 $_538 \/ c2_1 a181 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- c0_1 $_544 \/ c0_1 a192 \/ c2_1 $_544 \/ c2_1 a181 \/ c3_1 $_544 \/ % 3.88/4.03 c3_1 a181 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.88/4.03 hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $_545 \/ c0_1 a192 \/ c1_1 $U \/ % 3.88/4.03 c2_1 $_545 \/ c2_1 a181 \/ c3_1 a181 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 3.88/4.03 hskp12 \/ hskp15 \/ hskp17 \/ hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 |- ~c0_1 $U \/ ~c0_1 a181 \/ ~c1_1 $U \/ ~c1_1 a181 \/ ~c2_1 $U \/ % 3.88/4.03 ~ndr1_0 \/ c0_1 $_545 \/ c0_1 a192 \/ c2_1 $_545 \/ c2_1 a181 \/ % 3.88/4.03 c3_1 $_545 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp12 \/ hskp15 \/ hskp17 \/ % 3.88/4.03 hskp21 \/ hskp22 \/ hskp28 \/ hskp3 % 3.88/4.03 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 3.88/4.03 %------------------------------------------------------------------------------