%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN823-1 : TPTP v8.1.0. Released v2.5.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n003.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:06:26 EDT 2022 % Result : Satisfiable 2.05s 2.27s % Output : Saturation 2.15s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SYN823-1 : TPTP v8.1.0. Released v2.5.0. % 0.11/0.13 % Command : metis --show proof --show saturation %s % 0.13/0.34 % Computer : n003.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Tue Jul 12 00:01:45 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 2.05/2.27 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 2.05/2.27 % 2.05/2.27 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 2.05/2.27 |- ssNder1_0 % 2.05/2.27 |- ssNder1_1r1 $U % 2.05/2.27 |- ssNder1_2r1r1 $U $V % 2.05/2.27 |- ssNder1_3r1r1r1 $U $V $W % 2.05/2.27 |- ~ssPv10_1r1 $U \/ ~ssPv20_1r1 $U \/ ~ssPv5_1r1 $U \/ ssPv15_1r1 $U % 2.05/2.27 |- ssNder1_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ssPv16_5r1r1r1r1r1 $U $V $W $X skc22 % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X skc23 % 2.05/2.27 |- ssNder1_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y skc20 % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y skc21 % 2.05/2.27 |- ~ssPv17_5r1r1r1r1r1 $U $V $W $X $Y \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ ssPv17_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ssNder1_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z skc18 % 2.05/2.27 |- ~ssPv14_4r1r1r1r1 $U $V $W $X \/ ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv1_4r1r1r1r1 $U $V $W $X \/ ssPv7_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z skc19 % 2.05/2.27 |- ~ssPv10_4r1r1r1r1 $U $V $W $X \/ ~ssPv16_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X \/ ssPv7_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv13_4r1r1r1r1 $U $V $W $X \/ ~ssPv16_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X \/ ssPv4_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ ssPv17_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv17_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv16_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ssNder1_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 skc16 % 2.05/2.27 |- ssPv13_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ ssPv1_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv9_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 skc17 % 2.05/2.27 |- ~ssPv10_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv17_5r1r1r1r1r1 $U $V $W $X $Y \/ ssPv7_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv13_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv17_5r1r1r1r1r1 $U $V $W $X $Y \/ ssPv4_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv12_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ~ssPv1_5r1r1r1r1r1 $U $V $W $X $Y \/ ssPv7_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv17_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv16_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv15_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ssNder1_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv10_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ~ssPv20_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ~ssPv5_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv17_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv16_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv15_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv14_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv14_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ssNder1_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ~ssPv17_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv1_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv7_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv17_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv16_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv15_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv14_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv14_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv13_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv13_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ssNder1_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv16_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv1_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv9_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv5_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv11_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv9_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv17_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ~ssPv16_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv17_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv4_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv16_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ~ssPv15_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv14_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv14_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv13_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ~ssPv13_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv12_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv12_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ssNder1_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv17_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.27 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.27 ssPv16_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv16_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.27 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ~ssPv16_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ~ssPv1_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv7_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv15_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.27 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.27 ssPv15_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv14_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.27 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.27 ssPv14_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.27 ssPv13_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv13_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.27 |- ~ssPv12_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.27 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.27 ssPv12_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.27 ssPv11_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 |- ~ssPv11_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 $X5 \/ % 2.05/2.27 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.27 |- ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 $X6 % 2.05/2.27 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.27 ssPv17_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 $X6 % 2.05/2.27 |- ~ssPv17_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.27 $X6 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.28 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.28 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv5_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.28 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.28 ssPv13_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.28 ssPv9_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 |- ~ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.28 |- ~ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.28 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.28 ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.28 ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.28 |- ~ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.28 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.28 ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.28 ssPv12_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv12_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.28 |- ~ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.28 ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 |- ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 skc14 % 2.05/2.28 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 skc15 % 2.05/2.28 |- ~ssPv17_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.28 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.28 ssPv17_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.28 ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.28 |- ~ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.28 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.28 ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ~ssPv16_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ssPv17_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 \/ % 2.05/2.28 ssPv7_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 |- ~ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.28 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.28 ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.28 ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.28 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ~ssPv20_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ~ssPv5_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 \/ % 2.05/2.28 ssPv15_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.28 ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ % 2.05/2.28 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.28 |- ~ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ % 2.05/2.28 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.28 ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 \/ % 2.05/2.28 ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 % 2.05/2.28 |- ~ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ % 2.05/2.28 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 |- ~ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 \/ % 2.05/2.28 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 $X7 % 2.05/2.28 |- ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.28 |- ~ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.28 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.28 ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.28 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.28 ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.28 |- ~ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.28 |- ~ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 \/ ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.28 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.28 ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.28 |- ~ssPv5_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 \/ % 2.05/2.28 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.28 $X6 % 2.05/2.28 |- ~ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 \/ ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.28 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.28 ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.28 |- ~ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 \/ ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.28 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.28 ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.28 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.29 ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 |- ~ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.29 ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 \/ % 2.05/2.29 ssPv10_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv10_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 |- ~ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 % 2.05/2.29 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 \/ % 2.05/2.29 ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 skc12 % 2.05/2.29 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 skc13 % 2.05/2.29 |- ~ssPv17_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.29 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.29 ssPv17_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.29 ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.29 |- ~ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.29 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.29 ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.29 ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.29 |- ~ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.29 ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.29 ssPv12_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv12_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 |- ~ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.29 ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 \/ % 2.05/2.29 ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 |- ~ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 % 2.05/2.29 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 \/ % 2.05/2.29 ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ~ssPv7_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 $X9 % 2.05/2.29 |- ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.29 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.29 ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.29 ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.29 |- ~ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.29 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.29 ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.29 ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.29 |- ~ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.29 ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.29 ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 |- ~ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ~ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.29 ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 |- ~ssPv10_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ~ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ~ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ~ssPv1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 \/ % 2.05/2.29 ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 \/ % 2.05/2.29 ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 % 2.05/2.29 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv7_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.29 ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.29 |- ~ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.29 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.29 ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.29 ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.29 |- ~ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.29 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.29 ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.29 ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 |- ~ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.29 ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.29 ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 |- ~ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 \/ % 2.05/2.29 ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 \/ % 2.05/2.29 ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 % 2.05/2.29 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.29 |- ~ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.29 ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.29 ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.29 |- ~ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.29 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.29 ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.29 ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.29 |- ~ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.29 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.29 ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.29 ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 |- ~ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.29 ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.29 ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 |- ~ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 \/ % 2.05/2.29 ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 % 2.05/2.29 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.29 $X6 \/ % 2.05/2.29 ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ~ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 % 2.05/2.29 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.29 $X5 $X6 $X7 $X8 \/ % 2.05/2.29 ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.29 |- ~ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.29 ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.29 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.29 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.29 ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.29 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.30 |- ~ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.05/2.30 |- ~ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 2.05/2.30 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.30 |- ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.30 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.30 ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.30 ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.30 |- ~ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.30 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.30 ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.30 ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 |- ~ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.30 ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.30 ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 |- ~ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.30 ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 \/ % 2.05/2.30 ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 |- ~ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 $X6 % 2.05/2.30 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 $X6 \/ % 2.05/2.30 ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ~ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.30 |- ~ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 $X6 $X7 $X8 % 2.05/2.30 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 $X6 $X7 $X8 \/ % 2.05/2.30 ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.30 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.30 ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ~ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 2.05/2.30 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.30 |- ~ssPv17_4r1r1r1r1 $U $V $W $X \/ % 2.05/2.30 ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv17_4r1r1r1r1 $U $V $W $X % 2.05/2.30 |- ~ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv16_5r1r1r1r1r1 $U $V $W $X $Y % 2.05/2.30 |- ~ssPv16_5r1r1r1r1r1 $U $V $W $X $Y \/ % 2.05/2.30 ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 2.05/2.30 ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv15_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 2.05/2.30 |- ~ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 |- ~ssPv14_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 2.05/2.30 ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 2.05/2.30 ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 |- ~ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 |- ~ssPv12_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 2.05/2.30 ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 2.05/2.30 ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv11_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 |- ~ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 \/ % 2.05/2.30 ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 $X6 \/ % 2.05/2.30 ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 2.05/2.30 $X6 % 2.05/2.30 |- ~ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 $X6 $X7 $X8 \/ % 2.05/2.30 ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.05/2.30 $X5 $X6 $X7 $X8 % 2.05/2.30 |- ~ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 2.05/2.30 ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.05/2.30 |- ~ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 2.05/2.30 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.05/2.30 |- ~ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 2.05/2.30 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 2.05/2.30 ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ~ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ~ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ~ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ~ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 2.05/2.30 ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 2.05/2.30 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ssPv16_6r1r1r1r1r1r1 $_155 $_156 $_157 $_158 skc22 $_160 % 2.05/2.30 |- ssPv16_7r1r1r1r1r1r1r1 $_206 $_207 $_208 $_209 skc22 $_212 $_210 % 2.05/2.30 |- ssPv15_7r1r1r1r1r1r1r1 $_250 $_251 $_252 $_253 $_255 skc20 $_254 % 2.05/2.30 |- ssPv16_8r1r1r1r1r1r1r1r1 $_299 $_300 $_301 $_302 skc22 $_306 $_303 $_304 % 2.05/2.30 |- ssPv15_8r1r1r1r1r1r1r1r1 $_314 $_315 $_316 $_317 $_320 skc20 $_318 $_319 % 2.05/2.30 |- ssPv16_9r1r1r1r1r1r1r1r1r1 $_420 $_421 $_422 $_423 skc22 $_428 $_424 % 2.05/2.30 $_425 $_426 % 2.05/2.30 |- ssPv14_8r1r1r1r1r1r1r1r1 $_454 $_455 $_456 $_457 $_460 $_461 skc18 $_459 % 2.05/2.30 |- ssPv15_9r1r1r1r1r1r1r1r1r1 $_509 $_510 $_511 $_512 $_516 skc20 $_513 % 2.05/2.30 $_514 $_515 % 2.05/2.30 |- ssPv14_9r1r1r1r1r1r1r1r1r1 $_526 $_527 $_528 $_529 $_533 $_534 skc18 % 2.05/2.30 $_531 $_532 % 2.05/2.30 |- ssPv16_10r1r1r1r1r1r1r1r1r1r1 $_594 $_595 $_596 $_597 skc22 $_603 $_598 % 2.05/2.30 $_599 $_600 $_601 % 2.05/2.30 |- ssPv15_10r1r1r1r1r1r1r1r1r1r1 $_629 $_630 $_631 $_632 $_637 skc20 $_633 % 2.05/2.30 $_634 $_635 $_636 % 2.05/2.30 |- ssPv13_9r1r1r1r1r1r1r1r1r1 $_667 $_668 $_669 $_670 $_674 $_675 $_671 % 2.05/2.30 skc16 $_673 % 2.05/2.30 |- ssPv16_11r1r1r1r1r1r1r1r1r1r1r1 $_736 $_737 $_738 $_739 skc22 $_746 % 2.05/2.30 $_740 $_741 $_742 $_743 $_744 % 2.05/2.30 |- ssPv14_10r1r1r1r1r1r1r1r1r1r1 $_794 $_795 $_796 $_797 $_802 $_803 skc18 % 2.05/2.30 $_799 $_800 $_801 % 2.05/2.30 |- ssPv13_10r1r1r1r1r1r1r1r1r1r1 $_813 $_814 $_815 $_816 $_821 $_822 $_817 % 2.05/2.30 skc16 $_819 $_820 % 2.05/2.30 |- ssPv15_11r1r1r1r1r1r1r1r1r1r1r1 $_890 $_891 $_892 $_893 $_899 skc20 % 2.05/2.30 $_894 $_895 $_896 $_897 $_898 % 2.05/2.30 |- ssPv14_11r1r1r1r1r1r1r1r1r1r1r1 $_940 $_941 $_942 $_943 $_949 $_950 % 2.05/2.30 skc18 $_945 $_946 $_947 $_948 % 2.05/2.30 |- ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_1019 $_1020 $_1021 $_1022 skc22 % 2.05/2.30 $_1030 $_1023 $_1024 $_1025 $_1026 $_1027 $_1028 % 2.05/2.30 |- ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1 $_1066 $_1067 $_1068 $_1069 $_1076 % 2.05/2.30 skc20 $_1070 $_1071 $_1072 $_1073 $_1074 $_1075 % 2.05/2.30 |- ssPv13_11r1r1r1r1r1r1r1r1r1r1r1 $_1111 $_1112 $_1113 $_1114 $_1120 % 2.05/2.30 $_1121 $_1115 skc16 $_1117 $_1118 $_1119 % 2.05/2.30 |- ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1196 $_1197 $_1198 $_1199 skc22 % 2.05/2.30 $_1208 $_1200 $_1201 $_1202 $_1203 $_1204 $_1205 $_1206 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_1266 $_1267 $_1268 $_1269 $_1276 % 2.05/2.30 $_1277 $_1270 skc16 $_1272 $_1273 $_1274 $_1275 % 2.05/2.30 |- ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1 $_1289 $_1290 $_1291 $_1292 $_1299 % 2.05/2.30 $_1300 skc18 $_1294 $_1295 $_1296 $_1297 $_1298 % 2.05/2.30 |- ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1406 $_1407 $_1408 $_1409 $_1417 % 2.05/2.30 $_1418 skc18 $_1411 $_1412 $_1413 $_1414 $_1415 $_1416 % 2.05/2.30 |- ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1444 $_1445 $_1446 $_1447 $_1455 % 2.05/2.30 skc20 $_1448 $_1449 $_1450 $_1451 $_1452 $_1453 $_1454 % 2.05/2.30 |- ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1551 $_1552 $_1553 $_1554 skc22 % 2.05/2.30 $_1564 $_1555 $_1556 $_1557 $_1558 $_1559 $_1560 $_1561 $_1562 % 2.05/2.30 |- ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1655 $_1656 $_1657 $_1658 $_1666 % 2.05/2.30 $_1667 $_1659 skc16 $_1661 $_1662 $_1663 $_1664 $_1665 % 2.05/2.30 |- ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1728 $_1729 $_1730 $_1731 $_1740 % 2.05/2.30 skc20 $_1732 $_1733 $_1734 $_1735 $_1736 $_1737 $_1738 $_1739 % 2.05/2.30 |- ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1755 $_1756 $_1757 $_1758 % 2.05/2.30 skc22 $_1769 $_1759 $_1760 $_1761 $_1762 $_1763 $_1764 $_1765 $_1766 % 2.05/2.30 $_1767 % 2.05/2.30 |- ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1828 $_1829 $_1830 $_1831 $_1840 % 2.05/2.30 $_1841 $_1832 skc16 $_1834 $_1835 $_1836 $_1837 $_1838 $_1839 % 2.05/2.30 |- ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1869 $_1870 $_1871 $_1872 $_1881 % 2.05/2.30 $_1882 skc18 $_1874 $_1875 $_1876 $_1877 $_1878 $_1879 $_1880 % 2.05/2.30 |- ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_1991 $_1992 $_1993 $_1994 % 2.05/2.30 $_2004 $_2005 skc18 $_1996 $_1997 $_1998 $_1999 $_2000 $_2001 $_2002 % 2.05/2.30 $_2003 % 2.05/2.30 |- ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2050 $_2051 $_2052 $_2053 % 2.05/2.30 $_2063 skc20 $_2054 $_2055 $_2056 $_2057 $_2058 $_2059 $_2060 $_2061 % 2.05/2.30 $_2062 % 2.05/2.30 |- ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2213 $_2214 $_2215 $_2216 % 2.05/2.30 $_2227 skc20 $_2217 $_2219 $_2220 $_2221 $_2222 $_2223 $_2224 $_2225 % 2.05/2.30 $_2226 $_2218 % 2.05/2.30 |- ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2244 $_2245 $_2246 $_2247 % 2.05/2.30 skc22 $_2259 $_2248 $_2250 $_2251 $_2252 $_2253 $_2254 $_2255 $_2256 % 2.05/2.30 $_2257 $_2249 % 2.05/2.30 |- ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2377 $_2378 $_2379 $_2380 % 2.05/2.30 $_2390 $_2391 $_2381 skc16 $_2383 $_2384 $_2385 $_2386 $_2387 $_2388 % 2.05/2.30 $_2389 % 2.05/2.30 |- ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2451 $_2452 $_2453 $_2454 % 2.05/2.30 skc22 $_2467 $_2455 $_2458 $_2459 $_2460 $_2461 $_2462 $_2463 $_2464 % 2.05/2.30 $_2465 $_2456 $_2457 % 2.05/2.30 |- ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2558 $_2559 $_2560 $_2561 % 2.05/2.30 $_2572 $_2573 $_2562 skc16 $_2565 $_2566 $_2567 $_2568 $_2569 $_2570 % 2.05/2.30 $_2571 $_2563 % 2.05/2.30 |- ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2589 $_2590 $_2591 $_2592 % 2.05/2.30 $_2603 $_2604 skc18 $_2595 $_2596 $_2597 $_2598 $_2599 $_2600 $_2601 % 2.05/2.30 $_2602 $_2594 % 2.05/2.30 |- ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2757 $_2758 $_2759 $_2760 % 2.05/2.30 $_2772 $_2773 skc18 $_2764 $_2765 $_2766 $_2767 $_2768 $_2769 $_2770 % 2.05/2.30 $_2771 $_2762 $_2763 % 2.05/2.30 |- ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2790 $_2791 $_2792 $_2793 % 2.05/2.30 $_2805 skc20 $_2794 $_2797 $_2798 $_2799 $_2800 $_2801 $_2802 $_2803 % 2.05/2.30 $_2804 $_2795 $_2796 % 2.05/2.30 |- ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2952 $_2953 $_2954 % 2.05/2.30 $_2955 $_2968 skc20 $_2956 $_2960 $_2961 $_2962 $_2963 $_2964 $_2965 % 2.05/2.30 $_2966 $_2967 $_2957 $_2958 $_2959 % 2.05/2.30 |- ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3023 $_3024 $_3025 % 2.05/2.30 $_3026 skc22 $_3040 $_3027 $_3031 $_3032 $_3033 $_3034 $_3035 $_3036 % 2.05/2.30 $_3037 $_3038 $_3028 $_3029 $_3030 % 2.05/2.30 |- ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3184 $_3185 $_3186 $_3187 % 2.05/2.30 $_3199 $_3200 $_3188 skc16 $_3192 $_3193 $_3194 $_3195 $_3196 $_3197 % 2.05/2.30 $_3198 $_3189 $_3190 % 2.05/2.30 |- ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3266 $_3267 $_3268 % 2.05/2.30 $_3269 skc22 $_3284 $_3270 $_3275 $_3276 $_3277 $_3278 $_3279 $_3280 % 2.05/2.30 $_3281 $_3282 $_3271 $_3272 $_3273 $_3274 % 2.05/2.30 |- ssPv7_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3337 $_3338 $_3339 $_3340 % 2.05/2.30 $_3350 $_3351 $_3341 $_3342 $_3343 $_3344 $_3345 $_3346 $_3347 skc14 % 2.05/2.30 $_3349 % 2.05/2.30 |- ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3385 $_3386 $_3387 % 2.05/2.30 $_3388 $_3401 $_3402 $_3389 skc16 $_3394 $_3395 $_3396 $_3397 $_3398 % 2.05/2.30 $_3399 $_3400 $_3390 $_3391 $_3392 % 2.05/2.30 |- ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3456 $_3457 $_3458 % 2.05/2.30 $_3459 $_3472 $_3473 skc18 $_3464 $_3465 $_3466 $_3467 $_3468 $_3469 % 2.05/2.30 $_3470 $_3471 $_3461 $_3462 $_3463 % 2.05/2.30 |- ssPv7_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3525 $_3526 $_3527 $_3528 % 2.05/2.30 $_3539 $_3540 $_3529 $_3531 $_3532 $_3533 $_3534 $_3535 $_3536 skc14 % 2.05/2.30 $_3538 $_3530 % 2.05/2.30 |- ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3640 $_3641 $_3642 % 2.05/2.30 $_3643 $_3657 $_3658 skc18 $_3649 $_3650 $_3651 $_3652 $_3653 $_3654 % 2.05/2.30 $_3655 $_3656 $_3645 $_3646 $_3647 $_3648 % 2.05/2.30 |- ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3715 $_3716 $_3717 % 2.05/2.30 $_3718 $_3732 skc20 $_3719 $_3724 $_3725 $_3726 $_3727 $_3728 $_3729 % 2.05/2.30 $_3730 $_3731 $_3720 $_3721 $_3722 $_3723 % 2.05/2.30 |- ~ssPv10_5r1r1r1r1r1 $_3827 $_3828 $_3829 $_3830 skc22 \/ % 2.05/2.30 ssPv17_5r1r1r1r1r1 $_3827 $_3828 $_3829 $_3830 skc22 \/ % 2.05/2.30 ssPv7_5r1r1r1r1r1 $_3827 $_3828 $_3829 $_3830 skc22 % 2.05/2.30 |- ~ssPv13_5r1r1r1r1r1 $_3841 $_3842 $_3843 $_3844 skc22 \/ % 2.05/2.30 ssPv17_5r1r1r1r1r1 $_3841 $_3842 $_3843 $_3844 skc22 \/ % 2.05/2.30 ssPv4_5r1r1r1r1r1 $_3841 $_3842 $_3843 $_3844 skc22 % 2.05/2.30 |- ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3970 $_3971 $_3972 % 2.05/2.30 $_3973 $_3988 skc20 $_3974 $_3980 $_3981 $_3982 $_3983 $_3984 $_3985 % 2.05/2.30 $_3986 $_3987 $_3975 $_3976 $_3977 $_3978 $_3979 % 2.05/2.30 |- ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4049 $_4050 $_4051 % 2.05/2.30 $_4052 skc22 $_4068 $_4053 $_4059 $_4060 $_4061 $_4062 $_4063 $_4064 % 2.05/2.30 $_4065 $_4066 $_4054 $_4055 $_4056 $_4057 $_4058 % 2.05/2.30 |- ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4181 $_4182 $_4183 % 2.05/2.30 $_4184 $_4198 $_4199 $_4185 skc16 $_4191 $_4192 $_4193 $_4194 $_4195 % 2.05/2.30 $_4196 $_4197 $_4186 $_4187 $_4188 $_4189 % 2.05/2.30 |- ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4254 $_4255 $_4256 $_4257 % 2.05/2.30 $_4269 $_4270 $_4258 $_4261 $_4262 $_4263 $_4264 $_4265 $_4266 skc14 % 2.05/2.30 $_4268 $_4259 $_4260 % 2.05/2.30 |- ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4304 $_4305 $_4306 % 2.05/2.30 $_4307 $_4322 $_4323 $_4308 skc16 $_4315 $_4316 $_4317 $_4318 $_4319 % 2.05/2.30 $_4320 $_4321 $_4309 $_4310 $_4311 $_4312 $_4313 % 2.05/2.30 |- ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4383 $_4384 $_4385 % 2.05/2.30 $_4386 $_4401 $_4402 skc18 $_4393 $_4394 $_4395 $_4396 $_4397 $_4398 % 2.05/2.30 $_4399 $_4400 $_4388 $_4389 $_4390 $_4391 $_4392 % 2.05/2.30 |- ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4525 $_4526 $_4527 $_4528 % 2.05/2.30 $_4541 $_4542 $_4529 $_4533 $_4534 $_4535 $_4536 $_4537 $_4538 skc14 % 2.05/2.30 $_4540 $_4530 $_4531 $_4532 % 2.05/2.30 |- ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4615 $_4616 $_4617 $_4618 % 2.05/2.30 $_4630 $_4631 $_4619 $_4622 $_4623 $_4624 $_4625 $_4626 $_4627 $_4628 % 2.05/2.30 $_4629 skc12 $_4621 % 2.05/2.30 |- ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4763 $_4764 $_4765 $_4766 % 2.05/2.30 $_4779 $_4780 $_4767 $_4771 $_4772 $_4773 $_4774 $_4775 $_4776 $_4777 % 2.05/2.30 $_4778 skc12 $_4769 $_4770 % 2.05/2.30 |- ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4982 $_4983 $_4984 % 2.05/2.30 $_4985 $_4999 $_5000 $_4986 $_4991 $_4992 $_4993 $_4994 $_4995 $_4996 % 2.05/2.30 skc14 $_4998 $_4987 $_4988 $_4989 $_4990 % 2.05/2.30 |- ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5074 $_5075 $_5076 % 2.05/2.30 $_5077 $_5092 $_5093 $_5078 $_5084 $_5085 $_5086 $_5087 $_5088 $_5089 % 2.05/2.30 skc14 $_5091 $_5079 $_5080 $_5081 $_5082 $_5083 % 2.05/2.30 |- ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5190 $_5191 $_5192 % 2.05/2.30 $_5193 $_5207 $_5208 $_5194 $_5199 $_5200 $_5201 $_5202 $_5203 $_5204 % 2.05/2.30 $_5205 $_5206 skc12 $_5196 $_5197 $_5198 % 2.05/2.30 |- ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5298 $_5299 $_5300 % 2.05/2.30 $_5301 $_5316 $_5317 $_5302 $_5308 $_5309 $_5310 $_5311 $_5312 $_5313 % 2.05/2.30 $_5314 $_5315 skc12 $_5304 $_5305 $_5306 $_5307 % 2.05/2.30 |- ~ssPv13_8r1r1r1r1r1r1r1r1 $_5644 $_5645 $_5646 $_5647 skc22 $_5651 % 2.05/2.30 $_5648 $_5649 \/ % 2.05/2.30 ssPv17_8r1r1r1r1r1r1r1r1 $_5644 $_5645 $_5646 $_5647 skc22 $_5651 $_5648 % 2.05/2.30 $_5649 \/ % 2.05/2.30 ssPv4_8r1r1r1r1r1r1r1r1 $_5644 $_5645 $_5646 $_5647 skc22 $_5651 $_5648 % 2.05/2.30 $_5649 % 2.05/2.30 |- ssPv17_8r1r1r1r1r1r1r1r1 $_5652 $_5653 $_5654 $_5655 skc22 $_5658 $_5656 % 2.05/2.30 skc16 \/ % 2.05/2.30 ssPv4_8r1r1r1r1r1r1r1r1 $_5652 $_5653 $_5654 $_5655 skc22 $_5658 $_5656 % 2.05/2.30 skc16 % 2.05/2.30 |- ~ssPv10_11r1r1r1r1r1r1r1r1r1r1r1 $_5834 $_5835 $_5836 $_5837 skc22 % 2.05/2.30 $_5844 $_5838 $_5839 $_5840 $_5841 $_5842 \/ % 2.05/2.30 ssPv17_11r1r1r1r1r1r1r1r1r1r1r1 $_5834 $_5835 $_5836 $_5837 skc22 $_5844 % 2.05/2.30 $_5838 $_5839 $_5840 $_5841 $_5842 \/ % 2.05/2.30 ssPv7_11r1r1r1r1r1r1r1r1r1r1r1 $_5834 $_5835 $_5836 $_5837 skc22 $_5844 % 2.05/2.30 $_5838 $_5839 $_5840 $_5841 $_5842 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 % 2.05/2.30 $_5906 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 % 2.05/2.30 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 % 2.05/2.30 $_5906 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 % 2.05/2.30 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 % 2.05/2.30 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 $X9 % 2.05/2.30 $X10 $X11 $X12 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 % 2.05/2.30 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 $X9 % 2.05/2.30 $X10 $X11 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 % 2.05/2.30 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 $X9 % 2.05/2.30 $X10 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 % 2.05/2.30 $_5913 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 $X9 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 $X8 % 2.05/2.30 |- ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 \/ % 2.05/2.30 ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5903 $_5904 $_5905 $_5906 $_5913 % 2.05/2.30 $_5914 $_5907 $_5908 $_5909 $_5910 $_5911 $_5912 $X7 % 2.05/2.30 |- ~ssPv10_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5955 $_5956 $_5957 $_5958 skc22 % 2.05/2.30 $_5968 $_5959 $_5960 $_5961 $_5962 $_5963 $_5964 $_5965 $_5966 \/ % 2.05/2.30 ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5955 $_5956 $_5957 $_5958 skc22 % 2.05/2.30 $_5968 $_5959 $_5960 $_5961 $_5962 $_5963 $_5964 $_5965 $_5966 \/ % 2.05/2.30 ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5955 $_5956 $_5957 $_5958 skc22 % 2.05/2.30 $_5968 $_5959 $_5960 $_5961 $_5962 $_5963 $_5964 $_5965 $_5966 % 2.05/2.30 |- ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6009 $_6010 $_6011 $_6012 % 2.05/2.30 $_6023 $_6024 $_6013 $_6015 $_6016 $_6017 $_6018 $_6019 $_6020 $_6021 % 2.05/2.30 $_6022 skc12 \/ % 2.05/2.30 ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6009 $_6010 $_6011 $_6012 % 2.05/2.30 $_6023 $_6024 $_6013 $_6015 $_6016 $_6017 $_6018 $_6019 $_6020 $_6021 % 2.05/2.30 $_6022 skc12 \/ % 2.05/2.30 ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6009 $_6010 $_6011 $_6012 % 2.05/2.30 $_6023 $_6024 $_6013 $_6015 $_6016 $_6017 $_6018 $_6019 $_6020 $_6021 % 2.05/2.30 $_6022 skc12 % 2.05/2.30 |- ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6025 $_6026 $_6027 $_6028 % 2.05/2.30 $_6038 $_6039 $_6029 $_6030 $_6031 $_6032 $_6033 $_6034 $_6035 $_6036 % 2.05/2.30 $_6037 skc12 \/ % 2.05/2.30 ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6025 $_6026 $_6027 $_6028 % 2.05/2.30 $_6038 $_6039 $_6029 $_6030 $_6031 $_6032 $_6033 $_6034 $_6035 $_6036 % 2.05/2.30 $_6037 skc12 \/ % 2.05/2.30 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $_6025 $_6026 $_6027 $_6028 $_6038 % 2.05/2.30 $_6039 $_6029 $_6030 $_6031 $_6032 $_6033 $_6034 % 2.05/2.30 |- ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6040 $_6041 $_6042 $_6043 % 2.05/2.30 $_6053 $_6054 $_6044 $_6045 $_6046 $_6047 $_6048 $_6049 $_6050 $_6051 % 2.05/2.30 $_6052 skc12 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6040 $_6041 $_6042 $_6043 $_6053 $_6054 % 2.05/2.30 $_6044 $_6045 \/ % 2.05/2.30 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $_6040 $_6041 $_6042 $_6043 $_6053 % 2.05/2.30 $_6054 $_6044 $_6045 $_6046 $_6047 $_6048 $_6049 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6055 $_6056 $_6057 $_6058 $_6068 $_6069 % 2.05/2.30 $_6059 $_6060 $_6061 $_6062 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6055 $_6056 $_6057 $_6058 $_6068 $_6069 % 2.05/2.30 $_6059 $_6060 \/ % 2.05/2.30 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $_6055 $_6056 $_6057 $_6058 $_6068 % 2.05/2.30 $_6069 $_6059 $_6060 $_6061 $_6062 $_6063 $_6064 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 % 2.05/2.30 $_6073 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 % 2.05/2.30 $X9 $X10 $X11 $X12 $X13 $X14 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 % 2.05/2.30 $_6073 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 % 2.05/2.30 $X9 $X10 $X11 $X12 $X13 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 % 2.05/2.30 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 $X9 % 2.05/2.30 $X10 $X11 $X12 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 % 2.05/2.30 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 $X9 % 2.05/2.30 $X10 $X11 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 % 2.05/2.30 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 $X9 % 2.05/2.30 $X10 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 % 2.05/2.30 $_6080 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 $X9 % 2.05/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.05/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.05/2.30 $_6074 $_6075 \/ % 2.05/2.30 ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 % 2.05/2.30 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 $X8 % 2.15/2.30 |- ssPv11_10r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.15/2.30 $_6074 $_6075 $_6076 $_6077 \/ % 2.15/2.30 ssPv13_8r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 $_6081 % 2.15/2.30 $_6074 $_6075 \/ % 2.15/2.30 ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6070 $_6071 $_6072 $_6073 $_6080 % 2.15/2.30 $_6081 $_6074 $_6075 $_6076 $_6077 $_6078 $_6079 $X7 % 2.15/2.30 |- ~ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6309 $_6310 $_6311 $_6312 % 2.15/2.30 skc22 $_6325 $_6313 $_6316 $_6317 $_6318 $_6319 $_6320 $_6321 $_6322 % 2.15/2.30 $_6323 $_6314 $_6315 \/ % 2.15/2.30 ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6309 $_6310 $_6311 $_6312 % 2.15/2.30 skc22 $_6325 $_6313 $_6316 $_6317 $_6318 $_6319 $_6320 $_6321 $_6322 % 2.15/2.30 $_6323 $_6314 $_6315 \/ % 2.15/2.30 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6309 $_6310 $_6311 $_6312 % 2.15/2.30 skc22 $_6325 $_6313 $_6316 $_6317 $_6318 $_6319 $_6320 $_6321 $_6322 % 2.15/2.30 $_6323 $_6314 $_6315 % 2.15/2.31 |- ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6326 $_6327 $_6328 $_6329 % 2.15/2.31 skc22 $_6341 $_6330 skc16 $_6334 $_6335 $_6336 $_6337 $_6338 $_6339 % 2.15/2.31 $_6340 $_6331 $_6332 \/ % 2.15/2.31 ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6326 $_6327 $_6328 $_6329 % 2.15/2.31 skc22 $_6341 $_6330 skc16 $_6334 $_6335 $_6336 $_6337 $_6338 $_6339 % 2.15/2.31 $_6340 $_6331 $_6332 % 2.15/2.31 |- ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 $_6345 % 2.15/2.31 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 $_6354 % 2.15/2.31 $_6355 $_6347 $_6348 \/ % 2.15/2.31 ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 % 2.15/2.31 $_6345 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 % 2.15/2.31 $_6354 $_6355 $_6347 $_6348 $X12 $X13 $X14 % 2.15/2.31 |- ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 $_6345 % 2.15/2.31 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 $_6354 % 2.15/2.31 $_6355 $_6347 $_6348 \/ % 2.15/2.31 ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 % 2.15/2.31 $_6345 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 % 2.15/2.31 $_6354 $_6355 $_6347 $_6348 $X12 $X13 % 2.15/2.31 |- ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 $_6345 % 2.15/2.31 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 $_6354 % 2.15/2.31 $_6355 $_6347 $_6348 \/ % 2.15/2.31 ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6342 $_6343 $_6344 $_6345 % 2.15/2.31 skc22 $_6356 $_6346 skc16 $_6349 $_6350 $_6351 $_6352 $_6353 $_6354 % 2.15/2.31 $_6355 $_6347 $_6348 $X12 % 2.15/2.31 |- ssPv18_3r1r1r1 $_6771 $_6772 $_6773 % 2.15/2.31 |- ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 % 2.15/2.31 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.15/2.31 |- ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y % 2.15/2.31 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.15/2.31 |- ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X % 2.15/2.31 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.15/2.31 |- ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z % 2.15/2.31 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.15/2.31 |- ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y % 2.15/2.31 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.15/2.31 |- ssPv18_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z % 2.15/2.31 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 % 2.15/2.31 |- ssPv18_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 % 2.15/2.31 $X2 $X3 $X4 $X5 $X6 $X7 $X8 % 2.15/2.31 |- ssPv18_12r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 $X2 % 2.15/2.31 $X3 $X4 $X5 $X6 % 2.15/2.31 |- ssPv18_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 % 2.15/2.31 $X2 $X3 $X4 $X5 $X6 $X7 % 2.15/2.31 |- ssPv18_11r1r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 $X2 % 2.15/2.31 $X3 $X4 $X5 % 2.15/2.31 |- ssPv18_10r1r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 $X2 $X3 % 2.15/2.31 $X4 % 2.15/2.31 |- ssPv18_9r1r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 $X2 $X3 % 2.15/2.31 |- ssPv18_8r1r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 $X2 % 2.15/2.31 |- ssPv18_7r1r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z $X1 % 2.15/2.31 |- ssPv18_6r1r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y $Z % 2.15/2.31 |- ssPv18_5r1r1r1r1r1 $_6775 $_6776 $_6777 $X $Y % 2.15/2.31 |- ssPv18_4r1r1r1r1 $_6775 $_6776 $_6777 $X % 2.15/2.31 |- ssPv20_1r1 $_7073 % 2.15/2.31 |- ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z % 2.15/2.31 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 2.15/2.31 |- ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z % 2.15/2.31 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 2.15/2.31 |- ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 % 2.15/2.31 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 2.15/2.31 |- ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 % 2.15/2.31 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 2.15/2.31 |- ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 % 2.15/2.31 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 2.15/2.31 |- ssPv20_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 % 2.15/2.31 $X3 $X4 $X5 $X6 $X7 $X8 $X9 % 2.15/2.31 |- ssPv20_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 % 2.15/2.31 $X4 $X5 $X6 $X7 $X8 % 2.15/2.31 |- ssPv20_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 % 2.15/2.31 $X4 $X5 $X6 $X7 % 2.15/2.31 |- ssPv20_12r1r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.15/2.31 $X5 $X6 % 2.15/2.31 |- ssPv20_11r1r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.15/2.31 $X5 % 2.15/2.31 |- ssPv20_10r1r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 2.15/2.31 |- ssPv20_9r1r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 $X3 % 2.15/2.31 |- ssPv20_8r1r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 $X2 % 2.15/2.31 |- ssPv20_7r1r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z $X1 % 2.15/2.31 |- ssPv20_6r1r1r1r1r1r1 $_7076 $V $W $X $Y $Z % 2.15/2.31 |- ssPv20_5r1r1r1r1r1 $_7076 $V $W $X $Y % 2.15/2.31 |- ssPv20_4r1r1r1r1 $_7076 $V $W $X % 2.15/2.31 |- ssPv20_3r1r1r1 $_7076 $V $W % 2.15/2.31 |- ssPv20_2r1r1 $_7076 $V % 2.15/2.31 |- ~ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7211 $_7196 $_7197 $_7198 % 2.15/2.31 $_7209 $_7210 $_7199 $_7201 $_7202 $_7203 $_7204 $_7205 $_7206 $_7207 % 2.15/2.31 $_7208 skc12 \/ % 2.15/2.31 ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7211 $_7196 $_7197 $_7198 % 2.15/2.31 $_7209 $_7210 $_7199 $_7201 $_7202 $_7203 $_7204 $_7205 $_7206 $_7207 % 2.15/2.31 $_7208 skc12 % 2.15/2.31 |- ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7321 $_7322 $_7323 % 2.15/2.31 $_7324 $_7339 $_7340 $_7325 $_7331 $_7332 $_7333 $_7334 $_7335 $_7336 % 2.15/2.31 $_7337 $_7338 $_7326 $_7327 $_7328 $_7329 $_7330 \/ % 2.15/2.31 ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7321 $_7322 $_7323 % 2.15/2.31 $_7324 $_7339 $_7340 $_7325 $_7331 $_7332 $_7333 $_7334 $_7335 $_7336 % 2.15/2.31 $_7337 $_7338 $_7326 $_7327 $_7328 $_7329 $_7330 \/ % 2.15/2.31 ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_7321 $_7322 $_7323 % 2.15/2.31 $_7324 $_7339 $_7340 $_7325 $_7331 $_7332 $_7333 $_7334 $_7335 $_7336 % 2.15/2.31 $_7337 $_7338 $_7326 $_7327 $_7328 $_7329 $_7330 \/ % 2.15/2.31 ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1 $_7321 $_7322 $_7323 $_7324 $_7339 % 2.15/2.31 $_7340 $_7325 $_7331 $_7332 $_7333 $_7334 $_7335 % 2.15/2.31 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 2.15/2.31 %------------------------------------------------------------------------------