curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
kepler.eps (36443B)
1 %!PS-Adobe-3.0 EPSF-3.0 2 %%Creator: cairo 1.15.10 (http://cairographics.org) 3 %%CreationDate: Sat Jun 19 17:58:36 2021 4 %%Pages: 1 5 %%DocumentData: Clean7Bit 6 %%LanguageLevel: 2 7 %%BoundingBox: 0 0 174 328 8 %%EndComments 9 %%BeginProlog 10 50 dict begin 11 /q { gsave } bind def 12 /Q { grestore } bind def 13 /cm { 6 array astore concat } bind def 14 /w { setlinewidth } bind def 15 /J { setlinecap } bind def 16 /j { setlinejoin } bind def 17 /M { setmiterlimit } bind def 18 /d { setdash } bind def 19 /m { moveto } bind def 20 /l { lineto } bind def 21 /c { curveto } bind def 22 /h { closepath } bind def 23 /re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto 24 0 exch rlineto 0 rlineto closepath } bind def 25 /S { stroke } bind def 26 /f { fill } bind def 27 /f* { eofill } bind def 28 /n { newpath } bind def 29 /W { clip } bind def 30 /W* { eoclip } bind def 31 /BT { } bind def 32 /ET { } bind def 33 /BDC { mark 3 1 roll /BDC pdfmark } bind def 34 /EMC { mark /EMC pdfmark } bind def 35 /cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def 36 /Tj { show currentpoint cairo_store_point } bind def 37 /TJ { 38 { 39 dup 40 type /stringtype eq 41 { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse 42 } forall 43 currentpoint cairo_store_point 44 } bind def 45 /cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore 46 cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def 47 /Tf { pop /cairo_font exch def /cairo_font_matrix where 48 { pop cairo_selectfont } if } bind def 49 /Td { matrix translate cairo_font_matrix matrix concatmatrix dup 50 /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point 51 /cairo_font where { pop cairo_selectfont } if } bind def 52 /Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def 53 cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def 54 /g { setgray } bind def 55 /rg { setrgbcolor } bind def 56 /d1 { setcachedevice } bind def 57 /cairo_data_source { 58 CairoDataIndex CairoData length lt 59 { CairoData CairoDataIndex get /CairoDataIndex CairoDataIndex 1 add def } 60 { () } ifelse 61 } def 62 /cairo_flush_ascii85_file { cairo_ascii85_file status { cairo_ascii85_file flushfile } if } def 63 /cairo_image { image cairo_flush_ascii85_file } def 64 /cairo_imagemask { imagemask cairo_flush_ascii85_file } def 65 %%EndProlog 66 %%BeginSetup 67 %%EndSetup 68 %%Page: 1 1 69 %%BeginPageSetup 70 %%PageBoundingBox: 0 0 174 328 71 %%EndPageSetup 72 q 0 0 174 328 rectclip 73 1 0 0 -1 0 328 cm q 74 0 g 75 146.609 0.32 m 144.707 0.621 128.109 0.82 109.609 0.723 c 83.109 0.723 76 76.008 0.922 76.406 1.922 c 76.809 2.922 86.508 3.121 121.309 2.82 c 145.809 77 2.621 166.109 2.223 166.406 1.922 c 166.809 1.621 166.809 1.023 166.508 78 0.723 c 165.707 0.023 150.809 -0.277 146.609 0.32 c h 79 146.609 0.32 m f 80 48.508 1.023 m 38.508 1.621 40.207 3.32 50.707 3.32 c 58.008 3.32 59.707 81 3.023 59.707 1.82 c 59.707 0.922 58.906 0.422 57.508 0.523 c 56.207 0.621 82 52.207 0.82 48.508 1.023 c h 83 48.508 1.023 m f 84 2.309 2.223 m 1.906 2.723 1.906 11.32 2.109 21.223 c 2.309 32.223 2.109 85 39.32 1.508 39.32 c 1.008 39.32 0.906 39.82 1.207 40.422 c 1.609 40.922 86 1.809 45.121 1.809 49.621 c 1.707 54.121 1.508 76.723 1.406 99.82 c 1.309 87 122.922 0.809 142.422 0.406 143.023 c -0.094 143.723 -0.094 144.82 0.309 88 145.422 c 1.109 146.723 1.207 181.121 0.406 181.922 c -0.191 182.523 0.609 89 193.523 1.309 194.223 c 1.508 194.422 1.207 195.223 0.609 195.922 c 0.008 90 196.621 -0.191 197.723 0.207 198.32 c 0.508 198.82 0.809 210.422 0.707 91 224.121 c 0.508 262.223 0.508 269.121 0.508 278.82 c 0.508 283.723 0.508 92 294.523 0.508 302.82 c 0.508 311.023 0.609 320.023 0.809 322.723 c 1.207 93 327.523 l 15.906 327.121 l 24.008 326.922 30.906 326.422 31.207 326.121 94 c 31.508 325.82 34.109 326.023 37.008 326.422 c 41.809 327.223 95.109 327.723 95 126.207 327.223 c 133.406 327.121 145.809 327.023 154.008 327.023 c 165.508 96 327.023 168.707 326.723 168.707 325.621 c 168.707 324.023 177.109 324.223 97 82.008 324.121 c 4.707 324.023 l 4.609 321.922 l 4.508 320.723 4.508 319.422 98 4.609 318.922 c 4.707 318.422 5.008 295.422 5.207 267.723 c 5.406 240.023 99 5.809 216.922 6.109 216.422 c 6.508 215.922 6.406 215.223 5.906 214.922 100 c 5.406 214.621 5.207 207.32 5.309 198.621 c 5.508 189.922 5.707 156.422 101 5.707 124.121 c 5.707 85.723 6.109 65.223 6.809 64.723 c 7.508 64.32 7.406 102 63.723 6.707 62.82 c 6.008 62.023 5.809 61.023 6.109 60.422 c 6.809 59.32 103 6.906 30.422 6.309 17.32 c 6.109 12.621 6.207 7.621 6.406 6.023 c 7.008 104 3.32 l 17.309 3.32 l 23.609 3.32 27.707 2.922 27.707 2.32 c 27.707 1.023 105 3.008 0.922 2.309 2.223 c h 106 2.309 2.223 m f 107 168.207 5.023 m 166.906 9.922 166.809 11.422 166.207 168.223 c 165.609 108 298.32 165.707 322.523 166.809 322.121 c 167.906 321.723 168.309 317.922 109 168.508 304.723 c 168.906 284.621 169.008 270.523 168.809 264.32 c 168.707 110 261.82 168.906 241.422 169.207 218.82 c 170.008 158.523 170.109 96.422 111 169.309 89.023 c 168.906 85.422 168.906 82.32 169.406 82.023 c 170.309 81.422 112 170.508 3.723 169.508 2.82 c 169.207 2.523 168.609 3.523 168.207 5.023 113 c h 114 168.207 5.023 m f 115 104.609 28.023 m 104.008 29.621 102.207 33.621 100.609 37.121 c 99.008 116 40.523 97.707 43.621 97.707 43.82 c 97.707 44.121 99.008 44.32 100.707 44.32 117 c 103.406 44.32 103.609 44.121 103.109 41.32 c 102.406 38.223 102.609 38.121 118 109.508 38.32 c 109.906 38.32 110.207 39.723 110.207 41.32 c 110.207 44.121 119 110.406 44.32 114.008 44.32 c 117.809 44.32 l 115.707 41.422 l 114.609 120 39.723 112.309 35.523 110.609 31.922 c 108.906 28.32 107.109 25.32 106.609 121 25.32 c 106.109 25.32 105.207 26.523 104.609 28.023 c h 122 108.609 34.523 m 108.707 35.023 108.008 35.32 107.207 35.32 c 105.707 35.32 123 105.109 32.223 106.406 30.922 c 107.109 30.32 108.406 32.621 108.609 34.523 124 c h 125 108.609 34.523 m f 126 74.207 29.223 m 68.707 31.523 66.809 37.723 70.109 42.621 c 74.309 48.922 127 84.109 48.523 86.809 42.023 c 88.109 38.922 88.207 38.223 87.207 33.621 128 c 86.309 29.621 79.207 27.223 74.207 29.223 c h 129 79.109 32.621 m 78.609 33.422 78.809 33.422 79.809 32.523 c 80.508 31.922 130 81.609 31.32 82.207 31.32 c 82.707 31.422 82.109 32.32 80.809 33.32 c 78.508 131 35.32 l 80.809 35.422 l 82.109 35.422 82.609 35.723 82.008 36.023 c 81.309 132 36.223 80.707 36.922 80.707 37.422 c 80.707 37.82 81.406 38.023 82.207 133 37.723 c 83.008 37.32 83.707 37.422 83.707 37.723 c 83.707 38.121 82.609 134 38.82 81.207 39.32 c 79.609 39.922 78.906 40.723 79.309 41.82 c 80.008 135 43.523 81.309 43.82 82.207 42.32 c 82.508 41.723 83.309 41.32 83.906 41.32 136 c 84.609 41.32 84.508 41.922 83.707 42.82 c 82.406 44.32 78.809 44.723 137 75.008 43.723 c 72.609 43.023 71.109 38.723 72.207 35.32 c 72.906 33.223 138 77.609 30.121 79.008 31.023 c 79.406 31.223 79.406 32.023 79.109 32.621 139 c h 140 79.109 32.621 m f 141 74.707 61.621 m 71.207 63.32 68.207 69.621 69.707 72.32 c 70.609 74.023 142 70.508 74.32 68.508 74.32 c 64.906 74.32 59.707 77.922 59.609 80.523 c 143 59.309 85.82 59.906 87.922 62.309 90.023 c 65.609 93.023 70.906 93.121 73.609 144 90.121 c 75.508 88.121 75.707 88.121 76.309 89.82 c 77.406 92.422 82.406 145 94.223 86.508 93.223 c 90.609 92.32 91.309 91.422 92.109 86.121 c 92.809 146 81.621 90.707 77.621 87.109 76.723 c 85.207 76.223 84.906 75.723 85.707 147 74.422 c 87.309 71.422 87.707 67.121 86.609 65.121 c 85.707 63.422 80.109 148 60.32 78.008 60.32 c 77.609 60.32 76.109 60.922 74.707 61.621 c h 149 79.707 64.723 m 79.707 65.621 80.508 66.023 82.008 65.621 c 83.906 65.223 150 83.809 65.422 81.508 66.82 c 78.207 68.621 77.906 69.82 80.707 69.023 c 151 81.809 68.723 82.707 68.922 82.707 69.422 c 82.707 69.922 82.008 70.32 152 81.207 70.32 c 80.406 70.32 79.707 70.723 79.707 71.32 c 79.707 71.82 80.207 153 72.32 80.809 72.32 c 81.609 72.32 81.508 72.922 80.609 74.023 c 79.309 154 75.523 79.406 75.523 81.406 74.523 c 84.609 72.723 85.207 73.023 83.207 155 75.32 c 79.707 79.223 71.707 76.723 71.707 71.723 c 71.707 68.922 73.406 156 65.223 75.109 64.121 c 76.906 62.82 79.707 63.223 79.707 64.723 c h 157 72.309 77.523 m 72.809 78.223 72.309 78.422 70.906 78.121 c 69.508 77.723 158 68.707 78.121 68.406 79.523 c 67.906 81.121 68.207 81.422 69.809 81.023 159 c 70.809 80.723 71.707 80.922 71.707 81.422 c 71.707 81.922 71.309 82.32 160 70.707 82.32 c 70.207 82.32 69.707 82.723 69.707 83.32 c 69.707 83.922 161 70.609 83.922 72.309 83.223 c 74.707 82.422 74.809 82.422 73.707 83.82 c 162 73.008 84.621 71.906 85.32 71.207 85.32 c 70.609 85.32 70.008 86.023 70.008 163 86.82 c 70.008 87.621 70.707 88.32 71.406 88.32 c 72.207 88.32 72.508 88.723 164 72.207 89.32 c 71.109 91.023 66.207 90.422 63.906 88.32 c 62.707 87.121 165 61.707 85.121 61.707 83.723 c 61.707 78.922 70.109 74.023 72.309 77.523 166 c h 167 88.207 79.32 m 88.508 79.723 87.609 80.422 86.207 80.723 c 84.809 81.121 168 83.707 81.82 83.707 82.422 c 83.707 83.023 84.309 83.023 85.609 82.32 c 169 88.406 80.82 89.707 81.121 89.707 83.023 c 89.707 84.223 89.406 84.422 170 88.906 83.621 c 88.406 82.82 87.508 82.922 85.707 83.922 c 83.309 85.32 171 83.309 85.422 85.508 85.023 c 88.309 84.422 88.406 85.922 85.609 86.82 c 172 84.508 87.223 83.809 87.723 84.109 88.023 c 84.406 88.32 85.809 87.82 87.207 173 86.922 c 89.809 85.223 89.906 85.223 89.508 87.422 c 89.109 90.523 83.707 174 92.223 80.207 90.32 c 77.406 88.82 76.008 83.922 77.707 81.82 c 78.707 175 80.621 78.609 80.32 76.906 80.32 c 75.707 80.32 74.609 80.023 74.406 79.523 176 c 74.109 79.121 77.008 78.723 80.809 78.621 c 84.609 78.523 87.906 78.82 177 88.207 79.32 c h 178 88.207 79.32 m f 179 106.406 74.32 m 106.809 78.422 106.609 80.723 105.707 81.82 c 104.609 83.121 180 105.207 83.32 110.008 83.32 c 114.707 83.32 115.809 82.922 116.707 81.223 181 c 117.609 79.621 117.508 78.82 116.406 77.523 c 115.309 76.32 115.109 75.32 182 115.809 74.121 c 117.207 71.523 113.609 68.32 109.207 68.32 c 105.707 68.32 183 l h 184 113.707 72.82 m 113.707 73.621 112.809 74.32 111.707 74.32 c 110.609 74.32 185 109.707 73.621 109.707 72.82 c 109.707 72.023 110.609 71.32 111.707 71.32 186 c 112.809 71.32 113.707 72.023 113.707 72.82 c h 187 113.609 79.922 m 112.008 81.82 111.008 81.723 110.406 79.422 c 109.809 188 76.82 110.508 76.121 112.906 77.422 c 114.406 78.223 114.609 78.723 113.609 189 79.922 c h 190 113.609 79.922 m f 191 73.309 106.32 m 71.406 108.621 70.906 110.121 71.309 112.223 c 71.809 114.621 192 71.508 115.121 69.207 115.723 c 65.707 116.621 61.707 121.023 61.707 124.023 193 c 61.707 129.621 67.508 134.723 72.707 133.621 c 75.406 133.121 75.609 194 132.82 74.309 132.121 c 73.309 131.621 71.906 131.422 71.008 131.723 c 68.906 195 132.621 64.707 128.621 64.707 125.723 c 64.707 122.121 65.707 120.32 68.609 196 118.82 c 71.508 117.422 79.707 117.82 79.707 119.422 c 79.707 120.723 75.309 197 120.523 74.008 119.223 c 73.207 118.422 72.707 118.422 72.309 119.223 c 198 71.906 119.82 72.109 120.32 72.707 120.32 c 73.309 120.32 73.508 120.723 199 73.207 121.32 c 72.906 121.922 73.609 122.32 74.906 122.422 c 77.207 122.422 200 77.207 122.422 74.707 123.523 c 73.207 124.121 72.707 124.723 73.406 125.023 201 c 74.406 125.32 74.406 126.023 73.609 127.523 c 72.707 129.32 72.809 129.422 202 74.609 128.82 c 76.309 128.32 76.609 128.523 76.008 129.82 c 75.508 131.32 203 75.707 131.32 77.406 130.223 c 78.508 129.621 79.406 128.523 79.406 127.922 204 c 79.309 124.32 79.906 122.422 81.707 120.523 c 84.109 118.023 86.707 117.422 205 84.707 119.82 c 83.906 120.723 83.809 121.32 84.508 121.32 c 85.109 121.32 206 85.906 120.82 86.207 120.32 c 86.508 119.723 87.406 119.32 88.008 119.32 207 c 88.707 119.422 88.109 120.32 86.707 121.523 c 85.309 122.621 84.906 123.422 208 85.707 123.121 c 88.109 122.32 89.707 124.523 87.809 126.121 c 86.406 127.32 209 86.406 127.422 87.809 127.023 c 88.707 126.723 90.008 126.922 90.809 127.422 210 c 92.309 128.422 91.809 128.922 85.508 133.422 c 84.207 134.422 83.609 211 135.523 84.008 135.922 c 84.508 136.422 85.309 136.023 85.809 135.023 c 212 86.406 134.121 87.707 133.32 88.809 133.32 c 90.207 133.32 90.609 133.723 213 90.109 134.523 c 89.609 135.422 89.906 135.422 91.008 134.422 c 92.008 214 133.621 92.707 133.523 92.707 134.121 c 92.707 134.723 92.309 135.523 91.707 215 135.82 c 91.207 136.121 90.707 136.922 90.707 137.523 c 90.707 138.223 216 91.109 138.223 92.008 137.422 c 93.109 136.621 93.309 136.82 93.109 138.621 217 c 93.008 139.82 92.809 140.82 92.707 140.82 c 92.609 140.82 92.406 141.621 218 92.207 142.523 c 92.008 143.523 92.406 144.32 93.008 144.32 c 93.809 144.32 219 93.809 144.621 93.008 145.422 c 91.008 147.422 86.707 145.523 84.508 141.723 220 c 83.008 139.121 82.207 138.523 81.609 139.523 c 81.109 140.223 80.707 221 140.523 80.707 140.023 c 80.707 139.621 79.609 140.023 78.207 140.922 c 222 75.406 142.723 75.809 144.922 78.707 143.32 c 81.906 141.621 83.109 142.223 223 80.406 144.32 c 77.109 146.922 70.707 147.523 70.707 145.223 c 70.707 144.621 224 70.008 143.523 69.109 142.621 c 68.109 141.523 67.809 140.121 68.207 138.121 225 c 68.809 135.422 68.707 135.32 66.109 135.723 c 62.309 136.422 60.609 138.32 226 63.809 138.422 c 66.207 138.422 l 63.707 139.422 l 61.707 140.223 61.508 227 140.621 62.707 141.32 c 63.609 141.922 63.707 142.32 63.008 142.32 c 62.406 228 142.32 61.508 143.223 61.207 144.32 c 60.406 146.922 57.109 146.922 55.707 229 144.422 c 52.809 138.922 56.109 133.82 61.707 134.922 c 64.207 135.523 230 64.906 135.32 64.508 134.223 c 64.309 133.523 62.508 132.523 60.707 132.223 231 c 57.906 131.621 56.906 131.922 54.508 134.32 c 49.109 139.723 51.609 147.82 232 59.008 149.023 c 62.109 149.523 63.207 149.121 65.207 147.32 c 67.707 145.023 233 l 70.008 147.121 l 73.008 149.922 76.508 149.922 80.207 146.922 c 83.207 234 144.523 l 86.008 146.922 l 91.508 151.523 99.109 146.723 98.508 139.023 235 c 98.207 134.922 98.008 134.723 91.906 131.621 c 91.707 131.523 92.309 236 130.32 93.309 128.922 c 95.609 125.32 94.207 120.422 90.207 118.32 c 86.008 237 116.223 86.109 116.32 87.609 115.422 c 88.309 114.922 88.906 112.922 89.008 238 110.82 c 89.109 105.922 86.109 103.32 80.207 103.32 c 76.609 103.32 75.406 239 103.82 73.309 106.32 c h 240 82.309 105.621 m 83.109 105.32 83.707 105.523 83.707 106.121 c 83.707 106.621 241 83.008 107.422 82.109 107.723 c 81.207 108.121 80.707 108.621 81.008 108.922 242 c 81.309 109.223 82.508 109.023 83.609 108.32 c 85.008 107.621 85.707 107.621 243 85.707 108.32 c 85.707 108.82 85.207 109.32 84.609 109.32 c 84.008 109.32 244 83.707 110.023 84.109 110.82 c 84.406 111.621 84.207 112.32 83.809 112.32 245 c 83.309 112.32 82.609 113.023 82.309 113.922 c 81.906 115.121 82.109 115.422 246 83.207 115.023 c 84.008 114.621 84.906 114.82 85.207 115.32 c 86.008 116.621 247 81.309 117.723 78.207 116.922 c 74.707 116.023 73.207 112.82 74.707 109.223 248 c 76.109 105.922 78.707 104.023 80.109 105.32 c 80.609 105.82 81.609 105.922 249 82.309 105.621 c h 250 95.707 142.32 m 95.707 142.82 95.508 143.32 95.309 143.32 c 95.008 143.32 251 94.508 142.82 94.207 142.32 c 93.906 141.723 94.109 141.32 94.609 141.32 252 c 95.207 141.32 95.707 141.723 95.707 142.32 c h 253 64.707 145.32 m 64.707 145.82 64.309 146.32 63.707 146.32 c 63.207 146.32 254 62.707 145.82 62.707 145.32 c 62.707 144.723 63.207 144.32 63.707 144.32 255 c 64.309 144.32 64.707 144.723 64.707 145.32 c h 256 64.707 145.32 m f 257 87.109 128.82 m 85.406 130.121 85.406 130.223 86.906 130.32 c 87.809 130.32 258 88.906 129.82 89.207 129.223 c 90.309 127.523 89.207 127.223 87.109 128.82 259 c h 260 87.109 128.82 m f 261 115.707 131.023 m 109.707 131.922 108.906 132.422 107.809 135.422 c 105.809 262 141.32 109.207 146.023 115.906 146.523 c 118.609 146.82 119.309 146.422 263 119.508 144.621 c 119.809 142.621 119.406 142.422 116.207 142.523 c 111.906 264 142.723 110.207 141.32 111.109 138.023 c 111.809 135.223 115.109 133.922 265 117.906 135.422 c 119.508 136.223 119.707 136.023 119.707 133.32 c 119.707 266 131.723 119.406 130.422 119.008 130.422 c 118.508 130.523 117.109 130.723 267 115.707 131.023 c h 268 115.707 131.023 m f 269 81.207 132.32 m 81.508 132.82 82.309 133.32 82.809 133.32 c 83.406 133.32 270 83.508 132.82 83.207 132.32 c 82.906 131.723 82.109 131.32 81.609 131.32 271 c 81.008 131.32 80.906 131.723 81.207 132.32 c h 272 81.207 132.32 m f 273 76.008 134.422 m 74.707 135.723 75.406 138.621 76.906 137.723 c 77.508 274 137.32 77.406 136.723 76.609 136.121 c 75.609 135.422 76.008 135.32 78.008 275 135.621 c 79.809 135.922 80.609 135.621 80.406 134.922 c 79.906 133.32 276 77.406 133.023 76.008 134.422 c h 277 76.008 134.422 m f 278 74.207 163.82 m 72.707 165.422 71.707 167.523 71.707 169.32 c 71.707 171.723 279 71.109 172.523 68.309 173.723 c 64.508 175.32 61.707 178.723 61.707 182.023 280 c 61.707 185.621 63.906 189.32 66.406 189.922 c 69.109 190.621 69.207 191.121 281 67.109 193.523 c 65.508 195.223 65.309 195.223 63.109 192.82 c 59.809 189.223 282 55.906 189.523 51.809 193.723 c 48.508 197.121 48.309 198.023 50.207 202.523 283 c 50.707 203.82 50.406 204.32 49.109 204.32 c 48.008 204.32 45.707 205.223 284 44.008 206.32 c 41.207 208.023 40.707 208.922 40.707 212.023 c 40.707 217.523 285 44.508 221.32 49.809 221.32 c 52.406 221.32 54.008 220.82 54.309 219.82 286 c 55.109 217.723 57.406 217.922 58.109 220.121 c 59.207 223.32 63.008 224.723 287 67.109 223.32 c 70.707 222.121 72.406 220.723 71.309 219.621 c 70.906 219.223 288 70.109 219.523 69.508 220.121 c 67.508 222.121 62.309 221.523 59.906 219.023 289 c 57.207 216.121 56.109 211.82 57.906 210.723 c 58.809 210.121 58.508 209.723 290 56.707 209.32 c 53.309 208.422 50.508 209.32 51.109 210.922 c 51.406 211.723 291 51.109 212.32 50.508 212.32 c 49.809 212.32 50.508 213.32 51.906 214.422 292 c 54.207 216.223 54.406 216.82 53.207 217.922 c 51.609 219.621 48.309 219.723 293 45.609 218.32 c 44.207 217.523 43.707 216.223 43.707 213.32 c 43.707 207.723 294 46.809 205.723 54.008 206.82 c 56.906 207.223 60.406 207.523 62.008 207.523 295 c 63.508 207.422 64.707 207.723 64.707 208.223 c 64.707 208.621 65.707 296 208.922 67.008 208.922 c 68.207 208.82 69.109 209.32 68.906 210.023 c 68.809 297 210.723 69.109 211.32 69.707 211.32 c 71.406 211.32 70.809 213.422 68.508 298 215.422 c 67.207 216.422 66.809 217.223 67.508 217.32 c 68.109 217.32 68.707 299 216.82 68.707 216.32 c 68.707 215.723 69.207 215.32 69.809 215.32 c 70.609 300 215.32 70.609 215.82 69.707 216.82 c 68.707 218.121 68.809 218.32 70.508 301 218.32 c 71.707 218.32 73.707 219.422 75.109 220.82 c 76.609 222.32 78.809 302 223.32 80.508 223.32 c 83.609 223.32 87.609 220.922 86.406 219.723 c 86.008 303 219.32 85.109 219.523 84.508 220.121 c 81.906 222.723 74.309 219.922 73.309 304 216.023 c 72.609 213.32 75.207 208.621 77.707 207.82 c 80.809 206.82 80.109 305 205.32 76.809 205.922 c 72.008 206.922 66.809 203.121 66.707 198.621 c 306 66.707 195.422 71.207 190.922 73.707 191.621 c 75.309 192.023 76.008 191.523 307 76.809 189.621 c 77.809 187.023 l 80.707 189.922 l 83.609 192.82 l 79.609 308 193.121 l 77.508 193.32 75.707 193.82 75.707 194.422 c 75.707 194.922 76.207 309 195.32 76.906 195.32 c 77.508 195.32 77.207 196.023 76.109 196.82 c 75.109 310 197.621 74.609 198.32 75.008 198.32 c 75.508 198.32 77.109 197.422 78.508 311 196.223 c 81.207 194.121 l 81.508 196.223 l 82.008 199.121 83.309 198.82 312 84.109 195.82 c 84.508 194.32 86.008 192.723 88.008 191.922 c 91.207 190.523 313 l 87.508 190.422 l 83.508 190.32 80.707 188.223 80.707 185.32 c 80.707 314 182.523 77.309 180.922 74.508 182.422 c 72.207 183.621 l 75.109 184.82 l 315 78.008 186.023 l 75.609 187.723 l 72.809 189.621 71.609 189.723 68.309 316 188.121 c 64.508 186.422 63.707 181.023 66.809 177.723 c 69.406 174.922 317 71.309 174.723 75.309 176.82 c 78.609 178.523 83.309 178.82 84.207 177.32 318 c 84.508 176.723 85.809 176.32 87.008 176.32 c 88.809 176.32 88.906 176.523 319 87.707 177.32 c 86.508 178.121 86.609 178.422 88.609 178.922 c 91.008 179.621 320 l 88.609 181.422 l 86.207 183.32 l 89.207 183.32 l 91.707 183.422 91.906 321 183.523 90.508 184.422 c 88.008 185.82 88.207 187.723 90.609 186.32 c 93.707 322 184.723 94.207 185.121 92.109 187.422 c 90.707 189.023 90.609 189.523 91.707 323 189.121 c 92.508 188.922 94.008 187.32 95.008 185.621 c 97.309 181.621 324 95.906 178.223 91.008 175.922 c 89.109 175.023 87.906 173.82 88.207 173.32 325 c 90.309 169.82 88.609 163.223 85.207 161.922 c 81.406 160.523 76.809 161.32 326 74.207 163.82 c h 327 80.906 165.32 m 80.707 166.223 81.508 166.422 83.906 166.023 c 86.906 165.422 328 87.008 165.523 85.406 166.723 c 84.309 167.523 82.906 167.922 82.207 167.723 329 c 81.508 167.422 80.609 167.723 80.207 168.32 c 79.809 169.023 80.406 169.723 330 81.609 170.023 c 84.008 170.621 84.207 171.422 82.508 173.223 c 81.406 331 174.32 81.609 174.422 83.508 173.82 c 86.008 173.121 86.609 174.723 84.109 332 175.723 c 81.309 176.82 78.008 176.32 75.809 174.523 c 73.906 173.023 73.809 333 172.422 74.707 169.121 c 75.809 165.422 78.207 163.023 80.207 163.723 c 334 80.809 163.922 81.109 164.621 80.906 165.32 c h 335 60.207 193.523 m 62.008 194.32 62.406 194.922 61.508 195.523 c 60.609 196.023 336 60.809 196.32 62.207 196.32 c 63.906 196.32 63.707 196.621 61.207 198.422 337 c 58.609 200.223 58.508 200.422 60.508 200.023 c 62.406 199.523 62.609 338 199.723 61.609 200.922 c 60.707 202.023 60.809 202.32 62.109 202.32 c 63.008 339 202.32 63.707 202.82 63.707 203.422 c 63.707 204.023 64.309 204.32 65.109 340 204.023 c 65.906 203.723 67.707 204.32 69.008 205.422 c 70.406 206.422 341 72.008 207.32 72.609 207.32 c 73.207 207.32 73.707 207.723 73.707 208.223 342 c 73.707 209.723 71.906 210.523 71.207 209.32 c 69.707 206.922 63.109 204.621 343 58.809 205.121 c 55.309 205.422 54.109 205.223 53.008 203.723 c 50.809 344 200.723 51.406 196.723 54.309 194.422 c 57.406 191.922 57.008 192.023 60.207 345 193.523 c h 346 60.207 193.523 m f 347 73.109 179.223 m 73.109 180.422 73.707 180.922 74.906 180.523 c 75.906 348 180.32 76.707 179.922 76.707 179.723 c 76.707 179.523 75.906 178.922 74.906 349 178.422 c 73.508 177.723 73.109 177.82 73.109 179.223 c h 350 73.109 179.223 m f 351 72.707 186.422 m 72.707 186.922 73.207 187.121 73.707 186.82 c 74.309 186.523 352 74.707 186.023 74.707 185.723 c 74.707 185.523 74.309 185.32 73.707 185.32 353 c 73.207 185.32 72.707 185.82 72.707 186.422 c h 354 72.707 186.422 m f 355 93.609 191.723 m 94.508 192.723 94.406 193.223 93.207 193.723 c 92.406 356 194.023 91.707 194.723 91.707 195.32 c 91.707 195.922 92.207 196.121 92.707 357 195.82 c 93.309 195.523 94.008 195.922 94.406 196.82 c 94.707 197.82 94.406 358 198.922 93.609 199.422 c 92.707 200.023 92.609 200.32 93.406 200.32 c 94.008 359 200.32 94.906 199.82 95.207 199.32 c 95.508 198.723 96.309 198.32 96.906 360 198.32 c 97.508 198.32 97.207 199.223 96.207 200.32 c 94.508 202.223 94.508 361 202.32 96.309 202.32 c 100.309 202.422 93.406 206.32 89.207 206.32 c 85.809 362 206.422 85.508 206.621 87.406 207.32 c 88.906 207.922 89.508 208.82 89.109 363 209.82 c 88.809 210.621 89.008 211.32 89.609 211.32 c 90.207 211.32 90.707 364 210.922 90.707 210.32 c 90.707 208.723 94.809 207.121 97.309 207.723 c 365 99.906 208.422 100.609 210.32 98.207 210.32 c 97.406 210.32 96.707 210.82 366 96.707 211.422 c 96.707 212.023 97.609 212.223 98.707 211.82 c 101.906 367 210.82 101.008 213.023 97.707 214.223 c 93.906 215.523 93.809 216.621 97.508 368 215.723 c 99.906 215.023 100.109 215.121 98.809 216.723 c 97.609 218.121 369 97.609 218.32 99.109 217.723 c 101.707 216.723 100.906 218.922 98.207 220.121 370 c 94.707 221.723 91.309 220.223 89.707 216.32 c 89.008 214.621 87.508 212.82 371 86.309 212.223 c 84.406 211.32 84.309 211.32 86.008 212.621 c 88.406 214.621 372 87.207 217.023 83.508 217.82 c 81.906 218.223 80.809 218.723 81.109 219.023 373 c 81.406 219.32 82.906 219.121 84.406 218.523 c 86.809 217.723 87.707 217.922 374 90.008 219.922 c 93.508 222.922 99.609 223.223 102.109 220.422 c 103.008 375 219.422 104.008 217.023 104.207 215.023 c 104.609 212.121 104.207 211.023 376 101.609 208.523 c 98.809 205.723 98.609 205.121 99.508 202.422 c 100.809 377 198.82 100.109 195.523 97.406 192.523 c 95.109 190.121 91.609 189.223 93.609 378 191.723 c h 379 93.609 191.723 m f 380 76.609 200.023 m 75.609 201.121 75.609 201.422 76.508 200.922 c 77.109 381 200.523 77.707 200.621 77.707 201.023 c 77.707 201.523 77.109 202.523 76.508 382 203.223 c 75.406 204.32 75.609 204.32 77.406 203.422 c 78.609 202.82 79.906 383 201.82 80.207 201.32 c 80.609 200.723 81.609 201.223 82.707 202.523 c 84.508 384 204.723 85.508 204.023 83.906 201.723 c 83.207 200.723 79.406 198.32 78.406 385 198.32 c 78.109 198.32 77.309 199.121 76.609 200.023 c h 386 76.609 200.023 m f 387 118.008 201.621 m 119.906 203.223 120.406 210.723 118.707 211.82 c 116.406 388 213.223 118.008 214.023 122.508 213.621 c 128.609 212.922 131.406 211.121 389 131.906 207.422 c 132.609 202.922 130.008 201.023 122.406 200.621 c 116.906 390 200.223 116.406 200.422 118.008 201.621 c h 391 128.609 206.922 m 128.906 208.723 126.309 211.32 124.008 211.32 c 122.609 392 211.32 122.109 204.223 123.406 203.023 c 124.406 201.922 128.109 204.82 393 128.609 206.922 c h 394 128.609 206.922 m f 395 80.707 207.82 m 80.707 209.523 80.906 209.621 83.109 208.723 c 84.906 208.023 396 84.309 206.32 82.109 206.32 c 81.309 206.32 80.707 207.023 80.707 207.82 397 c h 398 80.707 207.82 m f 399 65.207 211.32 m 64.906 211.82 65.008 212.32 65.609 212.32 c 66.109 212.32 400 66.906 211.82 67.207 211.32 c 67.508 210.723 67.406 210.32 66.809 210.32 401 c 66.309 210.32 65.508 210.723 65.207 211.32 c h 402 65.207 211.32 m f 403 82.109 215.82 m 81.109 216.621 80.707 217.223 81.207 217.32 c 82.707 217.32 404 85.207 215.523 84.609 214.922 c 84.309 214.621 83.207 215.023 82.109 215.82 405 c h 406 82.109 215.82 m f 407 49.508 218.023 m 50.207 218.32 51.109 218.223 51.406 217.922 c 51.809 217.621 408 51.207 217.32 50.109 217.422 c 49.008 217.422 48.707 217.723 49.508 218.023 409 c h 410 49.508 218.023 m f 411 65.207 219.32 m 64.906 219.82 65.309 220.32 66.109 220.32 c 66.906 220.32 412 67.906 219.82 68.207 219.32 c 68.508 218.723 68.109 218.32 67.309 218.32 413 c 66.508 218.32 65.508 218.723 65.207 219.32 c h 414 65.207 219.32 m f 415 79.707 234.32 m 78.508 235.523 77.707 237.621 77.707 239.82 c 77.707 243.121 416 77.508 243.32 74.207 243.32 c 69.809 243.32 65.707 247.223 65.707 251.422 417 c 65.707 254.422 70.508 259.32 73.508 259.32 c 74.707 259.32 74.809 259.621 418 74.008 260.422 c 73.109 261.32 72.008 261.023 69.406 259.422 c 65.508 257.023 419 63.609 257.32 59.508 261.121 c 55.707 264.621 55.906 267.523 60.309 271.121 420 c 62.609 273.121 63.508 274.32 62.707 274.82 c 62.109 275.223 60.609 274.621 421 59.406 273.523 c 56.109 270.621 53.309 270.023 49.309 271.723 c 45.508 422 273.32 44.008 276.523 45.207 280.223 c 46.207 283.523 47.707 282.723 47.707 423 278.82 c 47.707 275.023 49.707 273.32 54.109 273.32 c 56.906 273.32 58.309 424 274.82 56.508 275.922 c 55.707 276.422 55.906 276.922 57.309 277.422 c 425 59.207 278.121 59.207 278.121 57.207 278.922 c 54.508 280.121 54.008 282.723 426 56.707 281.82 c 57.809 281.422 58.707 281.621 58.707 282.223 c 58.707 282.82 427 57.707 283.32 56.508 283.422 c 54.207 283.422 l 56.508 284.32 l 59.906 428 285.723 62.008 284.523 61.406 281.523 c 60.707 277.82 65.707 272.82 69.406 429 273.723 c 71.406 274.32 71.809 274.121 71.406 272.922 c 70.609 270.922 430 71.707 270.922 75.109 272.621 c 78.207 274.32 77.508 275.32 73.008 275.32 431 c 69.508 275.32 68.508 276.82 71.508 277.621 c 73.109 278.023 73.109 278.121 432 71.508 278.223 c 68.406 278.422 69.609 280.32 72.809 280.32 c 74.406 280.32 433 75.609 280.023 75.309 279.523 c 74.008 277.422 80.707 272.723 83.508 273.82 434 c 84.906 274.32 84.906 274.523 83.707 275.422 c 82.609 276.223 82.809 276.32 435 84.609 275.82 c 86.406 275.223 86.809 275.422 86.109 276.422 c 84.707 278.723 436 84.809 280.32 86.406 280.32 c 87.508 280.32 87.309 280.82 85.707 282.121 437 c 83.406 283.922 l 86.707 283.723 l 88.809 283.621 91.109 284.32 92.906 438 285.621 c 96.309 288.121 96.406 288.922 93.508 289.723 c 92.207 290.023 439 90.109 291.223 88.707 292.422 c 86.207 294.422 l 88.707 293.723 l 90.109 440 293.32 91.508 292.621 91.809 292.121 c 92.109 291.621 92.809 291.32 93.309 441 291.523 c 93.809 291.723 95.207 290.82 96.508 289.523 c 97.707 288.32 99.809 442 287.32 101.207 287.32 c 104.008 287.32 104.609 288.82 102.109 289.723 c 443 100.906 290.223 100.809 290.523 101.906 291.723 c 102.609 292.523 103.707 444 292.922 104.207 292.621 c 104.809 292.422 103.906 293.32 102.207 294.723 445 c 98.906 297.523 99.906 298.32 103.508 295.723 c 104.809 294.82 106.109 446 294.32 106.309 294.621 c 107.309 295.621 102.309 299.32 100.109 299.32 447 c 97.609 299.32 94.707 296.922 94.707 294.723 c 94.707 292.523 92.309 293.121 448 91.207 295.523 c 90.008 298.32 84.008 299.32 83.109 296.922 c 82.207 294.523 449 77.109 293.922 74.508 295.82 c 72.207 297.523 72.207 297.523 75.508 296.82 450 c 79.406 296.023 79.906 297.922 76.207 299.32 c 70.508 301.523 65.109 296.223 451 67.809 291.223 c 68.707 289.32 68.707 289.223 66.809 290.223 c 65.707 290.82 452 63.906 291.32 62.809 291.32 c 61.707 291.32 60.508 291.82 60.109 292.422 453 c 59.609 293.32 60.207 293.422 62.309 292.922 c 65.008 292.32 64.906 292.523 454 61.207 294.922 c 59.008 296.32 58.109 297.223 59.207 296.82 c 63.406 295.32 455 64.707 295.121 64.707 296.023 c 64.707 297.223 60.309 299.32 57.809 299.32 456 c 54.906 299.32 52.406 295.82 53.109 292.82 c 53.508 291.422 53.309 290.32 457 52.707 290.32 c 52.207 290.32 51.707 290.723 51.707 291.32 c 51.707 291.82 458 50.707 292.32 49.508 292.32 c 48.207 292.32 46.508 292.82 45.707 293.422 459 c 44.609 294.223 44.906 294.32 47.207 293.82 c 50.207 293.223 l 47.207 460 295.422 l 45.508 296.621 45.008 297.223 46.207 296.82 c 47.309 296.422 49.109 461 295.922 50.207 295.621 c 52.008 295.223 52.008 295.32 49.809 297.223 c 462 48.508 298.422 46.707 299.32 45.809 299.32 c 41.309 299.223 38.809 293.121 463 41.809 289.223 c 43.207 287.32 44.309 286.922 48.309 287.121 c 50.906 287.223 464 53.309 287.621 53.609 288.023 c 54.406 289.023 61.809 289.023 63.309 288.121 465 c 63.906 287.723 65.508 287.621 66.809 287.82 c 69.508 288.422 75.109 287.422 466 74.309 286.621 c 74.008 286.223 74.508 285.422 75.508 284.723 c 77.109 467 283.621 77.008 283.422 74.406 282.422 c 72.109 281.523 71.109 281.621 69.406 468 282.922 c 67.309 284.422 67.309 284.523 70.707 283.82 c 73.809 283.121 469 74.008 283.223 72.809 284.723 c 72.008 285.723 69.906 286.422 67.809 286.422 470 c 65.809 286.422 62.906 286.422 61.207 286.523 c 59.609 286.523 54.809 471 286.223 50.707 285.82 c 43.906 285.121 43.008 285.32 40.508 287.32 c 34.707 472 291.82 38.309 301.32 45.707 301.32 c 47.809 301.32 50.008 300.723 50.707 473 299.82 c 51.906 298.422 52.207 298.422 54.309 299.82 c 57.309 301.723 62.109 474 301.723 63.707 299.82 c 65.109 298.223 67.707 297.82 67.707 299.223 c 67.707 475 299.723 69.109 300.621 70.707 301.32 c 73.109 302.32 74.309 302.32 76.707 476 301.32 c 78.309 300.621 79.406 299.723 79.207 299.32 c 78.207 297.723 81.008 477 297.023 82.109 298.523 c 84.109 301.121 88.207 301.523 91.008 299.223 c 478 93.609 297.223 l 95.707 299.32 l 98.609 302.223 105.109 302.121 107.109 479 299.121 c 109.707 295.422 109.109 290.523 105.707 287.523 c 103.008 285.121 480 102.906 284.82 104.309 283.223 c 105.207 282.223 105.707 280.223 105.508 481 278.121 c 105.309 275.422 104.508 274.422 101.207 272.723 c 97.508 270.82 482 97.008 270.723 94.207 272.121 c 92.609 272.922 90.906 274.023 90.609 274.621 483 c 89.906 275.621 83.707 273.422 83.707 272.121 c 83.707 271.023 86.109 484 271.121 87.508 272.32 c 88.207 272.82 88.008 272.523 87.207 271.621 c 85.906 485 270.121 85.207 270.023 82.609 271.023 c 80.309 271.922 78.809 271.922 75.906 486 270.922 c 72.707 269.82 72.207 269.223 72.508 266.922 c 72.809 265.023 487 72.406 264.32 71.207 264.32 c 70.309 264.32 69.906 264.723 70.207 265.32 488 c 70.508 265.82 69.906 266.32 68.809 266.32 c 67.609 266.32 66.707 266.723 489 66.707 267.32 c 66.707 267.82 67.609 268.32 68.707 268.32 c 71.109 268.32 490 71.406 269.82 69.109 270.723 c 65.809 272.023 61.809 271.32 60.707 269.422 491 c 59.207 266.422 59.508 264.82 62.109 262.023 c 64.707 259.223 66.609 259.223 492 69.906 262.121 c 71.406 263.422 71.906 263.32 74.207 261.523 c 76.207 259.922 493 77.707 259.523 80.008 260.023 c 84.809 260.922 85.609 262.121 82.707 264.32 494 c 81.309 265.32 80.609 266.523 80.906 266.922 c 81.309 267.32 80.906 268.223 495 79.906 268.922 c 78.809 269.82 79.809 269.621 82.609 268.621 c 86.707 267.023 496 86.906 266.82 84.609 266.223 c 82.207 265.523 l 84.508 265.422 l 85.809 497 265.32 86.609 264.922 86.207 264.422 c 85.406 263.023 89.109 261.32 92.906 498 261.422 c 95.609 261.422 95.906 261.621 94.207 262.32 c 92.906 262.922 499 92.707 263.223 93.707 263.223 c 95.008 263.32 95.008 263.523 93.809 264.223 500 c 92.609 265.023 92.609 265.422 94.008 266.723 c 94.809 267.621 96.008 501 268.32 96.508 268.32 c 97.109 268.32 97.809 268.922 98.008 269.523 c 98.406 502 270.523 98.809 270.422 99.609 269.32 c 101.406 266.82 100.809 264.223 97.809 503 261.621 c 95.008 259.223 95.008 259.023 96.406 255.023 c 97.906 250.523 504 97.906 250.523 91.207 245.523 c 90.707 245.121 88.609 245.32 86.707 246.023 505 c 83.008 247.32 83.406 247.621 88.008 247.32 c 90.906 247.121 93.707 248.723 506 93.707 250.621 c 93.707 251.422 93.406 251.422 92.609 250.621 c 92.008 507 250.023 90.809 249.723 89.906 250.121 c 88.609 250.621 88.707 250.82 90.309 508 251.422 c 92.109 252.121 92.109 252.223 90.008 252.922 c 88.707 253.223 509 87.707 253.922 87.707 254.32 c 87.707 254.82 88.707 254.922 90.008 254.621 510 c 91.809 254.223 91.906 254.32 90.707 255.223 c 89.809 255.922 89.707 256.32 511 90.406 256.32 c 91.008 256.32 91.906 255.82 92.207 255.32 c 93.508 253.223 512 94.609 254.422 93.609 256.723 c 92.109 259.922 87.109 260.922 84.406 258.621 513 c 82.906 257.223 82.609 255.922 83.008 252.621 c 83.508 247.82 82.309 247.121 514 77.707 249.82 c 75.207 251.32 l 78.008 250.723 l 79.707 250.32 80.707 250.523 515 80.707 251.223 c 80.707 251.82 79.609 252.32 78.207 252.32 c 76.809 252.32 516 75.707 252.723 75.707 253.32 c 75.707 254.32 77.109 254.723 79.609 254.32 517 c 80.906 254.223 80.906 254.422 79.809 255.723 c 79.008 256.621 76.906 518 257.32 75.109 257.32 c 70.906 257.32 68.309 253.922 69.309 249.82 c 70.109 519 246.523 73.609 245.121 78.809 245.922 c 82.609 246.523 84.406 245.121 81.207 520 243.922 c 79.309 243.223 79.309 239.32 81.309 236.523 c 83.109 233.922 521 87.809 233.523 89.707 235.82 c 90.809 237.121 90.609 237.723 88.707 239.32 522 c 87.406 240.422 86.707 241.32 87.207 241.32 c 87.609 241.32 87.309 242.121 523 86.609 243.023 c 85.406 244.523 85.406 244.621 87.008 244.023 c 88.008 524 243.621 89.109 243.32 89.309 243.32 c 89.508 243.32 89.707 242.621 89.707 525 241.82 c 89.707 241.023 90.207 240.32 90.809 240.32 c 91.406 240.32 91.609 526 241.223 91.207 242.32 c 90.707 243.723 91.008 244.32 92.109 244.32 c 93.609 527 244.32 94.207 242.023 93.707 238.32 c 93.008 232.82 83.809 230.223 79.707 528 234.32 c h 529 98.508 274.723 m 97.508 275.422 96.707 276.422 96.707 276.922 c 96.707 530 277.32 97.207 277.223 97.906 276.523 c 99.609 274.82 101.207 275.023 99.707 531 276.82 c 98.707 278.023 98.809 278.32 100.309 278.32 c 102.109 278.422 532 102.109 278.422 100.309 279.82 c 98.508 281.223 98.508 281.32 100.109 281.32 533 c 103.008 281.32 101.508 284.621 98.207 285.523 c 95.707 286.223 94.906 534 285.922 93.008 283.723 c 91.707 282.32 90.707 280.121 90.707 278.82 c 90.707 535 276.023 94.109 273.32 97.707 273.32 c 100.008 273.422 100.109 273.523 98.508 536 274.723 c h 537 98.508 274.723 m f 538 76.508 248.023 m 77.207 248.32 78.109 248.223 78.406 247.922 c 78.809 247.621 539 78.207 247.32 77.109 247.422 c 76.008 247.422 75.707 247.723 76.508 248.023 540 c h 541 76.508 248.023 m f 542 172.207 261.32 m 172.508 261.82 173.008 262.32 173.309 262.32 c 173.508 543 262.32 173.707 261.82 173.707 261.32 c 173.707 260.723 173.207 260.32 172.609 544 260.32 c 172.109 260.32 171.906 260.723 172.207 261.32 c h 545 172.207 261.32 m f 546 117.109 270.422 m 116.906 270.82 117.406 271.422 118.309 271.723 c 119.609 547 272.223 119.906 273.523 119.508 278.82 c 119.109 285.32 l 125.207 285.32 548 l 130.008 285.32 131.508 284.922 132.406 283.422 c 134.008 280.922 132.906 549 280.023 130.309 281.82 c 127.707 283.723 124.109 283.723 123.406 281.922 550 c 122.609 280.023 123.508 279.32 126.906 279.32 c 129.809 279.32 130.207 551 278.723 128.906 276.621 c 128.406 275.82 127.609 275.723 126.707 276.32 552 c 124.309 277.922 122.707 277.422 122.707 275.32 c 122.707 273.723 123.406 553 273.32 126.109 273.32 c 128.008 273.32 129.906 273.723 130.207 274.32 c 554 131.508 276.422 132.609 275.223 131.609 272.922 c 130.609 270.723 129.707 555 270.422 124.008 270.121 c 120.406 269.922 117.309 270.121 117.109 270.422 556 c h 557 117.109 270.422 m f 558 83.008 286.32 m 81.707 286.82 80.707 287.922 80.707 288.82 c 80.707 290.723 559 82.309 290.82 83.109 288.82 c 83.809 287.023 90.309 286.723 91.008 288.523 560 c 91.207 289.223 91.809 289.523 92.207 289.121 c 93.406 288.023 90.109 561 285.32 87.508 285.422 c 86.207 285.422 84.207 285.82 83.008 286.32 c h 562 83.008 286.32 m f 563 76.207 288.32 m 76.508 288.82 77.309 289.32 77.809 289.32 c 78.406 289.32 564 78.508 288.82 78.207 288.32 c 77.906 287.723 77.109 287.32 76.609 287.32 565 c 76.008 287.32 75.906 287.723 76.207 288.32 c h 566 76.207 288.32 m f 567 47.207 289.32 m 49.109 290.121 49.109 290.223 47.309 290.223 c 46.207 290.32 568 45.609 290.621 46.008 290.922 c 46.309 291.223 47.508 291.223 48.809 290.82 569 c 50.508 290.223 50.707 289.922 49.609 289.223 c 48.809 288.723 47.508 570 288.422 46.707 288.422 c 45.707 288.422 45.906 288.723 47.207 289.32 c h 571 47.207 289.32 m f 572 78.707 292.32 m 80.707 293.621 82.008 293.621 81.207 292.32 c 80.906 291.723 573 79.809 291.32 78.906 291.32 c 77.406 291.32 77.406 291.523 78.707 292.32 574 c h 575 78.707 292.32 m f 576 Q Q 577 showpage 578 %%Trailer 579 end 580 %%EOF