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  9! l, ] Splay_Tree:threads=2elapsed=79.078cpu=96.928gc=1.608factor=1.237zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%~K8V&매 p6&$D1v+^؃9׫SP\8Nem즬N SQ{h5Av۾ x=!RҔ޿'+lj^|"9S]x|V[:؍1ǩ!E$=_9htl#A-PnK{(%[bu KZ)nٙ(v++̖'Fm}"OZ gDURn5V[3.GK?P2]  ! Splay_TreeU!5% TSplay_TreeSplay_Tree.Splay_Mapdocument.tex7zXZִF! r c]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 O# N@K :$k"7+YxJ&8dHkeprACSfuuGr 'H}]l>?/0엝Jљrsq$n5TO;D:g׌?]:Lc     B} .`;!K%Splay_TreeHOL-Data_Structures.Sorted_Lessdocument.tex 3!;%Splay_TreeHOL-Data_Structures.Cmpdocument.tex :!I%Splay_TreeHOL-Data_Structures.Less_Falsedocument.tex9!G%Splay_TreeHOL-Data_Structures.Map_Specsdocument.tex<!M%Splay_TreeHOL-Data_Structures.List_Ins_Deldocument.tex9!G%Splay_TreeHOL-Data_Structures.Set_Specsdocument.tex1!7%Splay_TreeSplay_Tree.Splay_Heapdocument.tex1!7%Splay_TreeSplay_Tree.Splay_Treedocument.tex=!O%Splay_TreeHOL-Data_Structures.AList_Upd_Deldocument.tex/!5% Splay_TreeSplay_Tree.Splay_Mapdocument.tex ((U!5% TSplay_TreeSplay_Tree.Splay_Mapdocument.tex7zXZִF! r c]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 O# N@K :$k"7+YxJ&8dHkeprACSfuuGr 'H}]l>?/0엝Jљrsq$n5TO;D:g׌?]:Lc*5L~U(gYZ 33J!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{lp$ |7!e`LHI&jRCAgݭ.oYT|7i.Ŋ_12x ;-B+G Q >&.l5V 4o#R8({XIٕ֡J#9}Č89u^_ѲݞRS- +𠹲*uIeֺ_oY4΢ *` Y?ce"gE`Vy2ɂa[hcW VlOsYx^G2 ~:sa'7W25p9hK1%''M%.Q`27ԫuŏ-^<:p6 yS^ޢY ]|j$H AGtuZPVADYM/1̽^]<3F#V)3xE}JX=kfO[fՅOqeJ*5ވI?_)-Zm [I&/GOSJ3_wǹ<>z;{M( }) #> a@}"{#O'~Wݨ&`7#:O}a,VD79!2Ug⯐)>ܳ =.#P?rJJ_"ys(RgU@BI_؎Nnr'K^v RAřa[EO_CUf|пq}ro -Fd{TkܘCz n90n]p_vFٞ(YET/+pYIuV_W%my[,#ը4;x{)~ػѽ<ei2؂1X_ d(@K u0WLBfzL[G4)!!AAxL~S z&t py ˆrzq&,TfNoJZ˵}Y77-{$D%A_EQ^6Q]ݩA~201K+{v1J<±=̆I2Yֲ7WA CnsVC'o"=e/",qvTB#$gi=7ri t[<[;M4AT: 쮏$'1/k?v)O45E2޳@#PIZMFZ$,Qx4/HC,'RnHW$ynB nPZdh\HR%-h@Wse/+q˯1y K](Fΐ'`!Uqx=(3R޶o <y5w I':)?-NKXu'[ikP-fy;*Ωj4!؀u{veK$zUkN ɓHFwٱ?1r9p{D.]Wv\d9VP"չNBGV!c_( X!G*y,f(+?[!ܠ^tvyr+º'S,5 :w5):w3]ɝUx]+ʌ:Kpڣ2yc&i@;8ikF]ʒԾdx Gq>~2~ck8[ q{СlCJ&êLc~L:-hNbhK]E(IX5s8&@jo$@9(tqC4zy#%/EX&?藙yBv|կpް,c @'pl`&lb&~;F|,(.iL(Lr@g^`r"|qX{.Ԡq 2'd\M3Άm ĝ7gu*Z1W]"} I\L0caeȉ_HYZˌwN+hkA~a }TcMt aeM:Ѿ>M UNt$F>"3IJ~A+QER kg?^;p.-UG&Fv@Ql"GcXa mZKj܈F I}OrOv+Z{%\) %,7Zmq0WL9TY qUiq ǝ +`J+ce~/> +`KN1Y锋2m LO03!OI!77zhQ+ ef}~g W;iÆoڒ/6ܚ4X[ Gԓ9 =gl$Lt镨aq'MyS, /j>"o"׬Iط i*ąI waX}P&s–: ; g}ByվHnkb&,QԦhg %BgKlD tBvj❮i㼀4g"."e+郪!mVE(trA3;x Y妚(rxVX'Ǣ HE r ˈF逾 'It=/1wfP7\Rͥ7Ll>oQɂECb o4i#2?@^m$J &gj3D`rx+9̮Gh4 -НRQe9Ͷ( I.<%G&(o?|2YmOK_Nv8qa~7,w銸&Сgk/<|HʅފyVfwR’~_[͸>tXCJXwSot$WZ O#֝>D {hQ80oFIY0Uf7qaWfhm&1fNF~C8aM{ Nȉ8fi7,+=s VA|*JZK)PąoҗS:QA7W`J"K%58vo Hfwg%0) }# 0oc~>Ϳ@Zn?AzV߬4ɹ{mN#i̹&e' $@&; 6!K՞9B"I5W {)i+2QI`ɋk 1,OMiqMjD3ZؾKƝ\{20)1:' |`ihN^|9bC7_R}Rzx* \ (g sv146Y4aNSZ#(wNvN!: //N!7% DSplay_TreeSplay_Tree.Splay_Heapdocument.tex7zXZִF! []A-MՋhvG"uIBm5ȧTl{Z -o3`;s4F!Yޓ٦uzRj*w!`_*ROn#ƞ!SK?FdIRS0[rW'Q鞝]!ޙA ࡇZm7w(˹0cX3 וfv*p'p4ݮwlTѰ#6Y;pGkƴۆ_Nm) HKҷ/jtv nJI:L *t&,J2-ꕏ0ק:e⢜Dgۖ!p#zeX=@,^ ry׏`gwUg|ceX5nDE.0mDw8ثRQ X,鿱E4-/'l(jg廻w`Ҥ.䐑-C"_d6M3pnҮ''X*Llɠ p`qb ӿ-".qd.LvÖ1c1Iֽ'}^w~!8\,Ɉd~Oll啵@dn6F"g!Z {vw<ˁPF vg?5.x8]F 6? gE<%BGO('f,X&]6h'|e}W+>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}YYl_h3I-m2pW;JsVx.^ HnDA'޻wx]{v s5't38*4HR#0$,+đXrF-/ɭ{ d,Rf)lP+?*qiWiԵ`@Sld8P^R=&SPdHUxmJMS`ŕUB"ADDm0p]$HIFFc_<~t0aՌ22z[ڃi>k-j5th7oX??,Zrz;GJ6j(*>W";Ѥ`i08Ҹ'SP|6fh_UeFoj3q՚_G%*:iilRUgk&Gm0ԛ`?,wʝo)#g =낭`t֖l#~. zLt6#ZmmiDyGp缼 r&*&+wqH=ނb7<ה_@`¯R?叶0!fki7k]B`SRu>i a1 ߚe/fZ5Ðud{&C O0 6G\tVj$֖U&,8 ڇ}8$FQtsݲ+= nR^xKJ5ޝE0LxZ\ cGu`j҉hBOB&vN2"(M50wJ[a.Tf~ar/?L7 :@.N 8`` ީG'\BTM]-3nzB KN0] "߸LˍYLgYZ __!G% TSplay_TreeHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! @{$]A-MՋhvG"uIBm5#'NQj`d>܊ㄢ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]FBE aj$ ,m*I5ѭE;۰\\TJ8phbaU+RϘ3eL~KEiE~e Mni!¼.\Lŷ|ĄuyCa8 6}ŕShl\('ɬ7<ǘdѢúm#69huϽF-\ ao~tGfzz4+ͅQ_3%,3ڜL&u&uޒVINk7D^y7B& 6ywYsv o-^R{HX <6wfnTy&#NFs݉\Wp.፰Ϗa~ΰ( #xoi9Jw8/1ԌIzO_hn:>~`Ni=ǜRBˈ&tIoF??#Ŀ<0%}P6))0stKVHbnΏ:ƾ>gͣDLC䰵G)46/2Yc5W~ rqo὞9~)<]l k) .cܨ'ha+d;̷K`|.n"6JXX5)F$./"2`:&tF~2@Eo N]mj$X*[\XԈFr^B+?/U98ƕsؓ+'|Aheiqo9#]4w]DfY6d⤃j#{2| C8sjDڙyp, ǚMjlU p( Wlc :h{.$Q@.iXcN:eM*GMÖYgYZ !M% Splay_TreeHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! h ]A-MՋhvG"uIBm5gq3P`J깓Q$}oroKB%[ 9H(.Vˣpq੓t߱8Մd Y$⢖#mwG.(gXU}Wtu8=}E2@ELÏX𗒛6άcH1PZ-Qxi] 5i4ĀīI^  s׎l5=gfڷb,+l 8x8X31$UH&e ?bu2D*mA_a나-6j ?8뵇 |o?-a>hv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 譿dxD\daOM6Щ'Xp2 {hCq[].jwM5 DxJ<\zfЭ޼fP) "Ax 8gf\E*=9k9)ǿT3ÙJ1d$d W`FܿBnfTCbAp+-ʥ%;R7\2G j}NTHtǮu3(IN뱕nleFz [%t^Sѱ}PPE+  a*=VA"  ǖ jֈzLOڮǷ=p[j-uH7';]"RAϡ>{p6·hdi }ΰHg<ʬ o>И?"> ٣4hx;X&DniRC[lL ڳXi?&PPV@&H o[9 #^w0"q~= 1KY5TƀY&?;lܶnM0/FBK o ?Xr؍DI_%Por>ªn("`J"Eoܳ$rt([(?Ux)w v8qԟ)&@)Ԟ*7hdEDEiq:OgXc7'!XI^N څ蜸9 \J |Zu{>V3_z ֢9 ܶs*Rxܝ6]4:C3\ D+6瑴YN[{n+1G`IB750䔥'ez^6TUKV/$:lSY:XMZ @p8.3)|%Q<UeYv9@_Y8 vsPot/#g_{~t2'>,/˷Dxf+%o `p햆vdTii2jLEO~o#yEHҏ9!Y&C #\};S1h RUy07+B!d_""'+`qݢUbz[CP2'R(D Pwd)إ}.}X?GAv[Ln"]]A;۰~V.եlA%AɜCeYW*^f*$X}5͔er(wŠm?^O >dJwԃ;TUH &W?*RCtvfN+WߛGH觽3_ۣZϣJ)'nP[ w\ EY"G=|a:ET]N 4T I"Rl̚mi}Y `cLrdemVW):M=:0B`z\7}L9>h>_.GdC&-cU)#0Qw|.Y Fy bm vXRX&VQ+z='cza [e%c~aIi7r5{BLPheHК3:r vh#JTKOUQv(ğ8_hS)Cp]0j㮐). Y7!GībkPHuT7pY?1)à=J IKKjR8BeFK nqz2Lmu%e#HhQ<;dE*EgYZ  ]8 !;% 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/!I% tSplay_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]=ozJEK6.'+|q vbNr=-+ڔ Wa blAj,wp (뼃bQыtm'ݱZNiqnka^nHlO=).\W?cو>h.6 MC봄Kb>aNbXWѺ;pv',\? {'^# -i|f8 uUjf X`*P#5?de8H0UYNkD`y.ޡk4^Z|f?qz1MWψe>dAߍĤքv:"pgYZn!G% tSplay_TreeHOL-Data_Structures.Map_Specsdocument.tex7zXZִF! 0]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@ۭZOC63Έhvӈ{ByzhXM |NV~@r6 ۥ 3wNzifȀ:mj>*Lܼ%' 9 ߍzn-%ixQ^L[qghviԐmJ1Y7${*!7}́OԴGHe%lvྉ2t9H R'ם VJm6\*ޢփEdlyb^a nCQ:mrN*|9]}Ț$C;1IJ٢>]Ҧ?G=n1GGgBT=xƆ$ov[Y'o_Y:n}jM<W\/mAzJj",ƨO *09nCr.S*-0k˾rdsšoI =f|SC5Uclk4Ɵ̏-P&rg[a&SλC`ߊsq֔뚜fOCE),:T,]N`Wf[:ec|YgѪ%d^.c6 , :.r u; lkrGႩc7>x:_En%xkN?Fdz9:*W?PhdNdįGn2۽vm 6@%tK _cc,m^=]8E#Z@lwGO- a}gYZ  D !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//xƱgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻hmSA{oahÇF%rWDb~s2Z&04*/SW#%DBz}ՂhFXeENܤ %(qruHٕH*@ {FE/=6RmmE۩fԂBn@t1qN$=jh"c6BGˑxv hj?OagYZ7zXZִF! A ]ŗXi%; K Tjd=E#ʖ cL-i((A';cMs;yPb FEzt̥ƇWc"|х$\u&[&ީD84}H>0Ϙf~Y쓲j >nOy=GyT$egz #G*΀CkV&k^6E 1O]̹o>/*p`8(,HS DqŃwqI]q Lv}J zr7ոs[:#g1@D2zሱXD=Yk]ڣ@\]p$pp]`kD <E3M߄PBPisܮpi2ghf~nd @Y y`Ɔ@AB[4O|h#kW\ lz,ibmd2햲FwC6zQs{RC|>d֔aMUX3 i* 740Ȋf{t]NެYH'+BAV > -dX9a}F`/AK%%`|/R?jvqTͽ_o(ɋB?L[<.<ؑeIi݁ud+k*_V~U^9|<{$uLjW^[] Y^Tt e;F_#5y3CV-^[ 4ȧ#"U[.%-@#tekU2bSWoxS9S+esCBʭ=(CU~6r#Mx{'' Q吏ǴTgg$emlZ'a"PG.}5 A?yľuLYu]ORA3[Kcvx$&`f8t,%ZKGn;gsɹի%< oe..#esvOnL CaքQ"G(qDSW/E&vK޿\EevOxCoY?ҟr}CF6Q^lvUߡk}1Oz8k7+ qn+'{Y=:eHK^Q\EAc"= r#b^e+\*,ы~68weg3T-2u\2> !"P,rہO:0Vc07\ީ89KJlg@iC ;_=`o-/^QK|] o748A)/3)F.UZDN#膺[&R 4 r|` V-pɉ,8.[kM9 dB-'@$gϵ~; g*a.$՗d &MbGsP6(F'ťNLy| r^q;9HE*w.pp_P@+T; NNQ+_\ȩ=٤ !,C]O4[? ,30{5h8wK7[qWȟ#}흉aC =,#_^ii>X1\:#$=Sy$pQȋQ($]ߠ5㮠ϙKV; ԝ-F8ކUT_B_)s&U7'2Ul;HIpoɭh)4 u#+7=8&aK'_`5U;2\V54<\k;n0"Hף77yVC,<ޖSЕDx=mo//߉NLÈnRopGb|8Zk$8~c!!g'7cHGnFNL1|ξǑ9h޽5O5Y;2H,M4s87Rf1~dg҇~δ+ySRdbW_J +8 |~kv9 ^";B3q`ỴM*)"tE8qý|+`mugTK*Am?Iݓ遹jP\ڪ=.) 4 !lnnr\40L\f ҇Yϛ[G;~p)n