aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml')
-rw-r--r--Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml1191
1 files changed, 1191 insertions, 0 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml
new file mode 100644
index 00000000..66b57d1a
--- /dev/null
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml
@@ -0,0 +1,1191 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 269.5
9 h 54
10 type "rectangle"
11 fill "#FFFFFF"
12 fill2 "#FFFFFF"
13 outline "#000000"
14 ]
15 LabelGraphics
16 [
17 text "o 1"
18 outline "#000000"
19 fill "#FFFFFF"
20 fontSize 16
21 fontName "Monospace"
22 autoSizePolicy "node_width"
23 anchor "t"
24 borderDistance 0.0
25 ]
26 LabelGraphics
27 [
28 text "
29 Modes3ModelRoot class DefinedPart
30 Modes3ModelRoot class
31 "
32 fontSize 14
33 fontName "Consolas"
34 alignment "left"
35 anchor "tl"
36 borderDistance 6
37 ]
38 ]
39
40 node
41 [
42 id 1
43 graphics
44 [
45 w 41.800000000000004
46 h 26
47 type "rectangle"
48 fill "#FFFFFF"
49 fill2 "#FFFFFF"
50 outline "#000000"
51 ]
52 LabelGraphics
53 [
54 text "true"
55 outline "#000000"
56 fill "#FFFFFF"
57 fontSize 16
58 fontName "Monospace"
59 autoSizePolicy "node_width"
60 anchor "t"
61 borderDistance 0.0
62 ]
63 LabelGraphics
64 [
65 text "
66 "
67 fontSize 14
68 fontName "Consolas"
69 alignment "left"
70 anchor "tl"
71 borderDistance 6
72 ]
73 ]
74
75 node
76 [
77 id 2
78 graphics
79 [
80 w 50.6
81 h 26
82 type "rectangle"
83 fill "#FFFFFF"
84 fill2 "#FFFFFF"
85 outline "#000000"
86 ]
87 LabelGraphics
88 [
89 text "false"
90 outline "#000000"
91 fill "#FFFFFF"
92 fontSize 16
93 fontName "Monospace"
94 autoSizePolicy "node_width"
95 anchor "t"
96 borderDistance 0.0
97 ]
98 LabelGraphics
99 [
100 text "
101 "
102 fontSize 14
103 fontName "Consolas"
104 alignment "left"
105 anchor "tl"
106 borderDistance 6
107 ]
108 ]
109
110 node
111 [
112 id 3
113 graphics
114 [
115 w 115.50000000000001
116 h 54
117 type "rectangle"
118 fill "#FFFFFF"
119 fill2 "#FFFFFF"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 text "null"
125 outline "#000000"
126 fill "#FFFFFF"
127 fontSize 16
128 fontName "Monospace"
129 autoSizePolicy "node_width"
130 anchor "t"
131 borderDistance 0.0
132 ]
133 LabelGraphics
134 [
135 text "
136 Segment class
137 Turnout class
138 "
139 fontSize 14
140 fontName "Consolas"
141 alignment "left"
142 anchor "tl"
143 borderDistance 6
144 ]
145 ]
146
147 node
148 [
149 id 4
150 graphics
151 [
152 w 100.10000000000001
153 h 40
154 type "rectangle"
155 fill "#FFFFFF"
156 fill2 "#FFFFFF"
157 outline "#000000"
158 ]
159 LabelGraphics
160 [
161 text "null"
162 outline "#000000"
163 fill "#FFFFFF"
164 fontSize 16
165 fontName "Monospace"
166 autoSizePolicy "node_width"
167 anchor "t"
168 borderDistance 0.0
169 ]
170 LabelGraphics
171 [
172 text "
173 Train class
174 "
175 fontSize 14
176 fontName "Consolas"
177 alignment "left"
178 anchor "tl"
179 borderDistance 6
180 ]
181 ]
182
183 node
184 [
185 id 5
186 graphics
187 [
188 w 115.50000000000001
189 h 40
190 type "rectangle"
191 fill "#FFFFFF"
192 fill2 "#FFFFFF"
193 outline "#000000"
194 ]
195 LabelGraphics
196 [
197 text "null"
198 outline "#000000"
199 fill "#FFFFFF"
200 fontSize 16
201 fontName "Monospace"
202 autoSizePolicy "node_width"
203 anchor "t"
204 borderDistance 0.0
205 ]
206 LabelGraphics
207 [
208 text "
209 Segment class
210 "
211 fontSize 14
212 fontName "Consolas"
213 alignment "left"
214 anchor "tl"
215 borderDistance 6
216 ]
217 ]
218
219 node
220 [
221 id 6
222 graphics
223 [
224 w 100.10000000000001
225 h 40
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "null"
234 outline "#000000"
235 fill "#FFFFFF"
236 fontSize 16
237 fontName "Monospace"
238 autoSizePolicy "node_width"
239 anchor "t"
240 borderDistance 0.0
241 ]
242 LabelGraphics
243 [
244 text "
245 Train class
246 "
247 fontSize 14
248 fontName "Consolas"
249 alignment "left"
250 anchor "tl"
251 borderDistance 6
252 ]
253 ]
254
255 node
256 [
257 id 7
258 graphics
259 [
260 w 115.50000000000001
261 h 40
262 type "rectangle"
263 fill "#FFFFFF"
264 fill2 "#FFFFFF"
265 outline "#000000"
266 ]
267 LabelGraphics
268 [
269 text "null"
270 outline "#000000"
271 fill "#FFFFFF"
272 fontSize 16
273 fontName "Monospace"
274 autoSizePolicy "node_width"
275 anchor "t"
276 borderDistance 0.0
277 ]
278 LabelGraphics
279 [
280 text "
281 Segment class
282 "
283 fontSize 14
284 fontName "Consolas"
285 alignment "left"
286 anchor "tl"
287 borderDistance 6
288 ]
289 ]
290
291 node
292 [
293 id 8
294 graphics
295 [
296 w 100.10000000000001
297 h 40
298 type "rectangle"
299 fill "#FFFFFF"
300 fill2 "#FFFFFF"
301 outline "#000000"
302 ]
303 LabelGraphics
304 [
305 text "null"
306 outline "#000000"
307 fill "#FFFFFF"
308 fontSize 16
309 fontName "Monospace"
310 autoSizePolicy "node_width"
311 anchor "t"
312 borderDistance 0.0
313 ]
314 LabelGraphics
315 [
316 text "
317 Train class
318 "
319 fontSize 14
320 fontName "Consolas"
321 alignment "left"
322 anchor "tl"
323 borderDistance 6
324 ]
325 ]
326
327 node
328 [
329 id 9
330 graphics
331 [
332 w 115.50000000000001
333 h 40
334 type "rectangle"
335 fill "#FFFFFF"
336 fill2 "#FFFFFF"
337 outline "#000000"
338 ]
339 LabelGraphics
340 [
341 text "null"
342 outline "#000000"
343 fill "#FFFFFF"
344 fontSize 16
345 fontName "Monospace"
346 autoSizePolicy "node_width"
347 anchor "t"
348 borderDistance 0.0
349 ]
350 LabelGraphics
351 [
352 text "
353 Segment class
354 "
355 fontSize 14
356 fontName "Consolas"
357 alignment "left"
358 anchor "tl"
359 borderDistance 6
360 ]
361 ]
362
363 node
364 [
365 id 10
366 graphics
367 [
368 w 100.10000000000001
369 h 40
370 type "rectangle"
371 fill "#FFFFFF"
372 fill2 "#FFFFFF"
373 outline "#000000"
374 ]
375 LabelGraphics
376 [
377 text "null"
378 outline "#000000"
379 fill "#FFFFFF"
380 fontSize 16
381 fontName "Monospace"
382 autoSizePolicy "node_width"
383 anchor "t"
384 borderDistance 0.0
385 ]
386 LabelGraphics
387 [
388 text "
389 Train class
390 "
391 fontSize 14
392 fontName "Consolas"
393 alignment "left"
394 anchor "tl"
395 borderDistance 6
396 ]
397 ]
398
399 node
400 [
401 id 11
402 graphics
403 [
404 w 115.50000000000001
405 h 40
406 type "rectangle"
407 fill "#FFFFFF"
408 fill2 "#FFFFFF"
409 outline "#000000"
410 ]
411 LabelGraphics
412 [
413 text "null"
414 outline "#000000"
415 fill "#FFFFFF"
416 fontSize 16
417 fontName "Monospace"
418 autoSizePolicy "node_width"
419 anchor "t"
420 borderDistance 0.0
421 ]
422 LabelGraphics
423 [
424 text "
425 Segment class
426 "
427 fontSize 14
428 fontName "Consolas"
429 alignment "left"
430 anchor "tl"
431 borderDistance 6
432 ]
433 ]
434
435 node
436 [
437 id 12
438 graphics
439 [
440 w 100.10000000000001
441 h 40
442 type "rectangle"
443 fill "#FFFFFF"
444 fill2 "#FFFFFF"
445 outline "#000000"
446 ]
447 LabelGraphics
448 [
449 text "null"
450 outline "#000000"
451 fill "#FFFFFF"
452 fontSize 16
453 fontName "Monospace"
454 autoSizePolicy "node_width"
455 anchor "t"
456 borderDistance 0.0
457 ]
458 LabelGraphics
459 [
460 text "
461 Train class
462 "
463 fontSize 14
464 fontName "Consolas"
465 alignment "left"
466 anchor "tl"
467 borderDistance 6
468 ]
469 ]
470
471 node
472 [
473 id 13
474 graphics
475 [
476 w 15.400000000000002
477 h 26
478 type "rectangle"
479 fill "#FFFFFF"
480 fill2 "#FFFFFF"
481 outline "#000000"
482 ]
483 LabelGraphics
484 [
485 text "?"
486 outline "#000000"
487 fill "#FFFFFF"
488 fontSize 16
489 fontName "Monospace"
490 autoSizePolicy "node_width"
491 anchor "t"
492 borderDistance 0.0
493 ]
494 LabelGraphics
495 [
496 text "
497 "
498 fontSize 14
499 fontName "Consolas"
500 alignment "left"
501 anchor "tl"
502 borderDistance 6
503 ]
504 ]
505
506 node
507 [
508 id 14
509 graphics
510 [
511 w 15.400000000000002
512 h 26
513 type "rectangle"
514 fill "#FFFFFF"
515 fill2 "#FFFFFF"
516 outline "#000000"
517 ]
518 LabelGraphics
519 [
520 text "?"
521 outline "#000000"
522 fill "#FFFFFF"
523 fontSize 16
524 fontName "Monospace"
525 autoSizePolicy "node_width"
526 anchor "t"
527 borderDistance 0.0
528 ]
529 LabelGraphics
530 [
531 text "
532 "
533 fontSize 14
534 fontName "Consolas"
535 alignment "left"
536 anchor "tl"
537 borderDistance 6
538 ]
539 ]
540
541 node
542 [
543 id 15
544 graphics
545 [
546 w 15.400000000000002
547 h 26
548 type "rectangle"
549 fill "#FFFFFF"
550 fill2 "#FFFFFF"
551 outline "#000000"
552 ]
553 LabelGraphics
554 [
555 text "?"
556 outline "#000000"
557 fill "#FFFFFF"
558 fontSize 16
559 fontName "Monospace"
560 autoSizePolicy "node_width"
561 anchor "t"
562 borderDistance 0.0
563 ]
564 LabelGraphics
565 [
566 text "
567 "
568 fontSize 14
569 fontName "Consolas"
570 alignment "left"
571 anchor "tl"
572 borderDistance 6
573 ]
574 ]
575
576 node
577 [
578 id 16
579 graphics
580 [
581 w 103.4
582 h 26
583 type "rectangle"
584 fill "#FFFFFF"
585 fill2 "#FFFFFF"
586 outline "#000000"
587 ]
588 LabelGraphics
589 [
590 text "New Objects"
591 outline "#000000"
592 fill "#FFFFFF"
593 fontSize 16
594 fontName "Monospace"
595 autoSizePolicy "node_width"
596 anchor "t"
597 borderDistance 0.0
598 ]
599 LabelGraphics
600 [
601 text "
602 "
603 fontSize 14
604 fontName "Consolas"
605 alignment "left"
606 anchor "tl"
607 borderDistance 6
608 ]
609 ]
610 edge
611 [
612 source 5
613 target 3
614 graphics
615 [
616 fill "#000000"
617 targetArrow "standard"
618 ]
619 LabelGraphics
620 [
621 text "connectedTo reference Segment"
622 fontSize 14
623 fontName "Consolas"
624 configuration "AutoFlippingLabel"
625 model "six_pos"
626 position "thead"
627 ]
628 ]
629 edge
630 [
631 source 3
632 target 5
633 graphics
634 [
635 fill "#000000"
636 targetArrow "standard"
637 ]
638 LabelGraphics
639 [
640 text "connectedTo reference Segment"
641 fontSize 14
642 fontName "Consolas"
643 configuration "AutoFlippingLabel"
644 model "six_pos"
645 position "thead"
646 ]
647 ]
648 edge
649 [
650 source 7
651 target 3
652 graphics
653 [
654 fill "#000000"
655 targetArrow "standard"
656 ]
657 LabelGraphics
658 [
659 text "connectedTo reference Segment"
660 fontSize 14
661 fontName "Consolas"
662 configuration "AutoFlippingLabel"
663 model "six_pos"
664 position "thead"
665 ]
666 ]
667 edge
668 [
669 source 3
670 target 7
671 graphics
672 [
673 fill "#000000"
674 targetArrow "standard"
675 ]
676 LabelGraphics
677 [
678 text "connectedTo reference Segment"
679 fontSize 14
680 fontName "Consolas"
681 configuration "AutoFlippingLabel"
682 model "six_pos"
683 position "thead"
684 ]
685 ]
686 edge
687 [
688 source 7
689 target 9
690 graphics
691 [
692 fill "#000000"
693 targetArrow "standard"
694 ]
695 LabelGraphics
696 [
697 text "connectedTo reference Segment"
698 fontSize 14
699 fontName "Consolas"
700 configuration "AutoFlippingLabel"
701 model "six_pos"
702 position "thead"
703 ]
704 ]
705 edge
706 [
707 source 9
708 target 7
709 graphics
710 [
711 fill "#000000"
712 targetArrow "standard"
713 ]
714 LabelGraphics
715 [
716 text "connectedTo reference Segment"
717 fontSize 14
718 fontName "Consolas"
719 configuration "AutoFlippingLabel"
720 model "six_pos"
721 position "thead"
722 ]
723 ]
724 edge
725 [
726 source 11
727 target 5
728 graphics
729 [
730 fill "#000000"
731 targetArrow "standard"
732 ]
733 LabelGraphics
734 [
735 text "connectedTo reference Segment"
736 fontSize 14
737 fontName "Consolas"
738 configuration "AutoFlippingLabel"
739 model "six_pos"
740 position "thead"
741 ]
742 ]
743 edge
744 [
745 source 5
746 target 11
747 graphics
748 [
749 fill "#000000"
750 targetArrow "standard"
751 ]
752 LabelGraphics
753 [
754 text "connectedTo reference Segment"
755 fontSize 14
756 fontName "Consolas"
757 configuration "AutoFlippingLabel"
758 model "six_pos"
759 position "thead"
760 ]
761 ]
762 edge
763 [
764 source 5
765 target 6
766 graphics
767 [
768 fill "#000000"
769 targetArrow "standard"
770 ]
771 LabelGraphics
772 [
773 text "occupiedBy reference Segment"
774 fontSize 14
775 fontName "Consolas"
776 configuration "AutoFlippingLabel"
777 model "six_pos"
778 position "thead"
779 ]
780 ]
781 edge
782 [
783 source 3
784 target 4
785 graphics
786 [
787 fill "#000000"
788 targetArrow "standard"
789 ]
790 LabelGraphics
791 [
792 text "occupiedBy reference Segment"
793 fontSize 14
794 fontName "Consolas"
795 configuration "AutoFlippingLabel"
796 model "six_pos"
797 position "thead"
798 ]
799 ]
800 edge
801 [
802 source 7
803 target 8
804 graphics
805 [
806 fill "#000000"
807 targetArrow "standard"
808 ]
809 LabelGraphics
810 [
811 text "occupiedBy reference Segment"
812 fontSize 14
813 fontName "Consolas"
814 configuration "AutoFlippingLabel"
815 model "six_pos"
816 position "thead"
817 ]
818 ]
819 edge
820 [
821 source 9
822 target 10
823 graphics
824 [
825 fill "#000000"
826 targetArrow "standard"
827 ]
828 LabelGraphics
829 [
830 text "occupiedBy reference Segment"
831 fontSize 14
832 fontName "Consolas"
833 configuration "AutoFlippingLabel"
834 model "six_pos"
835 position "thead"
836 ]
837 ]
838 edge
839 [
840 source 11
841 target 12
842 graphics
843 [
844 fill "#000000"
845 targetArrow "standard"
846 ]
847 LabelGraphics
848 [
849 text "occupiedBy reference Segment"
850 fontSize 14
851 fontName "Consolas"
852 configuration "AutoFlippingLabel"
853 model "six_pos"
854 position "thead"
855 ]
856 ]
857 edge
858 [
859 source 0
860 target 4
861 graphics
862 [
863 fill "#000000"
864 width 3
865 targetArrow "standard"
866 ]
867 LabelGraphics
868 [
869 text "trains reference Modes3ModelRoot"
870 fontSize 14
871 fontName "Consolas"
872 configuration "AutoFlippingLabel"
873 model "six_pos"
874 position "thead"
875 ]
876 ]
877 edge
878 [
879 source 0
880 target 6
881 graphics
882 [
883 fill "#000000"
884 width 3
885 targetArrow "standard"
886 ]
887 LabelGraphics
888 [
889 text "trains reference Modes3ModelRoot"
890 fontSize 14
891 fontName "Consolas"
892 configuration "AutoFlippingLabel"
893 model "six_pos"
894 position "thead"
895 ]
896 ]
897 edge
898 [
899 source 0
900 target 8
901 graphics
902 [
903 fill "#000000"
904 width 3
905 targetArrow "standard"
906 ]
907 LabelGraphics
908 [
909 text "trains reference Modes3ModelRoot"
910 fontSize 14
911 fontName "Consolas"
912 configuration "AutoFlippingLabel"
913 model "six_pos"
914 position "thead"
915 ]
916 ]
917 edge
918 [
919 source 0
920 target 10
921 graphics
922 [
923 fill "#000000"
924 width 3
925 targetArrow "standard"
926 ]
927 LabelGraphics
928 [
929 text "trains reference Modes3ModelRoot"
930 fontSize 14
931 fontName "Consolas"
932 configuration "AutoFlippingLabel"
933 model "six_pos"
934 position "thead"
935 ]
936 ]
937 edge
938 [
939 source 0
940 target 12
941 graphics
942 [
943 fill "#000000"
944 width 3
945 targetArrow "standard"
946 ]
947 LabelGraphics
948 [
949 text "trains reference Modes3ModelRoot"
950 fontSize 14
951 fontName "Consolas"
952 configuration "AutoFlippingLabel"
953 model "six_pos"
954 position "thead"
955 ]
956 ]
957 edge
958 [
959 source 0
960 target 5
961 graphics
962 [
963 fill "#000000"
964 width 3
965 targetArrow "standard"
966 ]
967 LabelGraphics
968 [
969 text "segments reference Modes3ModelRoot"
970 fontSize 14
971 fontName "Consolas"
972 configuration "AutoFlippingLabel"
973 model "six_pos"
974 position "thead"
975 ]
976 ]
977 edge
978 [
979 source 0
980 target 7
981 graphics
982 [
983 fill "#000000"
984 width 3
985 targetArrow "standard"
986 ]
987 LabelGraphics
988 [
989 text "segments reference Modes3ModelRoot"
990 fontSize 14
991 fontName "Consolas"
992 configuration "AutoFlippingLabel"
993 model "six_pos"
994 position "thead"
995 ]
996 ]
997 edge
998 [
999 source 0
1000 target 9
1001 graphics
1002 [
1003 fill "#000000"
1004 width 3
1005 targetArrow "standard"
1006 ]
1007 LabelGraphics
1008 [
1009 text "segments reference Modes3ModelRoot"
1010 fontSize 14
1011 fontName "Consolas"
1012 configuration "AutoFlippingLabel"
1013 model "six_pos"
1014 position "thead"
1015 ]
1016 ]
1017 edge
1018 [
1019 source 0
1020 target 11
1021 graphics
1022 [
1023 fill "#000000"
1024 width 3
1025 targetArrow "standard"
1026 ]
1027 LabelGraphics
1028 [
1029 text "segments reference Modes3ModelRoot"
1030 fontSize 14
1031 fontName "Consolas"
1032 configuration "AutoFlippingLabel"
1033 model "six_pos"
1034 position "thead"
1035 ]
1036 ]
1037 edge
1038 [
1039 source 0
1040 target 3
1041 graphics
1042 [
1043 fill "#000000"
1044 width 3
1045 targetArrow "standard"
1046 ]
1047 LabelGraphics
1048 [
1049 text "turnouts reference Modes3ModelRoot"
1050 fontSize 14
1051 fontName "Consolas"
1052 configuration "AutoFlippingLabel"
1053 model "six_pos"
1054 position "thead"
1055 ]
1056 ]
1057 edge
1058 [
1059 source 3
1060 target 9
1061 graphics
1062 [
1063 fill "#000000"
1064 targetArrow "standard"
1065 ]
1066 LabelGraphics
1067 [
1068 text "straight reference Turnout"
1069 fontSize 14
1070 fontName "Consolas"
1071 configuration "AutoFlippingLabel"
1072 model "six_pos"
1073 position "thead"
1074 ]
1075 ]
1076 edge
1077 [
1078 source 3
1079 target 5
1080 graphics
1081 [
1082 fill "#000000"
1083 targetArrow "standard"
1084 ]
1085 LabelGraphics
1086 [
1087 text "divergent reference Turnout"
1088 fontSize 14
1089 fontName "Consolas"
1090 configuration "AutoFlippingLabel"
1091 model "six_pos"
1092 position "thead"
1093 ]
1094 ]
1095 edge
1096 [
1097 source 6
1098 target 5
1099 graphics
1100 [
1101 fill "#000000"
1102 targetArrow "standard"
1103 ]
1104 LabelGraphics
1105 [
1106 text "location reference Train"
1107 fontSize 14
1108 fontName "Consolas"
1109 configuration "AutoFlippingLabel"
1110 model "six_pos"
1111 position "thead"
1112 ]
1113 ]
1114 edge
1115 [
1116 source 4
1117 target 3
1118 graphics
1119 [
1120 fill "#000000"
1121 targetArrow "standard"
1122 ]
1123 LabelGraphics
1124 [
1125 text "location reference Train"
1126 fontSize 14
1127 fontName "Consolas"
1128 configuration "AutoFlippingLabel"
1129 model "six_pos"
1130 position "thead"
1131 ]
1132 ]
1133 edge
1134 [
1135 source 8
1136 target 7
1137 graphics
1138 [
1139 fill "#000000"
1140 targetArrow "standard"
1141 ]
1142 LabelGraphics
1143 [
1144 text "location reference Train"
1145 fontSize 14
1146 fontName "Consolas"
1147 configuration "AutoFlippingLabel"
1148 model "six_pos"
1149 position "thead"
1150 ]
1151 ]
1152 edge
1153 [
1154 source 10
1155 target 9
1156 graphics
1157 [
1158 fill "#000000"
1159 targetArrow "standard"
1160 ]
1161 LabelGraphics
1162 [
1163 text "location reference Train"
1164 fontSize 14
1165 fontName "Consolas"
1166 configuration "AutoFlippingLabel"
1167 model "six_pos"
1168 position "thead"
1169 ]
1170 ]
1171 edge
1172 [
1173 source 12
1174 target 11
1175 graphics
1176 [
1177 fill "#000000"
1178 targetArrow "standard"
1179 ]
1180 LabelGraphics
1181 [
1182 text "location reference Train"
1183 fontSize 14
1184 fontName "Consolas"
1185 configuration "AutoFlippingLabel"
1186 model "six_pos"
1187 position "thead"
1188 ]
1189 ]
1190]
1191