SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 fr4, ]/ MiniML:threads=4elapsed=8.273cpu=18.196gc=0.5647zXZִF! ;]ŗXiɟ7KIxjbk- '@磝9qSou얃~4 g d8/&Sk%~goN¢?O: HJΏ}Zi6kȺ#XlQBeHr1-!VVMO53RF)vpm f#$"jR)|QbNסzɇڒЛ 'EH/6תAġ@)ػH sB4}R_4rx,m=?`^dT̕%R}o gYZ7zXZִF! ]ŗXiɟ"xS2}YNd PFy=M%'|\m38f[yaQf'M0$-Euҧ&dU{7̊'ϭ-Ƚ(g02)A0[;Ubdeև?0=E)瀇bS֌gI ҫFՄ]PĊ.Xvto%r[4ni\ c~\=)Gw5"h5G B!At=^'ݶA0ynkA])l^:?G-)G1- wcsLv` JXp+aF]#g]DSHY(JQ'G>?9nb+([nRM*7Ԭ2Xk3 ;پ cZk63ȴFKA;S!kQF=(5S94i..2~z<&;Lw],< +U Kss!yjm7hڸ^Ng', MyZ{KމU Z;nxQE ͙#;e.eП'J{]2M: M^:w{ZeyVdz;\EV.L뮟B6^:rB rW@(q=N sBYO5v/n%>4iE tuN=:DܘyT0s>!AhB>t+Y;) o<_d1 >8EⰮ&T#.0Ap>?tN<ȊV|eLe;YF. g)An{۾)2T|C23&v7$Y$@/JI/>"T%b?F#qak,+LB҂I~v _p Dž_gYZ41b611d483c596baa473eea74c9a047aacec3b5ec3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6   MiniML%% tMiniMLMiniML.Maybedocument.tex7zXZִF! G]A-MՋhvG"uIBm59yaum]Bݪjl|lMZV(:+}8%;*Q`?ɻGej-P@ Kޑ.51~.:eK/?TJYy?n4<O8WiCmD=4!Va8@ i 8(㦄h,J>\Moុs24m!p@5+Qv09EɘqΛ""T-Cʪo&̴3E5jKOp<i,T9/-y; F9ďajrtAҫ7nat[+EkY寵}Va8YY~m :BK!Kډ%Žâ΢ԕZ!f%@*]%v)D$3-[yg@&d@$[$`m%qJ>ZtO ƈ 7}h_{՝D?fDj5"+Xg $ЉqAB[bfPHfn1>zx@`m[}(;%n{Klݔq(#4*{>DIBL41M9r{gd ԂnqHGH;'Zֵo0i ޜY'i]L1"ҧ[rťk9o\RAɛ1w}0"I(؎>.&5o7jHb xhx|lAmh֩iG9 bʚ^nz)1IA}r7sN{}(S$al^}F(TN  {-&|y]CFE<ߏ{TUeJ_O5p7 X,kexG!^r|Qe}Ҷ޸AQR #5%Svqd?40=5ի8`‹sT99r:KqHs֠]@= ǎ#O~%ft&B2ms޹2e[j39hu2'[D$S]3i O +gel`"fT]CONHXA/G'% LMiniMLMiniML.MiniMLdocument.tex7zXZִF! ]A-MՋhvG"uIBm51d(ymUi~]lLg|t- ü(e.Qf@p]w;-?#_mp,l%k,,?ƊJ,mtGwΩ_+z_^^BB'*t HuBlI}o-eJۇ[ݫ҅UWa8C=$m5hapِႆqSܟɊ`}h|_ЭCC p_KnWrz}3Xᤦ1Q~g٬^ HZTyp թo q0Ssd}*!RO.NKRY+IgUڴR?zֻγP@F25'z)5[_tǩc`e0,t8[Q>xIjy;Q_PL >Q0asH })ķfiѤa^MC M;RgūQlB&C)  HaCv8tw(Xa}P D7WLGeň )ٳV@VQ,ogKMMaǺ( _焹NR-/s]׈&-(ġ.AOȵء}J Mk,4sfzBp3Aq Z|ä枝.]Xث{[ J3*sO*8  e$I#ӚD$GcT~mz}Veٍ)54aDLˏ̦~fG]t2F3r}CMouU4#"+:DL /?籉,=É\3!2n!j>Ÿ<ųlQp(eh=N(:%CTȻXAĽG6wYF"ʈѕ"LH߸hObez7o,vkl{˴zAEyA𔆦tׅhɿEU7"‚xSE61/fm@|T &㼺[~n+~7a+*!;Ў 6&ļNje<8X/ƻm45"ykgceQt'I I@KPFAtU sL QdVH\zvIwb^ ۥscO-8e-!O?k,!dQSz;DZ_Ō`y?ۖtIi4!T)d2cP2u5Gs@lSEbv}Qzdybbv\UmRQ'l)DžNCGVxZr'.Ip ىF _tE ΡS_&6-G\g.jx}aC-;-*_STPBWOۜ/La?^f51)F {Nl+K{ҡfF{/T1[dyVB؀MaXs]mU"{ojvHSÁ,SBQy;9mY0>5`%$U4z1Dz^뗱gJî~9H0چs]=HbHq̕-3tZPx{ 0.R+jfQ"W܋7^] X}+Ul;g?(߲ ۃT<־rNb.)sk%op_56XP3V{!<&J%XN,I/=J eY879ك|r 8-%2Z).Uܟ1nIΉoR6 Ӆgopn`K_ ]`̶ӍҕAl5 پb7\ʕ#ρ$JsƴaJ9%hL?uӶմP #BcE)S%U$2y׍-{<%0cDWo 1z~~ dvd_w{hk1j.~Ax]x9y{溩 };^= %)/㒙׏KLP q@9Jk3co~v¤84OkFs,|g`gYZv Gr%n`ws浈gZbh #LVtb Oe(*<7.fV1 [Jsbbht&zقKp:cu; `~1/Z kDubrLӻuZ7B$ΞBR:#,2·Py@e]ao0mjWȷ!+oԬ 35} )Ae 쩖v Ҫrsnm۫ԡ"BuY0&pn&`<z0h;I#c2l?))[zm\'Jdy ]^j NdNõ|UvECgY+`؞x|Nj9hJ>H ę*I%8MDB=ۣAExPjw[}yJ͊ͻ=RͳE^ld"H$!Ա$w)㿹Jg9cH٣%"-oW/0ঽ:0xp }׳Q^btǀN_th-M)7E JDonՇݰ:@!M;xqORH1ZgD0+^s C++-19:i/u9@xӤѳ.> >խʨC%*;R=hLks.H  v`/^2~8!UU{ܭ(P5cܐr*:lPm*~r7HbBD>mhp%SGÆrVNi7/]2ޕұmkBm2rF!&[h"Xګ$dhB"~{-w(P% 6bTCuɯHP74 #& {v7a( hZo9J_'SB1&B^GkTzd`R 5+*F>{AhI+eP^d?!Z?RxT5tT ]4dbMAyߪoQ >{MB䶆[Iti" ^nX6 r2Z_r =Nw7L4͡w(!/>]@":d|ML +U硊2C7(zf_఺9Cǯ`+ʰsL;cA+c#oS>f1T:@2GRMa?Pe$kyeOqSH4˥S9(L\A(3۰aE }H2@LZJnAVR"Z\yҟ sܑI'amfYײT ]-ӮBgEM/i$7W6b7 JzpY3œ 1r:c 9b6 AZLϻ@ ( ~FFɡ NGh[cఴӬ9#so>+x֋xAM|;Ϲdt,2cpnӞDJبI7t܏"ōVlmfA^67Ul(Vy("n QW7OD{@SƓ1Im:7TP3Ťܭ Ӿ" ~'0SaC$a [ʳ~/Јʼv ] tU^{ F:KP=0g %^$CpZAj(ա,bGP''&zeKnEMSB[PqcY5S]˩,4/<=(Խ.{Oh;xO t.Uu ` KG:viPQťsb4#G/C \<ଲ%X(>/^ev&jWh;FL/o&mLbZ<虢&GgBGXdYp%3YY2]zpPՉ9g%"?J!l7DN46L*K1'c! V) ݜGFDu\ך[}d[CIQWivi?Q|VEھXd'3Y{!@5;&:bQa[dg?{E6yam^)O3(&(P 0?O6Ӑ.GGRVE)/xαRr@m7U&q՞ް~>:z_ZR9N?eV|I+9R>J)[?>#89Q'肫<19VDvuȽq6X, l {V|Ѹ7VijN -y?,)%[\Q~4EyNԀ4tWPx٥zkӯ]f wq5uڪVQђKA7Ȳ퍷*{Cpt1!_!<*= Qٝ'6|3) 1n>+K15L绵Xq^ xܟMct9BRU]hG0D2b[>9\A0X1m@)esrMŇޙ1Hْs|(;aMQpV)akn/[& <i]c6Rje_ A~+PxgbiLN&`3y0ԝ! KA'"dA ELQd4 %2b.0gAFt"Iʚn>LKCW~pẗ]Hm0=$jEB.=@`>s2g9ty*I)?'бUV]pXr b0ʻ,hcMg>אGúlsil_g<b-86PR ӮB21rOVȳ1;*2p\Rd* V}OSw.a5Z8*DPVk]!~e}6Œ|84-?!gYZ  %% tMiniMLMiniML.Maybedocument.tex7zXZִF! G]A-MՋhvG"uIBm59yaum]Bݪjl|lMZV(:+}8%;*Q`?ɻGej-P@ Kޑ.51~.:eK/?TJYy?n4<O8WiCmD=4!Va8@ i 8(㦄h,J>\Moុs24m!p@5+Qv09EɘqΛ""T-Cʪo&̴3E5jKOp<i,T9/-y; F9ďajrtAҫ7nat[+EkY寵}Va8YY~m :BK!Kډ%Žâ΢ԕZ!f%@*]%v)D$3-[yg@&d@$[$`m%qJ>ZtO ƈ 7}h_{՝D?fDj5"+Xg $ЉqAB[bfPHfn1>zx@`m[}(;%n{Klݔq(#4*{>DIBL41M9r{gd ԂnqHGH;'Zֵo0i ޜY'i]L1"ҧ[rťk9o\RAɛ1w}0"I(؎>.&5o7jHb xhx|lAmh֩iG9 bʚ^nz)1IA}r7sN{}(S$al^}F(TN  {-&|y]CFE<ߏ{TUeJ_O5p7 X,kexG!^r|Qe}Ҷ޸AQR #5%Svqd?40=5ի8`‹sT99r:KqHs֠]@= ǎ#O~%ft&B2ms޹2e[j39hu2'[D$S]3i O +gel`"fT]CONHXA/G'% LMiniMLMiniML.MiniMLdocument.tex7zXZִF! ]A-MՋhvG"uIBm51d(ymUi~]lLg|t- ü(e.Qf@p]w;-?#_mp,l%k,,?ƊJ,mtGwΩ_+z_^^BB'*t HuBlI}o-eJۇ[ݫ҅UWa8C=$m5hapِႆqSܟɊ`}h|_ЭCC p_KnWrz}3Xᤦ1Q~g٬^ HZTyp թo q0Ssd}*!RO.NKRY+I,~ #ĤORlgrT0rg ̌$+}Yؖw5jeSd6#E}x2" ԡOBwF= QE F ^=^Ue ?=a%4!vDg>{QEDw[ڥB-Mt!'Ҭ]|jQf=uo`|LN%H6WE*`hm"ܾ.MAiڦJlEț#:88#VṂGp2̤!E)d{Q&]{#OX\gk#+ kS c_rE-  HSM%>wJOt\ϨL}! G;d3GʍڰȉW8|f:'0l[01IGp%oDzȹ[ d5O|\dDmJu˥")oUlHĺse% n1Cud.NeHFeZ s%4EAn@ ߣJ:Z1ϖ"r\^P&l NBXud<|K'KS_UfIWH& "3Gy:WJRaouڱe>P8rW'˴4ޝ_(NcҖ*O;C_|l͏QB>Ǖލ~;3&ȏ?5 OsDd!: T֦Iqr p_OGBTq sd[UaWH?&]dqkf+屚e):W8C(ӑ10-/,u,>UORM=&WY;j1PEgSݖw]U{wmm;Hq!Iz|TM:%9rYtt1i**c}d{gzCdde*qbv;0*@ck@_`o5fh <9˦"7"_d iL1;³}{ؿw&:u tͫE/P%^(+jXRٲSKdmFNy]}; 04Gps_ ZwYtK DpophclHW-]i!*d=W ̰mtƀ<'nmgEwp`+nћ;PFܷ"YzWi~(h;ap2RM!Cd=TP%r~4~\j4ovNlGvJ(}5lF{o;b^ns]ZS=r~JhdW PD%طdVim-%FQ-3y$_ȓAqWI7n0G^FG" Yk2Y3#O7nDR^))C>ֽʪa, o -e=JNWuj* `ޥi ^mX[!KޫoFز7T [\=+d&<Ȋx8#k\}=i:gaS˅YViG"apNUR%f*S1sd/KZh~ܨ}хw/UWQ^T!igvO ٲo gYZt~0ԟPa'Fpw$Ys C׏U p ]QP*ɇSc&d?!K]6G|U j.O J0LEj87wF5<D@}I_L%;hfKzlA+Dsz&$>TdzwN;8Fxr8ep;*V#diZ &9=TZìu: E ,ۘ'*ZAZr)9 wPqo-]l=RQ\P^,~#b})sN?3cJC!GvξV:~5Yt(U9ЎgM8{OC]b_Na7 P'tWc@7jCIʭ9%Ee,Zf<3K?MFYSFMcViќ&fNޯH_%7PSJHjaEo,QP *}뗷| :iBhquji%%P:G\Dc4F&j#m3Bw0t%S4uq N3pP۹.>A![7JR0a2FA>تلҊ|yn`?/Sq 9Ӏ`}sډգ\u "mK }.mw:ؘ@G l}W8Fw_^C4V\(Vτ I(X K~AݦGݩqM~ITLVp;ڵ̊3ɥ|+uߕg0B/h?{OK_\x(g:6 ad<*G1noGtK4é7xo!v.W ?*RR|Z&v-y~?8/y!C6rw{'p?JMx؁.QcŷEÞauqm:Aqè-~cGIa+a^"\ǽt5hx^!n9 V,Cp@* !J'n99;L@m`, яڧһ R*Lp$WO#"^Z獙㋩]FHp@Jg0X ̸vW+`$kEƦ-Hs3EqqG^;jM zǑx^1̗8]ja6vɸ>Ѩq38bX|2є8 _Vc:iqC$Or)S2eA~=mࠌan"h!Aב|ں6_eP%v;$H^Mhh(a/ebx܊̸Œ{ X.d"LJB)@F:uqe o#m/Z9qѾ*U82p8v#~="k"RE3 㾄y]+Ž ;Rp ܩ,:O” 2+;B~81 IoYJanDa.5@CSMkw^2Dsϙg=cDcojXwyIr!9[^Se 7 s'SC8#Rz +΃m[BŃtMtח.TY+bn|5 _O1C gp]{"i.NBc޲ښ, h)Irզ`a{-HOp8ol+b;e8U_ފO;p=TfmuQ42:Ӌ.XB̜ yKa#HVͲ?DC}DSMְ1ӭ P c CGX6中boB|7T..[BtIAVY6s1zC:7Δ09n8oPePNLWD <뫞l7 nMPkORiqvC]jinTx2ZMrPӂcZo|$;#-y; mh>H'L7Xw}jY[gkl4ǭNGϺ.W/52s}𿳟iP1f 7?)v,&E5ۖy`[=} H7Eƌt-HHܺR*OȪ~?aMN07%#M}=XcN;?11G$i59̲6 Is(:/1ﺉHOěym-oC~ V?w VRQ_`GQ)fvMf7zO *S~wkGZN.w`.IN>Fo(t`$xGնi)b[GG|oLkxc({ $uar*=Q99 Mڷr=%_Ȟ>t^jT_T;꣬+sƆ܊ˋ XVk x0멼$(q3~`-3\ gr^㵜?BրZQ]KJ' "ux*vV:g/gu揭JoͲ?z3׳2_egtPL/| ZODp{2Gh\9҂2'gH">F}P;*[!Q21UNW1h*/AH^*K.'_gz7y֚ݛBȫ=T9Ky? ^8[g:U _Â]g=uchgYZ ~% DMiniMLMiniML.Wdocument.tex7zXZִF! ]A-MՋhvG"uIBm5U{ t"agXuq(lOsjDBvCSR@бUjD^ D:-\o:{?i\Ti$Q^p]"` 'VXptUkC$ĔѕܚzT#©0+my<]Pt}<πUيߨ Z M8ThW~?")"`Z4)mTڥǓbl ~JL8#?Z@Bq Uq /ᥰR+ĞwЙYid!` G;8`@Hf0|_Ƶ%E mBxKL-hfZ 8Z_kl)ŢrШIy&-HP!uw(:)tAa43Km7S~H3=;!+ [N!Bэsd J,0X5jY|&f% sVp]dFe7œl݋Ru6}!{2҆ijZ[]_TXFAY꩒)i*?k)Jp2Mgns[Lۏ 6d4?8oвۆ1דh2%B7X% πlQD[.fFkxCcÓuT2?k7րy_ȗ".oU>A^b /4db#~`iЪ9vr5ebYmH5 oaT'pN2GN箘繂K =5N@T֊e=zO ?QIٯ_@=l]cS[ .Bn&: l|b yc^jNJ)XSJM8yhR (Tl[ųpS~^ ?-L'l"1[D"پּ$?f JEf|>WT=eos}YBft`_&qvXR8  y짼A9sqW5w~&z>~|5%^VQf(s&Ld*v?--Lh -k ʒ^9HamQݏ[=`ߨKU*oR Cr&Fb2-dm5%4%0od2ُO@glIޮ>owhdM"SPϰwšub4%k7v 1 x$ ]-C@uU"g`뒞cD+lHt;t>q1d"% z!6Eʡ>Eh(cLÀVPԕ}8e)ej 8q<^%GCʿzĦ`WVt7TI}M1 0V'aDpH%y`)zoqYe(#ST|%0n,GK/5ݪk _v׽cj\LJ¡HfsL' 7gS*oi*ġUҢSƖLBVG3!˟M|-C@Aa[,6C4%2|럘':XyLbmJ(Ao[hX|T@Bkh)3q& d ws9* ,F,6<- s*dS1QW8!(ՈeX@p}?\cb嘋ExZLԑK_jFkDr{ WZ ƶmˣׄg)vglGUw keB-}0N0eTXOKssFNZ\$Kנ%F!X RHi#+2J_RLJ0;8$2L}%i;1`5Vŵ0AOKzJYq͎J$~AlS,WJ _$lpN|9E˖M̓]â~x}M~`uǮzM61F ̃ۜ1h/:jn"ޗx/؉Vڭ7z0Rz!A%'QJ"jbmU1k "c)ֈ+'̨}$iC^%)\г5ʘW1姂a<R_hsC^2+_+?;vm;Jy {͡G$wsǵc3.Nvየ<:Qg _;OVa xڴy1 G<RI 12w3rKJf?ac]fs6pZpK*i/P0Ś -]~Ť=`.`Ez5:*QXUH`_H6/87#n22;|fHH}5ֶ[qm_kk,B2|0YO0;K6C=_3E$+aVUMwk7fѕ3A/|g*#JXhDփ?#/l 1VLMA>?:F,Q׸=rEz M ӿ_~6vp&yrr󢏸Z=8,Sr IyifO-TW⪖CZti8Z'|wħy2S୬ Iit K]"^Zڠ6MdaҺQnIr8B)?B#[pxץ gvD3:C̽'hzOV^#>7 S/'"k,agMOnkkۦ[gL+u m#K]>o7X%oxY{4$3cʬ>O>̥1+ ,/c*X<k~L#" *|;G3u>@u{qu(f:@7]Ln AN𼸰m^͍ EPR+%PHN'N0[0ҏ:<39]&?)H˖ѱԌ;d' pV?&_"R] )apڍ%p5:pк$ެ!.a[& ؋4JO<>$J C] ,K#]eE,y#:% ,g]v$3"G>Bq>B>B)䵒 IWTIum֫Z2X@>k 1ra~m+Ж)1N3_BYOM,x K9I<8d. a ثF!ή\ G ~>YޯP6q" ǷfS Qw몵7TI|^YM40]-FzG ߞ>6uԓ'\?E xO\ b|3mRCH(Q Qu&d'g,oTqAYmγ_d=cN:q}s|Ψ?G¨`+d|j V"e|^4ndP *¿QS ] k7%E>$>ɕ2y%"3՜sd?d+>H "d~B`z湐*fT{*BsC)枱GA䵵@ZqN%LPQY~{|> L3[ ꙕi.+=\@Z@jݕgtal/bbͅDT!BJ̈́p0N}X^^8/ݝ|C&ni,=FPhRc\TJYEcxL짞ƛ'C'tIR4I)6 $ҍ>N zm/-[x\ ۔T?D?ԋ ϣE^mVNTrj>JEEr_o•!k?~5~pzlY vʠ+t]s\O6},&AEGф_\Qd 6MЅV;(AITwU8:v1KJmQĉdH W8hn)$Of'h#{8yɫNt8xㆹ jdYZ}`<ŸsE7{[U8C%"MFc?4ؐABfJ@1E =ATUUOFGn^({t1) 8W\Eh A|ꪚ:n)p}C[*#]f-?ks7Z)l67p&8á\q׊TV`E(bowmpS<lVcՐL20f9Ukrsd{BЏw?i_sX+FEe+! !htnG*W&My?##55v0Ϡq7^"ANIdyYVZv_L(vкV Gĺ +'3]AYv8 '{bI!'~SѺLdjo}Am uQXs0Н໣2]8xwG  @M8"X ڣ˖VNf<ׄ =gd2qNg˙Es,qEp6A}R>cNvu/Jr2e/Y]r@O7Rщ)ȧ>3[F<'*q4Әb.IJBgAZb+3xM E  _͵3+֖ Ϡg[=K.h5m,U@RALNYai>ͅ;0K,!oʶ8UQ!6Zz f>C @ڨYaiJU˔r%:V¤Is>t!MdOR_bx_ LOdGaT0ԧr`f fq[_k!/9:esjvRh޻xJm 1߭!H\"'8!yqF]wsoGo>{ Ags>9 _nJr'uؑ,O7 .-FpcKza Teg&V %$mR ?FC׸6x;B8(Ry{U]hgȇ{UWDے<ן65e];O#ȾA+JQ5\&S@b#3ETI/k:;:Qm#.+Hա=.NpDэk Ҁ?'! il{d=ŢUbX8#T*">$ςz}wE)WYH8"$/}mr2G2~2U\nJOc&4=o֠W$ ڽxWN`k \i Öi]#3 ,*d<&S`Vl RWE,%YvgNbV:7IOͨ ȉA߁Y~hQi{ `+^\2,-W@9M.IeZjkFÆR!a! E]!R7Yٹj{t楄!}؋+pTc [B8KFh/̧~3znǤw-xiv@i 59b `5hlXXONty*,&Я'|Oeo9JQ'(3\0Z^&j# :}LUO)uLt'?VցM"r(,)*P9Ӑ #zXk}V^&*zM/"MщvڜXskLtHdM>U3+_xmQ(lG h.wGb -۔p܂~V-XPl|}ukdI`6Yʚg걧yk`u:;\eE^y9`wk3BpZUF?BrpA `Y@rzTm)8G_kμ Bz [3Z~S:ZOɘ–R$K\_S]֓BCgX8'c2FB{ ʏ=?mz$׆"΂9@BEJtQE|׀mcVrɹ/NUL-Ֆ;wǤV8~j8: ļ荅 f>7ץ~C,ΡG^TEAv'gۻI E'l،,粖<\NO;2N!2  |-ζ;J )ETq{\kXkbG0hY4U" @ 0^Etާ*ެ4,{MןAkNz1GR<=HIa*'7YbhA@|L2Ʉ#Y;JZmyRvcHX@70v Uyg32=?nxC/E7АDFfkmei\M=FtLj\dnF3W~e}<:"> j{>YM*#G8R )n~ep6m%f ^whd. VfІjlpg?uMV|5,A~AZeH%yT: ?h \%h`RL]Op<m1z[E'dlPʔ߫e>IfڦQ>TVݹL`;17Oy}?0>D}[y]:sGIqזi3 uQysKGjZp)'@:膤jtsW"_c3!mB%Ϸpݸ8"9$m|@?TYG&9DT:X7~ Tbmӌg"ɳiw-b =Nq @u;h}熽0&;:F:wloBݡ`g{?:6KK8e z'c^ˏl{ gXjg-R]S\v LpavzR3'(fjq䷋0%ٟn|F'>FKEpmPg.3{__ݎ;#wht5m ljnkg [?1 aw4Iږog)0 fgV̺ {8CޜD!YfMaLF^郞\E!9^]IJv.l-f JX.k+V|]JY|=P+{٦5+,"y ԗ_ג>[>&l0pu9n9C%եX;YfIs!$׺?lQ9qn0Q^ Eb1w- $Do4UwWwta+R}?78N|jr: fϗ-2pH蹩\# r<@WM pT90&bRM^9ʢ"E3*uժ;P<.OŸ Lo-Ȏ WlY Y&8h%4iJې"]'^" #F )A%.In]hs O>A𢑑e9XQ߻rBav?LMprG_c}2>^O^IndzNOkFLJ{-]|~x\aigpoIDLC'=TG.ia6M .Jx8TKb=Y6!wi4ňpjFA;Ir41!zTT3;=q7ܒ^}&p`CqXN#;ŢvS. "Έ5|O0( 6(rmX9)"Z\*"LC}.MP ?T0gYZ b #% MiniMLMiniML.Typedocument.tex7zXZִF! P']A-MՋhvG"uIBm5u2oZ& 70 8t?2Z)/G➋qefz~=Z90tXvDT5j!#_ Kub1։5<&'_S(5?|Jz^vV~9W6 Rk"\-=̂E28+޾7XZ&)%JւaI8[@d[lt[@zCX4q zM^ 0P(|"{x={!KZz74!ۙYV׮eMO06{L袮YF Z_Dk5w9pF:!:)8Ƴ7;n"s*ۮ%H|0YT ۳G:\mIDWT)T6#=ԣRGPI[4%$Lבsg ❯t:/)rG6MZNb)+ Gņ%na;ZEc(S=@?/ךpGVUh#-͆GrawFm? 9ѿ素ڼ\9OQ7Qy FٜI6nbkgNҔ!qD@,r7ˈZ9m<$ :T.WID]C[|!3$:P` [2cLQhQ3B,6o=cvAqE92r߂OG AE4G<9SZ;'7誼rD().Wжyp^J⹙UJh^3 jm6D'ߏi(ɡ=Q`/jrUPө{h *+!DIhtg z'0J Y߱tXQof%ÚC 8⊺o),2=?u5XHC㑭1)=r'llsbvM>)6AIL/:)y6Z eJf8/B4 vj+bVthћO}Y(- -\o޼/Ku3weD(取Xxyۮ69:i=oཧ5k:)R"MȯGhA5LT;Tԗʴp3$g;B(GfL|O9Հ`Urr۔qEP1Xj̒vʸoްU(͂/ࠀ#",BfJ˔ՙcbQ ӲN!&΃3 6Qw\dfEߒ曢E|SNeRLkYe 6VK$y^]%XB3u#iUovmcGR@u֝b?`,r3Z7*|n춝{Yy>rS<{(6y޸:D\*c=sR E[C)?ǝcɏKT &^۴؉. I^ةq%;IsM=Py}dY^]I"ab2a;ضbsʺߵ#I8,z?-tj4Lg3 \cH^xoD[vn/Vk !s +u \𯍟/h>8SK Mnb1fMGk! 0g_-r~N}G*:&.F`/ JMDu- ցJ9({#