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 T!,l ]]]HOL-Proofs:threads=6elapsed=636.417cpu=1505.944gc=250.456factor=2.377zXZִF! -P]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbX{-"fPT5}Wh%)k˩^gO2/,{ɋũ81@Fi4n~D5R>^CE%|qݺNc" nŤP5nLt,P‡Zo6*"ޯk7^8+r$mAP:#U!/ c[(gU3e{8 z*Tir DV9x28%MqEo%m" ǐk8>=}r9&4ejzHU#珱_AS$Y?l5Pl×T~3;R!/73r엧ge5{exߓhZ/Sxk5_>q)G1G%Q&4n{_Ɲ<@_ cDih*0[Gx7î,&껵Uk1 XS?UʨX֊鶴_M&7|Gb8i@VB~m/^ M~]9]?_:#otЏTe~(D>LJ4]B{tUOKdp[K9EsAhǨ1FY*61/mYԯkDuEr]\rc.x2 qz q_!Q)C1]Q 'rd|/M6ˍ|wyͿ^E9BWY5S,(S׏ COyNpFvOpmz\:RT nK)ŦKp$]K1ylhoHi.8Wܸ"VTj@;6]*lHck_ eӷFKBG5h>CWڙX"]\fB0!CErWD =g/0ET e͔0l1_M=rdj)_$0Wx"zIJK6ycDYIܑk&S1_zJ32ވiaY[;] &)Uo^Ok؞q?2@DZc! Iq@ӌ0@49@"FdeR-d$k C+:IKҦ俀3Qm}|@x6DϵJL|qw[~Hv ztc{2Cs)읡%c8}5}y0DƯzzV2.Ff${=M{Eƍ|s-Jt}?Pr-c|wfCS[۵X~(_.y.pSUA9p.s>4Fa^`P)-Ee2 n0'K EYuheuUa>֗f!\¨&{틂6J'E)Ok B+#YTKjETuC-]L4n-sFfFC$XQdn̍6]XW/Uw ֶa$N~3a6w-sI }ЯW>Jco4B!}RƅZXJ)NT# D#]tbN4y 3YnDŽ֔&ؕ[nb!"֮nj zu}J RNَ;g* '0g\>tU2'Ux)v0kn8 ԩ k-lN+{,V_aj+T>$>H~a5|UAt,TQeX>׵R޲3Q=cZ+[^idț..8,1HlQ&h7c\ACBRS:IV-.ow~TGH.ЄV ۞2 WйhZ oaؖ;\me;7JB042u. |405i&fEٻ֬w܀Wz h-Ȋ.0F&632<џK!!;Qlzȴ)l Q::Fm [6HMpɚ /`bsC^% eF4z1(ϝu\(f}3;>~`:Q|s&WJWW]sA}ѓRjK[5è ]v댪 6kZ bde?$#GPEDC*Cz(sc6~kD|Y&+T';qՍ1˾inli޺5B@]B%z `\z?P{i4#ﬣ[0H^f!xzΙY-iLb"'}&"y"9lDrh+IN룀

A 9 w~j}hds[e= 5Q P I9j/2V5[>O.Fɷٞq隸饚t~=}B ¿ *IHL'1q zp?‡6ڏĪ#RH{xnZyfQcԬԠp\(L[ҖY8yb=FWBBW{;nG}"Mז,!!LeD TbW Z> v ü*2 L %-jg9;tn#Yl2-j#]# χӞ菺Ѐ . "J@QR5̥iLuf|`<M PQ}usN+1MA\,},GrLr2-JnoNUP"7Sn&89Id7 5\> 81ֹʿʶDg"A.M9aYas]ЬqpgC =0gAzr^ >tU:x?8YVQ&߾1EM!!B04S['^ۚW#|:un s'Uvpx3giuq $JAvl]Y5@YIՠ r + f?|@1<eX:`֍YsC4hJPHW/a<&|Ͱv(/V&ZjQlT,h:zE@T@87m[+qڮ.}&IQ3K-raF4}[#kskkף򍺑Xrj!p}hWq=ł2q S {o̢p_;2}1n~`=OPŒlBNMia:| apĕ{>?EKz|O'c$Nn{ieՈ]E5WE WXd_Hh Rť9tV5M\B^'Eߏ†~s^W8~]G&y]n;/8̸vAN" .P?K$|s\AK4y%~)>_<|hkC[\yTGZF}!V;MT8?2B#MV!>Zra#fT_rRE%Fre$ޗB$j*=k |R4&yd'j7Ϊޓ P042e6FL\3KہduqP1z׎88q@r+κIFbXq'UlH{|\Hڐ($`S-6gU6{ͼYrܢK=v=SJ/`U1<5ľ9$Q៿}ߔ]# T1asoūYZsYi4U kjXx#jv ]3EA2D"\ڠqn1"=H"v:.ʱI0$Hs[F.Y`WmŤ7꒯xkA29~ImG7GU }eV˭W֢`N:d+Nq2,?5 u\}WȓHRޛ?fDF@g)qU_eU %Vp =Vl~ܳ\* GG^>4=,.:yjZ@`O1xu;>+ Ѝ232RGI#2ptҊdgnOU6aaZWtH#†qy3!1k5,0ԘpQkmP#[|ZߒDv r iB6$_N~@_ 3vu,֖HSqăV)(?ׅt$+Q7M ps$ <}Z;˺%s0!pe?"Sۀ!ۙ=,G=h|T"cn_68gn׻@4}/URcfۘ$}q|O\X1toU>aͿAd7afW ROay, ɫmCl4x.ϑ<6 #d\Ƞsz$?FN$ +0ńHGs/&4OڝZjoThf?@zti(dkox>x8sPm)7뱾+ÑR8ȇ*8^Y/-Tt%li.Xm+I?2}$]䐷s8W  $F^ )R#pU[?A^[pKQEX BEWmnuvgA t龈Tw]f 1a{qtt#$sik3m8٩M,}@qA)'qPg>p"|{{\4ص}p(VR&3਑> 7ĩ hnuQ'%'rܽA[:A\874P|?>*ǚSc6iL|޴$h A"J]ʟs6g@\r?+\r@0W (j΄@^Ǻq$ЄZ9R&m[M෈*Lup^T@(,WLu՟ʾl;X{QzeH]EXUrfypW qt[Q|{+qDd?J8G#cX@PUcShy:*s@GeկaձhagnEcTkgޕ 蕺1Cb:%BQW"pi@bYUA1*wM{Da,rWYdhzoxgh4xI &Ny#e7XO W^-8hþ\॔R7JJ a.G0E p,;'E6ѣ Y-#>cn4sY#?Vv&rpMyg?ks=g#ۆdUkk㑤d~} {'5⏴o$bHQH%Lzywz^)Lq=Sg }wh}ɧ ֖ƩljTA vˣ]4#-Kr\IκIͭxz| BᥝūwwiL^ќ%/yjc!44F#bdnDD3x u^,n~ e*EQƮ R6_ÕWoI|y寁21xɏ/(3ZHąh\hP{i+aâAOcmHp)E(=UsBbh@뼬TIsE/<^)X)l5t%=3RmZ}y'Gv꺈(9 w K`g(8rtU$sK7g&S$j5-*\Ż)_6"uvmAs֥/hP9T)TH9'WL>i z4/;zPFaRդÈt־gJS^>w6WKJΘnL'ZM9h05^ppgh ok oH(>#*z\Ed5y9kM=hJPaj *.ϮNɭsDWTE[Dral}ܒ,+Kek ,~"5":Ch8_H1Y] C+V>oN]ιiX "7\JW|]{K:p+\A""!E`݇Kv]0&W\ZADy4BHc, &sbl>K"ف # ,@Mo>;yLm!i>|enxɑ1N4^AxZ ys1@4G VtL_%bsvj}++ Mqsx R(vSI/g&Jxw"\kV"vI[8,u[]A\]`,.V`#UZ[j Ndǚ| $51*P X4@8A]k ZN\#uݖPP;*hWNi&o-Uolt F> 8~**xsMS_B/b/,6 z[_ V}%K'#^x1D6s\><5zyKxBir (۟F=/ꑴzuRըWXy f%+_U4`P1AϙGc]9#k`<6@Iz,~T}sP|gR2ͬӑD2JBQ,NX1(ABh>(c폠%TOMi\7z(x*8*\LU0]zemT]n{mH #0!GdI HIqoˈ[d g`;Ɣ0c @oZL2M ZqvO Eoj<NϓV۠q[/TC[ ij?J>e]dc\csA`,ea_w󅨿WviFa Y z,|5uoI]y^"2c`MCT.(!O~m;q]xޥ`;!ӢJmR qs̗*\hR%<;fN8д/?N,r":+t1w}GlVicRh$C0H!]tR8(1P N%%e}N*NSFun37Nk`f Ԓ'f{=\`mBȦɨb؊NJ.X/u]d9mRGt~oy n-N1)Z1|H,Sk\,Nv ;̌gX NDpڣ 3Cc*~߻AKVLJ63w[j  Nu3Mi:Ơy+rx a*@a \E]KMט(%"}j$.a2\~R!Ƭ˂ Q!@=yf*Ɉo, R (YXxˬst} {x}!$LIs7+fz r:?3<)6]jQRo-]zrYe%(wTEH+Q>}j/{ V^ ~ 8*fq_^B K|^5KBT%L%AbZjW\ϸt[¥B=o c9V GCIm[D fܐ5F=`Nٮ<6RHp`sV񽛀7~R;H kILfnS02L}’vu&EX 3?j""G [+_z.E-y xа_W9#rľm= u7QWt.{N34cC5Z\qiR70['I~o֬rw< ½@49\j;i4/#B8:Z'_0tli2+įś8 ȸ<7T#%LG=D,fgvDJ"u)!~ ׿a6D #ʏC7gXS0Ь+=f W-4wr2{|_X(ɤ$<fKk3޲4ď,m7U)2O=zK94&s3J0Hc;1Pu3k(J0o0ܹdLtΣxZVOe(L=}z dmonK[khޑtFc6RJr)BJc r! ȑKa(HKS l 3K[p쮆d6d;+E)K&ӺhN1 4{S2?ʤ_O91(F,Q(/HPv={*Zt됪ǘ9YFQOy'T4g7d'+{:j照Swheű!EWgܖV]}6vP,չ> [n[V96/4fID  'AAJYsqG| p8 Wm^H1r|ZÙPj9Yv{H(DNQ-'j´ gg1h՚Rt˱QWiD{'$ ]qN&QXuP,coظd KIv M&W0XkGfoR힠k:8rۭR&}4jJ$6rri|pZOH~@Div(/+^N?ŗ7P1THX%93RiAXm:wG_]cNx_269fGw2N܍/΅3VMنԮdKyvS 䅦&nD?Qk $6Y!h @`͔Ψ@1k|-7G]\bWo5n& :1JT!ʝːo"pZFR]);0Lx67tU#2L-QKek?L<+S.S jvsEMEY&P;[N내o`cFi *WO+MHɉ~|* JR~ Mt|Fl a\g 4ұb4"ѡ<9"nD6> 6N,p}l_ǽnqkM/.Ȩ:l3cn-/\vNeÍG1fur4K{ʣrUJF8lZ?zԗOBD<7J_& Jsr啖LiHr $ cѹ-Um XDX1:YY. +U^R2S셱8W+6lkg?--}*_HZ+#})}+yuel dVijv[?ږ /Hpľ B(Y ղ^[6/QVp 2YtC'[u ;tE{Lg`eb+U*]1h6rrfbۉڳ=zT q'hjo}m0P5lxߋcf*r="֊z[tG)Jy0i\ɏáu cӳJhG1<5|T;3z4~Ŋ5crbQ[~Ls; WTTwْny rb" s4A W>&Bp.&Q˳/%|U]!4Wm-ca)[WmJˤ `pAU4'K{Q{~3,ef¨KMHCoDRO=f⸐$B yG3^v߹7Åx+W%{,r}wD^up|i@x^#50p-*D >7j\4$E#9]bWY56L?!XNJ%!f$q#(8UoShb9^~H`w9= 1,A*O-X\fnZt}aBƿhsUajQ uSX'Cv-COCPKAM>˜%V/.#OTĎEſA.sM[_7tĂf[=#K5z%5gQd@Vl^e7s\KUChjcu2!TIL^VkZzO6'-7Ht.MUraJ*[).2U|~}MBѤS1BW0ی(B J@2EK.Ui%oMZtPMό&R2 y^.]p9¿P)ws݈Ocf:l^2Jȝ)mN#DQK2-E)"N}YW"4rW~9JЧK);ڰɺ7VC\]IiZz >Je W"^XxQq\ vu9O5+X7̴+0BԩԄ2FЇx&_(  pgߐ氳(ҲZBBUА5:G32vȔ..<&4wl<3> C)0jP{>G^Ӗ`./fgMn,X\0Mp?8WݘQ1Y@iCeb]43~DuU T (btc>+DYr__P2bC$}Cro>Y9d3+8F2<!z Q$pE=A|`2NB>.ZZ(Ψqsr>%S$2w ?v? [\wUL {95)[e~mDmL]]gG'Z";ōڒZ%h`N c7A9q.id5AuF1 ;TTZGr~_<-EX֤gW[9nGOat)uƱ0f VF?K%_y7}.ޏ\)Ri[=BF.\W+ZKi! :'s4Ƨ))sene9 ~|{|sѓiVu;nGNK^~o=norxɰzg-GqCnΰe5ʀj>J_<H>"2z6}Z)K)dZы̥c/|[ɦkxcUDĦYܠ;A)[G'PK8 淪\6~FU{\˨mN S دY)2%Eyi&*-Έy(sxA 4DYvMN b*rXS!|7Xm~]X̵췍9T8K?p@6mېQC@eǚW9cېFT'tHqjS oscp  SqY>kvPP 0G !kԨȵqA=/=Ŋ^PC&w.$6YrǏ-K+7_4Nr}'5˚ϫU0LlgO2?Nl`M=_w,9VhXg#N V@(ٍPvŽaHumGdƦ{Jx-F1I-AATjyGٛR$_y꤅ 5bm϶Wme3)0YI@Ǎ]}u{RmC"V8kFºnz3mU9Wi8|df?2\Art}' eӆCb\ǯܗj$UOi7P#2쪍b5/HWNBu~qOɋ~ Ҵ$(hu5$gr|XZsyeEp ed00vV8ǿգ9Q,#O ?8aHE{p92&\_b5iFyD.brԷ߄/c` 2ܖ4H`g%>-J 08j}ݩvRY,SlG'5Cͦ}B%~0pil[`k(t 'z\˪ NrTMGCRBt\b%D2|MS@"b_:8\iCk[= :" tBk4h>llYgB-DCM41k`3 =wQUJد³yZxG(ko-oF9]s>bw8n(1:QPcC"h s. b=HAp)‰(0ҵ.w/ku*P?wYqA*ϰfo?yL*?7}$W\+#y~-)f-9u$C}o ߯^vmQxg&'i((_aT<RK|=hǏq!Ka kUC{ t<"pE $IPP=#,J7D^x f}'o/-ҜgϢZddsLjO]Wa/2ӃjQƍni)Cӆ{QW_7tÊփhkz킌 ]i#`|Aϑ6\KY= sHlhqׄzIwr𔬄Xnrqhu@I"hp/߳%:[}}qo$X:#z]V;jn#?/4(E8dvBDzẇ3g +>aS] {>j(n*tö9i%EAyz֜asZ_|}$#i"c6:LºFjoI^#W3yB+F=1q|hFI N(<iJa)̰sF|<$u׺*zr"We}>i"e;noxMeۺ0UIP^ Ap l/#S{(GSvfSDDE}ťAUqă ,_^F|{CaTb<=SgZ{w,K Iۃ02݈ZE1#.,(U#@d&g-.9SmXgE/ "tQĜQovwi(2(uqSj0["q;4o;tyHK]%~1tG.{y+_@Vҝ[# |%cCZ^15֟,JND`cN{!(lWγoM-Lu=-H>&pWȕ-mU)ycU]n]aUhzVvT9[ō1T@7EҫzF(gSĞ|9sP"s93`)fOS^_m!FA9 *w]1#]ߺݞD ]"6> X5qOh@W'ϑFmgL$+.''Ԓ4eIfB٘4S^niԀ={%:ICrkpo|=Ct7\t|.+]9 a``~Gmr'0Obd%Q*ׂ=I(3YK f?fV;F=t2^8ˡ;p"ر,AV6AekYq[tG4YaAX3hHG=9[8xf.T3/!I v'AU9 (dpjz0Aж8?b4`rUc 3iΫj;]N=&d=M ڰk Ka/ 8 B$p'^tAz[ JxMh4-=lqCVД%ٝySѤɞ@y.="/{<;|RNGuOOշ.ơ6?*RwNXqjS԰:0MC2\h9;Brz74A(3 q*@M#6 |nb*E9~8x_m T)9[mG^\ N[s{-YYNnz TH}:#y؜rr(73)v^uwW7JKp,jpLܚv#zܱ{pQ[-e`rz4=k Q]=)ܴ͙88!ȬF\Q`u.cL+t*e?&#~W \"^a4[oE4_<Ma`O7S}eBj2jty.]tw1Ao ] vX9>v4Gu$Y̨DPT< $<* H n VJtwXz =c&cSqMT)O8'BYr<@*'j)W~#O˖%+:yv*z7Dq1VD %\n6xҨbQl&Uks C:2 "C 0x-eԼR,h $߆PJiB-7:01i>|YD*HTyjFu-f*j$Xzװ*0lMd:Dj܄& aܶF/3^օ G6q1Zkp /k* ]Oi[;sgqT9(bAׂA$G뛁Xz bh90VA:6?AR9BY,7)\ln9hoX,e<.ʊhDh UF*Zd "ϕj-A YHdžLmi|6+"WD &r7 EWo='k w7=&$;pwq2y}|ezȶ^{|*YkȝDS+߬Mȴ}=R0@F"MGdCMa)Kh||E// V@c55'CA#.=N8=xa;䌄78q3UsçKygqjcݛ1;ULlc$"RS6v<{ctl~p=fO $Tɖp+l%%Ũua8.Et#T>G.W )c@fp:խ5H% vS$۪8 wUJWIՄLH5_ᛅ DJ4co<^JG2_a0llYTWGTdWL{^Ty)jKT hg=;UʼH\Ksh,h 7Q6hD0X^ 5E&@3ЂypόdP`@R[Ķ/p iMykbkHDdSY n?jRrnC<4LJR:Ƨ;Lg@[wހ}H qW."gEcB bi\pT4 ]s9n&]j}WBg/^l}#,,Pc`mef)ɘ%-;{T x?JA歫,9QsݾnfWv<`rZIViIJ;ٶ&Z#<% >3v%S2y>VAq'%V۵ykRNh?x4J0"~r=$fԋtR}|cClpY'lzX}xы-pLG*4yON szV&J{Э l4l {턚`éG=btq5̐da/2'|ǏI=Ƒ%E>߭KaE 7qoYzM^4eoB1! p "lo*q:WaSAK*]/n8 =fDM@VO `?^?=Id4ޠv[h\٧)/sg0X!^ckM}l\α 3XUE4}: #?M4_2iA42_l"тp__O/I$Rk ÐCjB Í NH1 #v=Ԧ'9B۫j }6a"vЎ_T hG H.x8 6'dq^nvi6IV[7Ai硓AeHo ͝Ar8=eVS[f{b7"hX5sP1ذ @qhM>^FVqʓ /qsxNQ881p`Sx=a4>r m^{zOda~5ӟn:Inj 9vеѬ}Ud >~ܫ'BM{ IwFD(5:}s!ѱӿ918 mmO=#(6[ )jCv:WRcGSs$ܺl:_5Js$*_0X>{nGh̤m,[/j/$!”tFK\)b= jG#A1pm&|wd|n jAs{m#JH !*Zu-Є"=%s1cNHXs̴IQϲLI EݶF33q ]y|83#TȺZ^΂B 8>=cYq( r TդK1e,_[ԁ R>( " 3zVBPLpB0̼AqJ7vdX ;QmnWs? Dbl7>5: eN2A**Yr+Y] ?-@dp˫_iHK0Ty@&غj K6-x. TwexH񄯶+Hmr_i+|=a 5N:wk7 VBM_ep2ʹ]Hޢm'{ui=Gt Jlc UiRwd?J2RAc6@K=C"˽ 1 4Q%O sPnsQ͝ƨyt:<%׏!dS? aA~"a?>Sgk@W-a2Q F8Ko@,4+Q1%ST I >dIƋ7䄑X0\]@շ?@I}E<{ \4W7JLW, _Z~YXH9[_*9yXʲw{[Fʬ%VOy^xJXj)q}7nKڙiT›e NJu_(!;TP lYEhSFf<A (WA_*us# 65A3=;8iklrKq5.v%UV(E^4!q Oti㶰ws^^jeކ_&u#?< )*Q_b֧Id$Y:/â_X$27|91W i 0Y(\\ 7X0d>ut=kMya9 kѺ/=[Ʋ-u$`뿙_9nY`fo=fםb/-1' 9/]7gx6nK[frhIRH7Jc3jY;Q'h2)AL6eLyl E ] >X =S?+S5bdd`T]ǻOTgaF ltǑ B$vo!\3إ>qIqki( q^X[qae޸2&)MB4Qp9ܑXGJNd2[9~CXct錁s[:ߤ YР#G ;xKǪWvY|x:Q~&4=%b9׿N0y "BÔwR88~w΁T=.HJ/rfe2:PP~(F wce﷥ ,Mh9AB&xTʪE܆'Rk { v+df8̟$'z7{IduĒ_昌*hA4 v0+=EGGw'1TKZ:QӃ] 4bn8{݊t!nns^/t`ߨ2wԱrPC?X ~l.\6/1,z`˻#:oÔ:ܟYzwU4t]v^wWE{$'PCx~,w+ s!Q[|e#8S探u!rPpF9sNTUjA(eؽ"{C?&TqP9Zf(|oy,O?za:QIRD=K ARNQE0|;N= ۙj0Qwwx׹yȾZc6rt5:fy(NN`A6FXo:۫Rk͖ev6Xa)8QqZGX){[*ޖ%rs6˂ xEN1S/E*}:C˟ <T2[/)oDosGWΪ 2o{Vo/:R`ɿ˖@ `RUOY(0xIx<||XaH}A~mHZ@uhDo*&uB.ʗ}P48*",_d2N zc5R:%@q1݂U~c'37CӂoV=S\d@>)9obxLhLFZ "Zlu#ñHH:{%1ԩ $8+}7Ea{~.qj zIϤwJ^X>JbV[r }VVos%+tuA:[t@oK0}B?Bqt6pt-vxO-nR6Ė3}he 1'-1<\]J>jVF{ɏ]/g^{/M,qIoe>[ӌZ_N⁔р7;0:NmI;9Z2_,_mv$ttNҕھr3cNKϣ6hkIŷ(a_0$ ֪t6%(X"p DUqWI;A4-g  llT(O;iѾ]\ЩM9!ߑN…c ;ro~cեǍᗹȁ~ tF]${ U=\N<S\cYB[B|1{|)wIvFj%/aG䡰CkHrQg4, 2@YS,v84n 2Zm8)lGvMҍip]??:f5o oxe(9`JA F%Gȧm[3"rr tٛHv+Yk{xr>XPpw+ /. m=ֹz&\|I+31_X a5Y=¨`7tQ huo]\Y{v6K@ 8au(Z+!L5>noϬmrޚZRbeTYA;bXr&mamX &Y?7" %nҨc^ zCTۃ9oY\c rVi $w#XH+kX*wo2h%TfY ~A#F4LQrV4m@Zhށ=MO񆣎Yd($>]s+]&0er.* meS* /; hĶW#ٚ@06jSqu5J<X4|صӌ ӖOwh#x wz7"0³I)mEڈc,A-p*$d4>p;|^~o画/i2)_q$qhhFZm+j[ݫuUhFM } ?VUx#+9Oی;T;sY-0ZLL= pUwwR!~3SyĘΐtgާ/N@Ҍ(U[|yM6+! P"2ׅ;`&j3c1D63#!m[\I !>Q9KIՄ{w ӫۂ[`P޾/3;I։TTwy/Cho$aAt]c-tMUa<@_ie+8ǐ)qx%RʼDic=KX7<^ð#Okնьs_X6#j&5z!a 6 ^ӳ0d+l#k<2bPG ;g8/fS>PHcۯ!]Pc& M{ܴ~+5mBw.}{peƶ7#)~xUmaq\rmE(1# .,`N ]4(̂fƖ,?.J ФF=}.^L?/ǻv۷iH.rwcyшYd (-"f7/LQۋmu Kz `fD$2;_>Y]J d.yqO" @A~+8&)+Èhz]{hNަI lJ5RNЛkB4>:e'n~eW2Z"ɝ#ݛ_fZo A#9Z2Aaw ]wD8XKNz*>n&(ۋb R6{ 8iϩSiI$YSYS Eer 4_PLTd /4PCǥ0x뿎$8>$mt q=5xA#If&g6"{Y3 ,HXQ֯ZKϹzWmn)T>EXEiER[2>wm+NZaAzJ1݌k iAc1C%j!K=H`̏P %I?A/:a 4ySM'0 6%+/&YS"#}8fUY6?MȻaPl~!DU|_m4Y=xn> n I0>* }$Jڵu#AAc\AN,A`W<0dϑu&Q[8@X*$*ZF؃/㭝#`1'Ssb,8TZ5K񟽋 ]FwISh>/!TdH*s/ˍ_1(6B ̄i3&%ҩ~=-غ:+D:]ըZmds5o!y ?i-, @%=٬b I|ͤ I ItKm4f-i# t@Ksy(VS&uKN &pcfڭc@?z}( VJuY%~aLSٚ*%H\"t?:1 w xvČ.P~`JP~ZSx%lˡDC6l4NPp Sd tȑdXhW`[Z;Г-j |Te ;\Z5 u^17jBu>ţ~wj凼?% pz jaQ 3g@G0D,fj]«ˈ j"*D| kS77PT٤>r(A-^ W>+ ,pTeD+SZ;q=~EmZV/X(U>\ittR 𒇙!r_Yưn"f`bDPLc1xtiW t'{$.򈽤{8-L@ {. 3dJqvmϐ}ny#zZjPb O`ӎ̓(ל>U Ԃ1I?KF1i} cn<ŀ9L `P0[89A4aHuvcPS~kbx4]TcY ;kqxb^#? >v!%IE9(KTpΐ'ЩLGJ2ģ$ɷCRq(wp o/l(MCǸd0 ;̭K, SѼ\9!<ƒɐ|!ٜCu\d8(5ݻeQ!oϫ0OE h<-|Y*! ['+9fr(P+ha჊: Փ?kY)-{O:^ pH%qChVҹŅw Zr'e}`0")Gx)1Y ?,8û*u.y+33M (3seu_gc0Z׍x$M= KKc:1oT]e6.}3Ho矡yD=ɑA GOQ54#x?V.}1$xofF.%E "%t=e#P`rnThuyĤa Ư@uqJB)]9ma+B4?h4!lVEg: eTsK\w;"т4⌳Y fUy¥;׹C٤J($98#3Q]x5JddLߦ>@}Tu4]?DSbЦbKHDhx( IO+Z? 4+~$B%n65).{է!kmVI⪬̆Q[u v؄֕òc=]نnHQkbE-yqr6`S iQ3ZI 禩^tmcW;Ǭ5C?SlxGĬ uBˀ@PoHԀV]?K؟'+۰u,KQy8y1!5'f%pEpz+bSr5ҋXe%:iqJe<)JPL[kk,;`&,iH* Me;BsEn!t+b eQ}7i(5k5HU`NTf)dעDY!Q V^.a8C]*<`( ==Jdxi]=g|K_kȰ !%wa06;wus)ad Fja֞bTRʦȋlR\,|&|̏ۙ/5+ZTw}Z|wŝV %(z~l[BV)y,) mb13&F -'tvN=O2ѹF%/OSE{:e#.fE-z[~2N @ǯ2 FuS.n_Y(Sg8ńd^k^A=vt;S~*c}q=>LZrf _ql<`a<&bvXXzfZU>䎠>cQ.w7Lk9m)452~ B,{xr7 2#la١\<W]X.0' ~%g=7`( 3*ߌy0? fwSYw3fXnYs*=SxT* l2=*4q.s_U)MiT\+[&^64'q46lZZqpNQ#ePĎў=\ v-hIoFQLHe:U}1ODD;ຬpY ۵z"!"nuځFOЀ9M)3]STukߵ:eK91XkJ:Lh@80cUM?j2@kc ntR$7Zjta~uώ}D6MS$@Hɔgiwy;-!-cz(|` C?7[*+Qybk^g"Z¤/Bf$FͤHCW24Ē}P+s1f&tSTNG}]a$ ]W&.`q4 D L[RړpZJA3^QQ=y K<.UppS#Ѱ@jHIX:;G$8A;;:'g["pJyfhJ+e=Z!kǮ]6#VL'LLj)J+-]5mkQwW? Qј€un) yA"ULZR?s/j[Y!tĎeD.mo\ݏQKJ.{m+!Ȃ1Qi6ۺFQ{FKFFDd_/>ݯ~H!ˆ ީHmof}ېþZg^Uzט-21ݫ^W6,WrbyDq'ɶ\9u`άuo͖ӌف4 =wI4FeuC}'&_Дhf0%%k.wb=?~5`[SA99_rNlhшMth8C#fnS*jWt9A!( &MVbW5 VIIN)o4]Jf!4(z0BS. *rۓgYZ9209f0db2e0b277ed61bc89478b1ee477c415dc7ccd5a1012750b588259b9982c2bc588bac89f30cef6ebbfc7e7d94c1275a4914184250b3b099d164