%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN872-1 : TPTP v8.1.0. Released v2.5.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n021.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:09:05 EDT 2022 % Result : Satisfiable 1.31s 1.47s % Output : Saturation 1.34s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : SYN872-1 : TPTP v8.1.0. Released v2.5.0. % 0.10/0.13 % Command : metis --show proof --show saturation %s % 0.13/0.33 % Computer : n021.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Mon Jul 11 16:37:08 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 1.31/1.47 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.31/1.47 % 1.31/1.47 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.31/1.47 |- ssNder1_0 % 1.31/1.47 |- ssNder1_1r1 $U % 1.31/1.47 |- ssNder1_2r1r1 $U $V % 1.31/1.47 |- ssNder1_3r1r1r1 $U $V $W % 1.31/1.47 |- ssNder1_4r1r1r1r1 $U $V $W $X % 1.31/1.47 |- ssNder1_5r1r1r1r1r1 $U $V $W $X $Y % 1.31/1.47 |- ssNder1_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.31/1.47 |- ssNder1_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.31/1.47 |- ssNder1_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.31/1.47 |- ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 skc74 % 1.31/1.47 |- ~ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 skc75 % 1.31/1.47 |- ssNder1_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 |- ssNder1_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 |- ssNder1_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.31/1.47 |- ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.31/1.47 skc72 % 1.31/1.47 |- ~ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.31/1.47 skc73 % 1.31/1.47 |- ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.31/1.47 $X6 % 1.31/1.47 |- ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 skc70 % 1.31/1.47 |- ~ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 skc71 % 1.31/1.47 |- ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 $X7 % 1.31/1.47 |- ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 $X7 skc68 % 1.31/1.47 |- ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 $X7 skc69 % 1.31/1.47 |- ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.47 $X5 $X6 $X7 $X8 % 1.31/1.47 |- ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 skc66 % 1.31/1.47 |- ~ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 skc67 % 1.31/1.47 |- ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 $X9 % 1.31/1.47 |- ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 $X9 skc64 % 1.31/1.47 |- ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 $X9 skc65 % 1.31/1.47 |- ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.47 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 1.31/1.47 |- ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.31/1.47 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 1.31/1.47 |- ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.31/1.47 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.47 |- ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.31/1.47 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.47 |- ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.31/1.47 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 |- ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.31/1.47 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.31/1.47 |- ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.31/1.47 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 $X16 % 1.31/1.47 |- ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.31/1.47 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.31/1.47 $X16 $X17 % 1.31/1.47 |- ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.31/1.47 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 % 1.31/1.47 |- ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.31/1.47 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 skc62 % 1.31/1.47 |- ~ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.31/1.47 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 skc63 % 1.31/1.47 |- ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.31/1.47 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 $X19 % 1.31/1.47 |- ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.31/1.47 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 $X19 skc60 % 1.31/1.47 |- ~ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.31/1.47 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 $X19 skc61 % 1.31/1.47 |- ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.31/1.47 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.47 $X15 $X16 $X17 $X18 $X19 $X20 % 1.31/1.49 |- ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.31/1.49 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.49 $X15 $X16 $X17 $X18 $X19 $X20 skc58 % 1.31/1.49 |- ~ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.31/1.49 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 skc59 % 1.31/1.49 |- ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.31/1.49 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 % 1.31/1.49 |- ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.31/1.49 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 % 1.31/1.49 |- ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.31/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 skc56 % 1.31/1.49 |- ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.31/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 skc57 % 1.31/1.49 |- ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.31/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 % 1.31/1.49 |- ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.31/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.31/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 skc54 % 1.31/1.49 |- ~ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 skc55 % 1.31/1.49 |- ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 % 1.31/1.49 |- ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 skc52 % 1.31/1.49 |- ~ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 skc53 % 1.31/1.49 |- ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.31/1.49 |- ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 |- ~ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.31/1.49 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 1.31/1.49 ~ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.31/1.49 $X6 \/ % 1.31/1.49 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 \/ % 1.31/1.49 ssPv56_1r1 $U % 1.31/1.49 |- ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 % 1.31/1.49 |- ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 % 1.31/1.49 |- ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 % 1.31/1.49 |- ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 % 1.31/1.49 |- ~ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 \/ % 1.31/1.49 ~ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.31/1.49 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 1.31/1.49 ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.31/1.49 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.31/1.49 $X15 $X16 $X17 $X18 $X19 $X20 \/ % 1.31/1.49 ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.31/1.49 |- ~ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 \/ % 1.31/1.49 ~ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 1.31/1.49 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.31/1.49 $X5 $X6 $X7 $X8 \/ ssPv54_3r1r1r1 $U $V $W % 1.31/1.49 |- ssNder1_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 % 1.31/1.49 |- ssNder1_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 $X32 % 1.31/1.49 |- ssNder1_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 % 1.31/1.49 |- ssNder1_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 % 1.31/1.49 |- ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 skc50 % 1.31/1.49 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.31/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.31/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.31/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 skc51 % 1.34/1.49 |- ~ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 \/ % 1.34/1.49 ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.34/1.49 $X5 $X6 $X7 $X8 \/ % 1.34/1.49 ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 \/ % 1.34/1.49 ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.34/1.49 $X4 $X5 $X6 $X7 $X8 $X9 % 1.34/1.49 |- ssNder1_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 % 1.34/1.49 |- ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 skc48 % 1.34/1.49 |- ~ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 skc49 % 1.34/1.49 |- ~ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 \/ % 1.34/1.49 ~ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.34/1.49 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 \/ % 1.34/1.49 ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.34/1.49 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 1.34/1.49 ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.34/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 % 1.34/1.49 |- ssNder1_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 % 1.34/1.49 |- ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 skc46 % 1.34/1.49 |- ~ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 skc47 % 1.34/1.49 |- ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.34/1.49 $X5 $X6 $X7 $X8 \/ ~ssPv51_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 1.34/1.49 ~ssPv54_3r1r1r1 $U $V $W \/ % 1.34/1.49 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 % 1.34/1.49 |- ssNder1_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 % 1.34/1.49 |- ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 skc44 % 1.34/1.49 |- ~ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 skc45 % 1.34/1.49 |- ssNder1_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 % 1.34/1.49 |- ssNder1_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.34/1.49 |- ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 skc42 % 1.34/1.49 |- ~ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.34/1.49 skc43 % 1.34/1.49 |- ssNder1_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 |- ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 skc40 % 1.34/1.49 |- ~ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 skc41 % 1.34/1.49 |- ssNder1_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 % 1.34/1.49 |- ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 skc38 % 1.34/1.49 |- ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 skc39 % 1.34/1.49 |- ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 \/ % 1.34/1.49 ~ssPv55_2r1r1 $U $V \/ % 1.34/1.49 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.34/1.49 $X40 \/ % 1.34/1.49 ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 % 1.34/1.49 |- ssNder1_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 % 1.34/1.49 |- ssNder1_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 % 1.34/1.49 |- ssNder1_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 % 1.34/1.49 |- ~ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 \/ % 1.34/1.49 ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 \/ % 1.34/1.49 ~ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 \/ ssPv54_3r1r1r1 $U $V $W % 1.34/1.49 |- ~ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.34/1.49 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.34/1.49 $X15 $X16 $X17 $X18 $X19 \/ % 1.34/1.49 ~ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 \/ % 1.34/1.49 ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 1.34/1.49 ssPv52_5r1r1r1r1r1 $U $V $W $X $Y % 1.34/1.49 |- ssNder1_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 % 1.34/1.49 |- ~ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.34/1.49 $X40 \/ % 1.34/1.49 ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 \/ % 1.34/1.49 ~ssPv49_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 1.34/1.49 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 % 1.34/1.49 |- ~ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 \/ % 1.34/1.49 ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 \/ % 1.34/1.49 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.34/1.49 $X6 \/ % 1.34/1.49 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 % 1.34/1.49 |- ssNder1_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 % 1.34/1.49 |- ssNder1_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 % 1.34/1.49 |- ssNder1_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 % 1.34/1.49 |- ~ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 \/ % 1.34/1.49 ~ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 \/ % 1.34/1.49 ~ssPv5_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 \/ % 1.34/1.49 ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 % 1.34/1.49 |- ~ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 \/ % 1.34/1.49 ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.34/1.49 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 1.34/1.49 ~ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 \/ % 1.34/1.49 ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.34/1.49 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 1.34/1.49 |- ssNder1_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 % 1.34/1.49 |- ~ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 \/ % 1.34/1.49 ~ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 \/ % 1.34/1.49 ~ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 \/ % 1.34/1.49 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.34/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 % 1.34/1.49 |- ~ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.34/1.49 $X5 $X6 $X7 \/ % 1.34/1.49 ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 \/ % 1.34/1.49 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.34/1.49 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.34/1.49 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 \/ % 1.34/1.49 ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 % 1.34/1.49 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 \/ % 1.34/1.49 ~ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 \/ % 1.34/1.49 ~ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.34/1.49 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 1.34/1.49 ~ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 % 1.34/1.49 |- ~ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.34/1.49 ~ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 \/ % 1.34/1.49 ~ssPv53_4r1r1r1r1 $U $V $W $X \/ % 1.34/1.49 ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 % 1.34/1.49 |- ~ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.34/1.49 ~ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 \/ % 1.34/1.49 ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.34/1.49 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.34/1.49 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.34/1.49 $X41 $X42 \/ % 1.34/1.49 ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.34/1.49 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.34/1.49 $X15 $X16 $X17 $X18 $X19 $X20 $X21 % 1.34/1.49 |- ~ssPv51_6r1r1r1r1r1r1 $_2685 $_2686 $_2687 $_2688 $_2725 $_2726 \/ % 1.34/1.49 ~ssPv54_3r1r1r1 $_2685 $_2686 $_2687 \/ % 1.34/1.49 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_2685 $_2686 $_2687 $_2688 $_2725 $_2726 $_2689 $_2700 $_2711 $_2719 % 1.34/1.49 $_2720 $_2721 $_2722 skc68 $_2724 $_2690 $_2691 $_2692 $_2693 $_2694 % 1.34/1.49 $_2695 $_2696 $_2697 $_2698 $_2699 $_2701 $_2702 $_2703 $_2704 $_2705 % 1.34/1.49 $_2706 $_2707 $_2708 $_2709 $_2710 $_2712 $_2713 $_2714 $_2715 $_2716 % 1.34/1.49 $_2717 $_2718 % 1.34/1.49 |- ~ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2842 $_2843 % 1.34/1.49 $_2844 $_2845 $_2887 $_2888 $_2846 $_2857 $_2868 $_2879 $_2882 $_2883 % 1.34/1.49 $_2884 $_2885 $_2886 $_2847 $_2848 $_2849 $_2850 $_2851 $_2852 % 1.34/1.49 $_2853 \/ % 1.34/1.49 ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2842 $_2843 $_2844 $_2845 $_2887 % 1.34/1.49 $_2888 $_2846 $_2857 $_2868 $_2879 $_2882 $_2883 $_2884 \/ % 1.34/1.49 ssPv50_7r1r1r1r1r1r1r1 $_2842 $_2843 $_2844 $_2845 $_2887 $_2888 $_2846 % 1.34/1.49 |- ~ssPv55_2r1r1 $_3001 $_3002 \/ % 1.34/1.49 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3001 $_3002 $_3003 $_3004 $_3045 $_3046 $_3005 $_3016 $_3027 $_3038 % 1.34/1.49 $_3040 $_3041 $_3042 $_3043 $_3044 $_3006 $_3007 $_3008 $_3009 $_3010 % 1.34/1.49 $_3011 $_3012 $_3013 $_3014 $_3015 $_3017 $_3018 $_3019 skc56 $_3021 % 1.34/1.49 $_3022 $_3023 $_3024 $_3025 $_3026 $_3028 $_3029 $_3030 $_3031 $_3032 % 1.34/1.49 $_3033 $_3034 $_3035 $_3036 $_3037 $_3039 \/ % 1.34/1.49 ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3001 $_3002 $_3003 $_3004 $_3045 $_3046 $_3005 $_3016 $_3027 $_3038 % 1.34/1.49 $_3040 $_3041 $_3042 $_3043 $_3044 $_3006 $_3007 $_3008 $_3009 $_3010 % 1.34/1.49 $_3011 $_3012 $_3013 $_3014 $_3015 $_3017 $_3018 $_3019 skc56 $_3021 % 1.34/1.49 $_3022 $_3023 $_3024 $_3025 $_3026 $_3028 $_3029 % 1.34/1.49 |- ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3141 $_3142 $_3143 $_3144 $_3189 $_3190 $_3145 $_3156 $_3167 $_3178 % 1.34/1.49 $_3184 $_3185 $_3186 $_3187 $_3188 $_3146 $_3147 $_3148 $_3149 $_3150 % 1.34/1.49 $_3151 $_3152 $_3153 $_3154 $_3155 $_3157 $_3158 $_3159 $_3160 \/ % 1.34/1.49 ~ssPv49_8r1r1r1r1r1r1r1r1 $_3141 $_3142 $_3143 $_3144 $_3189 $_3190 % 1.34/1.49 $_3145 $_3156 \/ % 1.34/1.49 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3141 $_3142 $_3143 $_3144 $_3189 $_3190 $_3145 $_3156 $_3167 $_3178 % 1.34/1.49 $_3184 $_3185 $_3186 $_3187 $_3188 $_3146 $_3147 $_3148 $_3149 $_3150 % 1.34/1.49 $_3151 $_3152 $_3153 $_3154 $_3155 $_3157 $_3158 $_3159 $_3160 $_3161 % 1.34/1.49 $_3162 $_3163 $_3164 $_3165 $_3166 $_3168 $_3169 $_3170 $_3171 $_3172 % 1.34/1.49 $_3173 $_3174 $_3175 $_3176 $_3177 skc42 $_3180 $_3181 $_3182 $_3183 % 1.34/1.49 |- ~ssPv49_8r1r1r1r1r1r1r1r1 $_3191 $_3192 $_3193 $_3194 $_3238 $_3239 % 1.34/1.49 $_3195 $_3206 \/ % 1.34/1.49 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3191 $_3192 $_3193 $_3194 $_3238 $_3239 $_3195 $_3206 $_3217 $_3228 % 1.34/1.49 $_3233 $_3234 $_3235 $_3236 $_3237 $_3196 $_3197 $_3198 $_3199 $_3200 % 1.34/1.49 $_3201 $_3202 $_3203 $_3204 $_3205 $_3207 $_3208 $_3209 skc56 $_3211 % 1.34/1.49 $_3212 $_3213 $_3214 $_3215 $_3216 $_3218 $_3219 $_3220 $_3221 $_3222 % 1.34/1.49 $_3223 $_3224 $_3225 $_3226 $_3227 skc42 $_3229 $_3230 $_3231 $_3232 % 1.34/1.49 |- ~ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3341 $_3342 $_3343 $_3344 $_3386 $_3387 $_3345 $_3356 $_3367 $_3378 % 1.34/1.49 $_3381 $_3382 $_3383 $_3384 $_3385 $_3346 $_3347 $_3348 $_3349 $_3350 % 1.34/1.49 $_3351 $_3352 $_3353 $_3354 $_3355 $_3357 $_3358 $_3359 $_3360 $_3361 % 1.34/1.49 $_3362 $_3363 $_3364 $_3365 $_3366 $_3368 \/ % 1.34/1.49 ~ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3341 $_3342 $_3343 $_3344 $_3386 $_3387 $_3345 $_3356 $_3367 $_3378 % 1.34/1.49 $_3381 $_3382 $_3383 $_3384 $_3385 $_3346 $_3347 $_3348 $_3349 $_3350 % 1.34/1.49 $_3351 $_3352 $_3353 $_3354 $_3355 $_3357 $_3358 $_3359 $_3360 $_3361 % 1.34/1.49 $_3362 $_3363 $_3364 $_3365 $_3366 \/ % 1.34/1.49 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3341 $_3342 $_3343 $_3344 $_3386 $_3387 $_3345 $_3356 $_3367 $_3378 % 1.34/1.49 $_3381 $_3382 $_3383 $_3384 $_3385 $_3346 $_3347 $_3348 $_3349 $_3350 % 1.34/1.49 $_3351 $_3352 $_3353 $_3354 $_3355 $_3357 $_3358 $_3359 $_3360 $_3361 % 1.34/1.49 |- ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3424 $_3425 $_3426 $_3427 $_3476 $_3477 $_3428 $_3439 $_3450 $_3461 % 1.34/1.49 $_3471 $_3472 skc70 $_3474 $_3475 $_3429 $_3430 $_3431 $_3432 $_3433 % 1.34/1.49 $_3434 $_3435 $_3436 $_3437 $_3438 $_3440 $_3441 $_3442 $_3443 $_3444 % 1.34/1.49 $_3445 $_3446 $_3447 $_3448 $_3449 \/ % 1.34/1.49 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3424 $_3425 $_3426 $_3427 $_3476 $_3477 $_3428 $_3439 $_3450 $_3461 % 1.34/1.49 $_3471 $_3472 skc70 $_3474 $_3475 $_3429 $_3430 $_3431 $_3432 $_3433 % 1.34/1.49 $_3434 $_3435 $_3436 $_3437 $_3438 $_3440 $_3441 $_3442 $_3443 % 1.34/1.49 $_3444 \/ % 1.34/1.49 ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3424 $_3425 $_3426 $_3427 $_3476 $_3477 $_3428 $_3439 $_3450 $_3461 % 1.34/1.49 $_3471 $_3472 skc70 $_3474 $_3475 $_3429 $_3430 $_3431 $_3432 $_3433 % 1.34/1.49 $_3434 $_3435 $_3436 $_3437 $_3438 $_3440 $_3441 $_3442 $_3443 $_3444 % 1.34/1.49 $_3445 $_3446 $_3447 $_3448 $_3449 $_3451 $_3452 $_3453 $_3454 $_3455 % 1.34/1.49 $_3456 $_3457 $_3458 $_3459 $_3460 $_3462 $_3463 $_3464 $_3465 $_3466 % 1.34/1.49 $_3467 $_3468 $_3469 $_3470 % 1.34/1.49 |- ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3531 $_3532 $_3533 $_3534 $_3579 $_3580 $_3535 $_3546 $_3557 $_3568 % 1.34/1.49 $_3574 $_3575 $_3576 $_3577 $_3578 $_3536 $_3537 $_3538 $_3539 $_3540 % 1.34/1.49 $_3541 $_3542 $_3543 $_3544 $_3545 $_3547 $_3548 $_3549 $_3550 $_3551 % 1.34/1.49 $_3552 $_3553 $_3554 $_3555 $_3556 $_3558 $_3559 $_3560 \/ % 1.34/1.49 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $_3531 $_3532 $_3533 $_3534 $_3579 % 1.34/1.49 $_3580 $_3535 $_3546 $_3557 $_3568 $_3574 $_3575 \/ % 1.34/1.49 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3531 $_3532 $_3533 $_3534 $_3579 $_3580 $_3535 $_3546 $_3557 $_3568 % 1.34/1.49 $_3574 $_3575 $_3576 $_3577 $_3578 $_3536 $_3537 $_3538 $_3539 $_3540 % 1.34/1.49 $_3541 $_3542 $_3543 $_3544 $_3545 $_3547 $_3548 $_3549 $_3550 $_3551 % 1.34/1.49 $_3552 $_3553 $_3554 $_3555 $_3556 $_3558 $_3559 $_3560 $_3561 $_3562 % 1.34/1.49 $_3563 $_3564 $_3565 $_3566 $_3567 $_3569 skc40 $_3571 $_3572 $_3573 % 1.34/1.49 |- ~ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3581 % 1.34/1.49 $_3582 $_3583 $_3584 $_3628 $_3629 $_3585 $_3596 $_3607 $_3618 $_3623 % 1.34/1.49 $_3624 $_3625 $_3626 $_3627 $_3586 $_3587 $_3588 $_3589 $_3590 $_3591 % 1.34/1.49 $_3592 $_3593 $_3594 $_3595 \/ % 1.34/1.49 ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3581 $_3582 $_3583 $_3584 $_3628 $_3629 $_3585 $_3596 $_3607 $_3618 % 1.34/1.49 $_3623 $_3624 $_3625 $_3626 $_3627 $_3586 $_3587 $_3588 $_3589 $_3590 % 1.34/1.49 $_3591 $_3592 $_3593 $_3594 $_3595 $_3597 $_3598 $_3599 $_3600 $_3601 % 1.34/1.49 $_3602 $_3603 $_3604 $_3605 $_3606 $_3608 $_3609 $_3610 \/ % 1.34/1.49 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $_3581 $_3582 $_3583 $_3584 $_3628 % 1.34/1.49 $_3629 $_3585 $_3596 $_3607 $_3618 $_3623 $_3624 \/ % 1.34/1.49 ssPv48_9r1r1r1r1r1r1r1r1r1 $_3581 $_3582 $_3583 $_3584 $_3628 $_3629 % 1.34/1.49 $_3585 $_3596 $_3607 \/ % 1.34/1.49 ssPv52_5r1r1r1r1r1 $_3581 $_3582 $_3583 $_3584 $_3628 % 1.34/1.49 |- ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.34/1.49 $_3630 $_3631 $_3632 $_3633 $_3666 $_3667 $_3634 $_3645 $_3656 $_3660 % 1.34/1.49 $_3661 $_3662 $_3663 $_3664 $_3665 $_3635 $_3636 $_3637 $_3638 $_3639 % 1.34/1.49 $_3640 $_3641 $_3642 $_3643 skc62 $_3646 $_3647 $_3648 $_3649 $_3650 % 1.34/1.49 $_3651 $_3652 $_3653 $_3654 $_3655 $_3657 $_3658 $_3659 \/ % 1.34/1.49 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $_3630 $_3631 $_3632 $_3633 $_3666 % 1.34/1.49 $_3667 $_3634 $_3645 $_3656 $_3660 $_3661 $_3662 \/ % 1.34/1.49 ssPv48_9r1r1r1r1r1r1r1r1r1 $_3630 $_3631 $_3632 $_3633 $_3666 $_3667 % 1.34/1.49 $_3634 $_3645 $_3656 \/ % 1.34/1.49 ssPv52_5r1r1r1r1r1 $_3630 $_3631 $_3632 $_3633 $_3666 % 1.34/1.49 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.34/1.49 %------------------------------------------------------------------------------