/src/GooMF/GooMFGenerator/ltl3tools-0.0.7/Dwyer's list/ltl4graphs_1.1/n39.ps

https://bitbucket.org/embedded_software_group/rvtool · Unknown · 521 lines · 499 code · 22 blank · 0 comment · 0 complexity · 255da3d697a84c1d4041c1f55993a52e MD5 · raw file 

    

  1. %!PS-Adobe-3.0
    2. 

  2. %%Creator: graphviz version 2.26.3 (20100126.1600)
    3. 

  3. %%Title: G
    4. 

  4. %%Pages: (atend)
    5. 

  5. %%BoundingBox: (atend)
    6. 

  6. %%EndComments
    7. 

  7. save
    8. 

  8. %%BeginProlog
    9. 

  9. /DotDict 200 dict def
    10. 

  10. DotDict begin
    11. 

  11. 

  12. /setupLatin1 {
    13. 

  13. mark
    14. 

  14. /EncodingVector 256 array def
    15. 

  15.  EncodingVector 0
    16. 

  16. 

  17. ISOLatin1Encoding 0 255 getinterval putinterval
    18. 

  18. EncodingVector 45 /hyphen put
    19. 

  19. 

  20. % Set up ISO Latin 1 character encoding
    21. 

  21. /starnetISO {
    22. 

  22.         dup dup findfont dup length dict begin
    23. 

  23.         { 1 index /FID ne { def }{ pop pop } ifelse
    24. 

  24.         } forall
    25. 

  25.         /Encoding EncodingVector def
    26. 

  26.         currentdict end definefont
    27. 

  27. } def
    28. 

  28. /Times-Roman starnetISO def
    29. 

  29. /Times-Italic starnetISO def
    30. 

  30. /Times-Bold starnetISO def
    31. 

  31. /Times-BoldItalic starnetISO def
    32. 

  32. /Helvetica starnetISO def
    33. 

  33. /Helvetica-Oblique starnetISO def
    34. 

  34. /Helvetica-Bold starnetISO def
    35. 

  35. /Helvetica-BoldOblique starnetISO def
    36. 

  36. /Courier starnetISO def
    37. 

  37. /Courier-Oblique starnetISO def
    38. 

  38. /Courier-Bold starnetISO def
    39. 

  39. /Courier-BoldOblique starnetISO def
    40. 

  40. cleartomark
    41. 

  41. } bind def
    42. 

  42. 

  43. %%BeginResource: procset graphviz 0 0
    44. 

  44. /coord-font-family /Times-Roman def
    45. 

  45. /default-font-family /Times-Roman def
    46. 

  46. /coordfont coord-font-family findfont 8 scalefont def
    47. 

  47. 

  48. /InvScaleFactor 1.0 def
    49. 

  49. /set_scale {
    50. 

  50.        dup 1 exch div /InvScaleFactor exch def
    51. 

  51.        scale
    52. 

  52. } bind def
    53. 

  53. 

  54. % styles
    55. 

  55. /solid { [] 0 setdash } bind def
    56. 

  56. /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
    57. 

  57. /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
    58. 

  58. /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
    59. 

  59. /bold { 2 setlinewidth } bind def
    60. 

  60. /filled { } bind def
    61. 

  61. /unfilled { } bind def
    62. 

  62. /rounded { } bind def
    63. 

  63. /diagonals { } bind def
    64. 

  64. 

  65. % hooks for setting color 
    66. 

  66. /nodecolor { sethsbcolor } bind def
    67. 

  67. /edgecolor { sethsbcolor } bind def
    68. 

  68. /graphcolor { sethsbcolor } bind def
    69. 

  69. /nopcolor {pop pop pop} bind def
    70. 

  70. 

  71. /beginpage {	% i j npages
    72. 

  72. 	/npages exch def
    73. 

  73. 	/j exch def
    74. 

  74. 	/i exch def
    75. 

  75. 	/str 10 string def
    76. 

  76. 	npages 1 gt {
    77. 

  77. 		gsave
    78. 

  78. 			coordfont setfont
    79. 

  79. 			0 0 moveto
    80. 

  80. 			(\() show i str cvs show (,) show j str cvs show (\)) show
    81. 

  81. 		grestore
    82. 

  82. 	} if
    83. 

  83. } bind def
    84. 

  84. 

  85. /set_font {
    86. 

  86. 	findfont exch
    87. 

  87. 	scalefont setfont
    88. 

  88. } def
    89. 

  89. 

  90. % draw text fitted to its expected width
    91. 

  91. /alignedtext {			% width text
    92. 

  92. 	/text exch def
    93. 

  93. 	/width exch def
    94. 

  94. 	gsave
    95. 

  95. 		width 0 gt {
    96. 

  96. 			[] 0 setdash
    97. 

  97. 			text stringwidth pop width exch sub text length div 0 text ashow
    98. 

  98. 		} if
    99. 

  99. 	grestore
    100. 

  100. } def
    101. 

  101. 

  102. /boxprim {				% xcorner ycorner xsize ysize
    103. 

  103. 		4 2 roll
    104. 

  104. 		moveto
    105. 

  105. 		2 copy
    106. 

  106. 		exch 0 rlineto
    107. 

  107. 		0 exch rlineto
    108. 

  108. 		pop neg 0 rlineto
    109. 

  109. 		closepath
    110. 

  110. } bind def
    111. 

  111. 

  112. /ellipse_path {
    113. 

  113. 	/ry exch def
    114. 

  114. 	/rx exch def
    115. 

  115. 	/y exch def
    116. 

  116. 	/x exch def
    117. 

  117. 	matrix currentmatrix
    118. 

  118. 	newpath
    119. 

  119. 	x y translate
    120. 

  120. 	rx ry scale
    121. 

  121. 	0 0 1 0 360 arc
    122. 

  122. 	setmatrix
    123. 

  123. } bind def
    124. 

  124. 

  125. /endpage { showpage } bind def
    126. 

  126. /showpage { } def
    127. 

  127. 

  128. /layercolorseq
    129. 

  129. 	[	% layer color sequence - darkest to lightest
    130. 

  130. 		[0 0 0]
    131. 

  131. 		[.2 .8 .8]
    132. 

  132. 		[.4 .8 .8]
    133. 

  133. 		[.6 .8 .8]
    134. 

  134. 		[.8 .8 .8]
    135. 

  135. 	]
    136. 

  136. def
    137. 

  137. 

  138. /layerlen layercolorseq length def
    139. 

  139. 

  140. /setlayer {/maxlayer exch def /curlayer exch def
    141. 

  141. 	layercolorseq curlayer 1 sub layerlen mod get
    142. 

  142. 	aload pop sethsbcolor
    143. 

  143. 	/nodecolor {nopcolor} def
    144. 

  144. 	/edgecolor {nopcolor} def
    145. 

  145. 	/graphcolor {nopcolor} def
    146. 

  146. } bind def
    147. 

  147. 

  148. /onlayer { curlayer ne {invis} if } def
    149. 

  149. 

  150. /onlayers {
    151. 

  151. 	/myupper exch def
    152. 

  152. 	/mylower exch def
    153. 

  153. 	curlayer mylower lt
    154. 

  154. 	curlayer myupper gt
    155. 

  155. 	or
    156. 

  156. 	{invis} if
    157. 

  157. } def
    158. 

  158. 

  159. /curlayer 0 def
    160. 

  160. 

  161. %%EndResource
    162. 

  162. %%EndProlog
    163. 

  163. %%BeginSetup
    164. 

  164. 14 default-font-family set_font
    165. 

  165. 1 setmiterlimit
    166. 

  166. % /arrowlength 10 def
    167. 

  167. % /arrowwidth 5 def
    168. 

  168. 

  169. % make sure pdfmark is harmless for PS-interpreters other than Distiller
    170. 

  170. /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
    171. 

  171. % make '<<' and '>>' safe on PS Level 1 devices
    172. 

  172. /languagelevel where {pop languagelevel}{1} ifelse
    173. 

  173. 2 lt {
    174. 

  174.     userdict (<<) cvn ([) cvn load put
    175. 

  175.     userdict (>>) cvn ([) cvn load put
    176. 

  176. } if
    177. 

  177. 

  178. %%EndSetup
    179. 

  179. setupLatin1
    180. 

  180. %%Page: 1 1
    181. 

  181. %%PageBoundingBox: 36 36 364 267
    182. 

  182. %%PageOrientation: Portrait
    183. 

  183. 0 0 1 beginpage
    184. 

  184. gsave
    185. 

  185. 36 36 328 231 boxprim clip newpath
    186. 

  186. 1 1 set_scale 0 rotate 40 41 translate
    187. 

  187. % (0, 0)
    188. 

  188. gsave
    189. 

  189. 0.33333 0.24314 1 nodecolor
    190. 

  190. 42 204.27 38.18 18.38 ellipse_path fill
    191. 

  191. 1 setlinewidth
    192. 

  192. filled
    193. 

  193. 0.33333 0.24314 1 nodecolor
    194. 

  194. 42 204.27 38.18 18.38 ellipse_path stroke
    195. 

  195. 0 0 0 nodecolor
    196. 

  196. 14 /Times-Roman set_font
    197. 

  197. 23 200.67 moveto 38 (\(0, 0\)) alignedtext
    198. 

  198. grestore
    199. 

  199. % (0, 0)->(0, 0)
    200. 

  200. gsave
    201. 

  201. 1 setlinewidth
    202. 

  202. 0 0 0 edgecolor
    203. 

  203. newpath 79.16 208.57 moveto
    204. 

  204. 89.8 208.4 98 206.97 98 204.27 curveto
    205. 

  205. 98 202.55 94.63 201.34 89.42 200.65 curveto
    206. 

  206. stroke
    207. 

  207. 0 0 0 edgecolor
    208. 

  208. newpath 89.37 197.14 moveto
    209. 

  209. 79.16 199.98 lineto
    210. 

  210. 88.91 204.12 lineto
    211. 

  211. closepath fill
    212. 

  212. 1 setlinewidth
    213. 

  213. solid
    214. 

  214. 0 0 0 edgecolor
    215. 

  215. newpath 89.37 197.14 moveto
    216. 

  216. 79.16 199.98 lineto
    217. 

  217. 88.91 204.12 lineto
    218. 

  218. closepath stroke
    219. 

  219. 0 0 0 edgecolor
    220. 

  220. 14 /Times-Roman set_font
    221. 

  221. 98 200.67 moveto 19 (\(b\)) alignedtext
    222. 

  222. grestore
    223. 

  223. % (0, 0)->(0, 0)
    224. 

  224. gsave
    225. 

  225. 1 setlinewidth
    226. 

  226. 0 0 0 edgecolor
    227. 

  227. newpath 66.82 218.56 moveto
    228. 

  228. 90.71 226.2 117 221.44 117 204.27 curveto
    229. 

  229. 117 189.46 97.41 183.89 76.68 187.56 curveto
    230. 

  230. stroke
    231. 

  231. 0 0 0 edgecolor
    232. 

  232. newpath 75.69 184.2 moveto
    233. 

  233. 66.82 189.99 lineto
    234. 

  234. 77.37 190.99 lineto
    235. 

  235. closepath fill
    236. 

  236. 1 setlinewidth
    237. 

  237. solid
    238. 

  238. 0 0 0 edgecolor
    239. 

  239. newpath 75.69 184.2 moveto
    240. 

  240. 66.82 189.99 lineto
    241. 

  241. 77.37 190.99 lineto
    242. 

  242. closepath stroke
    243. 

  243. 0 0 0 edgecolor
    244. 

  244. 14 /Times-Roman set_font
    245. 

  245. 117 200.67 moveto 79 (\(<empty>\)) alignedtext
    246. 

  246. grestore
    247. 

  247. % (-1, 2)
    248. 

  248. gsave
    249. 

  249. 0 1 1 nodecolor
    250. 

  250. 41 20.27 41.22 18.38 ellipse_path fill
    251. 

  251. 1 setlinewidth
    252. 

  252. filled
    253. 

  253. 0 1 1 nodecolor
    254. 

  254. 41 20.27 41.22 18.38 ellipse_path stroke
    255. 

  255. 0 0 0 nodecolor
    256. 

  256. 14 /Times-Roman set_font
    257. 

  257. 19.5 16.67 moveto 43 (\(-1, 2\)) alignedtext
    258. 

  258. grestore
    259. 

  259. % (0, 0)->(-1, 2)
    260. 

  260. gsave
    261. 

  261. 1 setlinewidth
    262. 

  262. 0 0 0 edgecolor
    263. 

  263. newpath 33.9 186.11 moveto
    264. 

  264. 27.89 171.6 20.21 150.57 17 131.27 curveto
    265. 

  265. 14.23 114.62 14.33 109.95 17 93.27 curveto
    266. 

  266. 19.45 77.95 24.64 61.48 29.56 48.06 curveto
    267. 

  267. stroke
    268. 

  268. 0 0 0 edgecolor
    269. 

  269. newpath 32.92 49.06 moveto
    270. 

  270. 33.22 38.47 lineto
    271. 

  271. 26.38 46.57 lineto
    272. 

  272. closepath fill
    273. 

  273. 1 setlinewidth
    274. 

  274. solid
    275. 

  275. 0 0 0 edgecolor
    276. 

  276. newpath 32.92 49.06 moveto
    277. 

  277. 33.22 38.47 lineto
    278. 

  278. 26.38 46.57 lineto
    279. 

  279. closepath stroke
    280. 

  280. 0 0 0 edgecolor
    281. 

  281. 14 /Times-Roman set_font
    282. 

  282. 17 108.67 moveto 49 (\(a&&b\)) alignedtext
    283. 

  283. grestore
    284. 

  284. % (1, 1)
    285. 

  285. gsave
    286. 

  286. 0.33333 0.24314 1 nodecolor
    287. 

  287. 113 112.27 38.18 18.38 ellipse_path fill
    288. 

  288. 1 setlinewidth
    289. 

  289. filled
    290. 

  290. 0.33333 0.24314 1 nodecolor
    291. 

  291. 113 112.27 38.18 18.38 ellipse_path stroke
    292. 

  292. 0 0 0 nodecolor
    293. 

  293. 14 /Times-Roman set_font
    294. 

  294. 94 108.67 moveto 38 (\(1, 1\)) alignedtext
    295. 

  295. grestore
    296. 

  296. % (0, 0)->(1, 1)
    297. 

  297. gsave
    298. 

  298. 1 setlinewidth
    299. 

  299. 0 0 0 edgecolor
    300. 

  300. newpath 55.69 186.54 moveto
    301. 

  301. 66.37 172.7 81.34 153.3 93.3 137.8 curveto
    302. 

  302. stroke
    303. 

  303. 0 0 0 edgecolor
    304. 

  304. newpath 96.25 139.7 moveto
    305. 

  305. 99.59 129.65 lineto
    306. 

  306. 90.71 135.43 lineto
    307. 

  307. closepath fill
    308. 

  308. 1 setlinewidth
    309. 

  309. solid
    310. 

  310. 0 0 0 edgecolor
    311. 

  311. newpath 96.25 139.7 moveto
    312. 

  312. 99.59 129.65 lineto
    313. 

  313. 90.71 135.43 lineto
    314. 

  314. closepath stroke
    315. 

  315. 0 0 0 edgecolor
    316. 

  316. 14 /Times-Roman set_font
    317. 

  317. 83 154.67 moveto 19 (\(a\)) alignedtext
    318. 

  318. grestore
    319. 

  319. % (-1, 2)->(-1, 2)
    320. 

  320. gsave
    321. 

  321. 1 setlinewidth
    322. 

  322. 0 0 0 edgecolor
    323. 

  323. newpath 71.09 32.91 moveto
    324. 

  324. 111.55 42.76 168 38.55 168 20.27 curveto
    325. 

  325. 168 3.5 120.43 -1.43 81.33 5.5 curveto
    326. 

  326. stroke
    327. 

  327. 0 0 0 edgecolor
    328. 

  328. newpath 80.17 2.17 moveto
    329. 

  329. 71.09 7.64 lineto
    330. 

  330. 81.6 9.02 lineto
    331. 

  331. closepath fill
    332. 

  332. 1 setlinewidth
    333. 

  333. solid
    334. 

  334. 0 0 0 edgecolor
    335. 

  335. newpath 80.17 2.17 moveto
    336. 

  336. 71.09 7.64 lineto
    337. 

  337. 81.6 9.02 lineto
    338. 

  338. closepath stroke
    339. 

  339. 0 0 0 edgecolor
    340. 

  340. 14 /Times-Roman set_font
    341. 

  341. 168 16.67 moveto 19 (\(b\)) alignedtext
    342. 

  342. grestore
    343. 

  343. % (-1, 2)->(-1, 2)
    344. 

  344. gsave
    345. 

  345. 1 setlinewidth
    346. 

  346. 0 0 0 edgecolor
    347. 

  347. newpath 70.85 33.11 moveto
    348. 

  348. 117.87 45.82 187 41.54 187 20.27 curveto
    349. 

  349. 187 .46 127 -4.61 80.78 5.07 curveto
    350. 

  350. stroke
    351. 

  351. 0 0 0 edgecolor
    352. 

  352. newpath 79.77 1.71 moveto
    353. 

  353. 70.85 7.44 lineto
    354. 

  354. 81.39 8.52 lineto
    355. 

  355. closepath fill
    356. 

  356. 1 setlinewidth
    357. 

  357. solid
    358. 

  358. 0 0 0 edgecolor
    359. 

  359. newpath 79.77 1.71 moveto
    360. 

  360. 70.85 7.44 lineto
    361. 

  361. 81.39 8.52 lineto
    362. 

  362. closepath stroke
    363. 

  363. 0 0 0 edgecolor
    364. 

  364. 14 /Times-Roman set_font
    365. 

  365. 187 16.67 moveto 79 (\(<empty>\)) alignedtext
    366. 

  366. grestore
    367. 

  367. % (-1, 2)->(-1, 2)
    368. 

  368. gsave
    369. 

  369. 1 setlinewidth
    370. 

  370. 0 0 0 edgecolor
    371. 

  371. newpath 81.81 22.41 moveto
    372. 

  372. 92.2 22.27 100 21.56 100 20.27 curveto
    373. 

  373. 100 19.47 96.95 18.9 92.13 18.54 curveto
    374. 

  374. stroke
    375. 

  375. 0 0 0 edgecolor
    376. 

  376. newpath 91.94 15.03 moveto
    377. 

  377. 81.81 18.14 lineto
    378. 

  378. 91.67 22.03 lineto
    379. 

  379. closepath fill
    380. 

  380. 1 setlinewidth
    381. 

  381. solid
    382. 

  382. 0 0 0 edgecolor
    383. 

  383. newpath 91.94 15.03 moveto
    384. 

  384. 81.81 18.14 lineto
    385. 

  385. 91.67 22.03 lineto
    386. 

  386. closepath stroke
    387. 

  387. 0 0 0 edgecolor
    388. 

  388. 14 /Times-Roman set_font
    389. 

  389. 100 16.67 moveto 49 (\(a&&b\)) alignedtext
    390. 

  390. grestore
    391. 

  391. % (-1, 2)->(-1, 2)
    392. 

  392. gsave
    393. 

  393. 1 setlinewidth
    394. 

  394. 0 0 0 edgecolor
    395. 

  395. newpath 71.65 32.66 moveto
    396. 

  396. 105.3 39.61 149 35.48 149 20.27 curveto
    397. 

  397. 149 6.55 113.42 1.85 81.75 6.17 curveto
    398. 

  398. stroke
    399. 

  399. 0 0 0 edgecolor
    400. 

  400. newpath 80.92 2.76 moveto
    401. 

  401. 71.65 7.89 lineto
    402. 

  402. 82.1 9.66 lineto
    403. 

  403. closepath fill
    404. 

  404. 1 setlinewidth
    405. 

  405. solid
    406. 

  406. 0 0 0 edgecolor
    407. 

  407. newpath 80.92 2.76 moveto
    408. 

  408. 71.65 7.89 lineto
    409. 

  409. 82.1 9.66 lineto
    410. 

  410. closepath stroke
    411. 

  411. 0 0 0 edgecolor
    412. 

  412. 14 /Times-Roman set_font
    413. 

  413. 149 16.67 moveto 19 (\(a\)) alignedtext
    414. 

  414. grestore
    415. 

  415. % (1, 1)->(-1, 2)
    416. 

  416. gsave
    417. 

  417. 1 setlinewidth
    418. 

  418. 0 0 0 edgecolor
    419. 

  419. newpath 83.33 100.47 moveto
    420. 

  420. 66.12 92.96 46.9 83.19 42 75.27 curveto
    421. 

  421. 37.19 67.51 35.84 57.88 36.03 48.85 curveto
    422. 

  422. stroke
    423. 

  423. 0 0 0 edgecolor
    424. 

  424. newpath 39.53 48.93 moveto
    425. 

  425. 36.84 38.68 lineto
    426. 

  426. 32.55 48.37 lineto
    427. 

  427. closepath fill
    428. 

  428. 1 setlinewidth
    429. 

  429. solid
    430. 

  430. 0 0 0 edgecolor
    431. 

  431. newpath 39.53 48.93 moveto
    432. 

  432. 36.84 38.68 lineto
    433. 

  433. 32.55 48.37 lineto
    434. 

  434. closepath stroke
    435. 

  435. 0 0 0 edgecolor
    436. 

  436. 14 /Times-Roman set_font
    437. 

  437. 42 62.67 moveto 49 (\(a&&b\)) alignedtext
    438. 

  438. grestore
    439. 

  439. % (1, 1)->(-1, 2)
    440. 

  440. gsave
    441. 

  441. 1 setlinewidth
    442. 

  442. 0 0 0 edgecolor
    443. 

  443. newpath 108.43 93.89 moveto
    444. 

  444. 104.97 82.53 99.35 68.1 91 57.27 curveto
    445. 

  445. 86.37 51.28 80.53 45.79 74.48 40.98 curveto
    446. 

  446. stroke
    447. 

  447. 0 0 0 edgecolor
    448. 

  448. newpath 76.33 38 moveto
    449. 

  449. 66.21 34.87 lineto
    450. 

  450. 72.17 43.63 lineto
    451. 

  451. closepath fill
    452. 

  452. 1 setlinewidth
    453. 

  453. solid
    454. 

  454. 0 0 0 edgecolor
    455. 

  455. newpath 76.33 38 moveto
    456. 

  456. 66.21 34.87 lineto
    457. 

  457. 72.17 43.63 lineto
    458. 

  458. closepath stroke
    459. 

  459. 0 0 0 edgecolor
    460. 

  460. 14 /Times-Roman set_font
    461. 

  461. 100 62.67 moveto 19 (\(b\)) alignedtext
    462. 

  462. grestore
    463. 

  463. % (1, 1)->(1, 1)
    464. 

  464. gsave
    465. 

  465. 1 setlinewidth
    466. 

  466. 0 0 0 edgecolor
    467. 

  467. newpath 150.16 116.57 moveto
    468. 

  468. 160.8 116.4 169 114.97 169 112.27 curveto
    469. 

  469. 169 110.55 165.63 109.34 160.42 108.65 curveto
    470. 

  470. stroke
    471. 

  471. 0 0 0 edgecolor
    472. 

  472. newpath 160.37 105.14 moveto
    473. 

  473. 150.16 107.98 lineto
    474. 

  474. 159.91 112.12 lineto
    475. 

  475. closepath fill
    476. 

  476. 1 setlinewidth
    477. 

  477. solid
    478. 

  478. 0 0 0 edgecolor
    479. 

  479. newpath 160.37 105.14 moveto
    480. 

  480. 150.16 107.98 lineto
    481. 

  481. 159.91 112.12 lineto
    482. 

  482. closepath stroke
    483. 

  483. 0 0 0 edgecolor
    484. 

  484. 14 /Times-Roman set_font
    485. 

  485. 169 108.67 moveto 19 (\(a\)) alignedtext
    486. 

  486. grestore
    487. 

  487. % (1, 1)->(1, 1)
    488. 

  488. gsave
    489. 

  489. 1 setlinewidth
    490. 

  490. 0 0 0 edgecolor
    491. 

  491. newpath 137.82 126.56 moveto
    492. 

  492. 161.71 134.2 188 129.44 188 112.27 curveto
    493. 

  493. 188 97.46 168.41 91.89 147.68 95.56 curveto
    494. 

  494. stroke
    495. 

  495. 0 0 0 edgecolor
    496. 

  496. newpath 146.69 92.2 moveto
    497. 

  497. 137.82 97.99 lineto
    498. 

  498. 148.37 98.99 lineto
    499. 

  499. closepath fill
    500. 

  500. 1 setlinewidth
    501. 

  501. solid
    502. 

  502. 0 0 0 edgecolor
    503. 

  503. newpath 146.69 92.2 moveto
    504. 

  504. 137.82 97.99 lineto
    505. 

  505. 148.37 98.99 lineto
    506. 

  506. closepath stroke
    507. 

  507. 0 0 0 edgecolor
    508. 

  508. 14 /Times-Roman set_font
    509. 

  509. 188 108.67 moveto 79 (\(<empty>\)) alignedtext
    510. 

  510. grestore
    511. 

  511. endpage
    512. 

  512. showpage
    513. 

  513. grestore
    514. 

  514. %%PageTrailer
    515. 

  515. %%EndPage: 1
    516. 

  516. %%Trailer
    517. 

  517. %%Pages: 1
    518. 

  518. %%BoundingBox: 36 36 364 267
    519. 

  519. end
    520. 

  520. restore
    521. 

  521. %%EOF
    522.