SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ] ] $L, ]] System:threads=2elapsed=0.471cpu=0.736gc=0.000factor=1.567zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.151P3[kS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$Ry #4ޙ^ggz;x&ʥbD-ܦ ݷt^R0J2"&wOmxn(6tiQy \3On =bDgYZ7zXZִF! M]ŗXi%;}ȿ 5[XSˆ /? "l%ˊ A|s9e ȝ>X6K :ohL`*$E痮6d<lIO7y{QT\kQrZWWRW(N`>9Q$sAWϘciy%]A-MՋhvG"uIBm5ȢEQ[1n0dfd-T؄_Z=E*.4tl_Q{$X S}C",, o *.MvQ⛦ y.GaURe-JM7Ѥ5M,zy$ӁR榑њhbfGm~ &+TDCqxȬŵt-^{1PŢӳq  S߷j2(l,P+f$N"|{}Ub< ! #f&O)6`vGi[5XڗƼpG9鷹'r5X9mj MxUr?)YI> A!IS?NDt(ʪ{NJ<Gl)q.^EWvHϡ'0 r^f:[{Շ΄O`ߣBL;x9cmXwQ! JrwVBKַZXll)9Z"̮+mq>m[ #^+OmX廒R*xWWPGR3X2+v9ǣ)̴J6Kfݞ٨,Xd4 jHP §27VH#}MMS4VḭQ:n?\E^ šL[ lބ c /w8 ]tvE]qq`-d6SM~{kLs)_xe|@%gCʉwkb& Vdv*EľX oOˣoruHC!fࢣi=57\T?RX+skΐst#\`@'бR4: N#Gi]V`wSt?HOԭ@L#yRrn8Y|MM( T8?tO/BnZ.] *K@ODq-mƼh{AJtnvX0H#-ʲrɁwp E$|O3Qjy:!0HqXR7#dw$܁Bf7(ȡty$]s$l&rG\s Sӷ֞APSSۑaiupya2m-mH@d3岏tiIN@vr[8.ޮxMw9@ {=$ bYYNEco߃O!^(W)?3VBkPg|M_.ߡ5cU)^ʉ3; tzNҾJN ; ]j:yV07/E5մBRV*n{>#lיNjJA]t,Ht& 3f&f M.OUP1YcDUi7Q[cBN+;,h dEX$ Dі:\?"E ywo(n:B$LnfeKEKرqr~]R# ˊIы=>d$ѥհmP Am +J[W1YSG4IIK(<{Wy>gD(ѱߒCN`#)yVCHǥHgas,# ݅g TPݼxſ )a #Xh缳+]79"O$w&m)}6{{qtA  _sBhQ $W O.H@N> (WZvhʜ+V#߿KՒ(2NNp\ MIc2sF Ogm7@#[ڔDdJ f8V:B- A{7Xrq<*T"D!޼ '[!Z54v$z&_#ܷ<:0#"i Od>|-3hpq ȡ &ݦKgB4?lHD~\R v pˮ\v2ږobjEIƹŖx(כ;(=إw-\nҮN>X@d(mTV2!Won4$JYOHj "8 ֿ1Isa+ wAgիjhf.W0DWƐ4f   8c$%%SystemSystem.Scaladocument.tex##%SystemSystem.Basedocument.tex*1%SystemSystem.Environmentdocument.tex##%SystemSystem.Miscdocument.tex+3%SystemSystem.Presentationdocument.tex'+%SystemSystem.Sessionsdocument.tex$'% SystemSystem.Serverdocument.texW<;_yT?f6$ÑxPgOPy6إXz+.ڬ)I vRڊ9 (xjF!@@Zd׬=E ,̻*#/n=THBY\HEG3A|0.{N"UX CLo.[gdIc5\chvka)5H-\kzt 3GZTEToq?VfQ{=Cp돴ެ|,3h9'r].Fo@i):;"̥u$41.GThfg4hpkx{Y+^?GDq̀Lm$¨nGܦylsVҟL:WR~R Q,t}!PMKܰOڎ-nOJ=AyD,̯XqK؝wOܬlEJ;}N2MS~x\0d%C;d[gE8*8y2N@X=H l2K"J6>xGrEj笜R)+5Ɣ{<^8#cƛX0vojT9"n|AJC߰3+o\ w,s+SB$>d™%7q{-7&q?$_N6}gtȊe 4]ArN xj5P~D !gA q^!z >P_'L]roZ-'1vf یOMS@̪MK:F@b-GUÚ GsDJm B?WcH!Pxco1S(GtC`uNSm2Y4O\,_v 65PA<`{ZO]-KxA.Qšt@_[\vN*RtcrrQ ġ:8_Sx%!}q 9")͎Rnhѓm8_VO`ZƠ0A9ػ"ŷ<=7`?J kXmg, _nīI @)aOj Ld ^Z'D1fXe` 5J+p4Tiϝ0O?h{0E٘m,U~ 4"}w(SnU=oɩTD镸HՂ}YAbx[kiPX;: {I)'c _轰mUۛ ldCˌQ(kج1|T8DE+`D1bC 2oE 5-sǑl~J)[!p})jWVuAჟf')v _2l lYC{!f2N`Kl?.T`Z n٢6 zhKL!lE s]kũHWwXogwƥ.b$g9rk8Բy^Zd@7a+R#93?;II-Rji;Jâߦ0\ kw"n3yH#3 `\].ىCćK-fr, >#xVzj&Iڂ:;gDQCv/gulv!->)uYfSuͧHfQ'W׋}+J=Z3,oSُLXt;76H J%o9g1icO\~HR`8n!E4hR'h*?փH>_tcԗ?cUV#)7*{gWSgR=M+Jj:g&Rp+=g ˗SH@Cjw4y(9^dV|.gLO(26>x[;ݗsg P299;ς8>s=ATzVow)P&%Nt- FOx|S ndZhE LF\GY4YF aKA>$5:(}T Nj3MHP:sEif*&z,U#HXh ۷c4*(7al0ji]{\mBW޿#IEݹ$33QX29a'~O!s|yn<чL@ǀa>|z:D\'6JmIHFHk /t9'tz`j#I{՝Fۺ3f`@ 89!'<*hJSqibC7"W_kzhz-KX'7PN€JQ|fk A%y ]yn OXs'nR/ע C6xn >wV2̆U2_>v8..mf9Vxċ\9 /0b>5n[@0,v.AoUCEUN.n\$)[D-hɇ-JGYf g_pXrh/vVRJSTuMk~:P:t)isOD`OD/$pd~X5M FILZ(hqe g$D^$@d`ָqL5or@N.94,<{}tѾtı\7h'TN qav/P~̷:GQbGV!w#f$c_Q,hA""z ]ާ$obGhݗ% 4S]t> qLǡʉY] k$G~ſ )aC)u4g=p91 .^p$4dH^-7 ~ SYy"B<ΎFOq#쁙ߚ2,b v+u(]r3C% @B`>(Ԗ⸣T:O%V3;Q,~hqMPQCth;jE%Aۯ 3qoN!Xmdݰ[C{xBsg dXh=tg7=bݮECCET~B}i% :J7e.ش_``B' %һvj^ONtLe5FOO̜dVסq$OdL^ǢB9P:Cv꾭AeQج-ܪRa ,_s̄ƝD!F>(-SqTfyq=#hZ %T[󢝄}cJ9+4SFVϲ8zer|%iEgR| 5~%tz^ķ;/!:IECZl±xŔ3)[,.Oyҗ(:f/`LT6'l}>>& anjЍEoI᠋jQ'unB} _?5y٨ϔEZ }0E60C {$[a_rYBMjRErYZsKJXr37ȅWvȭ X}8\/Z ADo۞COw$KL{=d~cƉi&۱eTME}\_3iaƿ ADU~OL:e3GSdѠSm+_kE0r=Eծ5S5n4WQ "80KV{i]` BY6_A+Hٙ+tGy&:˟pju(%"3}9}|ڨZ⏜l풭5Ք¶~\ =S2s2tDZڦ1Cp(tȒ: 'Wx2ڛtM+GS4ΧJM&ae~5hKLEw=,V-+ONcz' 3UܱZuc!t;.kRryҎ(uMϨNsq.ZZ5Lhfl=*eHi+UjցccfMI"y6f&ɹ΄7M47lUnv߳Mi,͊_fKA1ze_KuDzrjv\5#GO;hΌ(_^Ifzh|3s8q.\Fi8 ԥod&}cL%a1ݕi.7Q+9I-0ߨZmKYiuX_2N>:|` *gdgZ!m )OV{ҘI㱛'WsC"Su曏2*.4=*R^Jbنr)|7mr2tim%H!:T 5b@G k"X(UFN<M&zxE9K 3V<ebѡO:B!GYvo\2돳MhWqc"YjsGz&j(Z?Siɣ;OwFBxf:R{Ϲ}S8F*(cWOѐqc)=NezTW@3]^\z#`Ԯ/8 e;2/x5z3kfŒE`Բp-C|h`ta$w nQio)%,ʫхY%7(Oۨ('檻ukB&w΂|55j 9·aeK{BM[}s-c%j٘;Pķl);(yGrTU>&˴' YI#.)sDN= ϭ#×xwp6ۛ`L*abR5z)uY&GQJ૳B<-WA8T^U)]Jq!oLB3ٲy!ƲxH<3N[ѿL4h9@;p6N|%Ys/C!<2Jo<0̱HP~*= c->Z~J\PHA,#Nho-Sdwn~Q8qhljay4d<7 Ī?tiIMnמ/6~UiX`lS}= b*0wSѽ p/2a9`MR.JV{$>9-`kVN4Śwn-ņA 5cթs/а o WZ B5uFgZxSEF3/Gf~p6++-VC\?x  }X8&LL_uAQ(C[vUlh^ϵ!cy(P"{w.,l<3LisjfhMe iQ|eWW+WoL}saGQѿ2Ei<^xK;s@(޻||,/OO<>_-z(:;] 6?v^:@ C.B+0i61+V{@&a Y<%P_eė0i֌ϥ KziQ\QUl 29c\h! ht, Llx/%D(*vU3u8I#)I?DI3*p۪&M?7/e~WZG%` ^Gɍy|>Z,&*Ypn![y1HN'nY>+'ꩭ*BFZ*ѹ$.agJLK:QnS穻O0wk[~ܳ"DFEJarsLM݌q0@^ˬaϗO 9F,X&8yؗzZ֊k;xn9CjCQP6JpAt֑̅޺-iWA5<:4,'awRu=>=9&⫑h<Ȱan(I=$\hT?1kbS16晉C%[2>(_`a7!.h8>02.btOt~TP_E,J<'-H3tK8e8@5 RUb"dYZm(Ј7$;Ҟ)зo)ѓ0#Z)hQխcxsڠy ܇lʺU< Z& ȔlRrZX9537FzfZ%z0aKQY{/p&q;fjl VeT!|w)!{ ha[AIXA(O8rbW'- w%~PW/&B?6_@W(cuއ+n* W9bo1Y.p:jμѴ;bFIWt q@ 13>i<@ S"=Mɾ wklƉ (J<՗ ~ AW|HGn9ಳ;cKPf"3*k#+?\]K^QΤxיx4"||T" 0%WXb4vk'\3AP{&-0]A?cc0Rz΋ A72_^[F ˒3wP4z: lk~J\BEzN!dC+'tp#'.RDh]x2z&jS眒*ߙL/H<6]w]O(<AXrQe)!eab>bpd94̀Occ 1\Qf 0VNxUO[2Dk~ž4ِ:mCy}(Hp>]YG LBMI@?tbQ"Cp\$4Wak-qti 7l,w# 6`[1N#5CXbu]CL[[y 5@2zB#O3%eKi@upymj ʃBX!Kw0uSkvl(4esHwPNXkq7 ` CHe 0Zg7F"4$5&e>"I82E1w=;҃,z(fYNxfq5w'#_2şBUR2\IwS,2[RU ):/e:"x)~zE+{0[F5c>SiY3_?w0bn-r5suvf.Gx[gj s.7BYLZ "trA;=FNc@up4)g f0k\[Et+L*;Wj_r.pQP'2D~kFܛkƶ) T?bDҶ$QWđ?:mYQy˜!KN7 QgCS|h^$bnPc6'Rj%r;eX]Ir,H"0tp 0`Va3#$x[+}_,NEPa[#LNwNf YM7uW6[! J|;™,XY "9of5RC70V>ǩt`,7tPST/8i& YIWK;=)nR~@|~ KK57Ě}-W=8ϫG0`}e[9M-g&4d*}"hlRťt((SO h[w*_Ys:9ALa)Ѷ8ώsx[$b/PDd_>vJ5A8HYyFl*CH)?{;Ai:xl衣4OL\B>,|TW DtGE\D5YRbj Bl@ )6Fuo$n5\W_!Ɯ@:s{|G}p.>VokV9=C>`A %g]DͳU6[}sf)mF5*)ay|GBAGyzv,wjV, s7tia4{!V6@I,5gsA@? ꚺ1z̗կ3YkJ[ XpUd(TzS- :ٻC\ՒҴ^uBvKo8 ,DgYn%nW8(/2 \a[}#q߱gYZ !0`)I+S+)QL'8/^s/˝ 6Oo6QG9slVPI<F 9Eo_1I tսxwi"Xr/(rGN $n-̪f8`VtPz,;VۈPr35 cKifÁd@.a7ǞDЗ Рsbo|76IWۚǾ1yu;ưa,CX &5hPT߾6D>Vʣ9A`#Ȏ`(" 3!Ir ]j<[mSF&2I bݣQĶף}TOGW{6qɥзZ(u[(y?M5*T S\ݯQxm|Ζi,zǀ(Qetf[Qd_>:y{3r۪8&nIj(7ؖ;25Xum h[z2l?rLhǬ1pVKc JJ [Cwr1Amo4+]]U gŅV2ڂ tNYq2̓M|TKL70/y׵$2l uyBrpҫgocm*7Ӷ5'}#5T5ĸh߲()VFA$o9ocBF3Ku%;_VS^]W&aXV; 4`XSW\=yXn.Tz'iyx(,{?+#|oo5=X^Y Dkf񺶹|Sf)ĶJu' * GsrJuLݺ`?htl˞Kw, .!H;f.S+N[\1)u_`b?g^)b6Jd0Bs1Ls9Ds?k^ƈ!y2jawMd\Ce3'pnCA+AO,tƵ 3ojU@ M g^(ѱ7> 1O8ymi=5{6#^$F gݴt+T"Qn^NIPx!x:]bZfXOcGQiy)Zzuz*4ah·n '}ۊ- IIқ6s[[pEFvbq2$(^oJLɡ»1",Z{/»`>XJ}yVax`ŔņDgV<*Ţh3+JϣJH:V{i|SG9> ΟQnc!4zp- %F5 jC5(Ի"=ʩ ;P_(/>ϯqgoV){dZrŐ&C&?L\c6EbH%<_ BYR|t җ@FCu[Tuu4b@\naѨ W :b%B,l4;6 ]?C?wϥ+GrM`{m(d! +k~HhAjT&$DYVEH:@'" Zt:Cj#)р~B^!I͞"I?v kt\?>&etxdH~Iϝ 4(/ \62b,5 .h GV^Y1ɇk{mg-犝$u__M}P~Uo߬o=6G ^7-[$P!sjlZT\x "QD8j5)Q|w@9M[$tpNr0mEh\0Ԓn%Ip6w_}Is *g$p[6b46a=/wm <"Bե 4XG* `9Y ¿ȝ IC,?ݝc?P k(,R:=cVOZt/#;Qv*P'iDkBDBMg z' deyĘmJ>DM. 5|\-d53\L-};f(j>-X$&AEu"<4]XP 4pOC !daqubExhg>7Tвȡe6o&e+-ۀE#wS+=iU/34MŌ}cSIdGc'FB8 Ksj|#w2ƀT0o{CJ/#-2O`:g$*>aU9N;8{&Q.n"a5wpV)-$~NYx Ha#l(>~2jowhůs tIѳ{ ]juv=غi>1aNS_uΚQzj ;$ع'a|:a8.1r P=-f"+y#X& c6$nU Ϻ"^<+nzSjVr"|ۡ]cxr!--5p  ei-0Qd=):G [XMgN>~;\5NS;l XbV&ִgƯ[UHP8ӡCgIcDN"OZA:ŶBGlG[[DN~W#skFᅾ|qF?Fm @u~gN~L}q!(Ԧ;%lgKJ;9[W׮ku5K9d KE 0O 5B]dZ#mLmN1 Q$k۫ܝW#yJʞ˓)JDAV;WiIL/8oˆ"O{{`Q5@нtf-F2k~nlc0})!F7 vꉋ ::IkwG s'Hi+J[>nq/ȷ4~B.C08"Wl+4GHӔn=^<"sT Аxb¶G>qMA'EGbJsiS!gt[mj%0;r=*B4mYj5,Q Z䣎}bzhFj'FY Q=i:uO^+lꠂ y| n\CpUꮴkxqwlI{0:v9s $s]!>Ɛ)gCQKtf麛He84bΐ3IvSfb7ɟ?&֖5En81*$7J\:Ey7~?gڞd{XV`\PW.r <|!dtFYNG@j|o7a\_Lwcɝ (oYY1H݊ yVqWhS1iA>͈cpA V9vu%k;l}L vlӅJJhPXޛ'@0ciA o : d&U)G6i谺vQ.O8:aQe%4vԔ `!ʴ=9W4<_1Q4m튛^8Aⶥ ğk5|,"jp~L%dSQ%G}.Cy`K3;,PN qyIC\퓊56t5 4CvlnWR&R})kxyVשT11XI6ʙōt.vH?0lJj[kߛ07Bz!%s$XGm#>0ZMcp-LI"]Yaz-dpJm{!IvntI]Yvl.Xr)SaZz[cN8ly:Rb 2Uy|@2ޒB`\#VP)"I. }FJF[MaZL)@xM[b*ըCA+>cQW/y2Y!<;FF2ʃvV0]DչσQS(;\ٿt$P Y!͊XWj92˱2Qr?z(wo9{+-{+ KlV <7dm`ԋ<6[9ϑ<>]&tF=$dzOS =cȷɉɆ:H.RJi;ې=2R-nFwgB{T@POq;%&H蠂O<"#ƜOsA L+*#TJQg:Q.jv\O"8`|Cc@$J MR!ZͥXT ]i=`Iǯ^CR1lzr)P13 zqcDW @︞6wRb'YOvpC*Ev;KFNK9;nQW6( + p WV O\&rw!1ڴ~`ƌݮVQƑap~7l mڲ#4Q?2x[ۈ_ng~6 %¥5*8,iTԜs^9nز̓1Y,r}?̾pk|.(D=xH+hMtei_:2μL8w^6_Dt[>A'!Hl;C?>9f@RD5vxHG-q&?Gڿ G'zZѤs$P4(׹贞4eMH\Lj #;/0(j{ls 2+Q?w;Z +l+'#w!ff4^2׏=bT߬_FͽIhA4COz͠x8T#ʯ^Y[H ogj3QM1R\̥'4鋅5#kKXdx,T([t -my-n,^::/^Z/w3Nw'+ >@z}g L8i(Xpn> G ZXL-'gb riC Ms3f0)LyEyToٔ?zVf?Q؊iY1 U$.樷aέI^kOWzUm&U[hE{̤ 5Yc/kgRO¹9n Ync^ԅx/V?MscpkB?.qKVu27 ==\90?@f?/V_ |e@{GS(yzKBFyVY;)C7y]LjxQ")}$͛;\x n3Uw:"9. Jy;x&D&M9mC$8)ɭSí/W"0([K:</fnhΫ}E䊟6YI׾;uSlVbN?팱@®WLF/X.&h ⯼ZDW -; P2vtLo$#㝧Sw`5 Ϲ#B˿mnBwK[WJ|{b~/oF{qj|NZ[n~gl3F?{|mҬҀd9sZlp/:NySĀ,5峎3ҭ˳1k'f*֌04HV~T!E =A OQ$EAKo55Mah; sOcP§ uhE,^ ~ [Qo.  m0)1GXWLSQpȬ F8t( D6ԼkdadI_ _5((&s $Ϭ^ of.q:d,q `1ر ?y.lFo0ؗ <7 "vRu+x;u G'{F1lj%}5`jeʶ{ ;:$H6MuJV1v]A-MՋhvG"uIBm5ȢEQ[1n0dfd-T؄_Z=E*.4tl_Q{$X S}C",, o *.MvQ⛦ y.GaURe-JM7Ѥ5M,zy$ӁR榑њhbfGm~ &+TDCqxȬŵt-^{1PŢӳq  S߷j2(l,P+f$N"|{}Ub< ! #f&O)6`vGi[5XڗƼpG9鷹'r5X9mj MxUr?)YI> A!IS?NDt(ʪ{NJ<Gl)q.^EWvHϡ'0 r^f:[{Շ΄O`ߣBL;x9cmXwQ! JrwVBKַZXll)9Z"̮+mq>m[ #^+OmX廒R*xWWPGR3X2+v9ǣ)̴J6Kfݞ٨,Xd4 jHP §27VH#}MMS4VḭQ:n?\E^ šL[ lބ c /w8 ]tvE]qq`-d6SM~{kLs)_xe|@%gCʉwkb& Vdv*EľX oOˣoruHC!fࢣi=57\T?RX+skΐst#\`@'бR4: N#Gi]V`wSt?HOԭ@L#yRrn8Y|MM( T8?tO/BnZ.] *K@ODq-mƼh{AJtnvX0H#-ʲrɁwp E$|O3Qjy:!0HqXR7#dw$܁Bf7(ȡty$]s$l&rG\s Sӷ֞APSSۑaiupya2m-mH@d3岏tiIN@vr[8.ޮxMw9@ {=$ bYYNEco߃O!^(W)?3VBkPg|M_.ߡ5cU)^ʉ3; tzNҾJN ; ]j:yV07/E5մBRV*n{>#lיNjJA]t,Ht& 3f&f M.OUP1YcDUi7Q[cBN+;,h dEX$ Dі:\?"E ywo(n:B$LnfeKEKرqr~]R# ˊIы=>d$ѥհmP Am +J[W1YSG4IIK(<{Wy>gD(ѱߒCN`#)yVCHǥHgas,# ݅g TPݼxſ )a #Xh缳+]79"O$w&m)}6{{qtA  _sBhQ $W O.H@N> (WZvhʜ+V#߿KՒ(2NNp\ MIc2sF Ogm7@#[ڔDdJ f8V:B- A{7Xrq<*T"D!޼ '[!Z54v$z&_#ܷ<:0#"i Od>|-3hpq ȡ &ݦKgB4?lHD~\R v pˮ\v2ږobjEIƹŖx(כ;(=إw-\nҮN>X@d(mTV2!Won4$JYOHj "8 ֿ1Isa+ wAgիjhf.W0DWƐ4fuQ$0d Y+% lSystemSystem.Sessionsdocument.tex7zXZִF! f,]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS0#.O{Q % 簃 >yOCo"Q bG s3RxN|wtE֧ XY|E&c "G=4`Qq1Y8C g3?Xjh1"Y245\f_ґ5v6huXE'j/C=PCZ/BC3nHuYYQ/KvIV0V?؊dͳ;${3QS"23DAQ+3 @sƬ_xwu0Thb^P{eӽn2db<z7jM م?Sycn`G XE3Eu}ܜvi3%,~CEMʒFg> \14m@g pe-v3/,1u!֭>eE32|!ba@^Gf^t)Q35!lmkY7=,`~e{4!+C%.&RJa@)VtDy8| @y VF ܾvƖ@YRljL6gQ<ԤLo֎2&-o(~릐mOH=fm-v"1/?!B~\{]`׿Wx+n[X4ȜɅYmh&@$e(]'Czy"|Z@t%| < mҺ?o|PFMNlUk9Sy' ӟjdY)483Gw(6`<̃>~GN=l2ҸAQyDkyUۆsJpVǦ;jjrB8x(b泇6K,@&xFD9K}hBd:YDNDžƚxQ=f4~eC`|pϹn &ׁfl%ɜ&KCvp`%=. (UJ 4D[dF&SF~!Kӡ?؞\K|2ٽ[hR3\KX[ R]{70T!H'TW< Ich23~]E 3ec_\FBA˄QPo{.95㹫",e6 0ic wq20c@XJP*@, L&:UĂ!MMp1pP{H}w`Z/h)9HYoFԫt4}nfA+>fX#x^?1=Un\bRj^l|%LE!Kp|0,WpI'z{eoĿ۲\Kra7u҇:uHK7Ox%#;R>Y6׿-Axx0f=)e}6l/{XiK&>> c"a|aũ/Ab';xbFSO|Tڅ.'Z~7mz([AHCypSn4l}#FS0X=-~ {O)XV@@1>F@v[(aT9Z'*Ud"n4M̵KDަ}"G~jKP0S/Ō4~WrgPE?pv?:)+b}o-]L$蟷/\{hhD5TORM]ׂ\͏WM5moE'sۗcU&D TE$e{4< QEcHL~{`Aͩ&rp15F+w^:AɪwPEE2`';=S%W;h`˹;Q[L -G8z^<<b~; (n nDCl!:q$n!mۛەkm!NP1*/珶``LX-[.~ߦx@[yޓuNopRQWk)BbyѤg*Zx*q cLfSB)Fp43⼃q}1bhyKgL/mVlK| '[,[QY]NWMhYOe %Ʋ@KI\Tߴ @Gtgo "Zw爵$H4t3}օR$ܠԾ.5r^aHZ^t &;"@PDD,|Y:ZnM?J WZ\5!a(( jC*3bN0HCY"R?F眙f;)6iЯ&C{O΍Im=_hՈ3 qv@@=@@&PfV eNKde>Lg+!TgI} "2hw?rU4'Hq!97~s#/Z_%~dHHvT}FPiL.$+f 1"Ԋ̊)fRIfͩI'i `.[N?}y; Xgbq>+?&2x{"k íɥWm&W@WAI  k*3 #4; ˑً_$͔1UV q-w5VޚِN!֤ YR)E}egB`| d~|p'h:4Vm҉F|׃S˫jLt2h,1 z$Aym%ywHgtoDĭΤdKCtudB/b_eSZzcl=߲@uõyLzhPfx.]fc!<]dJ:r]x|J뛅.:M?U V[V2*uE𝵓5 ˄\e8  8)mE9 9L_ms D%աXD$S0GҠnu5 Muk>eE:6y)) C*(l| Yu&Y29U-Bwk 4u L8\Na.Ȥtd/+>H&CKy}dfxeC_ydZ\v-&q4}oo`+'Rrk@?虊hdJV,qޛn?M[|S_J6ۣr4Z;3 )2@M‰{Bk) +NfO v%h@5{]y3K%|aV<%զl;\9QER#}D5R$`-O!Th\$2-YEsWvoxe,&;p]{!_|/৷oU\rFO6c29l!䍼֣m5LyXz#1{Q P T*njeR]^Ԯt+*KB{Tx@PHwI8*:QQЛPzp2 7;\շJ+޳-&7s- +^Be}D 쌎ьjB1F^-(D]om2"hUv6lVe 05OhYW|.KXKK# q~ϳ@Z_{3An! }n1VK%W^d瀷BTkAwKY45'C/ >O x\| fYEȐ^uZ%PN4>ۼ!6"&hXiȪAŮt߬dX݌;Vum;&5*/ ~© tE8Hom$74u0f'{Cֹ M&kj1˂ϥzOwY?N',Ц(ƱgYZ  E E03% SystemSystem.Presentationdocument.tex7zXZִF! SOC]A-MՋhvG"uIBm5LK(o *%%+^w1&e l 3<7e. 8,?ޢRО-H]bg ro^5po?NeV(2rwe>uotJc>CBDÅsXRL[=W"5ΐɼ. c/DIDs,W"|)F.ulĦ5s9}لEmOSDNʇҮAZV^,L2QZZHhwY'|#nl>5V3gԲ~<* ́a-/LI@} *899Y1.5Kh V,$-(swbuRV>>TPViѲL8(#[$iGbƋ;@ctݫ#EH4osP& d]5fϸQGz ~DP4=`%W2Ԉwd}K*hrd3)C]KkY Q㓱Y/jZ"CpNX6Ry d?yqT}x0&8AΖݢCO:dؼTn 3j_ё*_̉ Rd$VA͜ܮ^,dٞ6b~K 5mZ 4? d*TelT2l~wS߄v8М5^b|.-T~_H~` ?^>06U|^.[=wt={\֞X%j& g2ia2Ob:}3,gi(F6\Cr-[FzE@?5|I_HK}N^j^{7:NU^ Ƹc;`h@hK('Df׬lEvhgW٤ʅD}R/8S䒷{Olm= _;C/zsT0)(1./Wc/ŝ6JJj,Gp#lb\ifBtoHQ^ =d؅]h&e|QCVKdWH盼]ЍhR@I?2x`&I8mmY#w{ٝFr@d*Q3)MLo>9%vmOđ >eRVRq5fDɛzq /~Mp-s+okd QMDnt H,NIjZ5Μj y1y-Mϕ %TyuVpA>΁Wm!$aw^q}&{KDy(Pi=.Jjdؑ o*HӷbMHf~ݒDXZ󒢮^ [Ȝrcaݿ$PE0^H?A2mȯ).*Q+$x+>^it;4l;nR:|ay=T' _H9e@my?EhxCRT֟nwGw$&cK:wS 'Sj)y{u~~\e T!킴u[X@5NŧߒeѮ%Kb蒏vi,+x'dA ˠMg7] \8ciZX]0wϬ9?Q ɕ@01RKCjfi.jF3kxtyE=p闖1B<3bû\o‘?b]+t8JIiyCVZD́A۵65!ČTد{d>\p؎,P3K̢i`S{_>C |"N &x܍VfйF;r"4{TW4e`}vF W|96X) ~kMYJ%ǟ,(E5`J%tȱ_FtyDKBR*T"$V,4@2~]J}MROW I.2`Qz*m`h.ة@ me[ A{^N1cssR~9Cnuۑ!k<τ +1!-Hen s^wʊs0o)<*;,dh xh<k߭Yp9 ځΟ@b I-@ SlmmwfEw^7*=>0 a%#_հL7KNY8E@&BnhN?J5.Πq3]WLG>pnR Lu9:W۔B/\jvIwZU.UB 4UQb˃35=+Pf5|0gOt2(~Hn5lWMzcک}U?Ԏ$)GL;:* 8F7h2"!m4$W0qɩTȑeBwFi6EdYjm~D 龭?W|ߜ(FUIkJ[ݔ,R0Iݷ`|EY_2 ]=]o貤Ȳ: ܷE[IAjr;@=>qhɪ^GX )xJ&5}9 VDG+X9$.6vXC>[_nFdϒPbKo{ȥx8` [ c!º/A1@Qj5z׼_xc% 7ؿx7q(f:ITRVѺ.3%u%It v,I%T˘Íz:0z#m|Y8:AxzsgD銈$-0ԡhEĢ= R60Dmj,|3KUqMo:3|o\*x[>jQ)yL (4ej7r,T7h[uĢ 0V][t9?m9q/߷MSwRT[3;{(w(,6P_eE8Aa\7+'a߼wd+W^>בu6GھH[u>h:hڞ- 85c\,iBH7%m'RdT" :CU#S-Gft{ʘp+"wI3,x})L1q-7c;h5tfvAe"r+8(s|f#Ј#%o.AE*90pQRf,~/-CA(,7޿%`,:; m>]>E'O,h1lrc z:Clӈ3os@kE1s>E^)Ŵ(V )?ֳ=SW;vz9ۛ;6٦hhڧ][2LPq,_MiZH'#R^oQ1mXes/Mܺw 6>@"5 R~tHviFZ[ < [% /ZD)vȟ_?8kG#r~TL ihu{mѽE͐$ lؠ뷏8^zzjJS_6>TLcqO$J.8XYYŠaL |>Nt.'ӟ_*wV­4Z2MN.~ر 8$J†(}8LʅE{ oK߯>CTBpyuއ{Ȫ,;zr!ڇXɩ< r_Bl/Q/xe@lj]4?n,&&4kWiIk4!!Gbay*8mP©v"u"x }7 q.4-'pY aٜg3S?k N^gXQ8]aVA6RT=\yYՊ?q34A懩fAcW0e p%*^k^}TҐs=M{#7Y?Mzĭ|>{ 61zx|&% m 8K:4X0HiȈzvBnӱgYZEiU*$рNZ#Hoa M1ffZm11VhTO4V60I%D!lLw_Ifw48@,ۊL336WI ~JMXb: ?G:afX\Q~Ph=œ?~}SwIR]GM#Ӯhd6UEjGK`M7Ff*'Z>1EO>C] ͉VԽ}NQ,{=r)|_h4JN|=Qُ =T9-}2T8I,`ACʒЏ ̓d^ jS BoA]y8mj<w o(JM(+;&*EWa ? ]%`=D +T3aӵ/\]S}cc.!r).g٫Wtҹ73=Y9o{7h!iSR &0]H(Q>t/eN7~} U $Ss"T% k;{&pG\RnFwdܖ6 34i2)Sti6nHjv۹DcC_6,OR_RZ!L =}(bPT=z4s{Vy1g w:y~&Z98vlRF=K[$)ʯߜ^^.'U ! Rf1h>DD,].[#Ez;?3">Ձ8 ڹGn\, r_Zh9 9RPkzTM2O`Mwv)9Ėw+f B cIDY@(idN4(6KvO9632ͷR)=8V~5ةN pҰ~~V&cogFKe%OFÆ~4k!}/*A"®D&$w3q)OX/*QI`+x>)MDg*[\W^HƋ^X>"WE)ˬ>l{@}[E_W驓:~0%u0vg˖gjydԔʏNǮ!e?=sr`'eM5 c/W7^M?ozrl._]ah<13L']+D{:c6د?YsFŚRC>oPNVHm^w4ecD'*smƺt[6"mbjisdRݬSY⥣}T]-xeka&)D&DloWXfGgڑD& P077Ɓ ãlqQ孨qCP+kckc_)WuKVI 1[ Wf6BDkz eяmW9ܧPjGT4GCNrQQN1g =MO+e!m3 TH ^#?-Ml/l#ٜIZQp\[J Խ&; RX6dh?̶tm1@Q&bwA(Zn{P=ؚ >|g&ͪxK؅qx(cCiDp^204(w:lM譸g3+i%p 1K"Q$_4C{,Ů)׈1[x˦qfCޜb[J˧W U7sb&R.6Pnfb7M6d,BH SDAr n`(Zi gI"ɽFlY\]0L?Y5&s󎍖u;( !VD55GamK۲l$}PJ䵾NdS䋖bO ɟHT7B達4(*/FAji ^-QB& Xɲ*O?RvtAݐz)b{qxi5zr FrAW/LʛȲJEO nqVK,Ћ;0/qW"/P<]M2G %.*o), io@~\ yKK$Zcz٪flB+!yk0 gh(fh|D[!B.p}ar8BdpPb GG1`@zZkz` HNɝ GN Xg ϛw+`nZx"R,/Q\߀yrXn w4B ֦r" g|(,1qЍ?#^g9BmG@r-aٜ慤f W`э#PuE#`oó׏ȡt(64lETXU4Bl̘ 7;D{ealiwNxY_.sQ첚) Gp{KWf*mAgxr/6@آ[I͵). uXtcG݊!T%#:~ƀ; saiԳ {{`xqjNŧg޿R;!fM3uIs6)q0qs뉫߀>^%]ΣEN  gHW0Fb !&;p0ro+竖OԤ?@ nӮ90H>Ѯ6xj&$~ok-ķ,Odqal(u6-{.@KB㴿_<މ`/DJܨDa*KZeP{m*Oemd$pS E^svd';!9Mb@;ۚvd "ؘYZ+uI}RdJV R XGgqRRlw|#B36<OHF4g.{&quy]y?or % 1 ˆIb;fK Mn%n|g~6ͬ~juxoGm\0ĥޭ).T?|r 홾i+@O(kޙ F>1|`!J&a8IA7i!a*+խ,!ܿN' $Z0ٓ6O3u[/j5-$vqmra odҦQp;wf_t4{~a_uWNJj榵8_6.T0/AM(6.zuP7 OZ.̯>_E!?DmJ"2hHIJP2E$ /%i^/jotW|a!>XL^M}Cz(B=w[m w(LģRoB6|Lf=(' tڜiM~/&"Vu@w;R&„ٻOQ@uNSk7ˎ`Ws$\<| z^gk׳A)rY vabr??%Zp >@'͏vvSaL-H{yvVkfȄ)SX r&d=-LY"fn+4Zve- *T vG A24-7+8%jgkx, ﺦ~1QPB RK3w۝/cꃙˆqUw_GvfxQj }AOz ?TP?m_ KIʗT&C3T R~.}ay_`[E9Uʧ=j?d 7.DDӗ--kAMZi᦬YM4xN";:ޞp7w0i)6r{Rl8HXygR̊m1~9PjYxUUT;:76iV{&:P٥oYqƈkx\RC,8sl@㵬>Iv XYB~2C.@I"W;P d͂| R!T|'1a~q6Ip refܭwJzfjslij Iv!E^a=V8 S.EйM䡑,\" =wM01mò,UW3lr>Ž> 喧VS.w2u!vkg:ٯTVZmި$wX|t`6Nh*0\sӼ;W`it^icTT2PS0GF^"H :tv 5MT dE*]#cwj=.I-[rΌ})Vu,5ąa/xEkou,\ pAНq7Dh<3LNpNWHꕷqE>Z5ң`scEП"DHwv<7|өS5e}?U )}T.2\kedc-y}E H^\8?,9$1hOO'~yUH(Q;YoJ,$r"uEk39Q|%<\x!X9{IľijwYUS󒶧b)[R3+)1E8]PG& zat].ht tghe&|YV8{\Ibt_FƺK! Qb]iIfWŠi(D7ȞoŧbT3V)IcGqu8D0-  ou޸_Jq4hPg`Cid X(dpZwrGicsIzʶ=>ٻ &#l Z"kb";{^῎s'61s8:wgm <2¦W7ï'O=ca:EUB+U|gW>r޷uAG]ZLjY@.h  kx163'{y}Y6 t ӑ9NX˟ςRH:Iy*N/*aG x?2 l ߥ2K,$V^`Y5 V!+F-MX L(:RC)̂)vt#ըK aKrڄSS$oT-@b\uQ523 ʾfV9Yj|,?p'Uz]'A. W񗍳X 4V |2{r:YiVrki)}F4f"zJ}_Kqzq '>X <g*! J<$3ҧTuvo\FO싦ügy3IY[awDҞ+_g@w6 utcRLAQ ڧ )+Md1z" oDEǰV\m~`kP{+ G3 _F|NF͈@M!M️>+-sL F Fv֍"C*8$)#usTY-Ҫ³O Ue2Zt~߯ŬBӍOlCV<7,aw>ɺ\i yzT>tݩj͙ ?"^nJ+ˋm؝w'auu?Mhu:o\CJ,~lg/.&M}E^8"hUrx<J b蘀ZKsǢ#) ^WoF^hw/ϗlbR %voސ@jZDie1w^™Nhghzu;.Hg7{BEC^_F 6m P\.df+T΁24*XDLCJX@t(>Bm-7  FV*b%$Zd9勷jϊiԧbLU-̋Ɓ20h&tb}]N}ow ۍJ1APXyz,u,XXS ꉎ4ΐ:ѭP܂[{CUr >?އENJrx^K.".\I(RÉMj _YVID3|BH+0(CtD:Hefjx'@ŷDQPNBRut~E%GJZZfz 7'qvǴOyf"Y~rƈ qnX.N0I]P gZ|SxzpF|`tݠZgFn0AvMBb(zd~w'UQc,W#qhG@~9jCibZ:ohXW<oTbcS(Ec_3hj/lV ϝ>v-ǐan9HYqET(5 -)nܷ* kDOU,Yxq\ Ýq_1Ѩ 7}#HpJówfuض/E\ܹ83};TRn!6ѱ$kGZ $0V(6p/S#jJȩۻLz)ZJx~87f*[(+r V% Y?YޡQɒP";@("bX~}~^oH=6JlgYZ * *!%% SystemSystem.Scaladocument.tex7zXZִF! 9]A-MՋhvG"uIBm5ȡ!$r=a\c.ىFv`ɄfܯjbDVpEԫ%*l(;}@ ,LKΈr3P}sӪ bR3>0pgqͰ8ιxD+w%QXG9a"vC:Na\6q \끷Ϣ;*dWڲ,z2{ t3oO;,X]i64׍{iڢC&uAeZJHd^SLrfZOSl4O"| [Ÿ<6ku# WW@# q;5D  *G7ƽP+骜醆"eGRVILԩz#b㩾F35B?Հ$]ų xb0lЀݿ'. Fy\spP:MPy0Å'vH- nVk@iYK_!?w:=*t6 EC F֔?@OX̀ɦ] :J3#3 xjBe':y%o{YѠ ;L1&}hrΧĬ;.д5)ri(y_;C1@?bQFDeR7{(K'z>9PKd^${NanJ|‹PeJp:׹-F稉&]1mL+kAâǗ}3QB3!]22 Bff$zՍGTuK]Kd]`29yҀ% bس8X?i> KH~wfy/.pRyn:41)Pc˥cTx zBC^>p H# jb !dȥaZܳ5,?;ڒ@[hբ){-)!e(Fdw4ZTC#w^XѢ<?Gj'_o(y3&cH&lm 5)4MsBGbޗԶ?r+E7Urs(7_SnH[A׵]@ IQlһ:th`ڍ|j'ȷ~uD@} ~kUF t'0hupaQXe?=%ZܠmTs NoG%̡U|)zD}Dqw,6Ps *#'{?i\iW"Q,?/ҩ;Kud׆fCne}.?pyWی²*]b)bZo%vFr7Kfeȫ,fKHX&=SS KC5\Cc᭪6SXB,Pl.h[wkhAԓ6q$؃Y9_A"IBqYo*>Y"|_ H3$/CV])bQqSdEGz{ Ml8D񔘩MnH6:'?jN ˉ)3 j1l|%. gEi̥N4xOIa;$\k>eUnd@ M:0٦Nnw~ǑoѯeYάP~zms>Ƀ^mx⇂HųgҤZdkCϷ'P o=-}@`7@\=XJ +v7[WH"&%]1H!=imG$#ccbrբS焵 R'|S{2|5J%D5Tҵ/'`NŘʩKСA=Rf 65N9Pђ߈ڹ0% upv#3}y!qxF?3j+U}s0'vgWKϼ| `GQ~im~jj2N ,)y6M!]Zjg6gIUhh6<Հ `#2WSˋV-*tRDFS78.?O$:.Ys6ze1(AN<  ]K;w.E# t &3i׎q~߁C^K"R|Q!X2l Jdzt X4~c_nUcȪ eo@/+.g Q:YЏJ;ئ4k?>U!;`!Ep$ *LqfF'UȬ*%1FH>:iȝ*{íwqM O SFAwBd-Gd lzj}x$Qê񈡳D"ޢFt>|S҂y?έ/&0H@Jz_[-`6̊g,txkmw&| ݟTw