@@ -0,0 +1,1767 @@
1+<?xml version="1.0" encoding="UTF-8"?>
2+<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
3+ <dia:diagramdata>
4+ <dia:attribute name="background">
5+ <dia:color val="#ffffff"/>
6+ </dia:attribute>
7+ <dia:attribute name="pagebreak">
8+ <dia:color val="#000099"/>
9+ </dia:attribute>
10+ <dia:attribute name="paper">
11+ <dia:composite type="paper">
12+ <dia:attribute name="name">
13+ <dia:string>#A4#</dia:string>
14+ </dia:attribute>
15+ <dia:attribute name="tmargin">
16+ <dia:real val="2.8199999332427979"/>
17+ </dia:attribute>
18+ <dia:attribute name="bmargin">
19+ <dia:real val="2.8222000598907471"/>
20+ </dia:attribute>
21+ <dia:attribute name="lmargin">
22+ <dia:real val="2.8222000598907471"/>
23+ </dia:attribute>
24+ <dia:attribute name="rmargin">
25+ <dia:real val="2.8222000598907471"/>
26+ </dia:attribute>
27+ <dia:attribute name="is_portrait">
28+ <dia:boolean val="true"/>
29+ </dia:attribute>
30+ <dia:attribute name="scaling">
31+ <dia:real val="0.50346225500106812"/>
32+ </dia:attribute>
33+ <dia:attribute name="fitto">
34+ <dia:boolean val="true"/>
35+ </dia:attribute>
36+ <dia:attribute name="fitwidth">
37+ <dia:int val="1"/>
38+ </dia:attribute>
39+ <dia:attribute name="fitheight">
40+ <dia:int val="1"/>
41+ </dia:attribute>
42+ </dia:composite>
43+ </dia:attribute>
44+ <dia:attribute name="grid">
45+ <dia:composite type="grid">
46+ <dia:attribute name="width_x">
47+ <dia:real val="1"/>
48+ </dia:attribute>
49+ <dia:attribute name="width_y">
50+ <dia:real val="1"/>
51+ </dia:attribute>
52+ <dia:attribute name="visible_x">
53+ <dia:int val="1"/>
54+ </dia:attribute>
55+ <dia:attribute name="visible_y">
56+ <dia:int val="1"/>
57+ </dia:attribute>
58+ <dia:composite type="color"/>
59+ </dia:composite>
60+ </dia:attribute>
61+ <dia:attribute name="color">
62+ <dia:color val="#d8e5e5"/>
63+ </dia:attribute>
64+ <dia:attribute name="guides">
65+ <dia:composite type="guides">
66+ <dia:attribute name="hguides"/>
67+ <dia:attribute name="vguides"/>
68+ </dia:composite>
69+ </dia:attribute>
70+ </dia:diagramdata>
71+ <dia:layer name="Background" visible="true" active="true">
72+ <dia:object type="Standard - Box" version="0" id="O0">
73+ <dia:attribute name="obj_pos">
74+ <dia:point val="-3,16.3"/>
75+ </dia:attribute>
76+ <dia:attribute name="obj_bb">
77+ <dia:rectangle val="-3.05,16.25;5.95,29.75"/>
78+ </dia:attribute>
79+ <dia:attribute name="elem_corner">
80+ <dia:point val="-3,16.3"/>
81+ </dia:attribute>
82+ <dia:attribute name="elem_width">
83+ <dia:real val="8.9000000000000021"/>
84+ </dia:attribute>
85+ <dia:attribute name="elem_height">
86+ <dia:real val="13.399999999999999"/>
87+ </dia:attribute>
88+ <dia:attribute name="border_width">
89+ <dia:real val="0.10000000149011612"/>
90+ </dia:attribute>
91+ <dia:attribute name="inner_color">
92+ <dia:color val="#bfbfbf"/>
93+ </dia:attribute>
94+ <dia:attribute name="show_background">
95+ <dia:boolean val="true"/>
96+ </dia:attribute>
97+ <dia:attribute name="line_style">
98+ <dia:enum val="4"/>
99+ </dia:attribute>
100+ </dia:object>
101+ <dia:object type="Standard - Box" version="0" id="O1">
102+ <dia:attribute name="obj_pos">
103+ <dia:point val="14.85,12.965"/>
104+ </dia:attribute>
105+ <dia:attribute name="obj_bb">
106+ <dia:rectangle val="14.8,12.915;27.45,29.65"/>
107+ </dia:attribute>
108+ <dia:attribute name="elem_corner">
109+ <dia:point val="14.85,12.965"/>
110+ </dia:attribute>
111+ <dia:attribute name="elem_width">
112+ <dia:real val="12.549999999999995"/>
113+ </dia:attribute>
114+ <dia:attribute name="elem_height">
115+ <dia:real val="16.634999999999987"/>
116+ </dia:attribute>
117+ <dia:attribute name="border_width">
118+ <dia:real val="0.10000000149011612"/>
119+ </dia:attribute>
120+ <dia:attribute name="inner_color">
121+ <dia:color val="#bfbfbf"/>
122+ </dia:attribute>
123+ <dia:attribute name="show_background">
124+ <dia:boolean val="true"/>
125+ </dia:attribute>
126+ <dia:attribute name="line_style">
127+ <dia:enum val="4"/>
128+ </dia:attribute>
129+ </dia:object>
130+ <dia:group>
131+ <dia:object type="Flowchart - Parallelogram" version="0" id="O2">
132+ <dia:attribute name="obj_pos">
133+ <dia:point val="17.2356,25.9784"/>
134+ </dia:attribute>
135+ <dia:attribute name="obj_bb">
136+ <dia:rectangle val="17.1856,25.9284;26.9072,28.0284"/>
137+ </dia:attribute>
138+ <dia:attribute name="elem_corner">
139+ <dia:point val="17.2356,25.9784"/>
140+ </dia:attribute>
141+ <dia:attribute name="elem_width">
142+ <dia:real val="9.6216166559453669"/>
143+ </dia:attribute>
144+ <dia:attribute name="elem_height">
145+ <dia:real val="2"/>
146+ </dia:attribute>
147+ <dia:attribute name="show_background">
148+ <dia:boolean val="true"/>
149+ </dia:attribute>
150+ <dia:attribute name="shear_angle">
151+ <dia:real val="70"/>
152+ </dia:attribute>
153+ <dia:attribute name="padding">
154+ <dia:real val="0.5"/>
155+ </dia:attribute>
156+ <dia:attribute name="text">
157+ <dia:composite type="text">
158+ <dia:attribute name="string">
159+ <dia:string>#configuration-lts-x.y.nix#</dia:string>
160+ </dia:attribute>
161+ <dia:attribute name="font">
162+ <dia:font family="sans" style="0" name="Helvetica"/>
163+ </dia:attribute>
164+ <dia:attribute name="height">
165+ <dia:real val="0.80000000000000004"/>
166+ </dia:attribute>
167+ <dia:attribute name="pos">
168+ <dia:point val="22.0464,27.1734"/>
169+ </dia:attribute>
170+ <dia:attribute name="color">
171+ <dia:color val="#000000"/>
172+ </dia:attribute>
173+ <dia:attribute name="alignment">
174+ <dia:enum val="1"/>
175+ </dia:attribute>
176+ </dia:composite>
177+ </dia:attribute>
178+ </dia:object>
179+ <dia:object type="Flowchart - Parallelogram" version="0" id="O3">
180+ <dia:attribute name="obj_pos">
181+ <dia:point val="16.4139,26.4093"/>
182+ </dia:attribute>
183+ <dia:attribute name="obj_bb">
184+ <dia:rectangle val="16.3639,26.3593;26.0855,28.4593"/>
185+ </dia:attribute>
186+ <dia:attribute name="elem_corner">
187+ <dia:point val="16.4139,26.4093"/>
188+ </dia:attribute>
189+ <dia:attribute name="elem_width">
190+ <dia:real val="9.6216166559453669"/>
191+ </dia:attribute>
192+ <dia:attribute name="elem_height">
193+ <dia:real val="2"/>
194+ </dia:attribute>
195+ <dia:attribute name="show_background">
196+ <dia:boolean val="true"/>
197+ </dia:attribute>
198+ <dia:attribute name="shear_angle">
199+ <dia:real val="70"/>
200+ </dia:attribute>
201+ <dia:attribute name="padding">
202+ <dia:real val="0.5"/>
203+ </dia:attribute>
204+ <dia:attribute name="text">
205+ <dia:composite type="text">
206+ <dia:attribute name="string">
207+ <dia:string>#configuration-lts-x.y.nix#</dia:string>
208+ </dia:attribute>
209+ <dia:attribute name="font">
210+ <dia:font family="sans" style="0" name="Helvetica"/>
211+ </dia:attribute>
212+ <dia:attribute name="height">
213+ <dia:real val="0.80000000000000004"/>
214+ </dia:attribute>
215+ <dia:attribute name="pos">
216+ <dia:point val="21.2247,27.6043"/>
217+ </dia:attribute>
218+ <dia:attribute name="color">
219+ <dia:color val="#000000"/>
220+ </dia:attribute>
221+ <dia:attribute name="alignment">
222+ <dia:enum val="1"/>
223+ </dia:attribute>
224+ </dia:composite>
225+ </dia:attribute>
226+ </dia:object>
227+ <dia:object type="Flowchart - Parallelogram" version="0" id="O4">
228+ <dia:attribute name="obj_pos">
229+ <dia:point val="15.7148,26.8153"/>
230+ </dia:attribute>
231+ <dia:attribute name="obj_bb">
232+ <dia:rectangle val="15.6648,26.7653;25.3864,28.8653"/>
233+ </dia:attribute>
234+ <dia:attribute name="elem_corner">
235+ <dia:point val="15.7148,26.8153"/>
236+ </dia:attribute>
237+ <dia:attribute name="elem_width">
238+ <dia:real val="9.6216166559453669"/>
239+ </dia:attribute>
240+ <dia:attribute name="elem_height">
241+ <dia:real val="2"/>
242+ </dia:attribute>
243+ <dia:attribute name="show_background">
244+ <dia:boolean val="true"/>
245+ </dia:attribute>
246+ <dia:attribute name="shear_angle">
247+ <dia:real val="70"/>
248+ </dia:attribute>
249+ <dia:attribute name="padding">
250+ <dia:real val="0.5"/>
251+ </dia:attribute>
252+ <dia:attribute name="text">
253+ <dia:composite type="text">
254+ <dia:attribute name="string">
255+ <dia:string>#configuration-lts-x.y.nix#</dia:string>
256+ </dia:attribute>
257+ <dia:attribute name="font">
258+ <dia:font family="sans" style="0" name="Helvetica"/>
259+ </dia:attribute>
260+ <dia:attribute name="height">
261+ <dia:real val="0.80000000000000004"/>
262+ </dia:attribute>
263+ <dia:attribute name="pos">
264+ <dia:point val="20.5256,28.0103"/>
265+ </dia:attribute>
266+ <dia:attribute name="color">
267+ <dia:color val="#000000"/>
268+ </dia:attribute>
269+ <dia:attribute name="alignment">
270+ <dia:enum val="1"/>
271+ </dia:attribute>
272+ </dia:composite>
273+ </dia:attribute>
274+ </dia:object>
275+ </dia:group>
276+ <dia:object type="Standard - Line" version="0" id="O5">
277+ <dia:attribute name="obj_pos">
278+ <dia:point val="21.5216,23.6895"/>
279+ </dia:attribute>
280+ <dia:attribute name="obj_bb">
281+ <dia:rectangle val="21.2119,23.6383;21.9353,26.5211"/>
282+ </dia:attribute>
283+ <dia:attribute name="conn_endpoints">
284+ <dia:point val="21.5216,23.6895"/>
285+ <dia:point val="21.5887,26.4093"/>
286+ </dia:attribute>
287+ <dia:attribute name="numcp">
288+ <dia:int val="1"/>
289+ </dia:attribute>
290+ <dia:attribute name="end_arrow">
291+ <dia:enum val="22"/>
292+ </dia:attribute>
293+ <dia:attribute name="end_arrow_length">
294+ <dia:real val="0.5"/>
295+ </dia:attribute>
296+ <dia:attribute name="end_arrow_width">
297+ <dia:real val="0.5"/>
298+ </dia:attribute>
299+ <dia:connections>
300+ <dia:connection handle="0" to="O7" connection="14"/>
301+ <dia:connection handle="1" to="O3" connection="2"/>
302+ </dia:connections>
303+ </dia:object>
304+ <dia:group>
305+ <dia:object type="Flowchart - Manual Input" version="1" id="O6">
306+ <dia:attribute name="obj_pos">
307+ <dia:point val="17.5436,21.2235"/>
308+ </dia:attribute>
309+ <dia:attribute name="obj_bb">
310+ <dia:rectangle val="17.4936,21.1687;26.3211,23.2735"/>
311+ </dia:attribute>
312+ <dia:attribute name="meta">
313+ <dia:composite type="dict"/>
314+ </dia:attribute>
315+ <dia:attribute name="elem_corner">
316+ <dia:point val="17.5436,21.2235"/>
317+ </dia:attribute>
318+ <dia:attribute name="elem_width">
319+ <dia:real val="8.7275000000000009"/>
320+ </dia:attribute>
321+ <dia:attribute name="elem_height">
322+ <dia:real val="2"/>
323+ </dia:attribute>
324+ <dia:attribute name="line_width">
325+ <dia:real val="0.10000000000000001"/>
326+ </dia:attribute>
327+ <dia:attribute name="line_colour">
328+ <dia:color val="#000000"/>
329+ </dia:attribute>
330+ <dia:attribute name="fill_colour">
331+ <dia:color val="#ffffff"/>
332+ </dia:attribute>
333+ <dia:attribute name="show_background">
334+ <dia:boolean val="true"/>
335+ </dia:attribute>
336+ <dia:attribute name="line_style">
337+ <dia:enum val="0"/>
338+ <dia:real val="1"/>
339+ </dia:attribute>
340+ <dia:attribute name="padding">
341+ <dia:real val="0.10000000000000001"/>
342+ </dia:attribute>
343+ <dia:attribute name="text">
344+ <dia:composite type="text">
345+ <dia:attribute name="string">
346+ <dia:string>#configuration-ghc-x.y.nix#</dia:string>
347+ </dia:attribute>
348+ <dia:attribute name="font">
349+ <dia:font family="sans" style="0" name="Helvetica"/>
350+ </dia:attribute>
351+ <dia:attribute name="height">
352+ <dia:real val="0.80000000000000004"/>
353+ </dia:attribute>
354+ <dia:attribute name="pos">
355+ <dia:point val="21.9074,22.8235"/>
356+ </dia:attribute>
357+ <dia:attribute name="color">
358+ <dia:color val="#000000"/>
359+ </dia:attribute>
360+ <dia:attribute name="alignment">
361+ <dia:enum val="1"/>
362+ </dia:attribute>
363+ </dia:composite>
364+ </dia:attribute>
365+ <dia:attribute name="flip_horizontal">
366+ <dia:boolean val="false"/>
367+ </dia:attribute>
368+ <dia:attribute name="flip_vertical">
369+ <dia:boolean val="false"/>
370+ </dia:attribute>
371+ <dia:attribute name="subscale">
372+ <dia:real val="1"/>
373+ </dia:attribute>
374+ </dia:object>
375+ <dia:object type="Flowchart - Manual Input" version="1" id="O7">
376+ <dia:attribute name="obj_pos">
377+ <dia:point val="17.1578,21.6895"/>
378+ </dia:attribute>
379+ <dia:attribute name="obj_bb">
380+ <dia:rectangle val="17.1078,21.6347;25.9353,23.7395"/>
381+ </dia:attribute>
382+ <dia:attribute name="meta">
383+ <dia:composite type="dict"/>
384+ </dia:attribute>
385+ <dia:attribute name="elem_corner">
386+ <dia:point val="17.1578,21.6895"/>
387+ </dia:attribute>
388+ <dia:attribute name="elem_width">
389+ <dia:real val="8.7275000000000009"/>
390+ </dia:attribute>
391+ <dia:attribute name="elem_height">
392+ <dia:real val="2"/>
393+ </dia:attribute>
394+ <dia:attribute name="line_width">
395+ <dia:real val="0.10000000000000001"/>
396+ </dia:attribute>
397+ <dia:attribute name="line_colour">
398+ <dia:color val="#000000"/>
399+ </dia:attribute>
400+ <dia:attribute name="fill_colour">
401+ <dia:color val="#ffffff"/>
402+ </dia:attribute>
403+ <dia:attribute name="show_background">
404+ <dia:boolean val="true"/>
405+ </dia:attribute>
406+ <dia:attribute name="line_style">
407+ <dia:enum val="0"/>
408+ <dia:real val="1"/>
409+ </dia:attribute>
410+ <dia:attribute name="padding">
411+ <dia:real val="0.10000000000000001"/>
412+ </dia:attribute>
413+ <dia:attribute name="text">
414+ <dia:composite type="text">
415+ <dia:attribute name="string">
416+ <dia:string>#configuration-ghc-x.y.nix#</dia:string>
417+ </dia:attribute>
418+ <dia:attribute name="font">
419+ <dia:font family="sans" style="0" name="Helvetica"/>
420+ </dia:attribute>
421+ <dia:attribute name="height">
422+ <dia:real val="0.80000000000000004"/>
423+ </dia:attribute>
424+ <dia:attribute name="pos">
425+ <dia:point val="21.5216,23.2895"/>
426+ </dia:attribute>
427+ <dia:attribute name="color">
428+ <dia:color val="#000000"/>
429+ </dia:attribute>
430+ <dia:attribute name="alignment">
431+ <dia:enum val="1"/>
432+ </dia:attribute>
433+ </dia:composite>
434+ </dia:attribute>
435+ <dia:attribute name="flip_horizontal">
436+ <dia:boolean val="false"/>
437+ </dia:attribute>
438+ <dia:attribute name="flip_vertical">
439+ <dia:boolean val="false"/>
440+ </dia:attribute>
441+ <dia:attribute name="subscale">
442+ <dia:real val="1"/>
443+ </dia:attribute>
444+ </dia:object>
445+ <dia:object type="Flowchart - Manual Input" version="1" id="O8">
446+ <dia:attribute name="obj_pos">
447+ <dia:point val="16.7028,22.1633"/>
448+ </dia:attribute>
449+ <dia:attribute name="obj_bb">
450+ <dia:rectangle val="16.6528,22.1085;25.4803,24.2133"/>
451+ </dia:attribute>
452+ <dia:attribute name="meta">
453+ <dia:composite type="dict"/>
454+ </dia:attribute>
455+ <dia:attribute name="elem_corner">
456+ <dia:point val="16.7028,22.1633"/>
457+ </dia:attribute>
458+ <dia:attribute name="elem_width">
459+ <dia:real val="8.7275000000000009"/>
460+ </dia:attribute>
461+ <dia:attribute name="elem_height">
462+ <dia:real val="2"/>
463+ </dia:attribute>
464+ <dia:attribute name="line_width">
465+ <dia:real val="0.10000000000000001"/>
466+ </dia:attribute>
467+ <dia:attribute name="line_colour">
468+ <dia:color val="#000000"/>
469+ </dia:attribute>
470+ <dia:attribute name="fill_colour">
471+ <dia:color val="#ffffff"/>
472+ </dia:attribute>
473+ <dia:attribute name="show_background">
474+ <dia:boolean val="true"/>
475+ </dia:attribute>
476+ <dia:attribute name="line_style">
477+ <dia:enum val="0"/>
478+ <dia:real val="1"/>
479+ </dia:attribute>
480+ <dia:attribute name="padding">
481+ <dia:real val="0.10000000000000001"/>
482+ </dia:attribute>
483+ <dia:attribute name="text">
484+ <dia:composite type="text">
485+ <dia:attribute name="string">
486+ <dia:string>#configuration-ghc-x.y.nix#</dia:string>
487+ </dia:attribute>
488+ <dia:attribute name="font">
489+ <dia:font family="sans" style="0" name="Helvetica"/>
490+ </dia:attribute>
491+ <dia:attribute name="height">
492+ <dia:real val="0.80000000000000004"/>
493+ </dia:attribute>
494+ <dia:attribute name="pos">
495+ <dia:point val="21.0666,23.7633"/>
496+ </dia:attribute>
497+ <dia:attribute name="color">
498+ <dia:color val="#000000"/>
499+ </dia:attribute>
500+ <dia:attribute name="alignment">
501+ <dia:enum val="1"/>
502+ </dia:attribute>
503+ </dia:composite>
504+ </dia:attribute>
505+ <dia:attribute name="flip_horizontal">
506+ <dia:boolean val="false"/>
507+ </dia:attribute>
508+ <dia:attribute name="flip_vertical">
509+ <dia:boolean val="false"/>
510+ </dia:attribute>
511+ <dia:attribute name="subscale">
512+ <dia:real val="1"/>
513+ </dia:attribute>
514+ </dia:object>
515+ </dia:group>
516+ <dia:object type="Standard - Box" version="0" id="O9">
517+ <dia:attribute name="obj_pos">
518+ <dia:point val="6.4325,18.1"/>
519+ </dia:attribute>
520+ <dia:attribute name="obj_bb">
521+ <dia:rectangle val="6.3825,18.05;14.4,29.7"/>
522+ </dia:attribute>
523+ <dia:attribute name="elem_corner">
524+ <dia:point val="6.4325,18.1"/>
525+ </dia:attribute>
526+ <dia:attribute name="elem_width">
527+ <dia:real val="7.9174999999999933"/>
528+ </dia:attribute>
529+ <dia:attribute name="elem_height">
530+ <dia:real val="11.550000000000015"/>
531+ </dia:attribute>
532+ <dia:attribute name="border_width">
533+ <dia:real val="0.10000000149011612"/>
534+ </dia:attribute>
535+ <dia:attribute name="inner_color">
536+ <dia:color val="#bfbfbf"/>
537+ </dia:attribute>
538+ <dia:attribute name="show_background">
539+ <dia:boolean val="true"/>
540+ </dia:attribute>
541+ <dia:attribute name="line_style">
542+ <dia:enum val="4"/>
543+ </dia:attribute>
544+ </dia:object>
545+ <dia:object type="Flowchart - Parallelogram" version="0" id="O10">
546+ <dia:attribute name="obj_pos">
547+ <dia:point val="-2.10183,21.785"/>
548+ </dia:attribute>
549+ <dia:attribute name="obj_bb">
550+ <dia:rectangle val="-2.15183,21.735;5.50479,23.835"/>
551+ </dia:attribute>
552+ <dia:attribute name="elem_corner">
553+ <dia:point val="-2.10183,21.785"/>
554+ </dia:attribute>
555+ <dia:attribute name="elem_width">
556+ <dia:real val="7.5566166559453665"/>
557+ </dia:attribute>
558+ <dia:attribute name="elem_height">
559+ <dia:real val="2"/>
560+ </dia:attribute>
561+ <dia:attribute name="show_background">
562+ <dia:boolean val="true"/>
563+ </dia:attribute>
564+ <dia:attribute name="shear_angle">
565+ <dia:real val="70"/>
566+ </dia:attribute>
567+ <dia:attribute name="padding">
568+ <dia:real val="0.5"/>
569+ </dia:attribute>
570+ <dia:attribute name="text">
571+ <dia:composite type="text">
572+ <dia:attribute name="string">
573+ <dia:string>#Stackage Nightly#</dia:string>
574+ </dia:attribute>
575+ <dia:attribute name="font">
576+ <dia:font family="sans" style="0" name="Helvetica"/>
577+ </dia:attribute>
578+ <dia:attribute name="height">
579+ <dia:real val="0.80000000000000004"/>
580+ </dia:attribute>
581+ <dia:attribute name="pos">
582+ <dia:point val="1.67648,22.98"/>
583+ </dia:attribute>
584+ <dia:attribute name="color">
585+ <dia:color val="#000000"/>
586+ </dia:attribute>
587+ <dia:attribute name="alignment">
588+ <dia:enum val="1"/>
589+ </dia:attribute>
590+ </dia:composite>
591+ </dia:attribute>
592+ </dia:object>
593+ <dia:object type="Flowchart - Parallelogram" version="0" id="O11">
594+ <dia:attribute name="obj_pos">
595+ <dia:point val="-1.97933,17.3272"/>
596+ </dia:attribute>
597+ <dia:attribute name="obj_bb">
598+ <dia:rectangle val="-2.02933,17.2772;5.38229,19.3772"/>
599+ </dia:attribute>
600+ <dia:attribute name="elem_corner">
601+ <dia:point val="-1.97933,17.3272"/>
602+ </dia:attribute>
603+ <dia:attribute name="elem_width">
604+ <dia:real val="7.3116166559453664"/>
605+ </dia:attribute>
606+ <dia:attribute name="elem_height">
607+ <dia:real val="2"/>
608+ </dia:attribute>
609+ <dia:attribute name="show_background">
610+ <dia:boolean val="true"/>
611+ </dia:attribute>
612+ <dia:attribute name="shear_angle">
613+ <dia:real val="70"/>
614+ </dia:attribute>
615+ <dia:attribute name="padding">
616+ <dia:real val="0.5"/>
617+ </dia:attribute>
618+ <dia:attribute name="text">
619+ <dia:composite type="text">
620+ <dia:attribute name="string">
621+ <dia:string>#all-cabal-hashes#</dia:string>
622+ </dia:attribute>
623+ <dia:attribute name="font">
624+ <dia:font family="sans" style="0" name="Helvetica"/>
625+ </dia:attribute>
626+ <dia:attribute name="height">
627+ <dia:real val="0.80000000000000004"/>
628+ </dia:attribute>
629+ <dia:attribute name="pos">
630+ <dia:point val="1.67648,18.5222"/>
631+ </dia:attribute>
632+ <dia:attribute name="color">
633+ <dia:color val="#000000"/>
634+ </dia:attribute>
635+ <dia:attribute name="alignment">
636+ <dia:enum val="1"/>
637+ </dia:attribute>
638+ </dia:composite>
639+ </dia:attribute>
640+ </dia:object>
641+ <dia:object type="Standard - Line" version="0" id="O12">
642+ <dia:attribute name="obj_pos">
643+ <dia:point val="1.687,14.8808"/>
644+ </dia:attribute>
645+ <dia:attribute name="obj_bb">
646+ <dia:rectangle val="1.31971,14.8306;2.04331,17.4024"/>
647+ </dia:attribute>
648+ <dia:attribute name="conn_endpoints">
649+ <dia:point val="1.687,14.8808"/>
650+ <dia:point val="1.67964,17.2906"/>
651+ </dia:attribute>
652+ <dia:attribute name="numcp">
653+ <dia:int val="1"/>
654+ </dia:attribute>
655+ <dia:attribute name="end_arrow">
656+ <dia:enum val="22"/>
657+ </dia:attribute>
658+ <dia:attribute name="end_arrow_length">
659+ <dia:real val="0.5"/>
660+ </dia:attribute>
661+ <dia:attribute name="end_arrow_width">
662+ <dia:real val="0.5"/>
663+ </dia:attribute>
664+ <dia:connections>
665+ <dia:connection handle="0" to="O27" connection="14"/>
666+ <dia:connection handle="1" to="O11" connection="16"/>
667+ </dia:connections>
668+ </dia:object>
669+ <dia:object type="Standard - Line" version="0" id="O13">
670+ <dia:attribute name="obj_pos">
671+ <dia:point val="1.67648,19.3769"/>
672+ </dia:attribute>
673+ <dia:attribute name="obj_bb">
674+ <dia:rectangle val="1.31467,19.3269;2.03828,21.8471"/>
675+ </dia:attribute>
676+ <dia:attribute name="conn_endpoints">
677+ <dia:point val="1.67648,19.3769"/>
678+ <dia:point val="1.67648,21.7353"/>
679+ </dia:attribute>
680+ <dia:attribute name="numcp">
681+ <dia:int val="1"/>
682+ </dia:attribute>
683+ <dia:attribute name="end_arrow">
684+ <dia:enum val="22"/>
685+ </dia:attribute>
686+ <dia:attribute name="end_arrow_length">
687+ <dia:real val="0.5"/>
688+ </dia:attribute>
689+ <dia:attribute name="end_arrow_width">
690+ <dia:real val="0.5"/>
691+ </dia:attribute>
692+ <dia:connections>
693+ <dia:connection handle="0" to="O11" connection="16"/>
694+ <dia:connection handle="1" to="O10" connection="16"/>
695+ </dia:connections>
696+ </dia:object>
697+ <dia:object type="Flowchart - Parallelogram" version="0" id="O14">
698+ <dia:attribute name="obj_pos">
699+ <dia:point val="17.1382,13.6837"/>
700+ </dia:attribute>
701+ <dia:attribute name="obj_bb">
702+ <dia:rectangle val="17.0882,13.6337;26.4473,15.6337"/>
703+ </dia:attribute>
704+ <dia:attribute name="elem_corner">
705+ <dia:point val="17.1382,13.6837"/>
706+ </dia:attribute>
707+ <dia:attribute name="elem_width">
708+ <dia:real val="9.2591166559453661"/>
709+ </dia:attribute>
710+ <dia:attribute name="elem_height">
711+ <dia:real val="1.9000000000000001"/>
712+ </dia:attribute>
713+ <dia:attribute name="show_background">
714+ <dia:boolean val="true"/>
715+ </dia:attribute>
716+ <dia:attribute name="shear_angle">
717+ <dia:real val="70"/>
718+ </dia:attribute>
719+ <dia:attribute name="padding">
720+ <dia:real val="0.5"/>
721+ </dia:attribute>
722+ <dia:attribute name="text">
723+ <dia:composite type="text">
724+ <dia:attribute name="string">
725+ <dia:string>#hackage-packages.nix#</dia:string>
726+ </dia:attribute>
727+ <dia:attribute name="font">
728+ <dia:font family="sans" style="0" name="Helvetica"/>
729+ </dia:attribute>
730+ <dia:attribute name="height">
731+ <dia:real val="0.80000000000000004"/>
732+ </dia:attribute>
733+ <dia:attribute name="pos">
734+ <dia:point val="21.7678,14.8287"/>
735+ </dia:attribute>
736+ <dia:attribute name="color">
737+ <dia:color val="#000000"/>
738+ </dia:attribute>
739+ <dia:attribute name="alignment">
740+ <dia:enum val="1"/>
741+ </dia:attribute>
742+ </dia:composite>
743+ </dia:attribute>
744+ </dia:object>
745+ <dia:object type="Standard - Line" version="0" id="O15">
746+ <dia:attribute name="obj_pos">
747+ <dia:point val="3.68637,17.3272"/>
748+ </dia:attribute>
749+ <dia:attribute name="obj_bb">
750+ <dia:rectangle val="3.61566,13.6496;7.30368,17.3979"/>
751+ </dia:attribute>
752+ <dia:attribute name="conn_endpoints">
753+ <dia:point val="3.68637,17.3272"/>
754+ <dia:point val="7.22528,13.7293"/>
755+ </dia:attribute>
756+ <dia:attribute name="numcp">
757+ <dia:int val="1"/>
758+ </dia:attribute>
759+ <dia:attribute name="end_arrow">
760+ <dia:enum val="22"/>
761+ </dia:attribute>
762+ <dia:attribute name="end_arrow_length">
763+ <dia:real val="0.5"/>
764+ </dia:attribute>
765+ <dia:attribute name="end_arrow_width">
766+ <dia:real val="0.5"/>
767+ </dia:attribute>
768+ <dia:connections>
769+ <dia:connection handle="0" to="O11" connection="3"/>
770+ <dia:connection handle="1" to="O16" connection="5"/>
771+ </dia:connections>
772+ </dia:object>
773+ <dia:object type="Flowchart - Box" version="0" id="O16">
774+ <dia:attribute name="obj_pos">
775+ <dia:point val="7.22528,13.2543"/>
776+ </dia:attribute>
777+ <dia:attribute name="obj_bb">
778+ <dia:rectangle val="7.17528,13.2043;13.55,15.2043"/>
779+ </dia:attribute>
780+ <dia:attribute name="elem_corner">
781+ <dia:point val="7.22528,13.2543"/>
782+ </dia:attribute>
783+ <dia:attribute name="elem_width">
784+ <dia:real val="6.2747199992549376"/>
785+ </dia:attribute>
786+ <dia:attribute name="elem_height">
787+ <dia:real val="1.9000000014901162"/>
788+ </dia:attribute>
789+ <dia:attribute name="border_width">
790+ <dia:real val="0.10000000149011612"/>
791+ </dia:attribute>
792+ <dia:attribute name="border_color">
793+ <dia:color val="#ff0000"/>
794+ </dia:attribute>
795+ <dia:attribute name="show_background">
796+ <dia:boolean val="true"/>
797+ </dia:attribute>
798+ <dia:attribute name="padding">
799+ <dia:real val="0.5"/>
800+ </dia:attribute>
801+ <dia:attribute name="text">
802+ <dia:composite type="text">
803+ <dia:attribute name="string">
804+ <dia:string>#hackage2nix#</dia:string>
805+ </dia:attribute>
806+ <dia:attribute name="font">
807+ <dia:font family="sans" style="0" name="Helvetica"/>
808+ </dia:attribute>
809+ <dia:attribute name="height">
810+ <dia:real val="0.80000000000000004"/>
811+ </dia:attribute>
812+ <dia:attribute name="pos">
813+ <dia:point val="10.3626,14.3993"/>
814+ </dia:attribute>
815+ <dia:attribute name="color">
816+ <dia:color val="#000000"/>
817+ </dia:attribute>
818+ <dia:attribute name="alignment">
819+ <dia:enum val="1"/>
820+ </dia:attribute>
821+ </dia:composite>
822+ </dia:attribute>
823+ </dia:object>
824+ <dia:object type="Standard - Line" version="0" id="O17">
825+ <dia:attribute name="obj_pos">
826+ <dia:point val="3.74762,21.785"/>
827+ </dia:attribute>
828+ <dia:attribute name="obj_bb">
829+ <dia:rectangle val="3.68011,15.0553;7.29507,21.8526"/>
830+ </dia:attribute>
831+ <dia:attribute name="conn_endpoints">
832+ <dia:point val="3.74762,21.785"/>
833+ <dia:point val="7.22528,15.1543"/>
834+ </dia:attribute>
835+ <dia:attribute name="numcp">
836+ <dia:int val="1"/>
837+ </dia:attribute>
838+ <dia:attribute name="end_arrow">
839+ <dia:enum val="22"/>
840+ </dia:attribute>
841+ <dia:attribute name="end_arrow_length">
842+ <dia:real val="0.5"/>
843+ </dia:attribute>
844+ <dia:attribute name="end_arrow_width">
845+ <dia:real val="0.5"/>
846+ </dia:attribute>
847+ <dia:connections>
848+ <dia:connection handle="0" to="O10" connection="3"/>
849+ <dia:connection handle="1" to="O16" connection="11"/>
850+ </dia:connections>
851+ </dia:object>
852+ <dia:object type="Flowchart - Manual Input" version="1" id="O18">
853+ <dia:attribute name="obj_pos">
854+ <dia:point val="17.0732,17.4036"/>
855+ </dia:attribute>
856+ <dia:attribute name="obj_bb">
857+ <dia:rectangle val="17.0232,17.3488;25.8507,19.4536"/>
858+ </dia:attribute>
859+ <dia:attribute name="meta">
860+ <dia:composite type="dict"/>
861+ </dia:attribute>
862+ <dia:attribute name="elem_corner">
863+ <dia:point val="17.0732,17.4036"/>
864+ </dia:attribute>
865+ <dia:attribute name="elem_width">
866+ <dia:real val="8.7275000000000009"/>
867+ </dia:attribute>
868+ <dia:attribute name="elem_height">
869+ <dia:real val="2"/>
870+ </dia:attribute>
871+ <dia:attribute name="line_width">
872+ <dia:real val="0.10000000000000001"/>
873+ </dia:attribute>
874+ <dia:attribute name="line_colour">
875+ <dia:color val="#000000"/>
876+ </dia:attribute>
877+ <dia:attribute name="fill_colour">
878+ <dia:color val="#ffffff"/>
879+ </dia:attribute>
880+ <dia:attribute name="show_background">
881+ <dia:boolean val="true"/>
882+ </dia:attribute>
883+ <dia:attribute name="line_style">
884+ <dia:enum val="0"/>
885+ <dia:real val="1"/>
886+ </dia:attribute>
887+ <dia:attribute name="padding">
888+ <dia:real val="0.10000000000000001"/>
889+ </dia:attribute>
890+ <dia:attribute name="text">
891+ <dia:composite type="text">
892+ <dia:attribute name="string">
893+ <dia:string>#configuration-common.nix#</dia:string>
894+ </dia:attribute>
895+ <dia:attribute name="font">
896+ <dia:font family="sans" style="0" name="Helvetica"/>
897+ </dia:attribute>
898+ <dia:attribute name="height">
899+ <dia:real val="0.80000000000000004"/>
900+ </dia:attribute>
901+ <dia:attribute name="pos">
902+ <dia:point val="21.437,19.0036"/>
903+ </dia:attribute>
904+ <dia:attribute name="color">
905+ <dia:color val="#000000"/>
906+ </dia:attribute>
907+ <dia:attribute name="alignment">
908+ <dia:enum val="1"/>
909+ </dia:attribute>
910+ </dia:composite>
911+ </dia:attribute>
912+ <dia:attribute name="flip_horizontal">
913+ <dia:boolean val="false"/>
914+ </dia:attribute>
915+ <dia:attribute name="flip_vertical">
916+ <dia:boolean val="false"/>
917+ </dia:attribute>
918+ <dia:attribute name="subscale">
919+ <dia:real val="1"/>
920+ </dia:attribute>
921+ </dia:object>
922+ <dia:object type="Standard - Line" version="0" id="O19">
923+ <dia:attribute name="obj_pos">
924+ <dia:point val="13.5,14.2043"/>
925+ </dia:attribute>
926+ <dia:attribute name="obj_bb">
927+ <dia:rectangle val="13.4449,14.1492;17.5951,14.9279"/>
928+ </dia:attribute>
929+ <dia:attribute name="conn_endpoints">
930+ <dia:point val="13.5,14.2043"/>
931+ <dia:point val="17.484,14.6337"/>
932+ </dia:attribute>
933+ <dia:attribute name="numcp">
934+ <dia:int val="1"/>
935+ </dia:attribute>
936+ <dia:attribute name="end_arrow">
937+ <dia:enum val="22"/>
938+ </dia:attribute>
939+ <dia:attribute name="end_arrow_length">
940+ <dia:real val="0.5"/>
941+ </dia:attribute>
942+ <dia:attribute name="end_arrow_width">
943+ <dia:real val="0.5"/>
944+ </dia:attribute>
945+ <dia:connections>
946+ <dia:connection handle="0" to="O16" connection="8"/>
947+ <dia:connection handle="1" to="O14" connection="7"/>
948+ </dia:connections>
949+ </dia:object>
950+ <dia:object type="Standard - Line" version="0" id="O20">
951+ <dia:attribute name="obj_pos">
952+ <dia:point val="13.5,15.1543"/>
953+ </dia:attribute>
954+ <dia:attribute name="obj_bb">
955+ <dia:rectangle val="13.437,15.0913;17.2977,26.5157"/>
956+ </dia:attribute>
957+ <dia:attribute name="conn_endpoints">
958+ <dia:point val="13.5,15.1543"/>
959+ <dia:point val="17.1418,26.4093"/>
960+ </dia:attribute>
961+ <dia:attribute name="numcp">
962+ <dia:int val="1"/>
963+ </dia:attribute>
964+ <dia:attribute name="end_arrow">
965+ <dia:enum val="22"/>
966+ </dia:attribute>
967+ <dia:attribute name="end_arrow_length">
968+ <dia:real val="0.5"/>
969+ </dia:attribute>
970+ <dia:attribute name="end_arrow_width">
971+ <dia:real val="0.5"/>
972+ </dia:attribute>
973+ <dia:connections>
974+ <dia:connection handle="0" to="O16" connection="15"/>
975+ <dia:connection handle="1" to="O3" connection="0"/>
976+ </dia:connections>
977+ </dia:object>
978+ <dia:object type="Standard - Line" version="0" id="O21">
979+ <dia:attribute name="obj_pos">
980+ <dia:point val="21.422,15.5837"/>
981+ </dia:attribute>
982+ <dia:attribute name="obj_bb">
983+ <dia:rectangle val="21.071,15.5334;21.7946,17.9154"/>
984+ </dia:attribute>
985+ <dia:attribute name="conn_endpoints">
986+ <dia:point val="21.422,15.5837"/>
987+ <dia:point val="21.437,17.8036"/>
988+ </dia:attribute>
989+ <dia:attribute name="numcp">
990+ <dia:int val="1"/>
991+ </dia:attribute>
992+ <dia:attribute name="end_arrow">
993+ <dia:enum val="22"/>
994+ </dia:attribute>
995+ <dia:attribute name="end_arrow_length">
996+ <dia:real val="0.5"/>
997+ </dia:attribute>
998+ <dia:attribute name="end_arrow_width">
999+ <dia:real val="0.5"/>
1000+ </dia:attribute>
1001+ <dia:connections>
1002+ <dia:connection handle="0" to="O14" connection="13"/>
1003+ <dia:connection handle="1" to="O18" connection="2"/>
1004+ </dia:connections>
1005+ </dia:object>
1006+ <dia:object type="Standard - Line" version="0" id="O22">
1007+ <dia:attribute name="obj_pos">
1008+ <dia:point val="21.461,19.4533"/>
1009+ </dia:attribute>
1010+ <dia:attribute name="obj_bb">
1011+ <dia:rectangle val="21.1458,19.4022;21.8692,22.2013"/>
1012+ </dia:attribute>
1013+ <dia:attribute name="conn_endpoints">
1014+ <dia:point val="21.461,19.4533"/>
1015+ <dia:point val="21.5216,22.0895"/>
1016+ </dia:attribute>
1017+ <dia:attribute name="numcp">
1018+ <dia:int val="1"/>
1019+ </dia:attribute>
1020+ <dia:attribute name="end_arrow">
1021+ <dia:enum val="22"/>
1022+ </dia:attribute>
1023+ <dia:attribute name="end_arrow_length">
1024+ <dia:real val="0.5"/>
1025+ </dia:attribute>
1026+ <dia:attribute name="end_arrow_width">
1027+ <dia:real val="0.5"/>
1028+ </dia:attribute>
1029+ <dia:connections>
1030+ <dia:connection handle="0" to="O18" connection="16"/>
1031+ <dia:connection handle="1" to="O7" connection="2"/>
1032+ </dia:connections>
1033+ </dia:object>
1034+ <dia:object type="Flowchart - Manual Input" version="1" id="O23">
1035+ <dia:attribute name="obj_pos">
1036+ <dia:point val="6.9465,22.8184"/>
1037+ </dia:attribute>
1038+ <dia:attribute name="obj_bb">
1039+ <dia:rectangle val="6.8965,22.7619;13.6137,24.8684"/>
1040+ </dia:attribute>
1041+ <dia:attribute name="meta">
1042+ <dia:composite type="dict"/>
1043+ </dia:attribute>
1044+ <dia:attribute name="elem_corner">
1045+ <dia:point val="6.9465,22.8184"/>
1046+ </dia:attribute>
1047+ <dia:attribute name="elem_width">
1048+ <dia:real val="6.6171688018521273"/>
1049+ </dia:attribute>
1050+ <dia:attribute name="elem_height">
1051+ <dia:real val="2"/>
1052+ </dia:attribute>
1053+ <dia:attribute name="line_width">
1054+ <dia:real val="0.10000000000000001"/>
1055+ </dia:attribute>
1056+ <dia:attribute name="line_colour">
1057+ <dia:color val="#000000"/>
1058+ </dia:attribute>
1059+ <dia:attribute name="fill_colour">
1060+ <dia:color val="#ffffff"/>
1061+ </dia:attribute>
1062+ <dia:attribute name="show_background">
1063+ <dia:boolean val="true"/>
1064+ </dia:attribute>
1065+ <dia:attribute name="line_style">
1066+ <dia:enum val="0"/>
1067+ <dia:real val="1"/>
1068+ </dia:attribute>
1069+ <dia:attribute name="padding">
1070+ <dia:real val="0.10000000000000001"/>
1071+ </dia:attribute>
1072+ <dia:attribute name="text">
1073+ <dia:composite type="text">
1074+ <dia:attribute name="string">
1075+ <dia:string>#packageOverrides#</dia:string>
1076+ </dia:attribute>
1077+ <dia:attribute name="font">
1078+ <dia:font family="sans" style="0" name="Helvetica"/>
1079+ </dia:attribute>
1080+ <dia:attribute name="height">
1081+ <dia:real val="0.80000000000000004"/>
1082+ </dia:attribute>
1083+ <dia:attribute name="pos">
1084+ <dia:point val="10.2551,24.4184"/>
1085+ </dia:attribute>
1086+ <dia:attribute name="color">
1087+ <dia:color val="#000000"/>
1088+ </dia:attribute>
1089+ <dia:attribute name="alignment">
1090+ <dia:enum val="1"/>
1091+ </dia:attribute>
1092+ </dia:composite>
1093+ </dia:attribute>
1094+ <dia:attribute name="flip_horizontal">
1095+ <dia:boolean val="false"/>
1096+ </dia:attribute>
1097+ <dia:attribute name="flip_vertical">
1098+ <dia:boolean val="false"/>
1099+ </dia:attribute>
1100+ <dia:attribute name="subscale">
1101+ <dia:real val="1"/>
1102+ </dia:attribute>
1103+ </dia:object>
1104+ <dia:object type="Standard - Line" version="0" id="O24">
1105+ <dia:attribute name="obj_pos">
1106+ <dia:point val="21.4301,17.3918"/>
1107+ </dia:attribute>
1108+ <dia:attribute name="obj_bb">
1109+ <dia:rectangle val="21.3798,17.3415;21.4829,17.8048"/>
1110+ </dia:attribute>
1111+ <dia:attribute name="conn_endpoints">
1112+ <dia:point val="21.4301,17.3918"/>
1113+ <dia:point val="21.4326,17.7544"/>
1114+ </dia:attribute>
1115+ <dia:attribute name="numcp">
1116+ <dia:int val="1"/>
1117+ </dia:attribute>
1118+ <dia:connections>
1119+ <dia:connection handle="1" to="O18" connection="16"/>
1120+ </dia:connections>
1121+ </dia:object>
1122+ <dia:object type="Standard - Line" version="0" id="O25">
1123+ <dia:attribute name="obj_pos">
1124+ <dia:point val="10.2551,24.8184"/>
1125+ </dia:attribute>
1126+ <dia:attribute name="obj_bb">
1127+ <dia:rectangle val="9.92777,24.7671;10.6512,26.9271"/>
1128+ </dia:attribute>
1129+ <dia:attribute name="conn_endpoints">
1130+ <dia:point val="10.2551,24.8184"/>
1131+ <dia:point val="10.3046,26.8153"/>
1132+ </dia:attribute>
1133+ <dia:attribute name="numcp">
1134+ <dia:int val="1"/>
1135+ </dia:attribute>
1136+ <dia:attribute name="end_arrow">
1137+ <dia:enum val="22"/>
1138+ </dia:attribute>
1139+ <dia:attribute name="end_arrow_length">
1140+ <dia:real val="0.5"/>
1141+ </dia:attribute>
1142+ <dia:attribute name="end_arrow_width">
1143+ <dia:real val="0.5"/>
1144+ </dia:attribute>
1145+ <dia:connections>
1146+ <dia:connection handle="0" to="O23" connection="14"/>
1147+ <dia:connection handle="1" to="O26" connection="2"/>
1148+ </dia:connections>
1149+ </dia:object>
1150+ <dia:object type="Flowchart - Terminal" version="1" id="O26">
1151+ <dia:attribute name="obj_pos">
1152+ <dia:point val="7.42276,26.8153"/>
1153+ </dia:attribute>
1154+ <dia:attribute name="obj_bb">
1155+ <dia:rectangle val="7.37276,26.7653;13.2365,28.8653"/>
1156+ </dia:attribute>
1157+ <dia:attribute name="meta">
1158+ <dia:composite type="dict"/>
1159+ </dia:attribute>
1160+ <dia:attribute name="elem_corner">
1161+ <dia:point val="7.42276,26.8153"/>
1162+ </dia:attribute>
1163+ <dia:attribute name="elem_width">
1164+ <dia:real val="5.7637499999999999"/>
1165+ </dia:attribute>
1166+ <dia:attribute name="elem_height">
1167+ <dia:real val="2"/>
1168+ </dia:attribute>
1169+ <dia:attribute name="line_width">
1170+ <dia:real val="0.10000000000000001"/>
1171+ </dia:attribute>
1172+ <dia:attribute name="line_colour">
1173+ <dia:color val="#000000"/>
1174+ </dia:attribute>
1175+ <dia:attribute name="fill_colour">
1176+ <dia:color val="#ffffff"/>
1177+ </dia:attribute>
1178+ <dia:attribute name="show_background">
1179+ <dia:boolean val="true"/>
1180+ </dia:attribute>
1181+ <dia:attribute name="line_style">
1182+ <dia:enum val="0"/>
1183+ <dia:real val="1"/>
1184+ </dia:attribute>
1185+ <dia:attribute name="padding">
1186+ <dia:real val="0.10000000000000001"/>
1187+ </dia:attribute>
1188+ <dia:attribute name="text">
1189+ <dia:composite type="text">
1190+ <dia:attribute name="string">
1191+ <dia:string>#Installation#</dia:string>
1192+ </dia:attribute>
1193+ <dia:attribute name="font">
1194+ <dia:font family="sans" style="0" name="Helvetica"/>
1195+ </dia:attribute>
1196+ <dia:attribute name="height">
1197+ <dia:real val="0.80000000000000004"/>
1198+ </dia:attribute>
1199+ <dia:attribute name="pos">
1200+ <dia:point val="10.3046,28.0153"/>
1201+ </dia:attribute>
1202+ <dia:attribute name="color">
1203+ <dia:color val="#000000"/>
1204+ </dia:attribute>
1205+ <dia:attribute name="alignment">
1206+ <dia:enum val="1"/>
1207+ </dia:attribute>
1208+ </dia:composite>
1209+ </dia:attribute>
1210+ <dia:attribute name="flip_horizontal">
1211+ <dia:boolean val="false"/>
1212+ </dia:attribute>
1213+ <dia:attribute name="flip_vertical">
1214+ <dia:boolean val="false"/>
1215+ </dia:attribute>
1216+ <dia:attribute name="subscale">
1217+ <dia:real val="1"/>
1218+ </dia:attribute>
1219+ </dia:object>
1220+ <dia:object type="Flowchart - Terminal" version="1" id="O27">
1221+ <dia:attribute name="obj_pos">
1222+ <dia:point val="-0.624878,12.8808"/>
1223+ </dia:attribute>
1224+ <dia:attribute name="obj_bb">
1225+ <dia:rectangle val="-0.674878,12.8308;4.04887,14.9308"/>
1226+ </dia:attribute>
1227+ <dia:attribute name="meta">
1228+ <dia:composite type="dict"/>
1229+ </dia:attribute>
1230+ <dia:attribute name="elem_corner">
1231+ <dia:point val="-0.624878,12.8808"/>
1232+ </dia:attribute>
1233+ <dia:attribute name="elem_width">
1234+ <dia:real val="4.6237500000000002"/>
1235+ </dia:attribute>
1236+ <dia:attribute name="elem_height">
1237+ <dia:real val="2"/>
1238+ </dia:attribute>
1239+ <dia:attribute name="line_width">
1240+ <dia:real val="0.10000000000000001"/>
1241+ </dia:attribute>
1242+ <dia:attribute name="line_colour">
1243+ <dia:color val="#000000"/>
1244+ </dia:attribute>
1245+ <dia:attribute name="fill_colour">
1246+ <dia:color val="#ffffff"/>
1247+ </dia:attribute>
1248+ <dia:attribute name="show_background">
1249+ <dia:boolean val="true"/>
1250+ </dia:attribute>
1251+ <dia:attribute name="line_style">
1252+ <dia:enum val="0"/>
1253+ <dia:real val="1"/>
1254+ </dia:attribute>
1255+ <dia:attribute name="padding">
1256+ <dia:real val="0.10000000000000001"/>
1257+ </dia:attribute>
1258+ <dia:attribute name="text">
1259+ <dia:composite type="text">
1260+ <dia:attribute name="string">
1261+ <dia:string>#Hackage#</dia:string>
1262+ </dia:attribute>
1263+ <dia:attribute name="font">
1264+ <dia:font family="sans" style="0" name="Helvetica"/>
1265+ </dia:attribute>
1266+ <dia:attribute name="height">
1267+ <dia:real val="0.80000000000000004"/>
1268+ </dia:attribute>
1269+ <dia:attribute name="pos">
1270+ <dia:point val="1.687,14.0808"/>
1271+ </dia:attribute>
1272+ <dia:attribute name="color">
1273+ <dia:color val="#000000"/>
1274+ </dia:attribute>
1275+ <dia:attribute name="alignment">
1276+ <dia:enum val="1"/>
1277+ </dia:attribute>
1278+ </dia:composite>
1279+ </dia:attribute>
1280+ <dia:attribute name="flip_horizontal">
1281+ <dia:boolean val="false"/>
1282+ </dia:attribute>
1283+ <dia:attribute name="flip_vertical">
1284+ <dia:boolean val="false"/>
1285+ </dia:attribute>
1286+ <dia:attribute name="subscale">
1287+ <dia:real val="1"/>
1288+ </dia:attribute>
1289+ </dia:object>
1290+ <dia:object type="Standard - Line" version="0" id="O28">
1291+ <dia:attribute name="obj_pos">
1292+ <dia:point val="16.0788,27.8153"/>
1293+ </dia:attribute>
1294+ <dia:attribute name="obj_bb">
1295+ <dia:rectangle val="11.8186,24.7486;16.1486,27.8851"/>
1296+ </dia:attribute>
1297+ <dia:attribute name="conn_endpoints">
1298+ <dia:point val="16.0788,27.8153"/>
1299+ <dia:point val="11.9094,24.8184"/>
1300+ </dia:attribute>
1301+ <dia:attribute name="numcp">
1302+ <dia:int val="1"/>
1303+ </dia:attribute>
1304+ <dia:attribute name="end_arrow">
1305+ <dia:enum val="22"/>
1306+ </dia:attribute>
1307+ <dia:attribute name="end_arrow_length">
1308+ <dia:real val="0.5"/>
1309+ </dia:attribute>
1310+ <dia:attribute name="end_arrow_width">
1311+ <dia:real val="0.5"/>
1312+ </dia:attribute>
1313+ <dia:connections>
1314+ <dia:connection handle="0" to="O4" connection="7"/>
1315+ <dia:connection handle="1" to="O23" connection="15"/>
1316+ </dia:connections>
1317+ </dia:object>
1318+ <dia:object type="Standard - Arc" version="0" id="O29">
1319+ <dia:attribute name="obj_pos">
1320+ <dia:point val="17.1578,22.4895"/>
1321+ </dia:attribute>
1322+ <dia:attribute name="obj_bb">
1323+ <dia:rectangle val="11.6677,20.6742;17.2126,23.0731"/>
1324+ </dia:attribute>
1325+ <dia:attribute name="conn_endpoints">
1326+ <dia:point val="17.1578,22.4895"/>
1327+ <dia:point val="11.9094,23.0184"/>
1328+ </dia:attribute>
1329+ <dia:attribute name="curve_distance">
1330+ <dia:real val="2.0262286951573065"/>
1331+ </dia:attribute>
1332+ <dia:attribute name="line_width">
1333+ <dia:real val="0.10000000149011612"/>
1334+ </dia:attribute>
1335+ <dia:attribute name="end_arrow">
1336+ <dia:enum val="22"/>
1337+ </dia:attribute>
1338+ <dia:attribute name="end_arrow_length">
1339+ <dia:real val="0.5"/>
1340+ </dia:attribute>
1341+ <dia:attribute name="end_arrow_width">
1342+ <dia:real val="0.5"/>
1343+ </dia:attribute>
1344+ <dia:connections>
1345+ <dia:connection handle="0" to="O7" connection="0"/>
1346+ <dia:connection handle="1" to="O23" connection="3"/>
1347+ </dia:connections>
1348+ </dia:object>
1349+ <dia:object type="Standard - Text" version="1" id="O30">
1350+ <dia:attribute name="obj_pos">
1351+ <dia:point val="-0.02875,30.75"/>
1352+ </dia:attribute>
1353+ <dia:attribute name="obj_bb">
1354+ <dia:rectangle val="-0.02875,30.155;2.92875,30.9"/>
1355+ </dia:attribute>
1356+ <dia:attribute name="text">
1357+ <dia:composite type="text">
1358+ <dia:attribute name="string">
1359+ <dia:string>#Stackage#</dia:string>
1360+ </dia:attribute>
1361+ <dia:attribute name="font">
1362+ <dia:font family="sans" style="0" name="Helvetica"/>
1363+ </dia:attribute>
1364+ <dia:attribute name="height">
1365+ <dia:real val="0.80000000000000004"/>
1366+ </dia:attribute>
1367+ <dia:attribute name="pos">
1368+ <dia:point val="-0.02875,30.75"/>
1369+ </dia:attribute>
1370+ <dia:attribute name="color">
1371+ <dia:color val="#000000"/>
1372+ </dia:attribute>
1373+ <dia:attribute name="alignment">
1374+ <dia:enum val="0"/>
1375+ </dia:attribute>
1376+ </dia:composite>
1377+ </dia:attribute>
1378+ <dia:attribute name="valign">
1379+ <dia:enum val="3"/>
1380+ </dia:attribute>
1381+ </dia:object>
1382+ <dia:object type="Standard - Text" version="1" id="O31">
1383+ <dia:attribute name="obj_pos">
1384+ <dia:point val="9.6625,30.75"/>
1385+ </dia:attribute>
1386+ <dia:attribute name="obj_bb">
1387+ <dia:rectangle val="9.6625,30.155;11.12,30.9"/>
1388+ </dia:attribute>
1389+ <dia:attribute name="text">
1390+ <dia:composite type="text">
1391+ <dia:attribute name="string">
1392+ <dia:string>#User#</dia:string>
1393+ </dia:attribute>
1394+ <dia:attribute name="font">
1395+ <dia:font family="sans" style="0" name="Helvetica"/>
1396+ </dia:attribute>
1397+ <dia:attribute name="height">
1398+ <dia:real val="0.80000000000000004"/>
1399+ </dia:attribute>
1400+ <dia:attribute name="pos">
1401+ <dia:point val="9.6625,30.75"/>
1402+ </dia:attribute>
1403+ <dia:attribute name="color">
1404+ <dia:color val="#000000"/>
1405+ </dia:attribute>
1406+ <dia:attribute name="alignment">
1407+ <dia:enum val="0"/>
1408+ </dia:attribute>
1409+ </dia:composite>
1410+ </dia:attribute>
1411+ <dia:attribute name="valign">
1412+ <dia:enum val="3"/>
1413+ </dia:attribute>
1414+ </dia:object>
1415+ <dia:object type="Standard - Text" version="1" id="O32">
1416+ <dia:attribute name="obj_pos">
1417+ <dia:point val="19.905,30.75"/>
1418+ </dia:attribute>
1419+ <dia:attribute name="obj_bb">
1420+ <dia:rectangle val="19.905,30.155;22.46,30.9"/>
1421+ </dia:attribute>
1422+ <dia:attribute name="text">
1423+ <dia:composite type="text">
1424+ <dia:attribute name="string">
1425+ <dia:string>#Nixpkgs#</dia:string>
1426+ </dia:attribute>
1427+ <dia:attribute name="font">
1428+ <dia:font family="sans" style="0" name="Helvetica"/>
1429+ </dia:attribute>
1430+ <dia:attribute name="height">
1431+ <dia:real val="0.80000000000000004"/>
1432+ </dia:attribute>
1433+ <dia:attribute name="pos">
1434+ <dia:point val="19.905,30.75"/>
1435+ </dia:attribute>
1436+ <dia:attribute name="color">
1437+ <dia:color val="#000000"/>
1438+ </dia:attribute>
1439+ <dia:attribute name="alignment">
1440+ <dia:enum val="0"/>
1441+ </dia:attribute>
1442+ </dia:composite>
1443+ </dia:attribute>
1444+ <dia:attribute name="valign">
1445+ <dia:enum val="3"/>
1446+ </dia:attribute>
1447+ </dia:object>
1448+ <dia:object type="Standard - Arc" version="0" id="O33">
1449+ <dia:attribute name="obj_pos">
1450+ <dia:point val="-0.333411,19.3272"/>
1451+ </dia:attribute>
1452+ <dia:attribute name="obj_bb">
1453+ <dia:rectangle val="-2.80954,19.2707;-0.276884,26.5994"/>
1454+ </dia:attribute>
1455+ <dia:attribute name="conn_endpoints">
1456+ <dia:point val="-0.333411,19.3272"/>
1457+ <dia:point val="-1.35706,26.5429"/>
1458+ </dia:attribute>
1459+ <dia:attribute name="curve_distance">
1460+ <dia:real val="1.8888235106861362"/>
1461+ </dia:attribute>
1462+ <dia:attribute name="line_width">
1463+ <dia:real val="0.10000000149011612"/>
1464+ </dia:attribute>
1465+ <dia:attribute name="end_arrow">
1466+ <dia:enum val="22"/>
1467+ </dia:attribute>
1468+ <dia:attribute name="end_arrow_length">
1469+ <dia:real val="0.5"/>
1470+ </dia:attribute>
1471+ <dia:attribute name="end_arrow_width">
1472+ <dia:real val="0.5"/>
1473+ </dia:attribute>
1474+ <dia:connections>
1475+ <dia:connection handle="0" to="O11" connection="12"/>
1476+ <dia:connection handle="1" to="O35" connection="0"/>
1477+ </dia:connections>
1478+ </dia:object>
1479+ <dia:group>
1480+ <dia:object type="Flowchart - Parallelogram" version="0" id="O34">
1481+ <dia:attribute name="obj_pos">
1482+ <dia:point val="-1.635,26.2429"/>
1483+ </dia:attribute>
1484+ <dia:attribute name="obj_bb">
1485+ <dia:rectangle val="-1.685,26.1929;5.27412,28.2929"/>
1486+ </dia:attribute>
1487+ <dia:attribute name="elem_corner">
1488+ <dia:point val="-1.635,26.2429"/>
1489+ </dia:attribute>
1490+ <dia:attribute name="elem_width">
1491+ <dia:real val="6.8591166559453667"/>
1492+ </dia:attribute>
1493+ <dia:attribute name="elem_height">
1494+ <dia:real val="2"/>
1495+ </dia:attribute>
1496+ <dia:attribute name="show_background">
1497+ <dia:boolean val="true"/>
1498+ </dia:attribute>
1499+ <dia:attribute name="shear_angle">
1500+ <dia:real val="70"/>
1501+ </dia:attribute>
1502+ <dia:attribute name="padding">
1503+ <dia:real val="0.5"/>
1504+ </dia:attribute>
1505+ <dia:attribute name="text">
1506+ <dia:composite type="text">
1507+ <dia:attribute name="string">
1508+ <dia:string>#LTS Haskell x.y#</dia:string>
1509+ </dia:attribute>
1510+ <dia:attribute name="font">
1511+ <dia:font family="sans" style="0" name="Helvetica"/>
1512+ </dia:attribute>
1513+ <dia:attribute name="height">
1514+ <dia:real val="0.80000000000000004"/>
1515+ </dia:attribute>
1516+ <dia:attribute name="pos">
1517+ <dia:point val="1.79456,27.4379"/>
1518+ </dia:attribute>
1519+ <dia:attribute name="color">
1520+ <dia:color val="#000000"/>
1521+ </dia:attribute>
1522+ <dia:attribute name="alignment">
1523+ <dia:enum val="1"/>
1524+ </dia:attribute>
1525+ </dia:composite>
1526+ </dia:attribute>
1527+ </dia:object>
1528+ <dia:object type="Flowchart - Parallelogram" version="0" id="O35">
1529+ <dia:attribute name="obj_pos">
1530+ <dia:point val="-2.085,26.5429"/>
1531+ </dia:attribute>
1532+ <dia:attribute name="obj_bb">
1533+ <dia:rectangle val="-2.135,26.4929;4.82412,28.5929"/>
1534+ </dia:attribute>
1535+ <dia:attribute name="elem_corner">
1536+ <dia:point val="-2.085,26.5429"/>
1537+ </dia:attribute>
1538+ <dia:attribute name="elem_width">
1539+ <dia:real val="6.8591166559453667"/>
1540+ </dia:attribute>
1541+ <dia:attribute name="elem_height">
1542+ <dia:real val="2"/>
1543+ </dia:attribute>
1544+ <dia:attribute name="show_background">
1545+ <dia:boolean val="true"/>
1546+ </dia:attribute>
1547+ <dia:attribute name="shear_angle">
1548+ <dia:real val="70"/>
1549+ </dia:attribute>
1550+ <dia:attribute name="padding">
1551+ <dia:real val="0.5"/>
1552+ </dia:attribute>
1553+ <dia:attribute name="text">
1554+ <dia:composite type="text">
1555+ <dia:attribute name="string">
1556+ <dia:string>#LTS Haskell x.y#</dia:string>
1557+ </dia:attribute>
1558+ <dia:attribute name="font">
1559+ <dia:font family="sans" style="0" name="Helvetica"/>
1560+ </dia:attribute>
1561+ <dia:attribute name="height">
1562+ <dia:real val="0.80000000000000004"/>
1563+ </dia:attribute>
1564+ <dia:attribute name="pos">
1565+ <dia:point val="1.34456,27.7379"/>
1566+ </dia:attribute>
1567+ <dia:attribute name="color">
1568+ <dia:color val="#000000"/>
1569+ </dia:attribute>
1570+ <dia:attribute name="alignment">
1571+ <dia:enum val="1"/>
1572+ </dia:attribute>
1573+ </dia:composite>
1574+ </dia:attribute>
1575+ </dia:object>
1576+ <dia:object type="Flowchart - Parallelogram" version="0" id="O36">
1577+ <dia:attribute name="obj_pos">
1578+ <dia:point val="-2.55308,26.8153"/>
1579+ </dia:attribute>
1580+ <dia:attribute name="obj_bb">
1581+ <dia:rectangle val="-2.60308,26.7653;4.35604,28.8653"/>
1582+ </dia:attribute>
1583+ <dia:attribute name="elem_corner">
1584+ <dia:point val="-2.55308,26.8153"/>
1585+ </dia:attribute>
1586+ <dia:attribute name="elem_width">
1587+ <dia:real val="6.8591166559453667"/>
1588+ </dia:attribute>
1589+ <dia:attribute name="elem_height">
1590+ <dia:real val="2"/>
1591+ </dia:attribute>
1592+ <dia:attribute name="show_background">
1593+ <dia:boolean val="true"/>
1594+ </dia:attribute>
1595+ <dia:attribute name="shear_angle">
1596+ <dia:real val="70"/>
1597+ </dia:attribute>
1598+ <dia:attribute name="padding">
1599+ <dia:real val="0.5"/>
1600+ </dia:attribute>
1601+ <dia:attribute name="text">
1602+ <dia:composite type="text">
1603+ <dia:attribute name="string">
1604+ <dia:string>#LTS Haskell x.y#</dia:string>
1605+ </dia:attribute>
1606+ <dia:attribute name="font">
1607+ <dia:font family="sans" style="0" name="Helvetica"/>
1608+ </dia:attribute>
1609+ <dia:attribute name="height">
1610+ <dia:real val="0.80000000000000004"/>
1611+ </dia:attribute>
1612+ <dia:attribute name="pos">
1613+ <dia:point val="0.876478,28.0103"/>
1614+ </dia:attribute>
1615+ <dia:attribute name="color">
1616+ <dia:color val="#000000"/>
1617+ </dia:attribute>
1618+ <dia:attribute name="alignment">
1619+ <dia:enum val="1"/>
1620+ </dia:attribute>
1621+ </dia:composite>
1622+ </dia:attribute>
1623+ </dia:object>
1624+ </dia:group>
1625+ <dia:object type="Flowchart - Box" version="0" id="O37">
1626+ <dia:attribute name="obj_pos">
1627+ <dia:point val="7.665,18.915"/>
1628+ </dia:attribute>
1629+ <dia:attribute name="obj_bb">
1630+ <dia:rectangle val="7.615,18.865;12.956,20.865"/>
1631+ </dia:attribute>
1632+ <dia:attribute name="elem_corner">
1633+ <dia:point val="7.665,18.915"/>
1634+ </dia:attribute>
1635+ <dia:attribute name="elem_width">
1636+ <dia:real val="5.2410062688035248"/>
1637+ </dia:attribute>
1638+ <dia:attribute name="elem_height">
1639+ <dia:real val="1.9000000014901162"/>
1640+ </dia:attribute>
1641+ <dia:attribute name="border_width">
1642+ <dia:real val="0.10000000149011612"/>
1643+ </dia:attribute>
1644+ <dia:attribute name="border_color">
1645+ <dia:color val="#ff0000"/>
1646+ </dia:attribute>
1647+ <dia:attribute name="show_background">
1648+ <dia:boolean val="true"/>
1649+ </dia:attribute>
1650+ <dia:attribute name="padding">
1651+ <dia:real val="0.5"/>
1652+ </dia:attribute>
1653+ <dia:attribute name="text">
1654+ <dia:composite type="text">
1655+ <dia:attribute name="string">
1656+ <dia:string>#cabal2nix#</dia:string>
1657+ </dia:attribute>
1658+ <dia:attribute name="font">
1659+ <dia:font family="sans" style="0" name="Helvetica"/>
1660+ </dia:attribute>
1661+ <dia:attribute name="height">
1662+ <dia:real val="0.80000000000000004"/>
1663+ </dia:attribute>
1664+ <dia:attribute name="pos">
1665+ <dia:point val="10.2855,20.06"/>
1666+ </dia:attribute>
1667+ <dia:attribute name="color">
1668+ <dia:color val="#000000"/>
1669+ </dia:attribute>
1670+ <dia:attribute name="alignment">
1671+ <dia:enum val="1"/>
1672+ </dia:attribute>
1673+ </dia:composite>
1674+ </dia:attribute>
1675+ </dia:object>
1676+ <dia:object type="Standard - Arc" version="0" id="O38">
1677+ <dia:attribute name="obj_pos">
1678+ <dia:point val="3.77316,14.5879"/>
1679+ </dia:attribute>
1680+ <dia:attribute name="obj_bb">
1681+ <dia:rectangle val="3.70274,14.5175;9.04567,18.9854"/>
1682+ </dia:attribute>
1683+ <dia:attribute name="conn_endpoints">
1684+ <dia:point val="3.77316,14.5879"/>
1685+ <dia:point val="8.97525,18.915"/>
1686+ </dia:attribute>
1687+ <dia:attribute name="curve_distance">
1688+ <dia:real val="-0.48495657994633201"/>
1689+ </dia:attribute>
1690+ <dia:attribute name="line_width">
1691+ <dia:real val="0.10000000149011612"/>
1692+ </dia:attribute>
1693+ <dia:attribute name="end_arrow">
1694+ <dia:enum val="22"/>
1695+ </dia:attribute>
1696+ <dia:attribute name="end_arrow_length">
1697+ <dia:real val="0.5"/>
1698+ </dia:attribute>
1699+ <dia:attribute name="end_arrow_width">
1700+ <dia:real val="0.5"/>
1701+ </dia:attribute>
1702+ <dia:connections>
1703+ <dia:connection handle="0" to="O27" connection="11"/>
1704+ <dia:connection handle="1" to="O37" connection="1"/>
1705+ </dia:connections>
1706+ </dia:object>
1707+ <dia:object type="Standard - Line" version="0" id="O39">
1708+ <dia:attribute name="obj_pos">
1709+ <dia:point val="10.2855,20.815"/>
1710+ </dia:attribute>
1711+ <dia:attribute name="obj_bb">
1712+ <dia:rectangle val="9.90105,20.7644;10.6246,23.3301"/>
1713+ </dia:attribute>
1714+ <dia:attribute name="conn_endpoints">
1715+ <dia:point val="10.2855,20.815"/>
1716+ <dia:point val="10.2551,23.2184"/>
1717+ </dia:attribute>
1718+ <dia:attribute name="numcp">
1719+ <dia:int val="1"/>
1720+ </dia:attribute>
1721+ <dia:attribute name="end_arrow">
1722+ <dia:enum val="22"/>
1723+ </dia:attribute>
1724+ <dia:attribute name="end_arrow_length">
1725+ <dia:real val="0.5"/>
1726+ </dia:attribute>
1727+ <dia:attribute name="end_arrow_width">
1728+ <dia:real val="0.5"/>
1729+ </dia:attribute>
1730+ <dia:connections>
1731+ <dia:connection handle="0" to="O37" connection="13"/>
1732+ <dia:connection handle="1" to="O23" connection="2"/>
1733+ </dia:connections>
1734+ </dia:object>
1735+ <dia:object type="Standard - Arc" version="0" id="O40">
1736+ <dia:attribute name="obj_pos">
1737+ <dia:point val="3.69132,26.2429"/>
1738+ </dia:attribute>
1739+ <dia:attribute name="obj_bb">
1740+ <dia:rectangle val="3.625,15.088;8.92045,26.3092"/>
1741+ </dia:attribute>
1742+ <dia:attribute name="conn_endpoints">
1743+ <dia:point val="3.69132,26.2429"/>
1744+ <dia:point val="8.79396,15.1543"/>
1745+ </dia:attribute>
1746+ <dia:attribute name="curve_distance">
1747+ <dia:real val="0.38078805475472505"/>
1748+ </dia:attribute>
1749+ <dia:attribute name="line_width">
1750+ <dia:real val="0.10000000149011612"/>
1751+ </dia:attribute>
1752+ <dia:attribute name="end_arrow">
1753+ <dia:enum val="22"/>
1754+ </dia:attribute>
1755+ <dia:attribute name="end_arrow_length">
1756+ <dia:real val="0.5"/>
1757+ </dia:attribute>
1758+ <dia:attribute name="end_arrow_width">
1759+ <dia:real val="0.5"/>
1760+ </dia:attribute>
1761+ <dia:connections>
1762+ <dia:connection handle="0" to="O34" connection="3"/>
1763+ <dia:connection handle="1" to="O16" connection="12"/>
1764+ </dia:connections>
1765+ </dia:object>
1766+ </dia:layer>
1767+</dia:diagram>