%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN888-1 : TPTP v8.1.0. Released v2.5.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n023.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:10:39 EDT 2022 % Result : Satisfiable 1.92s 2.11s % Output : Saturation 1.96s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SYN888-1 : TPTP v8.1.0. Released v2.5.0. % 0.03/0.13 % Command : metis --show proof --show saturation %s % 0.13/0.34 % Computer : n023.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 : Mon Jul 11 18:25:40 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 1.92/2.11 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.92/2.11 % 1.92/2.11 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.92/2.11 |- ssNder1_0 % 1.92/2.11 |- ssNder1_1r1 $U % 1.92/2.11 |- ssNder1_2r1r1 $U $V % 1.92/2.11 |- ssNder1_3r1r1r1 $U $V $W % 1.92/2.11 |- ssNder1_4r1r1r1r1 $U $V $W $X % 1.92/2.11 |- ssNder1_5r1r1r1r1r1 $U $V $W $X $Y % 1.92/2.11 |- ssNder1_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.92/2.11 |- ssNder1_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.92/2.11 |- ssNder1_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.92/2.11 |- ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 skc90 % 1.92/2.11 |- ~ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 skc91 % 1.92/2.11 |- ssNder1_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 |- ssPv47_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 skc88 % 1.92/2.11 |- ~ssPv47_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 skc89 % 1.92/2.11 |- ssNder1_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 |- ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 skc86 % 1.92/2.11 |- ~ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 skc87 % 1.92/2.11 |- ssNder1_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.92/2.11 |- ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.92/2.11 skc84 % 1.92/2.11 |- ~ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.92/2.11 skc85 % 1.92/2.11 |- ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.92/2.11 $X6 % 1.92/2.11 |- ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 skc82 % 1.92/2.11 |- ~ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 skc83 % 1.92/2.11 |- ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 $X7 % 1.92/2.11 |- ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 $X7 skc80 % 1.92/2.11 |- ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 $X7 skc81 % 1.92/2.11 |- ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.92/2.11 $X5 $X6 $X7 $X8 % 1.92/2.11 |- ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 skc78 % 1.92/2.11 |- ~ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 skc79 % 1.92/2.11 |- ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 % 1.92/2.11 |- ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 skc76 % 1.92/2.11 |- ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 skc77 % 1.92/2.11 |- ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 $X10 % 1.92/2.11 |- ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.92/2.11 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 % 1.92/2.11 |- ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.92/2.11 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 |- ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.92/2.11 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 |- ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.92/2.11 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 |- ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.92/2.11 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.11 |- ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.92/2.11 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 $X16 % 1.92/2.11 |- ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.92/2.11 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.11 $X16 $X17 % 1.92/2.11 |- ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.92/2.11 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 % 1.92/2.11 |- ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.92/2.11 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 skc74 % 1.92/2.11 |- ~ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.92/2.11 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 skc75 % 1.92/2.11 |- ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.92/2.11 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 $X19 % 1.92/2.11 |- ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.92/2.11 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 $X19 $X20 % 1.92/2.11 |- ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.92/2.11 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.92/2.11 $X15 $X16 $X17 $X18 $X19 $X20 skc72 % 1.92/2.11 |- ~ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 skc73 % 1.92/2.11 |- ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 % 1.92/2.11 |- ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 skc70 % 1.92/2.11 |- ~ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 skc71 % 1.92/2.11 |- ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 % 1.92/2.11 |- ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 skc68 % 1.92/2.11 |- ~ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 skc69 % 1.92/2.11 |- ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 % 1.92/2.11 |- ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 skc66 % 1.92/2.11 |- ~ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 skc67 % 1.92/2.11 |- ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 % 1.92/2.11 |- ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 skc64 % 1.92/2.11 |- ~ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 skc65 % 1.92/2.11 |- ~ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.92/2.11 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 1.92/2.11 ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ ~ssPv52_5r1r1r1r1r1 $U $V $W $X $Y \/ % 1.92/2.11 ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 % 1.92/2.11 |- ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.92/2.11 |- ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 skc62 % 1.92/2.11 |- ~ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.92/2.11 skc63 % 1.92/2.11 |- ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 |- ~ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.92/2.11 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.11 $X16 $X17 \/ % 1.92/2.11 ~ssPv47_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 1.92/2.11 ~ssPv51_6r1r1r1r1r1r1 $U $V $W $X $Y $Z \/ % 1.92/2.11 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.92/2.11 |- ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 % 1.92/2.11 |- ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 % 1.92/2.11 |- ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 % 1.92/2.11 |- ~ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.92/2.11 $X4 $X5 $X6 $X7 $X8 $X9 \/ % 1.92/2.11 ~ssPv50_7r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 \/ % 1.92/2.11 ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 \/ % 1.92/2.11 ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 |- ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 $X30 % 1.92/2.11 |- ssNder1_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 $X30 $X31 % 1.92/2.11 |- ~ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 \/ % 1.92/2.11 ~ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 \/ % 1.92/2.11 ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 \/ % 1.92/2.11 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.92/2.11 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 % 1.92/2.11 |- ssNder1_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 $X30 $X31 $X32 % 1.92/2.11 |- ssNder1_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 % 1.92/2.11 |- ~ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.92/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.92/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 \/ % 1.92/2.11 ~ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.92/2.11 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 \/ % 1.92/2.11 ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.92/2.11 $X27 $X28 $X29 $X30 $X31 $X32 \/ % 1.92/2.11 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.92/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.92/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.96/2.11 |- ssNder1_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 % 1.96/2.11 |- ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 skc60 % 1.96/2.11 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 skc61 % 1.96/2.11 |- ssNder1_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 % 1.96/2.11 |- ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 skc58 % 1.96/2.11 |- ~ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 skc59 % 1.96/2.11 |- ssNder1_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 % 1.96/2.11 |- ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 skc56 % 1.96/2.11 |- ~ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 skc57 % 1.96/2.11 |- ssNder1_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 % 1.96/2.11 |- ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 skc54 % 1.96/2.11 |- ~ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 skc55 % 1.96/2.11 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 \/ % 1.96/2.11 ~ssPv54_3r1r1r1 $U $V $W \/ % 1.96/2.11 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 \/ ssPv56_1r1 $U % 1.96/2.11 |- ~ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 \/ % 1.96/2.11 ~ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.11 $X5 $X6 $X7 \/ % 1.96/2.11 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 \/ % 1.96/2.11 ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.11 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.11 $X16 $X17 $X18 % 1.96/2.11 |- ssNder1_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 % 1.96/2.11 |- ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 skc52 % 1.96/2.11 |- ~ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 skc53 % 1.96/2.11 |- ~ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 \/ % 1.96/2.11 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 \/ % 1.96/2.11 ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 \/ % 1.96/2.11 ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.96/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 % 1.96/2.11 |- ssNder1_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 |- ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 skc50 % 1.96/2.11 |- ~ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 skc51 % 1.96/2.11 |- ssNder1_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 |- ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 skc48 % 1.96/2.11 |- ~ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 skc49 % 1.96/2.11 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 \/ % 1.96/2.11 ~ssPv54_3r1r1r1 $U $V $W \/ % 1.96/2.11 ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 \/ % 1.96/2.11 ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.11 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.11 $X16 $X17 % 1.96/2.11 |- ssNder1_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 % 1.96/2.11 |- ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 skc46 % 1.96/2.11 |- ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 skc47 % 1.96/2.11 |- ~ssPv52_5r1r1r1r1r1 $U $V $W $X $Y \/ % 1.96/2.11 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 $X40 \/ % 1.96/2.11 ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 \/ % 1.96/2.11 ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.11 |- ~ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 \/ % 1.96/2.11 ~ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 % 1.96/2.11 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 \/ % 1.96/2.11 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 $X40 \/ % 1.96/2.11 ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.11 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.11 $X16 $X17 $X18 % 1.96/2.11 |- ssNder1_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 % 1.96/2.11 |- ssNder1_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 % 1.96/2.11 |- ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.11 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ ~ssPv53_4r1r1r1r1 $U $V $W $X \/ % 1.96/2.11 ssPv47_10r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 \/ % 1.96/2.11 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 % 1.96/2.11 |- ssNder1_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 % 1.96/2.11 |- ~ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.96/2.11 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.11 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 \/ % 1.96/2.11 ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.11 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ % 1.96/2.11 ~ssPv49_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 1.96/2.11 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 % 1.96/2.11 |- ~ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 \/ % 1.96/2.11 ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.96/2.11 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.96/2.11 $X15 $X16 $X17 $X18 $X19 $X20 $X21 \/ % 1.96/2.11 ssPv49_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 1.96/2.11 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 % 1.96/2.11 |- ssNder1_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 $X45 % 1.96/2.11 |- ~ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 \/ % 1.96/2.11 ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.11 $X4 $X5 $X6 $X7 $X8 $X9 $X10 \/ ~ssPv53_4r1r1r1r1 $U $V $W $X \/ % 1.96/2.11 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 % 1.96/2.11 |- ~ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 \/ % 1.96/2.11 ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 \/ % 1.96/2.11 ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.96/2.11 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.96/2.11 $X15 $X16 $X17 $X18 $X19 \/ % 1.96/2.11 ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.11 |- ~ssPv48_9r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 \/ % 1.96/2.11 ~ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 \/ % 1.96/2.11 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 $X40 \/ % 1.96/2.11 ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 % 1.96/2.11 |- ~ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 % 1.96/2.11 $X40 \/ % 1.96/2.11 ~ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 \/ % 1.96/2.11 ~ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 \/ % 1.96/2.11 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.11 $X5 $X6 $X7 $X8 % 1.96/2.11 |- ssNder1_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.11 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.11 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.11 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.11 $X41 $X42 $X43 $X44 $X45 $X46 % 1.96/2.12 |- ~ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 \/ % 1.96/2.12 ~ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 \/ % 1.96/2.12 ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 \/ % 1.96/2.12 ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 % 1.96/2.12 $X4 $X5 $X6 $X7 $X8 $X9 % 1.96/2.12 |- ~ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 \/ % 1.96/2.12 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.96/2.12 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.12 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 \/ % 1.96/2.12 ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.12 $X5 $X6 $X7 \/ % 1.96/2.12 ssPv6_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 % 1.96/2.12 |- ssNder1_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 % 1.96/2.12 |- ~ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 % 1.96/2.12 $X26 \/ % 1.96/2.12 ~ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.12 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.12 $X16 $X17 \/ % 1.96/2.12 ~ssPv6_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 \/ % 1.96/2.12 ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 % 1.96/2.12 |- ~ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.12 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.12 $X16 $X17 \/ % 1.96/2.12 ~ssPv5_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 \/ % 1.96/2.12 ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W % 1.96/2.12 $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.96/2.12 $X15 $X16 $X17 $X18 $X19 $X20 $X21 \/ % 1.96/2.12 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.12 $X5 $X6 $X7 $X8 % 1.96/2.12 |- ssNder1_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 % 1.96/2.12 |- ~ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 \/ % 1.96/2.12 ~ssPv49_8r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 \/ % 1.96/2.12 ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V % 1.96/2.12 $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.12 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 \/ % 1.96/2.12 ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 % 1.96/2.12 |- ~ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 \/ % 1.96/2.12 ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 \/ % 1.96/2.12 ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 \/ % 1.96/2.12 ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.12 $X5 $X6 $X7 % 1.96/2.12 |- ssNder1_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 % 1.96/2.12 |- ~ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 \/ % 1.96/2.12 ~ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 \/ % 1.96/2.12 ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 \/ % 1.96/2.12 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.96/2.12 $X6 % 1.96/2.12 |- ~ssPv2_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 \/ % 1.96/2.12 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.96/2.12 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.12 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 \/ % 1.96/2.12 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.12 $X5 $X6 $X7 $X8 \/ ssPv51_6r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.96/2.12 |- ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 \/ % 1.96/2.12 ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 \/ % 1.96/2.12 ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 \/ % 1.96/2.12 ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 % 1.96/2.12 |- ~ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 \/ % 1.96/2.12 ~ssPv2_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 \/ % 1.96/2.12 ~ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.96/2.12 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 \/ % 1.96/2.12 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U % 1.96/2.12 $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 % 1.96/2.12 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 % 1.96/2.12 |- ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 \/ % 1.96/2.12 ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.96/2.12 ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y % 1.96/2.12 $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.12 $X16 $X17 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 % 1.96/2.12 |- ~ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.96/2.12 ~ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X % 1.96/2.12 $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.96/2.12 $X15 $X16 $X17 $X18 $X19 \/ % 1.96/2.12 ~ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 \/ ssPv54_3r1r1r1 $U $V $W % 1.96/2.12 |- ~ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 \/ % 1.96/2.12 ~ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.96/2.12 ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 % 1.96/2.12 $X5 $X6 $X7 $X8 \/ % 1.96/2.12 ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z % 1.96/2.12 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.96/2.12 |- ~ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 \/ % 1.96/2.12 ~ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 \/ % 1.96/2.12 ~ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $U $V $W $X $Y $Z $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 % 1.96/2.12 $X13 $X14 $X15 $X16 $X17 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 $X26 % 1.96/2.12 $X27 $X28 $X29 $X30 $X31 $X32 $X33 $X34 $X35 $X36 $X37 $X38 $X39 $X40 % 1.96/2.12 $X41 $X42 $X43 $X44 $X45 $X46 $X47 $X48 $X49 $X50 \/ % 1.96/2.12 ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $U $V $W $X $Y $Z $X1 % 1.96/2.12 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 % 1.96/2.12 |- ~ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2870 $_2871 $_2872 % 1.96/2.12 $_2873 $_2900 $_2901 $_2874 $_2885 $_2893 $_2894 $_2895 $_2896 $_2897 % 1.96/2.12 $_2898 $_2899 $_2875 $_2876 $_2877 \/ % 1.96/2.12 ~ssPv53_4r1r1r1r1 $_2870 $_2871 $_2872 $_2873 \/ % 1.96/2.12 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2870 $_2871 $_2872 $_2873 $_2900 % 1.96/2.12 $_2901 $_2874 $_2885 $_2893 $_2894 $_2895 $_2896 $_2897 $_2898 % 1.96/2.12 |- ~ssPv50_7r1r1r1r1r1r1r1 $_2920 $_2921 $_2922 $_2923 $_2952 $_2953 % 1.96/2.12 $_2924 \/ % 1.96/2.12 ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_2920 $_2921 $_2922 $_2923 $_2952 $_2953 $_2924 $_2935 $_2945 $_2946 % 1.96/2.12 $_2947 $_2948 $_2949 $_2950 skc78 $_2925 $_2926 $_2927 $_2928 $_2929 % 1.96/2.12 $_2930 $_2931 $_2932 $_2933 $_2934 $_2936 $_2937 $_2938 $_2939 $_2940 % 1.96/2.12 $_2941 $_2942 $_2943 $_2944 \/ % 1.96/2.12 ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_2920 $_2921 $_2922 $_2923 $_2952 $_2953 $_2924 $_2935 $_2945 $_2946 % 1.96/2.12 $_2947 $_2948 $_2949 $_2950 skc78 $_2925 $_2926 $_2927 $_2928 $_2929 % 1.96/2.12 $_2930 $_2931 $_2932 $_2933 $_2934 $_2936 $_2937 $_2938 $_2939 $_2940 % 1.96/2.12 $_2941 $_2942 % 1.96/2.12 |- ~ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_2987 $_2988 $_2989 % 1.96/2.12 $_2990 $_3026 $_3027 $_2991 $_3002 $_3013 $_3020 $_3021 $_3022 $_3023 % 1.96/2.12 $_3024 $_3025 $_2992 $_2993 $_2994 $_2995 $_2996 \/ % 1.96/2.12 ssPv48_9r1r1r1r1r1r1r1r1r1 $_2987 $_2988 $_2989 $_2990 $_3026 $_3027 % 1.96/2.12 $_2991 $_3002 $_3013 \/ % 1.96/2.12 ssPv49_8r1r1r1r1r1r1r1r1 $_2987 $_2988 $_2989 $_2990 $_3026 $_3027 % 1.96/2.12 $_2991 $_3002 % 1.96/2.12 |- ~ssPv54_3r1r1r1 $_3048 $_3049 $_3050 \/ % 1.96/2.12 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3048 $_3049 $_3050 $_3051 $_3088 $_3089 $_3052 $_3063 $_3074 $_3082 % 1.96/2.12 $_3083 $_3084 $_3085 $_3086 $_3087 $_3053 $_3054 $_3055 $_3056 $_3057 % 1.96/2.12 $_3058 $_3059 $_3060 $_3061 $_3062 $_3064 $_3065 $_3066 $_3067 $_3068 % 1.96/2.12 $_3069 $_3070 $_3071 $_3072 $_3073 $_3075 $_3076 $_3077 $_3078 $_3079 % 1.96/2.12 skc60 $_3081 \/ ssPv56_1r1 $_3048 % 1.96/2.12 |- ~ssPv53_4r1r1r1r1 $_3131 $_3132 $_3133 $_3134 \/ % 1.96/2.12 ssPv47_10r1r1r1r1r1r1r1r1r1r1 $_3131 $_3132 $_3133 $_3134 $_3178 $_3179 % 1.96/2.12 $_3135 $_3146 $_3157 $_3168 \/ % 1.96/2.12 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3131 $_3132 $_3133 $_3134 $_3178 $_3179 $_3135 $_3146 $_3157 $_3168 % 1.96/2.12 $_3173 $_3174 $_3175 $_3176 $_3177 skc76 $_3137 $_3138 $_3139 $_3140 % 1.96/2.12 $_3141 $_3142 $_3143 $_3144 $_3145 $_3147 $_3148 $_3149 $_3150 $_3151 % 1.96/2.12 $_3152 $_3153 $_3154 $_3155 $_3156 $_3158 $_3159 $_3160 $_3161 $_3162 % 1.96/2.12 $_3163 $_3164 $_3165 $_3166 $_3167 $_3169 $_3170 $_3171 $_3172 % 1.96/2.12 |- ~ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3228 $_3229 $_3230 % 1.96/2.12 $_3231 $_3264 $_3265 $_3232 $_3243 $_3254 $_3258 $_3259 $_3260 $_3261 % 1.96/2.12 $_3262 $_3263 $_3233 $_3234 $_3235 \/ % 1.96/2.12 ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3228 $_3229 $_3230 $_3231 $_3264 $_3265 $_3232 $_3243 $_3254 $_3258 % 1.96/2.12 $_3259 $_3260 $_3261 $_3262 $_3263 $_3233 $_3234 $_3235 $_3236 $_3237 % 1.96/2.12 $_3238 $_3239 $_3240 $_3241 $_3242 $_3244 $_3245 skc70 $_3247 $_3248 % 1.96/2.12 $_3249 $_3250 $_3251 $_3252 $_3253 $_3255 $_3256 $_3257 \/ % 1.96/2.12 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3228 $_3229 $_3230 $_3231 $_3264 $_3265 $_3232 $_3243 $_3254 $_3258 % 1.96/2.12 $_3259 $_3260 $_3261 $_3262 $_3263 $_3233 $_3234 $_3235 $_3236 $_3237 % 1.96/2.12 $_3238 $_3239 $_3240 $_3241 $_3242 $_3244 $_3245 skc70 $_3247 $_3248 % 1.96/2.12 $_3249 % 1.96/2.12 |- ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3525 $_3526 $_3527 $_3528 % 1.96/2.12 $_3572 $_3573 $_3529 $_3540 $_3551 $_3562 $_3567 $_3568 $_3569 $_3570 % 1.96/2.12 $_3571 $_3530 \/ % 1.96/2.12 ~ssPv49_8r1r1r1r1r1r1r1r1 $_3525 $_3526 $_3527 $_3528 $_3572 $_3573 % 1.96/2.12 $_3529 $_3540 \/ % 1.96/2.12 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3525 $_3526 $_3527 $_3528 $_3572 $_3573 $_3529 $_3540 $_3551 $_3562 % 1.96/2.12 $_3567 $_3568 $_3569 $_3570 $_3571 $_3530 $_3531 $_3532 $_3533 $_3534 % 1.96/2.12 $_3535 $_3536 $_3537 $_3538 $_3539 $_3541 skc72 $_3543 $_3544 $_3545 % 1.96/2.12 $_3546 $_3547 $_3548 $_3549 $_3550 $_3552 $_3553 $_3554 $_3555 $_3556 % 1.96/2.12 $_3557 $_3558 $_3559 $_3560 $_3561 $_3563 $_3564 $_3565 $_3566 % 1.96/2.12 |- ~ssPv49_8r1r1r1r1r1r1r1r1 $_3574 $_3575 $_3576 $_3577 $_3620 $_3621 % 1.96/2.12 $_3578 $_3589 \/ % 1.96/2.12 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3574 $_3575 $_3576 $_3577 $_3620 $_3621 $_3578 $_3589 $_3599 $_3610 % 1.96/2.12 $_3615 $_3616 $_3617 $_3618 $_3619 skc76 $_3580 $_3581 $_3582 $_3583 % 1.96/2.12 $_3584 $_3585 $_3586 $_3587 $_3588 $_3590 skc72 $_3591 $_3592 $_3593 % 1.96/2.12 $_3594 $_3595 $_3596 $_3597 $_3598 $_3600 $_3601 $_3602 $_3603 $_3604 % 1.96/2.12 $_3605 $_3606 $_3607 $_3608 $_3609 $_3611 $_3612 $_3613 $_3614 % 1.96/2.12 |- ~ssPv54_3r1r1r1 $_3669 $_3670 $_3671 \/ % 1.96/2.12 ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3669 $_3670 $_3671 $_3672 $_3715 $_3716 $_3673 $_3684 $_3695 $_3706 % 1.96/2.12 $_3710 $_3711 $_3712 $_3713 $_3714 $_3674 $_3675 $_3676 $_3677 $_3678 % 1.96/2.12 $_3679 $_3680 $_3681 $_3682 $_3683 $_3685 $_3686 $_3687 $_3688 $_3689 % 1.96/2.12 $_3690 $_3691 $_3692 $_3693 $_3694 $_3696 $_3697 $_3698 $_3699 $_3700 % 1.96/2.12 $_3701 $_3702 $_3703 $_3704 $_3705 \/ % 1.96/2.12 ssPv49_8r1r1r1r1r1r1r1r1 $_3669 $_3670 $_3671 $_3672 $_3715 $_3716 % 1.96/2.12 $_3673 $_3684 % 1.96/2.12 |- ~ssPv54_3r1r1r1 $_3762 $_3763 $_3764 \/ % 1.96/2.12 ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_3762 $_3763 $_3764 $_3765 $_3805 $_3806 $_3766 $_3777 $_3788 $_3799 % 1.96/2.12 $_3800 $_3801 $_3802 $_3803 $_3804 $_3767 $_3768 $_3769 $_3770 $_3771 % 1.96/2.12 $_3772 $_3773 $_3774 $_3775 $_3776 $_3778 $_3779 $_3780 $_3781 $_3782 % 1.96/2.12 $_3783 $_3784 $_3785 $_3786 $_3787 $_3789 $_3790 $_3791 $_3792 $_3793 % 1.96/2.12 skc60 $_3795 $_3796 $_3797 $_3798 \/ % 1.96/2.12 ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3762 $_3763 % 1.96/2.12 $_3764 $_3765 $_3805 $_3806 $_3766 $_3777 $_3788 $_3799 $_3800 $_3801 % 1.96/2.12 $_3802 $_3803 $_3804 $_3767 $_3768 $_3769 $_3770 $_3771 $_3772 $_3773 % 1.96/2.12 $_3774 % 1.96/2.12 |- ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3898 $_3899 $_3900 % 1.96/2.12 $_3901 $_3939 $_3940 $_3902 $_3913 $_3924 $_3933 $_3934 $_3935 $_3936 % 1.96/2.12 $_3937 $_3938 $_3903 $_3904 $_3905 $_3906 \/ % 1.96/2.12 ssPv53_4r1r1r1r1 $_3898 $_3899 $_3900 $_3901 % 1.96/2.12 |- ~ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3960 $_3961 % 1.96/2.12 $_3962 $_3963 $_4004 $_4005 $_3964 $_3975 $_3986 $_3997 $_3999 $_4000 % 1.96/2.12 $_4001 $_4002 $_4003 $_3965 $_3966 $_3967 $_3968 $_3969 $_3970 % 1.96/2.12 $_3971 \/ % 1.96/2.12 ~ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3960 $_3961 % 1.96/2.12 $_3962 $_3963 $_4004 $_4005 $_3964 $_3975 $_3986 $_3997 $_3999 $_4000 % 1.96/2.12 $_4001 $_4002 $_4003 $_3965 $_3966 $_3967 $_3968 $_3969 $_3970 \/ % 1.96/2.12 ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_3960 % 1.96/2.12 $_3961 $_3962 $_3963 $_4004 $_4005 $_3964 $_3975 $_3986 $_3997 $_3999 % 1.96/2.12 $_4000 $_4001 $_4002 $_4003 $_3965 $_3966 $_3967 $_3968 $_3969 $_3970 % 1.96/2.12 $_3971 $_3972 $_3973 $_3974 $_3976 $_3977 $_3978 % 1.96/2.12 |- ~ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4034 $_4035 $_4036 $_4037 $_4080 $_4081 $_4038 $_4049 $_4060 $_4071 % 1.96/2.12 $_4075 $_4076 $_4077 $_4078 $_4079 $_4039 $_4040 $_4041 $_4042 $_4043 % 1.96/2.12 $_4044 $_4045 $_4046 $_4047 $_4048 $_4050 $_4051 $_4052 $_4053 $_4054 % 1.96/2.12 $_4055 $_4056 $_4057 $_4058 $_4059 $_4061 $_4062 $_4063 $_4064 \/ % 1.96/2.12 ~ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4034 $_4035 % 1.96/2.12 $_4036 $_4037 $_4080 $_4081 $_4038 $_4049 $_4060 $_4071 $_4075 $_4076 % 1.96/2.12 $_4077 $_4078 $_4079 $_4039 $_4040 $_4041 $_4042 $_4043 $_4044 $_4045 % 1.96/2.12 $_4046 $_4047 \/ % 1.96/2.12 ssPv48_9r1r1r1r1r1r1r1r1r1 $_4034 $_4035 $_4036 $_4037 $_4080 $_4081 % 1.96/2.12 $_4038 $_4049 $_4060 % 1.96/2.12 |- ~ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4176 $_4177 $_4178 $_4179 % 1.96/2.12 $_4224 $_4225 $_4180 $_4191 $_4202 $_4213 $_4219 $_4220 $_4221 $_4222 % 1.96/2.12 $_4223 $_4181 \/ ~ssPv53_4r1r1r1r1 $_4176 $_4177 $_4178 $_4179 \/ % 1.96/2.12 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4176 $_4177 $_4178 $_4179 $_4224 $_4225 $_4180 $_4191 $_4202 $_4213 % 1.96/2.12 $_4219 $_4220 $_4221 $_4222 $_4223 $_4181 $_4182 $_4183 $_4184 $_4185 % 1.96/2.12 $_4186 $_4187 $_4188 $_4189 $_4190 $_4192 $_4193 $_4194 $_4195 $_4196 % 1.96/2.12 $_4197 $_4198 $_4199 $_4200 $_4201 $_4203 $_4204 $_4205 $_4206 $_4207 % 1.96/2.12 $_4208 $_4209 $_4210 $_4211 $_4212 $_4214 skc48 $_4216 $_4217 $_4218 % 1.96/2.12 |- ~ssPv53_4r1r1r1r1 $_4226 $_4227 $_4228 $_4229 \/ % 1.96/2.12 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4226 $_4227 $_4228 $_4229 $_4273 $_4274 $_4230 $_4241 $_4252 $_4263 % 1.96/2.12 $_4268 $_4269 $_4270 $_4271 $_4272 skc76 $_4232 $_4233 $_4234 $_4235 % 1.96/2.12 $_4236 $_4237 $_4238 $_4239 $_4240 $_4242 $_4243 $_4244 $_4245 $_4246 % 1.96/2.12 $_4247 $_4248 $_4249 $_4250 $_4251 $_4253 $_4254 $_4255 $_4256 $_4257 % 1.96/2.12 $_4258 $_4259 $_4260 $_4261 $_4262 $_4264 skc48 $_4265 $_4266 $_4267 % 1.96/2.12 |- ~ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4323 $_4324 $_4325 $_4326 % 1.96/2.12 $_4367 $_4368 $_4327 $_4338 $_4349 $_4360 $_4362 $_4363 $_4364 $_4365 % 1.96/2.12 $_4366 $_4328 $_4329 \/ % 1.96/2.12 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4323 $_4324 $_4325 $_4326 $_4367 $_4368 $_4327 $_4338 $_4349 $_4360 % 1.96/2.12 $_4362 $_4363 $_4364 $_4365 $_4366 $_4328 $_4329 $_4330 $_4331 $_4332 % 1.96/2.12 $_4333 $_4334 $_4335 $_4336 $_4337 $_4339 $_4340 $_4341 $_4342 $_4343 % 1.96/2.12 $_4344 $_4345 $_4346 $_4347 $_4348 $_4350 $_4351 $_4352 $_4353 $_4354 % 1.96/2.12 skc60 $_4356 $_4357 $_4358 $_4359 $_4361 \/ % 1.96/2.12 ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4323 $_4324 % 1.96/2.12 $_4325 $_4326 $_4367 $_4368 $_4327 $_4338 $_4349 $_4360 $_4362 $_4363 % 1.96/2.12 $_4364 $_4365 $_4366 $_4328 $_4329 $_4330 $_4331 $_4332 $_4333 $_4334 % 1.96/2.12 $_4335 $_4336 % 1.96/2.12 |- ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4592 % 1.96/2.12 $_4593 $_4594 $_4595 $_4639 $_4640 $_4596 $_4607 $_4618 $_4629 $_4634 % 1.96/2.12 $_4635 $_4636 $_4637 $_4638 $_4597 $_4598 $_4599 $_4600 $_4601 $_4602 % 1.96/2.12 $_4603 $_4604 $_4605 $_4606 $_4608 $_4609 \/ % 1.96/2.12 ssPv49_8r1r1r1r1r1r1r1r1 $_4592 $_4593 $_4594 $_4595 $_4639 $_4640 % 1.96/2.12 $_4596 $_4607 \/ % 1.96/2.12 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4592 $_4593 $_4594 $_4595 $_4639 $_4640 $_4596 $_4607 $_4618 $_4629 % 1.96/2.12 $_4634 $_4635 $_4636 $_4637 $_4638 $_4597 $_4598 $_4599 $_4600 $_4601 % 1.96/2.12 $_4602 $_4603 $_4604 $_4605 $_4606 $_4608 $_4609 $_4610 $_4611 $_4612 % 1.96/2.12 $_4613 $_4614 $_4615 $_4616 $_4617 $_4619 $_4620 $_4621 $_4622 $_4623 % 1.96/2.12 $_4624 skc58 $_4626 $_4627 $_4628 $_4630 $_4631 $_4632 $_4633 % 1.96/2.12 |- ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_4956 $_4957 $_4958 $_4959 $_4997 $_4998 $_4960 $_4971 $_4982 $_4991 % 1.96/2.12 $_4992 $_4993 $_4994 $_4995 $_4996 $_4961 $_4962 $_4963 $_4964 $_4965 % 1.96/2.12 $_4966 $_4967 $_4968 $_4969 $_4970 $_4972 $_4973 $_4974 $_4975 $_4976 % 1.96/2.12 $_4977 $_4978 $_4979 $_4980 $_4981 $_4983 $_4984 $_4985 $_4986 % 1.96/2.12 $_4987 \/ % 1.96/2.12 ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_4956 $_4957 % 1.96/2.12 $_4958 $_4959 $_4997 $_4998 $_4960 $_4971 $_4982 $_4991 $_4992 $_4993 % 1.96/2.12 $_4994 $_4995 $_4996 $_4961 $_4962 $_4963 $_4964 $_4965 $_4966 $_4967 % 1.96/2.12 |- ~ssPv49_8r1r1r1r1r1r1r1r1 $_5039 $_5040 $_5041 $_5042 $_5090 $_5091 % 1.96/2.12 $_5043 $_5054 \/ % 1.96/2.12 ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5039 % 1.96/2.12 $_5040 $_5041 $_5042 $_5090 $_5091 $_5043 $_5054 $_5065 $_5076 $_5085 % 1.96/2.12 $_5086 $_5087 $_5088 $_5089 $_5044 $_5045 $_5046 $_5047 $_5048 $_5049 % 1.96/2.12 $_5050 $_5051 $_5052 $_5053 $_5055 $_5056 $_5057 \/ % 1.96/2.12 ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5039 $_5040 $_5041 $_5042 $_5090 $_5091 $_5043 $_5054 $_5065 $_5076 % 1.96/2.12 $_5085 $_5086 $_5087 $_5088 $_5089 $_5044 $_5045 $_5046 $_5047 $_5048 % 1.96/2.12 $_5049 $_5050 $_5051 $_5052 $_5053 $_5055 $_5056 $_5057 $_5058 $_5059 % 1.96/2.12 $_5060 $_5061 $_5062 $_5063 $_5064 $_5066 $_5067 $_5068 $_5069 $_5070 % 1.96/2.12 $_5071 $_5072 skc56 $_5074 $_5075 $_5077 $_5078 $_5079 $_5080 $_5081 % 1.96/2.12 $_5082 $_5083 $_5084 % 1.96/2.12 |- ssPv55_2r1r1 $_5296 $_5297 % 1.96/2.12 |- ~ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5797 $_5798 $_5799 $_5800 $_5849 $_5850 $_5801 $_5812 $_5823 $_5834 % 1.96/2.12 $_5844 $_5845 $_5846 $_5847 $_5848 $_5802 $_5803 $_5804 $_5805 $_5806 % 1.96/2.12 $_5807 $_5808 $_5809 $_5810 $_5811 $_5813 $_5814 $_5815 $_5816 $_5817 % 1.96/2.12 $_5818 $_5819 $_5820 $_5821 $_5822 $_5824 $_5825 $_5826 \/ % 1.96/2.12 ssPv12_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5797 $_5798 $_5799 $_5800 $_5849 $_5850 $_5801 $_5812 $_5823 $_5834 % 1.96/2.12 $_5844 $_5845 $_5846 $_5847 $_5848 $_5802 $_5803 $_5804 $_5805 $_5806 % 1.96/2.12 $_5807 $_5808 $_5809 $_5810 $_5811 $_5813 $_5814 $_5815 $_5816 $_5817 % 1.96/2.12 $_5818 $_5819 $_5820 $_5821 $_5822 $_5824 $_5825 $_5826 $_5827 $_5828 % 1.96/2.12 $_5829 $_5830 $_5831 $_5832 $_5833 \/ % 1.96/2.12 ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5797 $_5798 $_5799 $_5800 $_5849 $_5850 $_5801 $_5812 $_5823 $_5834 % 1.96/2.12 $_5844 $_5845 $_5846 $_5847 $_5848 $_5802 $_5803 $_5804 $_5805 $_5806 % 1.96/2.12 $_5807 $_5808 $_5809 $_5810 $_5811 $_5813 $_5814 $_5815 $_5816 $_5817 % 1.96/2.12 $_5818 $_5819 $_5820 $_5821 $_5822 $_5824 $_5825 $_5826 $_5827 \/ % 1.96/2.12 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 $_5797 $_5798 $_5799 $_5800 $_5849 % 1.96/2.12 $_5850 $_5801 $_5812 $_5823 $_5834 $_5844 $_5845 \/ % 1.96/2.12 ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5797 $_5798 $_5799 $_5800 $_5849 $_5850 $_5801 $_5812 $_5823 $_5834 % 1.96/2.12 $_5844 $_5845 $_5846 $_5847 $_5848 $_5802 $_5803 $_5804 $_5805 $_5806 % 1.96/2.12 $_5807 $_5808 $_5809 $_5810 $_5811 $_5813 $_5814 $_5815 $_5816 $_5817 % 1.96/2.12 $_5818 $_5819 $_5820 $_5821 $_5822 $_5824 $_5825 $_5826 $_5827 $_5828 % 1.96/2.12 $_5829 $_5830 $_5831 $_5832 $_5833 $_5835 $_5836 $_5837 % 1.96/2.12 |- ~ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5851 $_5852 $_5853 $_5854 % 1.96/2.12 $_5894 $_5895 $_5855 $_5866 $_5877 $_5888 $_5889 $_5890 $_5891 % 1.96/2.12 $_5892 \/ % 1.96/2.12 ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5851 $_5852 $_5853 $_5854 $_5894 $_5895 $_5855 $_5866 $_5877 $_5888 % 1.96/2.12 $_5889 $_5890 $_5891 $_5892 $_5893 $_5856 $_5857 $_5858 $_5859 $_5860 % 1.96/2.12 $_5861 $_5862 $_5863 $_5864 $_5865 $_5867 $_5868 $_5869 $_5870 $_5871 % 1.96/2.12 $_5872 $_5873 $_5874 $_5875 $_5876 $_5878 $_5879 $_5880 $_5881 $_5882 % 1.96/2.12 $_5883 $_5884 $_5885 \/ % 1.96/2.12 ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5851 $_5852 % 1.96/2.12 $_5853 $_5854 $_5894 $_5895 $_5855 $_5866 $_5877 $_5888 $_5889 $_5890 % 1.96/2.12 $_5891 $_5892 $_5893 $_5856 $_5857 $_5858 $_5859 $_5860 $_5861 $_5862 % 1.96/2.12 $_5863 \/ % 1.96/2.12 ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5851 $_5852 $_5853 % 1.96/2.12 $_5854 $_5894 $_5895 $_5855 $_5866 $_5877 $_5888 $_5889 $_5890 $_5891 % 1.96/2.12 $_5892 $_5893 $_5856 $_5857 $_5858 $_5859 $_5860 $_5861 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_5851 $_5852 $_5853 $_5854 $_5894 % 1.96/2.12 $_5895 $_5855 $_5866 $_5877 $_5888 $_5889 % 1.96/2.12 |- ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5939 $_5940 % 1.96/2.12 $_5941 $_5942 $_5979 $_5980 $_5943 $_5954 $_5965 $_5974 $_5975 $_5976 % 1.96/2.12 $_5977 skc80 $_5978 $_5944 $_5945 $_5946 $_5947 $_5948 $_5949 $_5950 % 1.96/2.12 $_5951 \/ % 1.96/2.12 ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5939 $_5940 $_5941 % 1.96/2.12 $_5942 $_5979 $_5980 $_5943 $_5954 $_5965 $_5974 $_5975 $_5976 $_5977 % 1.96/2.12 skc80 $_5978 $_5944 $_5945 $_5946 $_5947 $_5948 $_5949 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_5939 $_5940 $_5941 $_5942 $_5979 % 1.96/2.12 $_5980 $_5943 $_5954 $_5965 $_5974 $_5975 % 1.96/2.12 |- ~ssPv47_10r1r1r1r1r1r1r1r1r1r1 $_5981 $_5982 $_5983 $_5984 $_6001 $_6002 % 1.96/2.12 $_5985 $_5994 $_5995 $_5996 \/ % 1.96/2.12 ~ssPv51_6r1r1r1r1r1r1 $_5981 $_5982 $_5983 $_5984 $_6001 $_6002 \/ % 1.96/2.12 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_5981 $_5982 $_5983 $_5984 $_6001 $_6002 $_5985 $_5994 $_5995 $_5996 % 1.96/2.12 $_5997 $_5998 $_5999 skc80 $_6000 $_5986 $_5987 $_5988 $_5989 $_5990 % 1.96/2.12 $_5991 $_5992 $_5993 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 \/ % 1.96/2.12 ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_5981 $_5982 $_5983 % 1.96/2.12 $_5984 $_6001 $_6002 $_5985 $_5994 $_5995 $_5996 $_5997 $_5998 $_5999 % 1.96/2.12 skc80 $_6000 $_5986 $_5987 $_5988 $_5989 $_5990 $_5991 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_5981 $_5982 $_5983 $_5984 $_6001 % 1.96/2.12 $_6002 $_5985 $_5994 $_5995 $_5996 $_5997 % 1.96/2.12 |- ~ssPv51_6r1r1r1r1r1r1 $_6011 $_6012 $_6013 $_6014 $_6031 $_6032 \/ % 1.96/2.12 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_6011 $_6012 $_6013 $_6014 $_6031 $_6032 $_6015 $_6024 $_6025 skc88 % 1.96/2.12 $_6027 $_6028 $_6029 skc80 $_6030 $_6016 $_6017 $_6018 $_6019 $_6020 % 1.96/2.12 $_6021 $_6022 $_6023 $_6003 $_6004 $_6005 $_6006 $_6007 $_6008 $_6009 % 1.96/2.12 $_6010 \/ % 1.96/2.12 ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6011 $_6012 $_6013 % 1.96/2.12 $_6014 $_6031 $_6032 $_6015 $_6024 $_6025 skc88 $_6027 $_6028 $_6029 % 1.96/2.12 skc80 $_6030 $_6016 $_6017 $_6018 $_6019 $_6020 $_6021 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_6011 $_6012 $_6013 $_6014 $_6031 % 1.96/2.12 $_6032 $_6015 $_6024 $_6025 skc88 $_6027 % 1.96/2.12 |- ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 $_6201 $_6202 % 1.96/2.12 $_6203 $_6204 $_6241 $_6242 $_6205 $_6215 $_6226 $_6235 $_6236 $_6237 % 1.96/2.12 $_6238 $_6239 $_6240 $_6206 $_6207 $_6208 $_6209 $_6210 $_6211 $_6212 % 1.96/2.12 $_6213 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_6201 $_6202 $_6203 $_6204 $_6241 % 1.96/2.12 $_6242 $_6205 $_6215 $_6226 $_6235 $_6236 \/ % 1.96/2.12 ssPv54_3r1r1r1 $_6201 $_6202 $_6203 % 1.96/2.12 |- ~ssPv47_10r1r1r1r1r1r1r1r1r1r1 $_6243 $_6244 $_6245 $_6246 $_6264 $_6265 % 1.96/2.12 $_6247 $_6256 $_6257 $_6258 \/ % 1.96/2.12 ~ssPv51_6r1r1r1r1r1r1 $_6243 $_6244 $_6245 $_6246 $_6264 $_6265 \/ % 1.96/2.12 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_6243 $_6244 $_6245 $_6246 $_6264 $_6265 $_6247 $_6256 $_6257 $_6258 % 1.96/2.12 $_6259 $_6260 $_6261 $_6262 $_6263 $_6248 $_6249 $_6250 $_6251 $_6252 % 1.96/2.12 $_6253 $_6254 $_6255 $X18 $X19 $X20 $X21 $X22 $X23 $X24 $X25 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_6243 $_6244 $_6245 $_6246 $_6264 % 1.96/2.12 $_6265 $_6247 $_6256 $_6257 $_6258 $_6259 \/ % 1.96/2.12 ssPv54_3r1r1r1 $_6243 $_6244 $_6245 % 1.96/2.12 |- ~ssPv51_6r1r1r1r1r1r1 $_6274 $_6275 $_6276 $_6277 $_6295 $_6296 \/ % 1.96/2.12 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 % 1.96/2.12 $_6274 $_6275 $_6276 $_6277 $_6295 $_6296 $_6278 $_6287 $_6288 skc88 % 1.96/2.12 $_6290 $_6291 $_6292 $_6293 $_6294 $_6279 $_6280 $_6281 $_6282 $_6283 % 1.96/2.12 $_6284 $_6285 $_6286 $_6266 $_6267 $_6268 $_6269 $_6270 $_6271 $_6272 % 1.96/2.12 $_6273 \/ % 1.96/2.12 ssPv46_11r1r1r1r1r1r1r1r1r1r1r1 $_6274 $_6275 $_6276 $_6277 $_6295 % 1.96/2.12 $_6296 $_6278 $_6287 $_6288 skc88 $_6290 \/ % 1.96/2.12 ssPv54_3r1r1r1 $_6274 $_6275 $_6276 % 1.96/2.12 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.96/2.12 %------------------------------------------------------------------------------