# HG changeset patch # User Noah Evans # Date 1307807864 0 # Node ID 66071a74d51ae482f43b065eceb5a43a27cbc0fc # Parent 2c893c82f4ebd317f706773787f6a446d90bad75 added bltj abstract diff -r 2c893c82f4eb -r 66071a74d51a doc/papers/nix/bltj.ms --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/papers/nix/bltj.ms Sat Jun 11 15:57:44 2011 +0000 @@ -0,0 +1,83 @@ +.TL +High Performance Cloud Computing is Nix +.AU +Francisco J. Ballesteros +Noah Evans +Charles Forsyth +Gorka Guardiola +Jim McKie +Ron Minnich +Enrique Soriano +.AI +.AW +.SH +Abstract +.LP +Cloud computing uses virtualisation on shared hardware to provide each +user with the appearance of having a private system of their choosing +running on dedicated hardware. Virtualisation enables the dynamic +provisioning of resources with demand, and the possibilities of entire +system backup, migration, and persistence; for many tasks, the +flexibility of this approach, coupled with its cost, management, and +energy reductions, are compelling. +.PP +However, certain types of tasks — such as compute-intensive parallel +computations — are not trivial to implement as cloud applications. +For instance HPC tasks consist of highly interrelated subproblems +where synchronization and work allocation happen at fixed intervals. +Interrupts from the hypervisor and the operating system add “noise” +and, thereby, random latency to tasks, slowing down all the other +tasks by making them wait such slowed-down tasks finish. The effect +may cascade and seriously disrupt the regular flow of a computation. +.PP +To avoid latency issues, HPC tasks are performed on heavily customized +hardware that provides bounded latency. Unlike cloud systems, these +systems are typically not time-shared; instead of the illusion of +exclusivity, individual users are given fully private allocations for +their task running as a single-user system. However programming for +single user systems is difficult, users prefer programming +environments that mimic the time-sharing environment of their desktop. +This desire leads to conflicting constraints between the desire for a +convenient and productive programming environment and the goal of +maximum performance. This conflict has lead to an evolution of HPC +operating systems towards providing the full capabilities of a +commodity time-sharing operating system, the IBM Compute Node Kernel, +a non-Linux HPC kernel, has changed in the last ten years to become +more and more like Linux. On the other hand, Linux systems for HPC +are increasingly pared down to the minimal subset of capabilities in +order to avoid timesharing degradation at the cost of compatiblity +with the current Linux source tree. This convergent evolution has +lead to an environment where HPC kernels sacrifice performance for +compatiblity with commodity systems while Commodity systems sacrifice +compatibility for performance, leaving both issues fundamentally +unresolved. +.PP +We offer a solution that bridges this gap between performance and expressivity, +providing bounded latency and maximum computing power on one hand and +the rich programming environment of a commodity OS on the other. +Based on the reality of coming many-core processors, we provide an +environment in which users can be given dedicated, non-preemptable +cores on which to run; and in which, at the same time, all the +services of a full-fledged operating system are available, this allows +us to take the lessons of HPC computing, bounded latency and exclusive +use, and apply them to cloud computing. As an example of this +approach we present NIX, a prototype operating system for future +manycore CPUs. Influenced by our work in High Performance computing, +both on Blue Gene and more traditional clusters, NIX features a +heterogeneous CPU model and a change from the traditional Unix memory +model of separate virtual address spaces. NIX partitions cores by +function: Timesharing Cores, or TCs; Application Cores, or ACs; and +Kernel Cores, or KCs. There is always at least one TC, and it runs +applications in the traditional model. KCs are cores created to run +kernel functions on demand. ACs are entirely turned over to running +an application, with no interrupts; not even clock interrupts. Unlike +traditional HPC Light Weight Kernels, the number of TCs, KCs, and ACs +can change as needs change. Unlike traditional operating systems, +applications can access services by sending a message to the TC +kernel, rather than by a system call trap. Control of ACs is managed +by means of intercore-calls. NIX takes advantage of the shared-memory +nature of manycore CPUs, and passes pointers to both data and code to +coordinate among cores. +.PP +The full paper presents a description and benchmark evaluation of NIX +under standard HPC workloads. diff -r 2c893c82f4eb -r 66071a74d51a doc/papers/nix/results/nixcalls --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/papers/nix/results/nixcalls Sat Jun 11 15:57:44 2011 +0000 @@ -0,0 +1,136 @@ +A program creating 50 threads, each one making 500 system calls +that are a nop: + +6.nc -s -> using syscalls +6.nc -n -> using nixcalls +T .... -> in TC +T -c n .... -> in AC + +;; +;; +;; time T -c 8 6.nc -s + 6.nc=2 [6.nc nicc 25267 tctime 672 actime 149322] + nix=20.01u 0.11s 0.20r T -c 8 6.nc -s ... +;; time T -c 9 6.nc -s + 6.nc=2 [6.nc nicc 25267 tctime 3891 actime 133053] + nix=20.00u 0.08s 0.20r T -c 9 6.nc -s ... +;; time T -c 10 6.nc -n + 6.nc=143 [6.nc nicc 408 tctime 1219 actime 4013] + nix=2790.00u 0.01s 0.03r T -c 10 6.nc -n ... +;; time T -c 11 6.nc -n + 6.nc=147 [6.nc nicc 413 tctime 1226 actime 4137] + nix=2910.00u 0.03s 0.04r T -c 11 6.nc -n ... +;; time T 6.nc -s + nix=9980.00u 0.00s 0.02r T 6.nc -s +;; time T 6.nc -s + nix=9990.00u 0.01s 0.01r T 6.nc -s +;; time T 6.nc -n +0.00u 0.00s 0.06r T 6.nc -n +;; nix=22831time T 6.nc -n +0.01u 0.00s 0.06r T 6.nc -n +;; nix=20953 + + +init: starting /bin/rc +/* + !6c -FVTw nc.c && 6l -o 6.nc nc.6 + */ + + +#include +#include + +static int dosyscall; +extern int sysr1(void); + +void +thr(int , void *[]) +{ + int i, n; + + for(i = 0; i < 500; i++){ + if(dosyscall) + n = sysr1(); + else + n = tsyscall(gettid(), gettid()); + USED(n); + if(0)print("t%d: rc %d\n", gettid(), n); + } +} + +void +thrmain(int argc, void *argv[]) +{ + int i, id; + + for(i = 0; i < 50; i++){ + if(0)print("t%d: arg[%d] = %s\n", gettid(), i, argv[i]); + id = newthr("thr", thr, argc, argv); + USED(id); + if(0)print("t%d: newthr %d\n", gettid(), id); + } +} + +void +main(int argc, char *argv[]) +{ + ARGBEGIN{ + case 's': + dosyscall = 1; + break; + case 'n': + dosyscall = 0; + break; + }ARGEND; + + nixsyscall(); + newthr("thrmain", thrmain, argc, argv); + sysfatal("newthr returns"); +} + + +DONT TAKE THESE TOO SERIOUSLY: + +The time to print in the console is likely to make them false (or is it not?) + +Each process eating its full quantum prints its name: + lc >/tmp/x + rc rc lc;; +;; pwd +/sys/src/9kronsc +;; cd k8 +;; mk clean >/tmp/f >[2=1] + rc rc rc rc rc rc mk rc rc rc mk rc rc rc mk #l0t etherread4 ls ls #l0t sed sed rc rc mk rc rc rc mk rc rc mk;; +;; mk >/tmp/f > cs[2=1] + rc rc mk mk mk rc mk mk #l0t etherread4 rc etherread4 mk etherread4 rc mk mk rc mk mk mk etherread4 mk mk etherread4 mk rc rc etherread4 rc etherread4 rc etherread4 mk mk etherread4 rc etherread4 rc rc mk rc mk mk etherread4 rc etherread4 rc etherread4 mk rc rc etherread4 #l0t mk rc mk etherread4 mk etherread4 rc etherread4 rc rc etherread4 awk rc rc mk etherread4 #l0t rc rc rc rc rc etherread4 rc etherread4 rc etherread4 rc etherread4 rc etherread4 6a etherread4 awk rc rc 6a 6c rc 6a rc rc rc rc 6c 6c 6c 6a 6c 6a rc 6c 6c 6c rc 6c rc rc mk 6c rc rc 6c 6c 6c etherread4 6c 6c 6c 6c 6c etherread4 #l0t etherread4 etherread4 6c 6c 6c 6c etherread4 6c 6c etherread4 #l0t 6c 6c 6c 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c etherread4 6c etherread4 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c etherread4 6c 6c 6c etherread4 6c etherread4 6c etherread4 6c etherread4 6c 6c 6c 6c 6c etherread4 6c 6c etherread4 6c 6c 6c 6c etherread4 6c 6c etherread4 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c etherread4 6c 6c 6c etherread4 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c 6c etherread4 #l0t 6c 6c 6c etherread4 6c 6c 6c 6c 6c rc 6c 6c 6c etherread4 6c etherread4 6c rc 6c 6c 6c 6c 6c 6c rc 6c rc 6c 6c 6c rc rc rc rc rc rc 6c rc rc rc 6c 6c 6c 6c rc rc 6c 6c 6c rc mk;; ;; + +each process prints how many quanta fully consumed before exiting, +if that number is not 0. +;; mk >/tmp/f + 6a=2 6a=2 rc=1mk: no recipe to make 'random.6' in directory /sys/src/9kronsc/k8 + rc=1 awk=2 awk=5 awk=4 rc=4 rc=1 6c=3 rc=5 6c=6 6c=14 rc=2 rc=3 6c=6 rc=1 6c=9 rc=5 6c=14 rc=2 6c=12 6c=16 6c=19 rc=6 6c=14 rc=5 6c=8 6c=16 rc=4 rc=1 6c=7 rc=6 mk=8;; + +lc in k8 dir: + +ls=19, mc=3 lc=1;; ;; + + +And these are for those process that got NO +interrupt at all in its quanta. +Again, full # of quanta where that happen. +Those with number 1 could be because of their last quantum. + +;; lc +386 boot k8 libtube port test.old +9kron include libc man root w +TODO ip libseg mk test words +;; +;; pwd +/sys/src/9kron +;; cd k8 +;; mk clean >/tmp/f + mk=1;; +;; mk >/tmp/f +mk: no recipe to make 'kbd.6' in directory /sys/src/9kron/k8 + awk=2 rc=1 rc=1 6c=1 rc=1 rc=1 rc=1 6c=1 6c=1 rc=1 mk=1;; +;; ;; diff -r 2c893c82f4eb -r 66071a74d51a doc/papers/nix/results/strid3.ac.ppfix.out.grap --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/papers/nix/results/strid3.ac.ppfix.out.grap Sat Jun 11 15:57:44 2011 +0000 @@ -0,0 +1,1026 @@ +1 1.0000000e+00 +1 1.0170293e+00 +2 1.0168454e+00 +3 1.0168270e+00 +4 1.0168454e+00 +5 1.0168270e+00 +6 1.0168270e+00 +7 1.0168454e+00 +8 1.0168454e+00 +9 1.0168270e+00 +10 1.0168454e+00 +11 1.0168454e+00 +12 1.0168270e+00 +13 1.0168454e+00 +14 1.0168454e+00 +15 1.0262611e+00 +16 1.0168270e+00 +17 1.3877926e+00 +18 1.0168454e+00 +19 1.0168454e+00 +20 1.0168454e+00 +21 1.8830204e+00 +22 1.5911507e+00 +23 1.3397944e+00 +24 1.0488626e+00 +25 1.8547915e+00 +26 1.0168454e+00 +27 1.0545083e+00 +28 1.0168454e+00 +29 1.0168454e+00 +30 1.0657999e+00 +31 1.0168637e+00 +32 1.0582783e+00 +33 3.1794509e+00 +34 1.4763043e+00 +35 1.7173253e+00 +36 1.0168637e+00 +37 1.0262611e+00 +38 1.0168637e+00 +39 3.8588925e+00 +40 1.0262795e+00 +41 1.0168637e+00 +42 2.1174761e+00 +43 1.0262795e+00 +44 4.0610920e+00 +45 4.7904997e+00 +46 3.7986833e+00 +47 1.2597790e+00 +48 1.0168637e+00 +49 1.0168637e+00 +50 1.0168637e+00 +51 1.1552679e+00 +52 1.0168637e+00 +53 1.0168637e+00 +54 1.0168637e+00 +55 2.4531144e+00 +56 1.0168637e+00 +57 1.0168821e+00 +58 1.0168637e+00 +59 1.0168637e+00 +60 1.0262795e+00 +61 1.0168637e+00 +62 1.0168637e+00 +63 4.4287658e+00 +64 4.9945565e+00 +65 4.5305184e+00 +66 3.9967633e+00 +67 1.0399617e+00 +68 1.3944315e+00 +69 1.5681262e+00 +70 1.4405539e+00 +71 1.1204369e+00 +72 1.0168821e+00 +73 1.0168637e+00 +74 2.4620520e+00 +75 1.0168637e+00 +76 1.0696066e+00 +77 1.0168821e+00 +78 3.9498869e+00 +79 1.0168821e+00 +80 1.0168637e+00 +81 1.0262795e+00 +82 1.0168637e+00 +83 1.0696066e+00 +84 1.1628078e+00 +85 1.6493922e+00 +86 1.3617154e+00 +87 1.6929032e+00 +88 1.0169189e+00 +89 5.0557773e+00 +90 4.5975872e+00 +91 4.9025139e+00 +92 2.3180573e+00 +93 3.2793277e+00 +94 1.0168821e+00 +95 1.0262979e+00 +96 1.0583151e+00 +97 1.0168821e+00 +98 1.4085551e+00 +99 1.0272358e+00 +100 1.0168821e+00 +101 1.0168821e+00 +102 1.1232690e+00 +103 1.0168821e+00 +104 1.0168821e+00 +105 4.4348714e+00 +106 1.0168821e+00 +107 1.0168821e+00 +108 1.0168821e+00 +109 1.0526693e+00 +110 1.2409475e+00 +111 1.0262979e+00 +112 1.0168821e+00 +113 1.0244221e+00 +114 1.0168821e+00 +115 1.0168637e+00 +116 1.0168821e+00 +117 4.4828328e+00 +118 1.3774574e+00 +119 1.0780845e+00 +120 1.0262795e+00 +121 1.0262795e+00 +122 1.0168637e+00 +123 1.0168637e+00 +124 2.2653144e+00 +125 1.0272174e+00 +126 3.2269526e+00 +127 1.0281737e+00 +128 4.9586774e+00 +129 1.0856244e+00 +130 4.1808301e+00 +131 1.0168637e+00 +132 5.0754547e+00 +133 3.7179690e+00 +134 2.0002759e+00 +135 4.5691745e+00 +136 1.0168637e+00 +137 1.0168821e+00 +138 3.2613421e+00 +139 1.0168821e+00 +140 1.0168821e+00 +141 1.7983155e+00 +142 1.0262795e+00 +143 1.0168821e+00 +144 1.0168637e+00 +145 1.9884878e+00 +146 1.0168637e+00 +147 1.2635489e+00 +148 1.0168637e+00 +149 2.4404252e+00 +150 1.0262795e+00 +151 1.5808338e+00 +152 1.0168821e+00 +153 1.0262795e+00 +154 1.3030877e+00 +155 1.8632878e+00 +156 3.5311621e+00 +157 1.0168821e+00 +158 1.0168637e+00 +159 1.2240102e+00 +160 1.0582967e+00 +161 1.3708737e+00 +162 1.0168637e+00 +163 1.3727495e+00 +164 1.0168821e+00 +165 1.0168637e+00 +166 3.3009544e+00 +167 1.0168637e+00 +168 1.0168821e+00 +169 1.0168637e+00 +170 1.0168637e+00 +171 1.0168821e+00 +172 1.0168821e+00 +173 1.0168637e+00 +174 1.0262795e+00 +175 1.0168821e+00 +176 1.0168637e+00 +177 1.0168637e+00 +178 4.3372566e+00 +179 1.0168821e+00 +180 3.7790794e+00 +181 1.3558122e+00 +182 4.5359987e+00 +183 1.0168821e+00 +184 1.0168637e+00 +185 2.0967872e+00 +186 1.0168637e+00 +187 1.0168637e+00 +188 1.0168637e+00 +189 2.1532817e+00 +190 1.7860676e+00 +191 1.2456553e+00 +192 4.9945014e+00 +193 1.0168821e+00 +194 1.0168637e+00 +195 4.8076576e+00 +196 1.0168821e+00 +197 1.0168637e+00 +198 1.0262795e+00 +199 1.1938871e+00 +200 1.0168637e+00 +201 1.0168821e+00 +202 1.0168821e+00 +203 1.0168821e+00 +204 1.0262795e+00 +205 1.0168821e+00 +206 1.0168821e+00 +207 1.0168821e+00 +208 1.0168637e+00 +209 2.1099546e+00 +210 3.8659360e+00 +211 1.0168821e+00 +212 1.0347757e+00 +213 1.0356952e+00 +214 2.7153024e+00 +215 1.0168821e+00 +216 1.0168821e+00 +217 3.6144694e+00 +218 1.0168821e+00 +219 1.0168821e+00 +220 1.0168821e+00 +221 1.0168637e+00 +222 1.0168821e+00 +223 1.0262979e+00 +224 1.0582967e+00 +225 3.3489895e+00 +226 1.0168637e+00 +227 1.0168637e+00 +228 1.0262979e+00 +229 1.0168821e+00 +230 1.0168821e+00 +231 1.0168637e+00 +232 1.0168821e+00 +233 1.0168821e+00 +234 3.9898486e+00 +235 4.1316733e+00 +236 1.2211965e+00 +237 2.7708774e+00 +238 1.0262979e+00 +239 1.0168821e+00 +240 1.0168821e+00 +241 4.7306766e+00 +242 1.0168637e+00 +243 1.5732939e+00 +244 1.0168821e+00 +245 1.2541332e+00 +246 1.0168821e+00 +247 2.8377255e+00 +248 1.0168821e+00 +249 1.0168821e+00 +250 2.2841275e+00 +251 1.0168821e+00 +252 1.0281737e+00 +253 1.0262979e+00 +254 1.0281737e+00 +255 1.0319437e+00 +256 5.1560402e+00 +257 1.0168821e+00 +258 1.0611288e+00 +259 1.0168821e+00 +260 3.1956342e+00 +261 1.0169005e+00 +262 1.0168821e+00 +263 3.5625540e+00 +264 1.0470236e+00 +265 2.4499697e+00 +266 4.6397558e+00 +267 3.9075528e+00 +268 4.2113945e+00 +269 1.2504000e+00 +270 2.9856005e+00 +271 1.0169005e+00 +272 1.0168821e+00 +273 5.3920224e+00 +274 1.0169005e+00 +275 1.0168821e+00 +276 1.0169005e+00 +277 1.0168821e+00 +278 1.0168821e+00 +279 1.0169005e+00 +280 1.0168821e+00 +281 1.0168821e+00 +282 1.0169005e+00 +283 1.0168821e+00 +284 1.0168821e+00 +285 1.0169005e+00 +286 1.0168821e+00 +287 1.1364548e+00 +288 1.0583151e+00 +289 1.0168821e+00 +290 1.5921437e+00 +291 1.6326388e+00 +292 1.0169005e+00 +293 2.2653328e+00 +294 1.2456737e+00 +295 1.0168821e+00 +296 1.0168821e+00 +297 1.0262979e+00 +298 1.0168821e+00 +299 3.5330011e+00 +300 1.0262979e+00 +301 1.0169005e+00 +302 1.2833183e+00 +303 1.0263163e+00 +304 1.0168821e+00 +305 3.0929069e+00 +306 1.0168821e+00 +307 1.0169005e+00 +308 1.0168821e+00 +309 1.0168821e+00 +310 1.5582507e+00 +311 1.4000772e+00 +312 1.0262979e+00 +313 1.0263163e+00 +314 1.0168821e+00 +315 4.8163746e+00 +316 1.0263163e+00 +317 1.0168821e+00 +318 1.0263163e+00 +319 1.0262979e+00 +320 4.9945197e+00 +321 1.0168821e+00 +322 1.0168821e+00 +323 1.0262979e+00 +324 1.0281921e+00 +325 2.6204278e+00 +326 1.0169005e+00 +327 1.0780845e+00 +328 1.0168821e+00 +329 1.0940839e+00 +330 2.2709601e+00 +331 2.9563602e+00 +332 1.0168821e+00 +333 3.8912224e+00 +334 1.0168821e+00 +335 1.0169005e+00 +336 1.0168821e+00 +337 1.0281921e+00 +338 1.0168821e+00 +339 1.0253784e+00 +340 1.0168821e+00 +341 1.6072053e+00 +342 1.0168821e+00 +343 1.0592714e+00 +344 1.0168821e+00 +345 1.3285212e+00 +346 1.0169005e+00 +347 1.6975927e+00 +348 2.3142689e+00 +349 1.1496405e+00 +350 1.0168821e+00 +351 2.9572797e+00 +352 1.0583151e+00 +353 1.8623683e+00 +354 2.7134818e+00 +355 2.5289369e+00 +356 1.0244221e+00 +357 1.1505784e+00 +358 1.0263163e+00 +359 1.0168821e+00 +360 1.0394836e+00 +361 1.0846865e+00 +362 1.0262979e+00 +363 2.0064182e+00 +364 4.3657796e+00 +365 2.7718337e+00 +366 1.0168821e+00 +367 1.0169005e+00 +368 1.0168821e+00 +369 2.0958493e+00 +370 1.4368023e+00 +371 1.0168821e+00 +372 1.0281921e+00 +373 1.4019714e+00 +374 1.4339702e+00 +375 1.0262979e+00 +376 1.0169005e+00 +377 1.0168821e+00 +378 1.2823988e+00 +379 1.0168821e+00 +380 1.0168821e+00 +381 4.3698623e+00 +382 1.4819869e+00 +383 1.0263163e+00 +384 4.9569855e+00 +385 1.0169005e+00 +386 1.0168821e+00 +387 1.0658550e+00 +388 1.5827280e+00 +389 1.5262519e+00 +390 4.4767825e+00 +391 1.0169005e+00 +392 1.0168821e+00 +393 1.0263163e+00 +394 1.0262979e+00 +395 1.0169005e+00 +396 1.0262979e+00 +397 1.1713040e+00 +398 1.0799603e+00 +399 1.5394376e+00 +400 1.0168821e+00 +401 1.0281921e+00 +402 1.0169005e+00 +403 1.7503172e+00 +404 1.0168821e+00 +405 1.0262979e+00 +406 1.0262979e+00 +407 1.0168821e+00 +408 1.0169005e+00 +409 1.1383489e+00 +410 1.0168821e+00 +411 1.0169005e+00 +412 2.4149916e+00 +413 1.5761627e+00 +414 1.0168821e+00 +415 1.5996837e+00 +416 1.0526693e+00 +417 1.2814425e+00 +418 3.6429557e+00 +419 1.0263163e+00 +420 1.0168821e+00 +421 1.0169005e+00 +422 2.7059786e+00 +423 1.0168821e+00 +424 1.0262979e+00 +425 2.3557019e+00 +426 1.2870883e+00 +427 1.0169005e+00 +428 1.0253600e+00 +429 1.0169005e+00 +430 1.5243577e+00 +431 3.4855729e+00 +432 1.0169005e+00 +433 1.0168821e+00 +434 4.0906633e+00 +435 1.2419037e+00 +436 1.0169005e+00 +437 2.0402928e+00 +438 1.0169005e+00 +439 2.3189768e+00 +440 1.0168821e+00 +441 1.1797819e+00 +442 2.5138754e+00 +443 1.0169005e+00 +444 1.0168821e+00 +445 1.0272542e+00 +446 1.0262979e+00 +447 1.0169005e+00 +448 4.9945749e+00 +449 1.0169005e+00 +450 1.0168821e+00 +451 1.4255108e+00 +452 1.0244221e+00 +453 1.2739210e+00 +454 1.0169005e+00 +455 4.8776321e+00 +456 1.0169005e+00 +457 1.3548927e+00 +458 1.0168821e+00 +459 1.0244221e+00 +460 1.2616731e+00 +461 1.2814609e+00 +462 1.7842102e+00 +463 1.2202586e+00 +464 1.0168821e+00 +465 1.0263163e+00 +466 3.0589955e+00 +467 1.0583335e+00 +468 1.0281921e+00 +469 1.0244221e+00 +470 4.6480865e+00 +471 1.0169005e+00 +472 1.0168821e+00 +473 1.0169005e+00 +474 1.0263163e+00 +475 1.0169005e+00 +476 1.0168821e+00 +477 1.0169005e+00 +478 1.0168821e+00 +479 1.0169005e+00 +480 1.0583151e+00 +481 1.0169005e+00 +482 4.8021590e+00 +483 1.5676665e+00 +484 1.0169005e+00 +485 3.6248966e+00 +486 4.1597550e+00 +487 1.0169005e+00 +488 1.0169005e+00 +489 1.0168821e+00 +490 1.0169005e+00 +491 1.0262979e+00 +492 1.0169005e+00 +493 3.3084944e+00 +494 2.1626975e+00 +495 1.0263163e+00 +496 1.0169005e+00 +497 1.1289332e+00 +498 1.0168821e+00 +499 2.7876124e+00 +500 1.7540872e+00 +501 1.5977895e+00 +502 1.0168821e+00 +503 4.2281479e+00 +504 1.0262979e+00 +505 3.9879545e+00 +506 1.8143333e+00 +507 1.0169005e+00 +508 1.0281921e+00 +509 2.0770179e+00 +510 1.0319620e+00 +511 1.0168821e+00 +512 8.2685878e+00 +513 1.0169005e+00 +514 1.0262979e+00 +515 1.0169005e+00 +516 1.0169005e+00 +517 1.4942347e+00 +518 1.0169005e+00 +519 1.0168821e+00 +520 1.0169005e+00 +521 1.5394192e+00 +522 1.0169005e+00 +523 3.1832944e+00 +524 1.0168821e+00 +525 1.0169005e+00 +526 1.0263163e+00 +527 1.0244221e+00 +528 1.0169005e+00 +529 1.0168821e+00 +530 1.0169005e+00 +531 3.4528017e+00 +532 3.9232764e+00 +533 1.0244405e+00 +534 1.0168821e+00 +535 1.2362764e+00 +536 1.0263163e+00 +537 1.0263163e+00 +538 1.0168821e+00 +539 3.9243430e+00 +540 1.0168821e+00 +541 4.2575905e+00 +542 1.0168821e+00 +543 1.0168821e+00 +544 1.0536072e+00 +545 1.0272542e+00 +546 4.8676279e+00 +547 1.0168821e+00 +548 1.0169005e+00 +549 1.0169005e+00 +550 1.0168821e+00 +551 1.0168821e+00 +552 1.0263163e+00 +553 1.0168821e+00 +554 1.0168821e+00 +555 1.0169005e+00 +556 1.0169005e+00 +557 1.3633705e+00 +558 1.0168821e+00 +559 1.0169005e+00 +560 1.0169005e+00 +561 1.3520606e+00 +562 1.0169005e+00 +563 1.0272542e+00 +564 1.0169005e+00 +565 4.8397668e+00 +566 1.0169005e+00 +567 1.0263163e+00 +568 1.0169005e+00 +569 1.0168821e+00 +570 1.0168821e+00 +571 1.3784321e+00 +572 1.0169005e+00 +573 1.0281921e+00 +574 1.0168821e+00 +575 1.2917962e+00 +576 4.9945381e+00 +577 1.0451294e+00 +578 1.0263163e+00 +579 1.0169005e+00 +580 1.0281921e+00 +581 1.1129338e+00 +582 1.0168821e+00 +583 1.0169005e+00 +584 1.0169005e+00 +585 5.0023355e+00 +586 1.0169005e+00 +587 1.0168821e+00 +588 1.0168821e+00 +589 2.2822701e+00 +590 1.0169005e+00 +591 1.2259043e+00 +592 1.0169005e+00 +593 1.0263163e+00 +594 1.0262979e+00 +595 1.0169005e+00 +596 1.0169005e+00 +597 1.1279769e+00 +598 1.7380878e+00 +599 1.0225463e+00 +600 1.0168821e+00 +601 1.0262979e+00 +602 1.0168821e+00 +603 1.2268606e+00 +604 1.8086875e+00 +605 1.0169005e+00 +606 1.0168821e+00 +607 1.7093808e+00 +608 1.0583151e+00 +609 1.0169005e+00 +610 4.3315372e+00 +611 2.8349302e+00 +612 1.0169005e+00 +613 1.0169005e+00 +614 1.0262979e+00 +615 1.0169005e+00 +616 1.0169005e+00 +617 1.0733766e+00 +618 1.0169005e+00 +619 1.0169005e+00 +620 1.0262979e+00 +621 1.0263163e+00 +622 1.0169005e+00 +623 1.0169005e+00 +624 1.0168821e+00 +625 1.0169005e+00 +626 1.2051971e+00 +627 1.0281921e+00 +628 1.0263163e+00 +629 1.0169005e+00 +630 4.6758740e+00 +631 1.0262979e+00 +632 1.0263163e+00 +633 1.8510584e+00 +634 1.0262979e+00 +635 1.0169005e+00 +636 1.0244221e+00 +637 1.9762951e+00 +638 1.0366515e+00 +639 1.0404399e+00 +640 4.9618773e+00 +641 1.0169005e+00 +642 1.0168821e+00 +643 1.2701694e+00 +644 1.0169005e+00 +645 1.0244221e+00 +646 1.0263163e+00 +647 1.5318793e+00 +648 1.0168821e+00 +649 1.0169005e+00 +650 1.0169005e+00 +651 3.1870644e+00 +652 1.1816577e+00 +653 4.0284495e+00 +654 2.7110727e+00 +655 1.0169005e+00 +656 1.0169005e+00 +657 1.0262979e+00 +658 1.0168821e+00 +659 1.0169005e+00 +660 1.8840135e+00 +661 1.0169005e+00 +662 2.0883278e+00 +663 1.0168821e+00 +664 1.0169005e+00 +665 1.0169005e+00 +666 3.5641724e+00 +667 1.0263163e+00 +668 1.0856244e+00 +669 1.0169005e+00 +670 1.0169005e+00 +671 1.0169005e+00 +672 1.0583151e+00 +673 1.0169005e+00 +674 2.8103058e+00 +675 1.0169005e+00 +676 1.0169005e+00 +677 3.7915479e+00 +678 1.0169005e+00 +679 1.0262979e+00 +680 1.0169005e+00 +681 1.0470236e+00 +682 1.0291300e+00 +683 5.0617908e+00 +684 1.0168821e+00 +685 1.0169005e+00 +686 1.0169005e+00 +687 1.0263163e+00 +688 1.0169005e+00 +689 3.1917539e+00 +690 1.0169005e+00 +691 1.0169005e+00 +692 1.0169005e+00 +693 1.0263163e+00 +694 1.0169005e+00 +695 1.0169005e+00 +696 1.0168821e+00 +697 1.0423341e+00 +698 1.2409658e+00 +699 1.0169005e+00 +700 1.0169005e+00 +701 1.0169005e+00 +702 1.1656399e+00 +703 1.6090994e+00 +704 4.9945014e+00 +705 2.0869485e+00 +706 2.8933005e+00 +707 1.0272542e+00 +708 1.0169005e+00 +709 1.0244221e+00 +710 4.2672637e+00 +711 1.0168821e+00 +712 1.0169005e+00 +713 1.0169005e+00 +714 2.6654652e+00 +715 1.0169005e+00 +716 1.0263163e+00 +717 1.0169005e+00 +718 1.0168821e+00 +719 1.0169005e+00 +720 1.0168821e+00 +721 1.0169005e+00 +722 1.0169005e+00 +723 4.0974125e+00 +724 1.0262979e+00 +725 1.0281921e+00 +726 1.0169005e+00 +727 1.6383030e+00 +728 1.0262979e+00 +729 1.2362764e+00 +730 1.9715689e+00 +731 1.0169005e+00 +732 1.0169005e+00 +733 1.5676665e+00 +734 1.0168821e+00 +735 1.0169005e+00 +736 1.0583151e+00 +737 1.0169005e+00 +738 1.6928849e+00 +739 1.4914026e+00 +740 1.0169005e+00 +741 2.0732663e+00 +742 3.4537948e+00 +743 1.9969840e+00 +744 1.0168821e+00 +745 3.6184416e+00 +746 1.0262979e+00 +747 1.0168821e+00 +748 1.0244221e+00 +749 1.0206705e+00 +750 3.0604116e+00 +751 4.0983136e+00 +752 1.0168821e+00 +753 1.0169005e+00 +754 1.4688195e+00 +755 1.2023650e+00 +756 1.0169005e+00 +757 1.0263163e+00 +758 1.0169005e+00 +759 1.0169005e+00 +760 1.0168821e+00 +761 3.8446218e+00 +762 3.7931662e+00 +763 1.9358001e+00 +764 1.0282105e+00 +765 1.0564393e+00 +766 1.0404399e+00 +767 1.0169005e+00 +768 5.1560586e+00 +769 1.0498556e+00 +770 1.0168821e+00 +771 3.9605900e+00 +772 1.0169005e+00 +773 1.0169005e+00 +774 1.0169005e+00 +775 2.8916638e+00 +776 1.0366699e+00 +777 1.0169005e+00 +778 1.7700866e+00 +779 1.1270574e+00 +780 1.0169005e+00 +781 1.0846865e+00 +782 1.0366699e+00 +783 1.0169005e+00 +784 1.0169005e+00 +785 1.0263163e+00 +786 1.0169005e+00 +787 2.0397227e+00 +788 1.0169005e+00 +789 1.2419221e+00 +790 1.0168821e+00 +791 1.0168821e+00 +792 1.0169005e+00 +793 1.5987458e+00 +794 1.0168821e+00 +795 1.0168821e+00 +796 1.1383673e+00 +797 1.0169005e+00 +798 2.4545488e+00 +799 1.0262979e+00 +800 1.0583335e+00 +801 1.4594038e+00 +802 1.0169005e+00 +803 1.1684720e+00 +804 1.0169005e+00 +805 1.0169005e+00 +806 1.0169005e+00 +807 1.0263163e+00 +808 1.0169005e+00 +809 1.2720452e+00 +810 1.0169005e+00 +811 1.0263163e+00 +812 1.5347114e+00 +813 1.0169005e+00 +814 1.0263163e+00 +815 2.1504680e+00 +816 1.0169005e+00 +817 1.0169005e+00 +818 1.3050003e+00 +819 9.6059179e+00 +820 1.0169005e+00 +821 1.0169005e+00 +822 1.0169005e+00 +823 1.3690163e+00 +824 1.0263163e+00 +825 1.0169005e+00 +826 1.0169005e+00 +827 1.0169005e+00 +828 1.0169005e+00 +829 1.0169005e+00 +830 1.2014271e+00 +831 1.0169005e+00 +832 4.9945565e+00 +833 2.8377623e+00 +834 1.0169005e+00 +835 1.0169005e+00 +836 1.8604741e+00 +837 1.7371499e+00 +838 1.0263163e+00 +839 1.0168821e+00 +840 1.0168821e+00 +841 1.0169005e+00 +842 1.0169005e+00 +843 1.0169005e+00 +844 1.8435552e+00 +845 1.0169005e+00 +846 1.0545635e+00 +847 1.0169005e+00 +848 1.0169005e+00 +849 1.0262979e+00 +850 1.0244405e+00 +851 1.0169005e+00 +852 2.3820549e+00 +853 1.0168821e+00 +854 1.0169005e+00 +855 1.0169005e+00 +856 1.0263163e+00 +857 1.0169005e+00 +858 1.0263163e+00 +859 1.0263163e+00 +860 1.0263163e+00 +861 1.0262979e+00 +862 1.5225003e+00 +863 1.0169005e+00 +864 1.0592530e+00 +865 1.0169005e+00 +866 1.0169005e+00 +867 2.5487246e+00 +868 3.1954871e+00 +869 2.0845762e+00 +870 1.0281921e+00 +871 1.0169005e+00 +872 1.0733950e+00 +873 3.4318554e+00 +874 1.0169005e+00 +875 1.0169005e+00 +876 1.0169005e+00 +877 1.0169005e+00 +878 3.5627931e+00 +879 1.0922265e+00 +880 1.0169005e+00 +881 1.0169005e+00 +882 1.0168821e+00 +883 2.0854957e+00 +884 3.2881181e+00 +885 1.0263163e+00 +886 1.0169005e+00 +887 1.0244221e+00 +888 1.0169005e+00 +889 1.0169005e+00 +890 1.0169005e+00 +891 1.0169005e+00 +892 1.0169005e+00 +893 1.2249664e+00 +894 1.0169005e+00 +895 1.0168821e+00 +896 4.9589348e+00 +897 1.0169005e+00 +898 1.0169005e+00 +899 1.0272542e+00 +900 1.0169005e+00 +901 1.2136565e+00 +902 1.0169005e+00 +903 1.0168821e+00 +904 1.0169005e+00 +905 1.1157659e+00 +906 1.0168821e+00 +907 2.0271070e+00 +908 1.0169005e+00 +909 1.0169005e+00 +910 4.7876308e+00 +911 1.0912702e+00 +912 1.0169005e+00 +913 1.6279309e+00 +914 4.0303805e+00 +915 1.9292164e+00 +916 1.0169005e+00 +917 4.1053019e+00 +918 2.1090535e+00 +919 1.3869099e+00 +920 1.0169005e+00 +921 3.2402486e+00 +922 1.0263163e+00 +923 2.0402928e+00 +924 1.0168821e+00 +925 4.5334057e+00 +926 1.0169005e+00 +927 1.0244221e+00 +928 1.0583335e+00 +929 2.9902900e+00 +930 1.0169005e+00 +931 4.3384519e+00 +932 2.5002299e+00 +933 1.7437336e+00 +934 1.0263163e+00 +935 3.8382404e+00 +936 1.0262979e+00 +937 4.1636538e+00 +938 1.0244221e+00 +939 1.0620851e+00 +940 3.9418136e+00 +941 4.0277691e+00 +942 1.0169005e+00 +943 2.4685437e+00 +944 1.0169005e+00 +945 3.9589532e+00 +946 1.0263163e+00 +947 1.0169005e+00 +948 1.4047851e+00 +949 1.0169005e+00 +950 1.0169005e+00 +951 1.0169005e+00 +952 1.0169005e+00 +953 1.1336411e+00 +954 1.0263163e+00 +955 1.3097081e+00 +956 1.0169005e+00 +957 4.9476433e+00 +958 1.0169005e+00 +959 1.0169005e+00 +960 4.9945565e+00 +961 1.0263163e+00 +962 1.0169005e+00 +963 1.0169005e+00 +964 2.9799364e+00 +965 1.0169005e+00 +966 3.1963146e+00 +967 1.0169005e+00 +968 1.0169005e+00 +969 2.7040477e+00 +970 1.0244405e+00 +971 1.0169005e+00 +972 2.8480792e+00 +973 1.0272542e+00 +974 1.0169005e+00 +975 1.0169005e+00 +976 1.0168821e+00 +977 2.8385715e+00 +978 1.0169005e+00 +979 1.0263163e+00 +980 1.0169005e+00 +981 1.0169005e+00 +982 1.0169005e+00 +983 4.6854552e+00 +984 1.0169005e+00 +985 1.0169005e+00 +986 1.0169005e+00 +987 3.8106552e+00 +988 1.7898744e+00 +989 1.0272542e+00 +990 1.3558306e+00 +991 4.1135407e+00 +992 1.0583335e+00 +993 4.5058389e+00 +994 1.1053938e+00 +995 1.0781029e+00 +996 1.0168821e+00 +997 1.0169005e+00 +998 2.5920334e+00 +999 4.4498593e+00 +1000 1.0169005e+00 +1001 1.0169005e+00 +1002 1.0978539e+00 +1003 1.7399820e+00 +1004 1.0168821e+00 +1005 1.0169189e+00 +1006 3.4373172e+00 +1007 1.0263163e+00 +1008 1.0168821e+00 +1009 1.0168821e+00 +1010 3.1694834e+00 +1011 1.0263163e+00 +1012 1.0169005e+00 +1013 4.1313607e+00 +1014 1.0169005e+00 +1015 1.0169005e+00 +1016 1.0168821e+00 +1017 1.0169005e+00 +1018 1.0169005e+00 +1019 1.0244405e+00 +1020 1.0319620e+00 +1021 1.0169005e+00 +1022 1.0169005e+00 +1023 1.0715008e+00 +1024 1.1691873e+01 + diff -r 2c893c82f4eb -r 66071a74d51a doc/papers/nix/results/strid3.tc.ppfix.out.grap --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/papers/nix/results/strid3.tc.ppfix.out.grap Sat Jun 11 15:57:44 2011 +0000 @@ -0,0 +1,1025 @@ +1 1.0000000e+00 +1 1.0564204e+00 +2 1.0205734e+00 +3 1.0199293e+00 +4 1.0199293e+00 +5 1.0213279e+00 +6 1.0204814e+00 +7 1.0211071e+00 +8 1.0205182e+00 +9 1.0204998e+00 +10 1.0206654e+00 +11 1.0212727e+00 +12 1.0195797e+00 +13 1.0203894e+00 +14 1.0197637e+00 +15 1.0310625e+00 +16 1.0203342e+00 +17 1.3928821e+00 +18 1.0206654e+00 +19 1.0199477e+00 +20 1.0209598e+00 +21 1.8886681e+00 +22 1.5971808e+00 +23 1.3439145e+00 +24 1.0526848e+00 +25 1.8615436e+00 +26 1.0197637e+00 +27 1.0585183e+00 +28 1.0198925e+00 +29 1.0202606e+00 +30 1.0702219e+00 +31 1.0207942e+00 +32 1.0623459e+00 +33 3.1897979e+00 +34 1.4807331e+00 +35 1.7245593e+00 +36 1.0224136e+00 +37 1.0305289e+00 +38 1.0211807e+00 +39 3.8648743e+00 +40 1.0295352e+00 +41 1.0202974e+00 +42 2.1240109e+00 +43 1.0304185e+00 +44 4.0738839e+00 +45 4.8081962e+00 +46 3.8117294e+00 +47 1.2638291e+00 +48 1.0197269e+00 +49 1.0206286e+00 +50 1.0202790e+00 +51 1.1591955e+00 +52 1.0200766e+00 +53 1.0200213e+00 +54 1.0202238e+00 +55 2.4618527e+00 +56 1.0209230e+00 +57 1.0200950e+00 +58 1.0199477e+00 +59 1.0202606e+00 +60 1.0305841e+00 +61 1.0204262e+00 +62 1.0201134e+00 +63 4.0976225e+00 +64 5.0103419e+00 +65 4.5456369e+00 +66 4.0108756e+00 +67 1.0436679e+00 +68 1.3998933e+00 +69 1.5728902e+00 +70 1.4456774e+00 +71 1.1245630e+00 +72 1.0199109e+00 +73 1.0202422e+00 +74 2.4696183e+00 +75 1.0197821e+00 +76 1.0733503e+00 +77 1.0215303e+00 +78 3.9641898e+00 +79 1.0200950e+00 +80 1.0198925e+00 +81 1.0296824e+00 +82 1.0199661e+00 +83 1.0727798e+00 +84 1.1668875e+00 +85 1.0793309e+00 +86 1.0199109e+00 +87 1.6986493e+00 +88 1.0204446e+00 +89 5.0731294e+00 +90 4.6130985e+00 +91 4.9184425e+00 +92 2.3340326e+00 +93 3.3008354e+00 +94 1.0200950e+00 +95 1.0292591e+00 +96 1.0614258e+00 +97 1.0201318e+00 +98 1.4139340e+00 +99 1.0328291e+00 +100 1.0199661e+00 +101 1.0242354e+00 +102 1.1325310e+00 +103 1.0200766e+00 +104 1.0212543e+00 +105 4.4508299e+00 +106 1.0217879e+00 +107 1.0202422e+00 +108 1.0233521e+00 +109 1.0560524e+00 +110 1.2471569e+00 +111 1.0343013e+00 +112 1.0205734e+00 +113 1.0331236e+00 +114 1.0200766e+00 +115 1.0230577e+00 +116 1.0203158e+00 +117 4.5023555e+00 +118 1.3845276e+00 +119 1.0815391e+00 +120 1.0322219e+00 +121 1.0300136e+00 +122 1.0233521e+00 +123 1.0197637e+00 +124 2.2800044e+00 +125 1.0311361e+00 +126 3.2440654e+00 +127 1.0311913e+00 +128 4.9813588e+00 +129 1.0935188e+00 +130 4.2011888e+00 +131 1.0221744e+00 +132 5.0940341e+00 +133 3.7357109e+00 +134 2.0079865e+00 +135 4.5843178e+00 +136 1.0208862e+00 +137 1.0204998e+00 +138 3.2720180e+00 +139 1.0202790e+00 +140 1.0206838e+00 +141 1.8044974e+00 +142 1.0296824e+00 +143 1.0197637e+00 +144 1.0207206e+00 +145 1.9949395e+00 +146 1.0197637e+00 +147 1.2674543e+00 +148 1.0210335e+00 +149 2.4482905e+00 +150 1.0295168e+00 +151 1.5856060e+00 +152 1.0206286e+00 +153 1.0291855e+00 +154 1.3086195e+00 +155 1.8699901e+00 +156 3.5429134e+00 +157 1.0201134e+00 +158 1.0211071e+00 +159 1.2275220e+00 +160 1.0626035e+00 +161 1.3755291e+00 +162 1.0201318e+00 +163 1.3770380e+00 +164 1.0200582e+00 +165 1.0207390e+00 +166 3.3124655e+00 +167 1.0211071e+00 +168 1.0202422e+00 +169 1.0202422e+00 +170 1.0197637e+00 +171 1.0202606e+00 +172 1.0197637e+00 +173 1.0201134e+00 +174 1.0305657e+00 +175 1.0200950e+00 +176 1.0198925e+00 +177 1.0206102e+00 +178 4.3526002e+00 +179 1.0195429e+00 +180 3.7925914e+00 +181 1.3609547e+00 +182 4.5480476e+00 +183 1.0201134e+00 +184 1.0197637e+00 +185 2.0985794e+00 +186 1.0198189e+00 +187 1.0200950e+00 +188 1.0199293e+00 +189 2.1610173e+00 +190 1.7914688e+00 +191 1.2498436e+00 +192 5.0111516e+00 +193 1.0202606e+00 +194 1.0199109e+00 +195 4.8192926e+00 +196 1.0206102e+00 +197 1.0204446e+00 +198 1.0295352e+00 +199 1.1980788e+00 +200 1.0199109e+00 +201 1.0206286e+00 +202 1.0199477e+00 +203 1.0200766e+00 +204 1.0293880e+00 +205 1.0201318e+00 +206 1.0199477e+00 +207 1.0212727e+00 +208 1.0197453e+00 +209 2.1188583e+00 +210 3.8778109e+00 +211 1.0199109e+00 +212 1.0380001e+00 +213 1.0389202e+00 +214 2.7261602e+00 +215 1.0209782e+00 +216 1.0213463e+00 +217 3.6282617e+00 +218 1.0200950e+00 +219 1.1357330e+00 +220 1.5440543e+00 +221 1.3091531e+00 +222 1.0207942e+00 +223 1.0297008e+00 +224 1.0617202e+00 +225 3.3610835e+00 +226 1.0206470e+00 +227 1.0211255e+00 +228 1.0298480e+00 +229 1.0206286e+00 +230 1.0202238e+00 +231 1.0200766e+00 +232 1.0197453e+00 +233 1.0207942e+00 +234 4.0046741e+00 +235 4.1457804e+00 +236 1.2254058e+00 +237 2.7815686e+00 +238 1.0296456e+00 +239 1.0199845e+00 +240 1.0203894e+00 +241 4.7479114e+00 +242 1.0209046e+00 +243 1.5800670e+00 +244 1.0195797e+00 +245 1.2589894e+00 +246 1.0199477e+00 +247 2.8475949e+00 +248 1.0200950e+00 +249 1.0199109e+00 +250 2.2918553e+00 +251 1.0207574e+00 +252 1.0315962e+00 +253 1.0293143e+00 +254 1.0325715e+00 +255 1.0350190e+00 +256 5.1734938e+00 +257 1.0199293e+00 +258 1.0645725e+00 +259 1.0200950e+00 +260 3.2069118e+00 +261 1.0205550e+00 +262 1.0199109e+00 +263 3.5914946e+00 +264 1.0500902e+00 +265 2.4602333e+00 +266 4.6537117e+00 +267 3.9208899e+00 +268 4.2274852e+00 +269 1.2542049e+00 +270 2.9963564e+00 +271 1.0202422e+00 +272 1.0196533e+00 +273 5.4094071e+00 +274 1.0207206e+00 +275 1.0204998e+00 +276 1.0207390e+00 +277 1.0197453e+00 +278 1.0199293e+00 +279 1.0200766e+00 +280 1.0200397e+00 +281 1.0196901e+00 +282 1.0206102e+00 +283 1.0199477e+00 +284 1.0211439e+00 +285 1.0197453e+00 +286 1.0208310e+00 +287 1.1400942e+00 +288 1.0615730e+00 +289 1.0209230e+00 +290 1.5974752e+00 +291 1.6214162e+00 +292 1.0201502e+00 +293 2.2721836e+00 +294 1.2500092e+00 +295 1.0199109e+00 +296 1.0202238e+00 +297 1.0294800e+00 +298 1.0212543e+00 +299 3.5445512e+00 +300 1.0309889e+00 +301 1.0196717e+00 +302 1.2879541e+00 +303 1.0296824e+00 +304 1.0196349e+00 +305 3.1023518e+00 +306 1.0200582e+00 +307 1.0197637e+00 +308 1.0202606e+00 +309 1.0204078e+00 +310 1.5641861e+00 +311 1.4053771e+00 +312 1.0305289e+00 +313 1.0295168e+00 +314 1.0199477e+00 +315 4.8321740e+00 +316 1.0291671e+00 +317 1.0208126e+00 +318 1.0290015e+00 +319 1.0302160e+00 +320 5.0136911e+00 +321 1.0214383e+00 +322 1.0208126e+00 +323 1.0296824e+00 +324 1.0312281e+00 +325 2.6276913e+00 +326 1.0199661e+00 +327 1.0812999e+00 +328 1.0203894e+00 +329 1.0976777e+00 +330 2.2797836e+00 +331 2.9654043e+00 +332 1.0201318e+00 +333 3.9008134e+00 +334 1.0203526e+00 +335 1.0199109e+00 +336 1.0208678e+00 +337 1.0308785e+00 +338 1.0207390e+00 +339 1.0290567e+00 +340 1.0205366e+00 +341 1.6129881e+00 +342 1.0202790e+00 +343 1.0628059e+00 +344 1.0202054e+00 +345 1.3330941e+00 +346 1.0199293e+00 +347 1.7034154e+00 +348 2.3227706e+00 +349 1.1548342e+00 +350 1.0200582e+00 +351 2.9686982e+00 +352 1.0617202e+00 +353 1.8689964e+00 +354 2.7220198e+00 +355 2.5369512e+00 +356 1.0276582e+00 +357 1.1540061e+00 +358 1.0305473e+00 +359 1.0215671e+00 +360 1.0426926e+00 +361 1.0879246e+00 +362 1.0298296e+00 +363 2.0136359e+00 +364 4.3802400e+00 +365 2.7812189e+00 +366 1.0205550e+00 +367 1.0199109e+00 +368 1.0208494e+00 +369 2.1034927e+00 +370 1.4445181e+00 +371 1.0207574e+00 +372 1.0333076e+00 +373 1.4074197e+00 +374 1.4399176e+00 +375 1.0293511e+00 +376 1.0212543e+00 +377 1.0199293e+00 +378 1.2868868e+00 +379 1.0198925e+00 +380 1.0221560e+00 +381 4.3825402e+00 +382 1.4866402e+00 +383 1.0307129e+00 +384 4.9732987e+00 +385 1.0200766e+00 +386 1.0215671e+00 +387 1.0690810e+00 +388 1.5884767e+00 +389 1.5307313e+00 +390 4.4917743e+00 +391 1.0199109e+00 +392 1.0205550e+00 +393 1.0301608e+00 +394 1.0298112e+00 +395 1.0202238e+00 +396 1.0300136e+00 +397 1.1751316e+00 +398 1.0843730e+00 +399 1.5444960e+00 +400 1.0198741e+00 +401 1.0315778e+00 +402 1.0200950e+00 +403 1.7558610e+00 +404 1.0199477e+00 +405 1.0295352e+00 +406 1.0299400e+00 +407 1.0197269e+00 +408 1.0202974e+00 +409 1.1431489e+00 +410 1.0203158e+00 +411 1.0197637e+00 +412 2.4230430e+00 +413 1.5815575e+00 +414 1.0205734e+00 +415 1.6045600e+00 +416 1.0559236e+00 +417 1.2861139e+00 +418 3.6522211e+00 +419 1.0293327e+00 +420 1.0201134e+00 +421 1.0204630e+00 +422 2.7158551e+00 +423 1.0199477e+00 +424 1.0293695e+00 +425 2.3656472e+00 +426 1.2916713e+00 +427 1.0205366e+00 +428 1.0289463e+00 +429 1.0202422e+00 +430 1.5287439e+00 +431 3.4966140e+00 +432 1.0202054e+00 +433 1.0201318e+00 +434 4.1039895e+00 +435 1.2460896e+00 +436 1.0210887e+00 +437 2.0470170e+00 +438 1.0202606e+00 +439 2.3258805e+00 +440 1.0203894e+00 +441 1.1830628e+00 +442 2.5223768e+00 +443 1.0200766e+00 +444 1.0210703e+00 +445 1.0304553e+00 +446 1.0295904e+00 +447 1.0200766e+00 +448 5.0101211e+00 +449 1.0202238e+00 +450 1.0199293e+00 +451 1.4301277e+00 +452 1.0280998e+00 +453 1.2782562e+00 +454 1.0201686e+00 +455 4.8933422e+00 +456 1.0197453e+00 +457 1.3595009e+00 +458 1.0195797e+00 +459 1.0284679e+00 +460 1.2668286e+00 +461 1.2851754e+00 +462 1.7898679e+00 +463 1.2243384e+00 +464 1.0201502e+00 +465 1.0297008e+00 +466 3.0687498e+00 +467 1.0628611e+00 +468 1.0321851e+00 +469 1.0278054e+00 +470 4.6643112e+00 +471 1.0204446e+00 +472 1.0209046e+00 +473 1.0212175e+00 +474 1.0302160e+00 +475 1.0210519e+00 +476 1.0218615e+00 +477 1.0218247e+00 +478 1.0211255e+00 +479 1.0207574e+00 +480 1.0629163e+00 +481 1.0205366e+00 +482 4.8223842e+00 +483 1.5745096e+00 +484 1.0206654e+00 +485 3.6365242e+00 +486 4.1739354e+00 +487 1.0198925e+00 +488 1.0201134e+00 +489 1.0199109e+00 +490 1.0200766e+00 +491 1.0318906e+00 +492 1.0200766e+00 +493 3.3202311e+00 +494 2.1691877e+00 +495 1.0307129e+00 +496 1.0198925e+00 +497 1.1325126e+00 +498 1.0199293e+00 +499 2.7987008e+00 +500 1.7601671e+00 +501 1.6029038e+00 +502 1.0210703e+00 +503 4.2395753e+00 +504 1.0300136e+00 +505 3.9999264e+00 +506 1.8204336e+00 +507 1.0200950e+00 +508 1.0318906e+00 +509 2.0842994e+00 +510 1.0352030e+00 +511 1.0208862e+00 +512 8.2961982e+00 +513 1.0198741e+00 +514 1.0295168e+00 +515 1.0199109e+00 +516 1.0200950e+00 +517 1.4993375e+00 +518 1.0196533e+00 +519 1.0207574e+00 +520 1.0195981e+00 +521 1.5450480e+00 +522 1.0202606e+00 +523 3.1934599e+00 +524 1.0200582e+00 +525 1.0210519e+00 +526 1.0308601e+00 +527 1.0276214e+00 +528 1.0200397e+00 +529 1.0207758e+00 +530 1.0194877e+00 +531 3.4640978e+00 +532 3.9357219e+00 +533 1.0277686e+00 +534 1.0203158e+00 +535 1.2397777e+00 +536 1.0300320e+00 +537 1.0300320e+00 +538 1.0204262e+00 +539 3.9348570e+00 +540 1.0194877e+00 +541 4.2709506e+00 +542 1.0200397e+00 +543 1.0200582e+00 +544 1.0568621e+00 +545 1.0310257e+00 +546 4.8833867e+00 +547 1.0211439e+00 +548 1.0197269e+00 +549 1.0202606e+00 +550 1.0200766e+00 +551 1.0197453e+00 +552 1.0295352e+00 +553 1.0205918e+00 +554 1.0200950e+00 +555 1.0197821e+00 +556 1.0202054e+00 +557 1.3682971e+00 +558 1.0202606e+00 +559 1.0209046e+00 +560 1.0200397e+00 +561 1.3561518e+00 +562 1.0205734e+00 +563 1.0293327e+00 +564 1.0202974e+00 +565 4.8553421e+00 +566 1.0207758e+00 +567 1.0296824e+00 +568 1.0204262e+00 +569 1.0199661e+00 +570 1.0198189e+00 +571 1.3831107e+00 +572 1.0210703e+00 +573 1.0318906e+00 +574 1.0199293e+00 +575 1.2959773e+00 +576 5.0116853e+00 +577 1.0483420e+00 +578 1.0300688e+00 +579 1.0202606e+00 +580 1.0325715e+00 +581 1.1161901e+00 +582 1.0212543e+00 +583 1.0196717e+00 +584 1.0207022e+00 +585 5.0190828e+00 +586 1.0202974e+00 +587 1.0200950e+00 +588 1.0214015e+00 +589 2.2899415e+00 +590 1.0209414e+00 +591 1.2318833e+00 +592 1.0200397e+00 +593 1.0301056e+00 +594 1.0292775e+00 +595 1.0200766e+00 +596 1.0197637e+00 +597 1.1316109e+00 +598 1.7449671e+00 +599 1.0253947e+00 +600 1.0207574e+00 +601 1.0303817e+00 +602 1.0211255e+00 +603 1.2305215e+00 +604 1.8157594e+00 +605 1.0199293e+00 +606 1.0218063e+00 +607 1.7143278e+00 +608 1.0615546e+00 +609 1.0204262e+00 +610 4.3452026e+00 +611 2.8463803e+00 +612 1.0212727e+00 +613 1.0206470e+00 +614 1.0291671e+00 +615 1.0202790e+00 +616 1.0211807e+00 +617 1.0765890e+00 +618 1.0204446e+00 +619 1.0197453e+00 +620 1.0306761e+00 +621 1.0303080e+00 +622 1.0202606e+00 +623 1.0195797e+00 +624 1.0202054e+00 +625 1.0200950e+00 +626 1.2093776e+00 +627 1.0323875e+00 +628 1.0291855e+00 +629 1.0202238e+00 +630 4.6931103e+00 +631 1.0294984e+00 +632 1.0294984e+00 +633 1.8568879e+00 +634 1.0294800e+00 +635 1.0200766e+00 +636 1.0272165e+00 +637 1.9834750e+00 +638 1.0398955e+00 +639 1.0439807e+00 +640 4.9760222e+00 +641 1.0199293e+00 +642 1.0209046e+00 +643 1.2779986e+00 +644 1.0205918e+00 +645 1.0274373e+00 +646 1.0295168e+00 +647 1.5371720e+00 +648 1.0200582e+00 +649 1.0210519e+00 +650 1.0197085e+00 +651 3.1974716e+00 +652 1.1852895e+00 +653 4.0408892e+00 +654 2.7229951e+00 +655 1.0199109e+00 +656 1.0200397e+00 +657 1.0301976e+00 +658 1.0201686e+00 +659 1.0200950e+00 +660 1.8896066e+00 +661 1.0200766e+00 +662 2.0962975e+00 +663 1.0197453e+00 +664 1.0203710e+00 +665 1.0197637e+00 +666 3.5720805e+00 +667 1.0300504e+00 +668 1.0888631e+00 +669 1.0202422e+00 +670 1.0202606e+00 +671 1.0202422e+00 +672 1.0615730e+00 +673 1.0199293e+00 +674 2.8201943e+00 +675 1.0207022e+00 +676 1.0206102e+00 +677 3.8038902e+00 +678 1.0202238e+00 +679 1.0295168e+00 +680 1.0214199e+00 +681 1.0505318e+00 +682 1.0319274e+00 +683 5.0778403e+00 +684 1.0198741e+00 +685 1.0200029e+00 +686 1.0209598e+00 +687 1.0303080e+00 +688 1.0198741e+00 +689 3.2020169e+00 +690 1.0200766e+00 +691 1.0198925e+00 +692 1.0210519e+00 +693 1.0293327e+00 +694 1.0205918e+00 +695 1.0206102e+00 +696 1.0211439e+00 +697 1.0460417e+00 +698 1.2448014e+00 +699 1.0205918e+00 +700 1.0199109e+00 +701 1.0204446e+00 +702 1.1702551e+00 +703 1.6150675e+00 +704 5.0098267e+00 +705 2.0941445e+00 +706 2.9029112e+00 +707 1.0321666e+00 +708 1.0202790e+00 +709 1.0281182e+00 +710 4.2824151e+00 +711 1.0220456e+00 +712 1.0210703e+00 +713 1.0206470e+00 +714 2.6756468e+00 +715 1.0212543e+00 +716 1.0292039e+00 +717 1.0215487e+00 +718 1.0197637e+00 +719 1.0209782e+00 +720 1.0197269e+00 +721 1.0212359e+00 +722 1.0202422e+00 +723 4.1045600e+00 +724 1.0303633e+00 +725 1.0318906e+00 +726 1.0200950e+00 +727 1.6439402e+00 +728 1.0313938e+00 +729 1.2400721e+00 +730 1.9802731e+00 +731 1.0200582e+00 +732 1.0212543e+00 +733 1.5726694e+00 +734 1.0207390e+00 +735 1.0212543e+00 +736 1.0615362e+00 +737 1.0203894e+00 +738 1.6998822e+00 +739 1.4971477e+00 +740 1.0197453e+00 +741 2.0804166e+00 +742 3.4654227e+00 +743 2.0039932e+00 +744 1.0209046e+00 +745 3.6319789e+00 +746 1.0296824e+00 +747 1.0199109e+00 +748 1.0276214e+00 +749 1.0235361e+00 +750 3.0717493e+00 +751 4.1148099e+00 +752 1.0208678e+00 +753 1.0195245e+00 +754 1.4735196e+00 +755 1.2061389e+00 +756 1.0195797e+00 +757 1.0303817e+00 +758 1.0197269e+00 +759 1.0207574e+00 +760 1.0199293e+00 +761 3.8576423e+00 +762 3.8054359e+00 +763 1.9428803e+00 +764 1.0312097e+00 +765 1.0597144e+00 +766 1.0443304e+00 +767 1.0197453e+00 +768 5.1720032e+00 +769 1.0543042e+00 +770 1.0204078e+00 +771 3.9728019e+00 +772 1.0202422e+00 +773 1.0197453e+00 +774 1.0209230e+00 +775 2.9002797e+00 +776 1.0403923e+00 +777 1.0201134e+00 +778 1.7757352e+00 +779 1.1313717e+00 +780 1.0199661e+00 +781 1.0877406e+00 +782 1.0407236e+00 +783 1.0196165e+00 +784 1.0202054e+00 +785 1.0295168e+00 +786 1.0205918e+00 +787 2.0465386e+00 +788 1.0200582e+00 +789 1.2471201e+00 +790 1.0199477e+00 +791 1.0200766e+00 +792 1.0200766e+00 +793 1.6036399e+00 +794 1.0200766e+00 +795 1.0204078e+00 +796 1.1419528e+00 +797 1.0200766e+00 +798 2.4631224e+00 +799 1.0296640e+00 +800 1.0622539e+00 +801 1.4640793e+00 +802 1.0207942e+00 +803 1.1727761e+00 +804 1.0212727e+00 +805 1.0196901e+00 +806 1.0200582e+00 +807 1.0307313e+00 +808 1.0203894e+00 +809 1.2759560e+00 +810 1.0196717e+00 +811 1.0301424e+00 +812 1.5397667e+00 +813 1.0205734e+00 +814 1.0296640e+00 +815 2.1579257e+00 +816 1.0205366e+00 +817 1.0199109e+00 +818 1.3092452e+00 +819 9.6289978e+00 +820 1.0207022e+00 +821 1.0202422e+00 +822 1.0207390e+00 +823 1.3729528e+00 +824 1.0295168e+00 +825 1.0209046e+00 +826 1.0202606e+00 +827 1.0199293e+00 +828 1.0202974e+00 +829 1.0219352e+00 +830 1.2052924e+00 +831 1.0204262e+00 +832 5.0112068e+00 +833 2.8604026e+00 +834 1.0208862e+00 +835 1.0197637e+00 +836 1.8664385e+00 +837 1.7428140e+00 +838 1.0307129e+00 +839 1.0200766e+00 +840 1.0215119e+00 +841 1.0209230e+00 +842 1.0211991e+00 +843 1.0208862e+00 +844 1.8491222e+00 +845 1.0200950e+00 +846 1.0580030e+00 +847 1.0197269e+00 +848 1.0202054e+00 +849 1.0298664e+00 +850 1.0277870e+00 +851 1.0205734e+00 +852 2.3908027e+00 +853 1.0203710e+00 +854 1.0202974e+00 +855 1.0207390e+00 +856 1.0298480e+00 +857 1.0200582e+00 +858 1.0298480e+00 +859 1.0293327e+00 +860 1.0306761e+00 +861 1.0293327e+00 +862 1.5270141e+00 +863 1.0199109e+00 +864 1.0634500e+00 +865 1.0210887e+00 +866 1.0214383e+00 +867 2.5569357e+00 +868 3.2058629e+00 +869 2.0911266e+00 +870 1.0317066e+00 +871 1.0197637e+00 +872 1.0767362e+00 +873 3.4431379e+00 +874 1.0198373e+00 +875 1.0205918e+00 +876 1.0204262e+00 +877 1.0201502e+00 +878 3.5748776e+00 +879 1.0957639e+00 +880 1.0202054e+00 +881 1.0204078e+00 +882 1.0210887e+00 +883 2.0916970e+00 +884 3.2994001e+00 +885 1.0294800e+00 +886 1.0211807e+00 +887 1.0283022e+00 +888 1.0202790e+00 +889 1.0205918e+00 +890 1.0208310e+00 +891 1.0198557e+00 +892 1.0200950e+00 +893 1.2286445e+00 +894 1.0200950e+00 +895 1.0199293e+00 +896 4.9787641e+00 +897 1.0212175e+00 +898 1.0202238e+00 +899 1.0304369e+00 +900 1.0203710e+00 +901 1.2171433e+00 +902 1.0212727e+00 +903 1.0202606e+00 +904 1.0202238e+00 +905 1.1189872e+00 +906 1.0202606e+00 +907 2.0344853e+00 +908 1.0197637e+00 +909 1.0207390e+00 +910 4.8031725e+00 +911 1.0944941e+00 +912 1.0198925e+00 +913 1.6328438e+00 +914 4.0454161e+00 +915 1.9355011e+00 +916 1.0197085e+00 +917 4.1198520e+00 +918 2.1162085e+00 +919 1.3916676e+00 +920 1.0199477e+00 +921 3.2503036e+00 +922 1.0292039e+00 +923 2.0473299e+00 +924 1.0200582e+00 +925 4.5474035e+00 +926 1.0212543e+00 +927 1.0273085e+00 +928 1.0622539e+00 +929 2.9995768e+00 +930 1.0200950e+00 +931 4.3530602e+00 +932 2.5091090e+00 +933 1.7491259e+00 +934 1.0298664e+00 +935 3.8486990e+00 +936 1.0296272e+00 +937 4.1823635e+00 +938 1.0278054e+00 +939 1.0652902e+00 +940 3.9545655e+00 +941 4.0400979e+00 +942 1.0207390e+00 +943 2.4774944e+00 +944 1.0205366e+00 +945 3.9783225e+00 +946 1.0295168e+00 +947 1.0208494e+00 +948 1.4094991e+00 +949 1.0209046e+00 +950 1.0197637e+00 +951 1.0202238e+00 +952 1.0209598e+00 +953 1.1370579e+00 +954 1.0294984e+00 +955 1.3138640e+00 +956 1.0217143e+00 +957 4.9639689e+00 +958 1.0200950e+00 +959 1.0203894e+00 +960 5.0107099e+00 +961 1.0295536e+00 +962 1.0204998e+00 +963 1.0210887e+00 +964 2.9891980e+00 +965 1.0209230e+00 +966 3.2066542e+00 +967 1.0195797e+00 +968 1.0207206e+00 +969 2.7124508e+00 +970 1.0276582e+00 +971 1.0204262e+00 +972 2.8575135e+00 +973 1.0304737e+00 +974 1.0204078e+00 +975 1.0197637e+00 +976 1.0202238e+00 +977 2.8466196e+00 +978 1.0199109e+00 +979 1.0301792e+00 +980 1.0199293e+00 +981 1.0200766e+00 +982 1.0202606e+00 +983 4.7026057e+00 +984 1.0198741e+00 +985 1.0200950e+00 +986 1.0199293e+00 +987 3.8234883e+00 +988 1.7957565e+00 +989 1.0302896e+00 +990 1.3603474e+00 +991 4.1268816e+00 +992 1.0615546e+00 +993 4.5210151e+00 +994 1.1086268e+00 +995 1.0791285e+00 +996 1.0209046e+00 +997 1.0207942e+00 +998 2.5998491e+00 +999 4.4617975e+00 +1000 1.0200582e+00 +1001 1.0200766e+00 +1002 1.1017445e+00 +1003 1.7458688e+00 +1004 1.0204078e+00 +1005 1.0206102e+00 +1006 3.4487689e+00 +1007 1.0301608e+00 +1008 1.0200397e+00 +1009 1.0202238e+00 +1010 3.1791248e+00 +1011 1.0299584e+00 +1012 1.0197637e+00 +1013 4.1463693e+00 +1014 1.0202422e+00 +1015 1.0199109e+00 +1016 1.0197453e+00 +1017 1.0213831e+00 +1018 1.0197637e+00 +1019 1.0277686e+00 +1020 1.0343565e+00 +1021 1.0202422e+00 +1022 1.0198925e+00 +1023 1.0749880e+00 +1024 1.1729914e+01