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  # t< ]/]HOL-Nominal:threads=6elapsed=7.327cpu=20.276gc=1.020factor=2.777zXZִF! ~m]ŗXiɟd)&]hS.J}+%%:|pO386IcSŁ2}%o]aSs)"bJ*2A X.{=4>4wcS'Cf7ƯcɬpKnIYC8ij:;;|a'֢5\b E" @vHz~rʱnG9k # HOL-Nominal  9kFS$Y1y~Rz\,{;T{TL`U߆&#!S} (MI8 0srΑkZM(QH$JP~QzKl )PX7<I|D/~SvH,&ytKz_b*cps(G֛]ު|+12_e5h<*E:mhӈ^$\((-e~u(+E+Lxi, ^|z bB*)d=?h\R)1g$J ZbjVD%?֨ʟ*$J3xqBs"z7&ld[T{t3Z5˺p  0"RƯira4⚴{ٮL`)̹*^gбyUu,PT2lA ,cyZMxj!i"P$rU``'mn< x҂|rd)K\:bBF=B$.\ Nq8ЬYף] Z㛣!؟9|E_ hA?3:] }7bq^"B qhέugCh:ntN?b6 ;w7p'=6S|@Є8<W\{:_:;I?e.rםhY:U )(ZGc|$ސ%āHvxikR1d!`LȊ7%U~cP<{ool$>e۠w`&DI>ZC@^V7\f>$pDdhP} ͮbFNd[k V2-&3o<@aՍe#€h>1hJ̸?kA1^j^Tg tEPUT,C,_!ol4`#0Ts¬KlJ2>Ύԉ ( >t#[?CJH:x'0BB^N9 l=PXXݡ6HD#) /FK$HB[kx(#w~Yv̾!s/n0j-BQ;U{Q`{U~;~  /iAig#n\ѱK|,FDԭ1% <4qOgNcz=_.eN nBU4*#rEj=h(!v, S+⍩cxJ u'l9dt Rk&&4r3c¸ Yd"Z# m+yKghP85Iܥ({"vLr"̠TY94: WCxEl?8p,Ò_p^j'=_(|K?Q~4M[,rR *d;ո9BfbU34MHCtW]S:gWKc]%'%}y91/`ձ(lM۵l||~ ADcfv\>=H);wRq0(V3s&7uEI dZ|,t_9b'S5.Òb`*pX&S4┋&Zʶ %ˁX5v4 f{q^{`2 X:։oW ·u"wL:/`D ];uKQ--ҳv6hata E4g"[6E^x^AzаMFBj ָ(yA=&+ Xu05|BIcH.aSE^1Uki$ ][V@SRP_]X` ?U !dY~u @[N]`KuӊpGleI=ݛZ=~I- 5K&uHfWxC(43YuUps%K4 @~m  QzJI#̆1̕7 ndֻxC!y`B&Az:zF_2%MRuJQl)EENQϓqWp\N(̖; ] / 𮱓(s&R"7_k(oK})xGM4sUK7_;'CȞ녧l["df[=VG "njy̯5SzY9/ыk4'Bla%pMϪv<+!%2?p~.CHp y(&v/\S:} 8DMQqXr_#Gٖj6 u0y-@O*IZ Or("+f3&تyOq($YJhHu]HTyOxЕA}'0Sv,TJzhrK31gm(+k~Oe)j`Q$o՘}j11G uSIA֕|ژrLנ /*P ΍rNs}7QS8.%4BCV`X,%RJY\|hF{p.k!z^(03Gi} f~xyW\L)w1"fݖ鄷V^^ҲQ*PgMd" $`EzNU_s^`) U??9QÅBi,U#ml\33e ]8cpa$ kpb[ ,`(XȪO!6iE$2VIb/uo5\*:Jg&l)"77ed]\)t&Ċ/jxx+#U!5<q1,GM]G%|K_nw++_Py.UnWP 0V&8"zOyEFw5JԜj:Z5uv2E}n}{yeTϤ|#;r0P+*g* Kd^?mȗwࡓb߆Ch& gk|FfC(0Zy. YvFMD]k{L/dQӴƆ*l-v!̺wC8X+Db5OmѯW9M7.fF0:A+SbDDzKgpEzۅ{Oi_-I^Qjb e 9mf 4Ct}ҥH'>!<JCl=yzEm"ֵ5c=i7=/)!cm[ "_"vF/>lmxL^<Կt\\m{I/-݄Xyoo^RXv-h0"[){30%;qsL\*8EpsY^adȪ[MyQw 1wo "_H|)PS])*%d aY *[3HqIՒMywgx$h_Fb)BSkv#2W >zmꕥז`Jaq]z#/p&eR0bIYr:BTdWP;SWo}0R^ChCg.'$h{='wYes-,53BG9W-Z qxLճgk,jIz-Τ?TfpƐׅæs۞A)Lրt1['5ݞ}{!tI€?=; \:@*[dzw"mվeY6q'؁iTZ75iVb6ȨmҁXY,3WT]+PN+w9mg薠I(aA|!ׄ*W1MRP|Cj} u- @[m~8LgWm@i~[ ߂_XBtYn:?>Aj3YD+Gͤ0#3]#0a[ΎEb#UvUr6,x73|x* h8ɨw )qpxOt߿ڵ :c rS?gu'ׯPM *njj3Y'|26 kfCv%7LȑT5@ʝ4qPܮISU2hԪMG9qcBoX^ GZ?g& M\gJnL=k ]]6ť IGvx=jM+ iU|EުǍeTT3٥_9#迹D_sRʇsBzsdWwnR%? k5~ i;6)/7"Q`9l:3-Uf6)xp U14U%iop"iu.IU?[3r+MƩ)aZ6IGfc`Et_TycQüe*fI4`_wB"-rݡȯ\:C~';q bN]dHӬ:.<; x&TܣW0e 䕜r`+{ j5qeDbC2)qv.KYC#~AApX#8 ĽCV# c{ۙP0|+g.W'OR`I$Sy[܆rU ;:Xj$폮0S\ʇNr㈳HrT]XƢ"fM흦/IG~f3 Il+.l_Me=dyotzN"ޢB|8|^m3Nj "seß Jk݅pژD1|- ڢKߕ xz!#{Jھ >F[O0^QުyI‹gL,n}'*.$Aa !+6Y&_(.][}`0,w5)=@S C+Z;slrd ? X~*YeDc$|7R;B26C6J[ZӉʕ_edJE R(^x*R 8Z/-ʡ+qGyV4LasyJ<]" $pGUHv=$idyr`H?eɗ,1= д mD!# Q2 &{ & :}/;w`g'd k2Q׸oO~aY]nю A.~bSLuժ_2v3V1U!׸Z!$Aފeڦܣg(GQ5\%Ӗ&kVGbbII!iQ"JCh)Äᶐ_ _013 H"W<"D. .՘|B"dwD *H^.k`xhݿ %I fnU(E* 0 ֠qtdˆTD70Y^㲒vن+\g؄["(%o] 2>1EJ50;H1 8_a) z4Yq3zc7 WYiTo9-`8]탔I @&&&O@V 0nL A Kx326$F6r|*!{|ӡnfs M;0%*i [jA -5B@:H}$1t^FC~WAɦPVkЪ ^MҩJ9(vM&9sr?5n0RzBj"'q5S6( t` 'qKJFʫPqZĔB V{YG D]B-F ֈDL؋7e:ʦaO+J14'%H$9寰aH8.q1\k~#JG%#OSxp̥FRgS{RڵFk[4\'vS91Kp' *ڮIdȾ"W{ÎFh>;]}z ~`pϝ[owSjCb\gsG+ &V \w֗q ki8% t'4<; =ZR!c$:O٥W#.kp*݌94L(qOcB=7K?h1D^+ &du,//8= rzQbR%#~nhɟȔDkҋiTk/^WܣM{bkQ9mٞrk޸Q㿚":{o#Yڟjw%NB \H$E@% i̢.WU n-{ rS7e;+UՌ\>/ߔ|fiА2Z,=ӆ8<ZPH6nezc^fu].VC1 qiaxY8pblfw˟¯B5g/hOf RoT჋-%V(x-֎En:H6bSlAT|$(2ֵ hY_ZXx<1n%?a1RtbǞ4Y3GoIFF2O| A`xܶxHXrL5(ZcGR[b 2/C~ Rx˺b0&?/ #r)bn WS{[SSFHgtTgZ3u*#?NN;[. `دp*D,(ĕHe˙͡V_un~l xw-ԫ ~1jϘB~+f(?jY_T$BUò0y`jncBS2`*ɒ 09]%~sMᛈ8^j I"v"TMfoJ+.TtAT_1F=,fJFN/|Ntb13 )b6D}3{8$LK~σ) PjC*zn?ƿZ sYM8mJO(Xݴ2}ਙ%E :./e5e5^ѳyKQDd2;IS}P*6U8$L;Z,:X㳹hTr`" =tYue !`6UYOX3 a%`i;Txfv0~yPۗgXCXћ8tk{J݀g9b G`%Iqt;2G\ erFk ٪,&&6A|?Lz tv`w}d._wI6n%y{U Mfkmݕ`u8WakCVԎW/:JT,=3$lEͷ&S]L+)HW 2[K~pY1h´#o-e*gGZSj;1g1 |~HĀe0 }W9-^Q ԊIc"I?\UPBC,af \=Mb~1R3v5 ;D:շ@9:M*>;iO8xb)PF/N~Xˋ۞0cHKs~u`&9/O2L~d884`"?=t7pD U)jq$D< fި gHOcH!-A&ҠӼkCO/+4nKE)6w7ǬKf>,&CǺn4dwPL#G7Z8xo}:q ^Τ:El[_NK<̔yo94 jf[w5 1ZINIDfLS_3^bS>~ZFlD)aJ)$mu#95w:{/-OJ7n̋cbc*r6 6WׇĠH[q)wY n ; s6.QRPxeM-#8d\hh[H?C.)/EJy[df ÄmݘФgY!niTk8iMP.Q2.$~dJQW8ۡvz=RW{tûVٛjiw.ȝ ݎu`yqtQ$DB*itN`>jogk9fj]J#bN|W5(kQBN(hCK硥|CucJ*1W>vwqqߞAuN*֤1'1bF$b_퓗.mM?;`'?j}7Ogz\=C cg̬+ϫ[9-%3.}A&/f4R`֭|eP `xyOcTNR*e5{/i& J%XxƦ/JF9"2c] A]Yzzn,AoBRN$duaQ%"yo@g3k&&%vE6HS[L &HKKyagi,u'n]EhCv]aڀ9` C$u+דJ^]/pKE#8fZgx4f?j\ pkAj-ni}6|9?r m{;Qõ^:<0K5=C01 :F /r/w8[fT{X@[Su:<'Go<̀~jomf|~OQ);u-jXzPZe.=c} |OSt\^e 6;-sZjU87ra2p2t6X Z>RޱRsiM3"_ w׆$({OVjzwfԦ [$Riz?Dd1㹦 MJ9SSC+&8l̰$:vS'bfw ]2#rEFT i525hHEagoEgϫp81Æ@@8d tW8ZCaR#m.iUxD&D(kfo?ۢhޒ׍YƦ>Aw{ȥ!! VěF ~;=+oĉv'oGhZwyq0#Q2%zeMEi=,.gx4rNrFAP\=n1Ժ#|KD5k@QP4q3_ťFzp:~NM1w2meGڰk-aZY>$?OE(oDR葎+Vtw!ehۿWǪ8ӫSL!뽾?)%K[&Xf/680,w6`zs1yN[5a}0kRsЧwS(3JbwU 3E% G84e%ʵgWWX^zt^i ے[D,lZjN_Y,h "evS!W 7W>)f?R'8eSSgɋrKtKzy襠=ku8M-iSsҥbn-hMb~ۣ`#.vǯ#AJYVs/Y@Y9ʅ#>/?^Uβh]B*;n%[ao ގ$$U߳q Cno_7"zں]t\?MB OF$m/.CR90%7Es3Q>Oi`7̫D ke rnqHG긄-Z1,aKB7B"]EM|#R{,K:Mcby>P+q/5݌wS]Im4Jsݢ#m:Z%y yxxfφ$S+X?Sv$-A4Ux"}K!ۙ/WY?Dì1_w'f̜&0ߎBVF,:љՇV} `/v\ ,^e׮8-ib+\bovQ?hӬ#.YC+16d{i Ҍ[eɥ_Pz+b.BI}<.ֹ/W't1rʻ4Gx#6vv17.蒬7x} xM$rezzDŽ  %tlt`<8psgRg*2GLNc' bY!LZt~$ؿ i͎l?D9vAk02*x-$xn %7}qf5\"N4ιJ<(R: 25qEu8&?U-K мEEFg^R|3c M=MZQ*f?Wnc8fA͝Xu tlVS! `?ҘMuԁ}4Y2 #$Dt!/ '5wÔj=(7ЅdV=&B@]NC>Tk C'׎{G xR v8݀nBڦ/I&O50e cQkSP:3Sj []_(g7,BxY%vKَk"b<7>-OhbH·;Kz<8ҡY%m7 U$Uᥙ,2"~S4/5QP\*+u>/9HbU&&mvЂjS,.ȉBbDLأJsG(doZ (L;[f&Ϳ+iU)9wv3یR}&sz {+`S^ 4 ^̂}'ZeF}yHYw1wL{Mw qcQbT6![==V1a#jWBzv.rRfzǍ5+F-',  8aC>.]非2_- w]iM!;T+_v|'r O_2Bx-:*dMgQ`s׈v! f3,jfk5Wt3G21Éͼr] yp R`S:)__L[ԍ}V{Ymv0I8*V*IƩo('y 7/:<Oe >VDk/DLs~gE˰Tu5 c=tI`b^NLG3HAз8;]鿲!䛙p‚ S%lÞ-<7Su[b)=bV&Zҍ ^ڂO|FJ+YZΙ̋.a; {*. ?^j[y삂O%9Vx iFHZJ)9;p>3$w{h%LěPVab&]Qru-WG5y;i=N\|Rں*cA!Ou{B= %KP܎hUKT{om`[i^o;w"Our&C_zi>kɶ2e̽ EZ񼣉<|pK:ꮎ0h5}8g@۶̢QL$ol$G\A@'Qm b=nШ9] Ok[;1 JwGg$,8G`+4tOT@<(Ի=Ww&dJ&G#i<)! XH  'h1t_0n`݌~m7]T<rr4-9XR]HnNQӎ;"FE6Y>\Wj*{ T8QP[>0Onò8F4JB842I۸&tze IGEY~^dv/MПb&&"jd3i?0mf+PCl ZDKʵrTI`bD6TPqw.}b8dgLae^rZin2 A#*-GcI Qp={C{+. ټ8!t#ÆTu(lFK*.nN{jޠfBC]8Rb 4zbv۽9d~Z;:]kE\sx8HZNRx&ٵm;2SMJup}' 7"84ɴfq%5vFW嚰-.UHo2,vDmh$[1; 8wS9F%^fأOF3M6}P8оCĎO7>aԝD] VY2dC6c 5 gn(z% ZaQux>*>HL /2iօ+Jݢ%m!k2-pvRݡ둍֚u~K[S)0:yl|uCܰ[8XۥG"uj&B0ESvP޷*W :SdsjϜ8]hb? nEӡ5& (4{g.v|[,&GG4  \FR7\]-:() 9--!؊Pm$M;b#qc}-S-ɈpS$%AcDL;IӞ{^Uf.E{hCx$& ~̼{.5(Wk~nљ-Ǒl+8 gڄc(5TĨY(7OBPnuCiVd@_㖊4ΙےR֢1!7YWsk*Tr^AYFlZmܾ.{f˧9[F|3iY_ˢ7C.UD+`/ٰLv*ԆHt^1g&m+I[H>쐚 Ft@o²J$g2șo> ݽ11#eiU}WO'\s=md›i{z3]%Y~dzQ..ui+}[l+i^ ;ۡ$LLivLXd{Aԥ&"OE2 >_:'{ދ-};T6eD`kj~n[!+ X^E`NoH:zKhȡҝCwleTp<ŒV@y˳hTآn#tb|#-c9|89)*O,-!}&H]sLL2[!o5z^!m)sR_Vq0IYkvݘ.;̼e)gԒ5> iV} nv&{rlf:HO 2KN1$Khe1I6[J !s:~(щ>x-X_޳.dG5!h3R-e+if `7^AkuB :quk=@_|(i4nT +C lIHڽn_q =惿 atn~&MOf]uK)<Қn{ɳpxc7 ^O]|L.%R**:`1?y\l}ȁNARrOͪRɕۘNϋ3"X$̰SqNNZ@]}`NJZpBӹg Z}FBk!%AN衟,"$3+Iy >Y0>_ |Zv^ޱm"v)%>lN >bU%~r¿6JSѪQw=.+Uj6׫OSrE9Lvdld@ts=_VBya8}R9FVAt.P1v/afCīt}#\̴vOE" [oSLJ|$#>$үz OV'I䶲|+ڃߦ&{m AY[XKAKWJA=%|*ykv݋wjo};]E3#L.-͕#sg{h4qr`$K nwAoZ= wy+Kä osʌGs9%ń+=^{^Q~ƒ!>O&Jݟ?.[<>AG4cXtl.SIiMb#̌ƼIӍk>3_3`ބt|б3o&AQ 7~!&TR3}(/I43 %~QR6jD3W(Qq¦d=<\gv5=䘲ԪЅsy WrhNrX$U)2/Hb>Ph^7I Er QpiapKd#O?4gMsS^1Ld W,Xt[Ce[\&9<"ĥx3pJ?jR-Z)"T_)vzHp.?MG9<;s󫓉< TNKΰ;.Y|[ltB( ;!ٳ~a:YZQp|5KYkj6/"01`'J+ɔ:(mpoLȷ72pcz/.cVi^ 5E/<:.+n F_/[l݃bh3 E2|1nzϼe0r_`O`X.p5FpX+(2RV1/LuAtii?5tCliÍ9l RQB&q!IԐT[1=uPJ]h[nhdٲ]i-sk?ک_MUjY*&aBq\u xbNW)5wKb7:J8؜8}f`I0nV4} ]ړ҅trjjΎE/ RWooIҬ6SgE a^Ԅdk1?uxr 3` )?w-e4WQ0-IɔWD"VAa&_:(ecYP|?cLU6S4dʁܫT]@5A{5UՔ#~"w, ,Uِy'P_Mz+ eܛ)C֕`@XU¥XN\o\?/ 5[%Ÿ ɢФ^ :5M@\`j١)S֘Zb1iNlļnA"ad?zWuz[E1H"f0a|R|,QBƒ § V62{0/ƥ' ]@vy}Mo,bOBC__dxLa"Ú[#2;uY&+O'vM&ڸOߨBͶmsL `46GOn %6>KM|"*rCM=;\ąO5U zu(𰹺#)qk|<\I$h- AQ_~Yo#)ɮJtqP48f[1ʺnF/*V#c`^:B0 ,Ua<PF[[62^:xsCF[l8%")0IN%t*_9rʯL'ʵF#شtcU 63 t"+rFoHR1d3V];L4( N 2tguUl~l}Ƈ <{-%0z뙸xd*A,šY-2Fi{"'cl]Z)~ȿI?%E0h[c~=Ew'mǀ3py ds.l0*,pW#Op}"Oaߧeu=p$u/P^bAhs݃-Hv9L1v4كL/,ʙ̠5UesT)3i:ڟٛkbmpA,ȣo^*g *Fq2Dt鴾59`Nk!!/i\;١8۬!=dPSn"Ik3ckPnT?N@JXs <֛SZ</lE#MlT)uF|hf"|~ wɱ^XVvELbכGdmDE%cDom`,[-7؃CHu35LK2YGzRfh_##b1* 6X~XN_\ 9ݕf0osF2Zm<K2Bʘp6(ǢW@iH+T5y\_%48o7ozGqj,sm_J5PGn 2UI;N,U0=K ct%gK.^o-*L_h3g&fRmMoӢߒ9Ei  0(36q]0`ߌSW ldb 1wowњ^[A,|V LjAoaY7E\G?;P_&UNxdjj8iKXݠ6ZJf.QPetRyzBiOhyR}e-SF-LxJUב̉D2Zzw&U6ZT-yN]o I;tB^:r*O ˿aH$m"%~3c#{ȝb Ȇ(n^}|%߾ކ C o㑓Lш2:+=v{eZM޾f} KgV}[8 tJ@vQёC/S T7Σes mF~}GI{7UE]MdmI3R dv)_jh$Aa =s‚p/5Y&7f I1xRw"޼G.CcsI(ܛ`;g-( j}P!)l3x*z\6܋&24Etr.O: B$ҍ0$*uH |=z(bfFKlmףӳ'LF59\ɸнWyJp{Ƒk[h`@*nac.ӃlLH@d($M7&Cto=MAi"!i^;P|'ZYfع &[yNliS vyQ`7BI:-H=h A@a'ovV%Qq˙g@ѓHFsDX^~,²>( ԅ텀Մɥ!U?[{'w,oY8n;|n9)Ijd7/exe{{7}P1R@X$?qbbAF!]@ J?)u@ḩl 2T]T@7?nmmnQ)BaO$*9_wwZMK@?+VPd: }G wIXRy&ov jjިB9֟˰t7<')a OojGV>3$%%3GLfڿuQ{ͥ <5r:_I?*:Oѧ?o 4-ʰUWQ>e>c-菡+N}ko?H^B{R-*>!0 Ei]ػ18# 쌘,b9K,!gi?a`GFvdqEz nY8zXL+33o7GYW})'kW{LhCH/lNņCILEg1 DZAY)?:Zɝ&BTTd %51֦Wx`m l tdߍtE1xw`-[ەNoMYkM23QijvaŠ(cKE@x^.ԅ:I Px 4p!T7d.UhŌY=Ƃo7^mR, n\(ΪRrQ|40 ttSʕ@ n 29_/LbzƉ S$OCv"N΀R2^@%s8#.|yRslX^JVZGN7ޮȽvڭ z\"WAlҽv Y]E^im gQ4G֮ThEIQql2ȈN(Np=.Pd}>dBoU(ٛP(9[h]08EJ;rw'Cμ8SnQm7.被giVUj ܮSOjViOnzɖ/^p+Kukru+$S)^1~kex f.Q(0:FF=oZcS껄JM JClj#y`7-hdXhVт3""RLK"k N>UK:BJBR?T^XW"`h?ILÑ׵ =c6IࠞLVZf<`|:9mz&x~ҦZ- 60Or[͍l*%MbTq>oV0twO*K7O; F;YGh+h5œ ,IɺvjʨÂdD9هZ1s["~rֹ.HAy"b2n90HY0%}Pwk?8)--g'u$:`V\|N#-`5B_fk#Sj=R$)NRInkHA*Օ%"IZI=_WF:'S FfO.i5YÒ)0#W7j֡㐮NIa!~FAp)]b; ST /TKr+Q[gnN1-YgLj7|Д+7YڞFR m1\Neާ ϊΉpWY҆>/z25v뛜$HS= aͣG ەCB hj[:B(czewK(ߑȅB,wM.Uj 5rg~t9Wjp %NQ*rԣ#23 L7]wos^Jbf,/U96&Ur,2lH 7_ ,QFrPWgʹz_>wپmmt.ʧm*Tib Qad{^AfrMN]G63 ,-{Ih/G2]6ۤA,8KV k| k2A2&~EIx+G Gv7yߣd7HORhۖ)v75|ށs\ }cNzMI٧^{Mfx3A]u'顉oy؋y+8u)rk91vhMb s9#¯utC1Ր5|p>7J.r$Fl%ɹ@TQBQA,lA%g@ì)m+m-3Z 1_<1u;3'rj\"~YmGqQ w9#,: )(3$ 7RɨjWĻ/-6aE&?kJP->g y~rdDx㗸v?/߭=Ղz|exB"$3I7\C EsN!)?sD.qtGW2B[EʷZҴZҌobʨx (NQ.# [ɟ9Bx}p>`Og| OΔgWu;㎕#>)mQNe8c=K}xcIOx $`:ֳR `aU%efצQùO6϶!W)\/N2|ذ e;O{h(A_4ڔΘi.Zo^DB-Af (e·Ce D8 5޿'Y4B1ꬻ<&kj ڐKȟ-$_sgI%ρtk >jnVWՈl"rX;xarBD͌eGASS 8T{V}"n pluZP'` z*I}\d?Қ 6ۄ o=%$"}1Ūβ0׵/g5WnB2m@%A {ЃcD+L~) gStRr3UHi{  O#<M6fr67soWiW9x/Ƿ1*p\! 4b :w}Ta 8Ӽnk\! QZ+Ь YH J֭(<Ђ3W\iC  ]amNf,QF}ղK-8$S |ŚgYZ7zXZִF! ,]ŗXi%L#NTۖ p4DM GiHn2>e`OgƭuI^m/ \(< alz2bc?I"5ROy=Hʽ?ѿΒYDR:یԞ;wrWb rmЮRwU.V:,v Eh Zdut,NiDF1=뚅Px}+ 7md7 iu(V89*J1фeDp| XyXA4ùnLo>r砊VQ< Y䖁gYZa5ddd32ac88a5f5527c1cb5291e0e1f68f4ff1cde6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc37681b89b0c91fe150975d215181c4c87a43a4e7