leda.gml 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312
  1. Creator "LEDA GraphWin"
  2. Version 1.3
  3. graph [
  4. label ""
  5. directed 1
  6. node [
  7. id 0
  8. parameter "1"
  9. labelAnchor "c"
  10. graphics [
  11. x 29.8571
  12. y 102.671
  13. w 13.2441
  14. h 13.2441
  15. type "oval"
  16. width 0.529763
  17. fill "#FFFFE4"
  18. outline "#000000"
  19. ]
  20. LabelGraphics [
  21. type "index_label"
  22. fill "#000000"
  23. anchor "c"
  24. ]
  25. ]
  26. node [
  27. id 1
  28. parameter "1"
  29. labelAnchor "c"
  30. graphics [
  31. x 108.243
  32. y 114.628
  33. w 13.2441
  34. h 13.2441
  35. type "oval"
  36. width 0.529763
  37. fill "#FFFFE4"
  38. outline "#000000"
  39. ]
  40. LabelGraphics [
  41. type "index_label"
  42. fill "#000000"
  43. anchor "c"
  44. ]
  45. ]
  46. node [
  47. id 2
  48. parameter "1"
  49. labelAnchor "c"
  50. graphics [
  51. x 48.4571
  52. y 170.428
  53. w 13.2441
  54. h 13.2441
  55. type "oval"
  56. width 0.529763
  57. fill "#FFFFE4"
  58. outline "#000000"
  59. ]
  60. LabelGraphics [
  61. type "index_label"
  62. fill "#000000"
  63. anchor "c"
  64. ]
  65. ]
  66. node [
  67. id 3
  68. parameter "1"
  69. labelAnchor "c"
  70. graphics [
  71. x 8.15714
  72. y 147.842
  73. w 13.2441
  74. h 13.2441
  75. type "oval"
  76. width 0.529763
  77. fill "#FFFFE4"
  78. outline "#000000"
  79. ]
  80. LabelGraphics [
  81. type "index_label"
  82. fill "#000000"
  83. anchor "c"
  84. ]
  85. ]
  86. node [
  87. id 4
  88. parameter "1"
  89. labelAnchor "c"
  90. graphics [
  91. x 146.771
  92. y 207.185
  93. w 13.2441
  94. h 13.2441
  95. type "oval"
  96. width 0.529763
  97. fill "#FFFFE4"
  98. outline "#000000"
  99. ]
  100. LabelGraphics [
  101. type "index_label"
  102. fill "#000000"
  103. anchor "c"
  104. ]
  105. ]
  106. node [
  107. id 5
  108. parameter "1"
  109. labelAnchor "c"
  110. graphics [
  111. x 169.8
  112. y 143.414
  113. w 13.2441
  114. h 13.2441
  115. type "oval"
  116. width 0.529763
  117. fill "#FFFFE4"
  118. outline "#000000"
  119. ]
  120. LabelGraphics [
  121. type "index_label"
  122. fill "#000000"
  123. anchor "c"
  124. ]
  125. ]
  126. node [
  127. id 6
  128. parameter "1"
  129. labelAnchor "c"
  130. graphics [
  131. x 182.2
  132. y 206.3
  133. w 13.2441
  134. h 13.2441
  135. type "oval"
  136. width 0.529763
  137. fill "#FFFFE4"
  138. outline "#000000"
  139. ]
  140. LabelGraphics [
  141. type "index_label"
  142. fill "#000000"
  143. anchor "c"
  144. ]
  145. ]
  146. node [
  147. id 7
  148. parameter "1"
  149. labelAnchor "c"
  150. graphics [
  151. x 244.643
  152. y 234.2
  153. w 13.2441
  154. h 13.2441
  155. type "oval"
  156. width 0.529763
  157. fill "#FFFFE4"
  158. outline "#000000"
  159. ]
  160. LabelGraphics [
  161. type "index_label"
  162. fill "#000000"
  163. anchor "c"
  164. ]
  165. ]
  166. node [
  167. id 8
  168. parameter "1"
  169. labelAnchor "c"
  170. graphics [
  171. x 117.1
  172. y 145.628
  173. w 13.2441
  174. h 13.2441
  175. type "oval"
  176. width 0.529763
  177. fill "#FFFFE4"
  178. outline "#000000"
  179. ]
  180. LabelGraphics [
  181. type "index_label"
  182. fill "#000000"
  183. anchor "c"
  184. ]
  185. ]
  186. node [
  187. id 9
  188. parameter "1"
  189. labelAnchor "c"
  190. graphics [
  191. x 161.386
  192. y 104.442
  193. w 13.2441
  194. h 13.2441
  195. type "oval"
  196. width 0.529763
  197. fill "#FFFFE4"
  198. outline "#000000"
  199. ]
  200. LabelGraphics [
  201. type "index_label"
  202. fill "#000000"
  203. anchor "c"
  204. ]
  205. ]
  206. edge [
  207. source 0
  208. target 1
  209. parameter "0"
  210. graphics [
  211. type "line"
  212. arrow "last"
  213. ]
  214. ]
  215. edge [
  216. source 0
  217. target 2
  218. parameter "0"
  219. graphics [
  220. type "line"
  221. arrow "last"
  222. ]
  223. ]
  224. edge [
  225. source 2
  226. target 8
  227. parameter "0"
  228. graphics [
  229. type "line"
  230. arrow "last"
  231. ]
  232. ]
  233. edge [
  234. source 3
  235. target 1
  236. parameter "0"
  237. graphics [
  238. type "line"
  239. arrow "last"
  240. ]
  241. ]
  242. edge [
  243. source 4
  244. target 5
  245. parameter "0"
  246. graphics [
  247. type "line"
  248. arrow "last"
  249. ]
  250. ]
  251. edge [
  252. source 4
  253. target 2
  254. parameter "0"
  255. graphics [
  256. type "line"
  257. arrow "last"
  258. ]
  259. ]
  260. edge [
  261. source 6
  262. target 5
  263. parameter "0"
  264. graphics [
  265. type "line"
  266. arrow "last"
  267. ]
  268. ]
  269. edge [
  270. source 7
  271. target 6
  272. parameter "0"
  273. graphics [
  274. type "line"
  275. arrow "last"
  276. ]
  277. ]
  278. edge [
  279. source 8
  280. target 9
  281. parameter "0"
  282. graphics [
  283. type "line"
  284. arrow "last"
  285. ]
  286. ]
  287. edge [
  288. source 8
  289. target 4
  290. parameter "0"
  291. graphics [
  292. type "line"
  293. arrow "last"
  294. ]
  295. ]
  296. edge [
  297. source 8
  298. target 5
  299. parameter "0"
  300. graphics [
  301. type "line"
  302. arrow "last"
  303. ]
  304. ]
  305. ]