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  !tl< ] Splay_Tree:threads=4elapsed=34.208cpu=76.028gc=1.2727zXZִF!  ]ŗXiɟO}M:; At׼݄|'쩀ŰoSI'߀ZL\ې j*w6 kwo*^[mcEFjZlkcgvvMRx1T}쫓NѧgLs)70q {~nE%j0T$O]֍3o U`%&?Gw>P&&[b2W}W|.2Huy}SsM%Oޅ7EvvgWh؅ =h@]/xW*B }Ryh biDU9Tsr]1)=*Z_q h?ʦx'hxlbPp @vHwiN*J#\cWZ,+(c#ZUd AybZp GLT@t"- P{c%+l=X ʔ^lI ^"/o# mURe  ! Splay_TreeK!7% UţfEmܬm*ݨyK_S#<0\1=5Z^0#*b1f(4q8>\v*e-31 d^#}GM0K yC~>k}:ujJcx̕?k|TE,mFzxmq5/qcCޏf=c}Qf} ,vl1_k+~9 \<4_;LqY/54TKmsP9ۊr5JiS CE|@);[-؜]sebUgsd-H9ͪ[P? ZٶPyZ`) GuhEQllZOr9>C#>]r9Qpl!F8+1*|P`2lk`5bSDرrHD˖>lcZݸ`ZZ~oMLz͝B_s)y=2e2h&|#ɲԬ%˻ h-NV)j>y7 -ɹς4#^"-Wӡ^TJԝ-gNFV$,yPHvpf)& 6q׮Z<Ηf[(,)sN 4r*<nʛnb @[N~sfLGCU.q(!_*S}E.W6S'`.=zD{E4?[_wuT5Zl$̘?켒Ag|UmY'y|LKJ8fTA:DtlvK,iڔ[+,'i.,'#UE@d-%;-UsUcu7 3߀By[YLl qcI-+E両8pT)5j0#Qak f̥p?kj<]ͥҮAd#6'\SNt;ُ TNlPAۅJYASxq}A1|^Mf C_oq dc1ٔYA9gI6T{s΍ۻI8*H ï$t2$Y,D'Qٴ[| |Xlfz#f+_7& B|rpa7g<`cSkK"|[ mZ6+:%LDNc!)!\ ep CP 錈ػa _gvFi‹|8+fޗ5Dvkp? v&ӸYlUE^kɷǫ h"Rճ ۡ(0i*ވ@tiL~@v6Z*vV 2x$VXy0llgn9?EـjI.FeCH, z$3#$:+wjف6JiaR5DBc{QxքYs"ԱJq] Gin|Y$BhIT(u0{cSX$^2BLu N~ `abs/ tAp*ѭ9qM6A$Z|ԋ<{$xEF+=4||:fR DV%eu3P{ƿUO_cN|8\\\9/ēɜ8A n-_{%Tf-{6E[Ɋ=㋋s}5Æ~]mR\H4T@wm#h`u |KWP)M?ka4^|Hlf2!t+vpz`pz5U-6cs}AyFgE9@(E>D40O{Nj1W|rzuMqk; ؆7O#(2;Y3_t*}7     'd@|3!;%Splay_TreeHOL-Data_Structures.Cmpdocument.tex 9!G%Splay_TreeHOL-Data_Structures.Map_Specsdocument.tex ;!K%Splay_TreeHOL-Data_Structures.Sorted_Lessdocument.tex1!7%Splay_TreeSplay_Tree.Splay_Treedocument.tex:!I%Splay_TreeHOL-Data_Structures.Less_Falsedocument.tex=!O%Splay_TreeHOL-Data_Structures.AList_Upd_Deldocument.tex<!M%Splay_TreeHOL-Data_Structures.List_Ins_Deldocument.tex9!G%Splay_TreeHOL-Data_Structures.Set_Specsdocument.tex0!5%Splay_TreeSplay_Tree.Splay_Mapdocument.tex0!7% Splay_TreeSplay_Tree.Splay_Heapdocument.tex 22K!7% UţfEmܬm*ݨyK_S#<0\1=5Z^0#*b1f(4q8>\v*e-31 d^#}GM0K yC~>k}:ujJcx̕?k|TE,mFzxmq5/qcCޏf=c}Qf} ,vl1_k+~9 \<4_;LqY/54TKmsP9ۊr5JiS CE|@);[-؜]sebUgsd-H9ͪ[P? ZٶPyZ`) GuhEQllZOr9>C#>]r9Qpl!F8+1*|P`2lk`5bSDرrHD˖>lcZݸ`ZZ~oMLz͝B_s)y=2e2h&|#ɲԬ%˻ h-NV)j>y7 -ɹς4#^"-Wӡ^TJԝ-gNFV$,yPHvpf)& 6q׮Z<Ηf[(,)sN 4r*<nʛnb @[N~sfLGCU.q(!_*S}E.W6S'`.=zD{E4?[_wuT5Zl$̘?켒Ag|UmY'y|LKJ8fTA:DtlvK,iڔ[+,'i.,'#UE@d-%;-UsUcu7 3߀By[YLl qcI-+E両8pT)5j0#Qak f̥p?kj<]ͥҮAd#6'\SNt;ُ TNlPAۅJYASxq}A1|^Mf C_oq dc1ٔYA9gI6T{s΍ۻI8*H ï$t2$Y,D'Qٴ[| |Xlfz#f+_7& B|rpa7g<`cSkK"|[ mZ6+:%LDNc!)!\ ep CP 錈ػa _gvFi‹|8+fޗ5Dvkp? v&ӸYlUE^kɷǫ h"Rճ ۡ(0i*ވ@tiL~@v6Z*vV 2x$VXy0llgn9?EـjI.FeCH, z$3#$:+wjف6JiaR5DBc{QxքYs"ԱJq] Gin|Y$BhIT(u0{cSX$^2BLu N~ `abs/ tAp*ѭ9qM6A$Z|ԋ<{$xEF+=4||:fR DV%eu3P{ƿUO_cN|8\\\9/ēɜ8A n-_{%Tf-{6E[Ɋ=㋋s}5Æ~]mR\H4T@wm#h`u |KWP)M?ka4^|Hlf2!t+vpz`pz5U-6cs}AyFgE9@(E>D40O{Nj1W|rzuMqk; ؆7O#(2;Y3_t*}7I:ZgYZ //N!5% DSplay_TreeSplay_Tree.Splay_Mapdocument.tex7zXZִF! r \]A-MՋhvG"uIBm5ȧTl{Z -o3`<|NV8>nfu⯄ ݲUXQxIQy4hmȍ`PW}tU;r=LqQ_P 06Gsg..Q=6 dHaWY nRX :V[FHnE>Qǯ5#Z]$@tr9l< eRw@7hQ-vPW X]ΩOy ?)</d Vv!7GߛC3@{1R^g;m?0WLδ4!+pZ!p_vm(~ J΃oѣfNKlO6JфP2?Tocni"NwKOȄTq2S4#y^:%u^D_H;Zpy;A̕yOy ["~lFМk4,L87Z 1,VQT\VU|'db1M+A:r&($V3L(5 W B(0=`kK zn|9_|(u Vtr*Opzٚ*FTszÏst56˯QQZcR~qu>juf\#.N}Ydsg>*#~*y8fz kQ.jj"U#7kb.BP,B Db/qpvu?Y5yPUC-$3;Stc` 6n= PBt-m+L]έP ¢m6!MS)=xPq6_Hx<j\@:$sNMkQv]$XξuV0CsDȒZ%igFK oxE}N~O{ >ckct ߦuCʚ+wTünbp2>%~wF ıc%9( a6cr ݖva ͉bs)b }DHHkTdŸQ+vϭabX2f~*mkv8WFv~Tj^Sq9#׸xqGw;p\CsG5L k5m$)hd je_O#Sj5Ѭe򠔉MCw x 1MbWoo> "Yc^gT`I:yY ZvD<;/aW"kAWYR1l@LX%Jqzvu䔁b2t/<%$X޿-,]%;d@JyKe4Bd7IFW_mx\Yt@5*>C |NxOыF04,Hs* 2 ^n+iny(9oՍ0R< x,_*D^09wJG֣rK,b M% ?9%)P56%G<}tB9f̗嗃x+e]wc[ʩ&pc#9v$wJ1KuR/5M$u JLY)i=\c)+⣞})*`ײThً0BsTx2Fl*v4x$(bL^󺯿#oTOR +\4}uHFc!ܶsN*lw9ͯ,|ʨ=$W +x1v)E&z!7/j9n+~xZw꜓mv @y=sQʢ5;`Ou|١1h'Ap24i  ߎÀ"QӶmEhf%='-A{eDZ)EۂzR]dni:r(=rb܊ㄢu $@BfY+uͦʘu}SPӗ -J!48l MoJk1!юhȱн&7gJ/>\єK]Lבeg= _h n>oHFBA g2;H_44F {P'hbom?W[O^,ٵR>T#; J*vF}%3E?ە6q`zq tp&EMU}ypUYrˆ8bHf|jkyJ21~.a)iȻ>47 UVߴ1C^袅?Gi*|vvPD 5- S͠ݐ5njxnۏ.]AQ:l"dTTUH0-5)|}P惀UMD<틧mIz$"n/yH㻌>2Y"TVBg3iB6"4 ;廉2"sizk&۳C%g͡]!.rO _-+JT{.7vMF8~˟0擌"s>uWyMQK@R2DѤr&**P@SM\4.Nݯ$tԤ#+_oB{Y{VZ;t6bEPyIݨ߬om!:>:֗5Ofpj-%?jaGJRM;38d3’Jj_\?'JEc0ՄuVJi]bEc3(_bGK cZ qi5`pRP~fN3%cFƚ1Ƥs LQ/#hiZ)phiQ #o9rE;aHwیQ@s ;`JEq~pu 'of7ХlgșJD#rdB&@8JhRj@\6[`\K$L3ZI,u wx '?L*q_'|A1G2$3>7jLA-EW^}MĥvlZMc Xm M,! >Q`aYmzj ,f\\l!rG>'.c|MCv$w#_Y+ͽ尹}-*ܨ$$7yoNuKI?a RwQBݝ`! ihv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 'h^Ksrl |*pPɶq ai̜'& o^ D6 SH2}J9~ p:"+ԫ@v4ROh_Sb[!$g6D ;|jfeڷ]7b}N" ( yi)2 95h{o/]ByjU WCUqx>ҫ3!D`!vћ=.UJ~$`i,`  K?u/;\/Vz0W؃GvL z.J+H hҲu΍ <貍Kk+?B>"P"}G9Xqb8XsR+wKmn[!Cf {Mh4NmfuK,bb ?_Cp.%f+,yO0'@NO.*ɮYVo_/0V)sRqu4@J^\uLVޓ$ĒAθG^ɩZ84 n{**:co ?Zh'"*"sor,UOwF;ȑSb#O[!ǂ %I%%k 40qKlrq ()XU ` ĚÝ"l)2dء^II5׵}p:92S6;sgJ~w0,E D}(u,i2*t\ܩ]yġ!د7OFp1ٝLI{w22pJ erj Yt_=Y4;bZUuz Ra;@(V[X >\[쑞-? g"z=OwKsϦ92GEoqlb J][Z:gC5YR^#\T)tJ1ܺW V^`7"ƕ[ɽvp5K^W۩*5fC4a ġ|YN3*Q@P,s?;bUȶ ,4rO2<^6'0K/)ա@/g7ovMA#`>̖9$C`mmJ {b\XKri¡FgYZ 22K!O% $Splay_TreeHOL-Data_Structures.AList_Upd_Deldocument.tex7zXZִF! K]A-MՋhvG"uIBm5nВ *(OQ Z:P;Dy5'Zxu@43%b>#  n7s:IdTjٙf|aP-U'nlճQ'4v>O"EemOR\8NQKe@IH9\Xdo!iNJΝLScѢ:F骻 7BҡcgYKr %uj /#yZ( װ|. ^DOz1e$PzR zMZUH^JXZJ[˴}geַl*SԕPem?>Y}N;UQ6OמTd >{̶w|;T9컸m\YتK6]sOj7q5ݫڞ7|dh?]gSfZYw>j`Nt 6tb{߱\`՞ ۶G)-"1P,MD.͉4Y2#n]^_h98+fë4/E^aN\YT;\B6j{)bO"U܉1@19#c8i{!=iÖ\й'& Hఖ5s^wk+օ9w63p5kB9`"4Yko\Jfjt}XԞnΣDf$jT2V9g?[ ^Cq*Fim ׎"?݄|7Psj-2*IPDӫxhKKF8qt% 4)Liq|U3# 0tN?uk)89Պ0GpaL9ۋ)Cc~լ[#H_1kN]'&g0J+SS-yy,:L;_( Xu,(гiaV2.ȳUԳ&oQtti3$uߤ%Jq:X0 TYk:Sݐ͘0'y5!{*`P`TQr.C1]4ZiBłn  pW-vRW/SZHǍ'ףqWihXӲezvMAh]1Z!+c ƶs|/!n`Nιqc&OCĈv<.>zE:@X,2${!;z̟ /&cTYl_iJӯmsR=f#}"]mv*`HW:fcxix*Mwt{AH?r!CZ)}k C\  Re .V,wݘDjɓ7i`g_ϷU?w_*bCZ2$3äQ!Do_iW>Dž/cb5Μ0ρ$Y 4lmZԀ2OvNփlzF9J:G:hSalRs?鯡qï^g ƪ,{nяPn}!jgu}pXh\vpٗotMtSPj .խĸ}P~NIs><}EV7/עwnOFȌԅ*V]0ܤ6,RTwղTmw_ZYPPHjuI釜Ul`%š?Lrk8KXE)=}te yt*P#QՕAF7ΛTOH'`~-=J%2\)gi/nQڄ cS2Guqȝ7BE2N+Uzox \eZi_/5{BopAXx+*b[T:]c"$Nhz)Bvk@X\+,9*7 sw%֗yC3(sP;ommo3Wlm"mٰ1Q]mї;|q c&;hGzڼgr~0 >| >Qͫ}I[G*D +V  hw*(m5uXXv@BDymu9A+NѵeO!Zbl#@b7n{%&S|`m kׂ.JPBR6&$ l60nc/ 3pt+!g |J)t\vMЯvʴ%yӘ 8O/7:t 1x/©I`]9ӛI%UM9"Ud4ym;]dש!`6ȏ6KaNDcSA(:%jvvkᤒjlzv9cNǙ ްQ0:8qgC}8X$D*Q!x<Xv\v޿?W L'- R[)55;MMK2y~4 h֎mt}y)+Jx\_hNH^e4/; O܌6Fr'LUHD8VRz?!E+C /YĥKYp3Y{`TlLMDO∆|yQqJ4KSaL#[27- \z?]~X1)LM@EStF (:&|;uu I܍c1YU):%cę˃@x>E,+km?Ƙ<B FLXxع摁B 4>:jZ:'Epg,; g^O0UYtI=ҽmrtq'ier&HZ񠴼_.{c}7\Ck2ѣ+}Y.[iJ9|WHe&8LS &vb,r!Ԫ)宏zh!*%֊;*C&7b. E <- yT,w4n;K%oy:{Noghk1{ @]W6n_!B̼+ 8%osq%Aј/|YcY?240iXJ$eb*[g8\eQŰJ &BdIh%.ͱ9["eSf%8,H|ri1KPʠZO큭ssbL_W8=&oUF62%Dg\C %ؾS3 /N޼ڠY?t 7^Ƴd%\sv+02cm:&QHhaC\/%oikԭ$%m]/U>!gc<).7+"H[;[rLRK_kÁvG. 8bjff<'iI3ě1RDIlv=aECDa‰ D!I% Splay_TreeHOL-Data_Structures.Less_Falsedocument.tex7zXZִF! ]A-MՋhvG"uIBm5!J &bMe]qcx g<TX]M۞ѯSw^gRr!OHyZ-$Q <Ϡ41Qy|m.%ZԯdwTErJs7G2u/)>|_BvFWh@+`f_E~IRa6HW]i^yX PIY}9C&bۢ! 7M,י Z5Z6o^= 3{Rz9Kxm, s%3@Ѯ~:Q\+(GA<J\@l{[um , QѴRĹ9Sج:B@˽D _]Z;*Pz/Fg YvtiiH <Ϝsu#3Vh7 rhPb{t1S]=ozJ஌ȂG;0J"TD- oVI9dKv:pf#ns%T̲AsbT+IT 'B;6Upޜx8 نe-n!L5[tpPST45Bc w㌹ TGho:(kr9 xR 3sn,.xW~1K,AH[i+VCD5toXYd:mg)BΕsRiȞ9ĖGL,H+9=MD4T+*'d֯`M$$Ê.UH~O0Rk;v|̲wG=q)|z`%- g&[D;/IYDu{3¨Nõ$F^`|%.!4*P}q">d\U P)R >y$h TyЯq8AA0Dn=Wf|TH21޼@/ZFwJU2Di( '48%w:&W\5C끜v:^pc;ᩊWK#OK8 ꗏl7l|n) Yz)~9qO/bf4Ri4\Gc@cc"-$?d1Η\GjQƵK) Cq!谒5^Ezt9w1r'Zj笍bZ%DnWQ ]9lb[HLAyYyr QjUe*T*N[a+nmڴ@S16NUslYYIT~H1#p W؅Q6lx[@H5D9.;JC U^c G~/Jh b8l"`:JU*zD`x6. m"<O]HQ 3DMI[VZ+_v.Ф;?WGb*K$_tO?j|of;lU3S& p^JL`?R& @>ŋohrTt-s:( ._5-qJ%r,|MSP[;)Ϣ6ȓM1Uiz8`h_(2ΎEǯ/0[9_:]%Jv>g$P'p&pyn"{u;rF{t2^QqGO6u``4[egGq;01~2_|nxwiHSdU9J-SM(8GbB ]|3_lDžjܟ?;W\DU<{{C !GRSH(ʞ ![xT~]pmS\6NL˄kQJAm M6,)0O_N2K~/(kCㅯuT 5'jy$Fd:nG,37@7h^ZQaаp0򄞊As&! vu^RNboH2fAze"#/ +vҖ9VNOΔ Gjz οHt1x٭K諹t$+h0͉Te{>s~tEګd8|xs1(mvQ?*о<26)K@.?fȮ&SS ob2+Y'\ȩ?zMVW8Fv/=n8B A\Kd_ $ 02Y|ό*wūt+}4VK'F_ ϭiWG=Е8v܌NOb)H{N . F͓7HQ79q^?qE//2 DX=⑁Ī mCA4ߤը%߄m~gw@A>MEusa}h) 9慃ryv(}SێYv'PjeS>Bi6OggQH͵He1+Jz@.{mp-^.`+3{RPY0u1#luUPg͡gS!J2bkV*zh0Ax˗c"9 _cPF1aF4ax 3Zg\ XhRaRke,~c1E{Հ՗Sed;g#9ٻWoV;o6Kw/UNڒ'5@ђo&:hl C3$/t]A]@HJ/R۫^ZmlUaA,2Mn45a~3L?OL]#Sߋnݛ[ C.E0xuJĚƗGXki0id}4^0ngYZ  ' !G% dSplay_TreeHOL-Data_Structures.Map_Specsdocument.tex7zXZִF! 2*]A-MՋhvG"uIBm51!/.}Tfq+^&% *y~hNDr[6cRλdZ q@9w]#Z/Kd,R&3,34삏YqGl N<Z,2 '#IJU‚WU%])\:RqB]婘>uXnTb$w#[#S׉(E;>;-=3Z8*(}:a4y_X(EPQ M)H=l3@VwL R7s3ɚEJeslUz}bZO=]ӦVK#Z6A-'ɔ\B!V٪  { _B6uJWڲΆSR.r37:[/5VSՇBjg 3{:k:>x3{Xۢ:(kNkZc9 tɂ,@+CO`L^5r@7;F?ؿiEfE~n O<%1]_q".wpWy+O4eٹ@X8mzxk; V+/xl;ϔ=l X(=p.  |O*N`.Eh묱t@+_ o%(ORT~ ̼ $VoOuH W3}fvl{jD,?{Ly!QԚ Yvfז2_+(l`35p97mvY88?a˹wr |!*"WӰ˔RI\h }?8Wh Ah}: OҔ%>1j8ؘ#katܒIKL:?W,_0i1)Yvi$s{ `׊hFzn<e##Rq&y3^,R>t31iM`^{n;/>(XQ!XoOAoysR ǫ9* f瓯 9:MX)c(OqbN*>xA`>\Gܧ^qkт{B=6/{T|I#5nVݒ1nU-9x-0‹| pYq(,ʙfJ5AQFPyLZśvO7F\ m3rȺhI45XIQ>) 惸5؏§?y ]RPx00co wpaeC{`dNI-@{NDV$? RhTy;k1u0ǃsGI4ϲl6wC䃄_٧sMd"I_\ 3E*k匑Z1Mn^J?  e4ޭgYZE!K% Splay_TreeHOL-Data_Structures.Sorted_Lessdocument.tex7zXZִF! *j]A-MՋhvG"uIBm5ȧ]Tȥ`R@ņ04tqu9|D˓Ҧ4:2.x2wFII\LyK\ 9Vn1;_w)g񄗭Qɿ*E`#x4*F?(WZyf1Э7lb]ތ>N5d ˜At]F< UeMYD{S f<: h Nq>ԙC \4*RXTSK g7`eR0,oIA2ݑB}}2sMc QF+/s XSU5ucn6_Z!yHm3U/VSxxDRT]8r 0_`5*__R=@]KUZ-`@ \gceø>0bRh ︧=넃8󊙠ӗ0P$?ngauC Pa?y06 !4d$"5ɑZ5?)iRL^)!GDSةPL 94 Ime 0փqஅ̘TԎ T̞NgYZ  D D9 !;% Splay_TreeHOL-Data_Structures.Cmpdocument.tex7zXZִF! A]A-MՋhvG"uIBm5Y;dM;him6 iB?D >BJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZ?F߳y-{fOP7J.ӷR1}87nb&^v_ 牜VMưC|G3AGJDjw>+0"~G`pmTkO gH24agYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Pl*9 $5ũF?J!#5+4T&. KU7;%@c"SUl.^N:Hg߶8XPIWA7<\{En4Ey79cuM~W<;$^ ~4ҁ ]Ǽ2-@o4l82X¥RgZP%ضU9^I1gYZ7zXZִF! W W]ŗXi%D4֏W/h)Ӛ.D;텈&^d <>ؒ j 5y\c;h#G ta &alqTρ+ ka)$5M?1/Hr77m]ӆr(\j_,dK8/x/2W7RzCx~ߟUېr݊ދMׅu#F^B50"i?!,3@,Z˦y<%6F@RW\eƺPM?r.¿0ܼ(sH;X]NW:lѹefu't VzOYdN@Do}{zňb,VڅTWw'oywg7~؜vIT`H^7)ߖ}t$hAbJu93,8{< [1J Ќw\mxn#k)T3AXyYeE|+:E `äLd?~wgKU,&iGUy, OuD_AGݬl/ [2`],'d|rkM77Ѭ6O@TvHJ Ϗ Cۏ&%CyV GBĀDε qr_[[:㘵zũVj*:01QƬsYf+ۄpPy&1(ӡAj^Tr̰˳m;^|Ϯ}Ql LU8nZ/=/KAV{<8@aO [00Âs(}?4;YōGRf1%ֈ_U"(= @lXx]34I=jDqs]|N(&0'V>1*ýmQ9X%,U("m+$] ̙}5"왶JsPx'(XTXD0JsA5hQ!Kp'WD.|u9ޱ*)nvDQm&QU)8ZE4ML֊X䩙l q![!'mKlc)~e,r+D6gn) lY=ƭ0X酐""Yj‰3 ]t'1Dgw&djLey]BڃUNm@Jd)QC)f 8;Z /O.q'!T[&6&"q c҄(2-= #JK_C&c+Lk \4Wޮ 6[^^tZ9r0[ŤH!vD$Ч^'`f,d tq{mXj?mtQ^̿)|Q BK%m?$Mle/koQ1DUK=LK04/q"@qNRc_en((is)J하pg̸8U%@O4HjPs)/z VYA1Ǔ,'+dLFWY͠e]rvvP\Hj@DQ5䂤 @̸>>v`>o,; d}[ŅE v >-т@ּYM_6d9 6Z͏'=Jed⋟E!_NP%zy]]]d4mD[8JG!Ip U#̳7ˆ@Tr&_Zy|7/bԋYA$|8R 0re .ת %)R~ȕ3hCKHyƝɭIrB0H%`oA&y :d  䶡h=bwu0H)^?7"F1V(LGCVCVq̓"8׍)|{,tˉINPj(d(^Q\$p{F9'6Xul@t7BxONCB[XFP(-.۫7F2/zW~T˯oE;L{/_Ɗ Ñ7&"jJXѓ `/ i~yX6J{~.oV w'd0@ O+*rŊa޽جVbgYZ586b8632e136c2a6fa3a98af56d9402248fb907bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3