%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN433-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:27 EDT 2022 % Result : Satisfiable 74.13s 74.30s % Output : Saturation 74.13s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SYN433-1 : TPTP v8.1.0. Released v2.1.0. % 0.12/0.12 % Command : metis --show proof --show saturation %s % 0.12/0.33 % Computer : n024.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Mon Jul 11 17:38:13 EDT 2022 % 0.12/0.33 % CPUTime : % 0.20/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 74.13/74.30 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 74.13/74.30 % 74.13/74.30 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 74.13/74.30 |- ~hskp25 \/ ndr1_0 % 74.13/74.30 |- ~hskp24 \/ ndr1_0 % 74.13/74.30 |- ~hskp23 \/ ndr1_0 % 74.13/74.30 |- ~hskp22 \/ ndr1_0 % 74.13/74.30 |- ~hskp21 \/ ndr1_0 % 74.13/74.30 |- ~hskp20 \/ ndr1_0 % 74.13/74.30 |- ~hskp19 \/ ndr1_0 % 74.13/74.30 |- ~hskp18 \/ ndr1_0 % 74.13/74.30 |- ~hskp17 \/ ndr1_0 % 74.13/74.30 |- ~hskp16 \/ ndr1_0 % 74.13/74.30 |- ~hskp15 \/ ndr1_0 % 74.13/74.30 |- ~hskp14 \/ ndr1_0 % 74.13/74.30 |- ~hskp13 \/ ndr1_0 % 74.13/74.30 |- ~hskp12 \/ ndr1_0 % 74.13/74.30 |- ~hskp11 \/ ndr1_0 % 74.13/74.30 |- ~hskp10 \/ ndr1_0 % 74.13/74.30 |- ~hskp9 \/ ndr1_0 % 74.13/74.30 |- ~hskp8 \/ ndr1_0 % 74.13/74.30 |- ~hskp7 \/ ndr1_0 % 74.13/74.30 |- ~hskp6 \/ ndr1_0 % 74.13/74.30 |- ~hskp5 \/ ndr1_0 % 74.13/74.30 |- ~hskp4 \/ ndr1_0 % 74.13/74.30 |- ~hskp3 \/ ndr1_0 % 74.13/74.30 |- ~hskp2 \/ ndr1_0 % 74.13/74.30 |- ~hskp1 \/ ndr1_0 % 74.13/74.30 |- ~hskp0 \/ ndr1_0 % 74.13/74.30 |- hskp16 \/ hskp17 \/ hskp2 % 74.13/74.30 |- hskp18 \/ hskp3 \/ hskp4 % 74.13/74.30 |- hskp21 \/ hskp8 \/ hskp9 % 74.13/74.30 |- ~hskp25 \/ c1_1 a220 % 74.13/74.30 |- ~hskp25 \/ c2_1 a220 % 74.13/74.30 |- ~hskp25 \/ c0_1 a220 % 74.13/74.30 |- ~hskp24 \/ c2_1 a219 % 74.13/74.30 |- ~hskp24 \/ c1_1 a219 % 74.13/74.30 |- ~hskp24 \/ c0_1 a219 % 74.13/74.30 |- ~hskp23 \/ c2_1 a218 % 74.13/74.30 |- ~hskp23 \/ c0_1 a218 % 74.13/74.30 |- ~hskp23 \/ c3_1 a218 % 74.13/74.30 |- ~hskp22 \/ c2_1 a216 % 74.13/74.30 |- ~hskp22 \/ c3_1 a216 % 74.13/74.30 |- ~hskp22 \/ c0_1 a216 % 74.13/74.30 |- ~hskp21 \/ c2_1 a214 % 74.13/74.30 |- ~hskp21 \/ c0_1 a214 % 74.13/74.30 |- ~hskp20 \/ c0_1 a209 % 74.13/74.30 |- ~hskp20 \/ c1_1 a209 % 74.13/74.30 |- ~hskp19 \/ c2_1 a208 % 74.13/74.30 |- ~hskp19 \/ c0_1 a208 % 74.13/74.30 |- ~hskp19 \/ c1_1 a208 % 74.13/74.30 |- ~hskp18 \/ c1_1 a206 % 74.13/74.30 |- ~hskp18 \/ c3_1 a206 % 74.13/74.30 |- ~hskp18 \/ c0_1 a206 % 74.13/74.30 |- ~hskp17 \/ c2_1 a204 % 74.13/74.30 |- ~hskp17 \/ c3_1 a204 % 74.13/74.30 |- ~hskp16 \/ c3_1 a203 % 74.13/74.30 |- ~hskp16 \/ c0_1 a203 % 74.13/74.30 |- ~hskp15 \/ c2_1 a200 % 74.13/74.30 |- ~hskp15 \/ c3_1 a200 % 74.13/74.30 |- ~hskp14 \/ c0_1 a199 % 74.13/74.30 |- ~hskp14 \/ c3_1 a199 % 74.13/74.30 |- ~hskp13 \/ c3_1 a196 % 74.13/74.30 |- ~hskp12 \/ c3_1 a222 % 74.13/74.30 |- ~hskp12 \/ c0_1 a222 % 74.13/74.30 |- ~hskp10 \/ c0_1 a217 % 74.13/74.30 |- ~hskp8 \/ c2_1 a213 % 74.13/74.30 |- ~hskp7 \/ c1_1 a212 % 74.13/74.30 |- ~hskp6 \/ c2_1 a211 % 74.13/74.30 |- ~hskp4 \/ c0_1 a207 % 74.13/74.30 |- ~hskp3 \/ c0_1 a205 % 74.13/74.30 |- ~hskp2 \/ c2_1 a202 % 74.13/74.30 |- ~hskp2 \/ c0_1 a202 % 74.13/74.30 |- ~hskp1 \/ c3_1 a198 % 74.13/74.30 |- ~hskp1 \/ c0_1 a198 % 74.13/74.30 |- ~hskp0 \/ c1_1 a197 % 74.13/74.30 |- ~c3_1 a214 \/ ~hskp21 % 74.13/74.30 |- ~c2_1 a209 \/ ~hskp20 % 74.13/74.31 |- ~c0_1 a204 \/ ~hskp17 % 74.13/74.31 |- ~c1_1 a203 \/ ~hskp16 % 74.13/74.31 |- ~c0_1 a200 \/ ~hskp15 % 74.13/74.31 |- ~c2_1 a199 \/ ~hskp14 % 74.13/74.31 |- ~c2_1 a196 \/ ~hskp13 % 74.13/74.31 |- ~c0_1 a196 \/ ~hskp13 % 74.13/74.31 |- ~c2_1 a222 \/ ~hskp12 % 74.13/74.31 |- ~c1_1 a221 \/ ~hskp11 % 74.13/74.31 |- ~c2_1 a221 \/ ~hskp11 % 74.13/74.31 |- ~c3_1 a221 \/ ~hskp11 % 74.13/74.31 |- ~c3_1 a217 \/ ~hskp10 % 74.13/74.31 |- ~c1_1 a217 \/ ~hskp10 % 74.13/74.31 |- ~c2_1 a215 \/ ~hskp9 % 74.13/74.31 |- ~c1_1 a215 \/ ~hskp9 % 74.13/74.31 |- ~c0_1 a215 \/ ~hskp9 % 74.13/74.31 |- ~c3_1 a213 \/ ~hskp8 % 74.13/74.31 |- ~c0_1 a213 \/ ~hskp8 % 74.13/74.31 |- ~c0_1 a212 \/ ~hskp7 % 74.13/74.31 |- ~c3_1 a212 \/ ~hskp7 % 74.13/74.31 |- ~c3_1 a211 \/ ~hskp6 % 74.13/74.31 |- ~c0_1 a211 \/ ~hskp6 % 74.13/74.31 |- ~c3_1 a210 \/ ~hskp5 % 74.13/74.31 |- ~c2_1 a210 \/ ~hskp5 % 74.13/74.31 |- ~c1_1 a210 \/ ~hskp5 % 74.13/74.31 |- ~c3_1 a207 \/ ~hskp4 % 74.13/74.31 |- ~c1_1 a207 \/ ~hskp4 % 74.13/74.31 |- ~c2_1 a205 \/ ~hskp3 % 74.13/74.31 |- ~c1_1 a205 \/ ~hskp3 % 74.13/74.31 |- ~c3_1 a202 \/ ~hskp2 % 74.13/74.31 |- ~c1_1 a198 \/ ~hskp1 % 74.13/74.31 |- ~c3_1 a197 \/ ~hskp0 % 74.13/74.31 |- ~c0_1 a197 \/ ~hskp0 % 74.13/74.31 |- ~ndr1_0 \/ c0_1 $U \/ c2_1 $U \/ c3_1 $U \/ hskp0 \/ hskp13 % 74.13/74.31 |- ~ndr1_0 \/ c0_1 $U \/ c1_1 $U \/ c3_1 $U \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~c0_1 $U \/ ~ndr1_0 \/ c2_1 $U \/ c3_1 $U \/ hskp20 \/ hskp5 % 74.13/74.31 |- ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c1_1 $U \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ hskp11 \/ hskp25 % 74.13/74.31 |- ~c2_1 $U \/ ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $V \/ c1_1 $U \/ % 74.13/74.31 c3_1 $V \/ hskp10 % 74.13/74.31 |- ~c0_1 $U \/ ~c1_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ c2_1 $V \/ % 74.13/74.31 c3_1 $V \/ hskp15 % 74.13/74.31 |- ~c2_1 $V \/ ~c3_1 $U \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $V \/ % 74.13/74.31 c2_1 $U \/ hskp0 % 74.13/74.31 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $U \/ % 74.13/74.31 c2_1 $V \/ hskp19 % 74.13/74.31 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c1_1 $U \/ c2_1 $V \/ % 74.13/74.31 c3_1 $V \/ hskp22 % 74.13/74.31 |- ~c1_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $V \/ % 74.13/74.31 c2_1 $V \/ hskp12 % 74.13/74.31 |- ~c0_1 $V \/ ~c1_1 $U \/ ~c1_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c2_1 $U \/ % 74.13/74.31 c3_1 $V \/ hskp1 % 74.13/74.31 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c1_1 $V \/ ~c2_1 $V \/ ~ndr1_0 \/ c1_1 $U \/ % 74.13/74.31 c2_1 $U \/ hskp14 % 74.13/74.31 |- ~c0_1 $U \/ ~ndr1_0 \/ c0_1 $W \/ c1_1 $U \/ c1_1 $V \/ c1_1 $W \/ % 74.13/74.31 c2_1 $V \/ c2_1 $W \/ c3_1 $U \/ c3_1 $V % 74.13/74.31 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c1_1 $W \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $W \/ c1_1 $U \/ c3_1 $U \/ c3_1 $W % 74.13/74.31 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $V \/ c0_1 $W \/ c1_1 $V \/ c1_1 $W % 74.13/74.31 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c0_1 $W \/ ~c2_1 $V \/ ~c3_1 $W \/ ~ndr1_0 \/ % 74.13/74.31 c1_1 $U \/ c1_1 $V \/ c1_1 $W \/ c3_1 $U % 74.13/74.31 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 $V \/ c3_1 $V \/ hskp10 % 74.13/74.31 |- c0_1 a202 \/ hskp16 \/ hskp17 % 74.13/74.31 |- c2_1 a202 \/ hskp16 \/ hskp17 % 74.13/74.31 |- hskp16 \/ hskp17 \/ ndr1_0 % 74.13/74.31 |- c0_1 a207 \/ hskp18 \/ hskp3 % 74.13/74.31 |- hskp18 \/ hskp3 \/ ndr1_0 % 74.13/74.31 |- hskp21 \/ hskp8 \/ ndr1_0 % 74.13/74.31 |- c0_1 $_0 \/ c2_1 $_0 \/ c3_1 $_0 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- c0_1 $_0 \/ c2_1 $_0 \/ c3_1 $_0 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- c0_1 $_0 \/ c2_1 $_0 \/ c3_1 $_0 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- c0_1 $_1 \/ c1_1 $_1 \/ c3_1 $_1 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- c0_1 $_1 \/ c1_1 $_1 \/ c3_1 $_1 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- c0_1 $_1 \/ c1_1 $_1 \/ c3_1 $_1 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- c2_1 a207 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.31 |- c1_1 a202 \/ hskp11 \/ hskp16 \/ hskp17 \/ hskp25 % 74.13/74.31 |- hskp11 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 \/ hskp5 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~hskp7 \/ c0_1 a212 \/ c2_1 a212 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~hskp7 \/ c0_1 a212 \/ c2_1 a212 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~hskp7 \/ c0_1 a212 \/ c2_1 a212 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a211 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~hskp8 \/ c0_1 a213 \/ c1_1 a213 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp16 \/ hskp17 \/ hskp23 \/ % 74.13/74.31 hskp24 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a211 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~hskp8 \/ c0_1 a213 \/ c1_1 a213 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a211 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 \/ hskp8 % 74.13/74.31 |- c2_1 a213 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 \/ ndr1_0 % 74.13/74.31 |- ~c0_1 a213 \/ ~ndr1_0 \/ c1_1 a213 \/ hskp11 \/ hskp21 \/ hskp23 \/ % 74.13/74.31 hskp24 \/ hskp25 \/ hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_14 \/ c1_1 $_14 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- c0_1 $_16 \/ c1_1 $_16 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_22 \/ c2_1 $_22 \/ hskp0 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_22 \/ c2_1 $_22 \/ hskp0 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_22 \/ c2_1 $_22 \/ hskp0 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c2_1 $_22 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c2_1 $_22 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_23 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c2_1 $_22 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_22 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_23 \/ c2_1 $_22 \/ hskp0 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_22 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_23 \/ c2_1 $_22 \/ hskp0 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~c2_1 $_23 \/ ~c3_1 $_22 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_23 \/ % 74.13/74.31 c1_1 $_23 \/ c2_1 $_22 \/ hskp0 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- ~c0_1 $_24 \/ ~c2_1 $_24 \/ ~ndr1_0 \/ c0_1 $_25 \/ c1_1 $_24 \/ % 74.13/74.31 c2_1 $_25 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c0_1 $_24 \/ ~c2_1 $_24 \/ ~ndr1_0 \/ c0_1 $_25 \/ c1_1 $_24 \/ % 74.13/74.31 c2_1 $_25 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c0_1 a202 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/ c1_1 a202 \/ % 74.13/74.31 c2_1 $_25 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.31 |- ~c0_1 a207 \/ ~c1_1 $_25 \/ ~ndr1_0 \/ c0_1 $_25 \/ c1_1 a207 \/ % 74.13/74.31 c2_1 $_25 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.31 |- ~c0_1 $_31 \/ ~c1_1 $_30 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_30 \/ % 74.13/74.31 c2_1 $_30 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~c0_1 $_31 \/ ~c1_1 $_30 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_30 \/ % 74.13/74.31 c2_1 $_30 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~c0_1 $_31 \/ ~c1_1 $_30 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_30 \/ % 74.13/74.31 c2_1 $_30 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~c0_1 $_32 \/ ~c0_1 a202 \/ ~c1_1 a202 \/ ~ndr1_0 \/ c1_1 $_32 \/ % 74.13/74.31 c2_1 $_32 \/ hskp14 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~c0_1 $_32 \/ ~c0_1 a207 \/ ~c1_1 a207 \/ ~ndr1_0 \/ c1_1 $_32 \/ % 74.13/74.31 c2_1 $_32 \/ hskp14 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.31 |- ~c0_1 $_32 \/ ~c0_1 a213 \/ ~c1_1 a213 \/ ~ndr1_0 \/ c1_1 $_32 \/ % 74.13/74.31 c2_1 $_32 \/ hskp14 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_36 \/ ~ndr1_0 \/ c1_1 $_36 \/ c2_1 $_36 \/ hskp11 \/ hskp14 \/ % 74.13/74.31 hskp16 \/ hskp17 \/ hskp25 % 74.13/74.31 |- hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp25 % 74.13/74.31 |- c0_1 a220 \/ hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.31 |- c2_1 a220 \/ hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.31 |- c1_1 a220 \/ hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.31 |- c0_1 $_38 \/ c1_1 $_38 \/ c2_1 $_38 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.31 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.31 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a215 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.31 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.31 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_40 \/ c1_1 $_40 \/ c2_1 $_40 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.31 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.31 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a215 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.31 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.31 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.31 |- hskp0 \/ hskp13 \/ hskp21 \/ hskp6 \/ hskp7 \/ hskp8 % 74.13/74.31 |- c2_1 a213 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- hskp0 \/ hskp13 \/ hskp21 \/ hskp6 \/ hskp7 \/ ndr1_0 % 74.13/74.31 |- c0_1 $U \/ c2_1 $U \/ c3_1 $U \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c0_1 a213 \/ ~c1_1 a213 \/ ~ndr1_0 \/ c1_1 $U \/ c2_1 $U \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp14 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 a213 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 a213 \/ c2_1 $V \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp19 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 a213 \/ ~ndr1_0 \/ c1_1 a213 \/ hskp0 \/ hskp11 \/ hskp13 \/ % 74.13/74.31 hskp21 \/ hskp25 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $V \/ ~c1_1 $V \/ ~c1_1 $_44 \/ ~ndr1_0 \/ c0_1 $_44 \/ % 74.13/74.31 c2_1 $_44 \/ c3_1 $V \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_44 \/ c2_1 $_44 \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_46 \/ c1_1 $_46 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_47 \/ c1_1 $U \/ c2_1 $_47 \/ % 74.13/74.31 hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_52 \/ c1_1 a202 \/ c2_1 $_52 \/ hskp16 \/ hskp17 \/ hskp19 \/ % 74.13/74.31 hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a202 \/ hskp16 \/ hskp17 \/ hskp19 \/ % 74.13/74.31 hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 a213 \/ ~ndr1_0 \/ c0_1 $_54 \/ c1_1 a213 \/ c2_1 $_54 \/ % 74.13/74.31 hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_56 \/ c1_1 $_56 \/ c2_1 $_56 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a210 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a215 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a221 \/ hskp0 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- c0_1 $_60 \/ c1_1 $_60 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ % 74.13/74.31 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_61 \/ c1_1 $U \/ c2_1 $_61 \/ % 74.13/74.31 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c2_1 $_67 \/ ~ndr1_0 \/ c0_1 $_66 \/ c0_1 $_67 \/ c1_1 $_67 \/ % 74.13/74.31 c2_1 $_66 \/ hskp0 \/ hskp13 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.31 |- ~c2_1 $_69 \/ ~ndr1_0 \/ c0_1 $_68 \/ c0_1 $_69 \/ c1_1 $_69 \/ % 74.13/74.31 c2_1 $_68 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.31 |- ~c2_1 $_71 \/ ~ndr1_0 \/ c0_1 $_70 \/ c0_1 $_71 \/ c1_1 $_71 \/ % 74.13/74.31 c2_1 $_70 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.31 |- c0_1 $_73 \/ c1_1 a207 \/ c2_1 $_73 \/ hskp18 \/ hskp19 \/ hskp20 \/ % 74.13/74.31 hskp23 \/ hskp24 \/ hskp3 \/ hskp5 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a207 \/ hskp18 \/ hskp19 \/ hskp20 \/ % 74.13/74.31 hskp23 \/ hskp24 \/ hskp3 \/ hskp5 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_78 \/ ~c1_1 $_79 \/ ~c2_1 $_79 \/ ~c3_1 $_79 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_80 \/ c1_1 $_78 \/ c3_1 $_78 \/ c3_1 $_80 \/ hskp0 \/ hskp10 \/ % 74.13/74.31 hskp13 \/ hskp16 \/ hskp17 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_78 \/ ~c1_1 $_79 \/ ~c2_1 $_79 \/ ~c3_1 $_79 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_80 \/ c1_1 $_78 \/ c3_1 $_78 \/ c3_1 $_80 \/ hskp21 \/ hskp23 \/ % 74.13/74.31 hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_78 \/ ~c1_1 $_79 \/ ~c2_1 $_79 \/ ~c3_1 $_79 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_80 \/ c1_1 $_78 \/ c3_1 $_78 \/ c3_1 $_80 \/ hskp18 \/ hskp23 \/ % 74.13/74.31 hskp24 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_78 \/ ~c1_1 $_79 \/ ~c2_1 $_79 \/ ~c3_1 $_79 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_80 \/ c1_1 $_78 \/ c3_1 $_78 \/ c3_1 $_80 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ hskp21 \/ hskp23 \/ % 74.13/74.31 hskp24 \/ hskp8 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ hskp18 \/ hskp23 \/ % 74.13/74.31 hskp24 \/ hskp3 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp23 \/ hskp24 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ c2_1 $_83 \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp21 \/ hskp8 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ c2_1 $_83 \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.31 |- ~c0_1 $_81 \/ ~c2_1 $_81 \/ ~c2_1 $_82 \/ ~c3_1 $_81 \/ ~ndr1_0 \/ % 74.13/74.31 c0_1 $_82 \/ c0_1 $_83 \/ c1_1 $_82 \/ c1_1 $_83 \/ c2_1 $_83 \/ % 74.13/74.31 hskp0 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.31 |- ~c0_1 $_88 \/ ~ndr1_0 \/ c1_1 $_88 \/ c2_1 $_88 \/ hskp11 \/ hskp14 \/ % 74.13/74.31 hskp16 \/ hskp17 \/ hskp18 % 74.13/74.31 |- c1_1 a207 \/ c2_1 a207 \/ hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.31 hskp18 \/ hskp3 % 74.13/74.31 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 a207 \/ c2_1 $V \/ % 74.13/74.31 hskp11 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.31 |- c0_1 $_92 \/ c1_1 $_92 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp21 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~hskp5 \/ c0_1 a210 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp9 \/ c0_1 a215 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~hskp11 \/ c0_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.31 hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_93 \/ % 74.13/74.31 c1_1 $U \/ c3_1 $U \/ c3_1 $_93 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.31 hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_93 \/ c1_1 $U \/ c2_1 $_93 \/ % 74.13/74.31 hskp0 \/ hskp10 \/ hskp13 \/ hskp19 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_97 \/ ~c1_1 $_97 \/ ~ndr1_0 \/ c0_1 $_96 \/ c2_1 $_96 \/ % 74.13/74.31 c3_1 $_97 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 \/ % 74.13/74.31 hskp6 \/ hskp7 % 74.13/74.31 |- ~c0_1 $_97 \/ ~c1_1 $_97 \/ ~ndr1_0 \/ c0_1 $_96 \/ c2_1 $_96 \/ % 74.13/74.31 c3_1 $_97 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.31 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 $_99 \/ ~c1_1 $_99 \/ ~ndr1_0 \/ c0_1 $_98 \/ c2_1 $_98 \/ % 74.13/74.32 c3_1 $_99 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 $_99 \/ ~c1_1 $_99 \/ ~ndr1_0 \/ c0_1 $_98 \/ c2_1 $_98 \/ % 74.13/74.32 c3_1 $_99 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp23 \/ % 74.13/74.32 hskp24 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 a202 \/ ~c1_1 $_98 \/ ~ndr1_0 \/ c0_1 $_98 \/ c2_1 $_98 \/ % 74.13/74.32 c3_1 a202 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp25 % 74.13/74.32 |- ~c0_1 a220 \/ ~c1_1 $_98 \/ ~ndr1_0 \/ c0_1 $_98 \/ c2_1 $_98 \/ % 74.13/74.32 c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.32 hskp17 \/ hskp18 % 74.13/74.32 |- c0_1 $_114 \/ c1_1 $_114 \/ c1_1 a207 \/ c2_1 $_114 \/ c2_1 a207 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ c1_1 a210 \/ c2_1 a207 \/ hskp18 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a207 \/ c1_1 a215 \/ c2_1 a207 \/ hskp18 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a207 \/ c1_1 a221 \/ c2_1 a207 \/ hskp18 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ c0_1 $W \/ % 74.13/74.32 c0_1 $_115 \/ c1_1 $W \/ c1_1 $_115 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_115 \/ c1_1 $_115 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 a207 \/ c3_1 $V \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_115 \/ % 74.13/74.32 c1_1 $_115 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_115 \/ hskp18 \/ hskp19 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- c0_1 a215 \/ c1_1 a207 \/ c1_1 a215 \/ c2_1 a207 \/ hskp18 \/ hskp21 \/ % 74.13/74.32 hskp3 \/ hskp8 % 74.13/74.32 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 a215 \/ % 74.13/74.32 c1_1 a207 \/ c1_1 a215 \/ c2_1 $V \/ hskp18 \/ hskp19 \/ hskp21 \/ % 74.13/74.32 hskp3 \/ hskp8 % 74.13/74.32 |- c0_1 a210 \/ hskp11 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.32 |- hskp11 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3 \/ hskp8 % 74.13/74.32 |- c0_1 a213 \/ c1_1 a213 \/ hskp11 \/ hskp18 \/ hskp21 \/ hskp23 \/ % 74.13/74.32 hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c2_1 a213 \/ hskp11 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c0_1 a213 \/ ~c1_1 a213 \/ ~ndr1_0 \/ c1_1 $U \/ c2_1 $U \/ % 74.13/74.32 hskp11 \/ hskp14 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 a213 \/ ~ndr1_0 \/ c1_1 a213 \/ hskp11 \/ hskp18 \/ hskp21 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 a213 \/ c1_1 a213 \/ hskp10 \/ hskp11 \/ hskp18 \/ hskp21 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_116 \/ c1_1 $_116 \/ c1_1 a207 \/ c2_1 a207 \/ c3_1 $_116 \/ % 74.13/74.32 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a207 \/ c1_1 a211 \/ c2_1 a207 \/ hskp10 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp8 \/ c0_1 a213 \/ c1_1 a207 \/ c1_1 a213 \/ c2_1 a207 \/ hskp10 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- c0_1 $_119 \/ c1_1 $_119 \/ c1_1 a207 \/ c2_1 $_119 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a196 \/ c1_1 a207 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ c1_1 a210 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a207 \/ c1_1 a215 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ c0_1 $W \/ % 74.13/74.32 c0_1 $_120 \/ c1_1 $W \/ c1_1 $_120 \/ c1_1 a207 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_120 \/ c1_1 $_120 \/ % 74.13/74.32 c1_1 a207 \/ c3_1 $V \/ hskp10 \/ hskp11 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_123 \/ c1_1 $_123 \/ c1_1 a207 \/ c3_1 $_123 \/ hskp10 \/ % 74.13/74.32 hskp11 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a207 \/ c1_1 a211 \/ hskp10 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp8 \/ c0_1 a213 \/ c1_1 a207 \/ c1_1 a213 \/ hskp10 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_143 \/ c1_1 a207 \/ c2_1 $_143 \/ hskp11 \/ hskp14 \/ hskp16 \/ % 74.13/74.32 hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.32 hskp7 % 74.13/74.32 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a207 \/ hskp11 \/ hskp14 \/ hskp16 \/ % 74.13/74.32 hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ % 74.13/74.32 hskp7 % 74.13/74.32 |- c0_1 $_148 \/ c1_1 $_147 \/ c1_1 $_148 \/ c1_1 a202 \/ c2_1 $_147 \/ % 74.13/74.32 c2_1 $_148 \/ c3_1 $_147 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ c0_1 $W \/ % 74.13/74.32 c0_1 $_150 \/ c1_1 $W \/ c1_1 $_149 \/ c1_1 $_150 \/ c1_1 a202 \/ % 74.13/74.32 c2_1 $_149 \/ c3_1 $_149 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_150 \/ c1_1 $_149 \/ % 74.13/74.32 c1_1 $_150 \/ c1_1 a202 \/ c2_1 $_149 \/ c3_1 $V \/ c3_1 $_149 \/ % 74.13/74.32 hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp4 \/ c0_1 $_150 \/ c1_1 $_150 \/ c1_1 a202 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 $_150 \/ c2_1 a207 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_150 \/ c1_1 $_150 \/ c1_1 a202 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 $_150 \/ c2_1 a210 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp10 \/ c0_1 $_150 \/ c1_1 $_150 \/ c1_1 a202 \/ c1_1 a217 \/ % 74.13/74.32 c2_1 $_150 \/ c2_1 a217 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp11 \/ c0_1 $_150 \/ c1_1 $_150 \/ c1_1 a202 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 $_150 \/ c2_1 a221 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_149 \/ c0_1 $_150 \/ c1_1 $V \/ c1_1 $_149 \/ c1_1 $_150 \/ % 74.13/74.32 c1_1 a202 \/ c2_1 $_149 \/ c2_1 $_150 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $V \/ ~c0_1 $_149 \/ ~ndr1_0 \/ c0_1 $_150 \/ c1_1 $_149 \/ % 74.13/74.32 c1_1 $_150 \/ c1_1 a202 \/ c2_1 $V \/ c2_1 $_149 \/ c2_1 $_150 \/ % 74.13/74.32 c3_1 $V \/ hskp16 \/ hskp17 \/ hskp22 % 74.13/74.32 |- ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_149 \/ % 74.13/74.32 c0_1 $_150 \/ c1_1 $_149 \/ c1_1 $_150 \/ c1_1 a202 \/ c2_1 $_149 \/ % 74.13/74.32 c2_1 $_150 \/ hskp0 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c2_1 $_156 \/ ~ndr1_0 \/ c0_1 $_155 \/ c0_1 $_156 \/ c1_1 $_155 \/ % 74.13/74.32 c1_1 $_156 \/ c2_1 $_155 \/ hskp0 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c2_1 $_158 \/ ~ndr1_0 \/ c0_1 $_157 \/ c0_1 $_158 \/ c1_1 $_157 \/ % 74.13/74.32 c1_1 $_158 \/ c2_1 $_157 \/ hskp0 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp8 % 74.13/74.32 |- ~c2_1 $_160 \/ ~ndr1_0 \/ c0_1 $_159 \/ c0_1 $_160 \/ c1_1 $_159 \/ % 74.13/74.32 c1_1 $_160 \/ c2_1 $_159 \/ hskp0 \/ hskp16 \/ hskp17 \/ hskp23 \/ % 74.13/74.32 hskp24 % 74.13/74.32 |- ~c3_1 $_163 \/ ~ndr1_0 \/ c0_1 $_163 \/ c0_1 $_164 \/ c1_1 $_164 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_163 \/ hskp0 \/ hskp11 \/ hskp18 \/ hskp23 \/ % 74.13/74.32 hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c3_1 $_163 \/ ~ndr1_0 \/ c0_1 $_163 \/ c0_1 $_164 \/ c1_1 $_164 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_163 \/ c2_1 a207 \/ hskp0 \/ hskp18 \/ hskp23 \/ % 74.13/74.32 hskp24 \/ hskp3 % 74.13/74.32 |- ~c3_1 $_165 \/ ~ndr1_0 \/ c0_1 $_165 \/ c0_1 $_166 \/ c1_1 $_147 \/ % 74.13/74.32 c1_1 $_166 \/ c1_1 a202 \/ c2_1 $_147 \/ c2_1 $_165 \/ c3_1 $_147 \/ % 74.13/74.32 hskp0 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.32 |- c0_1 $_176 \/ c2_1 $_176 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 74.13/74.32 hskp13 \/ hskp16 \/ hskp17 \/ hskp25 \/ hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 $_179 \/ c1_1 $_178 \/ c1_1 $_179 \/ c1_1 a207 \/ c2_1 $_178 \/ % 74.13/74.32 c2_1 $_179 \/ c3_1 $_178 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c3_1 $_22 \/ ~ndr1_0 \/ c0_1 $_181 \/ c0_1 $_22 \/ c1_1 $_180 \/ % 74.13/74.32 c1_1 $_181 \/ c1_1 a207 \/ c2_1 $_180 \/ c2_1 $_22 \/ c3_1 $_180 \/ % 74.13/74.32 hskp0 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ c0_1 $W \/ % 74.13/74.32 c0_1 $_181 \/ c1_1 $W \/ c1_1 $_180 \/ c1_1 $_181 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 $_180 \/ c3_1 $_180 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_181 \/ c1_1 $_180 \/ % 74.13/74.32 c1_1 $_181 \/ c1_1 a207 \/ c2_1 $_180 \/ c3_1 $V \/ c3_1 $_180 \/ % 74.13/74.32 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_181 \/ c1_1 $_181 \/ c1_1 a207 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 $_181 \/ c2_1 a210 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp10 \/ c0_1 $_181 \/ c1_1 $_181 \/ c1_1 a207 \/ c1_1 a217 \/ % 74.13/74.32 c2_1 $_181 \/ c2_1 a217 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 $_181 \/ c1_1 $_181 \/ c1_1 a207 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 $_181 \/ c2_1 a221 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_180 \/ c0_1 $_181 \/ c1_1 $V \/ c1_1 $_180 \/ c1_1 $_181 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_180 \/ c2_1 $_181 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $V \/ ~c0_1 $_180 \/ ~ndr1_0 \/ c0_1 $_181 \/ c1_1 $_180 \/ % 74.13/74.32 c1_1 $_181 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_180 \/ c2_1 $_181 \/ % 74.13/74.32 c3_1 $V \/ hskp18 \/ hskp22 \/ hskp3 % 74.13/74.32 |- ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_180 \/ % 74.13/74.32 c0_1 $_181 \/ c1_1 $_180 \/ c1_1 $_181 \/ c1_1 a207 \/ c2_1 $_180 \/ % 74.13/74.32 c2_1 $_181 \/ hskp0 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 a213 \/ ~ndr1_0 \/ c0_1 $_186 \/ c1_1 a213 \/ c2_1 $_186 \/ % 74.13/74.32 hskp0 \/ hskp10 \/ hskp13 \/ hskp19 \/ hskp21 \/ hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 $_195 \/ c2_1 $_195 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ % 74.13/74.32 hskp16 \/ hskp17 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 $_198 \/ c2_1 $_198 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.32 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp6 \/ % 74.13/74.32 hskp7 % 74.13/74.32 |- c0_1 $_201 \/ c2_1 $_201 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.32 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 $_208 \/ c0_1 $_209 \/ c1_1 $_209 \/ c1_1 a207 \/ c2_1 $_208 \/ % 74.13/74.32 c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_210 \/ c0_1 $_211 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_210 \/ c2_1 $_211 \/ c2_1 a207 \/ c3_1 $_31 \/ % 74.13/74.32 hskp0 \/ hskp1 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_210 \/ % 74.13/74.32 c0_1 $_211 \/ c1_1 $U \/ c1_1 a207 \/ c2_1 $_210 \/ c2_1 a207 \/ % 74.13/74.32 c3_1 $U \/ c3_1 $_211 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ % 74.13/74.32 hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_210 \/ c0_1 $_211 \/ % 74.13/74.32 c1_1 $U \/ c1_1 a207 \/ c2_1 $_210 \/ c2_1 $_211 \/ c2_1 a207 \/ % 74.13/74.32 hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_211 \/ c0_1 a210 \/ c1_1 $_211 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~hskp9 \/ c0_1 $_211 \/ c0_1 a215 \/ c1_1 $_211 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 $_211 \/ c0_1 a221 \/ c1_1 $_211 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_210 \/ % 74.13/74.32 c0_1 $_211 \/ c1_1 $_211 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_210 \/ % 74.13/74.32 hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- c0_1 $_212 \/ c0_1 a215 \/ c1_1 $_212 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.32 hskp0 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp23 \/ hskp24 \/ hskp3 \/ % 74.13/74.32 hskp8 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_215 \/ % 74.13/74.32 c0_1 a215 \/ c1_1 $U \/ c1_1 a207 \/ c2_1 a207 \/ c3_1 $U \/ % 74.13/74.32 c3_1 $_215 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp23 \/ hskp24 \/ % 74.13/74.32 hskp3 \/ hskp8 % 74.13/74.32 |- c0_1 $_227 \/ c0_1 a213 \/ c1_1 $_227 \/ hskp10 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c0_1 a213 \/ hskp10 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp9 \/ c0_1 a213 \/ c0_1 a215 \/ hskp10 \/ hskp11 \/ hskp18 \/ % 74.13/74.32 hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_228 \/ c0_1 a213 \/ % 74.13/74.32 c2_1 $_228 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 74.13/74.32 hskp13 \/ hskp18 \/ hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_228 \/ % 74.13/74.32 c0_1 a213 \/ c1_1 $U \/ c3_1 $U \/ c3_1 $_228 \/ hskp10 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp21 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_252 \/ c0_1 $_253 \/ c1_1 $_253 \/ c1_1 a207 \/ c2_1 $_252 \/ % 74.13/74.32 hskp0 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_254 \/ c0_1 $_255 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_254 \/ c2_1 $_255 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ % 74.13/74.32 hskp11 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_254 \/ % 74.13/74.32 c0_1 $_255 \/ c1_1 $U \/ c1_1 a207 \/ c2_1 $_254 \/ c3_1 $U \/ % 74.13/74.32 c3_1 $_255 \/ hskp0 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.32 hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_255 \/ c0_1 a210 \/ c1_1 $_255 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.32 hskp11 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~hskp9 \/ c0_1 $_255 \/ c0_1 a215 \/ c1_1 $_255 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.32 hskp11 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_261 \/ c1_1 $_260 \/ c1_1 $_261 \/ c1_1 a202 \/ c2_1 $_260 \/ % 74.13/74.32 c3_1 $_260 \/ c3_1 $_261 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- c0_1 $_261 \/ c1_1 $_261 \/ c1_1 a202 \/ c2_1 $_261 \/ c3_1 $_261 \/ % 74.13/74.32 hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a202 \/ c1_1 a210 \/ c2_1 a210 \/ hskp10 \/ % 74.13/74.32 hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a202 \/ c1_1 a221 \/ c2_1 a221 \/ hskp10 \/ % 74.13/74.32 hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_262 \/ c1_1 $V \/ c1_1 $_262 \/ c1_1 a202 \/ c2_1 $_262 \/ % 74.13/74.32 hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_262 \/ % 74.13/74.32 c1_1 $_262 \/ c1_1 a202 \/ c2_1 $_262 \/ hskp0 \/ hskp10 \/ hskp16 \/ % 74.13/74.32 hskp17 % 74.13/74.32 |- c0_1 $_267 \/ c1_1 $_267 \/ c1_1 a202 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a202 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a202 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a202 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_268 \/ % 74.13/74.32 c1_1 $U \/ c1_1 a202 \/ c3_1 $U \/ c3_1 $_268 \/ hskp10 \/ hskp16 \/ % 74.13/74.32 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 $_270 \/ c1_1 a202 \/ c2_1 $_270 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp19 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a202 \/ hskp10 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp19 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp4 \/ c0_1 $_273 \/ c1_1 $_273 \/ c1_1 a202 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 a207 \/ c3_1 $_273 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_273 \/ c1_1 $_273 \/ c1_1 a202 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 a210 \/ c3_1 $_273 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp11 \/ c0_1 $_273 \/ c1_1 $_273 \/ c1_1 a202 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 a221 \/ c3_1 $_273 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $V \/ ~c0_1 $_272 \/ ~ndr1_0 \/ c0_1 $_273 \/ c1_1 $_272 \/ % 74.13/74.32 c1_1 $_273 \/ c1_1 a202 \/ c2_1 $V \/ c2_1 $_272 \/ c3_1 $V \/ % 74.13/74.32 c3_1 $_273 \/ hskp10 \/ hskp16 \/ hskp17 \/ hskp22 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 $_272 \/ c1_1 a202 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 $_272 \/ c3_1 $_272 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp6 \/ c0_1 a211 \/ c1_1 $_272 \/ c1_1 a202 \/ c1_1 a211 \/ % 74.13/74.32 c2_1 $_272 \/ c3_1 $_272 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp8 \/ c0_1 a213 \/ c1_1 $_272 \/ c1_1 a202 \/ c1_1 a213 \/ % 74.13/74.32 c2_1 $_272 \/ c3_1 $_272 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 $_272 \/ c1_1 a202 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 $_272 \/ c3_1 $_272 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_273 \/ c1_1 $V \/ c1_1 $_272 \/ c1_1 $_273 \/ c1_1 a202 \/ % 74.13/74.32 c2_1 $_272 \/ c3_1 $_272 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c2_1 $_273 \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_273 \/ % 74.13/74.32 c1_1 $_272 \/ c1_1 $_273 \/ c1_1 a202 \/ c2_1 $U \/ c2_1 $_272 \/ % 74.13/74.32 c3_1 $_272 \/ hskp0 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.32 |- ~c3_1 $_22 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_297 \/ c1_1 $_297 \/ % 74.13/74.32 c1_1 a210 \/ c2_1 $_22 \/ hskp0 \/ hskp11 \/ hskp18 \/ hskp20 \/ % 74.13/74.32 hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- c0_1 $_308 \/ c1_1 $_307 \/ c1_1 $_308 \/ c1_1 a207 \/ c2_1 $_307 \/ % 74.13/74.32 c3_1 $_307 \/ c3_1 $_308 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- c0_1 $_308 \/ c1_1 $_308 \/ c1_1 a207 \/ c2_1 $_308 \/ c3_1 $_308 \/ % 74.13/74.32 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ c1_1 a210 \/ c2_1 a210 \/ hskp10 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a207 \/ c1_1 a221 \/ c2_1 a221 \/ hskp10 \/ % 74.13/74.32 hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_309 \/ c1_1 $V \/ c1_1 $_309 \/ c1_1 a207 \/ c2_1 $_309 \/ % 74.13/74.32 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_309 \/ % 74.13/74.32 c1_1 $_309 \/ c1_1 a207 \/ c2_1 $_309 \/ hskp0 \/ hskp10 \/ hskp18 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- c0_1 $_316 \/ c1_1 $_316 \/ hskp10 \/ hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ hskp10 \/ hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp9 \/ c0_1 a215 \/ hskp10 \/ hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ hskp10 \/ hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_317 \/ % 74.13/74.32 c1_1 $U \/ c3_1 $U \/ c3_1 $_317 \/ hskp10 \/ hskp18 \/ hskp3 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_317 \/ c1_1 $U \/ % 74.13/74.32 c2_1 $_317 \/ hskp10 \/ hskp18 \/ hskp19 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp5 \/ c0_1 $_319 \/ c1_1 $_319 \/ c1_1 a207 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 a210 \/ c3_1 $_319 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 $_319 \/ c1_1 $_319 \/ c1_1 a207 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 a221 \/ c3_1 $_319 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c0_1 $_318 \/ ~c2_1 $V \/ ~ndr1_0 \/ % 74.13/74.32 c0_1 $_319 \/ c1_1 $U \/ c1_1 $V \/ c1_1 $_318 \/ c1_1 $_319 \/ % 74.13/74.32 c1_1 a207 \/ c2_1 $_318 \/ c3_1 $U \/ c3_1 $_319 \/ hskp10 \/ hskp18 \/ % 74.13/74.32 hskp3 % 74.13/74.32 |- ~c0_1 $V \/ ~c0_1 $_318 \/ ~ndr1_0 \/ c0_1 $_319 \/ c1_1 $_318 \/ % 74.13/74.32 c1_1 $_319 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_318 \/ c3_1 $V \/ % 74.13/74.32 c3_1 $_319 \/ hskp10 \/ hskp18 \/ hskp22 \/ hskp3 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 $_318 \/ c1_1 a207 \/ c1_1 a210 \/ % 74.13/74.32 c2_1 $_318 \/ c3_1 $_318 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp6 \/ c0_1 a211 \/ c1_1 $_318 \/ c1_1 a207 \/ c1_1 a211 \/ % 74.13/74.32 c2_1 $_318 \/ c3_1 $_318 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp8 \/ c0_1 a213 \/ c1_1 $_318 \/ c1_1 a207 \/ c1_1 a213 \/ % 74.13/74.32 c2_1 $_318 \/ c3_1 $_318 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 $_318 \/ c1_1 a207 \/ c1_1 a221 \/ % 74.13/74.32 c2_1 $_318 \/ c3_1 $_318 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c2_1 $V \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $V \/ % 74.13/74.32 c0_1 $_319 \/ c1_1 $V \/ c1_1 $_318 \/ c1_1 $_319 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 $_318 \/ c3_1 $_318 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c2_1 $_319 \/ ~c3_1 $U \/ ~ndr1_0 \/ c0_1 $U \/ c0_1 $_319 \/ % 74.13/74.32 c1_1 $_318 \/ c1_1 $_319 \/ c1_1 a207 \/ c2_1 $U \/ c2_1 $_318 \/ % 74.13/74.32 c3_1 $_318 \/ hskp0 \/ hskp10 \/ hskp18 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_329 \/ ~c2_1 $_329 \/ ~c3_1 $_329 \/ ~ndr1_0 \/ c0_1 $_330 \/ % 74.13/74.32 c0_1 $_331 \/ c1_1 $_147 \/ c1_1 $_330 \/ c1_1 $_331 \/ c1_1 a202 \/ % 74.13/74.32 c2_1 $_147 \/ c3_1 $_147 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.32 |- ~c0_1 $_332 \/ ~c2_1 $_332 \/ ~c3_1 $_332 \/ ~ndr1_0 \/ c0_1 $_333 \/ % 74.13/74.32 c0_1 $_334 \/ c1_1 $_333 \/ c1_1 $_334 \/ c1_1 a210 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_332 \/ ~c2_1 $_332 \/ ~c3_1 $_332 \/ ~ndr1_0 \/ c0_1 $_333 \/ % 74.13/74.32 c0_1 $_334 \/ c1_1 $_178 \/ c1_1 $_333 \/ c1_1 $_334 \/ c1_1 a207 \/ % 74.13/74.32 c2_1 $_178 \/ c3_1 $_178 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_332 \/ ~c2_1 $_332 \/ ~c3_1 $_332 \/ ~ndr1_0 \/ c0_1 $_333 \/ % 74.13/74.32 c0_1 $_334 \/ c1_1 $_333 \/ c1_1 $_334 \/ c1_1 a207 \/ hskp11 \/ % 74.13/74.32 hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ hskp3 % 74.13/74.32 |- ~c0_1 $_332 \/ ~c2_1 $_332 \/ ~c3_1 $_332 \/ ~ndr1_0 \/ c0_1 $_333 \/ % 74.13/74.32 c0_1 $_334 \/ c1_1 $_333 \/ c1_1 $_334 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.32 hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.32 |- c0_1 $_340 \/ c1_1 $_340 \/ c1_1 a202 \/ c2_1 $_340 \/ hskp16 \/ % 74.13/74.32 hskp17 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a196 \/ c1_1 a202 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a202 \/ c1_1 a210 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a202 \/ c1_1 a215 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a202 \/ c1_1 a221 \/ hskp16 \/ hskp17 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.32 |- c0_1 a215 \/ c1_1 a202 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp6 \/ % 74.13/74.32 hskp7 \/ hskp8 % 74.13/74.32 |- ~c0_1 $_342 \/ ~ndr1_0 \/ c0_1 a215 \/ c1_1 $_342 \/ c2_1 $_342 \/ % 74.13/74.32 hskp14 \/ hskp16 \/ hskp17 \/ hskp21 \/ hskp6 \/ hskp7 \/ hskp8 % 74.13/74.32 |- c0_1 $_352 \/ c1_1 $_352 \/ c1_1 a207 \/ c2_1 $_352 \/ hskp18 \/ % 74.13/74.32 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.32 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a196 \/ c1_1 a207 \/ hskp18 \/ hskp3 \/ % 74.13/74.32 hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ c1_1 a210 \/ hskp18 \/ hskp3 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a207 \/ c1_1 a215 \/ hskp18 \/ hskp3 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a207 \/ c1_1 a221 \/ hskp18 \/ hskp3 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- hskp18 \/ hskp21 \/ hskp3 \/ hskp6 \/ hskp7 \/ hskp8 % 74.13/74.33 |- c2_1 a213 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c0_1 $U \/ ~c0_1 a213 \/ ~c1_1 a213 \/ ~ndr1_0 \/ c1_1 $U \/ c2_1 $U \/ % 74.13/74.33 hskp14 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c0_1 a213 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c1_1 a213 \/ c2_1 $V \/ % 74.13/74.33 hskp18 \/ hskp19 \/ hskp21 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c0_1 a213 \/ ~ndr1_0 \/ c0_1 $_355 \/ c1_1 a213 \/ c2_1 $_355 \/ % 74.13/74.33 hskp10 \/ hskp18 \/ hskp19 \/ hskp21 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_363 \/ c1_1 a207 \/ c2_1 $_363 \/ hskp10 \/ hskp18 \/ hskp19 \/ % 74.13/74.33 hskp20 \/ hskp3 \/ hskp5 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a207 \/ hskp10 \/ hskp18 \/ hskp19 \/ % 74.13/74.33 hskp20 \/ hskp3 \/ hskp5 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c0_1 $_386 \/ ~c1_1 $_386 \/ ~ndr1_0 \/ c0_1 $_387 \/ c2_1 $_387 \/ % 74.13/74.33 c3_1 $_386 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ hskp21 \/ hskp6 \/ % 74.13/74.33 hskp7 % 74.13/74.33 |- ~c0_1 $_386 \/ ~c1_1 $_386 \/ ~ndr1_0 \/ c0_1 $_387 \/ c2_1 $_387 \/ % 74.13/74.33 c3_1 $_386 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp21 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_394 \/ c0_1 $_395 \/ c1_1 $_394 \/ c1_1 a207 \/ c2_1 $_395 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_396 \/ c0_1 $_397 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_396 \/ c2_1 $_397 \/ c2_1 a207 \/ c3_1 $_31 \/ % 74.13/74.33 hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_396 \/ c0_1 $_397 \/ % 74.13/74.33 c1_1 $U \/ c1_1 a207 \/ c2_1 $_396 \/ c2_1 $_397 \/ c2_1 a207 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 $_396 \/ c0_1 a210 \/ c1_1 $_396 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 $_396 \/ c0_1 a215 \/ c1_1 $_396 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~hskp11 \/ c0_1 $_396 \/ c0_1 a221 \/ c1_1 $_396 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_396 \/ % 74.13/74.33 c0_1 $_397 \/ c1_1 $_396 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_397 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- c0_1 $_400 \/ c0_1 a215 \/ c1_1 $_400 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.33 |- c0_1 $_415 \/ c1_1 $_415 \/ c1_1 a210 \/ c2_1 $_415 \/ hskp11 \/ % 74.13/74.33 hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a196 \/ c1_1 a210 \/ hskp11 \/ hskp18 \/ % 74.13/74.33 hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a210 \/ c1_1 a215 \/ hskp11 \/ hskp18 \/ % 74.13/74.33 hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c2_1 $U \/ ~c3_1 $U \/ ~c3_1 $W \/ ~ndr1_0 \/ c0_1 $W \/ % 74.13/74.33 c0_1 $_416 \/ c1_1 $W \/ c1_1 $_416 \/ c1_1 a210 \/ hskp11 \/ hskp18 \/ % 74.13/74.33 hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c2_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_416 \/ c1_1 $_416 \/ % 74.13/74.33 c1_1 a210 \/ c3_1 $V \/ hskp10 \/ hskp11 \/ hskp18 \/ hskp20 \/ % 74.13/74.33 hskp25 \/ hskp3 % 74.13/74.33 |- c0_1 $_417 \/ c1_1 $_417 \/ c1_1 a210 \/ c3_1 $_417 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp6 \/ c0_1 a211 \/ c1_1 a210 \/ c1_1 a211 \/ hskp10 \/ hskp11 \/ % 74.13/74.33 hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp8 \/ c0_1 a213 \/ c1_1 a210 \/ c1_1 a213 \/ hskp10 \/ hskp11 \/ % 74.13/74.33 hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c3_1 $_419 \/ ~ndr1_0 \/ c0_1 $_419 \/ c0_1 $_420 \/ c1_1 $_420 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_419 \/ c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp18 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- c0_1 $_433 \/ c1_1 a207 \/ c2_1 $_433 \/ hskp10 \/ hskp11 \/ hskp14 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp13 \/ c0_1 a196 \/ c1_1 a207 \/ hskp10 \/ hskp11 \/ hskp14 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_435 \/ c0_1 $_436 \/ c1_1 $_435 \/ c1_1 a210 \/ c2_1 $_436 \/ % 74.13/74.33 hskp0 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_437 \/ c0_1 $_438 \/ % 74.13/74.33 c1_1 a210 \/ c2_1 $_437 \/ c2_1 $_438 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_437 \/ % 74.13/74.33 c0_1 $_438 \/ c1_1 $U \/ c1_1 a210 \/ c2_1 $_438 \/ c3_1 $U \/ % 74.13/74.33 c3_1 $_437 \/ hskp0 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp23 \/ % 74.13/74.33 hskp24 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 $_437 \/ c0_1 a215 \/ c1_1 $_437 \/ c1_1 a210 \/ hskp0 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- c0_1 $_466 \/ c0_1 $_467 \/ c1_1 $_466 \/ c1_1 a207 \/ c2_1 $_467 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_468 \/ c0_1 $_469 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_468 \/ c2_1 $_469 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 $_468 \/ c0_1 a210 \/ c1_1 $_468 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 $_468 \/ c0_1 a215 \/ c1_1 $_468 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- c0_1 $_482 \/ c0_1 $_483 \/ c1_1 $_481 \/ c1_1 $_483 \/ c1_1 a202 \/ % 74.13/74.33 c2_1 $_481 \/ c2_1 $_482 \/ c3_1 $_481 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_485 \/ c0_1 $_486 \/ % 74.13/74.33 c1_1 $_484 \/ c1_1 a202 \/ c2_1 $_484 \/ c2_1 $_485 \/ c2_1 $_486 \/ % 74.13/74.33 c3_1 $_31 \/ c3_1 $_484 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_485 \/ % 74.13/74.33 c0_1 $_486 \/ c1_1 $U \/ c1_1 $_484 \/ c1_1 a202 \/ c2_1 $_484 \/ % 74.13/74.33 c2_1 $_485 \/ c3_1 $U \/ c3_1 $_484 \/ c3_1 $_486 \/ hskp0 \/ hskp13 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~hskp4 \/ c0_1 $_485 \/ c0_1 $_486 \/ c1_1 $_486 \/ c1_1 a202 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_485 \/ c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~hskp5 \/ c0_1 $_485 \/ c0_1 $_486 \/ c1_1 $_486 \/ c1_1 a202 \/ % 74.13/74.33 c1_1 a210 \/ c2_1 $_485 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~hskp10 \/ c0_1 $_485 \/ c0_1 $_486 \/ c1_1 $_486 \/ c1_1 a202 \/ % 74.13/74.33 c1_1 a217 \/ c2_1 $_485 \/ c2_1 a217 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~hskp11 \/ c0_1 $_485 \/ c0_1 $_486 \/ c1_1 $_486 \/ c1_1 a202 \/ % 74.13/74.33 c1_1 a221 \/ c2_1 $_485 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp23 \/ hskp24 % 74.13/74.33 |- ~c0_1 $V \/ ~c0_1 $_484 \/ ~ndr1_0 \/ c0_1 $_485 \/ c0_1 $_486 \/ % 74.13/74.33 c1_1 $_484 \/ c1_1 $_486 \/ c1_1 a202 \/ c2_1 $V \/ c2_1 $_484 \/ % 74.13/74.33 c2_1 $_485 \/ c3_1 $V \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.33 hskp22 \/ hskp23 \/ hskp24 % 74.13/74.33 |- c0_1 a215 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ hskp13 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp21 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp3 \/ hskp8 % 74.13/74.33 |- ~c3_1 $_501 \/ ~ndr1_0 \/ c0_1 $_501 \/ c0_1 $_502 \/ c1_1 $_502 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_501 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp18 \/ % 74.13/74.33 hskp25 \/ hskp3 % 74.13/74.33 |- c0_1 $_514 \/ c0_1 $_515 \/ c1_1 $_515 \/ c1_1 a210 \/ c2_1 $_514 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_516 \/ c0_1 $_517 \/ % 74.13/74.33 c1_1 a210 \/ c2_1 $_516 \/ c2_1 $_517 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 $_517 \/ c0_1 a215 \/ c1_1 $_517 \/ c1_1 a210 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_519 \/ ~c2_1 $_519 \/ ~c3_1 $_519 \/ ~ndr1_0 \/ c0_1 $_520 \/ % 74.13/74.33 c0_1 $_521 \/ c1_1 $_520 \/ c1_1 $_521 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.33 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.33 |- c0_1 $_533 \/ c0_1 a213 \/ c2_1 $_533 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp21 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~c0_1 $_548 \/ ~ndr1_0 \/ c0_1 $_547 \/ c1_1 $_547 \/ c1_1 $_548 \/ % 74.13/74.33 c2_1 $_548 \/ hskp10 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 a215 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ hskp10 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp21 \/ hskp3 \/ % 74.13/74.33 hskp8 % 74.13/74.33 |- c0_1 $_578 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_578 \/ c2_1 a207 \/ % 74.13/74.33 hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 \/ hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_579 \/ % 74.13/74.33 c1_1 a202 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_579 \/ hskp0 \/ hskp13 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_584 \/ ~ndr1_0 \/ c0_1 $_585 \/ c1_1 $_584 \/ c1_1 $_585 \/ % 74.13/74.33 c1_1 a202 \/ c2_1 $_584 \/ c2_1 $_585 \/ c2_1 a207 \/ c3_1 a207 \/ % 74.13/74.33 hskp16 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp3 % 74.13/74.33 |- c0_1 $_593 \/ c1_1 a207 \/ c2_1 $_593 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a207 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- c0_1 $_596 \/ c0_1 $_597 \/ c1_1 $_595 \/ c1_1 $_597 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 $_595 \/ c2_1 $_596 \/ c3_1 $_595 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_599 \/ c0_1 $_600 \/ % 74.13/74.33 c1_1 $_598 \/ c1_1 a207 \/ c2_1 $_598 \/ c2_1 $_599 \/ c2_1 $_600 \/ % 74.13/74.33 c3_1 $_31 \/ c3_1 $_598 \/ hskp0 \/ hskp1 \/ hskp13 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_599 \/ % 74.13/74.33 c0_1 $_600 \/ c1_1 $U \/ c1_1 $_598 \/ c1_1 a207 \/ c2_1 $_598 \/ % 74.13/74.33 c2_1 $_599 \/ c3_1 $U \/ c3_1 $_598 \/ c3_1 $_600 \/ hskp0 \/ hskp13 \/ % 74.13/74.33 hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_599 \/ c0_1 $_600 \/ % 74.13/74.33 c1_1 $U \/ c1_1 $_598 \/ c1_1 a207 \/ c2_1 $_598 \/ c2_1 $_599 \/ % 74.13/74.33 c2_1 $_600 \/ c3_1 $_598 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 $_599 \/ c0_1 $_600 \/ c1_1 $_600 \/ c1_1 a207 \/ % 74.13/74.33 c1_1 a210 \/ c2_1 $_599 \/ c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~hskp10 \/ c0_1 $_599 \/ c0_1 $_600 \/ c1_1 $_600 \/ c1_1 a207 \/ % 74.13/74.33 c1_1 a217 \/ c2_1 $_599 \/ c2_1 a217 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~hskp11 \/ c0_1 $_599 \/ c0_1 $_600 \/ c1_1 $_600 \/ c1_1 a207 \/ % 74.13/74.33 c1_1 a221 \/ c2_1 $_599 \/ c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c0_1 $_598 \/ ~c2_1 $V \/ ~ndr1_0 \/ % 74.13/74.33 c0_1 $_599 \/ c0_1 $_600 \/ c1_1 $U \/ c1_1 $V \/ c1_1 $_598 \/ % 74.13/74.33 c1_1 $_600 \/ c1_1 a207 \/ c2_1 $_598 \/ c2_1 $_599 \/ c3_1 $U \/ % 74.13/74.33 hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $V \/ ~c0_1 $_598 \/ ~ndr1_0 \/ c0_1 $_599 \/ c0_1 $_600 \/ % 74.13/74.33 c1_1 $_598 \/ c1_1 $_600 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_598 \/ % 74.13/74.33 c2_1 $_599 \/ c3_1 $V \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp22 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_614 \/ ~c2_1 $_614 \/ ~c3_1 $_614 \/ ~ndr1_0 \/ c0_1 $_615 \/ % 74.13/74.33 c0_1 $_616 \/ c1_1 $_615 \/ c1_1 $_616 \/ c1_1 a207 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_624 \/ ~ndr1_0 \/ c0_1 $_623 \/ c0_1 $_625 \/ c1_1 $_624 \/ % 74.13/74.33 c2_1 $_623 \/ c3_1 $_624 \/ c3_1 $_625 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp6 \/ % 74.13/74.33 hskp7 % 74.13/74.33 |- c0_1 $_635 \/ c0_1 a213 \/ c1_1 a202 \/ c2_1 $_635 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.33 hskp21 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_637 \/ c0_1 $_638 \/ c1_1 a202 \/ c2_1 $_637 \/ c3_1 $_638 \/ % 74.13/74.33 hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp18 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_639 \/ c0_1 a213 \/ c1_1 a202 \/ c2_1 $_639 \/ hskp0 \/ % 74.13/74.33 hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.33 hskp18 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c2_1 $_640 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_639 \/ c0_1 $_640 \/ % 74.13/74.33 c1_1 a202 \/ c2_1 $_22 \/ c2_1 $_639 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp6 \/ % 74.13/74.33 hskp7 % 74.13/74.33 |- c0_1 $_648 \/ c0_1 a213 \/ c1_1 a207 \/ c2_1 $_648 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.33 hskp21 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_650 \/ c0_1 $_651 \/ c1_1 a207 \/ c2_1 $_650 \/ c3_1 $_651 \/ % 74.13/74.33 hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.33 hskp17 \/ hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_652 \/ c0_1 a213 \/ c1_1 a207 \/ c2_1 $_652 \/ hskp0 \/ % 74.13/74.33 hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.33 hskp18 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c2_1 $_653 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_652 \/ c0_1 $_653 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_22 \/ c2_1 $_652 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- ~c0_1 $_677 \/ ~ndr1_0 \/ c0_1 $_676 \/ c0_1 $_678 \/ c1_1 $_677 \/ % 74.13/74.33 c2_1 $_676 \/ c3_1 $_677 \/ c3_1 $_678 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_688 \/ c0_1 a213 \/ c1_1 a202 \/ c2_1 $_688 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp21 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_690 \/ c0_1 $_691 \/ c1_1 a202 \/ c2_1 $_690 \/ c3_1 $_691 \/ % 74.13/74.33 hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.33 hskp18 \/ hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_692 \/ c0_1 a213 \/ c1_1 a202 \/ c2_1 $_692 \/ hskp0 \/ % 74.13/74.33 hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c2_1 $_693 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_692 \/ c0_1 $_693 \/ % 74.13/74.33 c1_1 a202 \/ c2_1 $_22 \/ c2_1 $_692 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_701 \/ c0_1 a213 \/ c1_1 a207 \/ c2_1 $_701 \/ hskp0 \/ hskp1 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp21 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_703 \/ c0_1 $_704 \/ c1_1 a207 \/ c2_1 $_703 \/ c3_1 $_704 \/ % 74.13/74.33 hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.33 hskp18 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_705 \/ c0_1 a213 \/ c1_1 a207 \/ c2_1 $_705 \/ hskp0 \/ % 74.13/74.33 hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.33 hskp23 \/ hskp24 \/ hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- ~c2_1 $_706 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_705 \/ c0_1 $_706 \/ % 74.13/74.33 c1_1 a207 \/ c2_1 $_22 \/ c2_1 $_705 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.33 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.33 hskp3 \/ hskp6 \/ hskp7 % 74.13/74.33 |- c0_1 $_731 \/ c0_1 $_732 \/ c1_1 $_731 \/ c1_1 a207 \/ c2_1 a207 \/ % 74.13/74.33 c3_1 $_732 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_733 \/ % 74.13/74.33 c0_1 $_734 \/ c1_1 $U \/ c1_1 a207 \/ c2_1 a207 \/ c3_1 $U \/ % 74.13/74.33 c3_1 $_733 \/ c3_1 $_734 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~hskp6 \/ c0_1 $_733 \/ c0_1 a211 \/ c1_1 $_733 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~hskp7 \/ c0_1 $_733 \/ c0_1 a212 \/ c1_1 $_733 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_733 \/ c0_1 a213 \/ c1_1 $_733 \/ c1_1 a207 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.33 |- ~c3_1 $_740 \/ ~ndr1_0 \/ c0_1 $_740 \/ c0_1 $_741 \/ c1_1 $_741 \/ % 74.13/74.33 c1_1 a210 \/ c2_1 $_740 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp18 \/ % 74.13/74.33 hskp20 \/ hskp25 \/ hskp3 % 74.13/74.33 |- c0_1 $_747 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_747 \/ c2_1 a207 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- ~hskp11 \/ c0_1 a221 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- ~c0_1 a207 \/ ~c1_1 $V \/ ~ndr1_0 \/ c0_1 $V \/ c0_1 $_748 \/ % 74.13/74.33 c1_1 a202 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_748 \/ hskp0 \/ hskp10 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.33 |- c0_1 $_810 \/ c1_1 $_808 \/ c1_1 a202 \/ c2_1 $_808 \/ c2_1 $_810 \/ % 74.13/74.33 c3_1 $_808 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 % 74.13/74.33 |- ~hskp4 \/ c0_1 $_812 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_812 \/ % 74.13/74.33 c2_1 a207 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 % 74.13/74.33 |- ~hskp5 \/ c0_1 $_812 \/ c1_1 a202 \/ c1_1 a210 \/ c2_1 $_812 \/ % 74.13/74.33 c2_1 a210 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 % 74.13/74.33 |- ~hskp10 \/ c0_1 $_812 \/ c1_1 a202 \/ c1_1 a217 \/ c2_1 $_812 \/ % 74.13/74.33 c2_1 a217 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 % 74.13/74.33 |- ~hskp11 \/ c0_1 $_812 \/ c1_1 a202 \/ c1_1 a221 \/ c2_1 $_812 \/ % 74.13/74.33 c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ % 74.13/74.33 hskp24 % 74.13/74.33 |- ~c0_1 $V \/ ~c0_1 $_811 \/ ~ndr1_0 \/ c0_1 $_812 \/ c1_1 $_811 \/ % 74.13/74.33 c1_1 a202 \/ c2_1 $V \/ c2_1 $_811 \/ c2_1 $_812 \/ c3_1 $V \/ hskp0 \/ % 74.13/74.33 hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp22 \/ hskp23 \/ hskp24 % 74.13/74.33 |- c0_1 $_850 \/ c0_1 $_851 \/ c1_1 $_850 \/ c1_1 a207 \/ c3_1 $_851 \/ % 74.13/74.33 hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_852 \/ % 74.13/74.33 c0_1 $_853 \/ c1_1 $U \/ c1_1 a207 \/ c3_1 $U \/ c3_1 $_852 \/ % 74.13/74.33 c3_1 $_853 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ % 74.13/74.33 hskp3 % 74.13/74.33 |- ~hskp6 \/ c0_1 $_852 \/ c0_1 a211 \/ c1_1 $_852 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp7 \/ c0_1 $_852 \/ c0_1 a212 \/ c1_1 $_852 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp8 \/ c0_1 $_852 \/ c0_1 a213 \/ c1_1 $_852 \/ c1_1 a207 \/ hskp0 \/ % 74.13/74.33 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- c0_1 $_877 \/ c1_1 a207 \/ c2_1 $_877 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp5 \/ c0_1 a210 \/ c1_1 a207 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a207 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.33 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp25 \/ hskp3 % 74.13/74.33 |- ~c0_1 $_887 \/ ~ndr1_0 \/ c0_1 $_888 \/ c1_1 $_887 \/ c1_1 $_888 \/ % 74.13/74.33 c1_1 a202 \/ c2_1 $_887 \/ c2_1 a207 \/ c3_1 $_888 \/ c3_1 a207 \/ % 74.13/74.33 hskp10 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp22 \/ hskp3 % 74.13/74.34 |- ~c3_1 $_891 \/ ~ndr1_0 \/ c0_1 $_891 \/ c0_1 $_893 \/ c1_1 $_147 \/ % 74.13/74.34 c1_1 $_892 \/ c1_1 $_893 \/ c1_1 a202 \/ c2_1 $_147 \/ c2_1 $_891 \/ % 74.13/74.34 c2_1 $_892 \/ c3_1 $_147 \/ c3_1 $_892 \/ hskp0 \/ hskp10 \/ hskp16 \/ % 74.13/74.34 hskp17 % 74.13/74.34 |- c0_1 $_903 \/ c1_1 a210 \/ c2_1 $_903 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ % 74.13/74.34 hskp25 \/ hskp3 % 74.13/74.34 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a210 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ % 74.13/74.34 hskp25 \/ hskp3 % 74.13/74.34 |- c0_1 $_924 \/ c0_1 $_925 \/ c1_1 $_925 \/ c1_1 a210 \/ c3_1 $_924 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ c0_1 $_926 \/ % 74.13/74.34 c0_1 $_927 \/ c1_1 $U \/ c1_1 a210 \/ c3_1 $U \/ c3_1 $_926 \/ % 74.13/74.34 c3_1 $_927 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ % 74.13/74.34 hskp25 \/ hskp3 % 74.13/74.34 |- ~hskp6 \/ c0_1 $_927 \/ c0_1 a211 \/ c1_1 $_927 \/ c1_1 a210 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.34 |- ~hskp7 \/ c0_1 $_927 \/ c0_1 a212 \/ c1_1 $_927 \/ c1_1 a210 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.34 |- ~hskp8 \/ c0_1 $_927 \/ c0_1 a213 \/ c1_1 $_927 \/ c1_1 a210 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp11 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.34 |- c0_1 $_936 \/ c1_1 a210 \/ c2_1 $_936 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.34 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp25 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~hskp9 \/ c0_1 a215 \/ c1_1 a210 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.34 hskp11 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp20 \/ hskp25 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c3_1 $_941 \/ ~ndr1_0 \/ c0_1 $_941 \/ c0_1 $_943 \/ c1_1 $_178 \/ % 74.13/74.34 c1_1 $_942 \/ c1_1 $_943 \/ c1_1 a207 \/ c2_1 $_178 \/ c2_1 $_941 \/ % 74.13/74.34 c2_1 $_942 \/ c3_1 $_178 \/ c3_1 $_942 \/ hskp0 \/ hskp10 \/ hskp18 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $_944 \/ ~c2_1 $_944 \/ ~c3_1 $_944 \/ ~ndr1_0 \/ c0_1 $_945 \/ % 74.13/74.34 c0_1 $_947 \/ c1_1 $_260 \/ c1_1 $_945 \/ c1_1 $_946 \/ c1_1 $_947 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_260 \/ c2_1 $_946 \/ c3_1 $_260 \/ c3_1 $_946 \/ % 74.13/74.34 hskp10 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_952 \/ ~ndr1_0 \/ c0_1 $_953 \/ c1_1 $_952 \/ c1_1 $_953 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_952 \/ c2_1 $_953 \/ c3_1 a202 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_972 \/ ~c2_1 $_972 \/ ~c3_1 $_972 \/ ~ndr1_0 \/ c0_1 $_973 \/ % 74.13/74.34 c0_1 $_975 \/ c1_1 $_307 \/ c1_1 $_973 \/ c1_1 $_974 \/ c1_1 $_975 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_307 \/ c2_1 $_974 \/ c3_1 $_307 \/ c3_1 $_974 \/ % 74.13/74.34 hskp10 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_984 \/ ~ndr1_0 \/ c0_1 $_985 \/ c1_1 $_984 \/ c1_1 $_985 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_984 \/ c2_1 $_985 \/ c3_1 a207 \/ hskp18 \/ % 74.13/74.34 hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_989 \/ ~ndr1_0 \/ c0_1 $_988 \/ c0_1 $_990 \/ c1_1 $_988 \/ % 74.13/74.34 c1_1 $_989 \/ c1_1 $_990 \/ c1_1 a207 \/ c2_1 $_988 \/ c2_1 $_989 \/ % 74.13/74.34 c2_1 $_990 \/ c3_1 a207 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_994 \/ ~c2_1 $_994 \/ ~c3_1 $_994 \/ ~ndr1_0 \/ c0_1 $_995 \/ % 74.13/74.34 c0_1 $_996 \/ c1_1 $_995 \/ c1_1 $_996 \/ c1_1 a210 \/ hskp10 \/ % 74.13/74.34 hskp11 \/ hskp18 \/ hskp20 \/ hskp25 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1007 \/ ~ndr1_0 \/ c0_1 $_1008 \/ c1_1 $_1007 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1007 \/ c2_1 $_1008 \/ c2_1 a207 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp22 \/ hskp23 \/ % 74.13/74.34 hskp24 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1018 \/ ~c0_1 $_1019 \/ ~ndr1_0 \/ c0_1 $_1020 \/ c1_1 $_1018 \/ % 74.13/74.34 c1_1 $_1019 \/ c1_1 $_1020 \/ c1_1 a202 \/ c2_1 $_1019 \/ c2_1 $_1020 \/ % 74.13/74.34 c3_1 $_1018 \/ hskp16 \/ hskp17 % 74.13/74.34 |- c0_1 $_1039 \/ c1_1 $_1038 \/ c1_1 a207 \/ c2_1 $_1038 \/ c2_1 $_1039 \/ % 74.13/74.34 c3_1 $_1038 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ % 74.13/74.34 hskp23 \/ hskp24 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~hskp10 \/ c0_1 $_1041 \/ c1_1 a207 \/ c1_1 a217 \/ c2_1 $_1041 \/ % 74.13/74.34 c2_1 a217 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp23 \/ % 74.13/74.34 hskp24 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1041 \/ c1_1 a207 \/ c1_1 a221 \/ c2_1 $_1041 \/ % 74.13/74.34 c2_1 a221 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp23 \/ % 74.13/74.34 hskp24 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1051 \/ ~c0_1 $_1052 \/ ~ndr1_0 \/ c0_1 $_1053 \/ c1_1 $_1051 \/ % 74.13/74.34 c1_1 $_1052 \/ c1_1 $_1053 \/ c1_1 a207 \/ c2_1 $_1052 \/ c2_1 $_1053 \/ % 74.13/74.34 c3_1 $_1051 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- c0_1 $_1078 \/ c1_1 $_1076 \/ c1_1 a202 \/ c2_1 $_1076 \/ c2_1 $_1078 \/ % 74.13/74.34 c3_1 $_1076 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ % 74.13/74.34 hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.34 |- c0_1 $_1105 \/ c0_1 $_1107 \/ c1_1 $_1106 \/ c1_1 $_1107 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1105 \/ c2_1 $_1106 \/ c3_1 $_1106 \/ hskp0 \/ hskp10 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_1108 \/ c0_1 $_1110 \/ % 74.13/74.34 c1_1 $_1109 \/ c1_1 a202 \/ c2_1 $_1108 \/ c2_1 $_1109 \/ c2_1 $_1110 \/ % 74.13/74.34 c3_1 $_1109 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp4 \/ c0_1 $_1108 \/ c0_1 $_1110 \/ c1_1 $_1110 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1108 \/ c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1108 \/ c0_1 $_1110 \/ c1_1 $_1110 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a210 \/ c2_1 $_1108 \/ c2_1 a210 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1108 \/ c0_1 $_1110 \/ c1_1 $_1110 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a221 \/ c2_1 $_1108 \/ c2_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $V \/ ~c0_1 $_1109 \/ ~ndr1_0 \/ c0_1 $_1108 \/ c0_1 $_1110 \/ % 74.13/74.34 c1_1 $_1109 \/ c1_1 $_1110 \/ c1_1 a202 \/ c2_1 $V \/ c2_1 $_1108 \/ % 74.13/74.34 c2_1 $_1109 \/ c3_1 $V \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ % 74.13/74.34 hskp17 \/ hskp22 % 74.13/74.34 |- c0_1 $_1129 \/ c1_1 $_1128 \/ c1_1 a202 \/ c2_1 $_1128 \/ c2_1 $_1129 \/ % 74.13/74.34 c3_1 $_1128 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~hskp4 \/ c0_1 $_1131 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_1131 \/ % 74.13/74.34 c2_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1131 \/ c1_1 a202 \/ c1_1 a210 \/ c2_1 $_1131 \/ % 74.13/74.34 c2_1 a210 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1131 \/ c1_1 a202 \/ c1_1 a221 \/ c2_1 $_1131 \/ % 74.13/74.34 c2_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~c0_1 $V \/ ~c0_1 $_1130 \/ ~ndr1_0 \/ c0_1 $_1131 \/ c1_1 $_1130 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $V \/ c2_1 $_1130 \/ c2_1 $_1131 \/ c3_1 $V \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp22 % 74.13/74.34 |- c0_1 $_1149 \/ c1_1 $_1148 \/ c1_1 a207 \/ c2_1 $_1148 \/ c2_1 $_1149 \/ % 74.13/74.34 c3_1 $_1148 \/ hskp0 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.34 hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1151 \/ c1_1 a207 \/ c1_1 a210 \/ c2_1 $_1151 \/ % 74.13/74.34 c2_1 a210 \/ hskp0 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.34 hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- ~hskp10 \/ c0_1 $_1151 \/ c1_1 a207 \/ c1_1 a217 \/ c2_1 $_1151 \/ % 74.13/74.34 c2_1 a217 \/ hskp0 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ % 74.13/74.34 hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1167 \/ ~ndr1_0 \/ c0_1 $_1168 \/ c0_1 $_1169 \/ c1_1 $_1167 \/ % 74.13/74.34 c1_1 $_1169 \/ c1_1 a202 \/ c2_1 $_1167 \/ c2_1 $_1168 \/ c2_1 a207 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp22 \/ % 74.13/74.34 hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- c0_1 $_1196 \/ c0_1 $_1198 \/ c1_1 $_1197 \/ c1_1 $_1198 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1196 \/ c2_1 $_1197 \/ c3_1 $_1197 \/ hskp0 \/ hskp10 \/ % 74.13/74.34 hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_31 \/ ~c1_1 $_31 \/ ~ndr1_0 \/ c0_1 $_1199 \/ c0_1 $_1201 \/ % 74.13/74.34 c1_1 $_1200 \/ c1_1 a207 \/ c2_1 $_1199 \/ c2_1 $_1200 \/ c2_1 $_1201 \/ % 74.13/74.34 c3_1 $_1200 \/ c3_1 $_31 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $U \/ ~c2_1 $U \/ ~ndr1_0 \/ c0_1 $_1199 \/ c0_1 $_1201 \/ % 74.13/74.34 c1_1 $U \/ c1_1 $_1200 \/ c1_1 a207 \/ c2_1 $_1199 \/ c2_1 $_1200 \/ % 74.13/74.34 c2_1 $_1201 \/ c3_1 $_1200 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp19 \/ hskp3 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1199 \/ c0_1 $_1201 \/ c1_1 $_1201 \/ c1_1 a207 \/ % 74.13/74.34 c1_1 a210 \/ c2_1 $_1199 \/ c2_1 a210 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1199 \/ c0_1 $_1201 \/ c1_1 $_1201 \/ c1_1 a207 \/ % 74.13/74.34 c1_1 a221 \/ c2_1 $_1199 \/ c2_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c0_1 $_1200 \/ ~c2_1 $V \/ ~ndr1_0 \/ % 74.13/74.34 c0_1 $_1199 \/ c0_1 $_1201 \/ c1_1 $U \/ c1_1 $V \/ c1_1 $_1200 \/ % 74.13/74.34 c1_1 $_1201 \/ c1_1 a207 \/ c2_1 $_1199 \/ c2_1 $_1200 \/ c3_1 $U \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $V \/ ~c0_1 $_1200 \/ ~ndr1_0 \/ c0_1 $_1199 \/ c0_1 $_1201 \/ % 74.13/74.34 c1_1 $_1200 \/ c1_1 $_1201 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_1199 \/ % 74.13/74.34 c2_1 $_1200 \/ c3_1 $V \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp22 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1206 \/ ~c0_1 $_1207 \/ ~ndr1_0 \/ c0_1 $_1208 \/ c0_1 $_1209 \/ % 74.13/74.34 c1_1 $_1206 \/ c1_1 $_1207 \/ c1_1 $_1208 \/ c1_1 $_1209 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1207 \/ c2_1 $_1208 \/ c2_1 $_1209 \/ c3_1 $_1206 \/ hskp18 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- c0_1 $_1224 \/ c1_1 $_1223 \/ c1_1 a207 \/ c2_1 $_1223 \/ c2_1 $_1224 \/ % 74.13/74.34 c3_1 $_1223 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp19 \/ % 74.13/74.34 hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1226 \/ c1_1 a207 \/ c1_1 a221 \/ c2_1 $_1226 \/ % 74.13/74.34 c2_1 a221 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ % 74.13/74.34 hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1229 \/ ~ndr1_0 \/ c0_1 $_1230 \/ c1_1 $_1229 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1229 \/ c2_1 $_1230 \/ c2_1 a207 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp22 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $_1237 \/ ~ndr1_0 \/ c0_1 $_1238 \/ c1_1 $_1237 \/ c1_1 $_1238 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1237 \/ c3_1 $_1238 \/ c3_1 a202 \/ hskp10 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_1269 \/ ~ndr1_0 \/ c0_1 $_1270 \/ c1_1 $_1269 \/ c1_1 $_1270 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1269 \/ c3_1 $_1270 \/ c3_1 a207 \/ hskp10 \/ % 74.13/74.34 hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1273 \/ ~ndr1_0 \/ c0_1 $_1274 \/ c0_1 a215 \/ c1_1 $_1273 \/ % 74.13/74.34 c1_1 $_1274 \/ c1_1 a207 \/ c1_1 a215 \/ c2_1 $_1273 \/ c3_1 $_1274 \/ % 74.13/74.34 c3_1 a207 \/ hskp10 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- ~c0_1 $_1280 \/ ~ndr1_0 \/ c0_1 $_1281 \/ c1_1 $_1280 \/ c1_1 $_1281 \/ % 74.13/74.34 c1_1 a202 \/ c1_1 a207 \/ c2_1 $_1280 \/ c3_1 $_1281 \/ c3_1 a207 \/ % 74.13/74.34 hskp10 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1284 \/ ~ndr1_0 \/ c0_1 $_1285 \/ c0_1 $_1286 \/ c0_1 a215 \/ % 74.13/74.34 c1_1 $_1284 \/ c1_1 $_1285 \/ c1_1 $_1286 \/ c1_1 a207 \/ c2_1 $_1284 \/ % 74.13/74.34 c3_1 $_1285 \/ c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- ~c0_1 $_1322 \/ ~c0_1 $_1323 \/ ~ndr1_0 \/ c0_1 $_1324 \/ c1_1 $_1322 \/ % 74.13/74.34 c1_1 $_1323 \/ c1_1 $_1324 \/ c1_1 a202 \/ c2_1 $_1323 \/ c3_1 $_1322 \/ % 74.13/74.34 c3_1 $_1324 \/ hskp10 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_1339 \/ ~c0_1 $_1340 \/ ~ndr1_0 \/ c0_1 $_1341 \/ c1_1 $_1339 \/ % 74.13/74.34 c1_1 $_1340 \/ c1_1 $_1341 \/ c1_1 a207 \/ c2_1 $_1340 \/ c3_1 $_1339 \/ % 74.13/74.34 c3_1 $_1341 \/ hskp10 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- c0_1 $_1368 \/ c1_1 $_1367 \/ c1_1 a207 \/ c2_1 $_1367 \/ c2_1 $_1368 \/ % 74.13/74.34 c3_1 $_1367 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ % 74.13/74.34 hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1370 \/ c1_1 a207 \/ c1_1 a210 \/ c2_1 $_1370 \/ % 74.13/74.34 c2_1 a210 \/ hskp0 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.34 hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.34 |- c0_1 $_1392 \/ c1_1 $_1390 \/ c1_1 a207 \/ c2_1 $_1390 \/ c2_1 $_1392 \/ % 74.13/74.34 c3_1 $_1390 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ % 74.13/74.34 hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1415 \/ ~c0_1 $_1416 \/ ~ndr1_0 \/ c0_1 $_1417 \/ c0_1 a215 \/ % 74.13/74.34 c1_1 $_1415 \/ c1_1 $_1416 \/ c1_1 $_1417 \/ c1_1 a207 \/ c1_1 a215 \/ % 74.13/74.34 c2_1 $_1416 \/ c3_1 $_1415 \/ c3_1 $_1417 \/ hskp10 \/ hskp18 \/ % 74.13/74.34 hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- c0_1 $_1439 \/ c1_1 $_1438 \/ c1_1 a202 \/ c2_1 $_1438 \/ c2_1 $_1439 \/ % 74.13/74.34 c3_1 $_1438 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 74.13/74.34 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.34 |- ~c0_1 $_1469 \/ ~ndr1_0 \/ c0_1 $_1470 \/ c0_1 $_1471 \/ c0_1 $_1472 \/ % 74.13/74.34 c1_1 $_1469 \/ c1_1 $_1470 \/ c1_1 $_1471 \/ c1_1 a207 \/ c2_1 $_1469 \/ % 74.13/74.34 c2_1 $_1472 \/ c3_1 $_1470 \/ c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1481 \/ ~ndr1_0 \/ c0_1 $_1482 \/ c1_1 $_1481 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1481 \/ c2_1 $_1482 \/ c3_1 a202 \/ hskp0 \/ hskp13 \/ hskp16 \/ % 74.13/74.34 hskp17 \/ hskp19 \/ hskp23 \/ hskp24 % 74.13/74.34 |- ~c0_1 $_1485 \/ ~c0_1 $_1486 \/ ~ndr1_0 \/ c0_1 $_1487 \/ c1_1 $_1485 \/ % 74.13/74.34 c1_1 $_1486 \/ c1_1 a202 \/ c2_1 $_1486 \/ c2_1 $_1487 \/ c3_1 $_1485 \/ % 74.13/74.34 hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 \/ hskp23 \/ hskp24 % 74.13/74.34 |- ~c0_1 $_1488 \/ ~ndr1_0 \/ c0_1 $_1489 \/ c1_1 $_1488 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1488 \/ c2_1 $_1489 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp23 \/ hskp24 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $_1536 \/ ~ndr1_0 \/ c0_1 $_1535 \/ c0_1 $_1537 \/ c1_1 $_1536 \/ % 74.13/74.34 c1_1 $_1537 \/ c1_1 a202 \/ c2_1 $_1535 \/ c2_1 $_1536 \/ c2_1 a207 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.34 hskp22 \/ hskp3 % 74.13/74.34 |- c0_1 $_1554 \/ c1_1 $_1553 \/ c1_1 a207 \/ c2_1 $_1553 \/ c2_1 $_1554 \/ % 74.13/74.34 c3_1 $_1553 \/ c3_1 a220 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ % 74.13/74.34 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1649 \/ ~ndr1_0 \/ c0_1 $_1650 \/ c0_1 $_1651 \/ c1_1 $_1649 \/ % 74.13/74.34 c1_1 $_1651 \/ c1_1 a202 \/ c2_1 $_1649 \/ c2_1 $_1650 \/ c3_1 a202 \/ % 74.13/74.34 hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp23 \/ hskp24 % 74.13/74.34 |- ~c0_1 $_1661 \/ ~c0_1 $_1662 \/ ~ndr1_0 \/ c0_1 $_1663 \/ c0_1 $_1664 \/ % 74.13/74.34 c1_1 $_1661 \/ c1_1 $_1662 \/ c1_1 $_1664 \/ c1_1 a202 \/ c2_1 $_1662 \/ % 74.13/74.34 c2_1 $_1663 \/ c3_1 $_1661 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ % 74.13/74.34 hskp23 \/ hskp24 % 74.13/74.34 |- ~c0_1 $_1665 \/ ~ndr1_0 \/ c0_1 $_1666 \/ c0_1 $_1667 \/ c1_1 $_1665 \/ % 74.13/74.34 c1_1 $_1667 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_1665 \/ c2_1 $_1666 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ % 74.13/74.34 hskp24 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1774 \/ ~ndr1_0 \/ c0_1 $_1775 \/ c1_1 $_1774 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1774 \/ c2_1 $_1775 \/ c3_1 a207 \/ hskp0 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp19 \/ hskp20 \/ hskp23 \/ hskp24 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1788 \/ ~ndr1_0 \/ c0_1 $_1789 \/ c0_1 $_1790 \/ c1_1 $_1788 \/ % 74.13/74.34 c1_1 $_1790 \/ c1_1 a207 \/ c2_1 $_1788 \/ c2_1 $_1789 \/ c3_1 a207 \/ % 74.13/74.34 hskp0 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp23 \/ hskp24 \/ hskp3 \/ % 74.13/74.34 hskp5 % 74.13/74.34 |- ~c0_1 $_1794 \/ ~ndr1_0 \/ c0_1 $_1795 \/ c0_1 $_1796 \/ c0_1 $_1797 \/ % 74.13/74.34 c0_1 $_1798 \/ c1_1 $_1794 \/ c1_1 $_1796 \/ c1_1 $_1798 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1794 \/ c2_1 $_1795 \/ c2_1 $_1797 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp13 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1808 \/ ~c0_1 $_1809 \/ ~ndr1_0 \/ c0_1 $_1810 \/ c1_1 $_1808 \/ % 74.13/74.34 c1_1 $_1809 \/ c1_1 a207 \/ c2_1 $_1809 \/ c2_1 $_1810 \/ c3_1 $_1808 \/ % 74.13/74.34 hskp0 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp23 \/ hskp24 \/ % 74.13/74.34 hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1818 \/ ~ndr1_0 \/ c0_1 $_1819 \/ c1_1 $_1818 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1818 \/ c2_1 $_1819 \/ c3_1 a202 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~c0_1 $_1826 \/ ~c0_1 $_1827 \/ ~ndr1_0 \/ c0_1 $_1828 \/ c1_1 $_1826 \/ % 74.13/74.34 c1_1 $_1827 \/ c1_1 a202 \/ c2_1 $_1827 \/ c2_1 $_1828 \/ c3_1 $_1826 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp19 % 74.13/74.34 |- ~c0_1 $_1829 \/ ~ndr1_0 \/ c0_1 $_1830 \/ c1_1 $_1829 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1829 \/ c2_1 $_1830 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp19 \/ hskp3 % 74.13/74.34 |- c0_1 $_1877 \/ c0_1 $_1879 \/ c1_1 $_1878 \/ c1_1 $_1879 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1878 \/ c3_1 $_1877 \/ c3_1 $_1878 \/ hskp0 \/ hskp10 \/ % 74.13/74.34 hskp13 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ % 74.13/74.34 c0_1 $_1880 \/ c0_1 $_1882 \/ c1_1 $U \/ c1_1 $_1881 \/ c1_1 a202 \/ % 74.13/74.34 c2_1 $_1881 \/ c3_1 $U \/ c3_1 $_1880 \/ c3_1 $_1881 \/ c3_1 $_1882 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1882 \/ c0_1 a210 \/ c1_1 $_1881 \/ c1_1 $_1882 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1881 \/ c3_1 $_1881 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp6 \/ c0_1 $_1882 \/ c0_1 a211 \/ c1_1 $_1881 \/ c1_1 $_1882 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1881 \/ c3_1 $_1881 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp7 \/ c0_1 $_1882 \/ c0_1 a212 \/ c1_1 $_1881 \/ c1_1 $_1882 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1881 \/ c3_1 $_1881 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp8 \/ c0_1 $_1882 \/ c0_1 a213 \/ c1_1 $_1881 \/ c1_1 $_1882 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1881 \/ c3_1 $_1881 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1882 \/ c0_1 a221 \/ c1_1 $_1881 \/ c1_1 $_1882 \/ % 74.13/74.34 c1_1 a202 \/ c2_1 $_1881 \/ c3_1 $_1881 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp4 \/ c0_1 $_1880 \/ c0_1 $_1882 \/ c1_1 $_1882 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 a207 \/ c3_1 $_1880 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1880 \/ c0_1 $_1882 \/ c1_1 $_1882 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a210 \/ c2_1 a210 \/ c3_1 $_1880 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1880 \/ c0_1 $_1882 \/ c1_1 $_1882 \/ c1_1 a202 \/ % 74.13/74.34 c1_1 a221 \/ c2_1 a221 \/ c3_1 $_1880 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $V \/ ~c0_1 $_1881 \/ ~ndr1_0 \/ c0_1 $_1880 \/ c0_1 $_1882 \/ % 74.13/74.34 c1_1 $_1881 \/ c1_1 $_1882 \/ c1_1 a202 \/ c2_1 $V \/ c2_1 $_1881 \/ % 74.13/74.34 c3_1 $V \/ c3_1 $_1880 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ % 74.13/74.34 hskp17 \/ hskp22 % 74.13/74.34 |- ~c0_1 $_1908 \/ ~ndr1_0 \/ c0_1 $_1907 \/ c0_1 $_1909 \/ c1_1 $_1908 \/ % 74.13/74.34 c1_1 $_1909 \/ c1_1 a202 \/ c2_1 $_1908 \/ c2_1 a207 \/ c3_1 $_1907 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.34 hskp22 \/ hskp3 % 74.13/74.34 |- c0_1 $_1947 \/ c0_1 $_1949 \/ c1_1 $_1948 \/ c1_1 $_1949 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1948 \/ c3_1 $_1947 \/ c3_1 $_1948 \/ hskp0 \/ hskp10 \/ % 74.13/74.34 hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $U \/ ~c1_1 $V \/ ~c2_1 $V \/ ~c3_1 $V \/ ~ndr1_0 \/ % 74.13/74.34 c0_1 $_1950 \/ c0_1 $_1952 \/ c1_1 $U \/ c1_1 $_1951 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1951 \/ c3_1 $U \/ c3_1 $_1950 \/ c3_1 $_1951 \/ c3_1 $_1952 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1952 \/ c0_1 a210 \/ c1_1 $_1951 \/ c1_1 $_1952 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $_1951 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp6 \/ c0_1 $_1952 \/ c0_1 a211 \/ c1_1 $_1951 \/ c1_1 $_1952 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $_1951 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp7 \/ c0_1 $_1952 \/ c0_1 a212 \/ c1_1 $_1951 \/ c1_1 $_1952 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $_1951 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp8 \/ c0_1 $_1952 \/ c0_1 a213 \/ c1_1 $_1951 \/ c1_1 $_1952 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $_1951 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1952 \/ c0_1 a221 \/ c1_1 $_1951 \/ c1_1 $_1952 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $_1951 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp5 \/ c0_1 $_1950 \/ c0_1 $_1952 \/ c1_1 $_1952 \/ c1_1 a207 \/ % 74.13/74.34 c1_1 a210 \/ c2_1 a210 \/ c3_1 $_1950 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~hskp11 \/ c0_1 $_1950 \/ c0_1 $_1952 \/ c1_1 $_1952 \/ c1_1 a207 \/ % 74.13/74.34 c1_1 a221 \/ c2_1 a221 \/ c3_1 $_1950 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $U \/ ~c0_1 $V \/ ~c0_1 $_1951 \/ ~c2_1 $V \/ ~ndr1_0 \/ % 74.13/74.34 c0_1 $_1950 \/ c0_1 $_1952 \/ c1_1 $U \/ c1_1 $V \/ c1_1 $_1951 \/ % 74.13/74.34 c1_1 $_1952 \/ c1_1 a207 \/ c2_1 $_1951 \/ c3_1 $U \/ c3_1 $_1950 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $V \/ ~c0_1 $_1951 \/ ~ndr1_0 \/ c0_1 $_1950 \/ c0_1 $_1952 \/ % 74.13/74.34 c1_1 $_1951 \/ c1_1 $_1952 \/ c1_1 a207 \/ c2_1 $V \/ c2_1 $_1951 \/ % 74.13/74.34 c3_1 $V \/ c3_1 $_1950 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp22 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_1985 \/ ~c0_1 $_1986 \/ ~ndr1_0 \/ c0_1 $_1987 \/ c0_1 $_1988 \/ % 74.13/74.34 c1_1 $_1985 \/ c1_1 $_1986 \/ c1_1 $_1988 \/ c1_1 a207 \/ c2_1 $_1986 \/ % 74.13/74.34 c2_1 $_1987 \/ c3_1 $_1985 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp20 \/ % 74.13/74.34 hskp23 \/ hskp24 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_1997 \/ ~ndr1_0 \/ c0_1 $_1998 \/ c1_1 $_1997 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_1997 \/ c2_1 $_1998 \/ c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp19 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_2001 \/ ~c0_1 $_2002 \/ ~ndr1_0 \/ c0_1 $_2003 \/ c1_1 $_2001 \/ % 74.13/74.34 c1_1 $_2002 \/ c1_1 a207 \/ c2_1 $_2002 \/ c2_1 $_2003 \/ c3_1 $_2001 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp19 \/ hskp20 \/ hskp3 \/ % 74.13/74.34 hskp5 % 74.13/74.34 |- ~c0_1 $_2054 \/ ~ndr1_0 \/ c0_1 $_2053 \/ c0_1 $_2055 \/ c1_1 $_2054 \/ % 74.13/74.34 c1_1 $_2055 \/ c1_1 a202 \/ c2_1 $_2053 \/ c2_1 $_2054 \/ c3_1 a202 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_2059 \/ ~c0_1 $_2060 \/ ~ndr1_0 \/ c0_1 $_2061 \/ c0_1 $_2062 \/ % 74.13/74.34 c0_1 a215 \/ c1_1 $_2059 \/ c1_1 $_2060 \/ c1_1 $_2061 \/ c1_1 $_2062 \/ % 74.13/74.34 c1_1 a207 \/ c2_1 $_2060 \/ c3_1 $_2059 \/ c3_1 $_2061 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- ~c0_1 $_2078 \/ ~ndr1_0 \/ c0_1 $_2077 \/ c0_1 $_2079 \/ c1_1 $_2078 \/ % 74.13/74.34 c1_1 $_2079 \/ c1_1 a207 \/ c2_1 $_2077 \/ c2_1 $_2078 \/ c3_1 a207 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_2088 \/ ~ndr1_0 \/ c0_1 $_2087 \/ c0_1 $_2089 \/ c1_1 $_2088 \/ % 74.13/74.34 c1_1 $_2089 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_2087 \/ c2_1 $_2088 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $_2094 \/ ~ndr1_0 \/ c0_1 $_2093 \/ c0_1 $_2095 \/ c0_1 $_2096 \/ % 74.13/74.34 c0_1 $_2097 \/ c1_1 $_2094 \/ c1_1 $_2095 \/ c1_1 $_2096 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_2093 \/ c2_1 $_2094 \/ c2_1 $_2097 \/ c3_1 a207 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_2125 \/ ~c0_1 $_2127 \/ ~ndr1_0 \/ c0_1 $_2126 \/ c0_1 $_2128 \/ % 74.13/74.34 c1_1 $_2125 \/ c1_1 $_2127 \/ c1_1 $_2128 \/ c1_1 a202 \/ c2_1 $_2126 \/ % 74.13/74.34 c2_1 $_2127 \/ c3_1 $_2125 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ % 74.13/74.34 hskp17 % 74.13/74.34 |- ~c0_1 $_2143 \/ ~c0_1 $_2145 \/ ~ndr1_0 \/ c0_1 $_2144 \/ c0_1 $_2146 \/ % 74.13/74.34 c1_1 $_2143 \/ c1_1 $_2145 \/ c1_1 $_2146 \/ c1_1 a207 \/ c2_1 $_2144 \/ % 74.13/74.34 c2_1 $_2145 \/ c3_1 $_2143 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_2181 \/ ~c0_1 $_2182 \/ ~ndr1_0 \/ c0_1 $_2183 \/ c0_1 $_2184 \/ % 74.13/74.34 c0_1 $_2185 \/ c1_1 $_2181 \/ c1_1 $_2182 \/ c1_1 $_2183 \/ % 74.13/74.34 c1_1 $_2184 \/ c1_1 a207 \/ c2_1 $_2182 \/ c2_1 $_2185 \/ c3_1 $_2181 \/ % 74.13/74.34 c3_1 $_2183 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp3 % 74.13/74.34 |- ~c0_1 $_2232 \/ ~ndr1_0 \/ c0_1 $_2231 \/ c0_1 $_2233 \/ c1_1 $_2232 \/ % 74.13/74.34 c1_1 $_2233 \/ c1_1 a202 \/ c2_1 $_2232 \/ c3_1 $_2231 \/ c3_1 a202 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 % 74.13/74.34 |- ~c0_1 $_2273 \/ ~c0_1 $_2275 \/ ~ndr1_0 \/ c0_1 $_2274 \/ c0_1 $_2276 \/ % 74.13/74.34 c1_1 $_2273 \/ c1_1 $_2275 \/ c1_1 $_2276 \/ c1_1 a202 \/ c2_1 $_2275 \/ % 74.13/74.34 c3_1 $_2273 \/ c3_1 $_2274 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ % 74.13/74.34 hskp17 % 74.13/74.34 |- ~c0_1 $_2278 \/ ~ndr1_0 \/ c0_1 $_2277 \/ c0_1 $_2279 \/ c1_1 $_2278 \/ % 74.13/74.34 c1_1 $_2279 \/ c1_1 a202 \/ c1_1 a207 \/ c2_1 $_2278 \/ c3_1 $_2277 \/ % 74.13/74.34 c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp16 \/ hskp17 \/ hskp18 \/ % 74.13/74.34 hskp3 % 74.13/74.34 |- ~c0_1 $_2298 \/ ~ndr1_0 \/ c0_1 $_2297 \/ c0_1 $_2299 \/ c1_1 $_2298 \/ % 74.13/74.34 c1_1 $_2299 \/ c1_1 a207 \/ c2_1 $_2298 \/ c3_1 $_2297 \/ c3_1 a207 \/ % 74.13/74.34 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_2304 \/ ~ndr1_0 \/ c0_1 $_2303 \/ c0_1 $_2305 \/ c0_1 a215 \/ % 74.13/74.34 c1_1 $_2304 \/ c1_1 $_2305 \/ c1_1 a207 \/ c1_1 a215 \/ c2_1 $_2304 \/ % 74.13/74.34 c3_1 $_2303 \/ c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- ~c0_1 $_2310 \/ ~ndr1_0 \/ c0_1 $_2309 \/ c0_1 $_2311 \/ c0_1 $_2312 \/ % 74.13/74.34 c0_1 a215 \/ c1_1 $_2310 \/ c1_1 $_2311 \/ c1_1 $_2312 \/ c1_1 a207 \/ % 74.13/74.34 c2_1 $_2310 \/ c3_1 $_2309 \/ c3_1 a207 \/ hskp0 \/ hskp10 \/ hskp13 \/ % 74.13/74.34 hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.34 |- ~c0_1 $_2339 \/ ~c0_1 $_2341 \/ ~ndr1_0 \/ c0_1 $_2340 \/ c0_1 $_2342 \/ % 74.13/74.34 c1_1 $_2339 \/ c1_1 $_2341 \/ c1_1 $_2342 \/ c1_1 a207 \/ c2_1 $_2341 \/ % 74.13/74.34 c3_1 $_2339 \/ c3_1 $_2340 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.34 hskp20 \/ hskp3 \/ hskp5 % 74.13/74.34 |- ~c0_1 $_2359 \/ ~c0_1 $_2361 \/ ~ndr1_0 \/ c0_1 $_2360 \/ c0_1 $_2362 \/ % 74.13/74.34 c0_1 a215 \/ c1_1 $_2359 \/ c1_1 $_2361 \/ c1_1 $_2362 \/ c1_1 a207 \/ % 74.13/74.34 c1_1 a215 \/ c2_1 $_2361 \/ c3_1 $_2359 \/ c3_1 $_2360 \/ hskp0 \/ % 74.13/74.34 hskp10 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.35 |- ~c0_1 $_2379 \/ ~c0_1 $_2380 \/ ~ndr1_0 \/ c0_1 $_2381 \/ c0_1 $_2382 \/ % 74.13/74.35 c0_1 $_2383 \/ c0_1 $_2384 \/ c1_1 $_2379 \/ c1_1 $_2380 \/ % 74.13/74.35 c1_1 $_2382 \/ c1_1 $_2384 \/ c1_1 a207 \/ c2_1 $_2380 \/ c2_1 $_2381 \/ % 74.13/74.35 c2_1 $_2383 \/ c3_1 $_2379 \/ hskp0 \/ hskp13 \/ hskp18 \/ hskp23 \/ % 74.13/74.35 hskp24 \/ hskp3 % 74.13/74.35 |- ~c0_1 $_2401 \/ ~c0_1 $_2403 \/ ~ndr1_0 \/ c0_1 $_2402 \/ c0_1 $_2404 \/ % 74.13/74.35 c0_1 $_2405 \/ c0_1 $_2406 \/ c1_1 $_2401 \/ c1_1 $_2403 \/ % 74.13/74.35 c1_1 $_2404 \/ c1_1 $_2405 \/ c1_1 a207 \/ c2_1 $_2402 \/ c2_1 $_2403 \/ % 74.13/74.35 c2_1 $_2406 \/ c3_1 $_2401 \/ hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- c0_1 $_2454 \/ c0_1 $_2455 \/ c1_1 $_2453 \/ c1_1 a202 \/ c2_1 $_2453 \/ % 74.13/74.35 c2_1 $_2454 \/ c3_1 $_2453 \/ c3_1 $_2455 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp4 \/ c0_1 $_2457 \/ c0_1 $_2458 \/ c1_1 a202 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2457 \/ c2_1 a207 \/ c3_1 $_2458 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2457 \/ c0_1 $_2458 \/ c1_1 a202 \/ c1_1 a210 \/ % 74.13/74.35 c2_1 $_2457 \/ c2_1 a210 \/ c3_1 $_2458 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp10 \/ c0_1 $_2457 \/ c0_1 $_2458 \/ c1_1 a202 \/ c1_1 a217 \/ % 74.13/74.35 c2_1 $_2457 \/ c2_1 a217 \/ c3_1 $_2458 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2457 \/ c0_1 a210 \/ c1_1 $_2456 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2456 \/ c2_1 $_2457 \/ c3_1 $_2456 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp6 \/ c0_1 $_2457 \/ c0_1 a211 \/ c1_1 $_2456 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2456 \/ c2_1 $_2457 \/ c3_1 $_2456 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp7 \/ c0_1 $_2457 \/ c0_1 a212 \/ c1_1 $_2456 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2456 \/ c2_1 $_2457 \/ c3_1 $_2456 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~hskp8 \/ c0_1 $_2457 \/ c0_1 a213 \/ c1_1 $_2456 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2456 \/ c2_1 $_2457 \/ c3_1 $_2456 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~c2_1 $_2458 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_2457 \/ c0_1 $_2458 \/ % 74.13/74.35 c1_1 $_2456 \/ c1_1 a202 \/ c2_1 $_22 \/ c2_1 $_2456 \/ c2_1 $_2457 \/ % 74.13/74.35 c3_1 $_2456 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.35 hskp17 \/ hskp18 \/ hskp23 \/ hskp24 % 74.13/74.35 |- ~c0_1 $_2481 \/ ~c0_1 $_2483 \/ ~ndr1_0 \/ c0_1 $_2482 \/ c0_1 $_2484 \/ % 74.13/74.35 c0_1 $_2485 \/ c0_1 a215 \/ c1_1 $_2481 \/ c1_1 $_2483 \/ c1_1 $_2484 \/ % 74.13/74.35 c1_1 $_2485 \/ c1_1 a207 \/ c2_1 $_2483 \/ c3_1 $_2481 \/ c3_1 $_2482 \/ % 74.13/74.35 hskp0 \/ hskp10 \/ hskp13 \/ hskp18 \/ hskp21 \/ hskp3 \/ hskp8 % 74.13/74.35 |- c0_1 $_2530 \/ c0_1 $_2531 \/ c1_1 $_2529 \/ c1_1 a207 \/ c2_1 $_2529 \/ % 74.13/74.35 c2_1 $_2530 \/ c3_1 $_2529 \/ c3_1 $_2531 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2533 \/ c0_1 $_2534 \/ c1_1 a207 \/ c1_1 a210 \/ % 74.13/74.35 c2_1 $_2533 \/ c2_1 a210 \/ c3_1 $_2534 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp10 \/ c0_1 $_2533 \/ c0_1 $_2534 \/ c1_1 a207 \/ c1_1 a217 \/ % 74.13/74.35 c2_1 $_2533 \/ c2_1 a217 \/ c3_1 $_2534 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2533 \/ c0_1 a210 \/ c1_1 $_2532 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2532 \/ c2_1 $_2533 \/ c3_1 $_2532 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp6 \/ c0_1 $_2533 \/ c0_1 a211 \/ c1_1 $_2532 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2532 \/ c2_1 $_2533 \/ c3_1 $_2532 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp7 \/ c0_1 $_2533 \/ c0_1 a212 \/ c1_1 $_2532 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2532 \/ c2_1 $_2533 \/ c3_1 $_2532 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~hskp8 \/ c0_1 $_2533 \/ c0_1 a213 \/ c1_1 $_2532 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2532 \/ c2_1 $_2533 \/ c3_1 $_2532 \/ hskp0 \/ hskp1 \/ hskp11 \/ % 74.13/74.35 hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ % 74.13/74.35 hskp3 % 74.13/74.35 |- ~c2_1 $_2534 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_2533 \/ c0_1 $_2534 \/ % 74.13/74.35 c1_1 $_2532 \/ c1_1 a207 \/ c2_1 $_22 \/ c2_1 $_2532 \/ c2_1 $_2533 \/ % 74.13/74.35 c3_1 $_2532 \/ hskp0 \/ hskp1 \/ hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ % 74.13/74.35 hskp17 \/ hskp18 \/ hskp23 \/ hskp24 \/ hskp3 % 74.13/74.35 |- c0_1 $_2581 \/ c0_1 $_2583 \/ c1_1 $_2582 \/ c1_1 a202 \/ c2_1 $_2582 \/ % 74.13/74.35 c2_1 $_2583 \/ c3_1 $_2581 \/ c3_1 $_2582 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2586 \/ c0_1 a210 \/ c1_1 $_2585 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2585 \/ c2_1 $_2586 \/ c3_1 $_2585 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp6 \/ c0_1 $_2586 \/ c0_1 a211 \/ c1_1 $_2585 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2585 \/ c2_1 $_2586 \/ c3_1 $_2585 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp7 \/ c0_1 $_2586 \/ c0_1 a212 \/ c1_1 $_2585 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2585 \/ c2_1 $_2586 \/ c3_1 $_2585 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp8 \/ c0_1 $_2586 \/ c0_1 a213 \/ c1_1 $_2585 \/ c1_1 a202 \/ % 74.13/74.35 c2_1 $_2585 \/ c2_1 $_2586 \/ c3_1 $_2585 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~c2_1 $_2584 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_2584 \/ c0_1 $_2586 \/ % 74.13/74.35 c1_1 $_2585 \/ c1_1 a202 \/ c2_1 $_22 \/ c2_1 $_2585 \/ c2_1 $_2586 \/ % 74.13/74.35 c3_1 $_2585 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ % 74.13/74.35 hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp4 \/ c0_1 $_2584 \/ c0_1 $_2586 \/ c1_1 a202 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2586 \/ c2_1 a207 \/ c3_1 $_2584 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2584 \/ c0_1 $_2586 \/ c1_1 a202 \/ c1_1 a210 \/ % 74.13/74.35 c2_1 $_2586 \/ c2_1 a210 \/ c3_1 $_2584 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 % 74.13/74.35 |- c0_1 $_2627 \/ c0_1 $_2629 \/ c1_1 $_2628 \/ c1_1 a207 \/ c2_1 $_2628 \/ % 74.13/74.35 c2_1 $_2629 \/ c3_1 $_2627 \/ c3_1 $_2628 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2632 \/ c0_1 a210 \/ c1_1 $_2631 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2631 \/ c2_1 $_2632 \/ c3_1 $_2631 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~hskp6 \/ c0_1 $_2632 \/ c0_1 a211 \/ c1_1 $_2631 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2631 \/ c2_1 $_2632 \/ c3_1 $_2631 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~hskp7 \/ c0_1 $_2632 \/ c0_1 a212 \/ c1_1 $_2631 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2631 \/ c2_1 $_2632 \/ c3_1 $_2631 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~hskp8 \/ c0_1 $_2632 \/ c0_1 a213 \/ c1_1 $_2631 \/ c1_1 a207 \/ % 74.13/74.35 c2_1 $_2631 \/ c2_1 $_2632 \/ c3_1 $_2631 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~c2_1 $_2630 \/ ~ndr1_0 \/ c0_1 $_22 \/ c0_1 $_2630 \/ c0_1 $_2632 \/ % 74.13/74.35 c1_1 $_2631 \/ c1_1 a207 \/ c2_1 $_22 \/ c2_1 $_2631 \/ c2_1 $_2632 \/ % 74.13/74.35 c3_1 $_2631 \/ hskp0 \/ hskp1 \/ hskp10 \/ hskp11 \/ hskp13 \/ hskp14 \/ % 74.13/74.35 hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 |- ~hskp5 \/ c0_1 $_2630 \/ c0_1 $_2632 \/ c1_1 a207 \/ c1_1 a210 \/ % 74.13/74.35 c2_1 $_2632 \/ c2_1 a210 \/ c3_1 $_2630 \/ hskp0 \/ hskp1 \/ hskp10 \/ % 74.13/74.35 hskp11 \/ hskp13 \/ hskp14 \/ hskp16 \/ hskp17 \/ hskp18 \/ hskp3 % 74.13/74.35 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 74.13/74.35 %------------------------------------------------------------------------------