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 d!d< ]]]HOL-Proofs:threads=6elapsed=663.665cpu=1558.856gc=275.636factor=2.357zXZִF! *]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXrO&ӟ ̬VY˲,3jY}DЕeۦ2]/)cb#R0N|%rYhB $hFbd-U'Zt_؈w7 99w+͎zFj28$6^#]iHa-լ1b%5E>kmt݂xȏւÑo/B;kk_y.-LA#֒í"%?" NxomE2QD}$tvS "+G  ! HOL-Proofs   O] H> K931bg7񳡾mq(Ɖ $Jf8?E!;5W!)c r e^bjd۽H<|ntފe[<"Yo!NWaI2pP7|F{=|(#epf']%n%\?䝋2\G-[i8L&bUB oᨮaC[CkE7yݤϺV33%#v+-'52Cgbߦ ':wV &6_I9_G$8(iE LnjƌZ@].6*[xq!"NTCbN牋4Ey;tHk)D6\lQ ذ^鶪9ٙ~=Vg 9ɢޑ̜v17?5lB ݿ<Ձ~æ!"-N̰G/Q })QœKlwH͏/& ̋R$k_k#&]M1܇g>[:0_nm(JW1,rhd W)u`LK:}8p>8Q`K~54k#4fpȠ/Q(=M cX/J H7<6˅vl,48y2iAvg!(Lv!Ws1rT*9<)QפMd1*=E$8*⹣͗?ا|S.GmT)$S( [xޕfUrk6"KU[d:S4!9NCr J2tkJxF<$e>]2kX$3{NKopxo>~y3m(Φ\ٟ o ,4⯩@,⼎Ug TZOHE[O]rX,FE]&-NCy3% Hږ&+e4C6dחJ6{7"~Cmjy1{8o5d^[su:*bi|e|mٜcXba(8 ii脙߫}ie ơޭVqGmKUbsûNNMkѧmj.8g^Z. D3ԁijqE[݃Hy_V#CÊtU8=~lgښW\|ZrL=;R+m. >t)rS}E Zũn`%a#5vq20xuGaGU\>7+LCƓ5't3SuU' AYГwJ#I&Y?큭OEΗyo[Chsx/HǵkKxL# Z\"W6@'G `NRF-[l[wM #+8,W[qٝ[!Ԥv[-,Ys Q]y*5D "09`|I兄>shKzj'hp搇E!AĔLlecY-.owk鿓 D dp]D2e&zuEv;㴯#) .Edr>JQr^T0CUtax?_\lT7_"~]xIJBmZvͣ$VlsQ\| j>!TF@g X)4YJÏE/M%qϙװ,GxBZu?*N D 疖͝w3dB*SqmҺ§Vcul:j7LkJW=`/!I+reעiB펿6,x\\vA˙)a9Z`mٌn,C폇x !l)i̛ D7\Y[>Vo+Hu`QDӳʺgyzyH}b+{O i-K=?a+<e6*>M`ȢE{(?67_8J ={Nk:lq{N Oũ6 J}ލO5jHvRG 421+ "k`GAaomΥ+{`٫! "0x:m-><\ug$#.LA'7Q bVj*𡭯2RJbB_ʣ`֚^ Ś-bי? /Y~KUƉ^zZPiV}X7}t kpMWuBRhA4İa`$57+Pgl< iCw)dA LP,aF "w4|MpQ^9 ݅yu#;toq䋘]WY%Y'}6Z slنE³Aq6MlMnΚo0XBޗB :\77Kj%1}U҇M)Nn+ =B{Ϣ*WvwGd|rSw{}dxS l_#tK?qmH\*bp QѴ*ƫ u ~S抁%b5oR´[q pk,r$raFc_6=FQ@ŨfI`\\WhF-31}={t M3IE8)7].H<e } = O7~ZOWy ԱB',]3pKFAMlq[4_ -!xү5m3}R"l=b+h; iw)){ I5A`0Z6bLn㠘C (Fm5|?_cslibO7#3=q ŏ",XvKv7zHCf[6yʝԊF'3sz- P} a&,$)ꐨFpB *K6Sh h C΄2KQBFz4b%J7mZCAf-C -C թXʲd_rF0~sxW`Z26 .սpuoo'CHbB\dOK0ݝ\y[0>̍s]aA~l*3S?[O7k@.?waLI4Y Yr ŷY)+N{?/n[<,Dwf;-NW(a D[_~: . 7G9s 1P[ZLݠ] s~_& S+^oQ1Vѡ+17)@I ^*ӂWRzo'B#>`eyv@ #w ]9kƮ)]I^eI$/-=_ SWm־Kiq'Yf4hs.}~X`&&c/"-3[yMO oX8":qvtmDH޶ (qd@%7>[]H!& d $e3A9սs@5BSҝ0()pkhIt ]5X gpwL3R`C2$FzKD9N:WŶT?VtfeGY"y1̴aqvE aEm%: GZ㐑>yo%BK*lNoټ@{NaOխxMЭFp) (lVu?UǢA87?aUp"'$ߝQaI :óՆ/CT_*Rl:†݄U"1*#DP$D`O`4zWQ Kǩ‰ Ngg S@a\Рdv➸:6esߧQn\DypK)*%VCl8$ȟ/'gי'7>ra|+O0:Aο~$M`QQ\J4# ]HEݤ^.e$H^GWګè)A TqPh]ѡ/ƭGg.0F^D xG ʝyMm@#KdsRld&۱ 3o3Ok&6h ؏ h`PA6gA3ڑT1ƕ>ɪIߒ{uX Q-8jR:_ Ua3.#%߮kyg_WF,{xƓ5!K,6͜Y6Zkb/,1Nusi?P9>.`mıfT5as f*QN!ڗ< z5u&S5j3 KXjVh 6iI}wۓ +u<(~K=h trL|wM~B#ܸ:EM!!Bg3:ҏ# lKϊf 5u:& rRRvsYLTg-~_m='[׳d!&zCa}911cRH 8 OeFУjKo}C]ƛ7kcvx\`yey!WJ!!N= _G6&svxm%q~ar>gJp ~9ZꜽU/!%T.-v"1űc>jZt:aiPc"KꡯX:j2 h}e1 1*fm4)oDLhY-`pR0.SLs'&;hn(sl P'Ty;`UYpj0z:n\\4}oT a's"ooЊ< &"Ճ@t7g8AXˎ{Ih 5GIwrC f~ah30ŀ!HD:tГ)Z!|-WNeG}]̻O7Y[Hti:u#U}fV͞똅Gb fHZu֔k1]PXc8gq){(д4*Oj9R׷ 4BX̻c 82ʳ.HJhp6='a 9Y0QXZ\\5 7I)_H9/f]{eDE.q63'~D/=,͊&do$,Ah(2hځz֘ 3ZŬ՟B) (."Zk2q0v+a pZX&Ɵv+sa3d.bl 8KMÕ!p08C X&HG君Af[VQ،j" a~:jX[54g$RoWVO+!T]vkvoߘ-HSK2[Rŕ;_m蒪L푰H\`͝J/if3EX<0OmuC1*%h 2gYZ7zXZִF! 1~]ŗXi%@fByJ*ZgAhЈçeYPN /Ҡ 1(KDX3z&9NndJ=5]@ʐ :կUO@f~ED$rLfvfWB(%8$m.">KsSbz1'TTC^ڋ]Ik; 6ctsL*HNfym# tUz(m؆kijiOJ-v/dq>s>ߵ){Bګq3BmjfT=6aTW2Sf *W1x+ݕvQ(l:X?D '#"}%a]9 kga}/qcE~^W,b,-oؽoӕIkCg A@[m0r%q܇xְj3q9 ZPP1 ԌcpAq15kȃZIbcW3=CYL;r(c#3+6z{ED/d`؝<{RTl׹y#4!Sꊋw]_r M_.sA3QL`VnYAݥNN'0CDS\1|IEiR@,_I* z%cNr`F6 ^.K_pwvt+UF__ٲ]w3[8a wrV[eiPy] {љ (lVH?k^1Ä]%BD(/_er(jJ[3\k5;/bpqO!R'ɘ'c6bY07$xe|:$kKb"SL@4>d )kGā/]vnKyYV#pkmru)75xoѶLed3?OOXBX2NhވX&!t"(a@q]< `vt:AL9Mnؼ h aBr80DžΑƖAEB97G?p%KFǀM.VP s+"XSo˓ @Ո*KX:߃83Hfl )p*ZM ĸQ+6NΙ43n#JcpuR+ͤU9뾍VިʬU͘.3R{EñOq,dTTKG+U+ xWL5fWRF! ?oicMCs4/D="#h{;x x,K:6ϺV6`A=@DP*kvvl r YztuA6#95WeIECGNYd\Q̋< IM֑V"BYH)W;U)%r~)wlj'cͶ/PfZDLًN; w;ujӽ50rvQs J4v!+֨wnC+Ƿ7 _oUcGV]D!VCBr"TDb؊єescM' {^\^5wjJ\["y̔t 끋0 ;S'pڎF٫PwV++sҕbLT́ȇQ:6mTR =,aH_h9cMÆo7T\BڔXccyT >vӒl&+,QxsWzb @C7W?Ɇ6oH ShPmrqhD>UmW#= ~ݤㄯ43mA"BԪy G=\j!܍O&X v]2VPjE?N^|j~>+<U:)оܪH6+=6R0/BcEd`> qݽ)hLǝ}b{1~L b9%Mv(I> w[賝y-lCT,L$en\˞@;з)喢(Dt} .b0[@EԜHڞ[/p LwOP;*q0U%%'-NiIN׃{DFBCE|rL7L.qQČ FQyq=eگ/C?[a0M[.04!+yܣr'0%.@ta^߮ Mֺ$@G%ʣx gIXSKL@c3(} Hocn`fPR=)2{(Xg>W2ejU)Jubq.*VچX55ܵ$oQUm1Hu;ќEKuILv`coOx^FzR3<+jkSla 0#*gP+w ܊Č =WyMia~L%k3W/g$\}r$N԰ /FݫS₃,S*[⯦w8ŧc'ư^C伊]k\j/@W*կ\|D'xs sx-Fv2UզOjS T:7䮯Kh⼸*CX,G b~.7S=?.QmH.x(S~U`Wt#%bqQ%DCv|(9ԡK"7汧𘎜Ȍ(#ڻNvDs#Tk$"l_$Ik,=Q哗^0K%lPtb9pMGƅӾ,hGڇA 6#CZ}߆ Y5mѤuP]\'FMu:坐<ʴدݘFn͒J)}TnObOq,,0VpA1mx\*EJn]Z{\'7~rf;,PMa,aȩ}6UT5؛#@܄$%L_rᓉs1+?Dxo_N`uou;EʝFN B$,-D-,Vt.[`xx >L󲖧,#>h`qpX:U, >z_ eI`bƙPY~qn/8Fs!\0{a6sq,/Fb 4l }0?Y0Y4/F!߫'QR[#yj U<ᥝN Dv8Lu Vq=aMp?V[I TP7-{8Ujjch\A>E{i4˻'e*.␥*Ӳ9TXc L=^& bMZ--UӿΪD`CBDئQ,kFTʋڛh q)тȆrv#]hb! W_ݕ֦ce̗˨JPF }q;C1cC!>ADrN~ft aw\ 9mhK%uk u<|5Q1o#'Kw10?ҩF(P1tǗpQTFsz 4西Ղ;^=a &+ڊ–j%4k׽o#wY),÷/=SA^5s)Kipg@u4Z0!~]$_a,!~"T Ӭͱeˎk4?EGr e3b$G<.R ;Kb7*65=pʙ9T׳ Es~Q@e0`$ɆUG?~!Ԍku }Q 2G,Uͱ ]HՄ#Tۈ5Vp^_iFY&/?e6f*٠R5JŢr_pZP1/a#?>.ݤfP[JcWO?#\ h;%N3nFspD_SGOv1+rmݭN;xw%#)q! IESڙgo/*ց?$Y\c^z|Bco7p=>SqOz.4Ie܂s|p}Os]qc"0x̧wT@+Cjw:Xx8$ދI8 uT PfExq:SXX56&s,fS>@;p wɠT '} 視,+@RAbDr'Nj-W:a2 GYc 遧2%VYEo8 Je"V[xׇHT@<26 ̪Bea=&J6_7 19 t(įYnZZbH[C]FB(dp>XqȐ+)Mlv'cQ==l9A7ߟMY'M4 /rr$Y&p48zf~׀#8'MQbo_l) %üĠؠ+PlŖN*}ĸ\ܭ{y:V)B)0R8C9Ї2 _LF@G{6zK\^U&I: мz.| 6Xqj%+Vw?x_M9,HJf`"i5icܶiLQu]R}`kNQ )mn`bEPׂU!B@_ eR΄~K2z:87gԻȐ;{(Lҷ;[!^ %]lujt M$̍;Oc7>݄*;~5oR^\p9yOI7o^F}dN<ȉCO[->nv` olT92D$rP40 S_B1"VfyєnΘf⩎car˖\GjDG}>`ȣLnL%gOQ}O{>;9T`$&6bИ~T3څƏ\FX7U˔b]˧כrIP0 RK^p 3029'8D)rìYQH#՘Y_NO(]k"ffW apzOx7ot3"aڔȂVp( 2Ʒ 6 pm󊝺惽۬԰,1%5κ "{FBNᮿǁ=3GC"&XOUJQs&f*rT4KU#W[@jEր!|9A \a}z09 {}*U5G`6D_2K%E %H(jHUJCGEdbφba^q%τ " Ė<`l(mq]κObVW|췸>iDDagTav!yyv?m*jhg |;\;ԢcX<,+U/P2ac: -d272ApN֟3%*y DL;ܘl75v3 zlኋ+?zGWU^HT- v7ZFJ5d/YAhR1Ѭ{>\ gm?DjᆕlRmD6ԐDKێ*͋t}Id wǍ̶[ F)fb}]vNwa7.zЛl1oO,)w!:.uo蛈-(yO "!HvV>tnjJPNޢ~ r1ga"i}kc5nu;S9;u$ڽ|잉 ʼnC,p*H^f ]F\x32 *)TǨE]ն hDv2e櫦)Q , 9v+3ե 9P, ޢ3k~A"z!ġf5 ZO$ԟTʵ$z%{<풨{kVgxS 30_A+ʆbw);F50歋D&UcndmͧI>qYô%6&!srҘD ^;I9/HR-gsOxf(ʇ<'3+5@B=mO"ZYiD*\PWؙ?IRSMqc #ҫ)mJ4_ DD-FC@z`[`K2Yh S]` oIs4uQ_i;|~%N0Z2y<]ȅj8_hYO3ߘ˩ TS1$rN [Lڗ!,q]yU9"q 4K.Z\B葌uFw@yXW:DԎ Rna@"AsӠUMjl\/cs h,4cr`ҿw18Ԉ&t%B2j" #{A^EB%=Gky¢Gw{h"X?թc5tDQi,إfg*fJTo2=1}A=sMfΘT#qWP5Ђ&b Em0Æ]UW /&X4Rm۷{1WNoʻצxPtUڥ zmE6|QomY7EhxZMYmBݙZkC{XK uD}EcH ޤ8յoA5:K^ǫ ա 4 (&-X7DClJ{njVwChneuRwS"qe_A{׍C k$>jI(aDjV{lFlU2u$۵":H VVmsva1vXv;,%p4c~]6:Nl-r1VV W+Р3xO/8Nm>lK{>}xj)esÝ o8ANԏ+DY#4]rg|d5^4xh)\kUZqo;<:cI3 A0nqx_he'3j{r,OVRm sao'[V@فr* ~N) _K [3L@XW/0:>CN$QAY"=N~2i鐋Ѡyqn&Yojʿ vLP#LVG- /6&b:_05S0ݬuksPc@l݌3(c2xՙ \n`+[$@TH7R(ޚ $viN_Vh= `6I[ЋXk[Sr.mPu[ ؛ohAPͅI`h/(dlzj`;x-o`kϮ>94CW&_5ֿIK(Bљjr^fc2V SOeuP( ew+\dˍG<Ə0Qw+#0ܻk?Eqj眝p…8!Ad_v1%*fo-huL3Nޟ~XGG_k#sf岛i&OĦ͐8 o)q+2+@lTv ҳ@+#:V,Ig&UtF.:( /@\\'*.UXr8i E'0& *-Xܯ$73n0抺Fy,>{rS3\RxAz)ڷPWoMwpעGTjzėVv>~ Kk?{VTH6u›a5#ʞ>LTM;Sut;lwVX <>]Gl CH#wS85u:-K\H?|$8]kV1,E'Pr|BH ¾йQ#nbԼJZ+<٪¡fiJ&?_3*hD1g'-pjkh% ~H6JCq㞢lcX&<rity`s?⟗J@ür!nG$ak&ǧ+"y}- )YE>Rvۯs`0Tc#/HYqSҳh;zfOZi }(:eA_08pm)aRx Ca'ȞE-xO>T`~ O} šT =@cVV3*j9[nTe6Nr(t9|HrFOմΟhH`_^1^457;0YSY 8x߰W5\~?(uӊzKQ^2&d<cOƞzZtM0rM*hsg  A<^쩧Ɉ׋NLspgpZH.v c^k]g&l%k7ed\JOn%8%gAPpe (ǥT%k? $HN258ڃ.[~6xz5 payBjxܜ1 >0WڿM,W6d6+cƧTчy7 J3{|t%툛k -.[CeWtbЍe )H%@ l7< xKʰk m|ب@D:\;9|GHOgFx.(Iq$Vۭ{JuT8] -?=<; jKx2ZHb]=`6.nKS<ͨ=A[I4WW039F/⢓S˼ٜibu-L•V3"Nc9!z٣wU.%L׋W9.I0=j1 +@D4ABEkUU:?*`Ru@'``cL3:Ay ,Jd;sV\q@^$xHHR"i% w v:d4+cۺfH#!*^֖{ӖWZC->UiZ-4df6}FoxC`UvWeUuas[4)S=PNB|Ut^3 N!܍n z{-ﴒ W7i_D4.c?h:)ry')J3ɀVp0ټ6hǀy2MgՃ>(6A&'+n7M6Ȥ?.bD%Nnfq)pqK4Ipe]FVV䀶xMc njGDERW(~ümgi n4NC`| ٲ *U**qvmd_ϓJ1q9=S[M:_h7Vb{dKq,;`pA!9ba}/\9tߘJfr ^h"$h,[arV,iWa)뀡Q pc%a: t wHa\vfcv=xkzX>JCS V AN7k`P{f~nB&g{IOL8}@*V 0o8 Gݣ30w'נonzcwJ* ͆%4 KB ]NI&a]-d[pT 8CjU_DFA)V ~Y; Ί*"#Qb[$ l| $H<Tp >]TuƸsțcf` ^ ?Jb8ReWc_V tD4eA0=܏FCK:Imi舌"g><fD!;x>Cnn3* ÎePQ/r8/(r9cf=Aq0cGLp/EK0)E)z @?G^1rMw\:voG Z~)j ;I;4 9-P.Z ""cMq `. *&8lPI*ވMHoYWˁt@|qߤOjɻro 0V|Urx]{׸GB.B ) NB8!4| B4ߐt4.nb}E!Olu%鴼|/fw͹xI/|B _Qf$S&sX'0W>&~&. ?a]6^P͊{x^ųp%ݏ:;Ϊ9ٲ{dY7rRWoy&b28^B:aGRȳba]3VwO9OB?"UǼ0+|9Pu;iHX|؆nhf3P%ot0YE'>jR&9K,9j?_Kfhfs$`Z4f/DNL]\_|֨iTE{Fe6%GPc0b& OLJIM./HxSy+ )>aTsIo=0V1jij "]jbcdu4? CY Wno/N@}^#t\L~=zE=|/]1/\/s;21rnT4zCֈ4ci:~ :?W2>nLS!&H@&d wCC~J; 2Fhlщ~ۺa9hZu>s6ba$Q)Ku<4ق0G>楻G2='p1feܠ% g7:|H# 2"NQ譲\%G~'!hC"˫d.h"HqЊ>V1&GQ;=R:P "h}G}l'>GM= .^es5+Cn']Ł]=vs+Մ:ӎ %kPuE6#ddΤwkc'teS-J RxwQoICʑVWNJ堪ɌZ9 _ ׫_Wjz#Op뢰I"Ʀf)%\9ޟBh"- =WvdR`nN Mл%Gk~ ;?2ѡ% ~"K, x PQ;L& I2ɶ4^cBgpՏ񶨰Q #Ek8a(->!`}+G:2K.$&hPB ńdU4Y^.ўMr5;of͖Ay@Br$z?PTiCѼfqfPˑxb /0TZ.a<\Ua@ycw(7>rU=+ABG7&#U*$Aj*xs{ 2 ዇)8Ԕ_kH.%.*yo捑 S(0Qi[k.]a]̰y2എZ"@(-]nYZTC*d^م?xd&^ '+R%0D{!2+u$c%l8Bb~TUN Ja'e[,MA`>["kLS^ 6Y)jȁP.S$hUCaX+;^<_б|C&B:##3[O.k-T41K"P5UiGܮtOQ7iUxQ@(XkYjۛf"5(6 \E&MƐ3]W"gqק$Lkڳg5_?M-^ 6=r).A|OO1<(niv5}B"R*|R=neٴ ~u:nKB(rɨ,ЀC[xi(.݂pRv(bTsZp8[ͬJ$_p 8 efQ6"٪R  oڽ}G\?\ $jr؁l )hytI1[u|z7 /HI~p:6)C}M˼Dcf9_*"%㖫\%B(v yV&UɎ=kS A$ÿ́zpո\ ][$@[1+EYYTxCWf:gєyG%`ã53A_r/P~[iȆۛ7u ЦK䊆0ıBhrV_6fˍNdZ[QA)PR? Qȥ6'4&m=89f۽!(#-t7 ^!TlO?-%\fң$z4aULwEۮ Umk@0'Il ä! B\e#|&05 s_4{PZuԤ4}.fH[->U,=m066yH.8ʒLHjq}"4ID\#9XŢb=]g,sA8 \.R wX"/Jϗ1 va|>lB>c]:i!I8UEIpv\/鍖5ϛ' H2KovM@#nq+={_o:U~c|`R*b 4}o`^ZZ2 m@В8X:>9' 鴟ƿ[S pT`ݫJ2tµJSB+ڷ-(;s^]#[6i-JX/FCX>՚H%奟M,̪IZj ]o4{x2%ZTz" G*m)3LY<2O@FqeCQ\~;@9#55kQNt; X$CS![82m%x]QpgOMf7Kc1Yȗhlw2->ϗBm+C\m2eGhmOA>,챿ҙ|aK4܉gd^f&w1=g`j&Cc8ywس{lp|l$۩^J}m> Ud}V5hÉAl {^}.v˟q0eiX7FM#F6v"q%dfr ,a&CH #fN13(TBZ(!ZX#05"3Z#gj숝rR~${Px/naJ!~>ڙP6(FF yOn7^Qͫq`w{7 bV782&{hB5mh8&IeGR~GyUg1YI8\cEʰ@-a GzbbmJ|dX#ϓuW?s4-"-pUejˇ/j3mJCjMEF`{\$b!Q=FaeqQ6&,9W5^Ѩ:0A}$УRC^⭂!d`Pd[ JB<E[@nHGeCwNaz<1JnK Xz|U |x3fZH~yq|fpNSd43S ﱝkPI!R2I JVֹQ}RO2ZX\-FM6qky~QW`kp W-@LN,FpU큣[|3-ZV{<^+/H:("Ye| 0Poߍ0KR  .LZEU-E䈰opS3|ۯ۰4G4b1IhkkOrZY5u}%kCMօ`XԶkf08ftSV5aȽҢ S'KĈW7,8V &xfna & }V?o#뇊jŃ' bV3'Lanp!p;.CPT<e]l5 {(T{iEvIxWuH omV5k0mg 2ʥLm ϥs[Ӵ*<=GcSuO#~0C8r[~{"(+ׇCqYrK'Rg"eU mJ` ~@MuYiCK "ױ輡u'C%W9z+DGRPhV:"x~mgHKgWl28w"PiGhxf ()R~5k;PCcCNʙ CyPyYM7=18;?.6(l]YQ~#ŝ쟼KJ>1|&ヘ Z~x<^^dgVD:d-\ uwRӭŰ1O 0kf #;*} \5 Ŗ:4&DH!ʑeOKqF,hnr Ξ/ϯH,k=J ѩ[y\Ƣ*8`pdڕ>{7&4E reD~*KqNrydV-,di˼QJmLd8a Y(9c׽VZ? ,1Cw+WP*S?#Q12=xOu/Ա啥nq;xR;m{^X]:@IH%jƍ5AOĘloؗ_NY!-"OY$ rЕ\"V+U5:d%lwLt8T%Ô4;k~ی<0TdI"N!B^WPOet1ArBD^E@6Gž~sn &r.17*-Hpm+ "]VC!eh>ubz9ujm!E&!ٹif@"7VY &i2k^PBi':wA:$FYp|[6W]:9)m`zSWbBmz {\T,+]i˸AڟѺ!Q )7 ; z␪JCd\߹Bp>^a WaU8e \X:wܴ۴ZC򖽌7&YP8 i:/ώn+0U۵MO$4dZ<ꃷsA;jbk7υIdn8؈sADRQ ʡ>]r<`t f)?Um\mp; vZv\ǦX ݫ9BWczn¥w1G~o|nӫG@;MQD,T!X|]Њrޝx&hz9(ɦmCx!0U谄Y HW5N֦нj lz;^PzϘNڭQ9}F7onrj9DF$1#2Y)%u୾fdಐAD)\F  &7ʤsjߕLN9wz J24 a]{{f;<5)6,l=ˍZiGoK56cP^6ۜhbSVI?mdzK7@ްJKL%YFrJA7O9Ǥ{a@mui3jYRLKn>^ 5C V0_ nɆM7|o3kZԘ} Nzi6LX g_Y R`|$ЖL!ڻ󻸂Rc+f˽3]Ьew-8?^sd1CD|}F;J!y45 qIJ^*SB:oeެ&2,EnH]fW 5E6@Y#B|}9})DU6[n ϴ0L]dS[c[~~(R(]g'b@f $L (@8ٕq:NTr1h2;<â$YV>M(V,[`,7@6IiRX]4US h ~W`L1Ra9뫅5 gB,XD,?$u_u7Z)6֑S+~ *pDЎ'bۦ<03]ſmfN%@Ki~H5B(}gUPPH鳤pl 4O kKI"`?G]$ f7Mӏ]67tZ%R<t{b&s]e`(NއUˬtoMłT9qɛҁ=v 2O4PQWz&yߤ㎕.&[Qei*Sx tТ!VCoM{Xi D/0N9g: 'a)U4*nexB;ONu=Zs>wz8v"2>8pȩQJ5/tإvi5DR~ 7۪˥3қaiYr4P_6S8}Ȋvr:~K~瘰jڤL>Pj~ 0aF5 MD =~FH5(D*l| l`5"9ajFUt}^.Z];y%fPj-E;ro둴 U.mna)4DKHѾl"*G*QHUyalFmYQ/(q<,:%lIY] 9)n_Dh/[^^R:,K׵XLJl ۺ66oP$N;N SZQe`Z OiW}] 8Ɉn=`w}~hVt>?m Ӎ1|{I:D$d@l4Sx܁lFdL z<1P7Mmy2mW!^썡O׶%{",4&?+` 0I|G*hlIaIx~y*# @b=nTN*ft=/}C\JQuřb!Gb<%/Nbx)^F'jaLwm&MYk3f@NeQIQș#MJ\4k3 شe4M( .z᥷o^bةVRS-CCo}3XGD9R)6M|4.@+l+gy:[3V [\oRXDA弘'&8wIZ]IsI ¾ov_e4W&R5u <7)C4jZJ-n.)"uOM.eޮYaj/} 685+a3ۊ /η>Gzc*~A,rt+R$pkAon9A{)0ƚV!L'tA$jO1sMO{`|a2 S 1b<5:F7Km0 Z{_ l_LSP׾[ÙWG>U)X~2+6!,3p̱WB>{<~U52GG+yD u^n?84ؾ |*Wԓ3K}slv-8Tա.2CP)])O $z"vI97Y[zO_mONURUK)ãTD+Mꪟ8 GV{:m犤pyYY_91oh66 !>QQDRN'W2i.RċҸTr4Bϋ27 <$nd U-Jpd _ Ņ13)b5V1ze~k$"jg< *hYd~,ĩee;2ɚ'0x ust;Rwh%;Jؿg:SLdG,_7;p)i܋&'%{4}ȳAaT{S$g#ӟ^qd2ĬNe2؄ w,lۍ}(%}]p٫VBE·eShi=e1uXځLp9[\ Ds1Z*y@Ff%QZ3b`@!mՕ&D#|=D;gp5EȦM_͛ÀO|`Dk%#̞zȒ2eN3f{}j7T}J\!{w75'[.!U%FX hx1XyƬʆ)m!]W#`8 2&bqϨ}HgGUb¦l 'xZ\߄u{+XP[IEOtK8tLuXiY?=QcJ x!pPyTĦuQՈ%LDbȑ7O7-ƒg,[ܡc-nPkqmjacn@-OyҾ@*޵6{EVa[>E{2ٍ#y'F4tf1QumH|l^BΫ^Zy$ .}<6X|Tsïm&&SqD5WyHO<[T }D4†~v\HփlHW_ F'VR5z"u$>Hܥy* [j`֑作pp;=FA};ƃƨ9Dx:(b` 76vA '_Eؘ;FDi0!Ӑm{'g %xfJ@Y*cN1,\wF&rBӴjO %H~t*ͰM,cI] m_̭!/<-NϿO'S\Zu1{ (Dы=/bl9]\K%st &qU<I6Pi[VC':ߕR ۗ95dzM R6fOnO>O 6F,s K*La a.f/$-zs[OuvS;+<1%ߙ0^Ʌݣw'WGq60?[;MS`n̹6Q^QY=q%,wqq/\KPw?S"!s v6h|@-*zr!r c}e.S{N\u@5h`[*]&!zC?_zEUwsˉHV̤Sijt$YD1;E[ !;KAD+:j]?VI-I̹3ΊwI*u +eF~yv7{޺WGwxtUY_aV֏t=i/klKSw[_y).bUNHڱeƩZ$p>gH [JOTh_b!@[)*j #gRZbO%Wbq7nArJaa чyk:,|8pݭh2 ZNXNS( e̬ʔƝ$(nTb2ҷgGߧQ7gK|"fuWC+HNT9os_. 2}g3_3^Ke3¢t?<;m6XBݡ,:_KW$NXߐoBWwU+_-j_Ž$t&q!fp[BB<\pz@K ȧRݳ1'a &!ΜJOr\":O bt`1ъ[s㑛R !ZI8y$>PMՎ8!H¬m8賴ӗYD(Llh;J w6ЎŽU$aOllהwqZ +D@CsskncynďؚRR4!hڠl:sԪީcQ<vgpN\Q|ւ e[t9'?N@WYRL5KD5NK پ BIE_f>̂0;AOY]cq9PA8ay+L%_$!X* kK 4ڃA.%l*dc_RCQt vx U} H09Ep5]]sNNu}Wž:vl;a Q{YQNoJq4 祄c\~'鴗[`by:[mPksףx_[^m/6;bzn[7 Ŕ#nA0`Aڴiߤ£sq5bԽG~z&"Z|!dmDꕫ!7/crS*;2~7^uZ?1kعHO4z6[f;l7@D ~Y(DVM4yu`s#lҶ)>|*{?S)q#Ǡ~v#ӐtO{[&%;ӋV}oS>fpFc@X#:USpuEydJʀ`pdk'Bo)ɶg7o'OD|Q q[ 42Wb/BawDJ(Q4#-^$ur9\M'/fAS+]_ϧ%@-◢г;>gߜ!J$DCaߞo |Wkt2|zhXѷr}WvѿV}%5 2VIXɦзBc#@]UE[=mdj)ˍ{ܳ|&tb0B?g9gGZDLtgp)eto`Tw  ƈbg18vtXnP2#yaܞl86i#SWTAM3scHkvZ ]yɕHsߍ;}Q9 y1ŕya˦}6MC!d x!.4<(/G_O,`lO#Ʈ<-mqn>bN-h@a=UJ̖VN@rUZPy8ylfIh#;%yۡVM$ "(3[Tr):WtVRM aO6.Z70;r`QM"Z+l#"]j |<#l:htU{TQaw1nR Ыޡay:_c&q $^ Ud\~ش߭ \EܥNB#:m⼋>N)1ִ|&*S|᯹j0G)=Q>+R,RqTxmm㤹#rrlW8E9*@ޑ$e0y$0.J+iZs;wd^ijz幧?KBsVxֵӸ1RO9Q X#p$ 0M*gh ~w(CkZwX9899-K8`ON c讃! R晒\UȘbCs341ѣNsg _i)_\fER&8M'_;4uʍs=v+cI)H`:Uc}v ^K7ol"1t~|0jAϝBZSkP{D݀U{'4iP1{ikYhѬ=:,m?`2o13Ũ-5||&7RA,xВٌuJC|ňq z}|;gf&4*N5{])tI;md4v]! C%6P3y&' ~@S0 gr᢭n_|Q~}[JgSTQyO l>Gtb ͔NM_ [*,qle_?5:q6qL]6/eIf)ݻ" -)*Y] -2^@35m~6 Rx1w>* ,~Bv҅kP&*Ј$$M,kqXf9G8eR5ב˅G5Su@GoFbZ` 5V!v\LӇwi6<i8n! fU"@x@t9[H%s"ΐgp>ۯJZ^={%\.gxGtm,oBpML24HwKMΦUiT.I>z@2}^oR'hB9 \9"Ԝ0)O̴4%Kk~v<:'NG3 _[&\Yp"YDRy7[U!qly䃈޻o">|QBuokcuqj|v<8JT)_bd/5|]tcZ#]V,aR +W g7K*Si݃YvV:y=fެdžsU_FtR*O: )(?ir㙊 Cr=ѢNPF]77pIRe;bIyCʿ8(z~ʈ !`4YFMhCKC=,1Nѕt 4EU ji peލ0!<Z`|h\J1f,a u{g)26#J;. -e"kfl텐^`__a`uߔF*30DDB]3m u~0UF*ف2=Sa;ᇸPH#4~Xs`NRk LTÈhGL=k /(~07Ps|`Nk[ "ƫ,PG" J,ME.pY5>,-gYZ4399c25d2de9948fe6e3dd185d6cd0c4f5dd1d4659cfb008d82973f70adacd49cb832067f1ce6d0db0cda909ad15e0e79f1487c82b4b71b1dd855d26