Routine update of Figure 12.4. Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- CodeSamples/formal/data/RCU-test-ratio.eps | 1281 ++++++++++---------- CodeSamples/formal/data/rcu-test.dat | 1 + 2 files changed, 655 insertions(+), 627 deletions(-) diff --git a/CodeSamples/formal/data/RCU-test-ratio.eps b/CodeSamples/formal/data/RCU-test-ratio.eps index ebb7c07ef6d8..7b075c605f91 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 Oct 5 22:43:51 2022 +%%CreationDate: Mon Dec 19 18:13:51 2022 %%DocumentFonts: (atend) %%BoundingBox: 50 50 453 230 %%Orientation: Portrait @@ -1872,7 +1872,7 @@ SDict begin [ /Creator (gnuplot 5.2 patchlevel 8) % /Producer (gnuplot) % /Keywords () - /CreationDate (Wed Oct 5 22:43:51 2022) + /CreationDate (Mon Dec 19 18:13:51 2022) /DOCINFO pdfmark end } ifelse @@ -2009,21 +2009,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -616 512 M +615 512 M stroke LTb LCb setrgbcolor -648 512 M +647 512 M stroke LTb LCb setrgbcolor -681 512 M +679 512 M stroke LTb LCb setrgbcolor -713 512 M +711 512 M stroke -713 464 M +711 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 -746 512 M +744 512 M stroke LTb LCb setrgbcolor -778 512 M +776 512 M stroke LTb LCb setrgbcolor -811 512 M +808 512 M stroke LTb LCb setrgbcolor -843 512 M +840 512 M stroke -843 464 M +840 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 -876 512 M +872 512 M stroke LTb LCb setrgbcolor -908 512 M +904 512 M stroke LTb LCb setrgbcolor -940 512 M +936 512 M stroke LTb LCb setrgbcolor -973 512 M +968 512 M stroke -973 464 M +968 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 -1005 512 M +1000 512 M stroke LTb LCb setrgbcolor -1038 512 M +1032 512 M stroke LTb LCb setrgbcolor -1070 512 M +1065 512 M stroke LTb LCb setrgbcolor -1103 512 M +1097 512 M stroke -1103 464 M +1097 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 -1135 512 M +1129 512 M stroke LTb LCb setrgbcolor -1168 512 M +1161 512 M stroke LTb LCb setrgbcolor -1200 512 M +1193 512 M stroke LTb LCb setrgbcolor -1232 512 M +1225 512 M stroke -1232 464 M +1225 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 -1265 512 M +1257 512 M stroke LTb LCb setrgbcolor -1297 512 M +1289 512 M stroke LTb LCb setrgbcolor -1330 512 M +1321 512 M stroke LTb LCb setrgbcolor -1362 512 M +1353 512 M stroke -1362 464 M +1353 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 -1395 512 M +1386 512 M stroke LTb LCb setrgbcolor -1427 512 M +1418 512 M stroke LTb LCb setrgbcolor -1460 512 M +1450 512 M stroke LTb LCb setrgbcolor -1492 512 M +1482 512 M stroke -1492 464 M +1482 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 -1525 512 M +1514 512 M stroke LTb LCb setrgbcolor -1557 512 M +1546 512 M stroke LTb LCb setrgbcolor -1589 512 M +1578 512 M stroke LTb LCb setrgbcolor -1622 512 M +1610 512 M stroke -1622 464 M +1610 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 -1654 512 M +1642 512 M stroke LTb LCb setrgbcolor -1687 512 M +1674 512 M stroke LTb LCb setrgbcolor -1719 512 M +1707 512 M stroke LTb LCb setrgbcolor -1752 512 M +1739 512 M stroke -1752 464 M +1739 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 -1784 512 M +1771 512 M stroke LTb LCb setrgbcolor -1817 512 M +1803 512 M stroke LTb LCb setrgbcolor -1849 512 M +1835 512 M stroke LTb LCb setrgbcolor -1881 512 M +1867 512 M stroke -1881 464 M +1867 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 -1914 512 M +1899 512 M stroke LTb LCb setrgbcolor -1946 512 M +1931 512 M stroke LTb LCb setrgbcolor -1979 512 M +1963 512 M stroke LTb LCb setrgbcolor -2011 512 M +1995 512 M stroke -2011 464 M +1995 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 -2044 512 M +2028 512 M stroke LTb LCb setrgbcolor -2076 512 M +2060 512 M stroke LTb LCb setrgbcolor -2109 512 M +2092 512 M stroke LTb LCb setrgbcolor -2141 512 M +2124 512 M stroke -2141 464 M +2124 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 -2174 512 M +2156 512 M stroke LTb LCb setrgbcolor -2206 512 M +2188 512 M stroke LTb LCb setrgbcolor -2238 512 M +2220 512 M stroke LTb LCb setrgbcolor -2271 512 M +2252 512 M stroke -2271 464 M +2252 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 -2303 512 M +2284 512 M stroke LTb LCb setrgbcolor -2336 512 M +2316 512 M stroke LTb LCb setrgbcolor -2368 512 M +2348 512 M stroke LTb LCb setrgbcolor -2401 512 M +2381 512 M stroke -2401 464 M +2381 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 -2433 512 M +2413 512 M stroke LTb LCb setrgbcolor -2466 512 M +2445 512 M stroke LTb LCb setrgbcolor -2498 512 M +2477 512 M stroke LTb LCb setrgbcolor -2530 512 M +2509 512 M stroke -2530 464 M +2509 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 -2563 512 M +2541 512 M stroke LTb LCb setrgbcolor -2595 512 M +2573 512 M stroke LTb LCb setrgbcolor -2628 512 M +2605 512 M stroke LTb LCb setrgbcolor -2660 512 M +2637 512 M stroke -2660 464 M +2637 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 -2693 512 M +2669 512 M stroke LTb LCb setrgbcolor -2725 512 M +2702 512 M stroke LTb LCb setrgbcolor -2758 512 M +2734 512 M stroke LTb LCb setrgbcolor -2790 512 M +2766 512 M stroke LTb LCb setrgbcolor -2823 512 M +2798 512 M stroke -2823 464 M +2798 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 -2855 512 M +2830 512 M stroke LTb LCb setrgbcolor -2887 512 M +2862 512 M stroke LTb LCb setrgbcolor -2920 512 M +2894 512 M stroke LTb LCb setrgbcolor -2952 512 M +2926 512 M stroke -2952 464 M +2926 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 -2985 512 M +2958 512 M stroke LTb LCb setrgbcolor -3017 512 M +2990 512 M stroke LTb LCb setrgbcolor -3050 512 M +3023 512 M stroke LTb LCb setrgbcolor -3082 512 M +3055 512 M stroke -3082 464 M +3055 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 -3115 512 M +3087 512 M stroke LTb LCb setrgbcolor -3147 512 M +3119 512 M stroke LTb LCb setrgbcolor -3179 512 M +3151 512 M stroke LTb LCb setrgbcolor -3212 512 M +3183 512 M stroke -3212 464 M +3183 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,21 +2473,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -3244 512 M +3215 512 M stroke LTb LCb setrgbcolor -3277 512 M +3247 512 M stroke LTb LCb setrgbcolor -3309 512 M +3279 512 M stroke LTb LCb setrgbcolor -3342 512 M +3311 512 M stroke -3342 464 M +3311 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v5.16)] ] -26.7 MRshow @@ -2496,21 +2496,21 @@ grestore 1.000 UL LTb LCb setrgbcolor -3374 512 M +3344 512 M stroke LTb LCb setrgbcolor -3407 512 M +3376 512 M stroke LTb LCb setrgbcolor -3439 512 M +3408 512 M stroke LTb LCb setrgbcolor -3472 512 M +3440 512 M stroke -3472 464 M +3440 464 M currentpoint gsave translate 90 rotate 0 0 moveto [ [(NimbusSanL-Regu) 80.0 0.0 true true 0 (v6.0)] ] -26.7 MRshow @@ -2519,6 +2519,10 @@ grestore 1.000 UL LTb LCb setrgbcolor +3472 512 M +stroke +LTb +LCb setrgbcolor 3504 512 M 63 0 V stroke @@ -2637,20 +2641,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 572 512 24 28 BoxColFill +0.180 572 512 23 28 BoxColFill LCb setrgbcolor 572 512 N 0 27 V -23 0 V +22 0 V 0 -27 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 605 512 23 28 BoxColFill +0.180 604 512 23 28 BoxColFill LCb setrgbcolor -605 512 N +604 512 N 0 27 V 22 0 V 0 -27 V @@ -2659,9 +2663,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 637 512 24 36 BoxColFill +0.180 636 512 24 36 BoxColFill LCb setrgbcolor -637 512 N +636 512 N 0 35 V 23 0 V 0 -35 V @@ -2670,9 +2674,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 669 512 24 38 BoxColFill +0.180 668 512 24 38 BoxColFill LCb setrgbcolor -669 512 N +668 512 N 0 37 V 23 0 V 0 -37 V @@ -2681,9 +2685,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 702 512 24 32 BoxColFill +0.180 700 512 24 32 BoxColFill LCb setrgbcolor -702 512 N +700 512 N 0 31 V 23 0 V 0 -31 V @@ -2692,9 +2696,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 734 512 24 32 BoxColFill +0.180 732 512 24 32 BoxColFill LCb setrgbcolor -734 512 N +732 512 N 0 31 V 23 0 V 0 -31 V @@ -2703,9 +2707,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 767 512 24 33 BoxColFill +0.180 764 512 24 33 BoxColFill LCb setrgbcolor -767 512 N +764 512 N 0 32 V 23 0 V 0 -32 V @@ -2714,20 +2718,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 799 512 24 44 BoxColFill +0.180 797 512 23 44 BoxColFill LCb setrgbcolor -799 512 N +797 512 N 0 43 V -23 0 V +22 0 V 0 -43 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 832 512 23 44 BoxColFill +0.180 829 512 23 44 BoxColFill LCb setrgbcolor -832 512 N +829 512 N 0 43 V 22 0 V 0 -43 V @@ -2736,20 +2740,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 864 512 24 44 BoxColFill +0.180 861 512 23 44 BoxColFill LCb setrgbcolor -864 512 N +861 512 N 0 43 V -23 0 V +22 0 V 0 -43 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 897 512 23 44 BoxColFill +0.180 893 512 23 44 BoxColFill LCb setrgbcolor -897 512 N +893 512 N 0 43 V 22 0 V 0 -43 V @@ -2758,20 +2762,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 929 512 24 44 BoxColFill +0.180 925 512 23 44 BoxColFill LCb setrgbcolor -929 512 N +925 512 N 0 43 V -23 0 V +22 0 V 0 -43 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 961 512 24 45 BoxColFill +0.180 957 512 24 45 BoxColFill LCb setrgbcolor -961 512 N +957 512 N 0 44 V 23 0 V 0 -44 V @@ -2780,9 +2784,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 994 512 24 110 BoxColFill +0.180 989 512 24 110 BoxColFill LCb setrgbcolor -994 512 N +989 512 N 0 109 V 23 0 V 0 -109 V @@ -2791,9 +2795,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1026 512 24 109 BoxColFill +0.180 1021 512 24 109 BoxColFill LCb setrgbcolor -1026 512 N +1021 512 N 0 108 V 23 0 V 0 -108 V @@ -2802,9 +2806,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1059 512 24 138 BoxColFill +0.180 1053 512 24 138 BoxColFill LCb setrgbcolor -1059 512 N +1053 512 N 0 137 V 23 0 V 0 -137 V @@ -2813,9 +2817,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1091 512 24 145 BoxColFill +0.180 1085 512 24 145 BoxColFill LCb setrgbcolor -1091 512 N +1085 512 N 0 144 V 23 0 V 0 -144 V @@ -2824,9 +2828,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1124 512 23 225 BoxColFill +0.180 1118 512 23 225 BoxColFill LCb setrgbcolor -1124 512 N +1118 512 N 0 224 V 22 0 V 0 -224 V @@ -2835,20 +2839,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1156 512 24 226 BoxColFill +0.180 1150 512 23 226 BoxColFill LCb setrgbcolor -1156 512 N +1150 512 N 0 225 V -23 0 V +22 0 V 0 -225 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1189 512 23 230 BoxColFill +0.180 1182 512 23 230 BoxColFill LCb setrgbcolor -1189 512 N +1182 512 N 0 229 V 22 0 V 0 -229 V @@ -2857,20 +2861,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1221 512 24 156 BoxColFill +0.180 1214 512 23 156 BoxColFill LCb setrgbcolor -1221 512 N +1214 512 N 0 155 V -23 0 V +22 0 V 0 -155 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1254 512 23 183 BoxColFill +0.180 1246 512 23 183 BoxColFill LCb setrgbcolor -1254 512 N +1246 512 N 0 182 V 22 0 V 0 -182 V @@ -2879,20 +2883,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1286 512 24 203 BoxColFill +0.180 1278 512 23 203 BoxColFill LCb setrgbcolor -1286 512 N +1278 512 N 0 202 V -23 0 V +22 0 V 0 -202 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1318 512 24 211 BoxColFill +0.180 1310 512 24 211 BoxColFill LCb setrgbcolor -1318 512 N +1310 512 N 0 210 V 23 0 V 0 -210 V @@ -2901,9 +2905,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1351 512 24 220 BoxColFill +0.180 1342 512 24 220 BoxColFill LCb setrgbcolor -1351 512 N +1342 512 N 0 219 V 23 0 V 0 -219 V @@ -2912,9 +2916,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1383 512 24 247 BoxColFill +0.180 1374 512 24 247 BoxColFill LCb setrgbcolor -1383 512 N +1374 512 N 0 246 V 23 0 V 0 -246 V @@ -2923,9 +2927,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1416 512 24 271 BoxColFill +0.180 1406 512 24 271 BoxColFill LCb setrgbcolor -1416 512 N +1406 512 N 0 270 V 23 0 V 0 -270 V @@ -2934,20 +2938,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1448 512 24 272 BoxColFill +0.180 1439 512 23 272 BoxColFill LCb setrgbcolor -1448 512 N +1439 512 N 0 271 V -23 0 V +22 0 V 0 -271 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1481 512 23 313 BoxColFill +0.180 1471 512 23 313 BoxColFill LCb setrgbcolor -1481 512 N +1471 512 N 0 312 V 22 0 V 0 -312 V @@ -2956,20 +2960,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1513 512 24 313 BoxColFill +0.180 1503 512 23 313 BoxColFill LCb setrgbcolor -1513 512 N +1503 512 N 0 312 V -23 0 V +22 0 V 0 -312 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1546 512 23 319 BoxColFill +0.180 1535 512 23 319 BoxColFill LCb setrgbcolor -1546 512 N +1535 512 N 0 318 V 22 0 V 0 -318 V @@ -2978,20 +2982,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1578 512 24 337 BoxColFill +0.180 1567 512 23 337 BoxColFill LCb setrgbcolor -1578 512 N +1567 512 N 0 336 V -23 0 V +22 0 V 0 -336 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1611 512 23 356 BoxColFill +0.180 1599 512 23 356 BoxColFill LCb setrgbcolor -1611 512 N +1599 512 N 0 355 V 22 0 V 0 -355 V @@ -3000,9 +3004,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1643 512 24 378 BoxColFill +0.180 1631 512 24 378 BoxColFill LCb setrgbcolor -1643 512 N +1631 512 N 0 377 V 23 0 V 0 -377 V @@ -3011,9 +3015,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1675 512 24 378 BoxColFill +0.180 1663 512 24 378 BoxColFill LCb setrgbcolor -1675 512 N +1663 512 N 0 377 V 23 0 V 0 -377 V @@ -3022,9 +3026,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1708 512 24 380 BoxColFill +0.180 1695 512 24 380 BoxColFill LCb setrgbcolor -1708 512 N +1695 512 N 0 379 V 23 0 V 0 -379 V @@ -3033,9 +3037,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1740 512 24 401 BoxColFill +0.180 1727 512 24 401 BoxColFill LCb setrgbcolor -1740 512 N +1727 512 N 0 400 V 23 0 V 0 -400 V @@ -3044,31 +3048,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1773 512 23 408 BoxColFill +0.180 1759 512 24 408 BoxColFill LCb setrgbcolor -1773 512 N +1759 512 N 0 407 V -22 0 V +23 0 V 0 -407 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1805 512 24 409 BoxColFill +0.180 1792 512 23 409 BoxColFill LCb setrgbcolor -1805 512 N +1792 512 N 0 408 V -23 0 V +22 0 V 0 -408 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1838 512 23 372 BoxColFill +0.180 1824 512 23 372 BoxColFill LCb setrgbcolor -1838 512 N +1824 512 N 0 371 V 22 0 V 0 -371 V @@ -3077,20 +3081,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1870 512 24 386 BoxColFill +0.180 1856 512 23 386 BoxColFill LCb setrgbcolor -1870 512 N +1856 512 N 0 385 V -23 0 V +22 0 V 0 -385 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1903 512 23 393 BoxColFill +0.180 1888 512 23 393 BoxColFill LCb setrgbcolor -1903 512 N +1888 512 N 0 392 V 22 0 V 0 -392 V @@ -3099,20 +3103,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1935 512 24 400 BoxColFill +0.180 1920 512 23 400 BoxColFill LCb setrgbcolor -1935 512 N +1920 512 N 0 399 V -23 0 V +22 0 V 0 -399 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 1967 512 24 402 BoxColFill +0.180 1952 512 24 402 BoxColFill LCb setrgbcolor -1967 512 N +1952 512 N 0 401 V 23 0 V 0 -401 V @@ -3121,9 +3125,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2000 512 24 410 BoxColFill +0.180 1984 512 24 410 BoxColFill LCb setrgbcolor -2000 512 N +1984 512 N 0 409 V 23 0 V 0 -409 V @@ -3132,9 +3136,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2032 512 24 418 BoxColFill +0.180 2016 512 24 418 BoxColFill LCb setrgbcolor -2032 512 N +2016 512 N 0 417 V 23 0 V 0 -417 V @@ -3143,9 +3147,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2065 512 24 439 BoxColFill +0.180 2048 512 24 439 BoxColFill LCb setrgbcolor -2065 512 N +2048 512 N 0 438 V 23 0 V 0 -438 V @@ -3154,9 +3158,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2097 512 24 443 BoxColFill +0.180 2080 512 24 443 BoxColFill LCb setrgbcolor -2097 512 N +2080 512 N 0 442 V 23 0 V 0 -442 V @@ -3165,9 +3169,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2130 512 23 442 BoxColFill +0.180 2113 512 23 442 BoxColFill LCb setrgbcolor -2130 512 N +2113 512 N 0 441 V 22 0 V 0 -441 V @@ -3176,20 +3180,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2162 512 24 450 BoxColFill +0.180 2145 512 23 450 BoxColFill LCb setrgbcolor -2162 512 N +2145 512 N 0 449 V -23 0 V +22 0 V 0 -449 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2195 512 23 451 BoxColFill +0.180 2177 512 23 451 BoxColFill LCb setrgbcolor -2195 512 N +2177 512 N 0 450 V 22 0 V 0 -450 V @@ -3198,20 +3202,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2227 512 24 456 BoxColFill +0.180 2209 512 23 456 BoxColFill LCb setrgbcolor -2227 512 N +2209 512 N 0 455 V -23 0 V +22 0 V 0 -455 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2260 512 23 478 BoxColFill +0.180 2241 512 23 478 BoxColFill LCb setrgbcolor -2260 512 N +2241 512 N 0 477 V 22 0 V 0 -477 V @@ -3220,9 +3224,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2292 512 24 483 BoxColFill +0.180 2273 512 24 483 BoxColFill LCb setrgbcolor -2292 512 N +2273 512 N 0 482 V 23 0 V 0 -482 V @@ -3231,9 +3235,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2324 512 24 487 BoxColFill +0.180 2305 512 24 487 BoxColFill LCb setrgbcolor -2324 512 N +2305 512 N 0 486 V 23 0 V 0 -486 V @@ -3242,9 +3246,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2357 512 24 492 BoxColFill +0.180 2337 512 24 492 BoxColFill LCb setrgbcolor -2357 512 N +2337 512 N 0 491 V 23 0 V 0 -491 V @@ -3253,9 +3257,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2389 512 24 495 BoxColFill +0.180 2369 512 24 495 BoxColFill LCb setrgbcolor -2389 512 N +2369 512 N 0 494 V 23 0 V 0 -494 V @@ -3264,31 +3268,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2422 512 23 497 BoxColFill +0.180 2401 512 24 497 BoxColFill LCb setrgbcolor -2422 512 N +2401 512 N 0 496 V -22 0 V +23 0 V 0 -496 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2454 512 24 500 BoxColFill +0.180 2434 512 23 500 BoxColFill LCb setrgbcolor -2454 512 N +2434 512 N 0 499 V -23 0 V +22 0 V 0 -499 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2487 512 23 507 BoxColFill +0.180 2466 512 23 507 BoxColFill LCb setrgbcolor -2487 512 N +2466 512 N 0 506 V 22 0 V 0 -506 V @@ -3297,20 +3301,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2519 512 24 592 BoxColFill +0.180 2498 512 23 592 BoxColFill LCb setrgbcolor -2519 512 N +2498 512 N 0 591 V -23 0 V +22 0 V 0 -591 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2552 512 23 536 BoxColFill +0.180 2530 512 23 536 BoxColFill LCb setrgbcolor -2552 512 N +2530 512 N 0 535 V 22 0 V 0 -535 V @@ -3319,31 +3323,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2584 512 24 533 BoxColFill +0.180 2562 512 23 533 BoxColFill LCb setrgbcolor -2584 512 N +2562 512 N 0 532 V -23 0 V +22 0 V 0 -532 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2616 512 24 535 BoxColFill +0.180 2594 512 23 535 BoxColFill LCb setrgbcolor -2616 512 N +2594 512 N 0 534 V -23 0 V +22 0 V 0 -534 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2649 512 24 532 BoxColFill +0.180 2626 512 24 532 BoxColFill LCb setrgbcolor -2649 512 N +2626 512 N 0 531 V 23 0 V 0 -531 V @@ -3352,9 +3356,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2681 512 24 532 BoxColFill +0.180 2658 512 24 532 BoxColFill LCb setrgbcolor -2681 512 N +2658 512 N 0 531 V 23 0 V 0 -531 V @@ -3363,9 +3367,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2714 512 24 531 BoxColFill +0.180 2690 512 24 531 BoxColFill LCb setrgbcolor -2714 512 N +2690 512 N 0 530 V 23 0 V 0 -530 V @@ -3374,9 +3378,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2746 512 24 539 BoxColFill +0.180 2722 512 24 539 BoxColFill LCb setrgbcolor -2746 512 N +2722 512 N 0 538 V 23 0 V 0 -538 V @@ -3385,9 +3389,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2779 512 23 523 BoxColFill +0.180 2755 512 23 523 BoxColFill LCb setrgbcolor -2779 512 N +2755 512 N 0 522 V 22 0 V 0 -522 V @@ -3396,20 +3400,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2811 512 24 527 BoxColFill +0.180 2787 512 23 527 BoxColFill LCb setrgbcolor -2811 512 N +2787 512 N 0 526 V -23 0 V +22 0 V 0 -526 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2844 512 23 511 BoxColFill +0.180 2819 512 23 511 BoxColFill LCb setrgbcolor -2844 512 N +2819 512 N 0 510 V 22 0 V 0 -510 V @@ -3418,20 +3422,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2876 512 24 509 BoxColFill +0.180 2851 512 23 509 BoxColFill LCb setrgbcolor -2876 512 N +2851 512 N 0 508 V -23 0 V +22 0 V 0 -508 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2909 512 23 514 BoxColFill +0.180 2883 512 23 514 BoxColFill LCb setrgbcolor -2909 512 N +2883 512 N 0 513 V 22 0 V 0 -513 V @@ -3440,20 +3444,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2941 512 24 532 BoxColFill +0.180 2915 512 23 532 BoxColFill LCb setrgbcolor -2941 512 N +2915 512 N 0 531 V -23 0 V +22 0 V 0 -531 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 2973 512 24 534 BoxColFill +0.180 2947 512 24 534 BoxColFill LCb setrgbcolor -2973 512 N +2947 512 N 0 533 V 23 0 V 0 -533 V @@ -3462,9 +3466,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3006 512 24 542 BoxColFill +0.180 2979 512 24 542 BoxColFill LCb setrgbcolor -3006 512 N +2979 512 N 0 541 V 23 0 V 0 -541 V @@ -3473,9 +3477,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3038 512 24 553 BoxColFill +0.180 3011 512 24 553 BoxColFill LCb setrgbcolor -3038 512 N +3011 512 N 0 552 V 23 0 V 0 -552 V @@ -3484,9 +3488,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3071 512 24 602 BoxColFill +0.180 3043 512 24 602 BoxColFill LCb setrgbcolor -3071 512 N +3043 512 N 0 601 V 23 0 V 0 -601 V @@ -3495,9 +3499,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3103 512 24 611 BoxColFill +0.180 3075 512 24 611 BoxColFill LCb setrgbcolor -3103 512 N +3075 512 N 0 610 V 23 0 V 0 -610 V @@ -3506,9 +3510,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3136 512 23 618 BoxColFill +0.180 3108 512 23 618 BoxColFill LCb setrgbcolor -3136 512 N +3108 512 N 0 617 V 22 0 V 0 -617 V @@ -3517,20 +3521,20 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3168 512 24 621 BoxColFill +0.180 3140 512 23 621 BoxColFill LCb setrgbcolor -3168 512 N +3140 512 N 0 620 V -23 0 V +22 0 V 0 -620 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3201 512 23 656 BoxColFill +0.180 3172 512 23 656 BoxColFill LCb setrgbcolor -3201 512 N +3172 512 N 0 655 V 22 0 V 0 -655 V @@ -3539,31 +3543,31 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3233 512 24 664 BoxColFill +0.180 3204 512 23 664 BoxColFill LCb setrgbcolor -3233 512 N +3204 512 N 0 663 V -23 0 V +22 0 V 0 -663 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3265 512 24 669 BoxColFill +0.180 3236 512 23 669 BoxColFill LCb setrgbcolor -3265 512 N +3236 512 N 0 668 V -23 0 V +22 0 V 0 -668 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3298 512 24 669 BoxColFill +0.180 3268 512 24 669 BoxColFill LCb setrgbcolor -3298 512 N +3268 512 N 0 668 V 23 0 V 0 -668 V @@ -3572,9 +3576,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3330 512 24 669 BoxColFill +0.180 3300 512 24 669 BoxColFill LCb setrgbcolor -3330 512 N +3300 512 N 0 668 V 23 0 V 0 -668 V @@ -3583,9 +3587,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3363 512 24 677 BoxColFill +0.180 3332 512 24 677 BoxColFill LCb setrgbcolor -3363 512 N +3332 512 N 0 676 V 23 0 V 0 -676 V @@ -3594,9 +3598,9 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3395 512 24 680 BoxColFill +0.180 3364 512 24 680 BoxColFill LCb setrgbcolor -3395 512 N +3364 512 N 0 679 V 23 0 V 0 -679 V @@ -3605,24 +3609,35 @@ Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3428 512 23 704 BoxColFill +0.180 3396 512 24 704 BoxColFill LCb setrgbcolor -3428 512 N +3396 512 N 0 703 V -22 0 V +23 0 V 0 -703 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.00 0.00 0.00 C -0.180 3460 512 24 706 BoxColFill +0.180 3429 512 23 706 BoxColFill LCb setrgbcolor -3460 512 N +3429 512 N 0 705 V -23 0 V +22 0 V 0 -705 V --23 0 V +-22 0 V +Z stroke +1.000 UL +LTb +0.00 0.00 0.00 C +0.180 3461 512 23 719 BoxColFill +LCb setrgbcolor +3461 512 N +0 718 V +22 0 V +0 -718 V +-22 0 V Z stroke 1.000 UL LTb @@ -3651,36 +3666,36 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 572 539 24 1 BoxColFill +0.180 572 539 23 1 BoxColFill LCb setrgbcolor 572 539 N -23 0 V --23 0 V +22 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 605 539 23 1 BoxColFill +0.180 604 539 23 1 BoxColFill LCb setrgbcolor -605 539 N +604 539 N 22 0 V -22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 637 547 24 1 BoxColFill +0.180 636 547 24 1 BoxColFill LCb setrgbcolor -637 547 N +636 547 N 23 0 V -23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 669 549 24 19 BoxColFill +0.180 668 549 24 19 BoxColFill LCb setrgbcolor -669 549 N +668 549 N 0 18 V 23 0 V 0 -18 V @@ -3689,9 +3704,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 702 543 24 21 BoxColFill +0.180 700 543 24 21 BoxColFill LCb setrgbcolor -702 543 N +700 543 N 0 20 V 23 0 V 0 -20 V @@ -3700,9 +3715,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 734 543 24 22 BoxColFill +0.180 732 543 24 22 BoxColFill LCb setrgbcolor -734 543 N +732 543 N 0 21 V 23 0 V 0 -21 V @@ -3711,9 +3726,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 767 544 24 26 BoxColFill +0.180 764 544 24 26 BoxColFill LCb setrgbcolor -767 544 N +764 544 N 0 25 V 23 0 V 0 -25 V @@ -3722,20 +3737,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 799 555 24 35 BoxColFill +0.180 797 555 23 35 BoxColFill LCb setrgbcolor -799 555 N +797 555 N 0 34 V -23 0 V +22 0 V 0 -34 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 832 555 23 35 BoxColFill +0.180 829 555 23 35 BoxColFill LCb setrgbcolor -832 555 N +829 555 N 0 34 V 22 0 V 0 -34 V @@ -3744,20 +3759,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 864 555 24 35 BoxColFill +0.180 861 555 23 35 BoxColFill LCb setrgbcolor -864 555 N +861 555 N 0 34 V -23 0 V +22 0 V 0 -34 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 897 555 23 35 BoxColFill +0.180 893 555 23 35 BoxColFill LCb setrgbcolor -897 555 N +893 555 N 0 34 V 22 0 V 0 -34 V @@ -3766,20 +3781,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 929 555 24 35 BoxColFill +0.180 925 555 23 35 BoxColFill LCb setrgbcolor -929 555 N +925 555 N 0 34 V -23 0 V +22 0 V 0 -34 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 961 556 24 35 BoxColFill +0.180 957 556 24 35 BoxColFill LCb setrgbcolor -961 556 N +957 556 N 0 34 V 23 0 V 0 -34 V @@ -3788,9 +3803,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 994 621 24 35 BoxColFill +0.180 989 621 24 35 BoxColFill LCb setrgbcolor -994 621 N +989 621 N 0 34 V 23 0 V 0 -34 V @@ -3799,9 +3814,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1026 620 24 36 BoxColFill +0.180 1021 620 24 36 BoxColFill LCb setrgbcolor -1026 620 N +1021 620 N 0 35 V 23 0 V 0 -35 V @@ -3810,9 +3825,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1059 649 24 41 BoxColFill +0.180 1053 649 24 41 BoxColFill LCb setrgbcolor -1059 649 N +1053 649 N 0 40 V 23 0 V 0 -40 V @@ -3821,9 +3836,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1091 656 24 41 BoxColFill +0.180 1085 656 24 41 BoxColFill LCb setrgbcolor -1091 656 N +1085 656 N 0 40 V 23 0 V 0 -40 V @@ -3832,9 +3847,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1124 736 23 43 BoxColFill +0.180 1118 736 23 43 BoxColFill LCb setrgbcolor -1124 736 N +1118 736 N 0 42 V 22 0 V 0 -42 V @@ -3843,20 +3858,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1156 737 24 44 BoxColFill +0.180 1150 737 23 44 BoxColFill LCb setrgbcolor -1156 737 N +1150 737 N 0 43 V -23 0 V +22 0 V 0 -43 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1189 741 23 44 BoxColFill +0.180 1182 741 23 44 BoxColFill LCb setrgbcolor -1189 741 N +1182 741 N 0 43 V 22 0 V 0 -43 V @@ -3865,20 +3880,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1221 667 24 45 BoxColFill +0.180 1214 667 23 45 BoxColFill LCb setrgbcolor -1221 667 N +1214 667 N 0 44 V -23 0 V +22 0 V 0 -44 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1254 694 23 45 BoxColFill +0.180 1246 694 23 45 BoxColFill LCb setrgbcolor -1254 694 N +1246 694 N 0 44 V 22 0 V 0 -44 V @@ -3887,20 +3902,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1286 714 24 49 BoxColFill +0.180 1278 714 23 49 BoxColFill LCb setrgbcolor -1286 714 N +1278 714 N 0 48 V -23 0 V +22 0 V 0 -48 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1318 722 24 49 BoxColFill +0.180 1310 722 24 49 BoxColFill LCb setrgbcolor -1318 722 N +1310 722 N 0 48 V 23 0 V 0 -48 V @@ -3909,9 +3924,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1351 731 24 48 BoxColFill +0.180 1342 731 24 48 BoxColFill LCb setrgbcolor -1351 731 N +1342 731 N 0 47 V 23 0 V 0 -47 V @@ -3920,9 +3935,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1383 758 24 49 BoxColFill +0.180 1374 758 24 49 BoxColFill LCb setrgbcolor -1383 758 N +1374 758 N 0 48 V 23 0 V 0 -48 V @@ -3931,9 +3946,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1416 782 24 58 BoxColFill +0.180 1406 782 24 58 BoxColFill LCb setrgbcolor -1416 782 N +1406 782 N 0 57 V 23 0 V 0 -57 V @@ -3942,20 +3957,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1448 783 24 58 BoxColFill +0.180 1439 783 23 58 BoxColFill LCb setrgbcolor -1448 783 N +1439 783 N 0 57 V -23 0 V +22 0 V 0 -57 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1481 824 23 57 BoxColFill +0.180 1471 824 23 57 BoxColFill LCb setrgbcolor -1481 824 N +1471 824 N 0 56 V 22 0 V 0 -56 V @@ -3964,20 +3979,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1513 824 24 57 BoxColFill +0.180 1503 824 23 57 BoxColFill LCb setrgbcolor -1513 824 N +1503 824 N 0 56 V -23 0 V +22 0 V 0 -56 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1546 830 23 57 BoxColFill +0.180 1535 830 23 57 BoxColFill LCb setrgbcolor -1546 830 N +1535 830 N 0 56 V 22 0 V 0 -56 V @@ -3986,20 +4001,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1578 848 24 65 BoxColFill +0.180 1567 848 23 65 BoxColFill LCb setrgbcolor -1578 848 N +1567 848 N 0 64 V -23 0 V +22 0 V 0 -64 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1611 867 23 67 BoxColFill +0.180 1599 867 23 67 BoxColFill LCb setrgbcolor -1611 867 N +1599 867 N 0 66 V 22 0 V 0 -66 V @@ -4008,9 +4023,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1643 889 24 75 BoxColFill +0.180 1631 889 24 75 BoxColFill LCb setrgbcolor -1643 889 N +1631 889 N 0 74 V 23 0 V 0 -74 V @@ -4019,9 +4034,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1675 889 24 76 BoxColFill +0.180 1663 889 24 76 BoxColFill LCb setrgbcolor -1675 889 N +1663 889 N 0 75 V 23 0 V 0 -75 V @@ -4030,9 +4045,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1708 891 24 76 BoxColFill +0.180 1695 891 24 76 BoxColFill LCb setrgbcolor -1708 891 N +1695 891 N 0 75 V 23 0 V 0 -75 V @@ -4041,9 +4056,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1740 912 24 76 BoxColFill +0.180 1727 912 24 76 BoxColFill LCb setrgbcolor -1740 912 N +1727 912 N 0 75 V 23 0 V 0 -75 V @@ -4052,31 +4067,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1773 919 23 77 BoxColFill +0.180 1759 919 24 77 BoxColFill LCb setrgbcolor -1773 919 N +1759 919 N 0 76 V -22 0 V +23 0 V 0 -76 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1805 920 24 78 BoxColFill +0.180 1792 920 23 78 BoxColFill LCb setrgbcolor -1805 920 N +1792 920 N 0 77 V -23 0 V +22 0 V 0 -77 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1838 883 23 76 BoxColFill +0.180 1824 883 23 76 BoxColFill LCb setrgbcolor -1838 883 N +1824 883 N 0 75 V 22 0 V 0 -75 V @@ -4085,20 +4100,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1870 897 24 75 BoxColFill +0.180 1856 897 23 75 BoxColFill LCb setrgbcolor -1870 897 N +1856 897 N 0 74 V -23 0 V +22 0 V 0 -74 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1903 904 23 75 BoxColFill +0.180 1888 904 23 75 BoxColFill LCb setrgbcolor -1903 904 N +1888 904 N 0 74 V 22 0 V 0 -74 V @@ -4107,20 +4122,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1935 911 24 119 BoxColFill +0.180 1920 911 23 119 BoxColFill LCb setrgbcolor -1935 911 N +1920 911 N 0 118 V -23 0 V +22 0 V 0 -118 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 1967 913 24 135 BoxColFill +0.180 1952 913 24 135 BoxColFill LCb setrgbcolor -1967 913 N +1952 913 N 0 134 V 23 0 V 0 -134 V @@ -4129,9 +4144,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2000 921 24 141 BoxColFill +0.180 1984 921 24 141 BoxColFill LCb setrgbcolor -2000 921 N +1984 921 N 0 140 V 23 0 V 0 -140 V @@ -4140,9 +4155,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2032 929 24 142 BoxColFill +0.180 2016 929 24 142 BoxColFill LCb setrgbcolor -2032 929 N +2016 929 N 0 141 V 23 0 V 0 -141 V @@ -4151,9 +4166,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2065 950 24 147 BoxColFill +0.180 2048 950 24 147 BoxColFill LCb setrgbcolor -2065 950 N +2048 950 N 0 146 V 23 0 V 0 -146 V @@ -4162,9 +4177,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2097 954 24 147 BoxColFill +0.180 2080 954 24 147 BoxColFill LCb setrgbcolor -2097 954 N +2080 954 N 0 146 V 23 0 V 0 -146 V @@ -4173,9 +4188,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2130 953 23 148 BoxColFill +0.180 2113 953 23 148 BoxColFill LCb setrgbcolor -2130 953 N +2113 953 N 0 147 V 22 0 V 0 -147 V @@ -4184,20 +4199,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2162 961 24 149 BoxColFill +0.180 2145 961 23 149 BoxColFill LCb setrgbcolor -2162 961 N +2145 961 N 0 148 V -23 0 V +22 0 V 0 -148 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2195 962 23 151 BoxColFill +0.180 2177 962 23 151 BoxColFill LCb setrgbcolor -2195 962 N +2177 962 N 0 150 V 22 0 V 0 -150 V @@ -4206,20 +4221,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2227 967 24 151 BoxColFill +0.180 2209 967 23 151 BoxColFill LCb setrgbcolor -2227 967 N +2209 967 N 0 150 V -23 0 V +22 0 V 0 -150 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2260 989 23 151 BoxColFill +0.180 2241 989 23 151 BoxColFill LCb setrgbcolor -2260 989 N +2241 989 N 0 150 V 22 0 V 0 -150 V @@ -4228,9 +4243,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2292 994 24 154 BoxColFill +0.180 2273 994 24 154 BoxColFill LCb setrgbcolor -2292 994 N +2273 994 N 0 153 V 23 0 V 0 -153 V @@ -4239,9 +4254,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2324 998 24 154 BoxColFill +0.180 2305 998 24 154 BoxColFill LCb setrgbcolor -2324 998 N +2305 998 N 0 153 V 23 0 V 0 -153 V @@ -4250,9 +4265,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2357 1003 24 190 BoxColFill +0.180 2337 1003 24 190 BoxColFill LCb setrgbcolor -2357 1003 N +2337 1003 N 0 189 V 23 0 V 0 -189 V @@ -4261,9 +4276,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2389 1006 24 192 BoxColFill +0.180 2369 1006 24 192 BoxColFill LCb setrgbcolor -2389 1006 N +2369 1006 N 0 191 V 23 0 V 0 -191 V @@ -4272,31 +4287,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2422 1008 23 192 BoxColFill +0.180 2401 1008 24 192 BoxColFill LCb setrgbcolor -2422 1008 N +2401 1008 N 0 191 V -22 0 V +23 0 V 0 -191 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2454 1011 24 192 BoxColFill +0.180 2434 1011 23 192 BoxColFill LCb setrgbcolor -2454 1011 N +2434 1011 N 0 191 V -23 0 V +22 0 V 0 -191 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2487 1018 23 192 BoxColFill +0.180 2466 1018 23 192 BoxColFill LCb setrgbcolor -2487 1018 N +2466 1018 N 0 191 V 22 0 V 0 -191 V @@ -4305,20 +4320,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2519 1103 24 194 BoxColFill +0.180 2498 1103 23 194 BoxColFill LCb setrgbcolor -2519 1103 N +2498 1103 N 0 193 V -23 0 V +22 0 V 0 -193 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2552 1047 23 197 BoxColFill +0.180 2530 1047 23 197 BoxColFill LCb setrgbcolor -2552 1047 N +2530 1047 N 0 196 V 22 0 V 0 -196 V @@ -4327,31 +4342,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2584 1044 24 198 BoxColFill +0.180 2562 1044 23 198 BoxColFill LCb setrgbcolor -2584 1044 N +2562 1044 N 0 197 V -23 0 V +22 0 V 0 -197 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2616 1046 24 199 BoxColFill +0.180 2594 1046 23 199 BoxColFill LCb setrgbcolor -2616 1046 N +2594 1046 N 0 198 V -23 0 V +22 0 V 0 -198 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2649 1043 24 197 BoxColFill +0.180 2626 1043 24 197 BoxColFill LCb setrgbcolor -2649 1043 N +2626 1043 N 0 196 V 23 0 V 0 -196 V @@ -4360,9 +4375,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2681 1043 24 198 BoxColFill +0.180 2658 1043 24 198 BoxColFill LCb setrgbcolor -2681 1043 N +2658 1043 N 0 197 V 23 0 V 0 -197 V @@ -4371,9 +4386,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2714 1042 24 200 BoxColFill +0.180 2690 1042 24 200 BoxColFill LCb setrgbcolor -2714 1042 N +2690 1042 N 0 199 V 23 0 V 0 -199 V @@ -4382,9 +4397,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2746 1050 24 207 BoxColFill +0.180 2722 1050 24 207 BoxColFill LCb setrgbcolor -2746 1050 N +2722 1050 N 0 206 V 23 0 V 0 -206 V @@ -4393,9 +4408,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2779 1034 23 210 BoxColFill +0.180 2755 1034 23 210 BoxColFill LCb setrgbcolor -2779 1034 N +2755 1034 N 0 209 V 22 0 V 0 -209 V @@ -4404,20 +4419,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2811 1038 24 295 BoxColFill +0.180 2787 1038 23 295 BoxColFill LCb setrgbcolor -2811 1038 N +2787 1038 N 0 294 V -23 0 V +22 0 V 0 -294 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2844 1022 23 220 BoxColFill +0.180 2819 1022 23 220 BoxColFill LCb setrgbcolor -2844 1022 N +2819 1022 N 0 219 V 22 0 V 0 -219 V @@ -4426,20 +4441,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2876 1020 24 211 BoxColFill +0.180 2851 1020 23 211 BoxColFill LCb setrgbcolor -2876 1020 N +2851 1020 N 0 210 V -23 0 V +22 0 V 0 -210 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2909 1025 23 214 BoxColFill +0.180 2883 1025 23 214 BoxColFill LCb setrgbcolor -2909 1025 N +2883 1025 N 0 213 V 22 0 V 0 -213 V @@ -4448,20 +4463,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2941 1043 24 215 BoxColFill +0.180 2915 1043 23 215 BoxColFill LCb setrgbcolor -2941 1043 N +2915 1043 N 0 214 V -23 0 V +22 0 V 0 -214 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 2973 1045 24 216 BoxColFill +0.180 2947 1045 24 216 BoxColFill LCb setrgbcolor -2973 1045 N +2947 1045 N 0 215 V 23 0 V 0 -215 V @@ -4470,9 +4485,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3006 1053 24 221 BoxColFill +0.180 2979 1053 24 221 BoxColFill LCb setrgbcolor -3006 1053 N +2979 1053 N 0 220 V 23 0 V 0 -220 V @@ -4481,9 +4496,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3038 1064 24 224 BoxColFill +0.180 3011 1064 24 224 BoxColFill LCb setrgbcolor -3038 1064 N +3011 1064 N 0 223 V 23 0 V 0 -223 V @@ -4492,9 +4507,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3071 1113 24 230 BoxColFill +0.180 3043 1113 24 230 BoxColFill LCb setrgbcolor -3071 1113 N +3043 1113 N 0 229 V 23 0 V 0 -229 V @@ -4503,9 +4518,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3103 1122 24 270 BoxColFill +0.180 3075 1122 24 270 BoxColFill LCb setrgbcolor -3103 1122 N +3075 1122 N 0 269 V 23 0 V 0 -269 V @@ -4514,9 +4529,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3136 1129 23 274 BoxColFill +0.180 3108 1129 23 274 BoxColFill LCb setrgbcolor -3136 1129 N +3108 1129 N 0 273 V 22 0 V 0 -273 V @@ -4525,20 +4540,20 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3168 1132 24 279 BoxColFill +0.180 3140 1132 23 279 BoxColFill LCb setrgbcolor -3168 1132 N +3140 1132 N 0 278 V -23 0 V +22 0 V 0 -278 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3201 1167 23 312 BoxColFill +0.180 3172 1167 23 312 BoxColFill LCb setrgbcolor -3201 1167 N +3172 1167 N 0 311 V 22 0 V 0 -311 V @@ -4547,31 +4562,31 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3233 1175 24 331 BoxColFill +0.180 3204 1175 23 331 BoxColFill LCb setrgbcolor -3233 1175 N +3204 1175 N 0 330 V -23 0 V +22 0 V 0 -330 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3265 1180 24 346 BoxColFill +0.180 3236 1180 23 346 BoxColFill LCb setrgbcolor -3265 1180 N +3236 1180 N 0 345 V -23 0 V +22 0 V 0 -345 V --23 0 V +-22 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3298 1180 24 358 BoxColFill +0.180 3268 1180 24 358 BoxColFill LCb setrgbcolor -3298 1180 N +3268 1180 N 0 357 V 23 0 V 0 -357 V @@ -4580,9 +4595,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3330 1180 24 359 BoxColFill +0.180 3300 1180 24 359 BoxColFill LCb setrgbcolor -3330 1180 N +3300 1180 N 0 358 V 23 0 V 0 -358 V @@ -4591,9 +4606,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3363 1188 24 362 BoxColFill +0.180 3332 1188 24 362 BoxColFill LCb setrgbcolor -3363 1188 N +3332 1188 N 0 361 V 23 0 V 0 -361 V @@ -4602,9 +4617,9 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3395 1191 24 365 BoxColFill +0.180 3364 1191 24 365 BoxColFill LCb setrgbcolor -3395 1191 N +3364 1191 N 0 364 V 23 0 V 0 -364 V @@ -4613,24 +4628,35 @@ Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3428 1215 23 368 BoxColFill +0.180 3396 1215 24 368 BoxColFill LCb setrgbcolor -3428 1215 N +3396 1215 N 0 367 V -22 0 V +23 0 V 0 -367 V --22 0 V +-23 0 V Z stroke 1.000 UL LTb 0.90 0.62 0.00 C -0.180 3460 1217 24 371 BoxColFill +0.180 3429 1217 23 371 BoxColFill LCb setrgbcolor -3460 1217 N +3429 1217 N 0 370 V -23 0 V +22 0 V 0 -370 V --23 0 V +-22 0 V +Z stroke +1.000 UL +LTb +0.90 0.62 0.00 C +0.180 3461 1230 23 378 BoxColFill +LCb setrgbcolor +3461 1230 N +0 377 V +22 0 V +0 -377 V +-22 0 V Z stroke 1.000 UL LTb @@ -4651,95 +4677,96 @@ LTb 2092 1457 M 255 0 V 583 512 M -33 0 V 32 0 V -33 778 V +32 0 V +32 778 V 32 193 V 33 -5 V 32 87 V -33 29 V +32 29 V 32 3 V -33 0 V +32 0 V 32 -5 V 32 0 V -33 -17 V +32 -17 V 32 -483 V -33 2 V -32 -38 V -33 -20 V +32 2 V +33 -38 V +32 -20 V 32 -140 V -33 0 V +32 0 V 32 -5 V 32 150 V -33 -51 V +32 -51 V 32 -17 V -33 -14 V +32 -14 V 32 -15 V 33 -38 V 32 24 V -33 -2 V +32 -2 V 32 -46 V -33 0 V +32 0 V 32 -8 V 32 20 V -33 -3 V +32 -3 V 32 17 V -33 3 V -32 4 V -33 -21 V +32 3 V +33 4 V +32 -21 V +32 0 V 32 0 V -33 0 V 32 26 V 32 -19 V -33 -5 V +32 -5 V 32 169 V -33 51 V +32 51 V 32 14 V 33 -7 V 32 -7 V -33 -5 V +32 -5 V 32 5 V -33 -5 V +32 -5 V 32 5 V 32 -2 V -33 -22 V +32 -22 V 32 0 V -33 -3 V +32 -3 V 32 95 V 33 2 V 32 -2 V -33 -3 V +32 -3 V 32 -5 V 32 -70 V -33 53 V +32 53 V 32 8 V -33 -3 V +32 -3 V 32 -2 V -33 2 V -32 5 V -33 12 V +32 2 V +33 5 V +32 12 V 32 22 V -33 176 V +32 176 V 32 -142 V 32 -20 V -33 5 V +32 5 V 32 -14 V -33 -3 V +32 -3 V 32 5 V 33 -2 V 32 -29 V -33 72 V +32 72 V 32 3 V 32 5 V -33 31 V +32 31 V 32 24 V -33 19 V +32 19 V 32 20 V -33 2 V -32 0 V -33 -2 V -32 -10 V +32 2 V 33 0 V +32 -2 V +32 -10 V +32 0 V +32 0 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 08342261a83d..d315a33207eb 100644 --- a/CodeSamples/formal/data/rcu-test.dat +++ b/CodeSamples/formal/data/rcu-test.dat @@ -88,3 +88,4 @@ v5.16 19359 10362 29721 34.9 "" 19683 10526 30209 34.8 "" 20354 10656 31010 34.4 v6.0 20422 10716 31138 34.4 +"" 20804 10922 31726 34.4 base-commit: afbf53dc158b5966bb25930458f23b8e19e0198b -- 2.25.1
