SQLite format 3@ ,- 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 ]$L u]Slicing:threads=2elapsed=578.302cpu=989.692gc=13.508factor=1.717zXZִF! 5L]ŗXf1-/6vR[]\Q(U] ܨ)yZ>-ۮ p1ښ9T UM~ ;>r&z48H>(*U my}%XfNΔ&̑($9C^sJV;R4 1ey>!mӌ\&p5!OSNۛ$`vtj8Y61@2&4eh*F_ub!\iRZe{UʇхMWTB |c40‚t\89,26ML&ߔp8q 2;J==^y }7uZN-զFuHdb;rt_)}Ǐ[kVP 9waDJ3EKk,W0|.*lpyGe%=6 5$:q n+jiYPNX#Hwb8Dnb24^|r(`8 U,ؑIi%&lD`]ȗڭb'up}N[Z,ͩ{8 &%TjqƉ EPÕ< x@o`h.ԴAj_cNt&+Ogh   SlicingV4@BVbG+T1arƞ$>;jc?v[KwPDwy:ԕ!pF h}_=ؠ]ޅ*cv/R[o5GQ"tvJU NKzUځ^X;Hv:Xm݃7._x nXi-My^Q >Wn®o-j"m$=n+3Z˛ r7ф%vf`r02Ï걬&YSRSך59,n)$&KYiO<j;?.OBO@ߊ׶W0~,3yBE ~%`PVy8ƬQrG'2nn긒uƮFh&Ja=0.@AܶH%ZYrY2꙲+̜,ۜl6ઐD*jLc2FYȰU]+{ +&> Hp`r.zSd;h׆[k<('beʾSTf}̱͝7žx)YIBCBajΜvґv/>2@rƓaCuUL45VȾ ch>X׋IfϷ8ڢ&;cq)c -xX6vB( ;M8#V\9\Xq);Бn(_) Q{Za_OMFN%MLڎe1 Qy=5u[$lAG]yHa]y $LT&C]ju_"/|rh*?̆ 4[˘ v@ i ˈحe=w'K v;I Sjv.2Q_*?>^>#H>gԎf5viiu-3 jK@D &seRi=٘b5uSkχm0BB߈(@@+_a-6E(d2uhϋ@/~坩UΜ]!P+380"'D~;ivl?bSxFWt#?ԍӶYC;mLY2{@kq-bZz 3mҜ r Q-g^MɐŞLXT*aK?a j9M=x|:+ [NaM6!?ABk "yNPK2%l[^V\cwAa^DZ},t>\D7`;h1f=yRaA٨Y+k mh4ϭmJdVϴmkc2Dj A/ {ыEۃF ҚCgdXILI]ِL5.#-W?Y"0EC o^aX<̥ !`dVPY}$[s1)t+UܝH %}S:I&A,#c8?Q, `=䍶2C\ÖOILR\Y/h^t.Lץ>N(gTtA ksZ )jt)U\fJSdnr1 n84CxB}eݸʾmA 1B=5VS~vz1 >:աtC:+7>1 BY >@p;(T.EP w=*슨ģUy},-A!9s|@_kmU( kZv)]iޟq?);AO ot~{.4{q8nd/ }XR{y7YPSΜ+9Ip9Mjyߒ5MAx7(Օ2zzw5qWsPtYbs{1E3w//Hu QwzwA`˱PQ"dA/"ͿT۩E=kUPc2aCFyFx"ԵpDwWc@$txhXU[oTG#`9n_ vC:'=.W3̹,."( Z Y1VV~1q=UwN @HS7dٗP7wXJ=hiYub# c2{hM p7:#t.O I>D#8^4&2fXK<[DU&S] ~ujƜ|V? ?5 xU&VN8?hmt.0S ZN (zE\^Nv-QTVB˄Hf:_eӝUGiD鸭@J0M\uB%{"~52UD}nNȿ I17$ʫEeM,[YpZ[N|鰩DGĞAr9 !΄ 񌎙: O go0DyFi 'bJ:^"s^Z윌MSeNK4^m P!.̎ |Іߔ`N0o.V"xl5dPa^1r=8y‡ft=DVLNp w4H v>ٝk ׶ :^v1bK,X` [|{a rENvCh1nq?x_G ËZXY!Xݻg0#Nu%0%# hr@"mc7LM%|PAVҫHgzc t,>Y%hJP.\D ?~FUyjۅ%H5& w]?0bPC>uT:¯H䖝h* >Ѫ-לdZWg |FEG֖CyO`oK]w'@wxƐ :V{nA)5tWxq7S%i0gv=B'ewͽi""0j;O@_dL 'ݟ5so0i{ ?8nh:(BMvb\*@ Zە𥉈!UeC|~A[oZMKPla 9G%t %. @$IrqJ *FK_:}/+"q AqFZHѥ{E2RaOM,I1\\- xC˥m>*sn+BCz l3䵁2SUh('DeYIȥ  &h9ANa(ϰi7<{fhVFK/9QDi Պ?7M۱-dGQFW [F9Uz^ml\WHz'W55Sҡ7rl~~͉(I=6$SQ7p1'q:IH Wf d '7)3`(|ZY ߊzlע'Uyz^@" (f:*vL]?y=>k,Ƙ픁8!טM.mOۑW4QCw;q鸈..lGʨ׆.F/ dК)z#B$l"@G%dM, 1D!q ,ޠZ."X+׃KuWxo[`L x7;HRoo:͉ cẉq"#)xÈgq1joebL2'V"t;xt'X&BH̓W1.3އVRhK&K1Y\//\O{O^Z*Eա2ۂlz0 iul \y|6kT?!XMS#-s ʞ9 r82R!V>,* Vl;ܲ?Z]CcT%yB uFX=' bӸO\HA?YNd-0רV)%#R5"!-LYh$Cc޵t:t ?L}7Pr.(Ehk#@lrd 27R]|w^)Tpݾ%*O-^5Ht9l^ﴙ]=}d_;L>;@wgRLލL \a̓N*b~ %}o MfcD(t:raq~nIsCMë~+BXnRX&=ntmD憾 Vtv^|ܲg4‚Re/}B.ʐEfUw|W%1n)\oq MԾz&l]0XA~@ȊT+6΅8E ^CrDzՕjqW޹Ef{NCm+36xy= P{x|YbraMw@N( B hjn l%Cb2HjZDZ\ X—ޔttD]h{cEhV7 o7wB?OҟkB 'G}vGmf4; ߝ9`A*' d%fP=,e.hl\ zyD, A@jEeYJ""tJٴJ7I7%K`L.cS?Z+Е9BI]1# |tb^^ΪWzւ yd!ZwiS \2SS="SX@(Y61Z&C˜͋dwNy{6W95¨LbQ1|/㠠si JAEk|Hnw,7fS}3'KQIT^50_i֥$!vD*!K=ځHyQaP'yUR{w GW*9K!W(_ yȅ#7ϟ &2eD`N,ks`XXl|9v9GxcDCFڭ0cz{Ux>iʆݐ /6n,nDe@CxY~Jx O(֎{St! hiHHm\qށl-fp#Tc&NͥO,wC"^/ TwlH=?I@WPeG+-lkcbS}+ACҒc>i -7zQ06GEXÊ0J l\è:yXQջuyx8F~S#xk<;2nrR#lWd))(AݯPmrJ-Snv p-Тb/a0󞨬=Ut&q L<<[H8#,޻L '@!Ú }n.Q.p@6luAhF_~?e-@IY%*y neݓPIfB]^`[oZ .ޔS`zѾpKsF_`/uX9+N&9wU Szh-zrt (0+=sSVJ}r8S3gP_;,'?ܲ _yHL$%=DLE%a<Ў[Yu)v}Fߕ9_(ɭqJzմ & э^ZP _r]I O_*vCI'{`99D7U ަGi8.TMM׾/XԪ Ug&Ol!3d0z "NmØH&`+-NG%H üQXUֺli8,@Ox<l П:Ngh?e0"^*_Tjl ƙp?HK.*U~2N5us3BެkOP[GvD7K9Wm|ˆ5X٥jOAJ.3%H߲kؖ#HWqrϵT~]ɛ O]OP8i;$~8 9›v]e3e}Zu]͹l^ \ Ӄp@1ֶߞkِ9D*pR¼z,/-PH~ٱd=>777,([rqAMjS1~vxA v,Ag .f Q}qҴ # UHQLAc]98UGkh04uE2MZW*.>TGau-D MF9'<N-jbL<Lj754Xw$Lˆ1jo#H矍dO~{jHNd1QIG]?GEmڀ. d,EW\sHUNEXKNwRo7a?UL 0۸ i5:c1|'RAU&I-zZԿH$RGU ClW[jC8hF!颕;I5A(%BE6hR Ku:݁jCXFd~g6#XOx|dV8<%`akg*0}u:f.Iѭj1zi^0+Z(vK4*4jsX(qS쵧5ߦsMej^٠Mi*~s$V}fFtMR _I@NJgGBMX- 6Md[%U5Ohl2'A6enqTdp*~ +XfIyyne)\73J NV1JMU111}lq,:EYy3,-l;szCWPѥŦx/@̆MNCN,ٻF|%q!&V/ Hr"#*'cX PR/“hN],iaH nǞrin̂T^5u 7:PnDN MFc˒,ANLu&IZI}>k׵Ӊ B˿irP$^ s#b䩿'W>d#d)uPRĖ.i|)p=1L椿8_m KWzOCGGߧ_kٗemC++DUo p@`uF%'Zy߁D$ · j̨60}J.(]Md \xB.!'ʂ9]2M哬a5ѭ3L^t7 T`*yq5b2Íz)0n6= { |Ia~`U, )g7)(R" bb(bD G. e E7{ު͵|p/&(շ+ p!?/l|IG~n ,d)1I`3w {":.LXĞ+( ^͂w{ñPJѵ%*IjC 6vhȀ;*19d{ SyziYK<'j":Jh%G!=HcrIk1$86xITMYQ+.]:stM8 Ub6kC:M1.)V}ׅ$uJv4GAl{͗*rKh/7<N)|\g] f\*&Ot0t6Ǭe-Ə=Ȣn]kUGּ\~4 4[ͼ^!R5xi:x|ώ\lZ.ݯR,{dhqN? $7ܑ0qEp;phw }:?,-U\~Ǐ)>xǼS4ћب!S YXDt zO_(]gЬm]DGjzx |J ֏)_*4]dbjܲn40ŏv"y # VJQ@z u1Z۷XW@ _ϱr[Jo bE*+dj\Jn(o pNu4M>=hCIr½i8S5 E?Ph8Lj7/U8==4=0g.Z؊Wg ذDz $]%4O2/3j9,Wt7=1+qU(8ظݝ KVw.Vqd-_CH@&f;ԘDuRemkVhF>Kqxjp>+{DI3GgQs6[$Bd؅X^T/Yšum])A̵|TjX#O"X7Q`e4vw'txV_Ԁz6%J 3A#D8w::ƋR=e͔Ô`v?5+[4_bn F:2|a dA'\n[.@o/I2yOװl!y ~Tپ?5O)Jг"VIw~X!iĂb76` q%4 W` ȉ|Ab]ųU߲:,s%XʔL.#̼Vi5 7hC@eTLtSʢY_. -0+hoϱNa[`ڶX?LNUȱnniKIXs$V 2%mDP[O'8Dx54?.Ѹ'D2?-f]YFjWqJ,u":EYty@mt{Įa$"t>9HsN)lp;Z A3j8|HLͻδ !;]RFR½q@C=>}`I˽ e.$B֧ ohъv4n {O \\ e=CML/1yynWVGS]ǀЀqlH_`oc?'Xbg>#2Oڏ;E`UTBO৲revL]m 9S+or7[|)49eXi}2Mn6X ^UҰY.xrFP+nt;p6e|T銈F_eĴ'eR2y0  5~}Mr Z֡.7 o*f2uv밻TB'E3ivA_Zf׉ߘO{JG`ݰ䦱hc͐es`yWl )|ZA0ޅ .\(ϋJ`m:bӭd\V%ot,u,F)Ņhȳ_M] :]0gV}o$PD2vjbg.-#iH=|ap/_-:9aa3i 5˾{sM R7BeMCfCBkqIe;h 7 #~g,A4[La*͈{|˼q=[ Vu/⸇Dyl۝ʢ#w7}4cM+pjEo umCW"S.Tf5;vYR ,!ۧ)ipHFo L2>t9Q"PM,P ޔ2k~[]@9?YF&{%Ԋ*-3QKѹA]Y!Ua z,9ph{u6<ū\{5 eU{_z f8ɀˎ/& b5v?)G VNSn?C,}TDbU>3 SȣnsPneUzp4H^c t^k/| nFB i9@ m0Ÿʫ^-; 1PGpDT.+FGnWuݎ vS"A l@ڐ%dZ¿h˯-\-v蘯V*-hcH>Du jdߝaoī헊6#MNZN >nE"]4(b3Ҝ 2ou=D`,+J~lLF!WЧCPwX !-FKP +Y2eVܾ~P\ /\8zF:@wg$GO7=yQt?h>9acMcJ|P$ܧR$7.FZ.-%Fsx+ bEfF.;6t޵ 8db8Q+SAlRqu4uw 5$ L*u58.ӣvAsΌ(/kֱ5ubs !}EˋLȆwų;8ypxvf/JC!JkdV`ECW#KKpq1Զ /*6*=zknU޿1$*;+Gr UB>;!:܌ jp(*&;IWχg]1]<7zR F!Kgmo"GLW.Huvkz(fk;g2g/+/Xtׇ&1uӅCש E WW\7qr靪?h Nx:}mg ֔3P+=K:DNT!N1c9,=TBn[٧\coAXt"*MyM\7[V־f|PAo%֋i3\xU X. ^<7 ns]־&ϲ-gW:syۗs2@4niqCasX;?́ 13vʟE&/r 24Sy܁77};պ.Ϩb_x:W Q=r/,3mu> K9M~݂IKuM/k&juŠ($si`s=syKy{am#Y#0GsTGm#H`.ɆIYCo Rzc ;ʍ8R#_l(N44h-}zXV٘(0{bLs#zga,Fśs"vI6n {YuV/ŝZfr+,S3uXM% [Uh6q9%*h+n5SCΝ@#d #,25IxȞ@W̩60>yc'SҺT۝aY Qo)w6dA ڎ_UO5Ah橈Odmp_Rj{.x8zsˍRAOCOU?Km>D~9B?VeY]I[Yߑ1J;CTv54Ǫ(inC,ź>Aލ}k31R6Ƞl m'[66/֟jОd"8׊ g*e=]t.Ri# T@jGQރ0qauȭȚ8kCPnT j`NA鈘7?^1 4+(H[|4nB}6pZ:̠eQE{_yz1m B֨HOM@q)o*%yde6涾oŋW.hȚLKα "i4_'i6&u['N*pT@)Y G&n4/)E3-g@ (Q"w,.ם,@|"!׻g!-S/;vhBimۓURs9v>Rr򜣡^6=Jh$ܽ@ CnWQ|؟[-\d=ffĿ#uD8Az}cA~zCB9GfYmqrUv/0҅) 9#Y?͏teDzutK\̑Χc)8'8q7;aC rڻW3uOYӕOֳc]ozZ+ xӰao\ f?X6@K-r4~ѩV `ɦ%7V"nBdLYՒ#תL\p֎$3xMӄg~cA1jw Γ<J?-Gvciy0Wtϲue(`@XS@ qjlxL~H1Q#>PUfjߜàZAQd-)8T"GNWCxbh^JCpJߋU\pb??տzoqO4O-q3Rm4+ʇ?W$YB,6 |LveN;wׅQlcZmKҴ/~E[#lHf;Di"]u )]M %:S>Ȳ-4U(U-mbo3UreF N?$ ǿdy{$b5Sx;n*ylѻ5 HP /b j^+S# :'`;*tQi{  z0]޳&xP: "alSxrDIBLP pxQtX! `J٭8cC#d4(.UٽgaE0T=i@+|w߰ٹC^AZN9eyu=}ݮ15.T%Cc* jqPBOIvdXm!ЍY,\ڍ+¹C`#J6Lc+oe-#;.ңqɜ|IG1@ؓ=e̼g[be.~i4̄5A: A`prZ8?4bHGOdh|~ H⢁x]8<޹G;HꯑU(,lao%gocA+c ^56Hw\ 2ID0';,n\خ$ͯjAq#{qzǬS]`Vm&,Da%34B+3.~3ξԡ!O E >)4{{F6?Q*/B'-V(b|wF˖[8 *BɘitM}KZ4CD+"KB`90|8[(6*ޫ?Xv;p:Q![?Dq'ao/`Vv-OLR0'?;uۮjj)pL{vl­Rz.J&[CJC˃9_@Py\c{]_E[QPβ1~[Ho|Gdh-[S`Rz8~=ww8fiSӱ woRj"DwNJ׸XNzOqu9d[}gj>"H,bMȦ|enn#vLU\*{Lx=T)/8=~SH((1Vr <pP1xK?/u2̢=;q 63` T$=|(58+Op;FX "Dp!TJf-ԋ?E5蕫P4873)oѣx%܃ H:gVz 5ȐqI!9 Ԯ;#vHXx~R?l,UC2yg+E4r%.h&(gs-^X0 1_E9PaL=ca[3sxCɒX4b[}Bt(=IF1޳XM-$x'VjQDϾS&BA-4ȏp3ibѷmv1=w伫tU,~yFGbk$ƾaD4 =U 0mxt-,^Ο@lIY 3lgec?zޒ&jDaZ(-sᙵ%ט8Nxi e5 [ye vf/"Ɍj<"ii{@l%Z| +?>(oyvGų8}}іzh$g8Re○!lx m^FLY2xXV}FU6/⳽pj4y钒v&NRd Ə`K6(hB{N ܝꯎjHPуqCzTRas u;+Ul:ra[ǁB ' ;p.ёOAqkI ~'s$LН.bÕ7jD{ D}UV ELa"6( fo]Y=uS&sp⦵H;Ujn齠{j:)„p_0.{lO_5Y.DYK^r)h0 ѕ;SS +7v;ٱj* ʪ׊kCtÊk0ͣf߀u'fomIwR!z'H6ckoqF8'p1SE6eJMPK7\[w%\l3 7Ң:atF+@zfȨ]NP>ɘ5V9ګE91\QKlBN#oBp~>{aPXݬ-|"pw,x 6dUAa(uzQ8VNt+^JcE@ d<ɢ9_q 3ᙦo~4ޜ߁mboӴ[Z5/LޡckͩSWay+,$flXsr\e'Ua.xN܊iæiCVA!\a`G1c y'mwcSb-`l8A_P{ޣgJd]rG2u=97ɿhFAr63X"G9D140 bH󀑞L?WiȦ؋i7jR~yh8כkQsx/1ҋ/<YS&M%j=tޗD@ydH#.$*Ql_\{i\kp( E虸\P֒iak괶zzKuG D2n-2!+Z_?Orn;؇4cDڢB[ 9.C{ZRadi3z(O'TKtϋ_a>՘6ɡ{l hJb.v=;dO9ojWc5j&qMi$XckZ2@vӆ,&8\N%S+|`HʅF^+;VSzq!8HZ| GۚwAYIڵ\*a]Gl&4_]3E6G<\v Z2w (i8yA nəlE5(;]><=x$?x| ('|HZGV  mhXA FQ"\ȕtGehOO.%]i{p2;jooV՝jg+6S̶07yNz1Z ƏK3j,)>ӍtdEhM  E`3PA?bͪm68݂c4`ǁ&K.5O(#jcN+ZdHXFoXߦFQG"kibO*7x ¨)3YȺN7j7xtCK16䢾*(c#+zw=VTm?&clZ>K@( E+o84(E'%'?uЕ ˛br.EOUdvgV_ *Vтy%[tcՈrxK!<(jfQsu) "f P.揄=P~8hL ;*},4R,J{9 /`q#iffL߃<ՏS(ѿ$~ƿ!''NRJpUcٛ8]*v6)Yx: ߫;SYTSzw txT.=C#Wxn^:8x]l#g& 8!LG͔:o7OrSd>v@ybxH+f g^ δL\:#5@,b)/dIrJE5T;@t?ێ5<K N  2&N*mAYzm@"$L^FJW]K}XKL`rV>FŖ0 W*nnXCX+5qt <:նd}ƾ(ED3ХT-&[W`ùJ{t1= ={{+ᦇlfx̻L@ Bn9Հ+\)|I޹-9E%q>U7A@Ճ=;dTIpA#̈́cY,0;z߷=VVHuFZ`kOًH0e08TW~WW{3a:KA!j-*F18/#~[ 4f`d25'<>8}G]}L.H=X2 L8kg4"HM&xV d=ښvhmTtN>KP m~zQ{TfP&Ҷ?՜|tPhΎ}QM - 3s+4!ݪ<#s4Z١B h3s!iٜ̝O.pUYmjf39n5+=*[쓤sˊ}{8Ϙ#Rϯz Ri>f hPy&zp0Rw'' ߓeCCf\(ൗw#}8 {`Y]4VkyFlw]/S1z7 *V bYk;gFRADY{ԚZ=e RukTL&f UxMoo4*U0#r-vdרuJP()%cip0<IaDu2 بd>\ςH+ɾB-2!z &v=[I'OH@Hnpn i>2IDSG'w׌&& D}~<Ŵ4|,{۸K #.k-3z:'govZW@K1!(F:XapΌ Fsj Gr"F]:ntmV;, ?t2(X $G%g#NL{B k$ZbXӶn JD hLSL(X?ʸcT4%zn /Srm[ʱ.*Xч^pK'rFSZݛ+2 oյGqJҵ.17Dn.x8a~*g89Zv4naV"p![ƖT?am҉X~Y;dvP#gQ+ag/#ZH: a^xsMfKS S9gBw۫EV0zU|e5`-Kh0t(< _*Gv of-J%Itm!8Iz\ EQgeqgv Ȫ4d(CU *N[mE퉆TOzI_K$u;l?wйuw[LhQwX-s"l5I_yŋ2eU'ul*i;کc4*Q\/Ьz`6'1}\Hl\֦/ js-gzh%VS=Ju Q7o"['4hv4@deA׿c~=O6Z5-!TFmmh#ϋօ&|8_"rќEs$1a|X'Uckx#e΁YRTz oKA9^T@RDyZg]LF; ȐM#a?QkV'K&)xT4TԖ5@%S\HF%@U!%`lՎ 9ž+}J9$0R}D!Q: !s0VaMlԴQgAw?׺}mRm&xPI{~6;[{ r/n$2;KN_dHAO >q:m)ͱ5⩀ -lIavmc ;5e'K s}ޏLE:>f#1DdLa9.|:T" ,@3\wp}@652AF>>Xy!х(tڲ? "d\kxj *'^Ԯ'H /J\z?<6BmDj{gmK~B A|z}`X:Ad8!5?aP4QM+qi仨tJdPpYc34*<_~![%B=v +?ޮĹG yRèhdQAK) A!PU(^-)A@f[Tq7Pq=gNc'#/Ĉ_d!5n%˻%j#$:ByիϺ4[i9]ͨ" }aks@4820 {-:M#xo\3 $tW=9蛡>ӥ1MϿ`}[VsY)7)9 ^6=";lѺ:\9p"GTh畔tn|7(L MH#|n3JH@lf.1$mZ)=%@hp= 7aEw+X %3 ΀ xǡ(kK C ,&ρ@o^>ۏq%3 VI^%@2w\nr%>&چ '[|ҏ҃P!*yZk!*ͅי<Ƹ1oO-EP'8-3ێs j9|B5fDZ-`wUX"KӳmWD+|t*s[陞]`@0O9d+aP9l>=ˉ@px/孾}uaj?87qS#" gnq$uxnFOjb;B&Yv2rYL(5t'NR>]T Ol}3B/Pq&#FȟLs,-5 Rʼ\*Xj{x/) ZqblCkE'sLar0 yc gŒ0e\i{)alʢm2:3 adD#B"]di3F1I\ OҭOƂ P^ \!.p.hj>(IP WsUG29$HNV &I| j-]#RcoK[^#m(ч(]At|CcgZcw< A0ߍ#l:2{®NyFv?dĦͿy'<̲n>ȇFc/QotXuMJz>c59哃? 7w{:;p2+V!5Ҷh$d5S>Y{C9U;oI!MmoMv|Ft~;{#xS|*V >2k ``Wč 0|]\*zl䋆#$FFydGu)z[#imxPFNx?uuuڏ.Xz_I[b [O !r|frɯlaĠ($Uaw&&o85Vtwbd*_v%UtpcƘ+AB4V7P)0t#O"j7K}`1 {ֿeR4[J܋BbN"wR2R hBy:b M|AȾAK2]i&T彸&DWˉ&qe}#rנi{B8 {`a5CpXk0O&U勤|gc5ha["8Dh Pt${xPU3̞Xᥧ2h]Zs*xҮ }&@N{W06\M~HvPͳC[MA$oaRhAO2M_Ǝ^ďmVK7 5ZiY]a r>.Ah jG0jX@@$D<bnݳ 7,xʿ< Xp3^<..n}5a*e8`A V.6/ <$ uIn7rv:񏝮`n'awY]gcF;9n/=oeIъL4ZqI8JUe7V~ &YR~@;Hތ|}h%J.~@7} X+q'_='-C;MhuOq'7uXkI}=ջ2s'-wGZ1;L!/BNHŗH$*83e|TkNXT{SN[T՜<'W7 p{NJx(*M  a1 2@w[$(9ҁbn]"D`Qҋr#.nVJJ)0sxah$zw% Js׾-nҾ>)Q"򑺚.?qTkIq@{Fd7P.㪓(_ǿNᜍ2B|Rx-%&d"x& P%0&v'h-ōjhmFH5?1.zr(rvjcn|Ot2E> p5eVI=\Uk[=O+17QHnme }SR $Rl\#/J|omW[Wrd]EJ`dKZ*Q(fd<0u\ng /lBѾP?.q?~ymtV9b 4RpMͩf ^zgm 'תAQgu*-'$ۤ!X]vo(+f"Xl[0>cm{[|2gO$R__&{=t[Z5\r{o4XFzΖrRtBHxG:*}?lpxwxzp,i>p_"q_ShJ[ :f)˹^`[9hQmGᮮ ǁeDpZXNV*W[>E+;b2QOB E@Q~26B(鴣~ߌs R=  8'wRGlP7QҤޅo[-\J_ cg[ݮNIY1j93+E*<"]c*87>`]_SXPʧD4RԧXPl!Eƾv7nh ,D@Z鵍җ=uj[k5l>fzq1uE_ʯBՎD~X ~@"݆LoK,a6(H|b˻+"`vW; ew' bR&$nȉȽ]`ѤxẰƙ91E9_|;iDegcQb8t)3Σ2䙩ͣS;{OfDrlI{tUfLA_h׃z攳We_TJ#NoAe.> t? HE"{)p<B*zL|-,`#2s 1 ZQ"t-/1~ 1qj>>2R+ qX3æC(#| MSQ{SGlȇSLH}ns}^7HOFM_LA/wrD_#-K_FiL$ N[ q,#g/I< ] Q0 F5Y{e RU$GHXs !֤ްµO AM]QyR$25=[{q\nqtM-mOh3"t~2UpRt{Ğ/JFm^4tq&WEZN0r{0@MJ~ȩ7lL ,wW=9*E(Z{Dq6kEbWH_h_`<,^Y\6ϧQSD MrR_dpdjka4YXɾlkI;nh@Nbg=#,P@u(xrZÔ KlŦ{SY_S; ;:o@WI9; 0/ȗQg:gOc{EG PEv ϥ/C(]WI$vq>3MSOWmKXxZkTVHZ![9Tt9Oa.N4cSCh<54Vxl5#vߙE㒫]%2Ed}^J64$$낏[s<a}iX 6Y/~VSS%W hbr%&P,5^7`tق*ԑӖ`?2dcOy qnWp0p8hRߡ [-5S򰭴$|,'>sN`"[Vu@(+EGy Q@S7Т'+PV9,5'/`M#VMI><[fa;~cԸXy[΁5#xV䮣m bFe BD Jj`p f~7Y7!8=[m$;>sφE!UΟe}fmΤ8gTҩ*gr%AMMIў=/da0-2r[)o~@a)@C88koQ3 0ԥPXa@xI \&LH ږh I|DPL~SȤc twS-C_{v?9.v1{7=;#Rp0/`R1?s<;\+_8 ֎9]o8(n(e E}`dN@§0Ar|3M;AW8-hϏla գ}m~ψ# {LH;5_sQkf %|ιkmS0w\07@KJv"T%ɸ7GQ}(u˪~,q~g4^ ;n6eo /R!cF\NnZFO (6ndQeމ9ƹݎ{r".ejj]F"ZӋՅ?x7"T{ mm}Ybn)iە^ME_ܙY kn-ȈbMya9(8.P̈Ue %Z.hCCB#߻N/8Ìݛ23p^պu ~k&UZ9F_OAղ:+5&#@%7$P I&hβ3իviֹ, _W1zRϻ%WQ+J8}JXB-Ĝl~{nknT?X ϟlceF\mQT sbeK, dzqc@.#"DV#;4|Ŵaj( TT@3q|k3R'szwAE1SAbr<OcP~ͧNj)n6 6}n|N"P)3-<{mwGz%1װsNt5"ڹĈ:~,"U Z` 0⦂u ų91b:VЮx*у ɘ÷\ތjh:=4 J_np>cZ.1f|)D8bc8Q^tRIje Y [9IHZJ` Hb#p(2 j"p0 8qf8#<F%,j$6FB,X" csk~zei::bOG4YQ$mG!M(@Oq)qo