SQLite format 3@ 5- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 E3< / HOL-Data_Structures:threads=2elapsed=878.966cpu=1098.340gc=62.828factor=1.25 3 HOL-Data_Structures7zXZִF! <]ŗXf1-q恈%kV^M[-a2'161畕\op+ot)h{cfy ٯ݁io<6bg L *@C1n&oz/LoڑREG Cz ڻ՛bՊ̐'?xJ316]ȷgLNܸdZ|B=-;Uvm{Ǔ-I/s?LXbkVES%=8O{R7mJ`WR r-f}@OPݤ4{v& .1*XlrpYz^c@ ֛*7kʴZƛP^eY6lz࢕g TFt h߯T-P)p8\MBP!TYGF drF^p[#,M+  fZYT;O2ΆJR3=沅C{+tl6Kv?J$? 1v( ­gᚻ3Ԍ8}?:cW·3)L=x# oN2=bz"l"!a[M.*I%L皘&-6G\0lk~ґʈ+sF/5e"Q#DMR}FopS-DՐ`ܔX+6@U8\گؽza TD?S\ 8!H15:ts#a/.':u Dss׀q/2"oW\ nQQEˆAM#!% 4E'2;Æ:j`YmMCI ȫup{L:<&biQ?K9 VEQK(/\{2[B3rH>ȹ΁fQ 'Dc;GaTG,EQo+S+ \ϩT  $N 'ϼGM-clhYY9 8鄁# V >Zڛ0hPkh=й5lْ+ƾmeê_ն6jdXdµLXɞLӖ cYz- b~G3Z6ڐ!OtUMh\PhW{qN5 1D}C2ك`´ M*~0}v-y OuI W9,s F8t5W0 ,'h)%H,z#EƃiwɏnNfx)"cbrU4y|X )qC\x̌?e*4=t]fnp;uEgACGaBl-v$v&6)Q^m"j< "*a=( Nz7jDmop9_`J۳h'59ɂi6)Rn[$eE…{{I9vXht=zM{iM;|#YOD3/OqOlB"ӉV1er-C)Ypxy2*Y}MoG*uCbĖ>Նh6:pP K!wB!9Ekhi\L&W InU1KjaXDU{[Qǽ NyyU6v ?+D xTIvF* qLy>xpq,`6'*r9ȆI:oxF*Jl3g2s$3aKnf:3tv;s],H`l@'~94@̀_x,z햘bE|_!fo'$: C<dR^-_-bzvؽ[z̝ǍY) jtCv_|9~`|!?!x'L1 y&ɯ\[:nImLLPĨBc048j1[e /¾fe5sZul`J).\]t[י։t{ozEt%DovehmkTU(*GyC,6{"_n=cGoV R[ Ke\ϳWwF[3N3hQW`6- NH/zɥXRNeq"TI^VЛ:-v" _4g*JI:7 i8I6foD4i*n}!ajZudl"+pTXyb$DZgB*ń`{'2xL{1$?m1vO@JK%yrҏݔlj%1`pXMEr_id[IZ`4OɩlP܌x2E'K`!&.F4/uw:Vi|3VoSz1A47&E Ѩm 'G7H ̤vs7}Vcoxn?b4Vr^.0 5*ۙs5 2{5_/iϾ*:M ̕׮җ|lq |+ky{k›6w0_ huXj OЇ7nZ*]bfV8\h&USㄬg~3+_ *0MTQTvclzs#=B*.1~OOprRomT FUuxu6U|dN ][-CE6p 2 q@mWd=wUCƪT bR$z%{ЅG>w,0TOy V1q}u+ڢ0"^`G@=凒ɥCǗD\"SpIqvHIXw"g_ ۵{[=I3)mW吓#f"qB \g~ P^n<?5ڰe}u3D^eIDIҠ=I׿; ]u)]6ATDf-3/أ봥:dS8gHd_ xF :avegq-c;q 4;VA:4<>v8t̸ᇭh }|۬{4 $=SuWAJ>@'|S3<"J:Yt@lFڿ&LXw⎞ uNArdF{vV9&$m?9$+,'mg)0Bn j5XSc SW OΥv4ՍTɺ8TT?kCo aH1럑n x{(n4MXklyهgq=ͦU+*hi`7$哏h qgܢzxqj)!i $B=]5ܘ><{KZ%pJbk0^ F \8֭"k,xb:DN[YsD9kGw /Ѐ{=gK W_{*Xt pڶּqa#r=fgkT\b9@EN1^Ym3o:f*` V IAL j桦 9(;ձN?jkDM*Cy2 5.xȤ~`\VSj5o5+uv0m޾kHc(KA?TwFr5bO ] ܉j}؏d)P34u6bIQQhe6Yhy4%9rKԞq*y#*4sRNm/W&$d7zŭPhr/VFLt\Zȫɗg=sq"mKɹC{ hئ9*9q"l|SBBid} l:rj .WN|ȩ#RSV уd*d8˝XF`wLpܘ?j+(/-l!D Wʏ\_yf̥bcz޷+T׺ Ѷ%?v˂=d*Sb6d|/²AdAf9FVj\y4A[Srj6r:"{)V.$053q>]nh"v#euA ]7ga&@*mNֽtՋL>)UG˳GM: tu.=Kύ'қ4@}xuGD"$-kc.j  |4#v/: 0{ xԔcfISux HSǑPmMdWB$ jˢ"42<FHV9g֪K8^}av("& ˈ0U9GE39e+@l(1||Gncmk-4@ ٷY,&=q+$ZAImڐ_n8=: =* j4zw0HJ*a>%ۆ>q"Sa:%eh#pउ:MOIf0)sAZv3MM<6KyfPB?>Kuh&_o\1P\\BKK(Pi[:#BJν ǯ.(L{^ 4SQ.& q[DB_36p_CYu ҁojRΟ~̖\gjyyNj#y!_Y ;㏤i;>VG[ΠNe9G/US.ٖë"7o?XTUuxV{WWw)0\w[Ͻ)]M~!%e)(b K;YW gDYwŝ UZJ8[lkQXx4LI;ElȌ9l1Ҵ;³uNhE?0IY;gWםϞ{󤹐>`2@Rs˄\ma^7K@YmwGEE:$uTJd*(2kUԖD#PMv]J ^?vYf}!*͢?NƐ]nINN5lJrp$H٧ U\?Xt/"+ t"&Gc~JԽiە{eh9Aa#b\;br;>=(}Pz~mhJ6l rF?ĴH{wŨI $3'Ven*E;ch(z'0TdbR mDlf[ pjkL0RX h8/L'_/-"Xm>jL3Ev[ǕOˉ"4B~:7O0B@5@c,1ˏ WuV K7Y8ęWb ԢZ_o6z_C ;R{q߾fk,vbgMopH4y C?SgJMarҔ)zCkR' H@z5ʅ=;Nu<Ɛ Z%)^+ۛ+XC1*byw $ޑh2hBʌcroRz"-ߗL2y2m=M^N,IP?Rd{@o$H@J*A|? YIO+s05t'dnR-ʱy`* Cv=$B 2{4IaΦ/%+c9m&z1:Ay-7DPf K1Yis` "w' >77q{d~=0Q;Wyy]L*޹238RRŪ"XdV_ܦ1>ZgYZ7zXZִF! ]ŗXi%Hlz8}1'&8a= dHK-\N_izq_4%-Ȼ( K BT#zc\=A1Mu0^|[ӖI E{4!*[RKB'ElɆ )G:[4tk+T!s@A9Yek$yLJVa>P6nXr }O i1"]X8 QNS ?8ȞdF$'`Q&CJC0s6 %B@j:K/tZw ` D !^n'A@ F;qQ^`Dt/nOZ5Q{ί-Zl3qoYW6s5qHud?p3i}͗]CS[v̏r=T6,%=DFިǪwӀ:w ;(].nux8mub|Y3E.L } 7H |`Y<e> dU|3l Q9S>DwMvr]H^W P4Xwr< ;613$=ׯ,uao+aֲ#D0T>0^9QE[*LX2.FYѩI"vb%˴Ƙ6~4?׏\EjּF 8bΊuߠl ړQ ˩y=t _,c;'UF,'z O䩷f7B En;CډuqͭRPM?E2ʧVpN^/B1;Ɠ[`hn,_v%.ZE"pu}nQ߫!7`PBOtךtveT oE*pHѺ\4lck`@t%L$mjpBKP"+΂c"p@Ueui:Q3t2Ʃ%,7d釪*د (sF1ԢEkhݝ9]g $[6pR{JgJ65%))ˊ4{x/ ZN]"I){ɸ=O0$,gSeHү͈*6ҁfkJ,'V ##\~^mKpy隒EGQi՗&M'Npl| .(7`DYƂ ]ePx~ DuKΆ2AIxU"5 3?KmIPȴҊT./$\K)g|Vb=Ũep)Omؚ,IpD&MI9=yeեØӰQ}leN^ܤgxzUL#D^%",+)~&St-Ÿx[ cWզ!6 $uq1,~=|([ѝ7_69 ma\aL:螔~wTh`Zw{Gyr}H=fN_#AL|3 A2`0WgAbBy>A 9=fHH;͹99?۲A^dЦzkAɊUhle3ߖi*CwCnyD?s&u]Ch$ŗc 3l j |kכ7tذ'7M񩿡<}sb8Z RD*G6UJ&+9`~kkO} Wx+/k! ]D`gBCtJhw"uOd/~\&վ5V 'Aa(m#T .㔎`FKya)d~_1d0 [f;Ev>pv Ik%Dj|EQ %{utV/]Y-m,X7xe?vour>&BF]s8Eh cX@l1ETP 9l9~QGQܜn\0,{mZcj0S࢔c{&o']br9ᒚliQJslϵf "]`esbЈ.U ƛtʁ y# RvWpgv=6KUkMK{d;QBJ􌬷İ&"sO⛆ʄ ~O 2${Zޫ9Wl9LwE&bbjoggįOT ;љqϛ%iS/aAs%}EK=j4C,%\)d v d 0F#0mrC ߖ{~ D2{)sx),VwLrVJKBk'f7&_]H+ ӴRsl;䚲jT}0ϩU/Ñdˠg}qkHܿ£6B&;V`dŎ)A'/Ѐ$q߯]mp2a$!acU|C -/7 raAf@0cЎg(At3\✲[sfZeXn%8Pj/j㛢9m_ynb_`E~lD dSk˹1)}&?Rm_FRȪ)C8^>Rh m [ Bؿ`[^Z>^Nc IX_!ʦHM9I?kgȲ6[-֠鐊0^5 _1vK"yA|Ncf%muAj҈V~k {^[vSZd5fqv.]ԯ>_$ 9 6`of6`a0ݐ xlm8`{ ̉#e;jTh'2r.0֊\3#-*m(73!c=MLMΑŠqIʞzPwhT EUA0^uԹhs#৫ӐLrq+GG! *aFRıU@V;HA7 /J>A^M+4բlt|47x6'DOʿ#;*e-xSY-%|O4LPS 2r\.kt nJb1Z@<+,JᓔȬ1fK0E2{԰dxR@Aiq=Xocq i Krhյ j2qvYvxt;ݥ$cN(VGbaJ'ɜj=̣ͧz6@Y= )ld9"FB.P|zN 6]"+L;$y3cCTD⟗ uF\!cCUkp#n֝&K}Z2j_ؤvOEq-qjڷ$bƓ})pAaho`>cH&XWd }>]O,G-Nc7,P*'́is }s?9[iRf*d?|6ĝAfp#^Q\f\'!"@՟, c\8N]ix?˪KTkvL`l4W{qt)z.kX-SbF*~X%P:VC,cQHBMH:dE{k+MՐi쀮ӊ'逦<\:F߲smוqYc;.\ CXy9m@+e]/ 7|Jk%c 8 A8+?/?CdKFESdpT!MB7a;G2'i>!tDwzz;n,\fhWPƐmJn֟2 <>4$$XJ*}wԥAȬM*OB0^ @CM[>Ú+{Bp;-FH"x )ޅ.Cvn4y zuD9l  /1[yLg̿Y/v_+70ʱRj">7|O&/"' SȄ̩]<]t Arcp砱:P"u*g[.l ؈a <ⰲԔX9(mz9q7:-5Z~'%|x`<gZH[(ʮzϪ_{,8ۥ_8|7GZ8Ç+zH a(mIFyŖFyn#!WWKg"H3g]Opq9;0'|gcnadEu̻\2dCY8ëU,soچ0=ϣͽ -थҮq#??D*f 1Th68u״90+B aHAa4<1N:O CkQ8zģRĴFĹQFHDDZs\0- ,Rׁ+)@خzXQ8=gHb՜6:b[<2΁@#7=o8^?bpc'-`E,풨I /z/`\hmbSi}t7Ωq\ 9%>`;ttlI/CpVgГE3O?WϱgHq/iyc/*rR8bRdRef =3/XwG35dBeZCt*:~rPR_[P%_R|NcĠ x3.l;xβUwV=)|z}['K\CFW+C=l97Gtky9jo([ FדG<j۠_ qK5ҧQ8j4˗c}벚3ͨjef-h}:G@Ij0&\+2?5.t5Ե HD1-.ȐDw}g@ n":jwH=e߼+4ǽ͢˳sCoDda&0|@D3ckl,ӂ[!FU_t =%LP.ʁa1%USDWE3$V>r%ZI9fT cT~Y`p]0]{Bt(4+{~{X]a&QJdcL ⶱhizӝCtO(v&{2gV~CKGV;&sB :kB)7#;<ٔ=&0ZQAc_`^[d ڸcoޜsp]X2NnZR1&j&Q6]&3r 7l<sv7c?nϖW69hޤeyְC>ǡ\AYu.]^+ib1qj'/8iA30ڀM`tr^MKH讞 pgd_CuYIySW`$*zB a؉rg~i]sii0`y#"}8>)vVwrj#Q4SبT(n ꘃׇohhT DPBɤXC@~\CoL#|~ (.$=T!UCKE{:ӳc9oU!Pȶw{h\wm4%(> ZlNLu?@^$>mڡ.?A'9tc4ì@>u״X'i-7LkJgb; 5kAIcRsΆ)iUOJ92C7YJQ-`ߵTbyPr4pLxуh.]u#Ap lUm4C@eL6wXIb`xPnu㒏XPK9UkGC'HDh o,rN=6Q2Gt(v.jȸ+G;؎)5Y1-S@WZ819ianŸ@k_eM*$,AN9dwdk툚 ` Wˤd"Ue'1n.Z_ԔϷ>Ѐ&4RMC? qFѡ}򅰨d.^qV$k8kIucz+njqj;Hqa]{̗ey7AofwTr/AAOEEom po,}wMn7X!k 8\d\gr|P뮺/oo =ǽ^I{h:}E#= )C}U{@*ɽvtQ0AGɒvĬbJaPG\ԂT_Gfl|}Ң0QJOCF]O5 9HZ­~>6(EL3UrAF|6>Pb)z%,0Ԧ b8Ld_hTgjRLWEJrg4S 0S .KC@ymXm͒@713%L`nScՇ{$ݮ@rѵy`b┢E_O:p}oU4Ɇ ˆ9œ)se|͔zP/Cܿ2i0B}ԵBC{p_R)ox[*nTc<4fG A˗m僥lsğ&>le'LZ|u,Lbl*906 ?XA,$ 69S,yѷ{\0]2QiR+{;BiՒkU{yej%@' SAI"aFL{l[?8Sϒ5 ,gN!/2o-@;>T|hcѕ 4Nzuk=40*=][Hӥ? m] &wpO>aa%A@6oO?5<&sK͊Ma@s9 qdZ 5kb ;@]lw6icy 4oR51iX OW;crD:mUS-|pH"6T+ j2{{TYt"DhK!S#ӎMZL:*BKP.S)2 A 0?OLRJnNz-l&l^EY{崛7+W|[^u̚~GY/ol`U˯뭐EH(B/3qˑj2C#9"v>zP@_Rh1pܘsJ Or 2<biw.طՃ"־:06xXաc!l hmKGj] 0%S{?u k5t hf͏Jf0sz2 _޲k0$Ejy=K"+ՔIE|mIm~sk0 *a0@vۦ3'J쉐Ue1)f7AM|21K#1IWaOfU|& 򎱞;ءg+oV #[׭ʄc!QwY4 J1`hAefG7K*HۣHF$Vܾ~CO dOSpUN/>1v g{NjDRmKZMWc1%j /Ф)ߋ+ĊW W${}/jI/{H^ގjG0$LO8KL̛M`^q+Nzv1$j@,M:#A9$\v=*mjacT+Lhnѯl{2 TD4_;LDIe,P=tDԊǥ< 9=f@" rWRfO"ӌ'#\r e_C RȸQJbtte&Сv8!`V x(gm\;mClb8.q`0?@N40${Cϻ vXʂV5.6%pqiwSP~{{9 Bȡ9pVڞm-9)_iY&@zehz]%ZNenMa+MVcZ'voӽn"Un$yPzGz;UʱU:nЋ<˴X }s8N^mD"Gk80I[r#R6]qxCo(#٦־6eG W+xv cpOxőFAC[^FJ&cʤOK4}{,=D绯v2QєKUAy}~s ʜ^}E9y2^z83;QKRmp>QmHTI,1!`d jl+U`g_Ǚ{@mGHwf)TJO΄w/|t,0qr ͳ5 xOǚsGң_QwmB!%{%EQsDE%.XLq'ɪXX=O;<^!鹡^x0K]/G@ꂌ8?kI&JYa>nꡫ^FOBՙ+ >Y^(@S=^{mrWc#U^n(A-@".&揆y`nBԤQ'S%.2ٶ)qG/zvϹpW?#mJhE%v FA{}c6% ?D8}Ц ,P.6;4GHz'B,98-`m!APw"`MW΋؂;g|Rh7l1D8w<_l'/Y2lY~D!gj QF՚}g-/gme5l6g,\TIV:I 9!gM$w:?tżNd_o|@,?B̀a6"օAXk aDu+f}-*" s<y6HϯԔJQ371I ͋%|jol6o?WbS=q T_7lj ԳܝD_qj;*]>_nM(BLu|Lh7:0J ^YRAi׈GE6'v&(;9M0]P S(sO~ij R+g;{tJ`EchG #}쮫X{N`&C-BMk6+RNWWmMZ0;rvj@**Qܡ72HZz,#H#dUwGClx ^j`r|jU|_Xy&>Wڠ!z9|C570#pF8/QYmvj ([l NB[x%JwGɔ (0ߤĮWlx#/\rufqOA)2њ-7b ElRV$aLY-oghMu6_έQE2OJ#jrǾVYgKN4Kƕqː/D9mA}*!|;X4Kmr/ *;6FpS =zɁ-C8cR+g`x?AȺ"D`4%oԢ{'v1nݖ^!`fj]^ϒIc5%u_wֱCbmm!$"5o;)p^4)za3lRr/=!c.ฉt F8=> K&UfQH=kXeX |>:Y;pFN$MPaLO݊Ůxז\վBHN^L@Dffi2(bh=]WUzggfrA@ jq(&> ~9V\!ZA59rSr`J|0!0ډ ߼|@_OEhВO`<.]o@m2Wms.#jq͎)?6>6WFE NJPշQы0fW{EoO]~sgR!rAG S31sѰ =ao *sSGT7=%H|%^(sώ{NlNL#?t^jeA|u2r&GOM9Tg3ޯ#UƴM2$)纓$sD=OcBh^Asʍr5GZ3&Wv#] $Tʪ s߃Hq@ΧЅSok;1PEJ9'+c:%nk!Pt(*-P}duR40b0M~cY:^W٨ {TM&chdNտr.M@}`Bà + 3t 8mvĒ$VxABl@҆}!Jx4Rdʣlfo/f|eZds=81žU,>g?ؒQⅉ@*}2^j2@/ImqYr؅*H2޼ĺGUb3u>ˌ( A>黔G$Wb/O|hn3 Bȹ IE''fvqh7,X5=MmI̓N/Nlѥs ;S1:K av*oEζT=P0)lz׾7b!Mo!B*2h/|[t{MObc\(,[o&@H PڕtM4@[Hzmq1L_dmC2J+q#XpK ,vV*5Okd܍_lj}O7wf x^a.l$x<Sv\r@' YB5(dhk/Wޥi1'rO] HFP.=$kY,uIQ A0(Hj]U-C\xƑBJ@_"+vKM K>,;j}K#bHZ,%SC$HYw ¨uĆ3\H˻0tT 1cjQ=aI/bVr@Q6vpH*qu tO%F $:kt_U ZCɎL4:@ʺSae{uFq7c.}$~ZN3 [\Q?XeG{P|ޑO9פ: kHT;^Ѯpb3~|G _7YR# mg5e1 Xl4Q;[$ոfG>Ȍ4 IX-qtPhìB iS wAk,1)zW)% TubuMQԅiݤ1}~9ܶmpęz Tڰ]c|(Mɋp0 J!t˙3x7LIٗ][/gG+٢{T?1G(Bn.[&hY1 @PVgO5MLG"ovo]S#[1 [ dL -as'?(<٣ zHnbcDCVB,|1{y|8F_s?2?gocB zhuv7ҫ`Gq "XmgҐW]Dӽ2HnŢn u- 6%ɵäGG#Zd9"Ϧ?z7u (zWgj6\^% g^ɮtpf'7$]INPk@OwܴjSsȪ?(6y)|iQ%t rEW[C>XCtO=44s@:vttrhmB LgJfq^y*c$>Bץ,uL ,yUYq XM 5i|JxB\$Iͷ2 Ֆlu[B0ĺ]'ou\ wS AE=;NXJJ/ a֪F ؾLx$" j`ַdT"FJuc_NqN8ow}~<`+ DJJp SGn#S o7ǚ"C8ia \y]a_6[MCx*v,=p"9JğJq40sq˵r=1[|͆?|tֳtN汑|i;Yo ZqQ 5ErEլ |w*tؽ}^o ch |e粼ɥ^x2|,8,8OxJޅ/(SœR 4= *P4 jK*%Z "=BRFׇބV@V~wRd4*h\/"<ʺjDr2wلh.< 4+&,ZzO](5-]GK_(BnJ.#U O#Q* A3 ac;X:|\!i%3vAvV є J;DHٚK;"v(t('^r31;P̼ᨔLIHعćpX/z5/!x/2f^`C%.!-=Sƃ P-Zmw#(tjn^CHC} y9-GY=ioM@ ѿP鶴ݲ˽Qh(/ aj"oMÕ'M G)4N>w׋uR]6q<ɹ$:gCfS9gtT _DZYz]k~ݛ8nޒX0#,wc|])bb1b:H͋-\{zLQ]@1=ELOO3 h^٨L033Jz#\3ނ.7SFkM䃚|ӟMs*3mg. _G'<\n ϥGiA7wS dHBޣeT`~}ٖED:t9Oy׬7BvRCӣK3\<5 ًt0lzD_)NBkrh|$ @8*!R4M; _|$7XˑPe0جcفF|ȁ^:gr-ʬ`X|8%q4q#lV"po䜔N# _\RO&i"8+H;EOK埰j:|-2/ﴌ8w{swQ}0|DG/>m"L%M3zu%JA7l)`|NE TnjF0ѻC9WiC`Pe[*>Iw|k '룺&˲hj'#)"h}12 7?px1 6Qbӌ[tVu+jbagڅ8̓ TyX>q,438|K#_j WRKX>ʯƑʼn%d9Qm5ۍҿb/NeB-7Fkaj{yJPty@5$@|Fu4jrO11!K4njl 3uZFQ(|;5vBբ!ΛJ 'L5H$@@R}ʓî#"qK+2)Ǖ%[>H\mf-o?;hFvk.SM`Қ{.W~i183PUj Z!{yWY#&$#+L7O D 2)p/vDγ-܁FOn)S7ZNX";_Ү&|^&Y\_ڿ26iç54a}VQ=c`Aw#ofזE-ϻv ]빴@"AuugwxKmt:`&9w*z/4aP,GR ;95d*6eY9]GsfE[2VBy DU I Fbov%È/QbMeVsja)=S6IV b}؍ə܅LR.RVTif ?MO[_ )tXó2'R *$\iJ Sa4Sb( #fz LqczkvS=bm9mP}6"zI_ pX}3IEcs %]ИVws33Wo<+dQh!k )rHeEŻ2GHU$>;XXH:Qv Mm< 5 g"c9>V Wcڄە&>u4 b➍I`uO0L3~ By/M" C* 1fďy.ϜZ[9l=FlN V*~{-ْ FuOtf,%iR8>^xqW_elR$)eV:UD*_Ik}J(TAB_pMgMf=^vX揾jEZl˟Bi_d6Kٔnޤ>ؠ)8F+2+ͳ z-39/H8 *}DʍZ5f.r0kxg83cTXg|3e([ڜp3izKB0&?ג[ ̚2\<| !ܾPV #8yRgjYpI@lt`Ƙl}G?#u:ͱA@bo.Ntwܾ:H4yR¿8) 9 >u"$Ġ1Il[3Cʱ_|2]X) jh;[m%H\m%Azk@~;hlx]^f=ŜpT*2ߌ;@pxAʅE 37 Mww\Pispz ns ^qKR5R/GP55mڟ|U~VOe] dO@ ?/ǘ60Q#:8:W\[T&LIO8rp^̦ pbC>gdHlכU +\Bh(C`M#jxtNra@NBk餸,:VJiˇI?h#5YwcF$ _l;©p}Omڦט\1.Ư#'/?4 yuS V1MGsB%j|:WxT*1T\6mg?M+z~_`,[ՋpV+y u $`dvPg]@bPm$-UWvA7͚Ww-f'Ył&U]H}:ga#{HeRfز¾ݎ1@<1b#cDOiE~)Cnɀ9οz& <)?K0BO%[GhbZOqf_{\(XqUH"{@X ; ham Jr*Ӑ6{J罛6󫃐wP<: K ~;"Q0d;%I4N;'@~V e4z⼣VB^TRXTLLx@;@,˅_[ q{TO3b,`h{}[~\]ytr&Ygڽ^"ߒE P./CNo7"{sq;W=lU[ Paf'qJhT ?fo [Ę ~᫖P 1J΢76:I͆T}ulB*x <*ߓPo S>8x/$݈|u5g0RX[QiqbN$f,k᭺N^K<_7b@F!YEkC,LY@ltnỊI@,(EƳ]ݚX2+}hlWܞY6*W˓"pNu* >&4=R} d\dW󤽓}a6"j%7'&?x|FoC9%sP"/-WfƘE,]T im]]LT ~ vG2=" c 0ӉnNx&FmL=:q2E$  WY8^.i_eК3A}%۠RfC!>m9Jcr#t:Q0MI 5>_@?^ofTgjĥh[{Nf+vC uk/#2v"o 5ltDM'Kr> Ա/Kҫe~j<כ ỏK dfKGzD.bf2O/DˑW欯(%7OI.޹T^a0]3:K ubo'?: b.52 ZjN9&sH2)*)(s! b|XF>؎6h,#Vn%Cs{$([&Ķ6Hyb1a*zeisQ&&h~׿ϯDq q&/$A@0YS#<3PY5`꿏*0.4*gsHY}ҹ31{16inCLɲC܋Mp8X{|LN"= \ȏp Bxa kF3,pea÷50o Gچpێ݄"} c~a$?+^/FLUNx X60Y;#dxh-[7%6=3t.W@CĦL|ࢁX_^ |U1Y:rk_fz=CWS-tQdLÆM!Ȑ< a.w| i4Yg ;9T>ɛyC5|CּXڎGYVd( E ~DjUDԒg< hx8S=a`OVϢ0$5.%RTFU:]?ͭ 2`JMά%BEa/ygx]ҟb,љwTro#_ p|4 [Ep޳?hmGo8g^8X^}W{`I v2T5 PJO )(&ݨ"N \kF5@J)&p0g_kB(z]%[6/OcHK & `]8N^1xaD Hkt~8Api̩r6ѴVZr9:( 2@/{AV)ҷV1g]'Rfq5 0Ă5$dNM; oqҫe_Y0Τ҉5N|hRdMt7Pb/(~lKLPuG}/tV"%[}dy}Jە0eD6]*SQJrbVb %45l -ɮ} pGU&nF)ffm%|wOt >T1՛^Ou3K*ΏBjklR^/›kgC] *M29YD>_pÿys "q<԰4iMk/hLej;a`'u~;G)6ɝwgٰ pRUa Lԓ8Z@ _"yN3gg0v_:Ok~뽲&hojk&rLELQIweo2x ^'irRyE8o]>nn.aۣ (^G0ZJhOh0šxi(^ ^ejk3:.``:D J~>JZB4XZ+U\֗cB˧&iZ%G/lO%-f,'?H&Un| J-1#C y+S 09NrSyWˎMhܛ#q1(f=x|4;6c޴zbHOs:` I<6?Z4ʦZIK퀘l-6Sogw6ƳA[Ic!9Fsmm]].u̳2clcn(]DS59<+lSJH',8ZC8,BWymTs[Ͱtڧ'zWC䈾6pi7_{U07 $(Wq̄=.}DYDg B1 YH% "n1jRӺ'Ri]v"='!yO: jڀ*@+fofW.6w2;,V,/%°^-/HWL٣}XYOg9cGل$ݝLA/E XD}/k=}W cbfHgAU 'ܠ^UReyy2~?dECCnr6p0o\faС>DC7Jff@k_!Bn:EF$i-hJ$};~wՔ~M;_{4%ycUTȿ| `ꯎcC~lM@MRN=W#=R@Λ^zHW+Y',PE)8=yca*hn{BFw8j'? G, -辦.^1tܹvP -uq'AV2 J/J<5hN#jWX aQ{??':KQēaH"{;0|ƯPv)zJ~4/yQKMy835;&Kխhe:ߍzA7W@c)^Zָr|Z6gOZu)Tq"!LA knȫlq,{{.8-J`o_EA 8/ 3bnKF! RSez3JF*&aK8S=W`" *ܤ =! e-j{?HxHNO'uX 9% d&halD23K̘myQ o 6߱nז '8uia~t5fO姖%_ۈ& #ͅ/.nw0>2~\^瞼zadլcP4-D$ORk~w(إ-ZI@Gb:iKG6Ug^P!mF*V]i(- Þ,(WEY>?Fb涿~rm)HLZ)aQiR 5ٌab3:~|/=ʤ=-W.@vDG ONY0YH_43]%%̼4+F.;GԊg4֏MצQ|籗BG9bD|B pɜ :R(C: +6tg^V!S_'ri |G=ww^x pQ{z(dFSo,۫Ḯo}6e'Gi@hּ'fӨ$t4CfP"u4r~ kQ"e-\ڑEy4ɽ>/"0J[7+0^I:d*е]¶X"lDEI P+xVw҈qm܊z߉c_Yo (ellt<}ag(DU ..ElIah@L^xr͂ EcC bImh'3(255itnX7#& ݢ5jڟk60}9@ij[d[[ȺFg.;ElRFnv*Rbvq,s4';}KV]EB˛TI,-# L9,3zBGAs^2ԹցȺCYhh.8Dbƃ,Ɉ&ɔ٧ `<+{w3 cCa^؞[b+)ikx`K\#n /S%EBS20̶bK[9[G;u,љJf6ަn5;_XiSyР^|ݮ1aN7u8އ yBG񞦨R u~'ӝ-s@Lw?CrʪBu-kLNT [A**g ư !)| ImBzL¦G&e RU7Tϑ "c$$G+"6ZYQM0@(TCj݈ԤuYg.uSuSmOzFQ,Bu6 _bdź _qZ`kemBїu{زCGp@/ڪܱ93mjSE9C}Zx+{l6+BTfRb0?3dQ?dgQ$ 1=D_iZY2qScڌ}s(.O~՝7QǢIfGmzWU㗭xִ{&˩SɃxEoÉu@ w-_rf Z5d+i?fAw +C/tY- ͸$$l`Ic2n&cQ[^%{==ѷ 1,O)=QoƼey@yONZ:l DYߍn)珼=Q|Uں^GZ܎J昵hHpSIR]P}7 9!mK=WJl'tzIo+5؀ٍ=ߺL(hp^Z#4׈h!fv|˜˻ˍ=Y:\%;%}uDTk+~"1+ey-H"{F7l"Ҋ`sPzACHS1/YOIL_%6BĜ@)0ϔoffH, X8Wf$-XΝ}Po75Vݡ w`ZC=qԾZ/.` ݢR541E0"?Ԃ@yΥYL5 #q\+uȣo \xq[HCnddŐ[:u=Iނ3 SWUɞr#gRhFbyA($\f$=$P !_hDIF0ߨgGsp sz8A:_$V*CǓ 5K PK[=Ny%c$Ϩk2VrcG, W%79,&-{)15qM@8:4q"[[-}VCM>smDZ RմoRLRP7M=ѲO`C:֥0#zm-TT_xŌeˠܢW5oO_X!+HPs҂+d,bKGd^񭟍'EG&ibe h+ f`}SO6&UqEep5ԵʻzqP":2wXc^|+pAtԾENfM(oeՔ//X2rkk[бj^@LN?fR_&T#S[^t,>\4'"zFejz*F5љ:HjmI:Kw>8͂?R I ug'~6>kqSŹEQGǪ,5dAm005gΨ : $g|5Z df3e {ӓQ? k'Q'RWZ9=YE(X{V34ekgaSDyrر zֵ.WCAN',/rpBW&U_8׈W[QfaUI4 ؕ=AaԠVZJ[-'_J "3$y]r)x4p6Nl<ٝ rIG}8dϩwP|Kf`"ˈ}U\CT_\-_Px,U+G8#?; p;x]q|YW; J 1bɟ:G W{[]}x<#"`>|sV' df q\c%9$ &WH{0 7|-LjsWpV2/zkX9=I:D鹋KB0 22zJfSbW34Esޟ5a@L^8^:֯)g_ *y}'Uwuy?9WPVߢ1\ݴeSP =i\NM%pBHfAg~jqIl/ewbpN) ᓸ>P+ ה<2 xySٝBl5/eqH2ՠ'.eSiax c޾ҠYxp_yپ3orN>#D;&Eu1K0S9]ņvIwvL< JN%қ n7W*7IRŬ[I);,ȝx l2:.sd ;j:^(tNV\ysi|uGR:m76LRpp!)^wAF#@PԖ˒`9$5.hղ| c'}L=| Z6:݊'f(BW70Z5ֹ7*f@HrQN<7=Tqozp:8>O%F͂`dyJaYG8jo˒40BnKAk[v՛Q8R6N$ "##Fd]Էly_!,Fbnq _&A3W: :,Uμe%Mio,=вNɒq?.`1gݺ|Vsh*t]^JMs\dlx?QX,)6nS9V .?rbd2 ֭^-̀Und;kR#5̔a;Y`0lE"Q:a ɔ I@xt$LHn{+T`>. GM +=R -gJ>.l'2) 1xT3VB7Z{]% TI{&/u+ݰª&5;,K2+_jM&?oE9n{JioKuQJۖ>wP%|ZkA"]B

`;pA8rQ4sLٮ41E84ĬJzuadBЂkdlwF.zaRgCka.liɜ5<dhtNPrz6Rf.4.vrAĭȟ (KislB |QDmrޡDa1OO }J{`1$?%A76~ 3pIyGv/͢Qg #/;!e-dEBr?APobvϝ[3s1\}/_ E&ONͺ r5a+@" 489zUkqR[J^fáb& g_m xIܯ6y o =1#Gغx#q!Z c %a#tԔdKgٳ\˶zo>F,Wh6陙iPc{9UT>E7y*C]ѿ񯘪e_<|>Y 5QȀo J9Ã\ UNMQIAa27Z."o i:;~*:0C)[H&ι;Ez S>> [v| MG~$f ߣVTco3ѺՓDP,p;-R$㷭uw^1fd0vuB qEyŽK%P8N]4|ox1vmn?>#k!N6q$s>hXQ` ϗ|NSxApY fɏ^Y-w({O7`yLK>d<<~~T"m$md]]2R;ݗ/%tޠnPSvyCW64Q2-L+AoTv; Bb~+=qdX3HLcfh[HjQ7%lMO$q4'vJouvUon F3ONH"P(rzcE;L&;Z@BY} Y$5Ee5ɫ,;k;{Ӂ6w5 cݔfZlrlķ{:vZ "1rlZ;W,yр[F.vXU@T lgr7й3!W>n)iu{fsV<{{?р \6KMU!>:87)'(l'p7[@fۏ SLb|jUET k7^ݿ#÷m$h%tVF5W7u`'tm VkXbt3Gi z&!xg}Uah!x@Y.qù#x`z^Nq' AeaqE+@~ˢw ,x>:$:3l7?yv^5.-ȧPߔH25_Xª `R;ԕ]3s:  [s[Oc,#!1Q D"8ɴq\w;ƭSOyG4==֨@;Nk^=F%7#oƂ:N?KX^jfvx_;v` +E涷!`,u @];"Z],v'JLrA}#[IEZ{ؽn \veݎ+ݮӡdضhQH̉uXS 3!OT b.]}}`Nca$d5Z6:-uv\k?xݯ#DXssA5T F4'cSHom6qp߂[)F>p1D z-Efp*Ÿ-A;l?t)a\F @xRH=$kـ2`vKxm()1*aCmz%@W=!3]?wX9^ WʔdSyͯl 4lbC魄KV\kx1tBɀ ȗ[ B@alI$FAgvBd(M+$E5d6P-YEAXi=2)__2_Y qXr6K(Z8ECZߒ~e_zuZNL|S8u6d *Ui7#?gYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 34221437a109a5594ba7786476b5abb5979a2647 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 3f7a52736079f3a2d5a716f58664b1913335d539 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821f7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16