Routine update of Figure 12.4. Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- CodeSamples/formal/data/RCU-test-ratio.eps | 1372 ++++++++++---------- CodeSamples/formal/data/rcu-test.dat | 5 +- 2 files changed, 706 insertions(+), 671 deletions(-) diff --git a/CodeSamples/formal/data/RCU-test-ratio.eps b/CodeSamples/formal/data/RCU-test-ratio.eps index ed7ad849dcc6..6a76a7247f0a 100644 --- a/CodeSamples/formal/data/RCU-test-ratio.eps +++ b/CodeSamples/formal/data/RCU-test-ratio.eps @@ -1,7 +1,7 @@ %!PS-Adobe-2.0 %%Title: RCU-test-ratio.eps %%Creator: gnuplot 5.2 patchlevel 8 -%%CreationDate: Wed Mar 23 11:07:11 2022 +%%CreationDate: Mon May 23 08:39:12 2022 %%DocumentFonts: (atend) %%BoundingBox: 50 50 453 230 %%Orientation: Portrait @@ -471,7 +471,7 @@ currentdict end definefont pop Blacktext {gsave 0 setgray MFshow grestore} {MFshow} ifelse } bind def /XYsave { [( ) 1 2 true false 3 ()] } bind def /XYrestore { [( ) 1 2 true false 4 ()] } bind def -%%BeginProcSet: /usr/local/texlive/2021/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb +%%BeginProcSet: /usr/local/texlive/2022/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb %!PS-AdobeFont-1.0: NimbusSanL-Regu 1.05a %%Title: NimbusSanL-Regu %%CreationDate: Thu Mar 20 10:08:51 2003 @@ -1872,7 +1872,7 @@ SDict begin [ /Creator (gnuplot 5.2 patchlevel 8) % /Producer (gnuplot) % /Keywords () - /CreationDate (Wed Mar 23 11:07:11 2022) + /CreationDate (Mon May 23 08:39:12 2022) /DOCINFO pdfmark end } ifelse @@ -1998,9 +1998,9 @@ stroke 1.000 UL LTb LCb setrgbcolor -585 512 M +584 512 M stroke -585 464 M +584 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.12)] ] -26.7 MRshow @@ -2009,21 +2009,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -618 512 M +617 512 M stroke LTb LCb setrgbcolor -652 512 M +651 512 M stroke LTb LCb setrgbcolor -685 512 M +684 512 M stroke LTb LCb setrgbcolor -719 512 M +717 512 M stroke -719 464 M +717 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.16)] ] -26.7 MRshow @@ -2032,21 +2032,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -752 512 M +750 512 M stroke LTb LCb setrgbcolor -786 512 M +783 512 M stroke LTb LCb setrgbcolor -819 512 M +816 512 M stroke LTb LCb setrgbcolor -853 512 M +850 512 M stroke -853 464 M +850 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.20)] ] -26.7 MRshow @@ -2055,21 +2055,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -887 512 M +883 512 M stroke LTb LCb setrgbcolor -920 512 M +916 512 M stroke LTb LCb setrgbcolor -954 512 M +949 512 M stroke LTb LCb setrgbcolor -987 512 M +982 512 M stroke -987 464 M +982 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.24)] ] -26.7 MRshow @@ -2078,21 +2078,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1021 512 M +1016 512 M stroke LTb LCb setrgbcolor -1054 512 M +1049 512 M stroke LTb LCb setrgbcolor -1088 512 M +1082 512 M stroke LTb LCb setrgbcolor -1121 512 M +1115 512 M stroke -1121 464 M +1115 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.28)] ] -26.7 MRshow @@ -2101,21 +2101,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1155 512 M +1148 512 M stroke LTb LCb setrgbcolor -1189 512 M +1181 512 M stroke LTb LCb setrgbcolor -1222 512 M +1215 512 M stroke LTb LCb setrgbcolor -1256 512 M +1248 512 M stroke -1256 464 M +1248 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.32)] ] -26.7 MRshow @@ -2124,21 +2124,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1289 512 M +1281 512 M stroke LTb LCb setrgbcolor -1323 512 M +1314 512 M stroke LTb LCb setrgbcolor -1356 512 M +1347 512 M stroke LTb LCb setrgbcolor -1390 512 M +1380 512 M stroke -1390 464 M +1380 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v2.6.36)] ] -26.7 MRshow @@ -2147,21 +2147,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1423 512 M +1414 512 M stroke LTb LCb setrgbcolor -1457 512 M +1447 512 M stroke LTb LCb setrgbcolor -1491 512 M +1480 512 M stroke LTb LCb setrgbcolor -1524 512 M +1513 512 M stroke -1524 464 M +1513 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v3.0)] ] -26.7 MRshow @@ -2170,21 +2170,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1558 512 M +1546 512 M stroke LTb LCb setrgbcolor -1591 512 M +1580 512 M stroke LTb LCb setrgbcolor -1625 512 M +1613 512 M stroke LTb LCb setrgbcolor -1658 512 M +1646 512 M stroke -1658 464 M +1646 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v3.4)] ] -26.7 MRshow @@ -2193,21 +2193,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1692 512 M +1679 512 M stroke LTb LCb setrgbcolor -1725 512 M +1712 512 M stroke LTb LCb setrgbcolor -1759 512 M +1745 512 M stroke LTb LCb setrgbcolor -1793 512 M +1779 512 M stroke -1793 464 M +1779 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v3.8)] ] -26.7 MRshow @@ -2216,21 +2216,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1826 512 M +1812 512 M stroke LTb LCb setrgbcolor -1860 512 M +1845 512 M stroke LTb LCb setrgbcolor -1893 512 M +1878 512 M stroke LTb LCb setrgbcolor -1927 512 M +1911 512 M stroke -1927 464 M +1911 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v3.12)] ] -26.7 MRshow @@ -2239,21 +2239,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -1960 512 M +1945 512 M stroke LTb LCb setrgbcolor -1994 512 M +1978 512 M stroke LTb LCb setrgbcolor -2028 512 M +2011 512 M stroke LTb LCb setrgbcolor -2061 512 M +2044 512 M stroke -2061 464 M +2044 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v3.16)] ] -26.7 MRshow @@ -2262,21 +2262,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2095 512 M +2077 512 M stroke LTb LCb setrgbcolor -2128 512 M +2110 512 M stroke LTb LCb setrgbcolor -2162 512 M +2144 512 M stroke LTb LCb setrgbcolor -2195 512 M +2177 512 M stroke -2195 464 M +2177 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v4.0)] ] -26.7 MRshow @@ -2285,21 +2285,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2229 512 M +2210 512 M stroke LTb LCb setrgbcolor -2262 512 M +2243 512 M stroke LTb LCb setrgbcolor -2296 512 M +2276 512 M stroke LTb LCb setrgbcolor -2330 512 M +2310 512 M stroke -2330 464 M +2310 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v4.4)] ] -26.7 MRshow @@ -2308,21 +2308,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2363 512 M +2343 512 M stroke LTb LCb setrgbcolor -2397 512 M +2376 512 M stroke LTb LCb setrgbcolor -2430 512 M +2409 512 M stroke LTb LCb setrgbcolor -2464 512 M +2442 512 M stroke -2464 464 M +2442 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v4.8)] ] -26.7 MRshow @@ -2331,21 +2331,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2497 512 M +2475 512 M stroke LTb LCb setrgbcolor -2531 512 M +2509 512 M stroke LTb LCb setrgbcolor -2564 512 M +2542 512 M stroke LTb LCb setrgbcolor -2598 512 M +2575 512 M stroke -2598 464 M +2575 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v4.12)] ] -26.7 MRshow @@ -2354,21 +2354,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2632 512 M +2608 512 M stroke LTb LCb setrgbcolor -2665 512 M +2641 512 M stroke LTb LCb setrgbcolor -2699 512 M +2675 512 M stroke LTb LCb setrgbcolor -2732 512 M +2708 512 M stroke -2732 464 M +2708 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v4.16)] ] -26.7 MRshow @@ -2377,25 +2377,25 @@ grestore 1.000 UL LTb LCb setrgbcolor -2766 512 M +2741 512 M stroke LTb LCb setrgbcolor -2799 512 M +2774 512 M stroke LTb LCb setrgbcolor -2833 512 M +2807 512 M stroke LTb LCb setrgbcolor -2866 512 M +2840 512 M stroke LTb LCb setrgbcolor -2900 512 M +2874 512 M stroke -2900 464 M +2874 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.0)] ] -26.7 MRshow @@ -2404,21 +2404,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -2934 512 M +2907 512 M stroke LTb LCb setrgbcolor -2967 512 M +2940 512 M stroke LTb LCb setrgbcolor -3001 512 M +2973 512 M stroke LTb LCb setrgbcolor -3034 512 M +3006 512 M stroke -3034 464 M +3006 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.4)] ] -26.7 MRshow @@ -2427,21 +2427,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -3068 512 M +3039 512 M stroke LTb LCb setrgbcolor -3101 512 M +3073 512 M stroke LTb LCb setrgbcolor -3135 512 M +3106 512 M stroke LTb LCb setrgbcolor -3168 512 M +3139 512 M stroke -3168 464 M +3139 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.8)] ] -26.7 MRshow @@ -2450,21 +2450,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -3202 512 M +3172 512 M stroke LTb LCb setrgbcolor -3236 512 M +3205 512 M stroke LTb LCb setrgbcolor -3269 512 M +3239 512 M stroke LTb LCb setrgbcolor -3303 512 M +3272 512 M stroke -3303 464 M +3272 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.12)] ] -26.7 MRshow @@ -2473,27 +2473,38 @@ grestore 1.000 UL LTb LCb setrgbcolor -3336 512 M +3305 512 M stroke LTb LCb setrgbcolor -3370 512 M +3338 512 M stroke LTb LCb setrgbcolor -3403 512 M +3371 512 M stroke LTb LCb setrgbcolor -3437 512 M +3404 512 M stroke +3404 464 M +currentpoint gsave translate 90 rotate 0 0 moveto +[ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.16)] +] -26.7 MRshow +grestore +/NimbusSanL-Regu findfont 80 scalefont setfont +1.000 UL LTb LCb setrgbcolor -3470 512 M +3438 512 M stroke -3470 464 M +LTb +LCb setrgbcolor +3471 512 M +stroke +3471 464 M currentpoint gsave translate 90 rotate 0 0 moveto -[ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.17)] +[ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.18)] ] -26.7 MRshow grestore /NimbusSanL-Regu findfont 80 scalefont setfont @@ -2629,20 +2640,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 606 512 25 28 BoxColFill +0.180 606 512 24 28 BoxColFill LCb setrgbcolor 606 512 N 0 27 V -24 0 V +23 0 V 0 -27 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 640 512 24 36 BoxColFill +0.180 639 512 24 36 BoxColFill LCb setrgbcolor -640 512 N +639 512 N 0 35 V 23 0 V 0 -35 V @@ -2651,20 +2662,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 673 512 25 38 BoxColFill +0.180 672 512 24 38 BoxColFill LCb setrgbcolor -673 512 N +672 512 N 0 37 V -24 0 V +23 0 V 0 -37 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 707 512 25 32 BoxColFill +0.180 705 512 25 32 BoxColFill LCb setrgbcolor -707 512 N +705 512 N 0 31 V 24 0 V 0 -31 V @@ -2673,31 +2684,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 741 512 24 32 BoxColFill +0.180 738 512 25 32 BoxColFill LCb setrgbcolor -741 512 N +738 512 N 0 31 V -23 0 V +24 0 V 0 -31 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 774 512 25 33 BoxColFill +0.180 772 512 24 33 BoxColFill LCb setrgbcolor -774 512 N +772 512 N 0 32 V -24 0 V +23 0 V 0 -32 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 808 512 24 44 BoxColFill +0.180 805 512 24 44 BoxColFill LCb setrgbcolor -808 512 N +805 512 N 0 43 V 23 0 V 0 -43 V @@ -2706,20 +2717,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 841 512 25 44 BoxColFill +0.180 838 512 24 44 BoxColFill LCb setrgbcolor -841 512 N +838 512 N 0 43 V -24 0 V +23 0 V 0 -43 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 875 512 24 44 BoxColFill +0.180 871 512 24 44 BoxColFill LCb setrgbcolor -875 512 N +871 512 N 0 43 V 23 0 V 0 -43 V @@ -2728,9 +2739,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 908 512 25 44 BoxColFill +0.180 904 512 25 44 BoxColFill LCb setrgbcolor -908 512 N +904 512 N 0 43 V 24 0 V 0 -43 V @@ -2739,9 +2750,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 942 512 24 44 BoxColFill +0.180 938 512 24 44 BoxColFill LCb setrgbcolor -942 512 N +938 512 N 0 43 V 23 0 V 0 -43 V @@ -2750,31 +2761,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 975 512 25 45 BoxColFill +0.180 971 512 24 45 BoxColFill LCb setrgbcolor -975 512 N +971 512 N 0 44 V -24 0 V +23 0 V 0 -44 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1009 512 25 110 BoxColFill +0.180 1004 512 24 110 BoxColFill LCb setrgbcolor -1009 512 N +1004 512 N 0 109 V -24 0 V +23 0 V 0 -109 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1043 512 24 109 BoxColFill +0.180 1037 512 24 109 BoxColFill LCb setrgbcolor -1043 512 N +1037 512 N 0 108 V 23 0 V 0 -108 V @@ -2783,42 +2794,42 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1076 512 25 138 BoxColFill +0.180 1070 512 24 138 BoxColFill LCb setrgbcolor -1076 512 N +1070 512 N 0 137 V -24 0 V +23 0 V 0 -137 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1110 512 24 145 BoxColFill +0.180 1103 512 25 145 BoxColFill LCb setrgbcolor -1110 512 N +1103 512 N 0 144 V -23 0 V +24 0 V 0 -144 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1143 512 25 225 BoxColFill +0.180 1137 512 24 225 BoxColFill LCb setrgbcolor -1143 512 N +1137 512 N 0 224 V -24 0 V +23 0 V 0 -224 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1177 512 24 226 BoxColFill +0.180 1170 512 24 226 BoxColFill LCb setrgbcolor -1177 512 N +1170 512 N 0 225 V 23 0 V 0 -225 V @@ -2827,20 +2838,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1210 512 25 230 BoxColFill +0.180 1203 512 24 230 BoxColFill LCb setrgbcolor -1210 512 N +1203 512 N 0 229 V -24 0 V +23 0 V 0 -229 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1244 512 24 156 BoxColFill +0.180 1236 512 24 156 BoxColFill LCb setrgbcolor -1244 512 N +1236 512 N 0 155 V 23 0 V 0 -155 V @@ -2849,31 +2860,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1278 512 24 183 BoxColFill +0.180 1269 512 25 183 BoxColFill LCb setrgbcolor -1278 512 N +1269 512 N 0 182 V -23 0 V +24 0 V 0 -182 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1311 512 25 203 BoxColFill +0.180 1303 512 24 203 BoxColFill LCb setrgbcolor -1311 512 N +1303 512 N 0 202 V -24 0 V +23 0 V 0 -202 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1345 512 24 211 BoxColFill +0.180 1336 512 24 211 BoxColFill LCb setrgbcolor -1345 512 N +1336 512 N 0 210 V 23 0 V 0 -210 V @@ -2882,20 +2893,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1378 512 25 220 BoxColFill +0.180 1369 512 24 220 BoxColFill LCb setrgbcolor -1378 512 N +1369 512 N 0 219 V -24 0 V +23 0 V 0 -219 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1412 512 24 247 BoxColFill +0.180 1402 512 24 247 BoxColFill LCb setrgbcolor -1412 512 N +1402 512 N 0 246 V 23 0 V 0 -246 V @@ -2904,42 +2915,42 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1445 512 25 271 BoxColFill +0.180 1435 512 24 271 BoxColFill LCb setrgbcolor -1445 512 N +1435 512 N 0 270 V -24 0 V +23 0 V 0 -270 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1479 512 24 272 BoxColFill +0.180 1468 512 25 272 BoxColFill LCb setrgbcolor -1479 512 N +1468 512 N 0 271 V -23 0 V +24 0 V 0 -271 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1512 512 25 313 BoxColFill +0.180 1502 512 24 313 BoxColFill LCb setrgbcolor -1512 512 N +1502 512 N 0 312 V -24 0 V +23 0 V 0 -312 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1546 512 24 313 BoxColFill +0.180 1535 512 24 313 BoxColFill LCb setrgbcolor -1546 512 N +1535 512 N 0 312 V 23 0 V 0 -312 V @@ -2948,9 +2959,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1580 512 24 319 BoxColFill +0.180 1568 512 24 319 BoxColFill LCb setrgbcolor -1580 512 N +1568 512 N 0 318 V 23 0 V 0 -318 V @@ -2959,31 +2970,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1613 512 25 337 BoxColFill +0.180 1601 512 24 337 BoxColFill LCb setrgbcolor -1613 512 N +1601 512 N 0 336 V -24 0 V +23 0 V 0 -336 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1647 512 24 356 BoxColFill +0.180 1634 512 25 356 BoxColFill LCb setrgbcolor -1647 512 N +1634 512 N 0 355 V -23 0 V +24 0 V 0 -355 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1680 512 25 378 BoxColFill +0.180 1667 512 25 378 BoxColFill LCb setrgbcolor -1680 512 N +1667 512 N 0 377 V 24 0 V 0 -377 V @@ -2992,9 +3003,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1714 512 24 378 BoxColFill +0.180 1701 512 24 378 BoxColFill LCb setrgbcolor -1714 512 N +1701 512 N 0 377 V 23 0 V 0 -377 V @@ -3003,20 +3014,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1747 512 25 380 BoxColFill +0.180 1734 512 24 380 BoxColFill LCb setrgbcolor -1747 512 N +1734 512 N 0 379 V -24 0 V +23 0 V 0 -379 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1781 512 24 401 BoxColFill +0.180 1767 512 24 401 BoxColFill LCb setrgbcolor -1781 512 N +1767 512 N 0 400 V 23 0 V 0 -400 V @@ -3025,31 +3036,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1814 512 25 408 BoxColFill +0.180 1800 512 24 408 BoxColFill LCb setrgbcolor -1814 512 N +1800 512 N 0 407 V -24 0 V +23 0 V 0 -407 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1848 512 24 409 BoxColFill +0.180 1833 512 25 409 BoxColFill LCb setrgbcolor -1848 512 N +1833 512 N 0 408 V -23 0 V +24 0 V 0 -408 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1882 512 24 372 BoxColFill +0.180 1867 512 24 372 BoxColFill LCb setrgbcolor -1882 512 N +1867 512 N 0 371 V 23 0 V 0 -371 V @@ -3058,20 +3069,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1915 512 25 386 BoxColFill +0.180 1900 512 24 386 BoxColFill LCb setrgbcolor -1915 512 N +1900 512 N 0 385 V -24 0 V +23 0 V 0 -385 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1949 512 24 393 BoxColFill +0.180 1933 512 24 393 BoxColFill LCb setrgbcolor -1949 512 N +1933 512 N 0 392 V 23 0 V 0 -392 V @@ -3080,31 +3091,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1982 512 25 400 BoxColFill +0.180 1966 512 24 400 BoxColFill LCb setrgbcolor -1982 512 N +1966 512 N 0 399 V -24 0 V +23 0 V 0 -399 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2016 512 24 402 BoxColFill +0.180 1999 512 25 402 BoxColFill LCb setrgbcolor -2016 512 N +1999 512 N 0 401 V -23 0 V +24 0 V 0 -401 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2049 512 25 410 BoxColFill +0.180 2032 512 25 410 BoxColFill LCb setrgbcolor -2049 512 N +2032 512 N 0 409 V 24 0 V 0 -409 V @@ -3113,9 +3124,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2083 512 24 418 BoxColFill +0.180 2066 512 24 418 BoxColFill LCb setrgbcolor -2083 512 N +2066 512 N 0 417 V 23 0 V 0 -417 V @@ -3124,20 +3135,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2116 512 25 439 BoxColFill +0.180 2099 512 24 439 BoxColFill LCb setrgbcolor -2116 512 N +2099 512 N 0 438 V -24 0 V +23 0 V 0 -438 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2150 512 24 443 BoxColFill +0.180 2132 512 24 443 BoxColFill LCb setrgbcolor -2150 512 N +2132 512 N 0 442 V 23 0 V 0 -442 V @@ -3146,9 +3157,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2184 512 24 442 BoxColFill +0.180 2165 512 24 442 BoxColFill LCb setrgbcolor -2184 512 N +2165 512 N 0 441 V 23 0 V 0 -441 V @@ -3157,9 +3168,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2217 512 25 450 BoxColFill +0.180 2198 512 25 450 BoxColFill LCb setrgbcolor -2217 512 N +2198 512 N 0 449 V 24 0 V 0 -449 V @@ -3168,9 +3179,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2251 512 24 451 BoxColFill +0.180 2232 512 24 451 BoxColFill LCb setrgbcolor -2251 512 N +2232 512 N 0 450 V 23 0 V 0 -450 V @@ -3179,20 +3190,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2284 512 25 456 BoxColFill +0.180 2265 512 24 456 BoxColFill LCb setrgbcolor -2284 512 N +2265 512 N 0 455 V -24 0 V +23 0 V 0 -455 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2318 512 24 478 BoxColFill +0.180 2298 512 24 478 BoxColFill LCb setrgbcolor -2318 512 N +2298 512 N 0 477 V 23 0 V 0 -477 V @@ -3201,31 +3212,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2351 512 25 483 BoxColFill +0.180 2331 512 24 483 BoxColFill LCb setrgbcolor -2351 512 N +2331 512 N 0 482 V -24 0 V +23 0 V 0 -482 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2385 512 24 487 BoxColFill +0.180 2364 512 25 487 BoxColFill LCb setrgbcolor -2385 512 N +2364 512 N 0 486 V -23 0 V +24 0 V 0 -486 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2418 512 25 492 BoxColFill +0.180 2397 512 25 492 BoxColFill LCb setrgbcolor -2418 512 N +2397 512 N 0 491 V 24 0 V 0 -491 V @@ -3234,9 +3245,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2452 512 24 495 BoxColFill +0.180 2431 512 24 495 BoxColFill LCb setrgbcolor -2452 512 N +2431 512 N 0 494 V 23 0 V 0 -494 V @@ -3245,9 +3256,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2486 512 24 497 BoxColFill +0.180 2464 512 24 497 BoxColFill LCb setrgbcolor -2486 512 N +2464 512 N 0 496 V 23 0 V 0 -496 V @@ -3256,20 +3267,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2519 512 25 500 BoxColFill +0.180 2497 512 24 500 BoxColFill LCb setrgbcolor -2519 512 N +2497 512 N 0 499 V -24 0 V +23 0 V 0 -499 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2553 512 24 507 BoxColFill +0.180 2530 512 24 507 BoxColFill LCb setrgbcolor -2553 512 N +2530 512 N 0 506 V 23 0 V 0 -506 V @@ -3278,9 +3289,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2586 512 25 592 BoxColFill +0.180 2563 512 25 592 BoxColFill LCb setrgbcolor -2586 512 N +2563 512 N 0 591 V 24 0 V 0 -591 V @@ -3289,9 +3300,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2620 512 24 536 BoxColFill +0.180 2597 512 24 536 BoxColFill LCb setrgbcolor -2620 512 N +2597 512 N 0 535 V 23 0 V 0 -535 V @@ -3300,20 +3311,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2653 512 25 533 BoxColFill +0.180 2630 512 24 533 BoxColFill LCb setrgbcolor -2653 512 N +2630 512 N 0 532 V -24 0 V +23 0 V 0 -532 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2687 512 24 535 BoxColFill +0.180 2663 512 24 535 BoxColFill LCb setrgbcolor -2687 512 N +2663 512 N 0 534 V 23 0 V 0 -534 V @@ -3322,20 +3333,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2720 512 25 532 BoxColFill +0.180 2696 512 24 532 BoxColFill LCb setrgbcolor -2720 512 N +2696 512 N 0 531 V -24 0 V +23 0 V 0 -531 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2754 512 24 532 BoxColFill +0.180 2729 512 24 532 BoxColFill LCb setrgbcolor -2754 512 N +2729 512 N 0 531 V 23 0 V 0 -531 V @@ -3344,31 +3355,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2788 512 24 531 BoxColFill +0.180 2762 512 25 531 BoxColFill LCb setrgbcolor -2788 512 N +2762 512 N 0 530 V -23 0 V +24 0 V 0 -530 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2821 512 25 539 BoxColFill +0.180 2796 512 24 539 BoxColFill LCb setrgbcolor -2821 512 N +2796 512 N 0 538 V -24 0 V +23 0 V 0 -538 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2855 512 24 523 BoxColFill +0.180 2829 512 24 523 BoxColFill LCb setrgbcolor -2855 512 N +2829 512 N 0 522 V 23 0 V 0 -522 V @@ -3377,20 +3388,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2888 512 25 527 BoxColFill +0.180 2862 512 24 527 BoxColFill LCb setrgbcolor -2888 512 N +2862 512 N 0 526 V -24 0 V +23 0 V 0 -526 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2922 512 24 511 BoxColFill +0.180 2895 512 24 511 BoxColFill LCb setrgbcolor -2922 512 N +2895 512 N 0 510 V 23 0 V 0 -510 V @@ -3399,9 +3410,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2955 512 25 509 BoxColFill +0.180 2928 512 25 509 BoxColFill LCb setrgbcolor -2955 512 N +2928 512 N 0 508 V 24 0 V 0 -508 V @@ -3410,9 +3421,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2989 512 24 514 BoxColFill +0.180 2962 512 24 514 BoxColFill LCb setrgbcolor -2989 512 N +2962 512 N 0 513 V 23 0 V 0 -513 V @@ -3421,31 +3432,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3022 512 25 532 BoxColFill +0.180 2995 512 24 532 BoxColFill LCb setrgbcolor -3022 512 N +2995 512 N 0 531 V -24 0 V +23 0 V 0 -531 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3056 512 25 534 BoxColFill +0.180 3028 512 24 534 BoxColFill LCb setrgbcolor -3056 512 N +3028 512 N 0 533 V -24 0 V +23 0 V 0 -533 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3090 512 24 542 BoxColFill +0.180 3061 512 24 542 BoxColFill LCb setrgbcolor -3090 512 N +3061 512 N 0 541 V 23 0 V 0 -541 V @@ -3454,42 +3465,42 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3123 512 25 553 BoxColFill +0.180 3094 512 24 553 BoxColFill LCb setrgbcolor -3123 512 N +3094 512 N 0 552 V -24 0 V +23 0 V 0 -552 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3157 512 24 602 BoxColFill +0.180 3127 512 25 602 BoxColFill LCb setrgbcolor -3157 512 N +3127 512 N 0 601 V -23 0 V +24 0 V 0 -601 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3190 512 25 611 BoxColFill +0.180 3161 512 24 611 BoxColFill LCb setrgbcolor -3190 512 N +3161 512 N 0 610 V -24 0 V +23 0 V 0 -610 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3224 512 24 618 BoxColFill +0.180 3194 512 24 618 BoxColFill LCb setrgbcolor -3224 512 N +3194 512 N 0 617 V 23 0 V 0 -617 V @@ -3498,20 +3509,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3257 512 25 621 BoxColFill +0.180 3227 512 24 621 BoxColFill LCb setrgbcolor -3257 512 N +3227 512 N 0 620 V -24 0 V +23 0 V 0 -620 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3291 512 24 656 BoxColFill +0.180 3260 512 24 656 BoxColFill LCb setrgbcolor -3291 512 N +3260 512 N 0 655 V 23 0 V 0 -655 V @@ -3520,9 +3531,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3324 512 25 664 BoxColFill +0.180 3293 512 25 664 BoxColFill LCb setrgbcolor -3324 512 N +3293 512 N 0 663 V 24 0 V 0 -663 V @@ -3531,9 +3542,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3358 512 25 669 BoxColFill +0.180 3326 512 25 669 BoxColFill LCb setrgbcolor -3358 512 N +3326 512 N 0 668 V 24 0 V 0 -668 V @@ -3542,9 +3553,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3392 512 24 669 BoxColFill +0.180 3360 512 24 669 BoxColFill LCb setrgbcolor -3392 512 N +3360 512 N 0 668 V 23 0 V 0 -668 V @@ -3553,20 +3564,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3425 512 25 669 BoxColFill +0.180 3393 512 24 669 BoxColFill LCb setrgbcolor -3425 512 N +3393 512 N 0 668 V -24 0 V +23 0 V 0 -668 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3459 512 24 677 BoxColFill +0.180 3426 512 24 677 BoxColFill LCb setrgbcolor -3459 512 N +3426 512 N 0 676 V 23 0 V 0 -676 V @@ -3575,6 +3586,17 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C +0.180 3459 512 24 680 BoxColFill +LCb setrgbcolor +3459 512 N +0 679 V +23 0 V +0 -679 V +-23 0 V +Z stroke +1.000 UL +LTb +0.00 0.00 0.00 C % End plot #1 % Begin plot #2 1.000 UL @@ -3608,38 +3630,38 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 606 539 25 1 BoxColFill +0.180 606 539 24 1 BoxColFill LCb setrgbcolor 606 539 N -24 0 V --24 0 V +23 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 640 547 24 1 BoxColFill +0.180 639 547 24 1 BoxColFill LCb setrgbcolor -640 547 N +639 547 N 23 0 V -23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 673 549 25 19 BoxColFill +0.180 672 549 24 19 BoxColFill LCb setrgbcolor -673 549 N +672 549 N 0 18 V -24 0 V +23 0 V 0 -18 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 707 543 25 21 BoxColFill +0.180 705 543 25 21 BoxColFill LCb setrgbcolor -707 543 N +705 543 N 0 20 V 24 0 V 0 -20 V @@ -3648,31 +3670,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 741 543 24 22 BoxColFill +0.180 738 543 25 22 BoxColFill LCb setrgbcolor -741 543 N +738 543 N 0 21 V -23 0 V +24 0 V 0 -21 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 774 544 25 26 BoxColFill +0.180 772 544 24 26 BoxColFill LCb setrgbcolor -774 544 N +772 544 N 0 25 V -24 0 V +23 0 V 0 -25 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 808 555 24 35 BoxColFill +0.180 805 555 24 35 BoxColFill LCb setrgbcolor -808 555 N +805 555 N 0 34 V 23 0 V 0 -34 V @@ -3681,20 +3703,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 841 555 25 35 BoxColFill +0.180 838 555 24 35 BoxColFill LCb setrgbcolor -841 555 N +838 555 N 0 34 V -24 0 V +23 0 V 0 -34 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 875 555 24 35 BoxColFill +0.180 871 555 24 35 BoxColFill LCb setrgbcolor -875 555 N +871 555 N 0 34 V 23 0 V 0 -34 V @@ -3703,9 +3725,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 908 555 25 35 BoxColFill +0.180 904 555 25 35 BoxColFill LCb setrgbcolor -908 555 N +904 555 N 0 34 V 24 0 V 0 -34 V @@ -3714,9 +3736,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 942 555 24 35 BoxColFill +0.180 938 555 24 35 BoxColFill LCb setrgbcolor -942 555 N +938 555 N 0 34 V 23 0 V 0 -34 V @@ -3725,31 +3747,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 975 556 25 35 BoxColFill +0.180 971 556 24 35 BoxColFill LCb setrgbcolor -975 556 N +971 556 N 0 34 V -24 0 V +23 0 V 0 -34 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1009 621 25 35 BoxColFill +0.180 1004 621 24 35 BoxColFill LCb setrgbcolor -1009 621 N +1004 621 N 0 34 V -24 0 V +23 0 V 0 -34 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1043 620 24 36 BoxColFill +0.180 1037 620 24 36 BoxColFill LCb setrgbcolor -1043 620 N +1037 620 N 0 35 V 23 0 V 0 -35 V @@ -3758,42 +3780,42 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1076 649 25 41 BoxColFill +0.180 1070 649 24 41 BoxColFill LCb setrgbcolor -1076 649 N +1070 649 N 0 40 V -24 0 V +23 0 V 0 -40 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1110 656 24 41 BoxColFill +0.180 1103 656 25 41 BoxColFill LCb setrgbcolor -1110 656 N +1103 656 N 0 40 V -23 0 V +24 0 V 0 -40 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1143 736 25 43 BoxColFill +0.180 1137 736 24 43 BoxColFill LCb setrgbcolor -1143 736 N +1137 736 N 0 42 V -24 0 V +23 0 V 0 -42 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1177 737 24 44 BoxColFill +0.180 1170 737 24 44 BoxColFill LCb setrgbcolor -1177 737 N +1170 737 N 0 43 V 23 0 V 0 -43 V @@ -3802,20 +3824,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1210 741 25 44 BoxColFill +0.180 1203 741 24 44 BoxColFill LCb setrgbcolor -1210 741 N +1203 741 N 0 43 V -24 0 V +23 0 V 0 -43 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1244 667 24 45 BoxColFill +0.180 1236 667 24 45 BoxColFill LCb setrgbcolor -1244 667 N +1236 667 N 0 44 V 23 0 V 0 -44 V @@ -3824,31 +3846,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1278 694 24 45 BoxColFill +0.180 1269 694 25 45 BoxColFill LCb setrgbcolor -1278 694 N +1269 694 N 0 44 V -23 0 V +24 0 V 0 -44 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1311 714 25 49 BoxColFill +0.180 1303 714 24 49 BoxColFill LCb setrgbcolor -1311 714 N +1303 714 N 0 48 V -24 0 V +23 0 V 0 -48 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1345 722 24 49 BoxColFill +0.180 1336 722 24 49 BoxColFill LCb setrgbcolor -1345 722 N +1336 722 N 0 48 V 23 0 V 0 -48 V @@ -3857,20 +3879,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1378 731 25 48 BoxColFill +0.180 1369 731 24 48 BoxColFill LCb setrgbcolor -1378 731 N +1369 731 N 0 47 V -24 0 V +23 0 V 0 -47 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1412 758 24 49 BoxColFill +0.180 1402 758 24 49 BoxColFill LCb setrgbcolor -1412 758 N +1402 758 N 0 48 V 23 0 V 0 -48 V @@ -3879,42 +3901,42 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1445 782 25 58 BoxColFill +0.180 1435 782 24 58 BoxColFill LCb setrgbcolor -1445 782 N +1435 782 N 0 57 V -24 0 V +23 0 V 0 -57 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1479 783 24 58 BoxColFill +0.180 1468 783 25 58 BoxColFill LCb setrgbcolor -1479 783 N +1468 783 N 0 57 V -23 0 V +24 0 V 0 -57 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1512 824 25 57 BoxColFill +0.180 1502 824 24 57 BoxColFill LCb setrgbcolor -1512 824 N +1502 824 N 0 56 V -24 0 V +23 0 V 0 -56 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1546 824 24 57 BoxColFill +0.180 1535 824 24 57 BoxColFill LCb setrgbcolor -1546 824 N +1535 824 N 0 56 V 23 0 V 0 -56 V @@ -3923,9 +3945,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1580 830 24 57 BoxColFill +0.180 1568 830 24 57 BoxColFill LCb setrgbcolor -1580 830 N +1568 830 N 0 56 V 23 0 V 0 -56 V @@ -3934,31 +3956,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1613 848 25 65 BoxColFill +0.180 1601 848 24 65 BoxColFill LCb setrgbcolor -1613 848 N +1601 848 N 0 64 V -24 0 V +23 0 V 0 -64 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1647 867 24 67 BoxColFill +0.180 1634 867 25 67 BoxColFill LCb setrgbcolor -1647 867 N +1634 867 N 0 66 V -23 0 V +24 0 V 0 -66 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1680 889 25 75 BoxColFill +0.180 1667 889 25 75 BoxColFill LCb setrgbcolor -1680 889 N +1667 889 N 0 74 V 24 0 V 0 -74 V @@ -3967,9 +3989,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1714 889 24 76 BoxColFill +0.180 1701 889 24 76 BoxColFill LCb setrgbcolor -1714 889 N +1701 889 N 0 75 V 23 0 V 0 -75 V @@ -3978,20 +4000,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1747 891 25 76 BoxColFill +0.180 1734 891 24 76 BoxColFill LCb setrgbcolor -1747 891 N +1734 891 N 0 75 V -24 0 V +23 0 V 0 -75 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1781 912 24 76 BoxColFill +0.180 1767 912 24 76 BoxColFill LCb setrgbcolor -1781 912 N +1767 912 N 0 75 V 23 0 V 0 -75 V @@ -4000,31 +4022,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1814 919 25 77 BoxColFill +0.180 1800 919 24 77 BoxColFill LCb setrgbcolor -1814 919 N +1800 919 N 0 76 V -24 0 V +23 0 V 0 -76 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1848 920 24 78 BoxColFill +0.180 1833 920 25 78 BoxColFill LCb setrgbcolor -1848 920 N +1833 920 N 0 77 V -23 0 V +24 0 V 0 -77 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1882 883 24 76 BoxColFill +0.180 1867 883 24 76 BoxColFill LCb setrgbcolor -1882 883 N +1867 883 N 0 75 V 23 0 V 0 -75 V @@ -4033,20 +4055,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1915 897 25 75 BoxColFill +0.180 1900 897 24 75 BoxColFill LCb setrgbcolor -1915 897 N +1900 897 N 0 74 V -24 0 V +23 0 V 0 -74 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1949 904 24 75 BoxColFill +0.180 1933 904 24 75 BoxColFill LCb setrgbcolor -1949 904 N +1933 904 N 0 74 V 23 0 V 0 -74 V @@ -4055,31 +4077,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1982 911 25 119 BoxColFill +0.180 1966 911 24 119 BoxColFill LCb setrgbcolor -1982 911 N +1966 911 N 0 118 V -24 0 V +23 0 V 0 -118 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2016 913 24 135 BoxColFill +0.180 1999 913 25 135 BoxColFill LCb setrgbcolor -2016 913 N +1999 913 N 0 134 V -23 0 V +24 0 V 0 -134 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2049 921 25 141 BoxColFill +0.180 2032 921 25 141 BoxColFill LCb setrgbcolor -2049 921 N +2032 921 N 0 140 V 24 0 V 0 -140 V @@ -4088,9 +4110,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2083 929 24 142 BoxColFill +0.180 2066 929 24 142 BoxColFill LCb setrgbcolor -2083 929 N +2066 929 N 0 141 V 23 0 V 0 -141 V @@ -4099,20 +4121,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2116 950 25 147 BoxColFill +0.180 2099 950 24 147 BoxColFill LCb setrgbcolor -2116 950 N +2099 950 N 0 146 V -24 0 V +23 0 V 0 -146 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2150 954 24 147 BoxColFill +0.180 2132 954 24 147 BoxColFill LCb setrgbcolor -2150 954 N +2132 954 N 0 146 V 23 0 V 0 -146 V @@ -4121,9 +4143,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2184 953 24 148 BoxColFill +0.180 2165 953 24 148 BoxColFill LCb setrgbcolor -2184 953 N +2165 953 N 0 147 V 23 0 V 0 -147 V @@ -4132,9 +4154,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2217 961 25 149 BoxColFill +0.180 2198 961 25 149 BoxColFill LCb setrgbcolor -2217 961 N +2198 961 N 0 148 V 24 0 V 0 -148 V @@ -4143,9 +4165,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2251 962 24 151 BoxColFill +0.180 2232 962 24 151 BoxColFill LCb setrgbcolor -2251 962 N +2232 962 N 0 150 V 23 0 V 0 -150 V @@ -4154,20 +4176,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2284 967 25 151 BoxColFill +0.180 2265 967 24 151 BoxColFill LCb setrgbcolor -2284 967 N +2265 967 N 0 150 V -24 0 V +23 0 V 0 -150 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2318 989 24 151 BoxColFill +0.180 2298 989 24 151 BoxColFill LCb setrgbcolor -2318 989 N +2298 989 N 0 150 V 23 0 V 0 -150 V @@ -4176,31 +4198,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2351 994 25 154 BoxColFill +0.180 2331 994 24 154 BoxColFill LCb setrgbcolor -2351 994 N +2331 994 N 0 153 V -24 0 V +23 0 V 0 -153 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2385 998 24 154 BoxColFill +0.180 2364 998 25 154 BoxColFill LCb setrgbcolor -2385 998 N +2364 998 N 0 153 V -23 0 V +24 0 V 0 -153 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2418 1003 25 190 BoxColFill +0.180 2397 1003 25 190 BoxColFill LCb setrgbcolor -2418 1003 N +2397 1003 N 0 189 V 24 0 V 0 -189 V @@ -4209,9 +4231,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2452 1006 24 192 BoxColFill +0.180 2431 1006 24 192 BoxColFill LCb setrgbcolor -2452 1006 N +2431 1006 N 0 191 V 23 0 V 0 -191 V @@ -4220,9 +4242,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2486 1008 24 192 BoxColFill +0.180 2464 1008 24 192 BoxColFill LCb setrgbcolor -2486 1008 N +2464 1008 N 0 191 V 23 0 V 0 -191 V @@ -4231,20 +4253,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2519 1011 25 192 BoxColFill +0.180 2497 1011 24 192 BoxColFill LCb setrgbcolor -2519 1011 N +2497 1011 N 0 191 V -24 0 V +23 0 V 0 -191 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2553 1018 24 192 BoxColFill +0.180 2530 1018 24 192 BoxColFill LCb setrgbcolor -2553 1018 N +2530 1018 N 0 191 V 23 0 V 0 -191 V @@ -4253,9 +4275,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2586 1103 25 194 BoxColFill +0.180 2563 1103 25 194 BoxColFill LCb setrgbcolor -2586 1103 N +2563 1103 N 0 193 V 24 0 V 0 -193 V @@ -4264,9 +4286,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2620 1047 24 197 BoxColFill +0.180 2597 1047 24 197 BoxColFill LCb setrgbcolor -2620 1047 N +2597 1047 N 0 196 V 23 0 V 0 -196 V @@ -4275,20 +4297,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2653 1044 25 198 BoxColFill +0.180 2630 1044 24 198 BoxColFill LCb setrgbcolor -2653 1044 N +2630 1044 N 0 197 V -24 0 V +23 0 V 0 -197 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2687 1046 24 199 BoxColFill +0.180 2663 1046 24 199 BoxColFill LCb setrgbcolor -2687 1046 N +2663 1046 N 0 198 V 23 0 V 0 -198 V @@ -4297,20 +4319,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2720 1043 25 197 BoxColFill +0.180 2696 1043 24 197 BoxColFill LCb setrgbcolor -2720 1043 N +2696 1043 N 0 196 V -24 0 V +23 0 V 0 -196 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2754 1043 24 198 BoxColFill +0.180 2729 1043 24 198 BoxColFill LCb setrgbcolor -2754 1043 N +2729 1043 N 0 197 V 23 0 V 0 -197 V @@ -4319,31 +4341,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2788 1042 24 200 BoxColFill +0.180 2762 1042 25 200 BoxColFill LCb setrgbcolor -2788 1042 N +2762 1042 N 0 199 V -23 0 V +24 0 V 0 -199 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2821 1050 25 207 BoxColFill +0.180 2796 1050 24 207 BoxColFill LCb setrgbcolor -2821 1050 N +2796 1050 N 0 206 V -24 0 V +23 0 V 0 -206 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2855 1034 24 210 BoxColFill +0.180 2829 1034 24 210 BoxColFill LCb setrgbcolor -2855 1034 N +2829 1034 N 0 209 V 23 0 V 0 -209 V @@ -4352,20 +4374,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2888 1038 25 295 BoxColFill +0.180 2862 1038 24 295 BoxColFill LCb setrgbcolor -2888 1038 N +2862 1038 N 0 294 V -24 0 V +23 0 V 0 -294 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2922 1022 24 220 BoxColFill +0.180 2895 1022 24 220 BoxColFill LCb setrgbcolor -2922 1022 N +2895 1022 N 0 219 V 23 0 V 0 -219 V @@ -4374,9 +4396,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2955 1020 25 211 BoxColFill +0.180 2928 1020 25 211 BoxColFill LCb setrgbcolor -2955 1020 N +2928 1020 N 0 210 V 24 0 V 0 -210 V @@ -4385,9 +4407,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2989 1025 24 214 BoxColFill +0.180 2962 1025 24 214 BoxColFill LCb setrgbcolor -2989 1025 N +2962 1025 N 0 213 V 23 0 V 0 -213 V @@ -4396,31 +4418,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3022 1043 25 215 BoxColFill +0.180 2995 1043 24 215 BoxColFill LCb setrgbcolor -3022 1043 N +2995 1043 N 0 214 V -24 0 V +23 0 V 0 -214 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3056 1045 25 216 BoxColFill +0.180 3028 1045 24 216 BoxColFill LCb setrgbcolor -3056 1045 N +3028 1045 N 0 215 V -24 0 V +23 0 V 0 -215 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3090 1053 24 221 BoxColFill +0.180 3061 1053 24 221 BoxColFill LCb setrgbcolor -3090 1053 N +3061 1053 N 0 220 V 23 0 V 0 -220 V @@ -4429,42 +4451,42 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3123 1064 25 224 BoxColFill +0.180 3094 1064 24 224 BoxColFill LCb setrgbcolor -3123 1064 N +3094 1064 N 0 223 V -24 0 V +23 0 V 0 -223 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3157 1113 24 230 BoxColFill +0.180 3127 1113 25 230 BoxColFill LCb setrgbcolor -3157 1113 N +3127 1113 N 0 229 V -23 0 V +24 0 V 0 -229 V --23 0 V +-24 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3190 1122 25 270 BoxColFill +0.180 3161 1122 24 270 BoxColFill LCb setrgbcolor -3190 1122 N +3161 1122 N 0 269 V -24 0 V +23 0 V 0 -269 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3224 1129 24 274 BoxColFill +0.180 3194 1129 24 274 BoxColFill LCb setrgbcolor -3224 1129 N +3194 1129 N 0 273 V 23 0 V 0 -273 V @@ -4473,20 +4495,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3257 1132 25 279 BoxColFill +0.180 3227 1132 24 279 BoxColFill LCb setrgbcolor -3257 1132 N +3227 1132 N 0 278 V -24 0 V +23 0 V 0 -278 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3291 1167 24 312 BoxColFill +0.180 3260 1167 24 312 BoxColFill LCb setrgbcolor -3291 1167 N +3260 1167 N 0 311 V 23 0 V 0 -311 V @@ -4495,9 +4517,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3324 1175 25 331 BoxColFill +0.180 3293 1175 25 331 BoxColFill LCb setrgbcolor -3324 1175 N +3293 1175 N 0 330 V 24 0 V 0 -330 V @@ -4506,9 +4528,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3358 1180 25 346 BoxColFill +0.180 3326 1180 25 346 BoxColFill LCb setrgbcolor -3358 1180 N +3326 1180 N 0 345 V 24 0 V 0 -345 V @@ -4517,9 +4539,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3392 1180 24 358 BoxColFill +0.180 3360 1180 24 358 BoxColFill LCb setrgbcolor -3392 1180 N +3360 1180 N 0 357 V 23 0 V 0 -357 V @@ -4528,20 +4550,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3425 1180 25 359 BoxColFill +0.180 3393 1180 24 359 BoxColFill LCb setrgbcolor -3425 1180 N +3393 1180 N 0 358 V -24 0 V +23 0 V 0 -358 V --24 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3459 1188 24 362 BoxColFill +0.180 3426 1188 24 362 BoxColFill LCb setrgbcolor -3459 1188 N +3426 1188 N 0 361 V 23 0 V 0 -361 V @@ -4550,6 +4572,17 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C +0.180 3459 1191 24 365 BoxColFill +LCb setrgbcolor +3459 1191 N +0 364 V +23 0 V +0 -364 V +-23 0 V +Z stroke +1.000 UL +LTb +0.90 0.62 0.00 C % End plot #2 % Begin plot #3 1.000 UL @@ -4565,93 +4598,94 @@ LTb 0.55 0.00 0.00 C 2092 1457 M 255 0 V -585 512 M +584 512 M 33 0 V 34 0 V 33 778 V -34 193 V +33 193 V 33 -5 V -34 87 V +33 87 V 33 29 V 34 3 V -34 0 V +33 0 V 33 -5 V -34 0 V +33 0 V 33 -17 V 34 -483 V 33 2 V -34 -38 V +33 -38 V 33 -20 V -34 -140 V -34 0 V -33 -5 V -34 150 V +33 -140 V +33 0 V +34 -5 V +33 150 V 33 -51 V -34 -17 V +33 -17 V 33 -14 V -34 -15 V -33 -38 V -34 24 V -34 -2 V +33 -15 V +34 -38 V +33 24 V +33 -2 V 33 -46 V -34 0 V -33 -8 V -34 20 V +33 0 V +34 -8 V +33 20 V 33 -3 V -34 17 V +33 17 V 33 3 V -34 4 V +33 4 V 34 -21 V 33 0 V -34 0 V +33 0 V 33 26 V -34 -19 V -33 -5 V -34 169 V -34 51 V +33 -19 V +34 -5 V +33 169 V +33 51 V 33 14 V -34 -7 V +33 -7 V 33 -7 V 34 -5 V 33 5 V -34 -5 V +33 -5 V 33 5 V -34 -2 V +33 -2 V 34 -22 V 33 0 V -34 -3 V +33 -3 V 33 95 V -34 2 V +33 2 V 33 -2 V 34 -3 V 33 -5 V -34 -70 V -34 53 V +33 -70 V +33 53 V 33 8 V 34 -3 V 33 -2 V -34 2 V +33 2 V 33 5 V -34 12 V +33 12 V 33 22 V 34 176 V -34 -142 V +33 -142 V 33 -20 V -34 5 V -33 -14 V -34 -3 V 33 5 V -34 -2 V +33 -14 V +33 -3 V +34 5 V +33 -2 V 33 -29 V -34 72 V -34 3 V -33 5 V -34 31 V +33 72 V +33 3 V +34 5 V +33 31 V 33 24 V -34 19 V +33 19 V 33 20 V -34 2 V -33 0 V +33 2 V +34 0 V +33 -2 V % End plot #3 stroke 2.000 UL diff --git a/CodeSamples/formal/data/rcu-test.dat b/CodeSamples/formal/data/rcu-test.dat index caf8112b93c9..283dc6845237 100644 --- a/CodeSamples/formal/data/rcu-test.dat +++ b/CodeSamples/formal/data/rcu-test.dat @@ -83,5 +83,6 @@ v5.12 18965 9025 27990 32.2 "" 19205 9556 28761 33.2 "" 19362 9983 29345 34.0 "" 19366 10332 29698 34.8 -"" 19359 10362 29721 34.9 -v5.17 19576 10482 30058 34.9 +v5.16 19359 10362 29721 34.9 +"" 19576 10482 30058 34.9 +v5.18 19683 10526 30209 34.8 -- 2.25.1