Mercurial > hg > Members > masakoha > seminar
diff 2015/images/omni/automata.graffle @ 25:ef709768b9cf
add image
| author | Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 12 May 2015 19:06:48 +0900 |
| parents | 14d14dcb8219 |
| children | cbdddbccca58 |
line wrap: on
line diff
--- a/2015/images/omni/automata.graffle Mon May 11 15:54:07 2015 +0900 +++ b/2015/images/omni/automata.graffle Tue May 12 19:06:48 2015 +0900 @@ -26,7 +26,7 @@ <key>MasterSheets</key> <array/> <key>ModificationDate</key> - <string>2015-05-11 06:46:25 +0000</string> + <string>2015-05-12 09:00:45 +0000</string> <key>Modifier</key> <string>MasaKoha</string> <key>NotesVisible</key> @@ -62,6 +62,16 @@ <string>int</string> <string>0</string> </array> + <key>NSPrinter</key> + <array> + <string>coded</string> + <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAlOU1ByaW50ZXIAhIQITlNPYmplY3QAhZKEhIQITlNTdHJpbmcBlIQBKwwxMzMuMTMuNDguOTiGhg==</string> + </array> + <key>NSPrinterName</key> + <array> + <string>string</string> + <string>133.13.48.98</string> + </array> <key>NSRightMargin</key> <array> <string>float</string> @@ -117,6 +127,226 @@ <key>GraphicsList</key> <array> <dict> + <key>Bounds</key> + <string>{{232, 412}, {28, 22}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>78</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs36 \cf0 \uc0\u949 }</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{232, 297}, {28, 22}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>77</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs36 \cf0 \uc0\u949 }</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>74</integer> + </dict> + <key>ID</key> + <integer>76</integer> + <key>Points</key> + <array> + <string>{332.94665638693533, 421.43563866626829}</string> + <string>{383.05522486929362, 382.06674945605073}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>49</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>74</integer> + </dict> + <key>ID</key> + <integer>75</integer> + <key>Points</key> + <array> + <string>{332.83681653231946, 309.70283734827473}</string> + <string>{383.16224747322946, 349.79833463131968}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>42</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{385, 347.5}, {37, 37}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>46</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{378, 340.5}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>74</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 q3}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> @@ -440,133 +670,6 @@ </dict> </dict> <dict> - <key>Bounds</key> - <string>{{348.75, 426.5}, {28, 22}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>ID</key> - <integer>53</integer> - <key>Shape</key> - <string>Rectangle</string> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Pad</key> - <integer>0</integer> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 -\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc - -\f0\fs36 \cf0 \uc0\u949 }</string> - <key>VerticalPad</key> - <integer>0</integer> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{348.75, 282.5}, {28, 22}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>ID</key> - <integer>52</integer> - <key>Shape</key> - <string>Rectangle</string> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Pad</key> - <integer>0</integer> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 -\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc - -\f0\fs36 \cf0 \uc0\u949 }</string> - <key>VerticalPad</key> - <integer>0</integer> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>Head</key> - <dict> - <key>ID</key> - <integer>44</integer> - </dict> - <key>ID</key> - <integer>51</integer> - <key>Points</key> - <array> - <string>{333.50691401870375, 422.17360494643901}</string> - <string>{389.49325937725337, 381.32663209710773}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>HeadArrow</key> - <string>FilledArrow</string> - <key>Legacy</key> - <true/> - <key>LineType</key> - <integer>1</integer> - <key>TailArrow</key> - <string>0</string> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>49</integer> - </dict> - </dict> - <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> @@ -633,7 +736,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{248.25, 426.5}, {28, 22}}</string> + <string>{{348.75, 412}, {28, 22}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -679,7 +782,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{248.25, 282.5}, {28, 22}}</string> + <string>{{348.75, 297}, {28, 22}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -724,99 +827,6 @@ </dict> </dict> <dict> - <key>Bounds</key> - <string>{{392, 347.5}, {37, 37}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>46</integer> - <key>Shape</key> - <string>Circle</string> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>VerticalPad</key> - <integer>0</integer> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>Head</key> - <dict> - <key>ID</key> - <integer>44</integer> - </dict> - <key>ID</key> - <integer>45</integer> - <key>Points</key> - <array> - <string>{333.40467624903903, 308.96519416382989}</string> - <string>{389.59532375096097, 350.53480583617011}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>HeadArrow</key> - <string>FilledArrow</string> - <key>Legacy</key> - <true/> - <key>LineType</key> - <integer>1</integer> - <key>TailArrow</key> - <string>0</string> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>42</integer> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{385, 340.5}, {51, 51}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>44</integer> - <key>Shape</key> - <string>Circle</string> - <key>Style</key> - <dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 -\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc - -\f0\fs24 \cf0 p3}</string> - <key>VerticalPad</key> - <integer>0</integer> - </dict> - </dict> - <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> @@ -1421,7 +1431,774 @@ <key>DisplayScale</key> <string>1 0/72 in = 1.0000 in</string> <key>GraphicsList</key> - <array/> + <array> + <dict> + <key>Bounds</key> + <string>{{325.00000615035162, 282.91891609760347}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>53</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 1}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{227.00000615035165, 282.91891609760347}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>52</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 0}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{181.00000853453744, 218.91891609760341}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>51</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 0}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>43</integer> + </dict> + <key>ID</key> + <integer>50</integer> + <key>Points</key> + <array> + <string>{210.95583729523864, 283.10664968675962}</string> + <string>{219.00000853453744, 248.91891609760341}</string> + <string>{190.00000853453744, 248.91891609760341}</string> + <string>{198.64329409352777, 283.20394336547338}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>43</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{382.50001091872321, 289.91891609760347}, {37, 37}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>49</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>47</integer> + </dict> + <key>ID</key> + <integer>48</integer> + <key>Points</key> + <array> + <string>{328.50001091872321, 308.41891609760341}</string> + <string>{374.99999818261591, 308.41891609760341}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{375.50001091872321, 282.91891609760347}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>47</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 p2}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>45</integer> + </dict> + <key>ID</key> + <integer>46</integer> + <key>Points</key> + <array> + <string>{230.50001091872323, 308.41891609760341}</string> + <string>{276.99999818261591, 308.41891609760341}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{277.50001091872321, 282.91891609760347}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>45</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 q1}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>43</integer> + </dict> + <key>ID</key> + <integer>44</integer> + <key>Points</key> + <array> + <string>{132.50001091872323, 308.41891609760341}</string> + <string>{178.99999818261597, 308.41891609760341}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{179.50001091872323, 282.91891609760347}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>43</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 q0}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{324.99999761581421, 76}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>42</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 1}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{226.99999761581421, 76}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>41</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 0,1}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{181, 12}, {50.500002384185791, 14}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>ID</key> + <integer>40</integer> + <key>Shape</key> + <string>Rectangle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Pad</key> + <integer>0</integer> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 0}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>28</integer> + </dict> + <key>ID</key> + <integer>39</integer> + <key>Points</key> + <array> + <string>{210.95582876070122, 76.187733589156167}</string> + <string>{219, 42}</string> + <string>{190, 42}</string> + <string>{198.64328555899033, 76.285027267869907}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>28</integer> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{382.50000238418579, 83}, {37, 37}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>35</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>33</integer> + </dict> + <key>ID</key> + <integer>34</integer> + <key>Points</key> + <array> + <string>{328.50000238418579, 101.5}</string> + <string>{374.9999896480785, 101.5}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{375.50000238418579, 76}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>33</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 p2}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>31</integer> + </dict> + <key>ID</key> + <integer>32</integer> + <key>Points</key> + <array> + <string>{230.50000238418579, 101.5}</string> + <string>{276.9999896480785, 101.5}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{277.50000238418579, 76}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>31</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 q1}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>28</integer> + </dict> + <key>ID</key> + <integer>29</integer> + <key>Points</key> + <array> + <string>{132.50000238418579, 101.5}</string> + <string>{178.9999896480785, 101.5}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{179.50000238418579, 76}, {51, 51}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>28</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 q0}</string> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + </array> <key>GridInfo</key> <dict/> <key>HPages</key> @@ -1511,13 +2288,248 @@ <key>GraphicsList</key> <array> <dict> + <key>Bounds</key> + <string>{{411.50000238418579, 152}, {40, 40}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>98</integer> + <key>Shape</key> + <string>Circle</string> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>VerticalPad</key> + <integer>0</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>49</integer> + </dict> + <key>ID</key> + <integer>97</integer> + <key>Points</key> + <array> + <string>{329.51939811800474, 487.84853176198925}</string> + <string>{331.50000238418579, 480}</string> + <string>{400.75649795001385, 426.93373573188632}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>52</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>49</integer> + </dict> + <key>ID</key> + <integer>96</integer> + <key>Points</key> + <array> + <string>{339.62860094614592, 346.99931097856171}</string> + <string>{366.67903533486412, 371.10415395100921}</string> + <string>{402.93785405646889, 403.62909354010037}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>57</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>54</integer> + </dict> + <key>ID</key> + <integer>95</integer> + <key>Points</key> + <array> + <string>{164.67903533486415, 470.89583733797934}</string> + <string>{173, 488.33333333333348}</string> + <string>{241.04138317399753, 497.34855732249838}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>62</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>59</integer> + </dict> + <key>ID</key> + <integer>94</integer> + <key>Points</key> + <array> + <string>{168.4902985293495, 403.57348583613594}</string> + <string>{177, 393}</string> + <string>{241.53704833984375, 381.98953247070312}</string> + <string>{254.23637796170451, 347.13645294468171}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>67</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>Head</key> + <dict> + <key>ID</key> + <integer>91</integer> + </dict> + <key>ID</key> + <integer>93</integer> + <key>Points</key> + <array> + <string>{158.26722336280903, 359.64921367673412}</string> + <string>{157, 340.62957763671875}</string> + <string>{88, 340.62957763671875}</string> + <string>{89.883837792417609, 359.65054190660157}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>89</integer> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>92</integer> + <key>Points</key> + <array> + <string>{22, 414.79632568359375}</string> + <string>{51.999997926145028, 415}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>HeadArrow</key> + <string>FilledArrow</string> + <key>Legacy</key> + <true/> + <key>LineType</key> + <integer>1</integer> + <key>TailArrow</key> + <string>0</string> + </dict> + </dict> + </dict> + <dict> <key>Class</key> <string>Group</string> <key>Graphics</key> <array> <dict> <key>Bounds</key> - <string>{{176.05557032882197, 377.51852990962851}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{176.05557032882197, 360.14810754634726}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -1545,7 +2557,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{142.05557057896593, 377.51852990962851}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{142.05557057896593, 360.14810754634726}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -1573,7 +2585,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{108.0555708291101, 377.51852990962851}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{108.0555708291101, 360.14810754634726}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -1601,7 +2613,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{74.055571079254221, 377.51852990962851}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{74.055571079254221, 360.14810754634726}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -1633,7 +2645,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{356, 230}, {48.499986482053231, 14}}</string> + <string>{{356, 210}, {48.499986482053231, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -1679,7 +2691,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{356, 101}, {48.499986482053231, 14}}</string> + <string>{{356, 117.01973724365234}, {48.499986482053231, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -1725,7 +2737,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{204.75, 230}, {48.499986482053231, 14}}</string> + <string>{{214, 210}, {48.499986482053231, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -1771,7 +2783,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{214, 101}, {29.999997568912192, 14}}</string> + <string>{{223.25, 117.01973724365234}, {29.999997568912192, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -1903,8 +2915,8 @@ <integer>77</integer> <key>Points</key> <array> - <string>{326.85721563572753, 97.019735479451171}</string> - <string>{409.14278913264405, 155.98026452054887}</string> + <string>{330.23596426509692, 133.72928204007158}</string> + <string>{405.78596582911166, 162.23243758365504}</string> </array> <key>Style</key> <dict> @@ -1938,8 +2950,8 @@ <integer>76</integer> <key>Points</key> <array> - <string>{326.94160829104163, 246.09840016698718}</string> - <string>{409.06347936245442, 187.90875292267197}</string> + <string>{329.94247676182721, 207.8576836596805}</string> + <string>{405.57889681808848, 181.2028600319239}</string> </array> <key>Style</key> <dict> @@ -1973,8 +2985,8 @@ <integer>75</integer> <key>Points</key> <array> - <string>{198.9953178599398, 187.82571178095918}</string> - <string>{281.98139490126118, 246.20736633050069}</string> + <string>{202.42110664685083, 181.20285947689646}</string> + <string>{277.99603743450689, 208.03448906208871}</string> </array> <key>Style</key> <dict> @@ -2008,8 +3020,8 @@ <integer>74</integer> <key>Points</key> <array> - <string>{198.91657499715475, 156.06321790796738}</string> - <string>{282.0834297712168, 96.93678209203263}</string> + <string>{202.23956948087832, 162.30002907992159}</string> + <string>{278.67687346578214, 133.49458635132058}</string> </array> <key>Style</key> <dict> @@ -2100,7 +3112,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{277.50000238418579, 235}, {54, 54}}</string> + <string>{{277.00000238418579, 190}, {54, 54}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2130,7 +3142,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{277.50000238418579, 54}, {54, 54}}</string> + <string>{{277.50000238418579, 97.019737243652344}, {54, 54}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2210,6 +3222,16 @@ <string>NO</string> </dict> </dict> + <key>Text</key> + <dict> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg1252\cocoartf1347\cocoasubrtf570 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc + +\f0\fs24 \cf0 Flag}</string> + </dict> </dict> <dict> <key>Bounds</key> @@ -2407,7 +3429,7 @@ <array> <dict> <key>Bounds</key> - <string>{{176.05557032882197, 430.40744809751163}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{176.05557032882197, 447.77791528348575}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2435,7 +3457,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{142.05557057896593, 430.40744809751163}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{142.05557057896593, 447.77791528348575}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2463,7 +3485,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{108.0555708291101, 430.40744809751163}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{108.0555708291101, 447.77791528348575}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2491,7 +3513,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{74.055571079254221, 430.40744809751163}, {33.999999749855903, 22.666666666666679}}</string> + <string>{{74.055571079254221, 447.77791528348575}, {33.999999749855903, 22.666666666666679}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> @@ -2644,7 +3666,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{57, 26}, {98, 14}}</string> + <string>{{74.055572509765625, 39}, {115, 29}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -2683,7 +3705,7 @@ {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc -\f0\fs24 \cf0 R*(T|S)U}</string> +\f0\fs48 \cf0 R*(T|S)U}</string> <key>VerticalPad</key> <integer>0</integer> </dict> @@ -2869,7 +3891,7 @@ <key>WindowInfo</key> <dict> <key>CurrentSheet</key> - <integer>2</integer> + <integer>1</integer> <key>ExpandedCanvases</key> <array> <dict> @@ -2878,7 +3900,7 @@ </dict> </array> <key>Frame</key> - <string>{{153, 163}, {1016, 925}}</string> + <string>{{192, 125}, {1016, 925}}</string> <key>ListView</key> <true/> <key>OutlineWidth</key> @@ -2892,9 +3914,9 @@ <key>SidebarWidth</key> <integer>120</integer> <key>VisibleRegion</key> - <string>{{-161, 0}, {881, 783}}</string> + <string>{{-116.99999999999997, 0}, {793.69368346497379, 705.40539631449985}}</string> <key>Zoom</key> - <real>1</real> + <real>1.1100000143051147</real> <key>ZoomValues</key> <array> <array> @@ -2904,8 +3926,8 @@ </array> <array> <string>オートマトン例</string> - <real>1</real> - <real>1</real> + <real>1.1100000143051147</real> + <real>1.0700000524520874</real> </array> <array> <string>実装</string>