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 yy \$ ]/ MiniML:threads=2elapsed=12.292cpu=16.656gc=0.640factor=1.367zXZִF! f%]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 N#ԣɠBEK3 Hi8汅 ۴ 3&ppoY``n'/$̨)M`$-2tNU|ƌ=mEP^:HoLK]С&ЪR*:U2>V< NY6rէ_8ߢӁKC o؋gYZ7zXZִF! Jp>]ŗXi%; lc%[ xP%S֊U&1gYniv3 N''_AᾀU[|Wa :L3T67_q#})Ýjy𺄊`=@IY5'$%/Δ6퟉\^!djNda#Uw{MK( DكT=\a|v1kvpHh`Ϻ]vg6/:`2U|w$_6wė'tsc[S М /[QYcn|zOs"G yW3']ʷ*yB^o]م/5 _!"r9)TE@VȘ_Meޣ5 "Q/vߠVgڊZUeĉVK qw7/d e{"C?R5s/oGLޭg::4Iֿ+uhځ 8]4˿2ˠEnۺ=ipkͷIVPZԲvu.FTĦi(n9 \2ڨ)`LkU7$56Lē+Xq y\M𹿨-v%R. ~ЂF;P%ҘlU*mw[2ZeJWwYPС=%Kh; SE!s3-FGXd%gt~):ӡqpJNar'WjKVg%rOhrw ؙ!CNkҭ4ò.;J߄y58FQ`2VK"qԚt1wA5 [E γ"+se6FR|S[gYZab6aa5b532cdeff9421671d24c41261d72f3b5540a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   MiniMLe#% 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(    jD$%%MiniMLMiniML.Maybedocument.tex%'%MiniMLMiniML.MiniMLdocument.tex)/%MiniMLMiniML.Generalizedocument.tex'+%MiniMLMiniML.Instancedocument.tex %MiniMLMiniML.Wdocument.tex"#% MiniMLMiniML.Typedocument.texRI 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]wsoG喲o>{ 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  |-ζr?L羸#'Vb^\&3قƳ:9V܌ 'tiu/ ub5#.㟠:bƗTG).xTSQa!fFa/Ӕ9r9?BYW }Yu gOBd/77:M;E`0]:M ts3eyP 9%̘:P& 8_r6 ۛ4 Cz%gkԍrE`^;]z\6 J] $>s;?맃Ӗpzx{ҷ  P]cO˺߿^`l6`H/br~g (6[G!BK:2)t@MN0@UR:)Dž@n,=GH&G2'+ ~+XkQ<CO|<֓^"HF_6 &%ֶQG&^B8Oa׺Z^ɯmY'P(wZϲW g"SA!ƴ0ƥJŇ_ v_[y=3[j`lr145pZ5#HkEh$fZF8h0V_֢Vn)p UbUn' \dzy@b'8Yʇ8pYY',pGzܳ<+=|:Hs xFj Fyq$wPr\ ` ؛ @Mid*~so,P1|h5yCPg1m«MH8Ը5f6J|y#*WDJu8Jk$?#I^`jM,V8o мRg,G;JV`8q>*p^3YNT4oޑiM~snsO.ZlO-Bh~nvnyfJ3Vd)BU -&ߛx*wb6-:ȿ,pպk@q7C7T!@.^"UcMG@RZBCV3<DsBV +ҧ}ﯳh?k9ՂN#n*,1y#?}S^pݱs琗!^3ȊcSJ0^7g%Wct{>2 v?i wɲ#~xl;HcY}.**8Ш9=G;IT?%;]$]T`%r3}OIi F %a|x 3H1=@5wa┡j))v?Okc4C0tf_dCgPqv ÷NL$b)wdie9T P ΔEB̓p$}{V[ |H߾iU ? OVx%8GehԆ>K(7Orxs*j움EjU/|ԍ_vS>5uK҉b 5eFPfxՍћRt %<(c>WnVJ;MT<ڳ~82_죔yFO)S ,V FG,xI&Q3ypJdz8LԋBw9psV i? xiF~mp{ȣ!fГqY](ij^%~C9|!χE~Zd6B Dozh!c91avw-pJo^\)WdžQ|92fbu&CR4]_X{WJT\ G*]մD7 p/ot #U JxOx=`A?'45 qr:n @ڋ#KŮFSj kFluZ.q$L94E@12jWqVԊq lxBU$,)"xV3{UvezwV(zՕJ8+&-_!Rx;jaQǰ//1,w>0Y?0){dC?,t^峽( 83]\^Q41Ǟ2!CiVN!6VsZuOڐE8<k<'6#{͊I1?Y6zeEЎ0s֞(s]27zB{F5[ ^ ah zfM1rF*U̅0[֢R4n٤>pÀ3gTdzwN;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 A λI?ЯOCm5/D7FA wb T J?ёiw5~ۼV}C?gp< |!KZ:{uEc.)jOk[OZb(Ț*dFtN4GdKDTM(13/\L؝a *"$ȑp@RZ@TmKX[qjR֙h?y mbߖe`S-+O=-)-, 0A ! 1AqAB}@TGc:MqV$ѱUнw8&}.xY @@ָb AGI_maY7WX1bb|a2®ˆLDyh\Aܲ;h܌#X=,aWs&NeRzXȆT=;吐") V+OqD5 SF0^ָf@yRjΦHbTSϷ##ߝa (cm`SLV.5;Ons1;6ܲ[ ^Q}5fx%qDҋbQ)2pw~)Q BIA#]E&K"י/`ٹ߃i{kH ׊ tyFoոFU ](%s˂u+~z(WK~[e+ iK/̄WyĉqŎ{;K"3SX=60|Bzn6-Tsyi\Қ7^bdxBvC ϭxOQ;/.O%/Y +Sq)}ecrw&U&7sS'}W_"\)T9`L!z2p8jLv 519w`]+s94(ֶ*\b1ku|~&*hbׅ:"qL_(.)~ *!ʞ]b˽RV;Y>O HVۯRS_-9I=ʷsڳ~SvKJptI(w{voF4JYVXRҕP&:~QQRϒrA )Ņ_i+ߜ8Pc&vxdf>HŸ\<,gx6Uni @Ζ dC Ey5T~ u R]NX}=1/I|9P:]BDt|)h}Wǜa^`,Zfi,Vρ7\QY 6WsX -SEzz"FW%ETS pAWhN2k# [pn(88Is D߹ 1J]3сdz-q; ^Ӥ6 ;cP|O#|{W_~x6 drpOV=Uh_Cw)A*jMZ:t+Ҫ냒8kQ'^&ly_A=*bgYZ e#% 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({#G< % TMiniMLMiniML.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ڴy1t~0 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^)O3Tϳ:>%ϖNYLt0Um oP}̇^F9U ~JK[OQC )oVKm{;0٧e!P0s$}#ZH8FZgAUInjPe7LPQd5ӅybD*pu-uVs dGܗHiSJU~acJBr'G;3Vo:AM[ꐱXU!ua4Z2k0OX Xtkf)_N^J![|̖%2qۯyU-k=b'=)-=[τL OV _e}ozt_&_L(btJ(`J=C"|Oel@Y~UZjD>oѼ嶑FT,ڱ)w쮡y1tǢtYg. IEM2mqԪ4='ɒµkF%@!h /yxA̒U97H'`U w`>zsx!6FӞw-^tkvNW,~ #Ĥ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" Y^JM )[/gh}ozQHSMhR #Nx4'Z~E^=j2ኳjj:`j?J>娉B<f<_zKER~ZtŒS?:={Gna#> ޽Y|J3;_ɇӓڦ8<콺Er]:6 Ekgt& -iSܐwPfMcr g`g Ѷz5C@R IЛ1@wrcj}F^ ^te]D[)G~?%hU\iZ? r C@Z1pDB#a5xRuP׵(hG%"ntͽܼ̿D*'z|ݴf-rcrUb^O=W ,ܿt~I&Ҹhz*nS¬+H g-Ĕ?_\5HűgYZ+% lMiniMLMiniML.Instancedocument.tex7zXZִF! v]A-MՋhvG"uIBm5ɼ:Fwѭ܅vW2xh |ֈ2rֳm<;f iE -<՝_.CP GPM'rN].ve 88"Q8h8SjˁܵUFMI;Op\|IvXtB,7ܮF0I**l]ʚVdMj*-Tl}xդ+A漕 ٮшڅ.D2>2ms޹2e[j39hu2'[D$S]3i O +gel`"fT]CONHXA/v ^=|_!#_gq{`|8$X!xZ:Mk"#ȓ;=&3"OEk@9n؎.fnwe-K=['\{C_"p `6_y9EL/i*׸&/eZ9|}]̧Rn61Y15@BdN8Z8VOC~No+5yj64[@ӷzX*id_jScWR|_r f`oa7 បɪKJB6Y7w=ُҾz7azZRIzӻZ{a`vK5߅ffwu|78ĥl3# N;d#Zջel,a[2I 'bm iՕU-873jA$x fw!x67FzJmXE@EŦ?w@z`::u")'uzRAX;iq~X@FmpWioGsIW qtOÊYcN7:]vptxe3g[f9-EN8HԊPJ^b?P""jc -p1L]ݾ?1;pAكX*̃WKWi)6]巄^qFȰH|6dq8l+!>gUڴ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žNCGё R[r1$^6ЈrjeȏG$XO9n*2tv1nP)ys$*~R P:0  (tCHa;ݔS ʋ5GJk_ڱ^O+un5-)xeGO\n68ǴkYHJOR띵C{Y ?"ZeVA1 Pp ;gVU/HY5H̵`<00\?Y3-(9)Y99 NV0@(T4}D'&[5]A ݭv.j[޼u]yIL\ƒ-AլyDzǃn"LEkd^x#!;|""HH\7d6vj4cW@ki|;#eybwh;t ZqwG+i8'<êEUr`8DG:.fu{8*rRUe Qٸt{sb;=FdC8J`}"Ie ,ѵ&Y^&W>Դr\Ҏ߽0]梢{'5W&0$h ۴uvU{cW v SHgYZ  !%% MiniMLMiniML.Maybedocument.tex7zXZִF! N]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}Ҷ޸n2G)tWJE5R$ortv7 >}]OgQ\7sO "޹waц rnGk e9[nĜ".y7veR+hhI;=Sz\);7WYE^=7q<|pU )w +9(L M{Wg1Z :&dgYZ