Mercurial > hg > Members > shinya > pyrect
changeset 46:44114b141cb5
move dot files.
| author | Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 06 Aug 2010 20:18:58 +0900 |
| parents | d29d3470fde7 |
| children | 701beabd7d97 |
| files | code/dot/combine.dot code/dot/concat.dot code/dot/dfa.dot code/dot/huge_combine.dot code/dot/huge_nocombine.dot code/dot/nfa.dot code/dot/nocombine.dot code/dot/pdf/combine.pdf code/dot/pdf/concat.pdf code/dot/pdf/dfa.pdf code/dot/pdf/huge_combine.pdf code/dot/pdf/huge_nocombine.pdf code/dot/pdf/nfa.pdf code/dot/pdf/nocombine.pdf code/dot/pdf/star.pdf code/dot/pdf/union.pdf code/dot/qmark_plus.dot code/dot/star.dot code/dot/union.dot code/graph/combine.dot code/graph/concat.dot code/graph/dfa.dot code/graph/huge_combine.dot code/graph/huge_nocombine.dot code/graph/nfa.dot code/graph/nocombine.dot code/graph/pdf/combine.pdf code/graph/pdf/concat.pdf code/graph/pdf/dfa.pdf code/graph/pdf/huge_combine.pdf code/graph/pdf/huge_nocombine.pdf code/graph/pdf/nfa.pdf code/graph/pdf/nocombine.pdf code/graph/pdf/star.pdf code/graph/pdf/union.pdf code/graph/qmark_plus.dot code/graph/star.dot code/graph/union.dot |
| diffstat | 38 files changed, 2025 insertions(+), 2025 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/combine.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,16 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="(argv|argc|args)"] + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q6 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q1 + q1 -> q5 [label="'arg'"] + q5 -> q6 [label="'s'"] + q5 -> q2 [label="'c'"] + q5 -> q0 [label="'v'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/concat.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,12 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="AB"] + q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q2 + q0 -> q1 [label="'B'"] + q2 -> q0 [label="'A'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/dfa.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,20 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="(A|B)*C"] + q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q3 + q1 -> q1 [label="'A'"] + q1 -> q2 [label="'C'"] + q1 -> q0 [label="'B'"] + q0 -> q1 [label="'A'"] + q0 -> q2 [label="'C'"] + q0 -> q0 [label="'B'"] + q3 -> q1 [label="'A'"] + q3 -> q2 [label="'C'"] + q3 -> q0 [label="'B'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/huge_combine.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,515 @@ + +digraph G{ + rankdir=LR + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q5 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q54 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q8 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q10 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q11 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q13 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q14 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q21 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q635 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q39 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q40 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q46 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q47 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q48 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q49 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q50 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q51 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q65 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q75 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q77 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q79 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q85 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q86 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q87 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q88 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q91 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q94 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q98 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q99 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q106 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q546 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q109 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q110 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q605 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q9 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q412 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q130 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q118 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q119 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q121 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q123 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q124 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q126 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q132 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q137 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q139 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q145 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q154 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q156 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q157 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q158 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q164 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q165 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q168 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q175 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q177 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q178 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q183 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q401 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q186 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q187 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q189 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q191 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q193 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q616 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q618 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q200 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q204 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q206 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q207 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q208 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q210 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q211 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q214 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q217 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q218 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q219 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q221 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q226 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q228 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q229 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q230 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q233 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q237 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q244 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q245 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q248 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q249 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q112 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q254 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q259 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q261 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q263 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q264 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q266 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q275 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q268 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q307 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q278 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q284 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q286 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q290 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q291 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q295 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q303 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q634 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q313 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q545 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q317 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q320 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q544 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q324 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q326 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q329 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q338 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q339 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q341 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q345 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q348 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q71 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q70 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q353 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q108 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q360 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q129 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q366 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q369 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q373 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q375 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q378 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q379 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q380 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q335 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q388 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q390 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q392 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q395 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q400 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q350 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q403 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q409 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q185 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q413 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q416 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q421 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q144 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q423 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q427 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q430 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q542 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q434 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q437 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q439 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q532 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q446 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q450 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q452 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q453 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q460 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q656 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q473 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q474 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q475 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q476 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q659 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q479 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q62 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q548 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q483 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q485 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q486 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q487 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q105 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q491 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q492 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q496 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q500 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q502 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q503 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q255 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q195 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q510 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q511 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q311 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q253 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q515 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q518 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q519 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q520 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q522 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q523 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q556 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q531 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q534 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q57 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q540 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q153 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q547 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q435 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q482 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q549 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q553 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q517 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q557 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q560 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q563 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q564 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q541 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q570 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q572 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q579 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q53 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q591 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q593 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q602 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q606 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q615 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q682 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q569 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q622 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q624 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q625 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q626 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q629 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q305 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q417 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q637 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q504 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q640 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q641 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q642 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q571 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q647 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q650 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q653 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q654 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q467 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q658 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q663 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q665 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q342 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q668 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q671 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q674 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q676 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q678 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q679 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q683 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q685 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q687 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q688 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q689 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q691 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q214 + q348 -> q360 [label="'caltime'"] + q348 -> q158 [label="'g'"] + q295 -> q187 [label="'fftime'"] + q295 -> q109 [label="'v'"] + q290 -> q546 [label="'upper'"] + q290 -> q165 [label="'c'"] + q290 -> q460 [label="'digit'"] + q290 -> q153 [label="'space'"] + q290 -> q7 [label="'graph'"] + q290 -> q476 [label="'al'"] + q290 -> q210 [label="'p'"] + q290 -> q85 [label="'lower'"] + q290 -> q259 [label="'xdigit'"] + q278 -> q47 [label="'abs'"] + q278 -> q261 [label="'d'"] + q278 -> q348 [label="'o'"] + q108 -> q446 [label="'upper'"] + q108 -> q329 [label="'lower'"] + q108 -> q177 [label="'ctrans'"] + q105 -> q388 [label="'cos'"] + q105 -> q435 [label="'s'"] + q105 -> q189 [label="'b'"] + q105 -> q21 [label="'t'"] + q640 -> q579 [label="'sinit'"] + q640 -> q475 [label="'rtowc'"] + q642 -> q504 [label="'2'"] + q435 -> q390 [label="'ctime'"] + q435 -> q653 [label="'in'"] + q430 -> q204 [label="'s'"] + q430 -> q503 [label="'c'"] + q430 -> q366 [label="'pos'"] + q339 -> q284 [label="'hr'"] + q339 -> q491 [label="'py'"] + q339 -> q635 [label="'oll'"] + q339 -> q86 [label="'mp'"] + q339 -> q482 [label="'spn'"] + q339 -> q353 [label="'at'"] + q91 -> q341 [label="'pha'"] + q91 -> q553 [label="'num'"] + q94 -> q392 [label="'buf'"] + q94 -> q380 [label="'vbuf'"] + q557 -> q606 [label="'h'"] + q616 -> q175 [label="'tpos'"] + q616 -> q5 [label="'ek'"] + q615 -> q563 [label="'rintf'"] + q615 -> q211 [label="'ut'"] + q689 -> q87 [label="'ul'"] + q689 -> q668 [label="'k'"] + q689 -> q602 [label="'l'"] + q689 -> q145 [label="'d'"] + q132 -> q541 [label="'h'"] + q130 -> q679 [label="'har'"] + q492 -> q119 [label="'of'"] + q492 -> q233 [label="'rror'"] + q21 -> q560 [label="'exit'"] + q21 -> q219 [label="'o'"] + q21 -> q642 [label="'an'"] + q401 -> q423 [label="'ime'"] + q401 -> q255 [label="'o'"] + q401 -> q557 [label="'an'"] + q401 -> q11 [label="'mp'"] + q629 -> q88 [label="'tr'"] + q629 -> q485 [label="'pn'"] + q373 -> q453 [label="'har'"] + q144 -> q10 [label="'canf'"] + q144 -> q75 [label="'rand'"] + q144 -> q137 [label="'scanf'"] + q144 -> q687 [label="'printf'"] + q144 -> q531 [label="'tr'"] + q144 -> q217 [label="'qrt'"] + q144 -> q48 [label="'in'"] + q144 -> q94 [label="'et'"] + q144 -> q409 [label="'ystem'"] + q395 -> q647 [label="'rite'"] + q395 -> q416 [label="'ide'"] + q249 -> q39 [label="'fprintf'"] + q249 -> q46 [label="'sprintf'"] + q249 -> q253 [label="'printf'"] + q518 -> q186 [label="'em'"] + q518 -> q99 [label="'alloc'"] + q518 -> q640 [label="'b'"] + q518 -> q685 [label="'ktime'"] + q518 -> q682 [label="'odf'"] + q515 -> q268 [label="'xfrm'"] + q515 -> q659 [label="'c'"] + q515 -> q496 [label="'pbrk'"] + q515 -> q49 [label="'to'"] + q515 -> q548 [label="'nc'"] + q515 -> q487 [label="'len'"] + q515 -> q629 [label="'s'"] + q515 -> q547 [label="'r'"] + q515 -> q450 [label="'ftime'"] + q517 -> q228 [label="'mem'"] + q517 -> q79 [label="'c'"] + q654 -> q164 [label="'canf'"] + q654 -> q616 [label="'e'"] + q186 -> q605 [label="'move'"] + q186 -> q658 [label="'set'"] + q186 -> q65 [label="'c'"] + q189 -> q237 [label="'s'"] + q189 -> q53 [label="'ort'"] + q659 -> q124 [label="'oll'"] + q659 -> q178 [label="'hr'"] + q659 -> q0 [label="'py'"] + q659 -> q303 [label="'at'"] + q659 -> q71 [label="'spn'"] + q659 -> q195 [label="'mp'"] + q650 -> q637 [label="'e'"] + q650 -> q129 [label="'ad'"] + q650 -> q544 [label="'xp'"] + q650 -> q317 [label="'open'"] + q11 -> q439 [label="'nam'"] + q11 -> q369 [label="'file'"] + q13 -> q126 [label="'search'"] + q13 -> q556 [label="'towc'"] + q207 -> q572 [label="'upper'"] + q207 -> q275 [label="'digit'"] + q207 -> q245 [label="'space'"] + q207 -> q467 [label="'graph'"] + q207 -> q91 [label="'al'"] + q207 -> q221 [label="'p'"] + q207 -> q688 [label="'lower'"] + q207 -> q290 [label="'w'"] + q207 -> q121 [label="'xdigit'"] + q207 -> q106 [label="'cntrl'"] + q77 -> q437 [label="'har'"] + q79 -> q515 [label="'s'"] + q79 -> q571 [label="'t'"] + q79 -> q123 [label="'rtomb'"] + q540 -> q593 [label="'p'"] + q540 -> q248 [label="'it'"] + q547 -> q157 [label="'tombs'"] + q547 -> q417 [label="'chr'"] + q545 -> q413 [label="'wc'"] + q545 -> q421 [label="'s'"] + q545 -> q130 [label="'c'"] + q545 -> q291 [label="'env'"] + q8 -> q51 [label="'ock'"] + q8 -> q244 [label="'earerr'"] + q548 -> q510 [label="'py'"] + q548 -> q266 [label="'mp'"] + q548 -> q154 [label="'at'"] + q549 -> q492 [label="'e'"] + q549 -> q650 [label="'re'"] + q549 -> q70 [label="'open'"] + q549 -> q615 [label="'p'"] + q549 -> q654 [label="'s'"] + q549 -> q542 [label="'abs'"] + q549 -> q395 [label="'w'"] + q549 -> q519 [label="'flush'"] + q549 -> q564 [label="'close'"] + q549 -> q427 [label="'ge'"] + q549 -> q183 [label="'loor'"] + q549 -> q14 [label="'tell'"] + q549 -> q320 [label="'mod'"] + q412 -> q324 [label="'alloc'"] + q412 -> q452 [label="'name'"] + q412 -> q335 [label="'move'"] + q412 -> q206 [label="'wind'"] + q413 -> q511 [label="'har'"] + q311 -> q403 [label="'rintf'"] + q311 -> q350 [label="'ut'"] + q311 -> q342 [label="'error'"] + q311 -> q520 [label="'ow'"] + q571 -> q434 [label="'rans'"] + q571 -> q305 [label="'ype'"] + q62 -> q671 [label="'c'"] + q62 -> q622 [label="'wc'"] + q65 -> q570 [label="'hr'"] + q65 -> q54 [label="'py'"] + q65 -> q375 [label="'mp'"] + q254 -> q264 [label="'and'"] + q254 -> q412 [label="'e'"] + q255 -> q691 [label="'upper'"] + q255 -> q193 [label="'lower'"] + q255 -> q108 [label="'w'"] + q165 -> q230 [label="'ntrl'"] + q165 -> q112 [label="'type'"] + q350 -> q229 [label="'s'"] + q350 -> q373 [label="'wc'"] + q350 -> q77 [label="'c'"] + q214 -> q207 [label="'is'"] + q214 -> q540 [label="'ex'"] + q214 -> q62 [label="'unget'"] + q214 -> q226 [label="'qsort'"] + q214 -> q474 [label="'Mbrlen'"] + q214 -> q295 [label="'di'"] + q214 -> q105 [label="'a'"] + q214 -> q473 [label="'c'"] + q214 -> q13 [label="'b'"] + q214 -> q40 [label="'g'"] + q214 -> q549 [label="'f'"] + q214 -> q518 [label="'m'"] + q214 -> q278 [label="'l'"] + q214 -> q311 [label="'p'"] + q214 -> q144 [label="'s'"] + q214 -> q254 [label="'r'"] + q214 -> q401 [label="'t'"] + q214 -> q517 [label="'w'"] + q214 -> q249 [label="'v'"] + q210 -> q218 [label="'unct'"] + q210 -> q286 [label="'rint'"] + q211 -> q625 [label="'s'"] + q211 -> q118 [label="'c'"] + q211 -> q483 [label="'w'"] + q219 -> q400 [label="'i'"] + q219 -> q532 [label="'l'"] + q219 -> q9 [label="'f'"] + q678 -> q534 [label="'s'"] + q678 -> q674 [label="'c'"] + q263 -> q656 [label="'hr'"] + q263 -> q185 [label="'py'"] + q263 -> q57 [label="'mp'"] + q261 -> q665 [label="'exp'"] + q261 -> q676 [label="'iv'"] + q531 -> q345 [label="'xfrm'"] + q531 -> q339 [label="'c'"] + q531 -> q500 [label="'pbrk'"] + q531 -> q523 [label="'rchr'"] + q531 -> q307 [label="'nc'"] + q531 -> q208 [label="'len'"] + q531 -> q689 [label="'to'"] + q531 -> q486 [label="'s'"] + q531 -> q591 [label="'ftime'"] + q531 -> q98 [label="'error'"] + q427 -> q430 [label="'t'"] + q427 -> q678 [label="'w'"] + q307 -> q139 [label="'py'"] + q307 -> q569 [label="'mp'"] + q307 -> q326 [label="'at'"] + q228 -> q263 [label="'c'"] + q228 -> q313 [label="'move'"] + q228 -> q522 [label="'set'"] + q221 -> q479 [label="'unct'"] + q221 -> q641 [label="'rint'"] + q158 -> q618 [label="'10'"] + q48 -> q502 [label="'h'"] + q49 -> q663 [label="'ul'"] + q49 -> q200 [label="'k'"] + q49 -> q683 [label="'l'"] + q49 -> q379 [label="'d'"] + q40 -> q545 [label="'et'"] + q40 -> q110 [label="'mtime'"] + q486 -> q50 [label="'tr'"] + q486 -> q338 [label="'pn'"] + q483 -> q378 [label="'c'"] + q483 -> q624 [label="'s'"] + q473 -> q191 [label="'alloc'"] + q473 -> q8 [label="'l'"] + q473 -> q626 [label="'time'"] + q473 -> q132 [label="'os'"] + q473 -> q634 [label="'eil'"] + q476 -> q168 [label="'pha'"] + q476 -> q156 [label="'num'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/huge_nocombine.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,1393 @@ + +digraph G{ + rankdir=LR + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q19 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q30 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q5 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q216 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q660 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q54 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q8 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q10 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q11 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q12 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q13 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q14 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q429 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q17 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q18 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q306 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q21 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q576 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q23 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q37 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q393 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q662 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q635 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q25 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q377 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q27 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q420 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q332 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q471 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q282 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q34 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q418 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q36 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q38 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q39 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q40 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q41 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q84 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q45 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q46 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q47 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q48 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q49 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q50 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q51 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q509 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q432 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q55 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q56 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q58 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q59 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q60 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q61 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q481 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q527 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q63 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q64 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q65 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q257 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q67 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q621 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q72 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q28 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q74 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q75 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q76 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q77 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q561 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q79 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q80 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q81 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q35 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q85 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q86 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q87 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q88 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q89 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q90 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q91 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q16 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q93 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q94 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q96 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q97 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q98 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q99 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q100 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q536 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q441 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q101 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q171 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q103 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q104 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q106 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q234 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q546 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q109 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q110 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q397 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q111 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q605 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q113 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q9 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q412 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q130 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q116 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q117 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q118 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q119 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q121 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q271 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q123 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q124 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q125 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q126 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q127 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q115 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q131 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q132 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q134 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q262 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q136 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q137 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q139 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q140 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q141 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q174 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q143 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q145 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q147 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q148 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q150 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q151 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q152 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q154 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q156 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q157 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q158 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q159 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q160 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q163 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q347 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q164 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q165 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q166 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q167 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q168 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q169 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q170 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q172 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q173 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q188 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q175 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q340 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q177 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q178 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q52 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q138 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q203 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q461 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q183 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q184 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q401 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q186 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q187 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q142 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q376 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q189 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q190 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q191 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q273 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q193 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q194 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q616 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q525 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q524 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q501 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q618 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q431 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q199 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q539 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q200 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q201 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q202 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q204 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q206 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q207 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q208 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q209 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q210 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q211 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q356 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q212 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q213 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q214 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q215 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q29 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q217 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q218 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q219 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q538 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q607 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q221 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q222 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q267 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q225 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q226 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q227 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q228 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q229 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q402 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q230 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q231 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q232 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q233 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q638 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q236 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q237 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q241 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q242 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q243 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q244 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q245 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q246 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q636 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q248 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q249 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q112 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q251 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q252 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q512 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q254 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q508 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q619 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q457 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q259 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q260 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q261 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q493 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q263 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q264 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q266 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q224 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q275 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q565 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q274 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q268 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q20 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q307 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q278 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q196 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q69 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q283 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q284 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q285 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q286 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q559 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q43 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q161 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q289 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q290 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q291 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q292 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q505 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q628 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q693 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q294 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q295 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q296 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q297 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q690 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q299 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q300 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q301 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q302 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q303 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q304 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q182 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q322 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q310 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q552 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q288 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q312 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q646 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q634 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q313 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q314 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q545 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q317 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q319 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q320 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q321 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q544 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q323 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q324 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q325 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q326 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q327 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q328 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q329 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q330 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q333 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q334 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q235 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q337 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q680 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q338 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q339 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q176 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q341 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q315 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q24 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q345 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q346 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q33 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q348 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q349 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q71 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q422 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q351 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q70 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q353 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q354 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q355 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q108 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q408 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q359 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q360 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q129 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q639 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q180 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q382 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q363 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q364 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q365 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q366 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q181 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q368 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q369 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q370 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q293 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q372 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q373 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q374 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q375 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q649 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q331 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q537 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q378 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q379 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q380 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q381 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q335 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q383 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q384 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q385 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q386 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q387 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q388 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q389 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q390 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q391 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q392 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q128 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q394 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q395 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q396 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q179 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q352 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q398 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q32 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q400 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q350 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q403 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q404 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q405 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q406 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q407 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q409 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q410 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q411 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q686 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q185 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q413 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q414 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q415 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q416 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q146 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q247 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q421 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q144 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q494 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q423 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q424 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q425 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q427 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q428 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q15 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q430 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q239 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q107 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q120 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q238 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q542 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q434 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q279 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q436 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q437 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q438 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q439 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q532 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q440 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q66 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q277 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q443 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q444 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q445 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q446 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q447 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q316 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q133 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q450 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q451 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q452 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q453 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q454 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q449 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q632 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q456 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q458 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q459 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q460 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q26 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q462 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q463 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q68 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q465 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q466 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q590 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q656 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q468 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q469 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q470 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q472 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q473 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q474 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q250 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q475 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q476 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q477 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q659 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q478 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q479 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q480 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q62 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q548 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q483 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q484 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q485 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q486 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q592 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q487 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q105 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q489 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q490 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q491 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q492 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q308 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q135 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q95 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q496 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q497 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q498 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q499 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q500 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q258 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q502 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q503 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q223 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q255 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q192 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q195 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q155 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q510 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q511 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q433 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q598 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q311 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q253 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q514 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q515 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q270 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q554 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q518 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q519 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q520 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q521 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q522 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q523 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q309 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q162 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q287 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q371 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q276 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q419 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q533 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q530 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q556 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q531 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q357 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q280 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q534 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q535 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q367 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q57 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q361 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q442 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q578 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q507 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q506 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q540 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q83 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q543 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q153 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q547 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q435 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q482 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q549 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q550 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q551 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q31 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q553 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q517 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q555 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q513 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q529 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q567 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q557 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q558 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q82 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q560 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q42 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q495 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q318 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q563 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q564 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q78 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q583 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q205 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q362 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q568 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q541 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q570 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q426 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q572 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q573 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q574 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q575 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q358 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q577 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q526 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q579 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q580 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q562 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q265 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q582 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q596 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q566 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q584 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q585 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q586 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q587 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q588 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q589 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q53 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q630 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q591 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q220 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q593 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q528 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q595 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q455 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q597 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q272 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q599 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q600 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q601 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q602 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q603 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q604 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q269 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q606 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q122 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q608 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q609 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q610 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q114 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q612 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q613 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q614 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q615 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q149 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q617 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q197 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q682 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q620 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q569 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q622 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q623 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q344 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q624 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q488 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q625 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q626 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q627 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q198 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q629 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q256 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q464 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q631 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q594 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q305 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q633 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q417 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q44 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q637 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q336 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q504 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q640 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q611 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q641 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q642 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q643 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q644 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q571 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q645 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q22 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q647 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q648 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q448 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q102 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q650 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q651 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q652 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q653 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q654 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q655 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q92 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q467 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q657 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q658 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q343 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q661 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q73 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q663 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q664 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q665 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q342 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q667 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q668 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q669 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q670 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q671 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q672 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q673 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q674 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q675 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q676 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q677 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q678 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q679 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q581 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q516 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q681 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q666 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q683 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q684 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q399 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q685 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q240 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q687 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q688 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q689 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q298 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q691 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q692 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q281 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q214 + q344 -> q181 [label="'v'"] + q346 -> q416 [label="'e'"] + q347 -> q634 [label="'l'"] + q340 -> q563 [label="'f'"] + q343 -> q208 [label="'n'"] + q348 -> q596 [label="'c'"] + q348 -> q158 [label="'g'"] + q349 -> q463 [label="'e'"] + q595 -> q85 [label="'r'"] + q594 -> q585 [label="'i'"] + q298 -> q522 [label="'t'"] + q299 -> q57 [label="'p'"] + q296 -> q149 [label="'t'"] + q297 -> q384 [label="'r'"] + q294 -> q56 [label="'n'"] + q295 -> q302 [label="'f'"] + q295 -> q109 [label="'v'"] + q292 -> q626 [label="'e'"] + q293 -> q415 [label="'i'"] + q290 -> q490 [label="'a'"] + q290 -> q165 [label="'c'"] + q290 -> q407 [label="'d'"] + q290 -> q102 [label="'g'"] + q290 -> q312 [label="'l'"] + q290 -> q210 [label="'p'"] + q290 -> q528 [label="'s'"] + q290 -> q393 [label="'u'"] + q290 -> q239 [label="'x'"] + q590 -> q7 [label="'h'"] + q592 -> q168 [label="'a'"] + q199 -> q329 [label="'r'"] + q198 -> q670 [label="'g'"] + q597 -> q676 [label="'v'"] + q596 -> q361 [label="'a'"] + q194 -> q48 [label="'n'"] + q197 -> q548 [label="'c'"] + q196 -> q61 [label="'t'"] + q190 -> q382 [label="'f'"] + q192 -> q567 [label="'f'"] + q270 -> q540 [label="'x'"] + q271 -> q31 [label="'o'"] + q272 -> q191 [label="'c'"] + q273 -> q542 [label="'s'"] + q274 -> q5 [label="'k'"] + q276 -> q436 [label="'v'"] + q277 -> q680 [label="'p'"] + q278 -> q37 [label="'a'"] + q278 -> q261 [label="'d'"] + q278 -> q348 [label="'o'"] + q279 -> q20 [label="'n'"] + q524 -> q360 [label="'e'"] + q525 -> q533 [label="'e'"] + q526 -> q364 [label="'n'"] + q527 -> q68 [label="'o'"] + q521 -> q51 [label="'k'"] + q599 -> q69 [label="'a'"] + q528 -> q27 [label="'p'"] + q529 -> q684 [label="'i'"] + q449 -> q417 [label="'r'"] + q448 -> q53 [label="'t'"] + q443 -> q388 [label="'s'"] + q442 -> q129 [label="'d'"] + q441 -> q45 [label="'a'"] + q440 -> q295 [label="'i'"] + q447 -> q464 [label="'p'"] + q445 -> q450 [label="'e'"] + q444 -> q319 [label="'l'"] + q108 -> q260 [label="'c'"] + q108 -> q277 [label="'u'"] + q108 -> q614 [label="'l'"] + q598 -> q508 [label="'p'"] + q103 -> q282 [label="'w'"] + q100 -> q60 [label="'a'"] + q101 -> q651 [label="'t'"] + q107 -> q551 [label="'n'"] + q104 -> q34 [label="'a'"] + q105 -> q435 [label="'s'"] + q105 -> q189 [label="'b'"] + q105 -> q586 [label="'c'"] + q105 -> q21 [label="'t'"] + q38 -> q256 [label="'t'"] + q33 -> q550 [label="'n'"] + q32 -> q470 [label="'p'"] + q31 -> q1 [label="'v'"] + q30 -> q375 [label="'p'"] + q37 -> q387 [label="'b'"] + q36 -> q0 [label="'y'"] + q35 -> q341 [label="'a'"] + q34 -> q439 [label="'m'"] + q640 -> q28 [label="'s'"] + q640 -> q588 [label="'r'"] + q643 -> q179 [label="'l'"] + q642 -> q504 [label="'2'"] + q645 -> q391 [label="'l'"] + q644 -> q212 [label="'a'"] + q438 -> q612 [label="'g'"] + q646 -> q608 [label="'p'"] + q649 -> q280 [label="'m'"] + q435 -> q172 [label="'i'"] + q435 -> q269 [label="'c'"] + q432 -> q474 [label="'n'"] + q433 -> q317 [label="'n'"] + q430 -> q224 [label="'p'"] + q430 -> q204 [label="'s'"] + q430 -> q503 [label="'c'"] + q431 -> q404 [label="'a'"] + q339 -> q265 [label="'a'"] + q339 -> q89 [label="'h'"] + q339 -> q686 [label="'m'"] + q339 -> q262 [label="'o'"] + q339 -> q408 [label="'p'"] + q339 -> q447 [label="'s'"] + q334 -> q664 [label="'i'"] + q337 -> q2 [label="'o'"] + q336 -> q50 [label="'r'"] + q331 -> q358 [label="'p'"] + q330 -> q434 [label="'s'"] + q333 -> q373 [label="'c'"] + q332 -> q305 [label="'e'"] + q6 -> q142 [label="'o'"] + q91 -> q148 [label="'p'"] + q91 -> q80 [label="'n'"] + q90 -> q268 [label="'m'"] + q93 -> q524 [label="'m'"] + q92 -> q477 [label="'b'"] + q95 -> q630 [label="'r'"] + q94 -> q25 [label="'b'"] + q94 -> q414 [label="'v'"] + q97 -> q576 [label="'n'"] + q96 -> q203 [label="'p'"] + q559 -> q119 [label="'f'"] + q558 -> q681 [label="'e'"] + q555 -> q650 [label="'e'"] + q554 -> q590 [label="'p'"] + q557 -> q606 [label="'h'"] + q551 -> q137 [label="'f'"] + q550 -> q41 [label="'t'"] + q552 -> q84 [label="'t'"] + q238 -> q138 [label="'p'"] + q239 -> q594 [label="'d'"] + q234 -> q479 [label="'t'"] + q235 -> q241 [label="'b'"] + q236 -> q171 [label="'x'"] + q231 -> q83 [label="'t'"] + q232 -> q76 [label="'e'"] + q1 -> q313 [label="'e'"] + q146 -> q155 [label="'n'"] + q147 -> q258 [label="'c'"] + q619 -> q33 [label="'i'"] + q142 -> q558 [label="'w'"] + q143 -> q427 [label="'e'"] + q140 -> q652 [label="'a'"] + q141 -> q39 [label="'f'"] + q612 -> q314 [label="'e'"] + q613 -> q24 [label="'i'"] + q610 -> q376 [label="'e'"] + q611 -> q344 [label="'o'"] + q616 -> q274 [label="'e'"] + q616 -> q32 [label="'t'"] + q617 -> q71 [label="'n'"] + q148 -> q35 [label="'h'"] + q615 -> q322 [label="'r'"] + q615 -> q166 [label="'u'"] + q689 -> q668 [label="'k'"] + q689 -> q115 [label="'u'"] + q689 -> q602 [label="'l'"] + q689 -> q145 [label="'d'"] + q684 -> q530 [label="'n'"] + q686 -> q86 [label="'p'"] + q681 -> q688 [label="'r'"] + q680 -> q456 [label="'p'"] + q623 -> q564 [label="'e'"] + q133 -> q291 [label="'v'"] + q132 -> q541 [label="'h'"] + q131 -> q206 [label="'d'"] + q130 -> q493 [label="'h'"] + q136 -> q380 [label="'f'"] + q135 -> q667 [label="'p'"] + q134 -> q100 [label="'r'"] + q494 -> q338 [label="'n'"] + q495 -> q157 [label="'s'"] + q138 -> q467 [label="'h'"] + q490 -> q476 [label="'l'"] + q492 -> q205 [label="'r'"] + q492 -> q559 [label="'o'"] + q493 -> q327 [label="'a'"] + q24 -> q367 [label="'l'"] + q25 -> q459 [label="'u'"] + q26 -> q682 [label="'f'"] + q27 -> q385 [label="'a'"] + q20 -> q340 [label="'t'"] + q21 -> q580 [label="'a'"] + q21 -> q236 [label="'e'"] + q21 -> q219 [label="'o'"] + q22 -> q446 [label="'r'"] + q23 -> q228 [label="'m'"] + q28 -> q146 [label="'i'"] + q29 -> q390 [label="'e'"] + q407 -> q561 [label="'i'"] + q406 -> q648 [label="'o'"] + q405 -> q622 [label="'c'"] + q404 -> q453 [label="'r'"] + q402 -> q163 [label="'c'"] + q401 -> q535 [label="'a'"] + q401 -> q306 [label="'i'"] + q401 -> q512 [label="'m'"] + q401 -> q255 [label="'o'"] + q629 -> q315 [label="'p'"] + q629 -> q455 [label="'t'"] + q408 -> q491 [label="'y'"] + q371 -> q478 [label="'e'"] + q370 -> q510 [label="'y'"] + q373 -> q431 [label="'h'"] + q372 -> q617 [label="'p'"] + q374 -> q98 [label="'r'"] + q377 -> q592 [label="'h'"] + q376 -> q487 [label="'n'"] + q144 -> q441 [label="'c'"] + q144 -> q386 [label="'e'"] + q144 -> q194 [label="'i'"] + q144 -> q246 [label="'q'"] + q144 -> q466 [label="'p'"] + q144 -> q147 [label="'s'"] + q144 -> q309 [label="'r'"] + q144 -> q116 [label="'t'"] + q144 -> q285 [label="'y'"] + q393 -> q646 [label="'p'"] + q89 -> q284 [label="'r'"] + q397 -> q647 [label="'e'"] + q396 -> q248 [label="'t'"] + q395 -> q601 [label="'i'"] + q395 -> q293 [label="'r'"] + q394 -> q96 [label="'y'"] + q82 -> q29 [label="'m'"] + q83 -> q152 [label="'i'"] + q80 -> q81 [label="'u'"] + q81 -> q553 [label="'m'"] + q84 -> q399 [label="'i'"] + q601 -> q346 [label="'d'"] + q586 -> q443 [label="'o'"] + q587 -> q132 [label="'s'"] + q584 -> q259 [label="'t'"] + q585 -> q176 [label="'g'"] + q582 -> q122 [label="'u'"] + q583 -> q59 [label="'t'"] + q580 -> q642 [label="'n'"] + q581 -> q169 [label="'m'"] + q588 -> q636 [label="'t'"] + q589 -> q366 [label="'s'"] + q247 -> q460 [label="'t'"] + q246 -> q690 [label="'r'"] + q241 -> q666 [label="'r'"] + q614 -> q662 [label="'o'"] + q243 -> q365 [label="'n'"] + q242 -> q496 [label="'k'"] + q149 -> q562 [label="'i'"] + q249 -> q604 [label="'p'"] + q249 -> q135 [label="'s'"] + q249 -> q598 [label="'f'"] + q518 -> q645 [label="'a'"] + q518 -> q289 [label="'k'"] + q518 -> q640 [label="'b'"] + q518 -> q359 [label="'e'"] + q518 -> q638 [label="'o'"] + q513 -> q201 [label="'p'"] + q512 -> q11 [label="'p'"] + q515 -> q659 [label="'c'"] + q515 -> q231 [label="'f'"] + q515 -> q610 [label="'l'"] + q515 -> q197 [label="'n'"] + q515 -> q381 [label="'p'"] + q515 -> q629 [label="'s'"] + q515 -> q547 [label="'r'"] + q515 -> q72 [label="'t'"] + q515 -> q190 [label="'x'"] + q514 -> q301 [label="'a'"] + q517 -> q79 [label="'c'"] + q517 -> q151 [label="'m'"] + q516 -> q618 [label="'0'"] + q458 -> q402 [label="'n'"] + q459 -> q392 [label="'f'"] + q621 -> q244 [label="'r'"] + q620 -> q649 [label="'o'"] + q627 -> q127 [label="'s'"] + q451 -> q93 [label="'i'"] + q628 -> q175 [label="'s'"] + q454 -> q245 [label="'e'"] + q455 -> q88 [label="'r'"] + q456 -> q22 [label="'e'"] + q457 -> q432 [label="'e'"] + q179 -> q627 [label="'u'"] + q176 -> q584 [label="'i'"] + q174 -> q324 [label="'c'"] + q173 -> q497 [label="'l'"] + q172 -> q653 [label="'n'"] + q171 -> q150 [label="'i'"] + q170 -> q600 [label="'i'"] + q657 -> q174 [label="'o'"] + q654 -> q471 [label="'c'"] + q654 -> q616 [label="'e'"] + q182 -> q337 [label="'r'"] + q180 -> q656 [label="'r'"] + q181 -> q605 [label="'e'"] + q186 -> q383 [label="'s'"] + q186 -> q611 [label="'m'"] + q186 -> q65 [label="'c'"] + q184 -> q226 [label="'t'"] + q652 -> q454 [label="'c'"] + q188 -> q183 [label="'r'"] + q189 -> q237 [label="'s'"] + q189 -> q240 [label="'o'"] + q659 -> q692 [label="'a'"] + q659 -> q162 [label="'h'"] + q659 -> q216 [label="'m'"] + q659 -> q444 [label="'o'"] + q659 -> q36 [label="'p'"] + q659 -> q372 [label="'s'"] + q650 -> q442 [label="'a'"] + q650 -> q472 [label="'x'"] + q650 -> q637 [label="'e'"] + q650 -> q513 [label="'o'"] + q651 -> q202 [label="'e'"] + q102 -> q363 [label="'r'"] + q11 -> q104 [label="'n'"] + q11 -> q613 [label="'f'"] + q13 -> q525 [label="'s'"] + q13 -> q73 [label="'t'"] + q12 -> q308 [label="'w'"] + q15 -> q140 [label="'p'"] + q17 -> q501 [label="'e'"] + q16 -> q371 [label="'p'"] + q19 -> q164 [label="'f'"] + q18 -> q545 [label="'t'"] + q322 -> q279 [label="'i'"] + q323 -> q413 [label="'c'"] + q321 -> q91 [label="'l'"] + q327 -> q679 [label="'r'"] + q325 -> q257 [label="'m'"] + q328 -> q631 [label="'c'"] + q201 -> q433 [label="'e'"] + q203 -> q112 [label="'e'"] + q202 -> q409 [label="'m'"] + q205 -> q220 [label="'r'"] + q207 -> q321 [label="'a'"] + q207 -> q632 [label="'c'"] + q207 -> q78 [label="'d'"] + q207 -> q297 [label="'g'"] + q207 -> q6 [label="'l'"] + q207 -> q221 [label="'p'"] + q207 -> q15 [label="'s'"] + q207 -> q428 [label="'u'"] + q207 -> q290 [label="'w'"] + q207 -> q354 [label="'x'"] + q209 -> q99 [label="'c'"] + q77 -> q644 [label="'h'"] + q76 -> q44 [label="'l'"] + q74 -> q523 [label="'r'"] + q73 -> q418 [label="'o'"] + q72 -> q49 [label="'o'"] + q655 -> q484 [label="'t'"] + q79 -> q515 [label="'s'"] + q79 -> q425 [label="'r'"] + q79 -> q571 [label="'t'"] + q78 -> q198 [label="'i'"] + q2 -> q342 [label="'r'"] + q669 -> q10 [label="'f'"] + q667 -> q619 [label="'r'"] + q666 -> q457 [label="'l'"] + q664 -> q38 [label="'n'"] + q662 -> q577 [label="'w'"] + q661 -> q230 [label="'l'"] + q660 -> q475 [label="'c'"] + q692 -> q303 [label="'t'"] + q693 -> q621 [label="'r'"] + q690 -> q217 [label="'t'"] + q543 -> q423 [label="'e'"] + q540 -> q396 [label="'i'"] + q540 -> q593 [label="'p'"] + q547 -> q160 [label="'c'"] + q547 -> q620 [label="'t'"] + q545 -> q421 [label="'s'"] + q545 -> q66 [label="'e'"] + q545 -> q130 [label="'c'"] + q545 -> q323 [label="'w'"] + q8 -> q599 [label="'e'"] + q8 -> q67 [label="'o'"] + q548 -> q603 [label="'a'"] + q548 -> q370 [label="'p'"] + q548 -> q225 [label="'m'"] + q549 -> q469 [label="'a'"] + q549 -> q677 [label="'c'"] + q549 -> q492 [label="'e'"] + q549 -> q143 [label="'g'"] + q549 -> q643 [label="'f'"] + q549 -> q426 [label="'m'"] + q549 -> q406 [label="'l'"] + q549 -> q167 [label="'o'"] + q549 -> q615 [label="'p'"] + q549 -> q654 [label="'s'"] + q549 -> q555 [label="'r'"] + q549 -> q232 [label="'t'"] + q549 -> q395 [label="'w'"] + q258 -> q107 [label="'a'"] + q120 -> q583 [label="'n'"] + q122 -> q156 [label="'m'"] + q125 -> q410 [label="'r'"] + q127 -> q519 [label="'h'"] + q128 -> q347 [label="'i'"] + q414 -> q55 [label="'b'"] + q415 -> q397 [label="'t'"] + q410 -> q374 [label="'o'"] + q411 -> q607 [label="'n'"] + q412 -> q251 [label="'a'"] + q412 -> q429 [label="'m'"] + q412 -> q64 [label="'w'"] + q412 -> q52 [label="'n'"] + q413 -> q514 [label="'h'"] + q498 -> q693 [label="'e'"] + q418 -> q368 [label="'w'"] + q419 -> q131 [label="'n'"] + q499 -> q207 [label="'s'"] + q319 -> q124 [label="'l'"] + q318 -> q233 [label="'r'"] + q312 -> q12 [label="'o'"] + q311 -> q227 [label="'u'"] + q311 -> q422 [label="'r'"] + q311 -> q507 [label="'e'"] + q311 -> q117 [label="'o'"] + q310 -> q569 [label="'p'"] + q316 -> q114 [label="'o'"] + q315 -> q485 [label="'n'"] + q314 -> q62 [label="'t'"] + q497 -> q272 [label="'o'"] + q3 -> q110 [label="'e'"] + q368 -> q556 [label="'c'"] + q367 -> q369 [label="'e'"] + q364 -> q286 [label="'t'"] + q365 -> q4 [label="'t'"] + q362 -> q566 [label="'o'"] + q363 -> q554 [label="'a'"] + q361 -> q351 [label="'l'"] + q381 -> q161 [label="'b'"] + q382 -> q90 [label="'r'"] + q383 -> q42 [label="'e'"] + q384 -> q238 [label="'a'"] + q385 -> q509 [label="'c'"] + q386 -> q94 [label="'t'"] + q387 -> q47 [label="'s'"] + q389 -> q330 [label="'n'"] + q578 -> q298 [label="'e'"] + q604 -> q334 [label="'r'"] + q573 -> q82 [label="'i'"] + q571 -> q356 [label="'y'"] + q571 -> q465 [label="'r'"] + q577 -> q199 [label="'e'"] + q576 -> q75 [label="'d'"] + q575 -> q343 [label="'e'"] + q574 -> q54 [label="'y'"] + q60 -> q250 [label="'n'"] + q61 -> q398 [label="'r'"] + q62 -> q671 [label="'c'"] + q62 -> q405 [label="'w'"] + q64 -> q419 [label="'i'"] + q65 -> q505 [label="'h'"] + q65 -> q30 [label="'m'"] + q65 -> q574 [label="'p'"] + q66 -> q133 [label="'n'"] + q67 -> q521 [label="'c'"] + q252 -> q292 [label="'m'"] + q69 -> q498 [label="'r'"] + q250 -> q177 [label="'s'"] + q251 -> q420 [label="'l'"] + q257 -> q685 [label="'e'"] + q254 -> q294 [label="'a'"] + q254 -> q412 [label="'e'"] + q255 -> q331 [label="'u'"] + q255 -> q281 [label="'l'"] + q255 -> q108 [label="'w'"] + q603 -> q154 [label="'t'"] + q508 -> q267 [label="'r'"] + q509 -> q153 [label="'e'"] + q506 -> q113 [label="'m'"] + q507 -> q182 [label="'r'"] + q505 -> q570 [label="'r'"] + q501 -> q70 [label="'n'"] + q630 -> q480 [label="'c'"] + q631 -> q74 [label="'h'"] + q632 -> q196 [label="'n'"] + q633 -> q665 [label="'p'"] + q636 -> q222 [label="'o'"] + q638 -> q26 [label="'d'"] + q639 -> q579 [label="'t'"] + q466 -> q63 [label="'r'"] + q461 -> q326 [label="'t'"] + q463 -> q691 [label="'r'"] + q462 -> q345 [label="'m'"] + q169 -> q187 [label="'e'"] + q165 -> q394 [label="'t'"] + q165 -> q357 [label="'n'"] + q166 -> q211 [label="'t'"] + q167 -> q17 [label="'p'"] + q160 -> q449 [label="'h'"] + q161 -> q242 [label="'r'"] + q162 -> q178 [label="'r'"] + q163 -> q218 [label="'t'"] + q600 -> q288 [label="'g'"] + q436 -> q335 [label="'e'"] + q648 -> q188 [label="'o'"] + q357 -> q538 [label="'t'"] + q356 -> q332 [label="'p'"] + q355 -> q320 [label="'d'"] + q354 -> q170 [label="'d'"] + q352 -> q633 [label="'x'"] + q351 -> q451 [label="'t'"] + q350 -> q229 [label="'s'"] + q350 -> q77 [label="'c'"] + q350 -> q333 [label="'w'"] + q359 -> q186 [label="'m'"] + q358 -> q349 [label="'p'"] + q216 -> q195 [label="'p'"] + q214 -> q105 [label="'a'"] + q214 -> q473 [label="'c'"] + q214 -> q13 [label="'b'"] + q214 -> q270 [label="'e'"] + q214 -> q440 [label="'d'"] + q214 -> q40 [label="'g'"] + q214 -> q549 [label="'f'"] + q214 -> q499 [label="'i'"] + q214 -> q518 [label="'m'"] + q214 -> q235 [label="'M'"] + q214 -> q278 [label="'l'"] + q214 -> q672 [label="'q'"] + q214 -> q311 [label="'p'"] + q214 -> q144 [label="'s'"] + q214 -> q254 [label="'r'"] + q214 -> q424 [label="'u'"] + q214 -> q401 [label="'t'"] + q214 -> q517 [label="'w'"] + q214 -> q249 [label="'v'"] + q215 -> q121 [label="'t'"] + q212 -> q437 [label="'r'"] + q213 -> q635 [label="'l'"] + q210 -> q300 [label="'r'"] + q210 -> q458 [label="'u'"] + q211 -> q625 [label="'s'"] + q211 -> q118 [label="'c'"] + q211 -> q483 [label="'w'"] + q219 -> q400 [label="'i'"] + q219 -> q532 [label="'l'"] + q219 -> q9 [label="'f'"] + q289 -> q43 [label="'t'"] + q288 -> q215 [label="'i'"] + q4 -> q687 [label="'f'"] + q281 -> q103 [label="'o'"] + q280 -> q495 [label="'b'"] + q283 -> q275 [label="'t'"] + q282 -> q565 [label="'e'"] + q285 -> q101 [label="'s'"] + q287 -> q123 [label="'b'"] + q678 -> q534 [label="'s'"] + q678 -> q674 [label="'c'"] + q675 -> q591 [label="'e'"] + q677 -> q316 [label="'l'"] + q670 -> q283 [label="'i'"] + q672 -> q527 [label="'s'"] + q673 -> q173 [label="'l'"] + q263 -> q180 [label="'h'"] + q263 -> q299 [label="'m'"] + q263 -> q468 [label="'p'"] + q262 -> q213 [label="'l'"] + q261 -> q597 [label="'i'"] + q261 -> q352 [label="'e'"] + q260 -> q134 [label="'t'"] + q267 -> q411 [label="'i'"] + q265 -> q353 [label="'t'"] + q269 -> q573 [label="'t'"] + q59 -> q403 [label="'f'"] + q58 -> q307 [label="'c'"] + q55 -> q136 [label="'u'"] + q56 -> q264 [label="'d'"] + q52 -> q506 [label="'a'"] + q537 -> q488 [label="'n'"] + q536 -> q209 [label="'o'"] + q535 -> q557 [label="'n'"] + q63 -> q243 [label="'i'"] + q533 -> q95 [label="'a'"] + q531 -> q339 [label="'c'"] + q531 -> q568 [label="'e'"] + q531 -> q296 [label="'f'"] + q531 -> q575 [label="'l'"] + q531 -> q58 [label="'n'"] + q531 -> q92 [label="'p'"] + q531 -> q486 [label="'s'"] + q531 -> q328 [label="'r'"] + q531 -> q481 [label="'t'"] + q531 -> q192 [label="'x'"] + q530 -> q641 [label="'t'"] + q539 -> q252 [label="'i'"] + q538 -> q661 [label="'r'"] + q115 -> q87 [label="'l'"] + q68 -> q184 [label="'r'"] + q117 -> q520 [label="'w'"] + q116 -> q531 [label="'r'"] + q111 -> q139 [label="'y'"] + q113 -> q452 [label="'e'"] + q256 -> q253 [label="'f'"] + q429 -> q276 [label="'o'"] + q428 -> q16 [label="'p'"] + q420 -> q657 [label="'l'"] + q422 -> q120 [label="'i'"] + q425 -> q362 [label="'t'"] + q424 -> q438 [label="'n'"] + q427 -> q430 [label="'t'"] + q427 -> q678 [label="'w'"] + q426 -> q355 [label="'o'"] + q308 -> q595 [label="'e'"] + q309 -> q97 [label="'a'"] + q300 -> q526 [label="'i'"] + q301 -> q511 [label="'r'"] + q302 -> q655 [label="'f'"] + q304 -> q546 [label="'r'"] + q306 -> q543 [label="'m'"] + q307 -> q461 [label="'a'"] + q307 -> q111 [label="'p'"] + q307 -> q310 [label="'m'"] + q240 -> q448 [label="'r'"] + q568 -> q125 [label="'r'"] + q561 -> q609 [label="'g'"] + q562 -> q675 [label="'m'"] + q565 -> q193 [label="'r'"] + q566 -> q287 [label="'m'"] + q567 -> q462 [label="'r'"] + q228 -> q263 [label="'c'"] + q228 -> q271 [label="'m'"] + q228 -> q578 [label="'s'"] + q227 -> q350 [label="'t'"] + q225 -> q266 [label="'p'"] + q224 -> q589 [label="'o'"] + q223 -> q663 [label="'l'"] + q222 -> q660 [label="'w'"] + q221 -> q529 [label="'r'"] + q221 -> q537 [label="'u'"] + q220 -> q318 [label="'o'"] + q114 -> q623 [label="'s'"] + q391 -> q536 [label="'l'"] + q151 -> q23 [label="'e'"] + q150 -> q560 [label="'t'"] + q607 -> q141 [label="'t'"] + q152 -> q445 [label="'m'"] + q155 -> q639 [label="'i'"] + q159 -> q500 [label="'k'"] + q158 -> q516 [label="'1'"] + q609 -> q247 [label="'i'"] + q608 -> q304 [label="'e'"] + q469 -> q273 [label="'b'"] + q399 -> q3 [label="'m'"] + q468 -> q185 [label="'y'"] + q398 -> q106 [label="'l'"] + q48 -> q502 [label="'h'"] + q49 -> q200 [label="'k'"] + q49 -> q223 [label="'u'"] + q49 -> q683 [label="'l'"] + q49 -> q379 [label="'d'"] + q44 -> q14 [label="'l'"] + q45 -> q669 [label="'n'"] + q42 -> q658 [label="'t'"] + q43 -> q325 [label="'i'"] + q40 -> q18 [label="'e'"] + q40 -> q552 [label="'m'"] + q41 -> q46 [label="'f'"] + q465 -> q389 [label="'a'"] + q464 -> q482 [label="'n'"] + q489 -> q19 [label="'n'"] + q488 -> q234 [label="'c'"] + q486 -> q494 [label="'p'"] + q486 -> q336 [label="'t'"] + q484 -> q581 [label="'i'"] + q483 -> q378 [label="'c'"] + q483 -> q624 [label="'s'"] + q481 -> q689 [label="'o'"] + q480 -> q126 [label="'h'"] + q472 -> q544 [label="'p'"] + q473 -> q673 [label="'a'"] + q473 -> q128 [label="'e'"] + q473 -> q539 [label="'t'"] + q473 -> q587 [label="'o'"] + q473 -> q8 [label="'l'"] + q470 -> q628 [label="'o'"] + q471 -> q489 [label="'a'"] + q476 -> q377 [label="'p'"] + q476 -> q582 [label="'n'"] + q477 -> q159 [label="'r'"] + q478 -> q572 [label="'r'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/nfa.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,26 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="(A|B)*C"] + q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q5 + q1 -> q4 [label="''"] + q1 -> q6 [label="''"] + q0 -> q1 [label="'A'"] + q3 -> q4 [label="''"] + q3 -> q6 [label="''"] + q2 -> q3 [label="'B'"] + q5 -> q4 [label="''"] + q5 -> q6 [label="''"] + q4 -> q0 [label="''"] + q4 -> q2 [label="''"] + q6 -> q7 [label="'C'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/nocombine.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,20 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="(argv|argc|args)"] + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q6 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q1 + q1 -> q3 [label="'a'"] + q3 -> q4 [label="'r'"] + q5 -> q6 [label="'s'"] + q5 -> q2 [label="'c'"] + q5 -> q0 [label="'v'"] + q4 -> q5 [label="'g'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/star.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,11 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="A*"] + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q0 + q1 -> q1 [label="'A'"] + q0 -> q1 [label="'A'"] +} \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/code/dot/union.dot Fri Aug 06 20:18:58 2010 +0900 @@ -0,0 +1,12 @@ + +digraph G{ + rankdir=LR + regex [shape=plaintext, label="A|B"] + q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] + start [shape=point] + start -> q1 + q1 -> q2 [label="'A'"] + q1 -> q0 [label="'B'"] +} \ No newline at end of file
--- a/code/graph/combine.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,16 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="(argv|argc|args)"] - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q6 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q1 - q1 -> q5 [label="'arg'"] - q5 -> q6 [label="'s'"] - q5 -> q2 [label="'c'"] - q5 -> q0 [label="'v'"] -} \ No newline at end of file
--- a/code/graph/concat.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="AB"] - q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q2 - q0 -> q1 [label="'B'"] - q2 -> q0 [label="'A'"] -} \ No newline at end of file
--- a/code/graph/dfa.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,20 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="(A|B)*C"] - q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q3 - q1 -> q1 [label="'A'"] - q1 -> q2 [label="'C'"] - q1 -> q0 [label="'B'"] - q0 -> q1 [label="'A'"] - q0 -> q2 [label="'C'"] - q0 -> q0 [label="'B'"] - q3 -> q1 [label="'A'"] - q3 -> q2 [label="'C'"] - q3 -> q0 [label="'B'"] -} \ No newline at end of file
--- a/code/graph/huge_combine.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,515 +0,0 @@ - -digraph G{ - rankdir=LR - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q5 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q54 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q8 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q10 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q11 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q13 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q14 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q21 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q635 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q39 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q40 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q46 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q47 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q48 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q49 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q50 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q51 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q65 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q75 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q77 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q79 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q85 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q86 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q87 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q88 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q91 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q94 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q98 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q99 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q106 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q546 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q109 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q110 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q605 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q9 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q412 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q130 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q118 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q119 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q121 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q123 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q124 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q126 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q132 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q137 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q139 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q145 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q154 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q156 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q157 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q158 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q164 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q165 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q168 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q175 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q177 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q178 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q183 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q401 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q186 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q187 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q189 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q191 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q193 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q616 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q618 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q200 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q204 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q206 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q207 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q208 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q210 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q211 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q214 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q217 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q218 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q219 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q221 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q226 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q228 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q229 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q230 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q233 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q237 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q244 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q245 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q248 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q249 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q112 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q254 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q259 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q261 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q263 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q264 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q266 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q275 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q268 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q307 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q278 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q284 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q286 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q290 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q291 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q295 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q303 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q634 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q313 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q545 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q317 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q320 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q544 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q324 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q326 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q329 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q338 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q339 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q341 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q345 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q348 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q71 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q70 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q353 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q108 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q360 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q129 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q366 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q369 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q373 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q375 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q378 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q379 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q380 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q335 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q388 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q390 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q392 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q395 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q400 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q350 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q403 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q409 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q185 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q413 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q416 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q421 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q144 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q423 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q427 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q430 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q542 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q434 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q437 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q439 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q532 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q446 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q450 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q452 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q453 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q460 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q656 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q473 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q474 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q475 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q476 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q659 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q479 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q62 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q548 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q483 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q485 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q486 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q487 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q105 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q491 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q492 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q496 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q500 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q502 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q503 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q255 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q195 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q510 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q511 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q311 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q253 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q515 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q518 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q519 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q520 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q522 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q523 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q556 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q531 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q534 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q57 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q540 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q153 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q547 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q435 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q482 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q549 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q553 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q517 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q557 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q560 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q563 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q564 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q541 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q570 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q572 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q579 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q53 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q591 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q593 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q602 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q606 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q615 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q682 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q569 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q622 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q624 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q625 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q626 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q629 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q305 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q417 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q637 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q504 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q640 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q641 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q642 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q571 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q647 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q650 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q653 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q654 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q467 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q658 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q663 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q665 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q342 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q668 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q671 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q674 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q676 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q678 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q679 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q683 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q685 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q687 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q688 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q689 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q691 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q214 - q348 -> q360 [label="'caltime'"] - q348 -> q158 [label="'g'"] - q295 -> q187 [label="'fftime'"] - q295 -> q109 [label="'v'"] - q290 -> q546 [label="'upper'"] - q290 -> q165 [label="'c'"] - q290 -> q460 [label="'digit'"] - q290 -> q153 [label="'space'"] - q290 -> q7 [label="'graph'"] - q290 -> q476 [label="'al'"] - q290 -> q210 [label="'p'"] - q290 -> q85 [label="'lower'"] - q290 -> q259 [label="'xdigit'"] - q278 -> q47 [label="'abs'"] - q278 -> q261 [label="'d'"] - q278 -> q348 [label="'o'"] - q108 -> q446 [label="'upper'"] - q108 -> q329 [label="'lower'"] - q108 -> q177 [label="'ctrans'"] - q105 -> q388 [label="'cos'"] - q105 -> q435 [label="'s'"] - q105 -> q189 [label="'b'"] - q105 -> q21 [label="'t'"] - q640 -> q579 [label="'sinit'"] - q640 -> q475 [label="'rtowc'"] - q642 -> q504 [label="'2'"] - q435 -> q390 [label="'ctime'"] - q435 -> q653 [label="'in'"] - q430 -> q204 [label="'s'"] - q430 -> q503 [label="'c'"] - q430 -> q366 [label="'pos'"] - q339 -> q284 [label="'hr'"] - q339 -> q491 [label="'py'"] - q339 -> q635 [label="'oll'"] - q339 -> q86 [label="'mp'"] - q339 -> q482 [label="'spn'"] - q339 -> q353 [label="'at'"] - q91 -> q341 [label="'pha'"] - q91 -> q553 [label="'num'"] - q94 -> q392 [label="'buf'"] - q94 -> q380 [label="'vbuf'"] - q557 -> q606 [label="'h'"] - q616 -> q175 [label="'tpos'"] - q616 -> q5 [label="'ek'"] - q615 -> q563 [label="'rintf'"] - q615 -> q211 [label="'ut'"] - q689 -> q87 [label="'ul'"] - q689 -> q668 [label="'k'"] - q689 -> q602 [label="'l'"] - q689 -> q145 [label="'d'"] - q132 -> q541 [label="'h'"] - q130 -> q679 [label="'har'"] - q492 -> q119 [label="'of'"] - q492 -> q233 [label="'rror'"] - q21 -> q560 [label="'exit'"] - q21 -> q219 [label="'o'"] - q21 -> q642 [label="'an'"] - q401 -> q423 [label="'ime'"] - q401 -> q255 [label="'o'"] - q401 -> q557 [label="'an'"] - q401 -> q11 [label="'mp'"] - q629 -> q88 [label="'tr'"] - q629 -> q485 [label="'pn'"] - q373 -> q453 [label="'har'"] - q144 -> q10 [label="'canf'"] - q144 -> q75 [label="'rand'"] - q144 -> q137 [label="'scanf'"] - q144 -> q687 [label="'printf'"] - q144 -> q531 [label="'tr'"] - q144 -> q217 [label="'qrt'"] - q144 -> q48 [label="'in'"] - q144 -> q94 [label="'et'"] - q144 -> q409 [label="'ystem'"] - q395 -> q647 [label="'rite'"] - q395 -> q416 [label="'ide'"] - q249 -> q39 [label="'fprintf'"] - q249 -> q46 [label="'sprintf'"] - q249 -> q253 [label="'printf'"] - q518 -> q186 [label="'em'"] - q518 -> q99 [label="'alloc'"] - q518 -> q640 [label="'b'"] - q518 -> q685 [label="'ktime'"] - q518 -> q682 [label="'odf'"] - q515 -> q268 [label="'xfrm'"] - q515 -> q659 [label="'c'"] - q515 -> q496 [label="'pbrk'"] - q515 -> q49 [label="'to'"] - q515 -> q548 [label="'nc'"] - q515 -> q487 [label="'len'"] - q515 -> q629 [label="'s'"] - q515 -> q547 [label="'r'"] - q515 -> q450 [label="'ftime'"] - q517 -> q228 [label="'mem'"] - q517 -> q79 [label="'c'"] - q654 -> q164 [label="'canf'"] - q654 -> q616 [label="'e'"] - q186 -> q605 [label="'move'"] - q186 -> q658 [label="'set'"] - q186 -> q65 [label="'c'"] - q189 -> q237 [label="'s'"] - q189 -> q53 [label="'ort'"] - q659 -> q124 [label="'oll'"] - q659 -> q178 [label="'hr'"] - q659 -> q0 [label="'py'"] - q659 -> q303 [label="'at'"] - q659 -> q71 [label="'spn'"] - q659 -> q195 [label="'mp'"] - q650 -> q637 [label="'e'"] - q650 -> q129 [label="'ad'"] - q650 -> q544 [label="'xp'"] - q650 -> q317 [label="'open'"] - q11 -> q439 [label="'nam'"] - q11 -> q369 [label="'file'"] - q13 -> q126 [label="'search'"] - q13 -> q556 [label="'towc'"] - q207 -> q572 [label="'upper'"] - q207 -> q275 [label="'digit'"] - q207 -> q245 [label="'space'"] - q207 -> q467 [label="'graph'"] - q207 -> q91 [label="'al'"] - q207 -> q221 [label="'p'"] - q207 -> q688 [label="'lower'"] - q207 -> q290 [label="'w'"] - q207 -> q121 [label="'xdigit'"] - q207 -> q106 [label="'cntrl'"] - q77 -> q437 [label="'har'"] - q79 -> q515 [label="'s'"] - q79 -> q571 [label="'t'"] - q79 -> q123 [label="'rtomb'"] - q540 -> q593 [label="'p'"] - q540 -> q248 [label="'it'"] - q547 -> q157 [label="'tombs'"] - q547 -> q417 [label="'chr'"] - q545 -> q413 [label="'wc'"] - q545 -> q421 [label="'s'"] - q545 -> q130 [label="'c'"] - q545 -> q291 [label="'env'"] - q8 -> q51 [label="'ock'"] - q8 -> q244 [label="'earerr'"] - q548 -> q510 [label="'py'"] - q548 -> q266 [label="'mp'"] - q548 -> q154 [label="'at'"] - q549 -> q492 [label="'e'"] - q549 -> q650 [label="'re'"] - q549 -> q70 [label="'open'"] - q549 -> q615 [label="'p'"] - q549 -> q654 [label="'s'"] - q549 -> q542 [label="'abs'"] - q549 -> q395 [label="'w'"] - q549 -> q519 [label="'flush'"] - q549 -> q564 [label="'close'"] - q549 -> q427 [label="'ge'"] - q549 -> q183 [label="'loor'"] - q549 -> q14 [label="'tell'"] - q549 -> q320 [label="'mod'"] - q412 -> q324 [label="'alloc'"] - q412 -> q452 [label="'name'"] - q412 -> q335 [label="'move'"] - q412 -> q206 [label="'wind'"] - q413 -> q511 [label="'har'"] - q311 -> q403 [label="'rintf'"] - q311 -> q350 [label="'ut'"] - q311 -> q342 [label="'error'"] - q311 -> q520 [label="'ow'"] - q571 -> q434 [label="'rans'"] - q571 -> q305 [label="'ype'"] - q62 -> q671 [label="'c'"] - q62 -> q622 [label="'wc'"] - q65 -> q570 [label="'hr'"] - q65 -> q54 [label="'py'"] - q65 -> q375 [label="'mp'"] - q254 -> q264 [label="'and'"] - q254 -> q412 [label="'e'"] - q255 -> q691 [label="'upper'"] - q255 -> q193 [label="'lower'"] - q255 -> q108 [label="'w'"] - q165 -> q230 [label="'ntrl'"] - q165 -> q112 [label="'type'"] - q350 -> q229 [label="'s'"] - q350 -> q373 [label="'wc'"] - q350 -> q77 [label="'c'"] - q214 -> q207 [label="'is'"] - q214 -> q540 [label="'ex'"] - q214 -> q62 [label="'unget'"] - q214 -> q226 [label="'qsort'"] - q214 -> q474 [label="'Mbrlen'"] - q214 -> q295 [label="'di'"] - q214 -> q105 [label="'a'"] - q214 -> q473 [label="'c'"] - q214 -> q13 [label="'b'"] - q214 -> q40 [label="'g'"] - q214 -> q549 [label="'f'"] - q214 -> q518 [label="'m'"] - q214 -> q278 [label="'l'"] - q214 -> q311 [label="'p'"] - q214 -> q144 [label="'s'"] - q214 -> q254 [label="'r'"] - q214 -> q401 [label="'t'"] - q214 -> q517 [label="'w'"] - q214 -> q249 [label="'v'"] - q210 -> q218 [label="'unct'"] - q210 -> q286 [label="'rint'"] - q211 -> q625 [label="'s'"] - q211 -> q118 [label="'c'"] - q211 -> q483 [label="'w'"] - q219 -> q400 [label="'i'"] - q219 -> q532 [label="'l'"] - q219 -> q9 [label="'f'"] - q678 -> q534 [label="'s'"] - q678 -> q674 [label="'c'"] - q263 -> q656 [label="'hr'"] - q263 -> q185 [label="'py'"] - q263 -> q57 [label="'mp'"] - q261 -> q665 [label="'exp'"] - q261 -> q676 [label="'iv'"] - q531 -> q345 [label="'xfrm'"] - q531 -> q339 [label="'c'"] - q531 -> q500 [label="'pbrk'"] - q531 -> q523 [label="'rchr'"] - q531 -> q307 [label="'nc'"] - q531 -> q208 [label="'len'"] - q531 -> q689 [label="'to'"] - q531 -> q486 [label="'s'"] - q531 -> q591 [label="'ftime'"] - q531 -> q98 [label="'error'"] - q427 -> q430 [label="'t'"] - q427 -> q678 [label="'w'"] - q307 -> q139 [label="'py'"] - q307 -> q569 [label="'mp'"] - q307 -> q326 [label="'at'"] - q228 -> q263 [label="'c'"] - q228 -> q313 [label="'move'"] - q228 -> q522 [label="'set'"] - q221 -> q479 [label="'unct'"] - q221 -> q641 [label="'rint'"] - q158 -> q618 [label="'10'"] - q48 -> q502 [label="'h'"] - q49 -> q663 [label="'ul'"] - q49 -> q200 [label="'k'"] - q49 -> q683 [label="'l'"] - q49 -> q379 [label="'d'"] - q40 -> q545 [label="'et'"] - q40 -> q110 [label="'mtime'"] - q486 -> q50 [label="'tr'"] - q486 -> q338 [label="'pn'"] - q483 -> q378 [label="'c'"] - q483 -> q624 [label="'s'"] - q473 -> q191 [label="'alloc'"] - q473 -> q8 [label="'l'"] - q473 -> q626 [label="'time'"] - q473 -> q132 [label="'os'"] - q473 -> q634 [label="'eil'"] - q476 -> q168 [label="'pha'"] - q476 -> q156 [label="'num'"] -} \ No newline at end of file
--- a/code/graph/huge_nocombine.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1393 +0,0 @@ - -digraph G{ - rankdir=LR - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q19 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q30 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q5 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q216 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q660 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q54 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q8 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q10 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q11 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q12 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q13 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q14 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q429 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q17 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q18 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q306 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q21 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q576 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q23 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q37 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q393 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q662 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q635 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q25 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q377 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q27 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q420 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q332 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q471 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q282 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q34 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q418 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q36 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q38 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q39 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q40 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q41 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q84 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q45 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q46 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q47 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q48 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q49 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q50 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q51 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q509 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q432 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q55 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q56 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q58 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q59 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q60 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q61 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q481 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q527 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q63 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q64 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q65 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q257 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q67 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q621 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q72 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q28 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q74 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q75 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q76 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q77 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q561 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q79 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q80 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q81 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q35 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q85 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q86 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q87 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q88 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q89 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q90 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q91 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q16 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q93 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q94 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q96 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q97 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q98 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q99 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q100 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q536 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q441 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q101 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q171 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q103 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q104 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q106 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q234 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q546 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q109 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q110 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q397 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q111 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q605 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q113 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q9 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q412 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q130 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q116 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q117 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q118 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q119 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q121 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q271 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q123 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q124 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q125 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q126 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q127 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q115 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q131 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q132 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q134 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q262 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q136 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q137 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q139 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q140 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q141 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q174 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q143 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q145 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q147 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q148 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q150 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q151 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q152 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q154 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q156 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q157 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q158 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q159 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q160 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q163 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q347 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q164 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q165 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q166 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q167 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q168 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q169 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q170 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q172 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q173 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q188 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q175 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q340 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q177 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q178 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q52 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q138 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q203 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q461 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q183 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q184 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q401 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q186 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q187 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q142 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q376 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q189 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q190 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q191 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q273 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q193 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q194 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q616 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q525 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q524 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q501 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q618 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q431 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q199 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q539 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q200 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q201 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q202 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q204 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q206 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q207 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q208 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q209 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q210 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q211 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q356 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q212 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q213 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q214 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q215 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q29 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q217 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q218 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q219 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q538 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q607 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q221 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q222 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q267 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q225 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q226 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q227 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q228 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q229 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q402 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q230 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q231 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q232 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q233 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q638 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q236 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q237 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q241 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q242 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q243 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q244 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q245 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q246 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q636 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q248 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q249 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q112 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q251 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q252 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q512 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q254 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q508 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q619 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q457 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q259 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q260 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q261 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q493 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q263 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q264 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q266 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q224 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q275 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q565 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q274 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q268 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q20 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q307 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q278 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q196 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q69 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q283 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q284 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q285 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q286 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q559 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q43 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q161 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q289 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q290 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q291 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q292 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q505 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q628 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q693 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q294 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q295 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q296 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q297 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q690 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q299 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q300 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q301 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q302 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q303 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q304 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q182 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q322 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q310 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q552 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q288 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q312 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q646 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q634 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q313 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q314 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q545 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q317 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q319 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q320 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q321 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q544 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q323 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q324 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q325 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q326 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q327 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q328 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q329 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q330 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q333 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q334 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q235 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q337 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q680 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q338 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q339 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q176 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q341 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q315 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q24 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q345 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q346 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q33 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q348 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q349 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q71 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q422 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q351 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q70 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q353 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q354 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q355 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q108 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q408 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q359 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q360 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q129 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q639 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q180 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q382 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q363 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q364 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q365 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q366 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q181 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q368 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q369 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q370 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q293 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q372 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q373 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q374 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q375 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q649 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q331 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q537 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q378 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q379 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q380 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q381 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q335 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q383 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q384 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q385 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q386 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q387 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q388 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q389 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q390 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q391 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q392 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q128 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q394 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q395 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q396 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q179 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q352 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q398 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q32 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q400 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q350 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q403 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q404 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q405 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q406 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q407 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q409 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q410 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q411 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q686 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q185 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q413 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q414 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q415 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q416 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q146 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q247 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q421 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q144 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q494 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q423 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q424 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q425 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q427 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q428 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q15 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q430 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q239 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q107 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q120 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q238 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q542 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q434 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q279 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q436 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q437 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q438 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q439 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q532 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q440 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q66 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q277 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q443 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q444 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q445 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q446 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q447 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q316 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q133 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q450 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q451 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q452 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q453 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q454 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q449 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q632 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q456 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q458 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q459 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q460 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q26 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q462 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q463 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q68 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q465 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q466 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q590 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q656 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q468 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q469 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q470 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q472 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q473 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q474 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q250 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q475 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q476 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q477 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q659 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q478 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q479 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q480 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q62 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q548 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q483 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q484 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q485 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q486 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q592 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q487 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q105 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q489 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q490 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q491 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q492 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q308 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q135 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q95 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q496 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q497 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q498 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q499 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q500 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q258 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q502 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q503 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q223 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q255 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q192 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q195 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q155 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q510 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q511 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q433 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q598 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q311 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q253 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q514 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q515 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q270 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q554 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q518 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q519 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q520 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q521 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q522 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q523 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q309 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q162 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q287 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q371 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q276 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q419 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q533 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q530 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q556 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q531 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q357 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q280 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q534 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q535 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q367 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q57 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q361 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q442 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q578 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q507 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q506 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q540 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q83 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q543 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q153 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q547 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q435 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q482 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q549 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q550 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q551 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q31 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q553 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q517 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q555 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q513 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q529 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q567 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q557 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q558 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q82 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q560 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q42 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q495 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q318 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q563 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q564 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q78 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q583 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q205 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q362 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q568 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q541 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q570 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q426 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q572 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q573 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q574 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q575 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q358 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q577 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q526 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q579 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q580 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q562 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q265 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q582 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q596 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q566 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q584 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q585 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q586 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q587 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q588 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q589 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q53 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q630 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q591 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q220 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q593 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q528 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q595 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q455 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q597 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q272 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q599 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q600 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q601 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q602 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q603 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q604 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q269 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q606 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q122 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q608 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q609 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q610 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q114 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q612 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q613 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q614 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q615 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q149 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q617 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q197 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q682 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q620 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q569 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q622 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q623 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q344 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q624 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q488 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q625 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q626 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q627 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q198 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q629 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q256 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q464 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q631 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q594 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q305 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q633 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q417 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q44 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q637 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q336 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q504 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q640 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q611 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q641 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q642 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q643 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q644 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q571 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q645 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q22 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q647 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q648 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q448 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q102 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q650 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q651 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q652 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q653 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q654 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q655 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q92 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q467 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q657 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q658 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q343 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q661 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q73 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q663 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q664 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q665 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q342 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q667 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q668 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q669 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q670 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q671 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q672 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q673 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q674 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q675 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q676 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q677 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q678 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q679 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q581 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q516 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q681 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q666 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q683 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q684 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q399 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q685 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q240 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q687 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q688 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q689 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q298 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q691 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q692 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q281 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q214 - q344 -> q181 [label="'v'"] - q346 -> q416 [label="'e'"] - q347 -> q634 [label="'l'"] - q340 -> q563 [label="'f'"] - q343 -> q208 [label="'n'"] - q348 -> q596 [label="'c'"] - q348 -> q158 [label="'g'"] - q349 -> q463 [label="'e'"] - q595 -> q85 [label="'r'"] - q594 -> q585 [label="'i'"] - q298 -> q522 [label="'t'"] - q299 -> q57 [label="'p'"] - q296 -> q149 [label="'t'"] - q297 -> q384 [label="'r'"] - q294 -> q56 [label="'n'"] - q295 -> q302 [label="'f'"] - q295 -> q109 [label="'v'"] - q292 -> q626 [label="'e'"] - q293 -> q415 [label="'i'"] - q290 -> q490 [label="'a'"] - q290 -> q165 [label="'c'"] - q290 -> q407 [label="'d'"] - q290 -> q102 [label="'g'"] - q290 -> q312 [label="'l'"] - q290 -> q210 [label="'p'"] - q290 -> q528 [label="'s'"] - q290 -> q393 [label="'u'"] - q290 -> q239 [label="'x'"] - q590 -> q7 [label="'h'"] - q592 -> q168 [label="'a'"] - q199 -> q329 [label="'r'"] - q198 -> q670 [label="'g'"] - q597 -> q676 [label="'v'"] - q596 -> q361 [label="'a'"] - q194 -> q48 [label="'n'"] - q197 -> q548 [label="'c'"] - q196 -> q61 [label="'t'"] - q190 -> q382 [label="'f'"] - q192 -> q567 [label="'f'"] - q270 -> q540 [label="'x'"] - q271 -> q31 [label="'o'"] - q272 -> q191 [label="'c'"] - q273 -> q542 [label="'s'"] - q274 -> q5 [label="'k'"] - q276 -> q436 [label="'v'"] - q277 -> q680 [label="'p'"] - q278 -> q37 [label="'a'"] - q278 -> q261 [label="'d'"] - q278 -> q348 [label="'o'"] - q279 -> q20 [label="'n'"] - q524 -> q360 [label="'e'"] - q525 -> q533 [label="'e'"] - q526 -> q364 [label="'n'"] - q527 -> q68 [label="'o'"] - q521 -> q51 [label="'k'"] - q599 -> q69 [label="'a'"] - q528 -> q27 [label="'p'"] - q529 -> q684 [label="'i'"] - q449 -> q417 [label="'r'"] - q448 -> q53 [label="'t'"] - q443 -> q388 [label="'s'"] - q442 -> q129 [label="'d'"] - q441 -> q45 [label="'a'"] - q440 -> q295 [label="'i'"] - q447 -> q464 [label="'p'"] - q445 -> q450 [label="'e'"] - q444 -> q319 [label="'l'"] - q108 -> q260 [label="'c'"] - q108 -> q277 [label="'u'"] - q108 -> q614 [label="'l'"] - q598 -> q508 [label="'p'"] - q103 -> q282 [label="'w'"] - q100 -> q60 [label="'a'"] - q101 -> q651 [label="'t'"] - q107 -> q551 [label="'n'"] - q104 -> q34 [label="'a'"] - q105 -> q435 [label="'s'"] - q105 -> q189 [label="'b'"] - q105 -> q586 [label="'c'"] - q105 -> q21 [label="'t'"] - q38 -> q256 [label="'t'"] - q33 -> q550 [label="'n'"] - q32 -> q470 [label="'p'"] - q31 -> q1 [label="'v'"] - q30 -> q375 [label="'p'"] - q37 -> q387 [label="'b'"] - q36 -> q0 [label="'y'"] - q35 -> q341 [label="'a'"] - q34 -> q439 [label="'m'"] - q640 -> q28 [label="'s'"] - q640 -> q588 [label="'r'"] - q643 -> q179 [label="'l'"] - q642 -> q504 [label="'2'"] - q645 -> q391 [label="'l'"] - q644 -> q212 [label="'a'"] - q438 -> q612 [label="'g'"] - q646 -> q608 [label="'p'"] - q649 -> q280 [label="'m'"] - q435 -> q172 [label="'i'"] - q435 -> q269 [label="'c'"] - q432 -> q474 [label="'n'"] - q433 -> q317 [label="'n'"] - q430 -> q224 [label="'p'"] - q430 -> q204 [label="'s'"] - q430 -> q503 [label="'c'"] - q431 -> q404 [label="'a'"] - q339 -> q265 [label="'a'"] - q339 -> q89 [label="'h'"] - q339 -> q686 [label="'m'"] - q339 -> q262 [label="'o'"] - q339 -> q408 [label="'p'"] - q339 -> q447 [label="'s'"] - q334 -> q664 [label="'i'"] - q337 -> q2 [label="'o'"] - q336 -> q50 [label="'r'"] - q331 -> q358 [label="'p'"] - q330 -> q434 [label="'s'"] - q333 -> q373 [label="'c'"] - q332 -> q305 [label="'e'"] - q6 -> q142 [label="'o'"] - q91 -> q148 [label="'p'"] - q91 -> q80 [label="'n'"] - q90 -> q268 [label="'m'"] - q93 -> q524 [label="'m'"] - q92 -> q477 [label="'b'"] - q95 -> q630 [label="'r'"] - q94 -> q25 [label="'b'"] - q94 -> q414 [label="'v'"] - q97 -> q576 [label="'n'"] - q96 -> q203 [label="'p'"] - q559 -> q119 [label="'f'"] - q558 -> q681 [label="'e'"] - q555 -> q650 [label="'e'"] - q554 -> q590 [label="'p'"] - q557 -> q606 [label="'h'"] - q551 -> q137 [label="'f'"] - q550 -> q41 [label="'t'"] - q552 -> q84 [label="'t'"] - q238 -> q138 [label="'p'"] - q239 -> q594 [label="'d'"] - q234 -> q479 [label="'t'"] - q235 -> q241 [label="'b'"] - q236 -> q171 [label="'x'"] - q231 -> q83 [label="'t'"] - q232 -> q76 [label="'e'"] - q1 -> q313 [label="'e'"] - q146 -> q155 [label="'n'"] - q147 -> q258 [label="'c'"] - q619 -> q33 [label="'i'"] - q142 -> q558 [label="'w'"] - q143 -> q427 [label="'e'"] - q140 -> q652 [label="'a'"] - q141 -> q39 [label="'f'"] - q612 -> q314 [label="'e'"] - q613 -> q24 [label="'i'"] - q610 -> q376 [label="'e'"] - q611 -> q344 [label="'o'"] - q616 -> q274 [label="'e'"] - q616 -> q32 [label="'t'"] - q617 -> q71 [label="'n'"] - q148 -> q35 [label="'h'"] - q615 -> q322 [label="'r'"] - q615 -> q166 [label="'u'"] - q689 -> q668 [label="'k'"] - q689 -> q115 [label="'u'"] - q689 -> q602 [label="'l'"] - q689 -> q145 [label="'d'"] - q684 -> q530 [label="'n'"] - q686 -> q86 [label="'p'"] - q681 -> q688 [label="'r'"] - q680 -> q456 [label="'p'"] - q623 -> q564 [label="'e'"] - q133 -> q291 [label="'v'"] - q132 -> q541 [label="'h'"] - q131 -> q206 [label="'d'"] - q130 -> q493 [label="'h'"] - q136 -> q380 [label="'f'"] - q135 -> q667 [label="'p'"] - q134 -> q100 [label="'r'"] - q494 -> q338 [label="'n'"] - q495 -> q157 [label="'s'"] - q138 -> q467 [label="'h'"] - q490 -> q476 [label="'l'"] - q492 -> q205 [label="'r'"] - q492 -> q559 [label="'o'"] - q493 -> q327 [label="'a'"] - q24 -> q367 [label="'l'"] - q25 -> q459 [label="'u'"] - q26 -> q682 [label="'f'"] - q27 -> q385 [label="'a'"] - q20 -> q340 [label="'t'"] - q21 -> q580 [label="'a'"] - q21 -> q236 [label="'e'"] - q21 -> q219 [label="'o'"] - q22 -> q446 [label="'r'"] - q23 -> q228 [label="'m'"] - q28 -> q146 [label="'i'"] - q29 -> q390 [label="'e'"] - q407 -> q561 [label="'i'"] - q406 -> q648 [label="'o'"] - q405 -> q622 [label="'c'"] - q404 -> q453 [label="'r'"] - q402 -> q163 [label="'c'"] - q401 -> q535 [label="'a'"] - q401 -> q306 [label="'i'"] - q401 -> q512 [label="'m'"] - q401 -> q255 [label="'o'"] - q629 -> q315 [label="'p'"] - q629 -> q455 [label="'t'"] - q408 -> q491 [label="'y'"] - q371 -> q478 [label="'e'"] - q370 -> q510 [label="'y'"] - q373 -> q431 [label="'h'"] - q372 -> q617 [label="'p'"] - q374 -> q98 [label="'r'"] - q377 -> q592 [label="'h'"] - q376 -> q487 [label="'n'"] - q144 -> q441 [label="'c'"] - q144 -> q386 [label="'e'"] - q144 -> q194 [label="'i'"] - q144 -> q246 [label="'q'"] - q144 -> q466 [label="'p'"] - q144 -> q147 [label="'s'"] - q144 -> q309 [label="'r'"] - q144 -> q116 [label="'t'"] - q144 -> q285 [label="'y'"] - q393 -> q646 [label="'p'"] - q89 -> q284 [label="'r'"] - q397 -> q647 [label="'e'"] - q396 -> q248 [label="'t'"] - q395 -> q601 [label="'i'"] - q395 -> q293 [label="'r'"] - q394 -> q96 [label="'y'"] - q82 -> q29 [label="'m'"] - q83 -> q152 [label="'i'"] - q80 -> q81 [label="'u'"] - q81 -> q553 [label="'m'"] - q84 -> q399 [label="'i'"] - q601 -> q346 [label="'d'"] - q586 -> q443 [label="'o'"] - q587 -> q132 [label="'s'"] - q584 -> q259 [label="'t'"] - q585 -> q176 [label="'g'"] - q582 -> q122 [label="'u'"] - q583 -> q59 [label="'t'"] - q580 -> q642 [label="'n'"] - q581 -> q169 [label="'m'"] - q588 -> q636 [label="'t'"] - q589 -> q366 [label="'s'"] - q247 -> q460 [label="'t'"] - q246 -> q690 [label="'r'"] - q241 -> q666 [label="'r'"] - q614 -> q662 [label="'o'"] - q243 -> q365 [label="'n'"] - q242 -> q496 [label="'k'"] - q149 -> q562 [label="'i'"] - q249 -> q604 [label="'p'"] - q249 -> q135 [label="'s'"] - q249 -> q598 [label="'f'"] - q518 -> q645 [label="'a'"] - q518 -> q289 [label="'k'"] - q518 -> q640 [label="'b'"] - q518 -> q359 [label="'e'"] - q518 -> q638 [label="'o'"] - q513 -> q201 [label="'p'"] - q512 -> q11 [label="'p'"] - q515 -> q659 [label="'c'"] - q515 -> q231 [label="'f'"] - q515 -> q610 [label="'l'"] - q515 -> q197 [label="'n'"] - q515 -> q381 [label="'p'"] - q515 -> q629 [label="'s'"] - q515 -> q547 [label="'r'"] - q515 -> q72 [label="'t'"] - q515 -> q190 [label="'x'"] - q514 -> q301 [label="'a'"] - q517 -> q79 [label="'c'"] - q517 -> q151 [label="'m'"] - q516 -> q618 [label="'0'"] - q458 -> q402 [label="'n'"] - q459 -> q392 [label="'f'"] - q621 -> q244 [label="'r'"] - q620 -> q649 [label="'o'"] - q627 -> q127 [label="'s'"] - q451 -> q93 [label="'i'"] - q628 -> q175 [label="'s'"] - q454 -> q245 [label="'e'"] - q455 -> q88 [label="'r'"] - q456 -> q22 [label="'e'"] - q457 -> q432 [label="'e'"] - q179 -> q627 [label="'u'"] - q176 -> q584 [label="'i'"] - q174 -> q324 [label="'c'"] - q173 -> q497 [label="'l'"] - q172 -> q653 [label="'n'"] - q171 -> q150 [label="'i'"] - q170 -> q600 [label="'i'"] - q657 -> q174 [label="'o'"] - q654 -> q471 [label="'c'"] - q654 -> q616 [label="'e'"] - q182 -> q337 [label="'r'"] - q180 -> q656 [label="'r'"] - q181 -> q605 [label="'e'"] - q186 -> q383 [label="'s'"] - q186 -> q611 [label="'m'"] - q186 -> q65 [label="'c'"] - q184 -> q226 [label="'t'"] - q652 -> q454 [label="'c'"] - q188 -> q183 [label="'r'"] - q189 -> q237 [label="'s'"] - q189 -> q240 [label="'o'"] - q659 -> q692 [label="'a'"] - q659 -> q162 [label="'h'"] - q659 -> q216 [label="'m'"] - q659 -> q444 [label="'o'"] - q659 -> q36 [label="'p'"] - q659 -> q372 [label="'s'"] - q650 -> q442 [label="'a'"] - q650 -> q472 [label="'x'"] - q650 -> q637 [label="'e'"] - q650 -> q513 [label="'o'"] - q651 -> q202 [label="'e'"] - q102 -> q363 [label="'r'"] - q11 -> q104 [label="'n'"] - q11 -> q613 [label="'f'"] - q13 -> q525 [label="'s'"] - q13 -> q73 [label="'t'"] - q12 -> q308 [label="'w'"] - q15 -> q140 [label="'p'"] - q17 -> q501 [label="'e'"] - q16 -> q371 [label="'p'"] - q19 -> q164 [label="'f'"] - q18 -> q545 [label="'t'"] - q322 -> q279 [label="'i'"] - q323 -> q413 [label="'c'"] - q321 -> q91 [label="'l'"] - q327 -> q679 [label="'r'"] - q325 -> q257 [label="'m'"] - q328 -> q631 [label="'c'"] - q201 -> q433 [label="'e'"] - q203 -> q112 [label="'e'"] - q202 -> q409 [label="'m'"] - q205 -> q220 [label="'r'"] - q207 -> q321 [label="'a'"] - q207 -> q632 [label="'c'"] - q207 -> q78 [label="'d'"] - q207 -> q297 [label="'g'"] - q207 -> q6 [label="'l'"] - q207 -> q221 [label="'p'"] - q207 -> q15 [label="'s'"] - q207 -> q428 [label="'u'"] - q207 -> q290 [label="'w'"] - q207 -> q354 [label="'x'"] - q209 -> q99 [label="'c'"] - q77 -> q644 [label="'h'"] - q76 -> q44 [label="'l'"] - q74 -> q523 [label="'r'"] - q73 -> q418 [label="'o'"] - q72 -> q49 [label="'o'"] - q655 -> q484 [label="'t'"] - q79 -> q515 [label="'s'"] - q79 -> q425 [label="'r'"] - q79 -> q571 [label="'t'"] - q78 -> q198 [label="'i'"] - q2 -> q342 [label="'r'"] - q669 -> q10 [label="'f'"] - q667 -> q619 [label="'r'"] - q666 -> q457 [label="'l'"] - q664 -> q38 [label="'n'"] - q662 -> q577 [label="'w'"] - q661 -> q230 [label="'l'"] - q660 -> q475 [label="'c'"] - q692 -> q303 [label="'t'"] - q693 -> q621 [label="'r'"] - q690 -> q217 [label="'t'"] - q543 -> q423 [label="'e'"] - q540 -> q396 [label="'i'"] - q540 -> q593 [label="'p'"] - q547 -> q160 [label="'c'"] - q547 -> q620 [label="'t'"] - q545 -> q421 [label="'s'"] - q545 -> q66 [label="'e'"] - q545 -> q130 [label="'c'"] - q545 -> q323 [label="'w'"] - q8 -> q599 [label="'e'"] - q8 -> q67 [label="'o'"] - q548 -> q603 [label="'a'"] - q548 -> q370 [label="'p'"] - q548 -> q225 [label="'m'"] - q549 -> q469 [label="'a'"] - q549 -> q677 [label="'c'"] - q549 -> q492 [label="'e'"] - q549 -> q143 [label="'g'"] - q549 -> q643 [label="'f'"] - q549 -> q426 [label="'m'"] - q549 -> q406 [label="'l'"] - q549 -> q167 [label="'o'"] - q549 -> q615 [label="'p'"] - q549 -> q654 [label="'s'"] - q549 -> q555 [label="'r'"] - q549 -> q232 [label="'t'"] - q549 -> q395 [label="'w'"] - q258 -> q107 [label="'a'"] - q120 -> q583 [label="'n'"] - q122 -> q156 [label="'m'"] - q125 -> q410 [label="'r'"] - q127 -> q519 [label="'h'"] - q128 -> q347 [label="'i'"] - q414 -> q55 [label="'b'"] - q415 -> q397 [label="'t'"] - q410 -> q374 [label="'o'"] - q411 -> q607 [label="'n'"] - q412 -> q251 [label="'a'"] - q412 -> q429 [label="'m'"] - q412 -> q64 [label="'w'"] - q412 -> q52 [label="'n'"] - q413 -> q514 [label="'h'"] - q498 -> q693 [label="'e'"] - q418 -> q368 [label="'w'"] - q419 -> q131 [label="'n'"] - q499 -> q207 [label="'s'"] - q319 -> q124 [label="'l'"] - q318 -> q233 [label="'r'"] - q312 -> q12 [label="'o'"] - q311 -> q227 [label="'u'"] - q311 -> q422 [label="'r'"] - q311 -> q507 [label="'e'"] - q311 -> q117 [label="'o'"] - q310 -> q569 [label="'p'"] - q316 -> q114 [label="'o'"] - q315 -> q485 [label="'n'"] - q314 -> q62 [label="'t'"] - q497 -> q272 [label="'o'"] - q3 -> q110 [label="'e'"] - q368 -> q556 [label="'c'"] - q367 -> q369 [label="'e'"] - q364 -> q286 [label="'t'"] - q365 -> q4 [label="'t'"] - q362 -> q566 [label="'o'"] - q363 -> q554 [label="'a'"] - q361 -> q351 [label="'l'"] - q381 -> q161 [label="'b'"] - q382 -> q90 [label="'r'"] - q383 -> q42 [label="'e'"] - q384 -> q238 [label="'a'"] - q385 -> q509 [label="'c'"] - q386 -> q94 [label="'t'"] - q387 -> q47 [label="'s'"] - q389 -> q330 [label="'n'"] - q578 -> q298 [label="'e'"] - q604 -> q334 [label="'r'"] - q573 -> q82 [label="'i'"] - q571 -> q356 [label="'y'"] - q571 -> q465 [label="'r'"] - q577 -> q199 [label="'e'"] - q576 -> q75 [label="'d'"] - q575 -> q343 [label="'e'"] - q574 -> q54 [label="'y'"] - q60 -> q250 [label="'n'"] - q61 -> q398 [label="'r'"] - q62 -> q671 [label="'c'"] - q62 -> q405 [label="'w'"] - q64 -> q419 [label="'i'"] - q65 -> q505 [label="'h'"] - q65 -> q30 [label="'m'"] - q65 -> q574 [label="'p'"] - q66 -> q133 [label="'n'"] - q67 -> q521 [label="'c'"] - q252 -> q292 [label="'m'"] - q69 -> q498 [label="'r'"] - q250 -> q177 [label="'s'"] - q251 -> q420 [label="'l'"] - q257 -> q685 [label="'e'"] - q254 -> q294 [label="'a'"] - q254 -> q412 [label="'e'"] - q255 -> q331 [label="'u'"] - q255 -> q281 [label="'l'"] - q255 -> q108 [label="'w'"] - q603 -> q154 [label="'t'"] - q508 -> q267 [label="'r'"] - q509 -> q153 [label="'e'"] - q506 -> q113 [label="'m'"] - q507 -> q182 [label="'r'"] - q505 -> q570 [label="'r'"] - q501 -> q70 [label="'n'"] - q630 -> q480 [label="'c'"] - q631 -> q74 [label="'h'"] - q632 -> q196 [label="'n'"] - q633 -> q665 [label="'p'"] - q636 -> q222 [label="'o'"] - q638 -> q26 [label="'d'"] - q639 -> q579 [label="'t'"] - q466 -> q63 [label="'r'"] - q461 -> q326 [label="'t'"] - q463 -> q691 [label="'r'"] - q462 -> q345 [label="'m'"] - q169 -> q187 [label="'e'"] - q165 -> q394 [label="'t'"] - q165 -> q357 [label="'n'"] - q166 -> q211 [label="'t'"] - q167 -> q17 [label="'p'"] - q160 -> q449 [label="'h'"] - q161 -> q242 [label="'r'"] - q162 -> q178 [label="'r'"] - q163 -> q218 [label="'t'"] - q600 -> q288 [label="'g'"] - q436 -> q335 [label="'e'"] - q648 -> q188 [label="'o'"] - q357 -> q538 [label="'t'"] - q356 -> q332 [label="'p'"] - q355 -> q320 [label="'d'"] - q354 -> q170 [label="'d'"] - q352 -> q633 [label="'x'"] - q351 -> q451 [label="'t'"] - q350 -> q229 [label="'s'"] - q350 -> q77 [label="'c'"] - q350 -> q333 [label="'w'"] - q359 -> q186 [label="'m'"] - q358 -> q349 [label="'p'"] - q216 -> q195 [label="'p'"] - q214 -> q105 [label="'a'"] - q214 -> q473 [label="'c'"] - q214 -> q13 [label="'b'"] - q214 -> q270 [label="'e'"] - q214 -> q440 [label="'d'"] - q214 -> q40 [label="'g'"] - q214 -> q549 [label="'f'"] - q214 -> q499 [label="'i'"] - q214 -> q518 [label="'m'"] - q214 -> q235 [label="'M'"] - q214 -> q278 [label="'l'"] - q214 -> q672 [label="'q'"] - q214 -> q311 [label="'p'"] - q214 -> q144 [label="'s'"] - q214 -> q254 [label="'r'"] - q214 -> q424 [label="'u'"] - q214 -> q401 [label="'t'"] - q214 -> q517 [label="'w'"] - q214 -> q249 [label="'v'"] - q215 -> q121 [label="'t'"] - q212 -> q437 [label="'r'"] - q213 -> q635 [label="'l'"] - q210 -> q300 [label="'r'"] - q210 -> q458 [label="'u'"] - q211 -> q625 [label="'s'"] - q211 -> q118 [label="'c'"] - q211 -> q483 [label="'w'"] - q219 -> q400 [label="'i'"] - q219 -> q532 [label="'l'"] - q219 -> q9 [label="'f'"] - q289 -> q43 [label="'t'"] - q288 -> q215 [label="'i'"] - q4 -> q687 [label="'f'"] - q281 -> q103 [label="'o'"] - q280 -> q495 [label="'b'"] - q283 -> q275 [label="'t'"] - q282 -> q565 [label="'e'"] - q285 -> q101 [label="'s'"] - q287 -> q123 [label="'b'"] - q678 -> q534 [label="'s'"] - q678 -> q674 [label="'c'"] - q675 -> q591 [label="'e'"] - q677 -> q316 [label="'l'"] - q670 -> q283 [label="'i'"] - q672 -> q527 [label="'s'"] - q673 -> q173 [label="'l'"] - q263 -> q180 [label="'h'"] - q263 -> q299 [label="'m'"] - q263 -> q468 [label="'p'"] - q262 -> q213 [label="'l'"] - q261 -> q597 [label="'i'"] - q261 -> q352 [label="'e'"] - q260 -> q134 [label="'t'"] - q267 -> q411 [label="'i'"] - q265 -> q353 [label="'t'"] - q269 -> q573 [label="'t'"] - q59 -> q403 [label="'f'"] - q58 -> q307 [label="'c'"] - q55 -> q136 [label="'u'"] - q56 -> q264 [label="'d'"] - q52 -> q506 [label="'a'"] - q537 -> q488 [label="'n'"] - q536 -> q209 [label="'o'"] - q535 -> q557 [label="'n'"] - q63 -> q243 [label="'i'"] - q533 -> q95 [label="'a'"] - q531 -> q339 [label="'c'"] - q531 -> q568 [label="'e'"] - q531 -> q296 [label="'f'"] - q531 -> q575 [label="'l'"] - q531 -> q58 [label="'n'"] - q531 -> q92 [label="'p'"] - q531 -> q486 [label="'s'"] - q531 -> q328 [label="'r'"] - q531 -> q481 [label="'t'"] - q531 -> q192 [label="'x'"] - q530 -> q641 [label="'t'"] - q539 -> q252 [label="'i'"] - q538 -> q661 [label="'r'"] - q115 -> q87 [label="'l'"] - q68 -> q184 [label="'r'"] - q117 -> q520 [label="'w'"] - q116 -> q531 [label="'r'"] - q111 -> q139 [label="'y'"] - q113 -> q452 [label="'e'"] - q256 -> q253 [label="'f'"] - q429 -> q276 [label="'o'"] - q428 -> q16 [label="'p'"] - q420 -> q657 [label="'l'"] - q422 -> q120 [label="'i'"] - q425 -> q362 [label="'t'"] - q424 -> q438 [label="'n'"] - q427 -> q430 [label="'t'"] - q427 -> q678 [label="'w'"] - q426 -> q355 [label="'o'"] - q308 -> q595 [label="'e'"] - q309 -> q97 [label="'a'"] - q300 -> q526 [label="'i'"] - q301 -> q511 [label="'r'"] - q302 -> q655 [label="'f'"] - q304 -> q546 [label="'r'"] - q306 -> q543 [label="'m'"] - q307 -> q461 [label="'a'"] - q307 -> q111 [label="'p'"] - q307 -> q310 [label="'m'"] - q240 -> q448 [label="'r'"] - q568 -> q125 [label="'r'"] - q561 -> q609 [label="'g'"] - q562 -> q675 [label="'m'"] - q565 -> q193 [label="'r'"] - q566 -> q287 [label="'m'"] - q567 -> q462 [label="'r'"] - q228 -> q263 [label="'c'"] - q228 -> q271 [label="'m'"] - q228 -> q578 [label="'s'"] - q227 -> q350 [label="'t'"] - q225 -> q266 [label="'p'"] - q224 -> q589 [label="'o'"] - q223 -> q663 [label="'l'"] - q222 -> q660 [label="'w'"] - q221 -> q529 [label="'r'"] - q221 -> q537 [label="'u'"] - q220 -> q318 [label="'o'"] - q114 -> q623 [label="'s'"] - q391 -> q536 [label="'l'"] - q151 -> q23 [label="'e'"] - q150 -> q560 [label="'t'"] - q607 -> q141 [label="'t'"] - q152 -> q445 [label="'m'"] - q155 -> q639 [label="'i'"] - q159 -> q500 [label="'k'"] - q158 -> q516 [label="'1'"] - q609 -> q247 [label="'i'"] - q608 -> q304 [label="'e'"] - q469 -> q273 [label="'b'"] - q399 -> q3 [label="'m'"] - q468 -> q185 [label="'y'"] - q398 -> q106 [label="'l'"] - q48 -> q502 [label="'h'"] - q49 -> q200 [label="'k'"] - q49 -> q223 [label="'u'"] - q49 -> q683 [label="'l'"] - q49 -> q379 [label="'d'"] - q44 -> q14 [label="'l'"] - q45 -> q669 [label="'n'"] - q42 -> q658 [label="'t'"] - q43 -> q325 [label="'i'"] - q40 -> q18 [label="'e'"] - q40 -> q552 [label="'m'"] - q41 -> q46 [label="'f'"] - q465 -> q389 [label="'a'"] - q464 -> q482 [label="'n'"] - q489 -> q19 [label="'n'"] - q488 -> q234 [label="'c'"] - q486 -> q494 [label="'p'"] - q486 -> q336 [label="'t'"] - q484 -> q581 [label="'i'"] - q483 -> q378 [label="'c'"] - q483 -> q624 [label="'s'"] - q481 -> q689 [label="'o'"] - q480 -> q126 [label="'h'"] - q472 -> q544 [label="'p'"] - q473 -> q673 [label="'a'"] - q473 -> q128 [label="'e'"] - q473 -> q539 [label="'t'"] - q473 -> q587 [label="'o'"] - q473 -> q8 [label="'l'"] - q470 -> q628 [label="'o'"] - q471 -> q489 [label="'a'"] - q476 -> q377 [label="'p'"] - q476 -> q582 [label="'n'"] - q477 -> q159 [label="'r'"] - q478 -> q572 [label="'r'"] -} \ No newline at end of file
--- a/code/graph/nfa.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,26 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="(A|B)*C"] - q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q5 - q1 -> q4 [label="''"] - q1 -> q6 [label="''"] - q0 -> q1 [label="'A'"] - q3 -> q4 [label="''"] - q3 -> q6 [label="''"] - q2 -> q3 [label="'B'"] - q5 -> q4 [label="''"] - q5 -> q6 [label="''"] - q4 -> q0 [label="''"] - q4 -> q2 [label="''"] - q6 -> q7 [label="'C'"] -} \ No newline at end of file
--- a/code/graph/nocombine.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,20 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="(argv|argc|args)"] - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q6 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q1 - q1 -> q3 [label="'a'"] - q3 -> q4 [label="'r'"] - q5 -> q6 [label="'s'"] - q5 -> q2 [label="'c'"] - q5 -> q0 [label="'v'"] - q4 -> q5 [label="'g'"] -} \ No newline at end of file
--- a/code/graph/star.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,11 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="A*"] - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q0 - q1 -> q1 [label="'A'"] - q0 -> q1 [label="'A'"] -} \ No newline at end of file
--- a/code/graph/union.dot Fri Aug 06 20:17:17 2010 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ - -digraph G{ - rankdir=LR - regex [shape=plaintext, label="A|B"] - q0 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - q2 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue] - start [shape=point] - start -> q1 - q1 -> q2 [label="'A'"] - q1 -> q0 [label="'B'"] -} \ No newline at end of file