Leo-II 1.2.6 ATP-system : Leo-II authors : Christoph Benzmueller (Frank Theiss) version : 1.2.6 programming language : OCaml 3.10 description : extensional higher-order RUE resolution. uses an embedding of quantified modal logic into simple type theory (Benzmüller & Paulson, 2010) Web: : http://www.ags.uni-sb.de/~leo/ test conditions: problem set: QMLTP-Library v 1.1 www.iltp.de/qmltp Xeon 3.4 GHz, 4 GB RAM, Linux 2.6.24-24.x86_64 CPU time limit: 600 sec. date: 15 Jan 2012 20 multi-modal problems: solved 15 (%) 75.0 proved 15 refuted - proved after 0 - 1 s 12 1 - 10 s 1 10- 100s 1 100-600s 1 time out >600s 5 average time 14.1 s errors 0 problem time in sec. MUL001+1 0.36 MUL002+1 0.12 MUL003+1 >600 MUL004+1 0.05 MUL005+1 0.06 MUL006+1 0.38 MUL007+1 0.18 MUL008+1 0.24 MUL009+1 96.62 MUL010+1 >600 MUL011+1 0.08 MUL012+1 >600 MUL013+1 0.05 MUL014+1 5.41 MUL015+1 107.71 MUL016+1 0.14 MUL017+1 >600 MUL018+1 0.08 MUL019+1 >600 MUL020+1 0.07 580 uni-modal problems: K D T S4 S5 vary cumul const vary cumul. const. vary cumul. const. vary cumul. const. vary cumul. const. solved 73 90 120 82 101 135 121 142 175 142 167 202 0 0 0 (%) 12.6 15.5 20.7 14.1 17.4 23.3 20.9 24.5 30.2 24.5 28.8 34.8 0.0 0.0 0.0 proved 73 90 120 82 101 135 121 142 175 142 167 202 0 0 0 refuted - - - - - - - - - - - - - - - proved after 0 - 1 s 58 73 91 66 83 106 100 121 140 124 143 163 0 0 0 1 - 10 s 5 7 7 6 7 8 10 9 13 11 12 15 0 0 0 10- 100s 4 4 10 4 5 10 5 6 11 4 7 13 0 0 0 100-600s 6 6 12 6 6 11 6 6 11 3 5 11 0 0 0 time out >600s 495 481 451 490 474 439 451 436 401 426 405 376 407 363 336 average time 19.3 15.8 26.2 17.4 14.5 22.9 12.2 11.3 17.9 6.9 11.3 17.2 nan nan nan errors 12 9 9 8 5 6 8 2 4 12 8 2 2 1 2 stack overflow 3 1 0 0 0 2 2 0 0 0 2 0 0 0 1 segmentation fault 9 8 9 8 5 4 6 2 4 12 6 2 2 1 1 proved: total APM GAL GLC GNL GSE GSV GSY SYM NLP SET ---------------------------------------------------------- K vary 73 2 0 0 0 8 0 7 34 0 22 K cumul 90 2 0 0 0 8 0 7 51 0 22 K const 120 3 0 0 0 8 0 9 62 0 38 D vary 82 2 0 0 0 9 0 6 43 0 22 D cumul 101 2 0 0 0 8 0 7 62 0 22 D const 135 3 0 0 0 8 0 8 78 0 38 T vary 121 5 0 0 0 9 0 16 69 0 22 T cumul 142 5 0 0 0 8 0 20 86 0 23 T const 175 5 0 0 0 9 0 25 98 0 38 S4 vary 142 5 0 0 0 2 0 26 86 0 23 S4 cumul 167 6 0 0 0 3 0 32 104 0 22 S4 const 202 6 0 0 0 6 0 37 114 0 39 S5 vary 0 0 0 0 0 0 0 0 0 0 0 S5 cumul 0 0 0 0 0 0 0 0 0 0 0 S5 const 0 0 0 0 0 0 0 0 0 0 0 problem K D T S4 S5 vary cumul. const. vary cumul. const. vary cumul. const. vary cumul. const. vary cumul. const. APM001+1 0.10 0.14 0.11 0.09 0.10 0.07 0.10 0.19 0.10 0.13 0.19 0.10 0.19 0.18 0.16 APM002+1 >600 >600 >600 segmf segmf segmf >600 >600 segmf segmf >600 >600 >600 >600 >600 APM003+1 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 3.84 0.45 >600 168.43 15.36 APM004+1 >600 >600 >600 >600 >600 >600 0.26 0.14 0.14 0.16 0.29 0.11 0.13 0.19 0.11 APM005+1 >600 >600 >600 >600 >600 >600 0.41 0.42 0.35 0.42 0.80 0.27 0.46 0.88 0.27 APM006+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 APM007+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 APM008+1 >600 >600 0.05 >600 >600 0.02 0.07 0.07 0.07 0.08 0.10 0.06 0.07 0.08 0.05 APM009+1 0.06 0.08 0.03 0.09 0.11 0.04 0.09 0.09 0.08 0.08 0.12 0.04 0.08 0.07 0.06 APM010+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL014+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL015+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL016+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL017+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL018+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL019+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL020+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL021+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL022+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GAL023+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC181+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.65 0.58 0.51 GLC230+1 >600 >600 >600 >600 >600 >600 stack >600 >600 >600 >600 >600 0.22 0.27 0.13 GLC354+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC414+1 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC448+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC449+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC450+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC450+2 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC451+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC452+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC453+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC454+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC455+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC456+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC457+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC458+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC459+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC460+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC461+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC462+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC463+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC464+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC465+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC466+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GLC467+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL001+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL002+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL003+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL004+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL005+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL006+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL007+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL008+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL009+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GNL011+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE002+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 stack >600 >600 >600 >600 GSE002+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE008+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE009+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE010+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE011+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE012+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE013+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE014+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE014+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE015+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE016+1 stack >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE016+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE017+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE018+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE018+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE019+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE020+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE024+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE025+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE027+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE027+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 GSE027+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE043+1 >600 >600 segmf segmf >600 >600 9.17 17.96 9.92 >600 >600 >600 248.20 >600 >600 GSE044+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE045+1 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE046+1 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE047+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE054+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE055+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE056+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE060+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE061+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE062+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE062+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 202.11 22.22 192.84 2.67 GSE062+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE063+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE063+3 >600 >600 >600 0.62 >600 >600 >600 >600 >600 >600 521.36 292.34 >600 >600 >600 GSE063+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE573+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.45 >600 >600 >600 GSE574+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.58 GSE575+3 0.99 1.78 0.60 1.80 9.82 0.70 5.49 7.65 1.22 >600 >600 115.80 >600 >600 >600 GSE576+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE577+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE578+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE579+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE580+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE581+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE582+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE583+3 35.61 35.86 33.14 36.41 37.34 34.04 36.44 40.00 33.84 >600 >600 >600 >600 >600 >600 GSE900+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE901+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE902+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE903+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE904+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE906+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE907+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE908+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE909+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE910+1 122.55 122.22 119.83 122.19 122.25 120.94 122.39 122.06 120.19 123.81 223.35 121.35 123.68 124.45 121.61 GSE911+1 161.28 161.35 158.87 161.50 161.30 158.94 162.10 164.00 159.10 >600 >600 >600 >600 >600 >600 GSE912+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE913+1 0.71 0.80 0.52 0.73 0.81 0.53 0.72 0.78 0.53 9.76 22.81 1.66 >600 0.32 >600 GSE914+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE915+1 0.86 0.94 0.61 0.92 32.34 0.67 5.41 19.49 0.98 segmf >600 >600 >600 >600 40.53 GSE916+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE917+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE918+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE919+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE920+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE921+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSE923+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 GSE924+1 140.91 147.38 137.51 141.29 147.50 138.48 150.65 >600 142.00 >600 >600 >600 >600 >600 >600 GSE925+1 137.16 138.33 135.15 137.33 137.31 135.36 138.24 137.44 134.82 >600 >600 >600 >600 >600 >600 GSE926+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV010+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV011+1 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV060+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV061+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV062+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV063+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV064+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV065+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV066+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV067+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV068+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV069+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV070+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV071+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV072+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV073+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV074+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV075+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV076+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV077+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV078+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV079+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV080+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV081+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV082+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV083+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV084+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV085+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV086+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV087+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV088+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV089+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV090+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV091+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV092+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV093+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV094+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 stack >600 >600 >600 >600 GSV095+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV096+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV097+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV098+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV099+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV100+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV101+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV102+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV103+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV104+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV105+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV106+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSV107+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY036+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY036+2 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY040+1 0.58 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.70 0.90 0.98 GSY041+1 >600 >600 >600 segmf >600 >600 segmf >600 >600 0.10 0.10 0.09 0.05 0.08 0.09 GSY044+1 0.22 0.25 0.22 0.25 0.25 0.23 0.40 0.30 0.28 0.71 0.84 0.65 0.86 1.34 0.82 GSY045+1 0.65 0.65 0.63 0.74 0.65 0.69 0.71 0.70 0.61 0.71 0.66 0.85 1.46 1.43 1.15 GSY046+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 >600 0.22 0.27 0.21 GSY047+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY048+1 >600 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 >600 0.08 0.06 GSY049+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 2.92 0.17 GSY050+1 >600 >600 >600 >600 >600 >600 >600 >600 0.83 >600 >600 6.71 >600 >600 0.50 GSY051+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 267.63 >600 195.40 GSY052+1 >600 >600 >600 >600 >600 >600 segmf >600 >600 0.50 0.87 0.34 1.63 40.22 0.76 GSY355+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 GSY356+1 >600 >600 >600 >600 >600 >600 1.55 261.92 2.77 3.24 21.77 1.71 >600 >600 >600 GSY357+1 0.05 0.05 0.05 0.05 0.05 0.05 0.04 0.07 0.04 0.06 0.06 0.04 0.07 0.09 0.05 GSY358+1 0.17 0.20 0.13 0.19 0.22 0.14 0.17 0.18 0.12 0.21 0.19 0.16 0.19 0.22 0.17 GSY359+1 >600 >600 >600 >600 >600 >600 0.52 0.49 0.31 1.07 16.85 0.47 >600 >600 >600 GSY360+1 >600 >600 >600 >600 >600 >600 >600 >600 0.18 >600 199.18 0.19 >600 >600 5.39 GSY361+1 >600 >600 >600 >600 >600 >600 >600 8.96 1.75 >600 >600 21.86 >600 >600 >600 GSY362+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.57 0.95 1.27 0.33 4.11 0.53 GSY363+1 >600 >600 >600 >600 >600 >600 0.27 0.89 0.14 1.30 1.05 0.13 >600 10.58 0.28 GSY364+1 >600 >600 >600 >600 >600 >600 >600 >600 15.60 >600 >600 >600 >600 >600 >600 GSY365+1 >600 >600 30.96 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY366+1 segmf >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 17.44 >600 >600 >600 GSY367+1 segmf >600 >600 >600 >600 >600 >600 >600 >600 24.26 5.85 1.95 3.49 3.12 307.28 GSY368+1 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.07 GSY369+1 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 0.11 >600 >600 0.18 GSY370+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.18 GSY371+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 8.39 0.14 5.06 0.13 0.09 GSY372+1 >600 >600 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 0.61 0.16 GSY373+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 1.96 0.48 GSY374+1 >600 >600 >600 >600 >600 >600 >600 0.45 >600 >600 >600 >600 >600 >600 >600 GSY375+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY376+1 >600 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY377+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 17.50 >600 >600 >600 GSY378+1 >600 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 0.10 0.10 GSY379+1 >600 >600 >600 >600 >600 >600 >600 0.39 0.30 >600 0.51 0.33 1.37 0.90 0.36 GSY380+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY381+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.35 >600 >600 >600 >600 >600 GSY382+1 >600 >600 >600 >600 >600 >600 0.69 3.09 0.16 0.60 17.57 0.10 3.87 >600 0.41 GSY383+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.08 0.05 GSY384+1 >600 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.16 0.08 GSY385+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.11 0.06 GSY386+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY387+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.04 0.04 0.02 GSY388+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.04 0.06 0.05 GSY389+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.08 0.09 0.09 GSY390+1 0.05 0.07 0.07 0.06 0.10 0.07 0.04 0.07 0.06 0.06 0.11 0.05 0.08 0.07 0.05 GSY391+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 1.70 8.38 1.85 17.88 >600 18.32 GSY392+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 24.56 37.05 26.57 GSY393+1.003 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY394+1 >600 >600 0.08 >600 >600 0.10 >600 >600 0.10 0.19 0.37 0.17 9.25 0.22 0.40 GSY395+1 >600 >600 >600 >600 >600 >600 0.09 0.13 0.08 0.11 0.25 0.10 0.35 0.53 0.07 GSY396+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.69 0.17 GSY397+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.34 0.16 0.22 0.22 0.19 GSY398+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.38 0.68 0.25 0.41 0.43 0.28 GSY399+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.47 0.72 0.36 2.48 39.24 0.59 GSY400+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.12 0.19 0.08 0.12 0.11 0.09 GSY401+1 >600 >600 >600 >600 >600 >600 >600 0.06 0.05 >600 0.13 0.07 0.06 0.07 0.05 GSY402+1 >600 0.06 0.05 >600 0.05 0.04 >600 0.05 0.04 >600 0.10 0.04 >600 0.06 0.04 GSY403+1 0.14 0.15 0.10 0.12 0.15 0.11 0.16 0.12 0.12 0.22 0.48 0.15 2.44 3.51 2.05 GSY404+1 >600 >600 >600 >600 >600 >600 0.04 0.05 0.03 0.03 0.11 0.04 0.04 0.08 0.03 GSY405+1 >600 >600 >600 >600 >600 >600 0.08 0.08 0.04 0.07 0.15 0.07 0.07 0.09 0.07 GSY406+1 >600 >600 >600 >600 >600 >600 0.11 0.13 0.09 0.14 0.21 0.11 0.34 0.51 0.13 GSY407+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 34.21 0.40 GSY408+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.16 0.10 0.08 0.11 0.07 GSY409+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.43 0.71 0.25 0.56 0.46 0.27 GSY410+1 >600 >600 >600 >600 >600 >600 0.10 0.06 0.04 0.06 0.15 0.04 0.12 0.12 0.05 GSY411+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 7.90 2.11 GSY412+1 >600 >600 segmf >600 >600 >600 25.31 >600 7.61 >600 >600 >600 256.25 >600 4.94 GSY413+1 >600 >600 >600 >600 >600 >600 >600 >600 0.49 >600 >600 >600 >600 >600 >600 GSY414+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY415+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 GSY416+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.05 0.07 0.04 SYM001+1 >600 >600 0.05 >600 >600 0.04 >600 >600 0.02 >600 >600 0.03 >600 0.04 0.04 SYM002+1 >600 0.04 0.02 >600 0.04 0.05 >600 0.05 0.02 >600 0.07 0.03 >600 0.04 0.07 SYM003+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM004+1 >600 0.04 0.01 >600 0.04 0.05 >600 0.04 0.03 >600 0.06 0.04 >600 0.04 0.03 SYM005+1 segmf segmf >600 >600 >600 0.03 0.03 0.03 0.04 0.04 0.06 0.05 0.07 0.05 0.05 SYM006+1 segmf segmf >600 >600 0.05 0.02 0.02 0.03 0.03 0.02 0.06 0.04 0.04 0.04 0.03 SYM007+1 segmf segmf >600 >600 0.06 0.03 0.04 0.03 0.06 0.05 0.06 0.02 0.03 0.05 0.04 SYM008+1 segmf segmf >600 >600 >600 0.05 0.02 0.04 0.04 0.03 0.09 0.03 0.02 0.04 0.03 SYM009+1 >600 segmf >600 >600 >600 stack >600 >600 >600 >600 >600 0.15 >600 0.61 0.22 SYM010+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.45 0.15 >600 0.29 0.20 SYM011+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.37 0.16 SYM012+1 >600 >600 >600 >600 >600 >600 0.04 0.05 0.05 0.03 0.10 0.04 0.05 0.07 0.03 SYM013+1 >600 >600 0.04 >600 >600 0.06 >600 >600 0.04 >600 >600 0.04 >600 0.06 0.04 SYM014+1 >600 >600 0.03 >600 >600 0.04 >600 >600 0.04 >600 >600 0.04 >600 0.06 0.04 SYM015+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.03 0.12 >600 0.11 >600 >600 SYM016+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM017+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM018+1 >600 >600 0.03 >600 >600 0.06 >600 >600 0.05 >600 >600 0.05 >600 0.06 0.05 SYM019+1 >600 >600 >600 >600 >600 >600 0.06 0.07 0.06 0.05 0.11 0.04 0.07 0.06 0.06 SYM020+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM021+1 >600 >600 segmf >600 >600 0.05 0.05 0.04 0.03 0.07 0.09 0.03 0.04 0.10 0.03 SYM022+1 >600 >600 segmf >600 >600 >600 0.04 0.04 0.03 0.04 0.09 0.04 0.04 0.06 0.04 SYM023+1 >600 0.07 0.03 >600 0.07 0.06 >600 0.04 0.04 >600 0.09 0.04 >600 0.06 0.06 SYM024+1 >600 >600 >600 >600 >600 >600 0.04 0.06 0.02 0.05 0.08 0.03 0.03 0.04 0.06 SYM025+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM026+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM027+1 >600 >600 0.03 >600 >600 0.07 >600 >600 0.06 >600 >600 0.04 >600 0.06 0.04 SYM028+1 0.10 0.08 0.06 0.07 0.04 0.10 0.06 0.08 0.10 0.08 0.15 0.05 0.07 0.11 0.06 SYM029+1 >600 stack >600 >600 >600 >600 >600 >600 0.03 >600 >600 0.02 >600 0.06 0.04 SYM030+1 >600 0.07 0.02 >600 0.07 0.04 >600 0.04 0.03 >600 0.08 0.03 >600 0.07 0.06 SYM031+1 >600 >600 >600 >600 >600 >600 0.05 0.05 0.07 0.08 0.11 0.05 0.05 0.06 0.06 SYM032+1 0.06 0.06 0.05 0.08 0.06 0.09 0.07 0.06 0.04 0.08 0.13 0.04 0.08 0.08 0.08 SYM033+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM034+1 >600 segmf >600 >600 >600 >600 >600 >600 >600 0.04 0.08 0.02 0.03 0.06 0.06 SYM035+1 0.03 0.07 0.03 0.08 0.06 0.06 0.05 0.05 0.05 0.05 0.12 0.06 0.04 0.05 0.05 SYM036+1 >600 1.27 0.52 >600 1.37 0.91 >600 1.23 0.51 >600 1.93 0.56 >600 1.43 0.57 SYM037+1 >600 >600 0.53 >600 >600 0.90 >600 >600 0.56 >600 >600 0.57 >600 1.53 0.54 SYM038+1 0.11 0.08 0.05 0.07 0.10 0.09 0.07 0.08 0.07 0.10 0.14 0.05 0.08 0.11 0.05 SYM039+1 >600 segmf >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.09 0.07 SYM040+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM041+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM042+1 >600 >600 >600 >600 >600 >600 0.04 0.03 0.02 0.04 0.08 0.04 0.06 0.06 0.05 SYM043+1 >600 >600 0.12 >600 >600 0.26 >600 >600 0.13 >600 >600 0.14 >600 0.26 0.13 SYM044+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.06 SYM045+1 >600 0.04 0.01 >600 0.04 0.04 >600 0.04 0.03 >600 0.06 0.03 >600 0.05 0.04 SYM046+1 >600 0.06 0.03 >600 0.05 0.04 >600 0.06 0.03 >600 0.08 0.04 >600 0.07 0.03 SYM047+1 segmf 0.06 0.05 segmf 0.07 0.06 segmf 0.05 0.04 segmf 0.11 0.07 segmf 0.06 0.04 SYM048+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM049+1 >600 >600 0.12 >600 >600 0.21 >600 >600 0.13 >600 >600 0.14 >600 0.33 0.12 SYM050+1 >600 0.09 0.08 >600 0.07 0.08 >600 0.05 0.05 >600 0.13 0.05 >600 0.08 0.05 SYM051+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.08 0.05 SYM052+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM053+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.11 0.06 SYM054+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM055+1 >600 >600 0.05 >600 >600 0.04 0.09 0.07 0.05 0.06 0.14 0.04 0.08 0.08 0.06 SYM056+1 >600 0.05 0.03 >600 0.10 0.05 >600 0.04 0.04 >600 0.10 0.06 >600 0.06 0.05 SYM057+1 >600 >600 0.03 >600 >600 0.03 >600 >600 0.04 >600 >600 0.04 >600 0.07 0.05 SYM058+1 >600 0.04 0.04 >600 0.07 0.06 >600 0.05 0.04 >600 0.09 0.04 >600 0.10 0.04 SYM059+1 >600 0.06 0.04 >600 0.08 0.05 >600 0.05 0.05 >600 0.08 0.03 >600 0.07 0.04 SYM060+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM061+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM062+1 >600 0.07 0.04 >600 0.12 0.07 >600 0.04 0.05 >600 0.12 0.05 >600 0.09 0.06 SYM063+1 >600 >600 0.08 >600 >600 0.15 >600 >600 0.09 >600 >600 0.10 >600 0.15 0.09 SYM064+1 segmf 0.10 0.05 >600 0.15 0.08 >600 0.09 0.05 >600 0.16 0.05 >600 0.12 0.06 SYM065+1 >600 >600 0.03 >600 >600 0.05 0.04 0.05 0.05 0.04 0.06 0.04 0.04 0.04 0.03 SYM066+1 >600 >600 segmf >600 >600 segmf >600 >600 segmf >600 >600 segmf >600 >600 segmf SYM067+1 >600 0.06 0.01 >600 0.06 0.04 >600 0.03 0.01 >600 0.06 0.03 >600 0.06 0.02 SYM068+1 >600 >600 >600 >600 >600 stack >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM069+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 stack SYM070+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM071+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM072+1 >600 >600 >600 segmf >600 >600 segmf segmf >600 segmf segmf >600 segmf segmf >600 SYM073+1 >600 >600 >600 >600 >600 >600 stack >600 >600 >600 >600 >600 >600 >600 >600 SYM074+1 >600 0.06 0.03 >600 0.06 0.04 >600 0.03 0.04 >600 0.08 0.03 >600 0.05 0.03 SYM075+1 >600 0.07 0.03 >600 0.07 0.05 >600 0.05 0.03 >600 0.08 0.03 >600 0.06 0.06 SYM076+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM077+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM078+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM079+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM080+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM081+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM082+1 >600 >600 0.05 >600 >600 0.04 >600 >600 0.03 >600 >600 0.06 >600 0.06 0.04 SYM083+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM084+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.10 0.06 SYM085+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM101+1 0.38 0.58 0.34 0.40 0.64 0.63 1.21 0.49 0.70 2.16 2.32 2.51 >600 >600 >600 SYM102+1 0.03 0.05 0.04 0.04 0.09 0.07 0.06 0.05 0.02 0.05 0.09 0.07 0.03 0.07 0.06 SYM103+1 0.03 0.05 0.04 0.05 0.05 0.05 0.07 0.04 0.03 0.04 0.08 0.07 0.02 0.05 0.04 SYM104+1 0.09 0.19 0.07 0.11 0.17 0.15 0.17 0.12 0.10 0.12 0.19 0.19 0.13 0.14 0.12 SYM105+1 0.11 0.20 0.10 0.11 0.15 0.15 0.14 0.09 0.10 0.12 0.19 0.20 0.11 0.12 0.11 SYM106+1 0.02 0.05 0.04 0.01 0.05 0.03 0.08 0.02 0.03 0.04 0.06 0.05 0.03 0.06 0.04 SYM107+1 0.02 0.05 0.02 0.01 0.06 0.04 0.06 0.03 0.04 0.04 0.05 0.05 0.04 0.06 0.03 SYM108+1 0.11 0.23 0.13 0.12 0.21 0.20 0.19 0.13 0.12 0.16 0.27 0.23 0.15 0.16 0.15 SYM109+1 0.04 0.06 0.03 0.04 0.05 0.04 0.05 0.03 0.03 0.03 0.06 0.06 0.04 0.04 0.03 SYM110+1 0.02 0.06 0.03 0.05 0.06 0.04 0.07 0.04 0.03 0.03 0.06 0.06 0.02 0.05 0.05 SYM111+1 0.11 0.23 0.09 0.11 0.18 0.19 0.18 0.11 0.11 0.13 0.22 0.20 0.14 0.15 0.14 SYM112+1 0.02 0.06 0.01 0.04 0.05 0.05 0.08 0.03 0.04 0.03 0.05 0.05 0.05 0.05 0.06 SYM113+1 0.42 0.79 0.41 0.41 0.62 0.71 0.75 0.45 0.47 0.45 0.61 0.66 0.47 0.49 0.47 SYM114+1 0.03 0.06 0.03 0.04 0.07 0.06 0.06 0.05 0.04 0.04 0.05 0.06 0.05 0.06 0.05 SYM115+1 0.03 0.05 0.04 0.03 0.06 0.05 0.04 0.03 0.02 0.05 0.06 0.04 0.04 0.05 0.04 SYM116+1 0.04 0.08 0.02 0.03 0.06 0.07 0.07 0.04 0.03 0.06 0.09 0.06 0.05 0.05 0.04 SYM117+1 0.05 0.09 0.04 0.04 0.11 0.04 0.07 0.05 0.04 0.05 0.13 0.06 0.05 0.07 0.06 SYM118+1 0.31 0.54 >600 0.29 0.52 0.48 0.39 0.31 0.31 0.32 0.55 >600 0.30 0.33 0.06 SYM119+1 0.04 0.04 >600 0.05 0.07 0.06 0.05 0.03 0.04 0.04 0.06 >600 0.04 0.04 0.06 SYM120+1 0.05 0.07 0.03 0.03 0.06 0.07 0.06 0.02 0.04 0.06 0.09 0.06 0.05 0.06 0.04 SYM121+1 0.27 0.55 0.29 0.30 0.45 0.49 0.39 0.30 0.28 0.33 0.52 0.56 0.32 0.35 0.31 SYM122+1 0.03 0.07 0.03 0.02 0.06 0.05 0.06 0.02 0.04 0.05 0.05 0.08 0.01 0.04 0.06 SYM123+1 0.06 0.12 0.06 0.07 0.11 0.10 0.10 0.07 0.08 0.07 0.12 0.11 0.08 0.10 0.08 SYM124+1 0.04 0.09 0.04 0.04 0.10 0.07 0.07 0.06 0.03 0.04 0.06 0.08 0.04 0.06 0.05 SYM125+1 >600 >600 >600 0.04 0.04 0.04 0.05 0.04 0.03 0.05 0.06 0.02 0.03 0.04 0.06 SYM126+1 >600 >600 >600 0.03 0.06 0.05 0.07 0.04 0.02 0.02 0.07 0.05 0.05 0.03 0.05 SYM127+1 >600 >600 >600 0.02 0.04 0.05 0.04 0.04 0.03 0.03 0.07 0.05 0.05 0.04 0.03 SYM128+1 >600 >600 >600 0.05 0.07 0.06 0.06 0.05 0.02 0.06 0.07 0.06 0.03 0.06 0.07 SYM129+1 >600 >600 >600 0.03 0.06 0.06 0.05 0.03 0.04 0.05 0.08 0.07 0.03 0.04 0.04 SYM130+1 >600 >600 >600 0.04 0.04 0.04 0.05 0.03 0.03 0.03 0.05 0.03 0.02 0.05 0.04 SYM131+1 >600 >600 >600 0.03 0.06 0.04 0.03 0.04 0.04 0.03 0.07 0.03 0.05 0.04 0.04 SYM132+1 >600 >600 >600 0.05 0.06 0.06 0.08 0.04 0.04 0.04 0.08 0.08 0.04 0.04 0.04 SYM133+1 >600 >600 >600 0.02 0.05 0.04 0.08 0.04 0.03 0.04 0.07 0.05 0.03 0.04 0.03 SYM134+1 >600 >600 >600 >600 >600 >600 0.05 0.02 0.02 0.03 0.07 0.05 0.02 0.04 0.04 SYM135+1 >600 >600 >600 >600 >600 >600 0.07 0.05 0.03 0.02 0.06 0.07 0.04 0.05 0.04 SYM136+1 >600 >600 >600 >600 >600 >600 0.06 0.03 0.04 0.03 0.08 0.06 0.04 0.08 0.03 SYM137+1 >600 >600 >600 >600 >600 >600 0.05 0.04 0.04 0.06 0.06 0.06 0.03 0.04 0.03 SYM138+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.05 0.05 0.05 SYM139+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 20.96 10.61 17.93 SYM140+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.09 0.08 0.04 0.06 0.06 SYM141+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.06 0.04 SYM142+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.08 0.06 0.03 0.04 0.05 SYM143+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.08 0.06 0.02 0.05 0.04 SYM144+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.10 0.07 0.06 0.07 0.04 SYM145+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.05 0.06 0.08 0.05 0.07 0.06 SYM146+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.14 0.14 0.11 0.09 0.09 0.08 SYM147+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.09 0.09 0.06 0.06 0.06 SYM148+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.08 0.10 0.09 0.07 0.08 0.04 SYM149+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.10 0.06 0.05 0.05 0.07 SYM150+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.28 0.36 0.42 SYM151+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 11.01 13.61 33.68 SYM152+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 1.32 0.92 0.77 SYM153+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.53 0.50 0.59 SYM154+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.52 0.65 0.52 SYM155+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.36 0.37 0.40 SYM156+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.53 0.68 0.59 SYM157+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.06 0.05 SYM158+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM159+1 >600 >600 >600 >600 >600 >600 0.07 0.08 0.08 0.07 0.08 0.07 0.07 0.07 0.07 SYM160+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.09 0.08 0.07 0.05 0.05 0.06 SYM161+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM162+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM163+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.04 0.06 0.07 SYM164+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.09 0.08 0.09 0.04 0.05 0.03 SYM165+1 >600 >600 >600 >600 >600 >600 0.06 0.04 0.04 0.04 0.05 0.06 0.04 0.05 0.06 SYM166+1 0.06 0.07 0.03 0.06 0.05 0.07 0.07 0.05 0.05 0.09 0.08 0.10 0.04 0.06 0.05 SYM167+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM168+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.24 0.26 0.24 0.15 0.16 0.16 SYM169+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.09 0.09 0.05 0.06 0.06 SYM170+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM171+1 >600 >600 >600 >600 >600 >600 0.07 0.03 0.05 0.07 0.08 0.06 0.06 0.05 0.06 SYM172+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.06 0.04 0.03 SYM173+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.07 0.08 0.10 0.05 0.05 0.06 SYM174+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.23 0.26 0.26 SYM175+1 stack >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.04 0.04 0.05 SYM176+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM177+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM178+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.08 0.09 0.06 SYM179+1 0.50 0.55 0.30 0.35 0.32 0.48 0.52 0.30 0.31 0.53 0.47 0.48 0.35 0.33 0.33 SYM180+1 0.03 0.05 0.03 0.06 0.02 0.04 0.04 0.04 0.02 0.04 0.08 0.05 0.04 0.06 0.03 SYM181+1 >600 >600 >600 >600 >600 >600 0.06 0.03 0.04 0.05 0.07 0.05 0.04 0.03 0.05 SYM182+1 0.04 0.07 0.04 0.05 0.02 0.04 0.06 0.03 0.01 0.06 0.07 0.05 0.04 0.06 0.06 SYM183+1 0.07 0.05 0.02 0.05 0.04 0.04 0.04 0.04 0.03 0.06 0.09 0.06 0.03 0.08 0.03 SYM184+1 0.05 0.07 0.03 0.05 0.04 0.04 0.04 0.03 0.01 0.03 0.07 0.06 0.03 0.04 0.04 SYM185+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 0.68 0.71 0.57 1.05 1.00 1.14 SYM186+1 >600 >600 >600 >600 >600 >600 0.06 0.05 0.04 0.05 0.08 0.08 0.04 0.05 0.05 SYM187+1 >600 >600 >600 >600 >600 >600 0.06 0.02 0.03 0.05 0.07 0.05 0.05 0.04 0.03 SYM188+1 >600 >600 >600 >600 >600 >600 0.01 0.03 0.02 0.06 0.07 0.04 0.03 0.03 0.03 SYM189+1 stack >600 >600 >600 >600 >600 0.08 0.03 0.04 0.07 0.09 0.07 0.05 0.06 0.04 SYM190+1 >600 >600 >600 >600 >600 >600 0.06 0.04 0.05 0.06 0.06 0.06 0.05 0.04 0.06 SYM301+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM302+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM303+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM304+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM305+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM306+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM307+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM308+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM309+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM310+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM311+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM312+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM313+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM314+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM315+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM316+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM317+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM318+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM319+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM320+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM321+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM322+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM323+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM324+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM325+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM326+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM327+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM328+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM329+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM330+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM331+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM332+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM333+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM334+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM335+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM336+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM337+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM338+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM339+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM340+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM341+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM342+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM343+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM344+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM345+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM346+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM347+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM348+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM349+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM350+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM351+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM352+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM353+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM354+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM355+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM356+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM357+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM358+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM359+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM360+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM361+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM362+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM363+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM364+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM365+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM366+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM367+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM368+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM369+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SYM370+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET002+3 43.86 43.69 55.64 54.71 43.50 42.15 43.64 43.53 42.29 43.57 43.70 42.75 43.68 43.87 42.26 SET002+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET008+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET009+3 >600 >600 0.31 >600 segmf 2.84 >600 >600 2.80 >600 segmf 1.31 >600 >600 0.17 SET010+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET011+3 >600 >600 >600 >600 segmf >600 >600 >600 segmf segmf >600 >600 >600 >600 >600 SET012+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET013+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET014+3 >600 >600 12.53 >600 >600 12.26 >600 >600 13.09 >600 segmf 96.29 >600 >600 182.14 SET014+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET015+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET016+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET016+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET017+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET018+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET018+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET019+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET020+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET024+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET025+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET027+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET027+3 0.12 0.11 0.05 0.12 0.17 0.09 0.11 0.11 0.06 0.12 0.13 0.07 0.15 0.15 0.06 SET027+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET043+1 0.04 0.03 0.02 0.03 0.05 0.03 0.07 0.06 0.04 0.03 0.06 0.04 0.04 0.06 0.04 SET044+1 0.06 0.07 0.05 0.06 0.08 0.06 0.08 0.08 0.04 0.09 0.10 0.05 0.09 0.10 0.06 SET045+1 0.07 0.11 0.07 0.07 0.10 0.03 0.08 0.09 0.05 0.07 0.08 0.05 0.09 0.11 0.07 SET046+1 0.06 0.08 0.07 0.07 0.10 0.03 0.09 0.07 0.04 0.08 0.08 0.04 0.09 0.08 0.06 SET047+1 0.20 0.25 0.13 0.23 0.26 0.12 0.23 0.23 0.12 0.23 0.22 0.14 0.21 0.23 0.12 SET054+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET055+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET056+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET060+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET061+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET062+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET062+3 >600 segmf 0.09 >600 segmf 0.09 >600 >600 0.09 segmf segmf 0.09 >600 >600 0.08 SET062+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET063+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET063+3 >600 >600 5.56 >600 >600 5.52 >600 >600 5.53 0.44 segmf 5.61 >600 >600 5.54 SET063+4 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET573+3 0.19 0.18 0.11 0.16 0.19 0.10 0.17 0.17 0.09 0.19 0.22 0.11 0.16 0.19 0.12 SET574+3 0.12 0.14 0.07 0.13 0.16 0.06 0.12 0.17 0.06 0.14 0.17 0.06 0.15 0.16 0.09 SET575+3 0.12 0.14 0.06 0.11 0.10 0.08 0.13 0.11 0.07 0.14 0.15 0.09 0.12 0.17 0.08 SET576+3 0.14 0.16 0.09 0.17 0.18 0.10 0.17 0.17 0.10 0.17 0.17 0.10 0.20 0.19 0.10 SET577+3 >600 >600 >600 >600 >600 segmf >600 >600 >600 >600 >600 59.40 >600 >600 216.77 SET578+3 >600 >600 26.87 >600 >600 26.96 >600 >600 26.77 >600 >600 26.87 >600 >600 26.00 SET579+3 >600 >600 6.68 >600 >600 5.43 >600 >600 5.43 >600 >600 6.34 >600 >600 7.49 SET580+3 >600 >600 99.76 >600 >600 99.33 >600 >600 98.88 >600 >600 89.08 >600 >600 90.22 SET581+3 >600 >600 24.57 >600 >600 24.63 >600 >600 24.66 >600 >600 24.63 >600 >600 24.64 SET582+3 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET583+3 1.17 1.17 0.76 1.20 1.19 0.79 1.17 1.16 0.79 1.20 1.20 0.81 1.18 1.22 0.79 SET900+1 22.34 22.27 25.48 22.26 22.30 21.86 22.29 22.36 21.91 22.28 22.32 22.58 22.26 22.30 21.87 SET901+1 488.04 487.62 485.98 488.27 487.09 486.73 490.80 489.39 486.08 488.56 489.77 495.90 487.37 488.13 498.64 SET902+1 >600 >600 171.54 >600 >600 171.74 >600 >600 173.10 >600 >600 171.95 >600 >600 176.91 SET903+1 >600 >600 504.48 >600 >600 502.57 >600 >600 501.99 >600 >600 502.48 >600 >600 502.14 SET904+1 213.15 213.09 211.64 212.84 212.88 212.27 213.20 213.38 212.21 212.98 212.81 211.80 214.79 212.42 220.79 SET906+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET907+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET908+1 >600 >600 163.41 >600 >600 161.62 >600 >600 161.45 >600 >600 164.99 >600 >600 161.36 SET909+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET910+1 9.33 9.33 8.97 9.24 9.33 8.71 9.36 9.34 8.78 9.31 9.32 9.07 9.31 9.28 8.81 SET911+1 11.84 11.82 11.57 11.81 11.95 11.27 11.84 11.88 11.41 11.88 11.86 11.40 11.83 11.97 11.35 SET912+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET913+1 0.12 0.13 0.08 0.15 0.15 0.07 0.13 0.12 0.07 0.10 0.14 0.07 0.12 0.13 0.08 SET914+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET915+1 0.12 0.13 0.08 0.10 0.14 0.09 0.12 0.12 0.09 0.13 0.15 0.08 0.11 0.15 0.07 SET916+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 SET917+1 >600 >600 100.98 >600 >600 98.69 >600 >600 98.82 segmf >600 99.51 >600 >600 98.89 SET918+1 >600 >600 453.22 >600 >600 453.06 >600 >600 452.68 >600 >600 453.80 >600 >600 454.10 SET919+1 >600 >600 >600 >600 >600 >600 >600 0.62 >600 >600 >600 >600 >600 >600 >600 SET920+1 >600 >600 111.81 >600 >600 112.18 >600 >600 111.75 >600 >600 111.94 >600 >600 111.85 SET921+1 >600 >600 15.65 >600 >600 15.60 >600 >600 15.39 segmf >600 15.43 >600 >600 15.46 SET923+1 >600 >600 7.40 >600 >600 7.47 segmf >600 7.38 >600 segmf 7.43 >600 >600 7.44 SET924+1 3.65 3.75 3.13 3.62 3.67 3.12 3.69 3.67 3.09 3.66 3.71 3.13 3.63 3.66 3.15 SET925+1 4.40 4.46 3.92 4.42 4.48 3.91 4.50 4.44 3.87 4.44 4.68 3.92 4.40 4.45 3.86 SET926+1 5.35 5.51 4.76 5.40 5.39 4.79 5.48 5.43 4.75 5.46 5.43 4.78 5.41 5.41 4.77 NLP001+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 NLP002+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 NLP003+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 NLP004+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 NLP005+1 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600 >600