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 M#4dL ]S Psi_Calculi:threads=4elapsed=520.526cpu=1694.348gc=74.840factor=3.267zXZִF! Y(S]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט-C5$ z(ͤYoA;3 ODE \Km\GC4/7$i/Tc]Qo鷬lc[|ow {0I)K[#\m6?\2\|X}(Г$QEݚiPLuP";JK1F$Rgژ6}_O/e棟P$ Xe4'Ajy5(_\* @PL~^W@u ?4p4XqUZƞ>C~( ?6I 1KG`^Wl# kǓ V7e6HI;ȭQ;n gWbgojC]{YK9W17*xKuOm%zaր.|@fV^4o`Y/Y3wH$;o-6Q#^_hz0ؒ\XI~kdO堾66JA|;絔Z; n#BA|C VU*#Cho!g㥫TBL,cxkLTxf* ]9⟦CHDF7sw o+µF, %8rm×ޝ, [mڟU/ɱNCnZyp 6zp45F!sI^mf ZdI_n{pypq1 䐠6JHCaNI C^)Czvb \"UI >X4ϻ}Q/:e2)8E(R[]`Mր%*59S z2m+P40u{>1G?72j\IEӶ9Jxj*2ئ#bxO{I ,+ʃd{t?E{z!0ygq \Ϳ7Vv10d^p--soC/U7@-5307eY[I`{*{ pL&Ji/&O0mμ!IK+Y/*.-p*ZJqXPRqŔIibFF8r0~wD9r7"0>PJ'}]QI;M`.05>VIxTNT$56Lͷ7ԅ4riZ@jm_/~Ei*)dMø,Ȧ$"y3>=NuL #ΙXP?$~@#e!Mu{kDҎQwboj cNc>Hcuz*o 0L${=N9WS{r+ExSD ¶>= "6F'ʿVc:m+o jg7GL#!7f |Ƥ>7'-RT Bx 3C(OYB6M`( *ݳGcZɢ&?jAODPPˊ*kłgJ#1Ґ\Ҙb6'48TS88d.~Q}}U֞ʄ2l96Ea^ws%Jē79 od;s&"_Ǿ ̜y=Tf\N Mzg4T.@wCv6Y | n8Κ/IW>lBbn'DΏ󿅙vnמUtMKS|M6S<_&B~瞳D+ F['^l#$"1+5C=~+d 䂣a"W<._%!q2-LR#NLcQ|w\vҨi gZpĪ9Z6Vp\fQ>"g%t:(^+r@>!cYn/ P[@(}D 0!c nũ˽X.?a<Ю&vE -v|8tˠJKL @ѝOԚ ]4exD $%ab]M XW"DS}GcU>39Cn '#0{Ltf,q*N5FL#XA`ng#dm]NK8*{_ q,8lH[ jtû"G#i}2iI?,YՕ^1L .MM9]ՋM2[ !$A5i"M%@//Ao N:ן/OHڂVTg Q&s _0;~=B/( ?x (h׎%c->IrQ{(S$nZׂ=NG3Fz!|M?PXZ v!I%V]939e2#8?j^aS>\gH4{5ta9Mt ;8ۛR\my2pZ2=~Mދ[ ^>_j9Q@\6"+7Mp]F'wW!@=1UeQHM)K*4Jܙ+FY1kZT.G3 rdݷH4I\@ȼ"eP~SVu/Z"4Ô)`!2YN ,4ȝaHg5,Y1O`}8m];7~͚-;-!6I宏/T@R[^8BLh:=AjCT\b[KJЍ 9[qkνNdo욪=9&xGɱ%FPcNīVctkz B'OIү*=w;{+c<؎vi[ m$< B ţضhZ,Z[* _[_ߦ&|aGޜkM/bQVs0ys%8C)p/_8ٯ(z # Psi_Calculi   sڢXTu kԆ=z Q: {I[&Md *$hxqشhkdmtnw1fC vnmLv3;wRWtYʋ׍SXav4~YCK{R 5#W *tR)t׳10e2Ķ0)d輞ieӟ>Z-đa:>p'#l݈IcyMV)PlDz!y5Si Dur4:T:NNvCW| XS1~JB!Dx@jqVr:MւJgr¯gF.dt/-N>7 >utT2z#HܷQάRl?:EM-k᧵@6"SI(I I)5xFd~*E~%SDHՁ'Lu$h/We(!nT8N%x38(nwTK.BIjv#--2ᏝmQ]7m`ruK{,cEcJC@{HN6|p/YKGO(pg!Oϭ) OA*eAÖ`N+;-UP7`N&3BD/2U>b(YG,_\W 3}F,F )R~Z/yĪJzboUAv@GX+P@(?]O> cʅ*[XZΫCOuqzybŻ\@V½=#=u$SL)y jڀ'6GϞ\TI#I;9'|P7̓kc/苖izD?֪EV1ڬ>Slg݂%z>k9F~HR&#VܒIZ_T([LDde:7KXü5jl9LeIm6dj%B1csZn^K9BѠ'=F%s}Qhx|[ZaE6M"G7ØFMq|cRr.Ҩ{kR }7(Y5ko923~JhVL1p,ЉKf),lys^:dw^M䣷lk[&ȵ_=95KIǚ=],J 7YJ` S V+ӄ塁>vadL=|l9@jlq=uAꦢQ*䱼 Z p XPԼiW@RIŽ ਀Oħx-2ZQkN*#]0:1 *75T@Y>3:,ùFBvW0-P3T Y")?hI`i+uI g :-3\6ARe@bEa1ǐ0߹iHZO䠽)r4V P5r5M&_Mz8 kh9,d+$5bRy2 Quj_k˶] 0Zߕ7FF[>wu~kP!"A,"$ x % tyL6KuM)4V# 0N bZoim1ezU Z㈓Ȯxh>Z7Gٶ"@Te{^/S HD4W!dnƙK DVN]/ꀼPP2$ )71Y⌸[yIWj30M̧ }wv_9:ndCkDxS!j\4u2{'lG> 8j$ϫʷ>|E _ ZDyO:c aK8@ _k5^-"=;ټgvAm6)m]!{z̍Z6j#KruQVƇ56p,:!pL&Jl O¦ o٦/jմ;Ù^i4@FndK7׮rE Vg0lS2 W%rq #Wfp@H$N|RН#TR|afӃY(jPiXKaoVX"18и>5_ar-Po3!Eے勲FcT 5#z@D25 RJ 0Ӝ%RQ݉޸n`E?4Zrv2*As$w% XiZ00LV e1XFu*֥ o溰 (O&@JP\4Mƞ܁PxwkP* $,E[ٟ*p7q p}v#h^$fSqS5WX98B/p\P-?e80hk8y߲&mkLzixN,eP!^]lґ}ɔe.ArTC`7>ݖM(e\5qkf^G\RcěG嘕z[O(1 aXY'[>t*PU 8AԞ|=i2AQs,#72_9]4O|?IxZB-5:s=.'r];\vgteNl;[H}.T.2`uo@rFޜX!FA\*U v%Y?Q,r{-VrzK4'܃R C@+Nr*zyE_=ġjU-F&U !ߴK(--;`9}I,'nfӄ('uU{eھKuX1Wl6BYz"C2H&4D=Ri]h)u"C*t@H !BbG`֗_[ LF?Vl,9>W- y\se3C_ c܊(klIM~ZT^gq4$=R,DTo;{{Q3|8 GD7qp]i L2>w(tR=eE3"2L{lmN 28j"Uڍ}lfe+ޅeFZnQY]5 +1IF&γh+j?H. >}"ۂ͕&8/W^m=g:ZTZ"sU-_|搡{PMԝcFȟ6\ް ]xQwkY>;^cQKyYoh=":R8z̀OLoVd&wwV OyAžImQ}ϺfpUo[_zi]r+)[i GkvZOѥ|T0f!e)tsoKb֚,.P~MVΗ@|}~ ˴`kkEn5cv9=YgG.Mg M)X1+? l@#TfN/]Y|0 t ڑs i!t5r(睸}&a- *68W/b~&Q~Vd 3!1aA_ ~ n5*>`i"[t2/,+l륂" ƆP[B)yͷ>yɦ?nє],uYG(Œ$өSLgClg\qQbu}:3]J=X ݽ==8dS7ra1g(vZH<SS .X <(™p0eL8Q5ZN'Ŷ8K}yM )o+F mC2z*-0f;.MQ_% &:5lj>ͥKMy5]A/7;*p=$s=q-gO8gc `.4UEȻ ?7 ;\N&z 1Dv[`p3.!̃!=''cX(܋C CMZq;HJE߿1KR|3;f`/d8``{Qj._ ]S< \ey<}yp hz\UI\V Y`], *67Iyb7/ :c#ջ+uKv? fgrDӳ^X? BkNь9|gni"~jU%X;Rȟ VҲp+4MBeN>쁿#AT_$A77D؀`~<kYAbMҬzo94E./nl:M Wn[HFFI=臄!/Іࡦʱ}9uچm_wR8vT:>@ߕzЎ/CA'JJN QڹθF+,,o SMigUK 4x5k}i9B񹢩Jzl=hv34sI53ƿ/Sk<})~(5mD{L91N|֢}mJACQ:u1KZ} ݟc1p/*P*ׁSJ2籁Lx{nq[Yaa!1e9zfZ˔j6s\5hCEеc01h|zm@r"]>sb~O)nTu',۲?RLxiBGwqM Ta|]ýfU㵵]Cw08ͻ æEFd%o cb 7vpE ir[9o@:4\J;_,*{wA&n|6G^!N}̶lꐜzPj2AV"ND<,}Py9U#81L#q+$<XÉyG!f$MlTkdy>kWSӿC]U€~}"˲ :32̲> ;3֝Jt{ۃbgB7]Q7"Z\1b$[^[/{s2 XY{m[ ϮyH8ūI.\r::-c,Em;K}&_ w?MGd"LA(D-t-)Zy*2W:2sì-e\VjR \>cN. dL=~;Q4 5˶\2Zc^aS|n'Tw1$.3"w7Xڱ-ܛ]qwrY _zGLi"^ڑ4jYG?Wquf~bGU.iv Q_bKSi&uL12r! DmkdVůr7 pV|? L @m4Cܑ̙29MUƚmg\ҭ] mJέ ÀYƢÌ3h*'l^Gr "Ol(QoM|OT|^3&)wԽDz^OnY(Xӝ,M6n |/ˈ!Y '>#2m=-tG'v%i+.nb^bėJB}YNqSLe5)k)|؍zH8cX/~*R62nvHo>ׇRTWPڊ-^gYZ7zXZִF! W]ŗXiɟ˗̵w'Sɺl!\d'GѴdL<ùO<0|-5>bec#mRi)TNkz .g'D-YЂ[݁s0Ԛ1Iy`%cndw_==H$g\h'܋U :kQd OMFQks=N# ?ȉ$M^\a3D@vmΟwӂ|Wڍ!Έs' L㟦,TZxz?5gZzV; %s R_~2@@5夐 YgD$55s!ݑH6.d* ,˖`d3k>;@5ঀ%hF1P/f2ߵ;]K7sF.fE<'FoEt8ؓ)VL Ć&>w盕5ebVe6 ! ~ 8:z^ԻzMe`? -e_ͳjGhh=%Oˉɯ9=T%,|%pp |I*uJnQ)ɎdJuۏNrKҸ!,T ̈i~ğ9Z]j_i# ܽ'@WYAE<ڪTnڒJS^ x1_v+ѵ|,@x\Y:c;N^&@ G5H辔=ZҪŭKJ}6=p΅{5 E@ЅX{o>ʵ-O vryI[7[Fc*E˚,Rt^ۼL넡Cj|zߙLSDDEfT#OU)(h=xۋƙ,(D>x~-ssh*@POc'R%L?ŠrWs:&w}ϓ-,)rA+ LxOE-_)ۏzPd߁Y? d<醳je70)z0 JoOHxE4"C*2 1J3o5<'#qyW@Lf`c'SHUCL=-FֶJ`$DS y^h6QbJV4U,/SjN Wfr=FgĔddZMAjypޡ"}ÎNi \AEE sGXQ썃}p ] o? 7MY|84SpdK]S\zCP(6:VP[}Gn arU,xts:ǟ5Ɔqn*J R+Ө M͸;$It=~B ^ M/sjnrs[B#ݕUX!Y͚D<ԡl/╣Nq齔+T(^ՍŝfF>v?o44`UvKi/ʵyy m~!jbF= 8>z6J401m2ŗ!2> Gȸ(#*lMCC2<剂>!m5 7em n6r9[7jbgޒ> D< $ dN]vw@6IwUSLm`% •y> Ղ'l"6ȷPs0=(~:_$8UcH@7XJ?>XB8jpnQYr(x(ogWm,,:Bk*KMQP S3O{ڰܽ'35(-UĈnmN#]=U;:}έ5/fP>o':-M>drY>U?mZ~R॥yd}qڳx@&0k=pϵ~͡Vf^\&w:OW=_@5n%=s>h;N2mZ,Nxb͑ʊe돷M+``e;bl#J@=e$#eo1X7xOoPej?h]HCV!&Tvʿ@^ۃA}URSgNE kY a`L[<ַ:s*d =0C!0 ܲ\ߠqFr{1u8e-:PWEiޛ2  (2V[~67צEzRB-`/o" 0),mEYHk ~8zt%'@wٯ _Vp=FٓtnEڧ‰SUO+y%}yU11_i6ypf@ˠ o?A ehAݢjTI<[i eF!堹Rж՚!cHK<̙ailoo袢rsY(*%C :<|\?ANjt65Him9gLr!~c4I[;io|4G[CAWE ?7"='#2Q HV#R.X9qtwOCߎ1KT?yznxdCBrbXUZj?*:G)ro9*R xA3/vwہ[@~C}Hnr^fyKu#©ߨҚncJ˒R7*:Ж^G+NIAG"LhcVbդ 2&ϚJk[Kervgz% lXged>}:o${;65XB%bO( KQ4RJbܩ=k<(<ȯ(P)͒Ʃ#ڿ*<5n Ht^N)|>IB3V~h~L@XG  bb)n f,I΁5c(q#Bek; OXWqje6ky156|\D?ĥ‰# =T>|V=uGRpkk@Kv}S\2,.܂K\XuuYg$;͙C\$AS,jA_" - xϸ!qsW,FvI*?l{ h.t=MU JRЯbġ{"R?X'sqHỿ3IH~A]o DDuX$/ *z]Mណӏ\2tG^%q?=;+Dvyl\.3 ڵg I |GگmY7vE|@IztB/X9/""?j.~ƶo =SE{5G:<54HpՕ3>ju)+V7VJ0=A\T= ߯J*$갲YwQSqP!iz֪, ea%(er^ڢф+ɡ8*L4^ am b OJ F.uv>WUsx+v|qq0|/XV&:J2-ZpsPp.<>+O /wʌ_&hENtMS7b@t ,ɡճx nX3bA`3"/~x6DS-[l]s@80IKk}V(> GSHG,4 t%@v.Z}C\2V l=Ո7]t_x{ܠ +akt&>rۚilݩB{|XYowM'H<X_mҜ#V3g 9ǚe\AڜY~ 4( =໦)j 1"żR87؜W59oMKv8gB} +/2McXrwDlZj 1qv;QTV؝J̎EvzHhh\:ɝ6}-ZD J>!U0gu zdX/yMjfVU:H30q+6)4>a Vr,{Z7 e"ĝnP=4YIzFKh IG] [o4aLe{ K!pz2etۘ}cN c 0l+97aJtn] v=Q2Um];.ȗ~'&y{h]I H7_%P|2Yɧ9\?ScqBط٭-ϖz;RnD+et=t=K2x4RZG__V<%%Mz9OK4`CEy%S֒β4th<#cl苡plU-%nLןAI_ᱸ0,oTR#mG@|_\7H0'Q!p!wNG=ceLd{w\7uG2=1? ji"Ez@yN=,pZ+",/ݦQi. rt('J˹8|)Em80Q-hZx,ٰA)%&TbgO;=Q,,"`8"."_LT1*2E{U~y-YgEX6t^4˴+"ݫ?ٚ|S)R0RE /,MN ` _˟]Tz 2蛒u yAp,AğQs%M0P sAi1~+$/j ~}tlf` ]j*fkߙ4~9!s$xj+IðuF+F5!9HpAzѝuxddF!r baw:o4.䰠Eڮ4{+e+/Q2Ԓ E)ygd:eqC,~Jt F0# R16s3aFfYۭmLT%CFhsgD71V MУz&.\ɽ8W{jkTws R26vf P]f&Th%ZS 1Mb:!|RLaٕ^'l,UZqdwiT` 6s9OheKl\dRұe6AB"ER^=!Ϡ,}-4%,kD8r>;S} ƅCWy韘w2T6g"5va%V؄q }LW+K[> 8?*GeXa5b]| mbhuA@T:^Qs)=2m*Nt$6JhN eˣ)',t{&-[={ݩ['t_!C LpwX _rxzr*L92y]>ۻBѐpt /\omd5zKTHc<>^loSQ@0p4QCR-Akjs͵P2Opo2;1vH,SLs͈W}c!|oGʹyS7V'ZWnOWo{mz6Gzmk-ZT*'9f6]8&\+3x휂x_LҶۑQY\4z_HLTt?֫y U^ #̤c#dLR/$X5y~?YuͿcؾ\=R.5Ici? 7 vd7{y 6ZW mwR]|W~j|{%f%BTI?Gs>rґUc8R-^MrZYQFt.Ddhf&:i|]Iw@Cf-lMLJi+[VOmn<jC{W tNp\A\"㺟B F78$KDnJt|wj}7}$+P-X`"LP0p<9Eyre\%?t*tH6zdu_B/ڙB(nj, m/:QdŞ-)c{Ayb @([ȯNp 3YoZ-,٣ag!=c}؃PPY8?E.@D. mF=-Qn9Ruz h}LDh" {sqD]GY nCs7 \9PG|Ft+~4P΄L(㢊nnK`lV٦ %vz/1C!ž+$M?cWt 3:M_ټN^XPT*X^gtDhB u4@lX3 Dx4} ~`r4gWu4i20& D,3Q#_R%vⳤ[ vN2- O;>%BLKPuzF}2Kܗ9dT܄Xs1^!3̏Y 3-G8s!qV j7X8ThE?+sy<:g c$ NM-AFTGlb~s~Ukh`f@oWCQ߅oCwZ=orI@ iz㳿Y"kg_Bġ&RQJOټ-, "{mVL9߽1eyc/Y7jxMpbZ-N(s3\j3C0*]UEI9]Le"vS HKጙjҚ=TBXV]H0A8ݭ ?*FQQ*ˀv#9!d%gro+hJhpGI73b,9XUTXr@D<4+/'KBpQܖ ڠmw+˽xH9CzqJrlԌr"Υ(`Hݠ >͸dKn)Yc qO|gIW@^fgW7|ɸ/эSP7П5&~n8śֈ}=ڕ%dk-$>/ T ,1ӝWNX,-l~xoNRKY0SL љܱ55 47_ AS.{ڈ% >B [A/pA+۸, U0Q6ճ`.&nI)꡶MRQFF4יGvP8+`3!^iNS eSsNY?O Ԗv< #ȝ8sw5pLO 6׉r..R.D{ NQ*Gb>8+(wFY:;[vx ./!ݔÆxxfGg w`dF:gYD$Lv?µA1I6tȉ5gIW{WoC: 1m7 QbKZn C.v8ȅϹ:{_/@EzoJVjyrh P!VY}l.H`0$v`liK«"<7Ǯ@raVNYi_䔣Ygí`TE NZ]q혲J\/|>AqLv TP9;`[ :㾶_bJCqD9YSūa.r4,8d X9q(%ʆ]yGx`zP_J:B9B\Q|x QV5y@/빅:wIFqz W3[ah7^et5w"\Շ,|䖐Sݪu\'R]1) e8'aG_W>`=*Ha I ]'d^$q*QhO?\ZnYi5:KȬ-ˆR98V/VV_~)BxH*Đ$h]#Ka7ut?~"=[c~>Q(yΔKj\;):{9Cs-Vk6.ތp^z^J0Gl]M ƽs/~U`2)lvWǤvrlpz Clƺs"N]?q{ ?NѮgG4{AUoPb6\a6z݆Pi(E8Y;) y޳"/LP,ẹs`-Q2JLb4J1EfxÀ '+ ېnG1n[1 Xi~;bp9TSCtsFeFIλaګ @V)d;M<)u_>y+ v+ג=m ^0n dPtxU_^$Pߴ.3$8wnNUw,a ݑkCW`[ gL4 /TBW'u?_M~ԑ8h#QQ~cpwH+ED"UձR0 LՄiKQz;d5^ȍQm0VӳZ ghO.Y:M &y'D)~f@ egkI6ʼAMީ[r ՑUUAf{0ÞĴvs~o4S5v@Q9ŗo+>Ff[qT8J _K:4sP2ocRP͎'O1PwEZT^p::\|EsB1Qm$SA,A?1,'g3fc'esҀ~Hj]^2[*uu U9q>-c,&GզtqD?,(Uu#htn" CS?yqEcEV|@lO XRonsxkHS+?.[ K0'9FC|FkV#FYN|E;2+QQs rܢMG.*'nVW*BSqaS n8^B3egһU _UH+ɪ#C@jOcsj]ltPѾIR&jX ClтB%+js#}+;,1Z<8 E\md_ B&w~A写Zc=kI;bWsN`;n3ԡZz| "so-,ھ^X+̢qz [%x ߋ.^h4ΐ@Ca!WvC'y6t:Bq't a-nR-,_/%%~fЙ Aa]# QBJZtKCj3Pe̸4X郒ȠEڦc괴fT` Я YZc> <b?*ӝbi]ֱ!<&H!pjݧ$9A'59SX lFp܌A:sUZLc_vl04.EҲU`Oܽ0 Paa[%mX?nm ]sDHW.>qdQ򱰨"Go̖Y*#=zWe$שFStg{.ܸ!f84V|>"$}h 3zcS"\|~C8ErGcr~0yCE%'+ PI]XTs##ܳFOZLꐃ΢EFoQ^ǒ,B6 YAo&TBIRF%y惦zG]w Fau"kgz[$/d =ebݺ$6 IH݄oD(əmGn=hnvV0*MHݔƊ7zF]׆D< ׵{>XG[6ƗS}*Ϭ`@a6z so!9&е̯gy rM}XOoc<&%a̫66N,vq4S51\rukzUHb=4ٮ+nQo.!\}bҕ dBwc ty"yhw5req5(JHC͞_Njߠ9+Ŵ iA̔ SfSГѯ\Pz֟i=eV%AeLA ݣ/? 䬼{a:+q*&XdpcHh{k-vR|4>ХJ Y㔋C; W]3զ0T֨p |w.aRJ#ǺB_ 4i1ܲ_Oy^Ό(k_hQxA݌s2p聛;M>v_ ŁLݢM28ݞX gԴ' Eͅ˔/ÄxL V"C{2'Z \5}l<$}%[D3Y@]L}i$C*71gk#oELrW۵eDb ]͊*v®AN0ǥ?/ ;6E<I4OR K4U`dN/J?9`/FFoOji7b_Bͻt׎{6b)Ȋ B\;yfUSFr*XXȉX\wUqax-%b!'!;k @VOR5OՉz0_%,8 ~[E3?f)TAߧ '>˻Π|Ty4?d7(uN w}(GlK91u|Gq+kAy@9E#-8|]Z0Un|SOܯ!JC9!ją/uSkXM|ˋn*35jvFLD Q4pKHГ4g;?~}uH׉yN?Lr` : v :uǺ<*U FYVD $م|1} /f8ellXmh:Y񚪲p=gxn [4Bp MƼב}-HqB,]RpgLcv,ʾTi@"H EU@y1Nh&UnFMv@-"XZ])+<W`~>-Z#^IDupp,,.Ez*$Z%}Az-b 뱒G+@ZQb(CS(5E _v^Qp= [ |dCp-ʔX:j\ L#d|.F7K~O?Z| mJZz+mPYq [k&׼wEGCFp[ڍ.U)*e/̀|B\6pC_$,fa_bC];S\<K~p] ]Q&'VFnͬr6jX]BC)rFJ=?p% `N&{n.Z%lh0_(j7ajh]{P|#DuNjvvZ|=qχNMjz ZKGsD(\'0:挻m?Ӥ){> lWŗ'jiw[x\UVcBX&[ro4-ҕs1-`=%RXVY;T*ӏV3DH4I֬5NsWmTxVqhg5M H  {E?%j_wT+&ҁ0b3!@~r_rj9{R7FK./}q; =f.&]$]ĦVRM ĤUz̄$3eQ ZtI; ETt:/ުuS&t0XE5WXZdlacGoíX<ǁmh4Bo!8(a0_$ڄ,E[ja)`MWofx +d؊F6Qotn,Tup30nɆjET#.Iܱ0[RH\%!-}`VT羜IQ(-uI&uZ+E`uy !57Щ  +jл+rTBŀ&%$!8|x䱷b dg})e=`1AMQsMH? H焠;'jQnю!cA1ϓ #4~֗wDe5}8cHu~R8souRS`s`/M %y\tY#(TH[~+Zo5Ա \ @3n0E)ocKV"p".w`*kI#Lyq"VKYۅ5A (QC7p&hpO7 KUmE\&9u%8ef %bnٜgj(xݖ#rzZN/ݻ3+JXGsWa,rBIzؐ}t$jgRaʣ~h )(], f6cg~shRglg V$S 40rhf%fޭ0u@>8,  E)/8OKBT|o{{jG۫ҏGªIWRg:)gzeⵂHHo3TCb1s#(AIb }!Nk Sȳ]bW<(hG5@!@6]jݝ&)?܇vItbiԖjy>fR:-W0$$Zy: "3|0s8}3%*ǒV,l:$1cl72dut^͛ٺˇc)-Ko848I=[=) [QzJ&!mҚܧ풲lUV PK\+lbS>|՗*vкա's:ٌ!&xAk}t{s[/xK JKhe{Չ%GkJdLyƕdCoVb?,'+Sc9|\"C]?[[ڣv!XEiLAYgWRy::ɊƱ#"91 c?uD WOqXzOa>3z ȹDo;k09%`;PT0@:Y+\bR^uH:א,kdG&&IӷL6luE=zt1h~&Ԗ8zY* 74بd7 Q^,{?0YUEqΌ\LW6d]|i?~ڃv67cؔ %)-|cp)Ԑk ?FT)S娊2%xӔ//DS>Sbk;-o.C&aحe_S8iYa/1 _F"@ M0lԆ ( UH T5K94XV=.[˱(b/>A]FS`z7\mrLRwD쳕y.7ƂؠNZJM uO<T]-X}*GJ@Ua.SN#hfhF* b$nb5FSjE'Uy$X@hz)]pJ޺(sҦfHf^#Զ,WRwU4x][ d;7sw^@n i|<o^oXb"i׭^g]50úUepg{ :_HH oΎ;N ] a,^]ejV ("Go%v[ט"J;]Q˿5ˢS~윾4JM@d\[%H h8+rf !!G׈+wNP u!(UܴQ gRjahwOQ ]ŧ2x{QkWU=MgvB0ן8[PDNkPp94I:/Mʭ'8]QnV/2! ꖗh:b@-!689\8&h_)Y >DM<͝&:Q(~94_FQ@ 'laˈ!g(HQh@O'TmA?I.`+EE34V-Q~`p_. Hc6׋On[%#I?#O22E׆fc2fisi'. .ق"f@7|1+ ϸZ(tn]s$wZ`bɑi2eV"FL6TDxw)%A JgjY q #GuPIa+dy"{{]\l D hT;{9<}NL!i+2닢d!qpIP%9 xMm]F游!4tϲ&Iڟ+=0qAqp;Q&X!Iԩ&I.ӵ V(DZAh%x6G4(JI#bS lw uǴi& ,CƶzI\n c܉ 5U׼*ʚXg I d+|wl꘭B_A"ӗq6;|X_sW7{P۟{;mN},.l!og|+xZ=ily[`ЂyAǕ*%SQC;1i ZWe$0!;O_VE~0 HB D: :GҸjd:gx*έCE4=ޕRtLsӫR%='k-#<׊z0i%!$J`O7sWL q$ގ4 &VOP q!'G tO7Ǝ>h\y_Wk0W[*~jXxA2)zSdyA里k/&4CG%Vт l:,_tizc\~*[L@csEGOB̲n5׼EbsS_.6'I.& J4{7?9y%ԇ~UTj٭n2hz!y)mS4fRRwnv~H49D6pM1a?TI$)?x7G0WlC'ks#LWLIR=' jE8J]8EF9rd'՘т"ґQKՂS&?B3`[H(a$|D3g$'LĴ͐FVθrQ-1y"DBOYdw`xmw61[nC|=^!?]ݚ[7 5WQ0fcY[rTb[E \aqM! QƢh|n9W$mcG^R3v1)߅񩲬F,<:Ta9Ч71AKq&XpsXvצn7^B ;h =Ũ5*p7|~,YgD [(oGcoyX`I'fVT_u+peI?-,1m%уh ߶(^7 ̘` jC t)\^m *:(9Hl9=IP;e~HLȳ2}2P7d>[TXWᅬr14NxBC隸HH\"3^.9o<Į}4iMٵLOnx칦CѣM=hxn"^R]$e$)XAwc&]فaYb x4ԕKlM2K6IsI܃R:_*n Fbf>$iG%zܑ9l΁Aq(NV VzTN͝ o^/'%6խ\&`Eʲc]a>haERV-@䦜WB]E$تcD0k9pq[7qb Rh^RtmIAv2Dz0M~l?K(xRny¤ad܄N+'-FH3b2M~;I}ԬjcwB7oݡ"oΈ'^K V_ eiΞ<\|)XJ_=(T^?⑖!)76II}E-f鉘,JCvּ&}?攁^fV@ԕ=%uf)^SʨNZ|{gobB[#6{>Ԑ{@C[9{rr`ybVu'@yO=Q|5ۆDT #pP7៻ը 9auQ͇?>JWl rlW?F8=]`|5=ݙ&_+Au$װwHh Zַ)2g0SA/yƣZ 7.c q!E+,qHjđ?F͡4V։rdFa8;\G 0f?jn]7 Mnv>~ż M|h?/HCg8`OCsiڴ+^BܛpUVrL#eirT0zE(X>ȬLcm-}.W'1ţ|}F^kI.O_x1!7 G(:]2=>i.D~wX&?pٓH9^3m*1>0]'W*t~N:[ g. а9?:ݶ9wp{fܷCd꫻lx{6m IS͢H3K. !U;Q~mҗRz$&wGU0Vfk>[Ɯx`*f'L%;x^vfsA-3-R# XtK8N EFˤ0?5pGl9i[ P7 ?8 yV-FU9, :?Jx>8f=iLٻ&|"9)Vϊ "Ti"|wB8$_AWSX;EQ+ XXI)@0g/o9t?-y@lr+s*qjS]vWlC$ vv.?> m/K3R>V[XıKK@XXxwZ?o cdN67Fzי`"*^Zk_*vmrN^B߯- T!6ԏX\ջD 6`ۗG,bëu6L[(-:O(vz 5g$Ņ'O𭦻 2]`;f; E+<}Ƃ7U/85 Q97dVvnl|\?gbџsm-n$ʰj r9vNttd*JVѾݠyzI|ܣs~s6?5 Q'ϖf(g < =O:Y L=2K$F;J֥q"@-:0,H+ɍ:OgA`  H8ܪՍ(HXT ջhK1mg^\NgE[~_WO?C 6dsW%? EuxNp1͊2:8\tRSW k/=)#*T\T<\c(ٛ?$ ɡK=#C2%Yk? |qx'4ɳ@|qJ$ؐS *V"Xc0?g1ǻ,VWP;Y^) HJ)K1=BI#U#]rhq&fg2bZdOK O˦ab3pX(Yr0=zݪڊ$p\7 ?kc:ԑ {'u+f#8D\}ƻw"R~ExT46?AZsS4֍a sW3Io-^-ij\ӹ<2)ȵ.IqUaxY -Rx&ow <602E$ xIsQDٴ7i-!)닪 / uW`ҴpQyWxjˋe @d(ȂN=]i iRsE 4 Ԡ*ғ9J !~xu*Y4qKDl$Vi&E y{# nbZ _X~M[ͳ.3)C_6 J_1Nm%m\Ķ8 #&_wCEiCȎ=Wřr nRf(*|j50ڃ٫;sJu!vke?ޅ4{`H[h:2=^MF8=rr?NJ 1T0fP*: v=N:ΫsUяDx U@ f_a`O|5:/2W͆RUx`dGN ҫClT@LaY*ݤF!My7H'`"\ |PVl95Yb[t?ifVi;N}hZwdەc+C[Y;kSaФ!:x_:I)sfƉ%b tęxo[3Of!^Zה6֫SdOAĨaY=jLkQ{m:8 ;#r5K]I^2/A%>cty I\yU,J-T/'Fj(zM9Gr/@!I W|]/CY+O>ӹ7! utLrܿZ"x'~70or@iF׏PRriĪD9\>NMee.g;biNjB&CwHDj<6hmD_羶l-rOxQcWWm Ufir Uv¥\`p|Cq/ıLꈿZXVM[X^Þ4ا!4/-:߽ӐQb5BAoL@6_WK}VT?9_7EvIwmM7QN3qZIJ}T;Sa)'>drŶ}j(q?81?>^HtWӫqZ ȯ6"DGTz]c_}?Hp'gXU<-)5<0o;f3셙c(2sl*ϥjh'$#xxl:XyRlNg2X,gD!2# `rCHOد2'E=s 5DAv4ÎNd}/rH 0+onnN [;&ߪ#?$ۭ taKN%,M;1=w4<]M׹ʍRqSvxˉ^V7AP-|*գWնr iovAW~H7NīsIGDP1TO9egQ7'n,ٸa5qOq1}%Ț9KW_ˮ>8W+ o"U@E(+Lk3y1-'0VB؉fBfS;20BQJ!}x)ߕY`ؖ:7#cLZo*p/ j6hqڭAx9St{_dAGg4=:'nXfqLkP.5EgD qsWbj_r Y-(h3a#Cɻ bkEx j+&!s~fL~1Qof #Y'"I߆'LNlx?bg0tUr/ pğf]&+7ΝvdI>St$%P@B6fVZdusC':Al6;%{~Tk &}J)"O1lZB?c N NTJ58 bo5fU-,>2dL^|};)hq TIUY 6աhh2$!fܫ"UC>ɫSeǪ'#S{ȄD}etWi> ,g7lZ6:Ԫ mQh=;6!VTڤFnaF-v ƿ| 5]+Spe,Ǵ#tI;V6ծI975 v&Z/?~܊%0ky>er7~c}ʷ2a iH9>J v1j =fht9!י_n5v}/ D|\wYCU6[`}e=li=JX`j,563y+H6Zx74e|DU!%/z͈ OUb?[8m5XsEꚸlT?yN3-: Y4baWc>TXm P3hЉ/p &Gf:+$eplon5W46pl`|:V2 "l*z1"]}q@wNā@ ͻ='ɹrBbADE^r տ=F 2Z9c~.>fhKz_ut#/܉VzGOMA > 2e9'(D|ߩ(}Hؽ|蜊\ܿ |8tgJK eअ OJ6lڪ@? d2|l{tmKUpLp:a]$3<"KR|75O<䡭mHE0\(08il7 d9𱰉>z{rBM UE\M&f1pFނ,gL+C;B5ș#Ӳɫ;DS'HWU.j,7BFx/'}0ר1n,t་ܗ FkmL7[*(e~J]1<^9ykݗ@?m]&)=tϜUVuRL3l rfbmULN.cI2_v xXt[ $޾]QԯG!Х;;⚢ ?8]=N'G  Ŷ<|hoQ ȯqU zT7SwMDIkb{8ܘI*W$.;7r6"7: 63m|((I?D9&NZ=2s c>? *T~\H^f'!mg~*UR?Um y[lL=RMCJR|ѻB-]+±zɭ}<]j7':yts)싶Bf]/y!~fe]U  X젌#%Kq|y*q4LNpWI\FO=O>a3Y/nHW4ХуjcWmIBZj~vqrie 3OwF"WSᄍQ&<{dP@t[)f\<}%:38K[:fÐ!$HS];72$5W8'TRb.^[Pܚ6t&ky}6&ᙁ(Awn8Fyl3Դ9^R:7M]z̅ozT92K=Tn_" wKukaҋyRat69bߍ*Rm c#,Ro~jbJ!?TGYԭjAE˨WY E<+SBjt@Ynv|W(N`D^ k1(U#1U6q':,:75knf'Y(^iH|lQ2;z 6Gl?jUȶ~Q0N\uŌ %^A&M"~|K 8En~aJ]jl wMa$iG~ب w kd3S1I嶒%=tOݏ=w\ ybkjT>՝F+X/O̩DX{>!USuҒ;\3OzMWy_͌:CqD ?"Ͷ8b`ߑ&zC83`TVh \Eok94#+YFDm_J-B!|~hwi{j(P!-o:%ҘN<8wASh8@s P"Yϩ,F \ki}>=2/.¹70r(ž0Q9v֫(OG.{N煪CuIn7O L961#Z)?+L,0NIL,>S 耘قjDpx!eDGaſnƅ&"/p2N+WYwF)|3kco覨9*PQF#XD{R!>9!8&j*VIk, ~BӔQ_V؄EYޮPZtv6)!L&=t(*4 j@ͣa,FU>i=&_Z2`3EKf2j'xGh&J2z`/i2Ru"g=@Qj(X!:ع5s$0+ڰHgv܎X:ғ"٠_Db3䃻WYۊSbgbU'n{v[`4&NΨoPSy m m!_hPihԃm>ͭʀ۾+'|.JiO7cX7ڡxkPz/X[CbhsWvJsHjD2CLI;h(؏#}+`ؔѰI3SdIRxTlт=zqT\"tϏ́ f*K9(0)fsi#Kkw%FR5@`Ne Y~FcF ʑp 'opkTmL" ^1,2T_w74Gt2KjSE}pa٢m@`5jC$|gɤ%܃)Wʇ{ٺ*ațn8+`7[K_?4X2 v;6Tny<+0$qJs1;};eK#P9D #uR>9>6rmg}%13?7>.} \˝]m͌IY2"P}uDOxzO2?OǫI͔=3{v,FgS9{EB4mpav~kOrcb bFE93}d7Rf (G:qI$Ē'څ+եD?^B݂kg,_ӽqZ;Y RF<"7Yr_xIK'ݺ\5#/m8[45?x;Nj ; ﳈA8@K~2 `.0 T0axw%3xԥoJL/B9| x|Vv4hM٘^aΜԅ#+畑Wx< ;5//, Og;p(dSev ]ʹl>/=:!oOJ567KڅqA+ICbIBkgΎEzPwa#Vk:"Yf". $֍?1a٨uxcشJ.?B%7Sma MNS_ǟQj %:Ix%w+42Y}_!Iii;2LssZbHxXrAb T>0ju*U c>~ȥ]kYEKYr9e#!t֬@~8e6saVn+E`Fo'K(d_A l6|>QXyE}I-q] r`T :Z <PA&67nGA|#N~Xl/ƴHlˍjt\+e;qIBc)CC=>q3r5֗xP S!VgkVsܾs/I$U%TT3o\υ\yFi+!Jh Ƌȡ"c2ʪ`+MA7[J7]Me @qT%_Myb'0ؕІ ɔ j_!<8B;=#)ۋÞ~܉Ɗ$&R l\y%w2]^yFd!?)p`xHS^%Np:h 0غ˔$+d !11|%唽~H1<B}ۿsiP>*_0^{7uB7 -Hh/~ _j(PVa-,߈zso -vH$>кlN.0][ڹ% b)su b=2w׭qKk[F1QO/d[qR}mx(RÌ+cH#EW(l-RKjV࡞^|HVBO-S؉ KVfډxFw?;|]k# OkgAzyR%;QUlxl$ִ{'YKs،mFT>Tf<C/5|=8Ŵ ^Q \⾳!&qiM$nl&x_=Gy:6plo۞1掙7Aٵ]u9~j2A9Gʴ&n#O >8x;a7kKiH,[鰅;FQ }9q"J7=~R߶z;:[-Lʾ?Pb\jI-܉U2Wh| իA̳Grdeq4>Do١钚02`*Y![c "a)~7Μ!]5AJr"֛ moTڷ\T9ӜA헉JtqAYnMP={ };FQSALI{](Fax"2#Y 6R @\f2pg6R?'7:)LNC[<7eo,JYG)_-Z\;jՍ-zd٦]X-<@IS=NQNyNS$M64q!C6&,4 tӪh"C黽YT9}z?$8zl[iCLcS$ʕJ =vjŒhma1QKMϻx uC>R;E,+>\!wZI|8d&f\--]܀:Z}Z+mie4nkt &ṿ98>:nx&+"kγC]4~ f-3Qx.Њv83Ò-*{%8x>pbo#P gCkfO.}w:aHT-ӿDJY]Tɬcg{ћx{ yJ~gЛ*ȃؖj.*+m3봈T͓̓|~Cܟ]fKɱhY ̇VCS C&M:r3wu=4>{{G:+ŭuio"j5\;^,oaN]&to${‘?}`\*x-Z+f" 'Aj,%"YfrWIؙxϵb1C"Sȵ}19{p2ЀԒr{ϋa/ oteyT/i38xKF.`ǪtN -X+ΔP]-F}B4RMt?햍RmZ3>抡- 24e-ijԮ6F31<^U^eou]}c.~a<ecPґ8)g:pSOc2}$hCQӂ@ P]]x+v '1Mge\9iyPXiV7A*8ܚ*n%09 z`҇t fW0xmfkJZ<(O>h])ڪ4DP0}vw\[  aRSdH3MM M&7^]֮x0ecΎt!\_| NoŒG3$+hefUЯE}EG; )S` z 4Oܽ _I(48Z6fԓ?^F7eV/n23.[[.JRxlK0֊KC9Ɓ8ĦkC* ݠ9a2B R Xm]7گy=Bn(eZNOE"0x jcR\jKug/"n6]w3/Ոdvt'U?,uHGdɚ>F?cH/pc _MFX\(Q;N@) I(\pvq1A{yQ*;kE(R4 ۀ[ars>Jܘ0 [;^%nR3U}x,aFS:T}"3—2F,tS[* a(C)+*ܑ1e  I둱w1(F\2C>)8`9lx!ҧw1bRp6Fif5pYd; 'dyANc?3{9T≎?N$y|):?ߓM/ɢ,ATM&c]P^DVV_neX敖t{qrW99h+ÈlG7 7i$k]a6-bIIFIQ&BpEѦH8 *KVR{e0<L+. 5=[:͸;GŜ<_ӖOU@v &`8?=`$\#7߸mPlgq/n$n 4SQ r#dJ%"d|V% P;L`njR6}5y ,Ss[nʺ,Jl}s3_Ѹ'p~De]zhgsDu*5-UHyq^LN^c5!iO7ĥš|P^*R^ğWDI=ҳY鷥TtWyatʼn~gMze +w"vkZ!ic{>1}y\xiʧ\8KӞg!xsaq5,*~zz1O`B˧y<&^*hq>"u;]4L®wƕW q+zu\;܆Kw Vw.e!eel7T7~A:YRkۑBo%jjivAqCP+VI[=0Mf4m;Rk&x,/Ց!>_zJ=㪑pT8ƫ$(mJh7\wP>J[ ˭atm@Ɣ*J5/r"2w-! PPp"TQ-,MK=MNI:f8$GJ w }G=4҂D 4ҊԟX?_QO778n۔B?ёea]aBXwUHӑxm:oiF 66Ȭ;j{_hKcSZ ܻAHuzw/5[[EZp?j%vgB)(4_\?M$K~(V$+c0w'..6\ #2G!"(%oҳyzJ"^4魈w>,6 yl(aWuCOT]Ydբ*[CRmɅ(%2HV Y)N;Z?P"<?_f (mt$.i]3ٙXAA>ſzT3Q_sEƳS֐2A}tu 4ypxg; 2-b—usGM4 Z࢚L=Z'{jsѴHRq Gґ3pI>PJל g~G%ydv-\_'5_T9#&YAWyڨ3]T]4eIZ̶+;8mɁhҹ?*]lY,e_rsI Q0S[Hr!\c Ky>Q P89k#߮#%Sw8Xl~( LsD6g;5霒MܯƛG$:j8,$#/XڳB7;ѼzJ@!6 -ο* =ȯ95gK[zI%hZ8{ch0K9P+Y=t [U+%;0hAI1ĺ!"^N'E1@x Ax0\fZΧd [ &o ;ӈ S騸̇xI2{Aa B4%%F嗃aWNjT& Z MyIn7DOߓmѢ:`fgW +2D6>(Zw4Bn) fvd? "uC[[NSBDVBպg˱E 'ںZ2:ur^ MTdݜ-pUSKΈϿjmT-q4US3sd,*a)ai 8N%0L:9RkT1` lh&zPmy1GK <#dxN3.~sxz%[ ӊ-gpZH(GjL{lx'Q4:+FVzb̥#1h $:Ad>j3T1l)2(\{d$l[ցЬ52Vru9:j:͔XPdvG#YA覷@GR.SG{.~A[_kdc0%x0mKF:0ߔAKR>Ww4IJ{fŃw/)B˪-.;4{yn9M$o* _,ݑ:0hZ.ϻl3'ofQvD+_"zD^>r7`,D_k7 #>/)hL6Yl|75xQI&:S#box>gnƧv:weF&va07y4o2R"R H)x>(zuYia09ڎ6Мn`̉A7tW,Ќ [3V6_Cjh,~HT]B/:8r W"r-V}Ӛλ={"clJt~ +T+~r7YgZG8 渘*B9V&JObg^&/L2UsA k+CuvQC?75~\tgu>0 &"uQr-03=rk"f=Sht\?w<]ŘG8?͗`8\` #B-쉵o|}2|a<^8V>"GqK&aw;kj$Y ξKM.x|M N!B׻w>;`TX(g♩=N͘!~@ ȼJf7=;0D=:+V)?%|52Yv@njhn|f_Ԁ%E|0ڞb|⾇.p(BuVh ӿկ/;ozŹ)Y69O=Z6$ 69~a x?ΖH}\n 1> !`lOGu{I_YUO.^5냽Ovᕊ`pC&X@&J[)h{p;6R \?Pk24waR7Rݐ;ȒI^}>}椘#?u_L%OW%Fu#wj5dLkۂCX #_| Y3I!Vk\x ._GEITc\!jꩽ1f/}MK *\+b$-V>zM;'a[:$D:jL)#x߼䑞d^×r5lYgYeP\[4AmMH(nGJ4Ny ZVyXF~gIx$lVEy4CugEkʡ|p06qªG#{$+ 7zS6Әn[>^%ym(50z--gǸ\?hr Mipҷa5rL4}ڕ4MD¯Uc1`Ԥ W({ܲ?IڑZ.=us0fz8q|[dֹNfo𙮳k;c<%,L;8ʡ>SJ`BxFh4v921}w~ N~O]&yV `!Ja-ty:{RW}jBPF\NGtܑR} 1HFd}Q]-+|togM^]1\j01 wV<\4-T Gmi1tI>m_Hu=R$ (Xa%,'fPѨiu''SRVESV+3,m"*$1AI*m]URxٜe;Pb5yPmnȸ_lϥ TR}<}Q/QZ Ǒfe"o,MQr=ц j4mI&r7 RsՌRjDT\i\3mf_ ߯,"L`D,x6=^u=qw'dAfY C8e.Ճ3\&| 2lϑniYwZ=XYWWX:7wLO"4hxC_ob)!v o'%W/<jGnjJq>fq#(}S/Hb 3 aacM}bof<Jd=-މE#^(^_:+%T*@GW&B\ZQvNtCMzk\396 Kҗ3_mXv&H#J mel`?=E0M|R.T'gYZ714095ebe68e3ba30bf512ae62a0f0f0cf37d9ccc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 3cefdd7d5b19f94d51276ec3f97d3476889c1eec