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 N1 4d ] HOL-Metis_Examples:threads=6elapsed=16.362cpu=67.228gc=7.508factor=4.117zXZִF! t]ŗXiɟDYK<;#&zFb4⾕_5QjEDM öJŋTؘzB6dz{Oe -ިvNVE;qL,mec[ ނ eaQz>ؿHn95_^F҅#EC}vm K`֊a rxRn,}=`2L!J Q.Z LgL} @4P v@zԝF? )]9$#bL716@osJ)1.qaVntjђ0~8O˲ח X3Nvⳃ 1 HOL-Metis_Examples  [`H#FkHƼ 6$qǰqx`WIU^bbz=m)HDef`7Y#v~DݿoLK GA:oHlN=; G<I' V32}rP:l7?"ftQG-0y!hadq}H4)r5407;O.}T6Sd =5+% vnV42P깐'JS6ݛ@i Jpԃ֍8ͦD~&L20)kQhP׏K:58e XXL8+  ak )&%$ C?;Yk:>BSg[NĄHk*;Fe@)VxnFy\RU~_0p&/,M K1Op;d,n3uӛeoVdIb{dN8I-LCڳY+ڕb~ֶPQ֕sK~cӋވ;NWv{- cu-Ej.sv-K,wFq0yс~}a<'8HMX0SUN4tn=FSi h 3]FD-)};d"`}-imyoERtkZ]_eEdaڼ6Ua)1p6bS'%IBvP$8tEQC` D׋hdFRl3'Z&iiD%_ ^,o]]2}w%g63~jKOԂ.%3gDiIDR0AGRt=m89#J XSǤ3EA|P,.G>%eȏ3VatwӼ@8IشL )'(˚\S3ϼ:2SiBf>]p V9A)fбٱeA$v ְD)d*}X EA6L^;>VEap:WO1¾r>E4_JJ5EgFUfsW<=;4T8(D DT7xؚ6o;lWtHe[f#l;Ž+'Q:FGw0EC.?a =aJT3 mf fmK^I8= 6&w&'xOO*+t%)I)bƧf^!Z.ѕ&!-sT_Ct K(b?3pLi򠌀eD4yBB},gA}}aF?£mRe!^')+sj9n'Z}/͇>!~Yo6pK2Ei E#M ˇ>iGMyEɉ¶m;//&y{Ѽ X|~ToD/|3^*vT*zƭ/_.%] Ƣ̡_J %cnDI?-rʖCuBWP0'Fx-WyX^H 'XD~g*) "k گcEI:,#E3;@%ޞT!g{~ &nxi^y'{rY[퐷{(K ,.'[ZW"ynpx7߅hoܠ7=Hc2}^k/`v6,4kWJxYQK_쫕ea?aZ,RfgBGsٗX}/<¢%yu|0lD|m= h+Dx9!<Y6=&8Z .guxJSo))&"ٽ=.,UWTcA1mD<+pEogѓg1{Hpr^L0,QP=kGX,o]G.],$%>;_kd<ZdS-U_GE^7?917r*K7뵥QL+rNK=EW6> qk,N${EF=jy55wN@(hfzviEbSL8ZR@rmXo%eEsEOAI;m9gs;g߼manj۲5-fb!%RXC-ewl8#,y翞mIߦ`HX[fq-, }l|$$t9i=;2wkuWT(N:3F,pj>CeVo{+tҽ7(8_iLϼIs(RJuϽtYXߧw>Q=ˠR 2;:{|ĿԉڜN^N3E?+6i9'ܧa_IJ^CP>űpAlipFÏ'D)$J8XGT5j7jo޼:;i 3{\ӵ%kCL\tMCeyOUKxuNQX[/B|}q jAw+B)-]T*bUWi2N5I2CՕ~Qy]B^BXF^K7瘤ga2h>y"Sm2\Z$ӅU!vQ2ҰB]SzQ!)%{]gFRsҖAx#G@5@[E &|pJUӀ$M5ʒ;\kʋJU!"Fͦ v4Xo+MH_$ovO.&$ "Ta,f%H Xp=-aXiPJo,{n`[ kT4zb< X}a&)"-޻UD;3L6Mj XN T k+S㑘<)_CBB(]yOlk2lIy_#AVYapЦ,?l%+ MH<=Y71ie @oAWѐ36#x/K?r0s,/oDVN/FYi݆l-j̿ aU^sⶃ.v0[="byvq%W}H ܗOɥS;{ H/^yV Jnm̉6KX@&Cw:R (p$żw=AmGJB$? 4Si91i$s&=:Ä$u7 2%UPHX+j|Wn/hf r.)h"pkWdb=#)W^\PAwRP!NOp&]Zt^RHO?.(n+|39ȩg.fC9 f`$IPkH^ĀS*nǟ]tJq}xѺsQEl0'H~0([$jxA؟)HdsKӱ|ٲm[Z8]mba(f'V`܏< $ImtAx LFt\4h5}^3Pqٓ7=բX"@wwL߬f ?c]*:JuuNW;ď[=R[;iwvp|s=TS@6/6GGEKUoEH"C!_dn49ctd2Zc"CX@DθNwkE.d^ i?J)#8ff0Փ{O {͞9τf Ҕ""O͗z&e; tq{Y#ui<HY(8eg1i>5ywIjQE0絪\;Tl$aXJ6c.F>[58zKL;]_CLdWЧIגW 6{"(5l-Joـ+^)xnvP-<6l}}]eGk]0Mm :FB/D`~ҋ=Isp%,J y*zƺV<&-E٥Tƨ.7&u?Hiw-E"pQ"łP:MRs:5YsvYoZ]T.s+M#|x@e"}.Gh`)}tWFktJ4 )ԛ*JzzNךyil!|H|FYoj/xNyPyYd7B]s6n1if0Td|%N}K|L6;tWc'U3e -OGߧ# HÌpңFOEmwEQ5y[DmAKJ_ͷ92jhau.ՓKy4卐knlv .kUt_V,3Σf2PEQQXneJWXM-LBcLLPUq/r2hz>P2,2Lbx_VLCtV JW:DZI4)`'r;4@A|,J bF7 Q/%u#Y:Fs'߲eScb_WM@'8Ob6d; aKy}nW5y,ҏYZk=A&KMab!<.[:_הN^h77:]lNŷđ\Z׫GWūgQ%Zg ִ|T3iTL#j=4`=VY8x͚ ̜ ז#Il TOW,oxĬH`'AeV]t?eU~n•SY\W)y130 WΈ-%# d'SB1OЙ2vETNT:M5/(Q+%3ö=dn v{~T=/3qB;x foاkNSXbu#߄eŧyBޏB-^r(z qӈRm?cH#1+džd5$|8|fkZb(f$Dh6G&TsKdLpSul l~}% =}f%* N\wMz>,jr!N_ရa@mtwQc 5_1()ƿAwp΁7L]%i#4cw]௓cؕ p[TVý,6BqY5Z==znwLA%`XDT0&Ivc>!LҺa&:N1=ŸXg{Y6Քu09j3=k65qX.#[P{4/b{3!1Ud!MIC"u>^'SQ [@)wyRp8OOs:KÒ)UxydtVqB&[JȮ-iFCGUoB]Dg?Ǔ VG maD ?JZ@w#9F6 S;oZvΝЊ顐Ic VYǡLo#]=!|~#m,oسؐ7Jzw_tn?5[lϘ]ӌ84&h\%X,ݞJ#UgGLэ){ ک, B\Oϓ!o~l ?6u]KzʰȌ^eG%φDi}̟^Ry[6ch8zmg@_iH0E)xG&I 9O:xMXXyCb6,M4Ii-l< GhU9 ~w 4:__dSXUՌi {lV|c' @|ھh5|gW]VFg |m4 a`eU3F.7~vԲ\}2[艡')PMa/љ(1t.g{ii  z)|eϖ B~ȕ.a 菚n:?;Ey9 BMo R-OK]BdL Hh[Nq+b<:b-,Hֵ8Gqs4*-qQy~icEüz'!ƭy8s3ǀ; r'6JԘzE6#bшW&n*aHEOn=xg(\p'09&9FC2϶sv^TƐWlJRhubS&/uF$gƿ\ϕ KP5Ua1{{&t5$uhr8 FKQq^)=,O(*{x;׸5* oLZBu)T*y5"& Џޗ!k //qg{{ǜ*ۭB2nޟ6y818v:Z+h⣔+!H(%bgQ),~2^UXfXW-W}o NBesh0Bʯ\oQ4(1) оINaхX4fw6uJ6 v<2x ywFa& )pI <娱wչS'7lZhh,e$+acH'w ?{S!ۤIKD&3w4&WO5Mi炎0Y4$:E SƬŃZU&Rkˬ49+J57`Բ"*Q/qjVж}S`ۑBI$7!?vP Op/i@D`4ظ$I8IP@'ޤWuPˀTWX6GFEUea2b[> )i15)k?c]|s 05xX|3BY?%XRz@c"o/A)O`fX쿎;:犭AݬrJ#x%U =| x: 03ԐUmA ){ vx ,Ķ?c"<\ >9|l jD~'YGm"5PAJmO[=N݆{_1Y7f--BV?g@$jtJ:WT~̞zlnhᾢQѢ >Y'N$W\%? 9pA{p/]'uY=V`-q@'FtT]a "W&\__ao<*i7nu0Y.v45蠓 7a'JZ|5b XwUf馿Gڶe^*[."𺹙1>}RFVL$Óme,NmSU9V vѪaGe6 agkTeWQoM\:KInc,g^c6S]b(x&k07g%IΨDuJ_fϧFS3"̴tsV9RL7uISm'3!-([`xe#"*!D4Ct;zkboLJE~GH)nP:ARɬF$iGO+=g &GȤ>919Ɋ{S+B- j»?6TMU1ŀZ73N!h8A}"va+VM=x8 Kz^qׅ1(I$R=f%  쮊 ^2x»!hI-^L=ݽJ T.bFp`A&P">4!㗻|%J~dEFRYt5@n4?%t&!PRs) 3XOx `$f߸~V3k_Ufѷb|%I\*N0!p3ﶯ:^Nt3[#dH>jcXF p1'&giDJu>XUI Y%JFM+Rͅd!'Uj(wbo-$&Κ*%q7P`DgA=X8jWxN;k8#%l 7kd3Ci֜YS^d)aӦ72B73⟜/0k1ޭ7#ך1MZd]|dQh},g@λ]EYWF+)YR=:ʱ_NsC ȼ(W=KaCԎ%SV?Yه),Pvک nW'{rV_Zm0LPeUF՚wxGu[ XZ3>S^(UI@u?9HCGB)0[6+>p6?.4aN?֙qGr`BnR~'2hmŊI7JT'1mw= YFhݮHe ,ǃЀЦ}b5OI-6j](ꍵdиVS>wGz7^P9mZwS|x,ܡɻYn/Q ܚfqd 2`Z܏&Ҽʔ䞬)B9^t=v{Qgi޽Wcw`l wΊGSQ6J3M$|/8vIs=Ic1`H7GrnRs.|$[!h&'heLޠ8 p %#\z & uII NLbOf%QD&iFc3鎆Ewb=ЏCf&/{CȜ㋣tKP08Y)H!h pnOLF>>Ð t΍葻8"F 1r+ R|Pbt VE`IjQKR_Z g}ָQ+JvTqFz{UQ{|bhl5;\kAJBy4&ν8&MAS?3A_U1xE<{l=ft*̨+U`X퀞xIxp%YyŠ^T2g%ziKxʸFndNŞ=liF ZzT,+WF%.boW_XA< 6]GB`>)|tH R(0 G]O}r)["w;@pF=N5qw4r|tS P,d5|IBv #|&36]%x,4!íquЏ9@>c?ͳ9 Mikɜo7^?en+юGMLhE Љ3Nbefk4&-s!ʫbY.mxN6I\SwgS(p=cc֊1kv6ri޹'=`xS<ۈU ?gXVI<=ޢ*lR1;m j T2fE5J@L 9\ZtBnJàMcիA-Yxn[aQ'b1 H*5axiaw󎼸!"Myy$ƕǹ!}2MXI 4/'s'gr齻Zbz_g׎q~' ӓ% J%\Os#. }6#ugd!azXl,, ^ŷ6Nc]Լhc`+peX*Y}ށfwoN\[hs~BL# j?xQiك|T4;UJ y_%T BLr &rYKlyT׏0H]Nph(wt ;6:Lo"^+mjg6 ߌӶgQ_u!UA !Wg9ifqGj.B=VyK 5"壸lBR|]< ZV8"#B5=q4/Kh m}P~I"/bHu% uydPɹq_*޶\nV)lTf/6"$4qlg2ɒ趱A! 5.JR>xF_녞!tB#`US2*[EA}oԲ0U| }ߜv)Zd<?l:DY;L`vR}"( 8\)(nR-7"t$|ȏ잹tn@ģhkvcrhٷ9 4f)) Іq ac]7Я6|S)Zf&)VeGviiϿ,4A#r yA.b:`N_ Y7s(K +8`]f²jc]xJ N7$^YdUk/9  @X)^"\w^{Porp5_ԃ[,8P_5pmNL 뚕P}Fw8Ț 5V0W!'+o (@W2[ E_O+lws}cp'pۓ:OOH4p%f ]ݍQE6o)7O`hWT?iɾ˫+)Zk`5|a3=[}J69꿊W$G (:)w4Iv1CXG2ǫ[=gzqv٭)_gn#e*d%QrA׌mQ-[Y,ATŇK@ظzA*iw͂1)~3 O_ew[dOhalNn{;O fQ'^ /Q'lnڿb sFThz5P@D5OUGLî“J͗o66I0i_(kD.>߽)DJ橮bcH|6N1k*_R$Nܚa.PP[UY"l'6uu*|;~M2!7c߃uUXQv`Z\tCQl 5c 6T̲ [˖ɞoaVOˈ[vq "KJY8?z4S0-BB FۑndBkľ3_Bd*vu.3rGc}ר~_CB:IhJ5I8$M}7hPq8i_ =t"&I{ٿTx4YqlVmhQU,)BQBφByHpuFݢ=g[T*2f%t 果6}ƴܚ"1r] Eփ]@N#~zvZ,4\Z%o'S+dA&y-NK7zhr%aGX%k=WL?\Ar`OZ2IǾ0`JDMI%dn-HȉZ5jĻM |lHh$iգO>L9|i܆my FS'mFTp#̄cï2$4_z2zOԞox̙1э&LaZlN$v5GU6bOq4Sevi(sL'\ygqaY-+]Z}GPJXG pGvQ}od ½K\|%QZK*yKY^r1,C)-t T1-vII/HnAܝ/eor x塊d~q :W񶋕Ky^?T,Z̳ 2)8!#8$o#ktBH}-i`N+N wxPv!s|J4gT{ kj#(>IǾUqt/(C6`s\hia!~w1oiNsxYN/c;pH+Iwݫ,r3 |wlaǼe˛# J[ r Ÿ%(UO@UxGP)XM!g@ L59 4[UEB(DkbIz|TtV79$PuNAV `O>gF4aR>"7TyUD1ecUPtkv1bׄ Qsם=BáE2L  H1$RJY]o!D38SCK0H$g,p ̰/V9aY%')~R}n.xCdTƐ XMFjKYqJd>mKyeۿΔrK$0aa'>%>Ƣ'b\T>6{`fܺo?VNXIൟ΁ǟ%>9,E:_Q%mSՑR-jV(zOs]EWvsKҒGT#پ^ގO i IhE($&KZ6f%VrC4lz ݌Ezk+3PU4%+dRV:@T$h&`NV`o؛>ܹ({; {Xd / >a\kݜ D@PCh>f>P`<(L D][Lk K 7TEr`yd@#% | >u]LA LZPH𨖢o< i+xuT Lv{k53JiK 9 9R@ !Oy<^UmҼySl 8B+,e]]?&2vb;81OhD>Jv9rJ8t!D9!atҴ؎/ta1d^$)AJ \YjhO'=l>|'FPi_,9-ڕNaBb<Я!h1diWX2ld(q"cAH\,xL"] 6}R8ס {Xr{ RM>*ҭ 4^GrS*#S<5e3rO$aN3{~+q $nBkg}cPy8^H7ِ(-P m5p3նODu[,$ABe?*ɶH\~hYdBl>֟)r*wCB #ρS9%G A^ ">\H#Eq,5ۉ򿬛8a+'T j{ggTy=g..iPP5lau^-D@3ނ JCUԂ>}4CrkS@Qi;Q}*g~Xd'\stG,35P^m MLwg. EKs8CYINz4 &8k+bC ^:tJVSH=s#ie(ګEKN/LNJ.pӽ?J -ibŠw@wnƴCh֞SfJ֌'38u5U+Հq~Ԍd㴮1F.m+zb_!u8N/,Eq#{3pA|QF6FyN-}P I,|Zv5Ϙ}oeP=أSx#npsaXj:8jPE'V*q6o3A_y.ENڼ`y86[_!:`1tWğ]*"tЍ-JvȽQc%8r+BndH][l R`@I;I#9"H+[T s=t=G?ɲT']W0@m.*pH~d8[h!UA1}׊0d_/ʥrAi=BpG\d&ټd/7/ـHV?vxL?39%~Dl'Kmi!``!O+pBB.^%'7#7Ȑ~z2r_*Λ/ ,^{~mP%/5pz%48:Z7kۯ 5l01<]\i~i~gX!OI8LW[ۂV a@ onw >ŬQ .5HI!vE;Ӽ 40%ÜWzQJi9~_2H.`vJ8;}|[KTJ0O3kN\5=L>՚LӽUW}S2MTAh{n07O齳H|0|-P?`?ۑކ(C'KS$%m9)~l}DrD SnV%'+aɿQaG'lx\"Rʎ$ 8L_k ٬ؽX8'+JʸA0?$hD.87!n N:Gqc)A3D޾.+EIۻGɌtkKI/ fڸ4q|d.*M*4$ʉkV|3êzV%-sO-UxuNxz\= bGr"h76FwOf{do} Da jӓJ?c;AC0-o#VZ}Ui1hw*vMMpaw?MͨȖSPV ^cd&6-*^^\Zl,H9z ͦ׷_u!hMgIiSz/)eDFR'ú'l'TbA0`(jqV4O_V-NYrken[u_9uspd* YׂK85W  % TpI-3J9s!^8ΧCpJqh/6hxǰYqi%S* 6 \AΥ&pOsخMe^gGR@H!2}p;'TWF > ʈQZwț]7 $i9W6< s-yㅿ|~YM'JwHddlE/%0"7ń>o>ֽE# D%@5@*Gk3cfRc `=#,&<ϔ+4W@`AnR!473uUߖN|b⫝2̠"dY]@ j Efh?̿OY]d__;rZ wjKG;4i{FO4Ϟ/{gl1INll c \SZȒS#z%]&: y+Hʸ)r.rO/@W_KCnFHG7 >XP-CM &/k[2MzVD~;1LYӞct o&>ּ!BrG.^_)'БG euvrNXp*6Ѣ7 z 2^)jY| 6!MBY+Qx͟o_,j+0zqq?*+4ɤF@ݵaԝ pʕ?ix8Zq yT) v{AsYkdGښe'M=_ϕ7W\%5桗< #SMMJt91tP</bsE5};_Cj#ֈI㴼Dm|gZC(\vL-=&#4.#h'?:/e/#YX8ůJѱ}p>:zKs^!x!c1>U9>P ~,FbsL=P{l.*na* 14-@bJBUTW9`QڕAtAY"5Q |=P]8|5PwN+R /&ןu6wfUًP=omeyj&)T) *^YQ\6?kC8:;\Fղ~=0LY Sȟ<3驍?tf vr`( Jm=c(Ig>Sڄv\ըø@$:kj\ E'k}JKh7Bu `OscA5Z̢'2zl_ׄ.Zwdo8JNQrU%;Z8!,QWK0D zQQ;\!jRȜݔC<:%{b^@P:A 0ӫh=H]W }w\cKtUS`,;dxj}MtѽXPv#M<xy3qqؐxۉ\#l5S0&[ϧ' V{UrRIҶ5feߑ\QHRI?-B|4Lݽpq5H5Ǝlldrb)xsv.5oocdXm=ǽVRb4@Ȳ},QpTU^1m,C<:Sj}5F}pk&ppL]8v߹Ii0nYAOА9DQ U3!<ܔoٍm)ЀitЂR~caiVv1 "uoroOVpN1->\JEOt3,։Vwlnc2 niKI(TC4 g22&jCݸKףI 58,#98nW8`͸K`1 "&V3+B<^{tQ)Yn [,&Lܕ|Y)x?ڭ ꢀ^%pS$U/0ѩۀgI\z3:P;WP,)huVq3-wLUc!nxԀ9a I/(a{ blD)ٲo G->g]!? c :bn xNbag@ap93nCȐ!Lwڨը)g<O =G3- młeZ +[pݳ^`TihODٜ>Bs&ZYoI0L[Mm-mOО0x=,HL9D C01a*]!߲"tJByi؎ JRؔY Pe ? u vC*{ Riۤwӏ*~:WRٶQ!t,Cls^ 1QتY 98R3ϟ0hb|Pr$}uYjw.WM $:~Pe݉I*5 G4QE;78@q9azJ> ֘. 5{$T4u -2evw(0=}pJʫJx=$0 !Ě*baOȺ8NTwӅ3QsK<#,*B؇@vJ*Za)~@1w,>,n繜 <%p~(.HG$ȚO (;jb jaNYXnvm^ĭӧiHC }gjZ wmr:!vlS|O]>Y" .6oL*^P ^ΤZ.D_^0GAQ |}IVӞc?6a *uHջ3Gd"1ijׅ\UQgev0蠲'94&"L \[G $#r:P}}kC U)ġv x=H9W*ʡݻF/M`lkwme*[l2`D-X|8S7Yβ_~ۘb5&\~BU t9%rjHcݢYZ 5ny`-ٽ˖c 1!U{.RҊ8"y$7;ٽKlFq(q7y92r8tR Z]󨿨Ƒˀgj(6#v.TgH0?B x+?yDɐ b#Y;7W-bT,E  !B4$0k/ߖX*N݈oDVe#ZZY.?2M]e_?< fnڳO9,n#DE Xb;Ա+ȇ:!V<>r=(MBCz//*\1GfZN~A3N^Co*DοN$m)!9!^wr|9YsiLc"b+P v 6 ^Hn[Iܢ; pG$ W'./IضnƒMp8F櫳u=\WIoՙHZv5[&Bqbu]ē.UX`en}?ӎ9%NXy?% IK;w~Xpd i\ΛuS L3mbҔRL! $sOKG^w,dN"EZptx,J}.egFbG8VXފbUi]_3rf2fGؐ|N f"mF jL:U\.?#ܙRGdr.$٪M腈47GhD.h|`br"Ly _L暑+߳odR r,#(@wn18anBLM2 =؀(1S:7BMyk)P+{(#e'xR)%]Wp {Ps-^ $hKT9p2|_߶.T/g'&`W װo[OPi+ <KTiڔ纙4-&hkڊ fi`fGQFw;:GN@ߏ@'.#΁ְiZ Sn:3l6 z-hˤLko݊>V9'o)I7<$4_'J1sH"w RlﳭS[@s=ySp Ɂ|υ:$w%4 #By]?xZ]' Dƙ#@aW 8FebAvh wr7>^f,J&-.s*q~s qCIRy]TCrRg騕\n[O,AWCh rZWEz4g3C7zA7+#7Y6ʺu}ɇnEh<s'ڲX{?ĿW-׏ƀ2r]i ,Iz!=P]Hrx]zo[Ra F( M5b ٧L$D/(; &M%ˋv/_znŮ CyѮwP HD!NdaRMl/>R7Şʴog\i^}_g>_#Av#s&Hרs\pP C=TK z8@uӮlC\d-8eI4:J;'=> #J\^u=#qPZG,3❒g1@!QHKL=#S6딟 U&+U y[;,admfŕǟ6wm'@ةYrl`;RWggYZ7zXZִF! )]ŗXiɟ1$Cܨ }X 6P]!ẞ \Qh_-[} 3Pc /Z M.) m$L$qZV)%w!~u 6hg> a݃#_\k|YZ()glאgM.nׂ}& ^|N`?J7arQm.RC:G3V Cl ˜e nW6jdlّ2N:T@M$]-`cDr{ձgYZ7zXZִF! U ]ŗXi%L#HL6do7]i&`<יUhבfb?[r[~dҪ} )Paѝ|IMlyBT6iP;7ޤtoެFB@u6:3>ArB)˨f:lzpgELQ, BNKR@;;C <h JN8":|H+bCzN-l߬P Tt oٛ^@YUZ[ >{ondbu6![NJHkm /ͨn<}߳`!ɊMy ȳ4J/ś d#Dt2 ~gnLe-,&y^#.D[D1CB_#rRbc=6|U/* HD0[bb[=Z@oաn(wĦK7!kv^PbƜ}+_TJM~aHΕh 9V^XMp~fԪB9t5@ VFH"S1uωhYy5e gG+[g;!I2@cCsLQr"_@Zu#{Ԙd~uc:Ii q9j}9@w\ѓh-EV skbZYcl~X:'㲭3'*8RxcЧȆZ @k̏T<ё(X6PL.D[*Ti[ltF>RyS"f#Ge TXc0ʼn+Op iF;'O6MatZnC`{Xڌ1i\bHfe7x5nZƵ]6=Y &UQt[͚DtV ,[8\|j/l jU@J>~ɗF1 G9t),7Zl(ٗFclW*SA?|,Y83CV+gFEv^_{f,?ީKIw")n!jyQ^!:zcR;8Vg)\XprfaW='|9[STgHkz=Ru/12/<;7"iӭ pN7wz-ӶD-ԠZ9% JJMY[óg11t0=PSC+qOUPH^v[?0t\F%Ĕ$-ҨC~PC]NƝSƘbwc:t~J_,6(Q (3o