Skip to content
Normal view Permalink
ENV.graffle 4.09 MiB
Newer Older
María's avatar
Axioms in bldg  
María committed
16001 16002 16003 16004 16005 16006 16007 16008 16009 16010 16011 16012 16013 16014 16015 
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34003</integer>
María's avatar
first version
María committed
16016 16017 16018 16019 16020 16021 16022 16023 16024 16025 16026 16027 16028 16029 16030 16031 16032 16033 16034 16035 16036 16037 16038 16039 16040 16041 16042 
					<key>Magnets</key>
					<array>
						<string>{-0.7396002417658698, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883871, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
María's avatar
Axioms in bldg  
María committed
16043 16044 16045 16046 16047 16048 16049 16050 16051 16052 16053 16054 
						<key>fill</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.895596</string>
								<key>g</key>
								<string>0.895596</string>
								<key>r</key>
								<string>0.895596</string>
							</dict>
						</dict>
María's avatar
first version
María committed
16055 16056 16057 16058 16059 16060 16061 16062 16063 16064 16065 16066 16067 16068 16069 16070 16071 16072 16073 16074 16075 
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
						</dict>
					</dict>
					<key>Text</key>
María's avatar
Axioms in bldg  
María committed
16076 16077 16078 16079 16080 16081 16082 16083 16084 16085 16086 16087 16088 16089 16090 16091 16092 16093 16094 
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red26\green26\blue26;}
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural\qc
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
Class}</string>
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
16095 
					<string>{{641.89750751365227, 1227.4472536899252}, {104.39999766647816, 23.012603759765625}}</string>
María's avatar
Axioms in bldg  
María committed
16096 16097 16098 16099 16100 16101 16102 16103 16104 16105 16106 16107 16108 16109 16110 16111 16112 16113 16114 16115 16116 16117 16118 16119 16120 16121 16122 16123 16124 16125 16126 16127 16128 16129 16130 16131 16132 16133 16134 16135 16136 16137 16138 16139 16140 16141 16142 16143 16144 16145 16146 16147 16148 16149 16150 16151 16152 16153 16154 16155 16156 16157 16158 16159 16160 16161 16162 16163 16164 16165 16166 16167 16168 16169 16170 16171 16172 16173 16174 16175 16176 16177 16178 16179 16180 16181 16182 16183 16184 16185 16186 16187 16188 16189 16190 16191 16192 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.180392</string>
							<key>g</key>
							<string>0.188235</string>
							<key>r</key>
							<string>0.2</string>
						</dict>
						<key>Font</key>
						<string>Helvetica-Bold</string>
						<key>Size</key>
						<real>12</real>
					</dict>
					<key>ID</key>
					<integer>33823</integer>
					<key>Magnets</key>
					<array>
						<string>{0, 1}</string>
						<string>{0, -1}</string>
						<string>{1, 0}</string>
						<string>{-1, 0}</string>
						<string>{1, 1}</string>
						<string>{1, -1}</string>
						<string>{-1, 1}</string>
						<string>{-1, -1}</string>
					</array>
					<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>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>CornerRadius</key>
							<real>2</real>
							<key>Draws</key>
							<string>NO</string>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Align</key>
						<integer>0</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red26\green26\blue26;}
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural

\f0\fs24 \cf2 rdfs:subClassOf\
}</string>
					</dict>
					<key>TextPlacement</key>
					<integer>0</integer>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>ID</key>
					<integer>33822</integer>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16193 16194 
						<string>{630.46339968368352, 1231.3630250919732}</string>
						<string>{754.18046790302355, 1231.3630250919732}</string>
María's avatar
Axioms in bldg  
María committed
16195 16196 16197 16198 16199 16200 16201 16202 16203 16204 16205 16206 16207 16208 16209 16210 16211 16212 16213 16214 16215 16216 16217 16218 16219 16220 16221 16222 16223 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>UMLInheritance</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Legacy</key>
							<true/>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
16224 
					<string>{{42.187216239026611, 1189.8636991124986}, {1086.9152614909308, 123.25607872009277}}</string>
María's avatar
Axioms in bldg  
María committed
16225 16226 16227 16228 16229 16230 16231 16232 16233 16234 16235 16236 16237 16238 16239 16240 16241 16242 16243 16244 16245 16246 16247 16248 16249 16250 16251 16252 16253 16254 16255 16256 16257 16258 16259 16260 16261 16262 16263 16264 16265 16266 16267 16268 16269 16270 16271 16272 16273 16274 16275 16276 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.180392</string>
							<key>g</key>
							<string>0.188235</string>
							<key>r</key>
							<string>0.2</string>
						</dict>
					</dict>
					<key>ID</key>
					<integer>33821</integer>
					<key>Magnets</key>
					<array>
						<string>{0, 1}</string>
						<string>{0, -1}</string>
						<string>{1, 0}</string>
						<string>{-1, 0}</string>
						<string>{1, 1}</string>
						<string>{1, -1}</string>
						<string>{-1, 1}</string>
						<string>{-1, -1}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>CornerRadius</key>
							<real>2</real>
						</dict>
					</dict>
					<key>Text</key>
María's avatar
first version
María committed
16277 16278 16279 
					<dict>
						<key>Align</key>
						<integer>0</integer>
María's avatar
Axioms in bldg  
María committed
16280 16281 16282 16283 16284 16285 16286 
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red26\green26\blue26;}
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural

\f0\b\fs24 \cf2 Legend:\
María's avatar
Triples for provenance  
María committed
16287 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
María's avatar
Axioms in bldg  
María committed
16288
María's avatar
Triples for provenance  
María committed
16289 
\b0 \cf2 \
María's avatar
Axioms in bldg  
María committed
16290 16291 16292 16293 16294 16295 16296 16297 16298 16299 16300 16301 16302 16303 16304 16305 16306 16307 16308 16309 16310 16311 16312 16313 16314 16315 16316 16317 16318 16319 16320 16321 16322 16323 16324 16325 16326 16327 
\
}</string>
					</dict>
					<key>TextPlacement</key>
					<integer>0</integer>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34091</integer>
						<key>Info</key>
						<integer>3</integer>
					</dict>
					<key>ID</key>
					<integer>34095</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16328 16329 
						<string>{902.92198751089313, 896.07900872695495}</string>
						<string>{886.40032030285749, 871.88018375514616}</string>
María's avatar
Axioms in bldg  
María committed
16330 16331 16332 16333 16334 16335 16336 16337 16338 16339 16340 16341 16342 16343 16344 16345 16346 16347 16348 16349 16350 16351 16352 16353 16354 16355 16356 16357 16358 16359 16360 16361 16362 16363 16364 16365 16366 16367 16368 16369 16370 16371 16372 16373 16374 16375 16376 16377 16378 16379 16380 16381 16382 16383 16384 16385 16386 16387 16388 16389 16390 16391 16392 16393 16394 16395 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34060</integer>
						<key>Info</key>
						<integer>18</integer>
					</dict>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34091</integer>
						<key>Info</key>
						<integer>3</integer>
					</dict>
					<key>ID</key>
					<integer>34101</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16396 16397 
						<string>{902.18198738214721, 928.81114714058572}</string>
						<string>{886.40032030285749, 871.88018375514616}</string>
María's avatar
Axioms in bldg  
María committed
16398 16399 16400 16401 16402 16403 16404 16405 16406 16407 16408 16409 16410 16411 16412 16413 16414 16415 16416 16417 16418 16419 16420 16421 16422 16423 16424 16425 16426 16427 16428 16429 16430 16431 16432 16433 16434 16435 16436 16437 16438 16439 16440 16441 16442 16443 16444 16445 16446 16447 16448 16449 16450 16451 16452 16453 16454 16455 16456 16457 16458 16459 16460 16461 16462 16463 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34078</integer>
						<key>Info</key>
						<integer>18</integer>
					</dict>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34091</integer>
						<key>Info</key>
						<integer>3</integer>
					</dict>
					<key>ID</key>
					<integer>34100</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16464 16465 
						<string>{902.54854599138764, 960.62156951743896}</string>
						<string>{886.40032030285749, 871.88018375514616}</string>
María's avatar
Axioms in bldg  
María committed
16466 16467 16468 16469 16470 16471 16472 16473 16474 16475 16476 16477 16478 16479 16480 16481 16482 16483 16484 16485 16486 16487 16488 16489 16490 16491 16492 16493 16494 16495 16496 16497 16498 16499 16500 16501 16502 16503 16504 16505 16506 16507 16508 16509 16510 16511 16512 16513 16514 16515 16516 16517 16518 16519 16520 16521 16522 16523 16524 16525 16526 16527 16528 16529 16530 16531 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34088</integer>
						<key>Info</key>
						<integer>18</integer>
					</dict>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34091</integer>
						<key>Info</key>
						<integer>3</integer>
					</dict>
					<key>ID</key>
					<integer>34099</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16532 16533 
						<string>{904.04854599138764, 990.9496191735966}</string>
						<string>{886.40032030285749, 871.88018375514616}</string>
María's avatar
Axioms in bldg  
María committed
16534 16535 16536 16537 16538 16539 16540 16541 16542 16543 16544 16545 16546 16547 16548 16549 16550 16551 16552 16553 16554 16555 16556 16557 16558 16559 16560 16561 16562 16563 16564 16565 16566 16567 16568 16569 16570 16571 16572 16573 16574 16575 16576 16577 16578 16579 16580 16581 16582 16583 16584 16585 16586 16587 16588 16589 16590 16591 16592 16593 16594 16595 16596 16597 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34089</integer>
						<key>Info</key>
						<integer>18</integer>
					</dict>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34091</integer>
					</dict>
					<key>ID</key>
					<integer>34107</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
16598 16599 
						<string>{868.94791594237006, 990.94960088482173}</string>
						<string>{886.40032030285749, 871.88018375514616}</string>
María's avatar
Axioms in bldg  
María committed
16600 16601 16602 16603 16604 16605 16606 16607 16608 16609 16610 16611 16612 16613 16614 16615 16616 16617 16618 16619 16620 16621 16622 16623 16624 16625 16626 16627 16628 16629 16630 16631 16632 16633 16634 16635 16636 16637 16638 16639 16640 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34104</integer>
						<key>Info</key>
						<integer>8</integer>
					</dict>
				</dict>
			</array>
			<key>GridInfo</key>
			<dict>
				<key>ShowsGrid</key>
				<string>YES</string>
			</dict>
			<key>HPages</key>
María's avatar
Triples for provenance  
María committed
16641 
			<integer>3</integer>
María's avatar
Axioms in bldg  
María committed
16642 16643 16644 16645 16646 16647 16648 16649 16650 16651 16652 16653 16654 16655 16656 16657 16658 16659 16660 16661 16662 16663 16664 16665 16666 16667 16668 16669 16670 16671 16672 16673 16674 16675 16676 16677 16678 16679 16680 16681 16682 16683 16684 16685 16686 16687 16688 16689 16690 16691 16692 16693 16694 16695 16696 
			<key>KeepToScale</key>
			<false/>
			<key>Layers</key>
			<array>
				<dict>
					<key>Lock</key>
					<string>NO</string>
					<key>Name</key>
					<string>Layer 1</string>
					<key>Print</key>
					<string>YES</string>
					<key>View</key>
					<string>YES</string>
				</dict>
			</array>
			<key>LayoutInfo</key>
			<dict>
				<key>Animate</key>
				<string>NO</string>
				<key>circoMinDist</key>
				<real>18</real>
				<key>circoSeparation</key>
				<real>0.0</real>
				<key>layoutEngine</key>
				<string>dot</string>
				<key>neatoLineLength</key>
				<real>0.20000000298023224</real>
				<key>neatoSeparation</key>
				<real>0.0</real>
				<key>twopiSeparation</key>
				<real>0.0</real>
			</dict>
			<key>Orientation</key>
			<integer>2</integer>
			<key>PrintOnePage</key>
			<false/>
			<key>RowAlign</key>
			<integer>1</integer>
			<key>RowSpacing</key>
			<real>36</real>
			<key>SheetTitle</key>
			<string>ENV</string>
			<key>UniqueID</key>
			<integer>10</integer>
			<key>VPages</key>
			<integer>2</integer>
		</dict>
		<dict>
			<key>ActiveLayerIndex</key>
			<integer>0</integer>
			<key>AutoAdjust</key>
			<true/>
			<key>BackgroundGraphic</key>
			<dict>
				<key>Bounds</key>
María's avatar
Triples for provenance  
María committed
16697 
				<string>{{0, 0}, {1729, 1304}}</string>
María's avatar
Axioms in bldg  
María committed
16698 16699 16700 16701 16702 16703 16704 16705 16706 16707 16708 16709 16710 16711 16712 16713 16714 16715 
				<key>Class</key>
				<string>SolidGraphic</string>
				<key>ID</key>
				<integer>2</integer>
				<key>Style</key>
				<dict>
					<key>stroke</key>
					<dict>
						<key>Draws</key>
						<string>NO</string>
					</dict>
				</dict>
			</dict>
			<key>BaseZoom</key>
			<integer>0</integer>
			<key>CanvasOrigin</key>
			<string>{0, 0}</string>
			<key>CanvasSize</key>
María's avatar
Triples for provenance  
María committed
16716 
			<string>{1729, 1304}</string>
María's avatar
Axioms in bldg  
María committed
16717 16718 16719 16720 16721 16722 16723 16724 
			<key>ColumnAlign</key>
			<integer>1</integer>
			<key>ColumnSpacing</key>
			<real>36</real>
			<key>DisplayScale</key>
			<string>1 in = 1.00000 in</string>
			<key>GraphicsList</key>
			<array>
María's avatar
prefix y PO axiom  
María committed
16725 16726 
				<dict>
					<key>Class</key>
María's avatar
Triples for provenance  
María committed
16727 
					<string>LineGraphic</string>
María's avatar
prefix y PO axiom  
María committed
16728 16729 16730 16731 
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
María's avatar
Triples for provenance  
María committed
16732 16733 
							<key>w</key>
							<string>0</string>
María's avatar
prefix y PO axiom  
María committed
16734 16735 16736 16737 
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
María's avatar
Triples for provenance  
María committed
16738 16739 16740 16741 16742 16743 16744 16745 
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34584</integer>
						<key>Info</key>
						<integer>3</integer>
María's avatar
prefix y PO axiom  
María committed
16746 16747 
					</dict>
					<key>ID</key>
María's avatar
Triples for provenance  
María committed
16748 16749 16750 16751 16752 16753 16754 16755 
					<integer>34585</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
María's avatar
prefix y PO axiom  
María committed
16756 
					<array>
María's avatar
Triples for provenance  
María committed
16757 16758 
						<string>{208.04036092486672, 1047.7634627446901}</string>
						<string>{208.04036239257272, 999.15996305473891}</string>
María's avatar
prefix y PO axiom  
María committed
16759 16760 16761 16762 16763 16764 16765 16766 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
María's avatar
Triples for provenance  
María committed
16767 
								<string>0.379874</string>
María's avatar
prefix y PO axiom  
María committed
16768 
								<key>g</key>
María's avatar
Triples for provenance  
María committed
16769 
								<string>0.379874</string>
María's avatar
prefix y PO axiom  
María committed
16770 
								<key>r</key>
María's avatar
Triples for provenance  
María committed
16771 
								<string>0.379874</string>
María's avatar
prefix y PO axiom  
María committed
16772 
							</dict>
María's avatar
Triples for provenance  
María committed
16773 16774 16775 16776 16777 16778 16779 16780 16781 16782 16783 16784 16785 16786 
							<key>HeadArrow</key>
							<string>UMLInheritance</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Join</key>
							<integer>0</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>TailArrow</key>
							<string>0</string>
María's avatar
prefix y PO axiom  
María committed
16787 16788 
						</dict>
					</dict>
María's avatar
Triples for provenance  
María committed
16789 
					<key>Tail</key>
María's avatar
prefix y PO axiom  
María committed
16790 
					<dict>
María's avatar
Triples for provenance  
María committed
16791 16792 
						<key>ID</key>
						<integer>34188</integer>
María's avatar
prefix y PO axiom  
María committed
16793 16794 16795 16796 
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
Triples for provenance  
María committed
16797 
					<string>{{171.10433137897928, 976.14735929497328}, {73.872059091774872, 23.012603759765625}}</string>
María's avatar
prefix y PO axiom  
María committed
16798 16799 16800 16801 16802 16803 16804 16805 16806 16807 16808 16809 16810 16811 16812 16813 16814 16815 16816 16817 16818 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
María's avatar
Triples for provenance  
María committed
16819 
					<integer>34584</integer>
María's avatar
prefix y PO axiom  
María committed
16820 16821 
					<key>Magnets</key>
					<array>
María's avatar
Triples for provenance  
María committed
16822 
						<string>{-0.73960024176586936, -1.1094003915786743}</string>
María's avatar
prefix y PO axiom  
María committed
16823 16824 16825 16826 16827 16828 16829 16830 16831 16832 16833 16834 16835 
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
María's avatar
Triples for provenance  
María committed
16836 16837 16838 16839 16840 16841 
						<string>{-0.73960021696883826, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
María's avatar
prefix y PO axiom  
María committed
16842 16843 16844 16845 16846 
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
María's avatar
Triples for provenance  
María committed
16847 16848 16849 16850 16851 16852 16853 16854 16855 16856 16857 16858 
						<key>fill</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.895596</string>
								<key>g</key>
								<string>0.895596</string>
								<key>r</key>
								<string>0.895596</string>
							</dict>
						</dict>
María's avatar
prefix y PO axiom  
María committed
16859 16860 16861 16862 16863 16864 16865 16866 16867 16868 16869 16870 16871 16872 16873 16874 16875 16876 16877 16878 16879 16880 16881 16882 16883 16884 16885 
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.237525</string>
								<key>g</key>
								<string>0.237525</string>
								<key>r</key>
								<string>0.237525</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
María's avatar
Triples for provenance  
María committed
16886 
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
María's avatar
prefix y PO axiom  
María committed
16887 16888 
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
María's avatar
Triples for provenance  
María committed
16889 
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural\qc
María's avatar
prefix y PO axiom  
María committed
16890 16891 
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
María's avatar
Triples for provenance  
María committed
16892 
Device}</string>
María's avatar
prefix y PO axiom  
María committed
16893 16894 16895 16896 
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
María's avatar
add isContainedIn  
María committed
16897 16898 16899 16900 16901 16902 16903 16904 16905 16906 16907 16908 16909 16910 16911 16912 16913 16914 
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
María's avatar
Triples for provenance  
María committed
16915 16916 16917 
						<integer>34582</integer>
						<key>Info</key>
						<integer>3</integer>
María's avatar
add isContainedIn  
María committed
16918 16919 
					</dict>
					<key>ID</key>
María's avatar
Triples for provenance  
María committed
16920 
					<integer>34583</integer>
María's avatar
add isContainedIn  
María committed
16921 16922 16923 
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
María's avatar
prefix y PO axiom  
María committed
16924 
					<string>{0, 0}</string>
María's avatar
add isContainedIn  
María committed
16925 16926 16927 16928 
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
Triples for provenance  
María committed
16929 16930 
						<string>{1391.2955826787033, 651.10937086990248}</string>
						<string>{1391.295583896519, 610.5827729822762}</string>
María's avatar
add isContainedIn  
María committed
16931 16932 16933 16934 16935 16936 16937 16938 16939 16940 16941 16942 16943 16944 16945 16946 16947 16948 16949 16950 16951 16952 16953 16954 16955 16956 16957 16958 16959 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.379874</string>
								<key>g</key>
								<string>0.379874</string>
								<key>r</key>
								<string>0.379874</string>
							</dict>
							<key>HeadArrow</key>
							<string>UMLInheritance</string>
							<key>Join</key>
							<integer>0</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
María's avatar
Triples for provenance  
María committed
16960 
						<integer>34027</integer>
María's avatar
add isContainedIn  
María committed
16961 16962 16963 16964 
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
Triples for provenance  
María committed
16965 
					<string>{{1360.6482459960052, 587.57016922251046}, {61.294673365396193, 23.012603759765625}}</string>
María's avatar
add isContainedIn  
María committed
16966 16967 16968 16969 16970 16971 16972 16973 16974 16975 16976 16977 16978 16979 16980 16981 16982 16983 16984 16985 16986 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
María's avatar
Triples for provenance  
María committed
16987 
					<integer>34582</integer>
María's avatar
add isContainedIn  
María committed
16988 16989 16990 16991 16992 16993 16994 16995 16996 16997 16998 16999 17000 
					<key>Magnets</key>
					<array>
						<string>{-0.73960024176586936, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
Show full blame