#N canvas 169 63 974 447 10;
#X obj 13 7 gfsm;
#X obj 22 324 gfsm_automaton;
#X obj 22 359 print GFSM-1;
#X msg 26 70 automaton;
#X msg 24 29 automaton a1;
#X obj 16 91 s \$0-fsm;
#X obj 23 300 r \$0-fsm;
#X msg 153 75 size;
#X floatatom 237 34 5 0 0 0 - - -;
#X obj 237 16 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X floatatom 144 34 5 0 0 0 - - -;
#X msg 257 15 0;
#X msg 145 13 42;
#X floatatom 375 18 5 0 0 0 - - -;
#X msg 347 17 0;
#X floatatom 388 61 5 0 0 0 - - -;
#X floatatom 517 34 5 0 0 0 - - -;
#X floatatom 560 33 5 0 0 0 - - -;
#X floatatom 603 33 5 0 0 0 - - -;
#X floatatom 644 34 5 0 0 0 - - -;
#X obj 543 59 pack 0 0 0 0 0;
#X obj 494 24 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 494 57 t b b;
#X msg 569 7 0;
#X msg 495 105 add_arc \$1 \$2 \$3 \$4 \$5;
#X obj 144 98 s \$0-fsm;
#X obj 237 97 s \$0-fsm;
#X obj 349 121 s \$0-fsm;
#X obj 496 126 s \$0-fsm;
#X msg 102 176 load test.tfst;
#X msg 101 216 save tmp.tfst;
#X msg 253 148 load_bin test.gfst;
#X msg 250 304 save_bin tmp.gfst;
#X msg 26 202 print;
#X msg 22 179 clear;
#X msg 18 158 info;
#X obj 17 226 s \$0-fsm;
#X obj 86 274 s \$0-fsm;
#X obj 236 338 s \$0-fsm;
#X msg 437 170 complement;
#X msg 450 211 closure \$1;
#X floatatom 466 193 5 0 0 0 - - -;
#X obj 437 370 s \$0-fsm;
#X obj 16 132 bng 20 250 50 0 \$0-draw-s empty DRAW 0 -6 0 8 -24198
-1 -1;
#X obj 450 193 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 457 236 compose a2;
#X msg 462 264 concat a2;
#X obj 51 6 zexy;
#X obj 495 84 lister;
#X msg 25 48 automaton a2;
#X msg 464 291 determinize;
#X msg 469 319 difference a2;
#X msg 475 343 intersect a2;
#X obj 603 368 s \$0-fsm;
#X msg 598 148 invert;
#X msg 607 174 product a2;
#X msg 621 217 project \$1;
#X floatatom 638 196 5 0 0 0 - - -;
#X obj 619 198 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 631 269 reverse;
#X msg 631 296 rmepsilon;
#X msg 634 320 union a2;
#X msg 101 196 load test2.tfst;
#X msg 257 169 load_bin test2.gfst;
#X msg 262 190 load_bin test3.gfst;
#X obj 46 131 tgl 20 0 \$0-drawmode-s empty mode 0 -6 0 8 -225271 -1
-1 0 1;
#X msg 246 74 root;
#X msg 237 51 root \$1;
#X floatatom 618 8 5 0 0 0 - - -;
#X msg 144 52 size \$1;
#X msg 349 37 final \$1;
#X obj 430 61 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X obj 365 79 pack 0 0;
#X msg 363 99 final \$1 \$2;
#X msg 637 343 renumber;
#X msg 252 282 load_bin tmp.gfst;
#N canvas 0 0 450 300 flags 0;
#X obj 26 67 s \$0-fsm;
#X msg 36 21 weighted \$1;
#X obj 19 21 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X msg 39 43 weighted;
#X obj 145 19 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X obj 155 65 s \$0-fsm;
#X msg 162 19 transducer \$1;
#X msg 165 41 transducer;
#X obj 30 220 s \$0-fsm;
#X msg 40 196 semiring;
#X msg 30 174 semiring \$1;
#X msg 29 125 boolean;
#X msg 90 125 log;
#X msg 122 126 real;
#X msg 160 125 trivial;
#X msg 218 125 tropical;
#X obj 30 153 symbol;
#X msg 286 125 OTHER;
#X connect 1 0 0 0;
#X connect 2 0 1 0;
#X connect 3 0 0 0;
#X connect 4 0 6 0;
#X connect 6 0 5 0;
#X connect 7 0 5 0;
#X connect 9 0 8 0;
#X connect 10 0 8 0;
#X connect 11 0 16 0;
#X connect 12 0 16 0;
#X connect 13 0 16 0;
#X connect 14 0 16 0;
#X connect 15 0 16 0;
#X connect 16 0 10 0;
#X connect 17 0 16 0;
#X restore 711 65 pd flags;
#X obj 600 8 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 361 336 concat a1;
#X floatatom 689 35 5 0 0 0 - - -;
#X obj 366 59 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 113 360 s \$0-fsm-out;
#X obj 741 16 pool;
#X msg 94 120 automaton fsm-help;
#X msg 103 248 load gfsm-help.tfst;
#N canvas 22 7 466 454 draw 0;
#X obj 361 16 zexy;
#X obj 26 15 r \$0-draw-s;
#X obj 68 68 f \$0;
#X obj 68 110 s \$0-fsm;
#X obj 68 47 t b;
#X obj 99 352 t b;
#X obj 98 418 shell;
#X obj 172 20 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 69 331 shell;
#X obj 125 215 r \$0-drawmode-s;
#X obj 67 238 demux 0 1;
#X obj 240 214 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0
1;
#X msg 68 89 draw_dot \$1draw.dot;
#X obj 67 136 r \$0-fsm-out;
#X obj 67 158 route draw_dot;
#X obj 67 180 symbol;
#X msg 48 295 dotgv.sh \$1;
#X msg 145 294 dotty \$1;
#X obj 67 203 t s s;
#X obj 98 372 symbol;
#X msg 98 395 rm -f \$1;
#X connect 1 0 4 0;
#X connect 2 0 12 0;
#X connect 4 0 2 0;
#X connect 5 0 19 0;
#X connect 7 0 4 0;
#X connect 8 1 5 0;
#X connect 9 0 10 1;
#X connect 10 0 16 0;
#X connect 10 1 17 0;
#X connect 11 0 10 1;
#X connect 12 0 3 0;
#X connect 13 0 14 0;
#X connect 14 0 15 0;
#X connect 15 0 18 0;
#X connect 16 0 8 0;
#X connect 17 0 8 0;
#X connect 18 0 10 0;
#X connect 18 1 19 1;
#X connect 19 0 20 0;
#X connect 20 0 6 0;
#X restore 16 251 pd draw;
#X msg 270 222 load_bin lkptest.gfst;
#X msg 273 244 load_bin lkpin.gfst;
#X obj 21 385 gfsm_automaton a1;
#X obj 22 404 gfsm_automaton a2;
#X msg 626 245 connect;
#X msg 739 352 clear;
#X msg 96 139 automaton lookup-help;
#X connect 1 0 2 0;
#X connect 1 0 81 0;
#X connect 3 0 5 0;
#X connect 4 0 5 0;
#X connect 6 0 1 0;
#X connect 7 0 25 0;
#X connect 8 0 67 0;
#X connect 9 0 8 0;
#X connect 10 0 69 0;
#X connect 11 0 8 0;
#X connect 12 0 10 0;
#X connect 13 0 70 0;
#X connect 14 0 13 0;
#X connect 15 0 72 0;
#X connect 16 0 20 0;
#X connect 17 0 20 1;
#X connect 18 0 20 2;
#X connect 19 0 20 3;
#X connect 20 0 48 1;
#X connect 21 0 22 0;
#X connect 22 0 48 0;
#X connect 22 1 20 0;
#X connect 23 0 16 0;
#X connect 23 0 17 0;
#X connect 23 0 18 0;
#X connect 23 0 19 0;
#X connect 24 0 28 0;
#X connect 29 0 37 0;
#X connect 30 0 37 0;
#X connect 31 0 38 0;
#X connect 32 0 38 0;
#X connect 33 0 36 0;
#X connect 34 0 36 0;
#X connect 35 0 36 0;
#X connect 39 0 42 0;
#X connect 40 0 42 0;
#X connect 41 0 40 0;
#X connect 44 0 41 0;
#X connect 45 0 42 0;
#X connect 46 0 42 0;
#X connect 48 0 24 0;
#X connect 49 0 5 0;
#X connect 50 0 42 0;
#X connect 51 0 42 0;
#X connect 52 0 42 0;
#X connect 54 0 53 0;
#X connect 55 0 53 0;
#X connect 56 0 53 0;
#X connect 57 0 56 0;
#X connect 58 0 57 0;
#X connect 59 0 53 0;
#X connect 60 0 53 0;
#X connect 61 0 53 0;
#X connect 62 0 37 0;
#X connect 63 0 38 0;
#X connect 64 0 38 0;
#X connect 66 0 26 0;
#X connect 67 0 26 0;
#X connect 68 0 17 0;
#X connect 68 0 18 0;
#X connect 68 0 19 0;
#X connect 69 0 25 0;
#X connect 70 0 27 0;
#X connect 71 0 72 1;
#X connect 72 0 73 0;
#X connect 73 0 27 0;
#X connect 74 0 53 0;
#X connect 75 0 38 0;
#X connect 77 0 68 0;
#X connect 78 0 42 0;
#X connect 79 0 20 4;
#X connect 80 0 15 0;
#X connect 83 0 5 0;
#X connect 84 0 37 0;
#X connect 86 0 38 0;
#X connect 87 0 38 0;
#X connect 90 0 53 0;
#X connect 91 0 53 0;
#X connect 92 0 5 0;