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 $|T ]]Category3:threads=4elapsed=333.518cpu=1055.844gc=84.400factor=3.177zXZִF! k ]ŗXf[&wΞҌyP9Z\duKvUWK$P婦̮+gEN67TT>ߜWŃgm%IcZ٤ t7 ٵ{`r܇[%&NUcܩ_{ #ۯ.z}0s6ʅDrOWKb.I&k L-$1(~ e^vCVsp 8^Dv,-̎!EA(Vnhu7 Sv/d.Wt'Tq#-48cxnCߋ@^zV܉6QEU<YoS49UPHrB V@iv&n3 7'ْdbziOHqLo{mY" a ]=2nud'gzA'h;dOkP-:1THŵL na~GB"`Ӛa[u}!8Ld~, UzH5ZܼʰDvy:Qxo? {a 4{d̓])T +*3 PYnP~Ӆ$J-&fR>㞀-;gd?_g_Y_5M+'maqqގF/M5 ˎ6&:eۍ7%uE%s}c2aɓ}YvhcE#46Z$K! +ݹL̼7R9@]f/eeB!TKp0RL=& tOi Ё^V՜cZgRDQa*EhU <.z]ZP,DO8bu Ƴ~*XToZsw6h-po.fpgn.^ƒ\$J7>p,H1,]8,BW,In ,i԰!ltp]l4WKOm+BbaZph;8|~1bl,2m@Z0"IY&͹k-9_/Ĭj%d Vn6RT{MU^y`OwQi>OQ僶,AͶK?F4A>('f8+=OkVf5p3C25A4"fgKv[Ds4-+kt gfw*_02apdkd~C&kCtz>:'#jTNF! _oMM4 c@Ot hYiL|ct#!kjvuwbtNj'4y4RnJRhámJZ`J"X W>UO7`!~q 0PU0a HA j7l(4Kav,@drH"* yq?v]\{'{t> _ʠvɸ_ ̉MGV;PK/F^uw#kWT"&/e$QD1So[>UH   Category3  B*1>f\qKF>2ܶ/6@2bA]x6n)UBU ?J(boL{ue58dRY\L{iB2ˆʕзɀ>ִXcM#H|SYK3QshtgCW<` gzgćV^?䦒y3dh7m*jlr0/溙K _Y!od_z否2'&2Bl~~`wm.9m[s!)w3sr7 Pd녋8q;"0j \wW_]%;x` 3vuai1F é3Kk ;u A$ِɃبlƔ Dz`q0KX! Y CzS.TғCC]ӋpHC26Yd:iKAp [:"R {vi4`AXPeL87o/"g 2ZhR߱vZ,+_r_rvZ z:&1G88qY`LezYI4aZ.n[5kIЍPp! Ks;[ý} < E]ZKb3Xc/Z!%'MMH X͠ř1V`2f6(m)8 d;EsWyM,.V/y -Huv]Srϥ: rlRߎ؀R/l/^^&N˹0OvOS|X?Q1 d=CxEѻ}~ {$:B0P O)3+8gAtp~v=ۺLX+|,VSJIp!'pU`w2ko9Zрԥ^<3'j ĭ."A$N ^%&hyhF8T:5;KlOs&{!q_ИKڢ.t8]38-.1Ovj)Vxa*0_1\vr";%48 1b|*C ˼:xZU7~w<&6.M ɱN[AGB!n8v2>.=(r]l;Qe50R0DF再b~_d_^pNbP$(. .okvI|XgQBXl=8 d!>dZpjЭMRŞtQ엨ܠoU&86 )k/qcO,t(֌ % =Y$vby)O$D\Q1t>Uͼ{b??dHp_t\2GBpRdg)s;#Alo1PµAtkL 8E(Ε'{Xu"rD$sAn@m,+N_+Wk6Ӷub45_.'4 ~ԲڎRUhk<>e>(0& >r?Mݝ/>̍ /WH:5+E ]f7~tVO.".#N[鏿vT~zeDP3d(\'8uZ8X5Bճ?O* {0ݡ@+vf[0hŋza < cJ* 5[%mh$bJb;0U *g'NC2cí`]eԑ<<7ӟ[U%t#ڼcsfa[I"|ڎe8Fd 0ekLoGӚ].RC[шeǟ /@jBvQfwk)2;ih +C۶]ֱӓ[ sHb#ϿZ'WhMx "IU&yH1w |yoDl$3·]DG2a  HPV'p8T[09}f#[{wO+?a"r3Ipؾ^pZFMjV4STEw0kuiiabvYh+ m [|9-yq?*{_BGS{?rw5` 䞕+Wd/釴+=$N`APA)Px<fmw1&RZ>{>d gձ]c^ƶf8'8Q m:$k='q]G J L[#d/kf%~r 4E?xM,>a 8VK EL?:GmF)Le|ī۞3޼l P4旅FG9?r$J;8mOXYoJ"f =e6:KW):Hg964U`5fϳ#`宆QGg6T+9vzcb2{iLbtap/L»ݺ.I:5mUOPX0wx3I'"n|1R_iȉ]fka '6 y\Yڍq'WPc@O\Ȣ i̩L)<㾮,rW&A\8 ѥ'`P㨅cav\,}S$>Sdp cRj>?I/IJ?Sy$,_T<)MU%܏2,3NUcFAR<|Fr%X| x>"Е4/9rM˻¨ͩ4s@ 2qTƍA9v@Fq}_38He9*FizM1,w([.@dX9^pnNW)T:o: y+tJ[eDl$(&Qd!NYZ^B(>Tzw8|l|YuWd`!le`T`AX &jحG'B8:J]TDm'Siw[p؛z%%t#c43QL'Ʉ Dak˅4 \+cTSouc$ j]qSK",{||uDl>-6h91cH IG :r.R$\m /@dž}:(AW|`oG4xmMG;gq _0 s%BlAc_n w-j):u?@x"A\ , 3rZ^!bfLw$?Ah[6S.e`(FlbiR{ch`2zEeF;]4u'|}+ ,2tX!Lv դ+$-:0U(3z |DK-zq[φ,)mܚ:+wr:MhcK l"[2q]AxJ7#d ZĶBDf<*G ?C7'6e@9{2&,yqH?HKyfl}W %]n$2:#=f.9Cq2[` [meNksfu՚O+cEu"xޝf.fh@傽JyvpPF n_,ȼ_Qu :gK,>v✱ wX(,BK|ONLO+~ڥ7Ȼ4 G }IKⵟ1ö$SGvqw}ޡxlNj;Ȇl1p{DEMpvv5 h@N֤O 0o'/^R7ܗ9J b/x9} ^ʮ˜tT!vwHz}>[.zx zYDf:5_L銀KޛRz<:Fݮ=Ժ+ [[F%<RquE::%u?RZbI6i '> y::) ޿;I^QGb7Bc#I3١p{ij=f'D*d)P^NA gYZ7zXZִF! ]ŗXiɟy>Zry_Cm\Y!3 I8&:I5||CY$,xGȵ'py]ḭS[ y Q :ۀQ 5g!P] ތ"$~h ſEp`aZhwrj};ۘC.U||2N-bꍐ/eC n6x%h,`@, Pv).>kpIC`sN;BnN1~ :Y4"W|ѻAZIj#"NdX=_==w\ dKm (?n_9/ijBzw:|G[ӧkQM5i[!d oш&B(<]Eo3;UJ;J5SފhB_]=)Si;?P_wY'dx͆\㯪T0  ))3kS~ϣ fgP{ LSl]~JJ#5\cZ'n)>.F/t'qr#\\~X4EwM@Dș j^崷eKl-fRAؐGajoV\ 8]wPÔ˜d oUX8V  ԇMQx(&K FEۃf>0 9|Ä)܅GqtS4UWzXa0< N d"lYaX7P=֐ռ{ -,s b6Xpq2AK#r솃ci"*](,oX3N*;޿NkLjrSb 6Bme9W rh_7;gqLb8շaWl+S7:Vvlq9?\Ch]{މHT^7MAR0})i!@5Y㇛S,p5|7ENyJxJ'gQ\3FL&S›͇mQ2B+,1۠{Dnjsu鞘36uH21pY/A{(,A(s!=wWEǠ,$uWX[wjc*!+T@E1[Y0"FD XIg vL!ctʛh~)OmwEGǃXid~2JE ']N#O'ѥ;-b2˿w|Lx& FI9u[;#kh?­RgBא @u #횘yze&Sn*c0\}&y\ .e9؎gN^J<,~Ē3 5-XQW0\K  ͐DhxcXaBֹM~uF>35vT1M"l-sepU`JA(k<|-ǰKMPj+(S`qp %4_o#]g0)7)UA>Ċ_*+ˋ0OafT$e0i fF.&C !w Qq0ouO/bGsp/%v$)#4V筡e֎aqn*AYt$,> ĄC'O7o4zs8'VmIm6d6I'uV-hxsTLh":5۝^oFa#3c[bfI +M <(N pTriKnU4e6ޜ%#$  ,i޼BS#&κw.|m/qmU",=D#C,-[5gl~H]t^u޳j1TIA( &2o p0jÔώضԅN?#:zC}"/p|bR8|2'x ̤̓8]uzU^Sؽ<84Rl9̽`^i2T|溞NSg YTSZe5D#q~q ~u@yB6E, q#dl |uhXr_\gApֹHucEzNnr[N4MV-7U nu|[k%h >)hxl5&.Jc>)=qpi0fEr3QR /bSߙ < O=I9$r=ك?feFhvM:*zO<33vg#qO 7r5? %(ewǴ~8OB+b2Wtw͡jm:-JS h.z/Fb-N[Ycj.-V l) 惜!Mb,&_9rj(7g??76{78%%ϝbUK86_v9ؔ>·LjaNDE*WRß E7aFc5c#$7AfUz(קlV窲B,][Q0JTE}*hRY yd)4/G^Eaqv"iG:^#{)Ǚܞ1c%{Rs7P}qɫWQ !vj"0PȻ0:p߄kA"&j_iOl'n_0)E b\gxD]@cI |Nڞ)>|ߢy-ج׃lӒqp ?&,ܼz双Qz*oSٿG]l1 |Ğf^ ȡSK&&U`guSM8{J63婳B$xBX6@W[홆1 (x DEڥ#T޾/9*iidUemBVZjH S F}]ӞG߶YS-yf< =A:(r:`u,0+ǚaP^!@׸(S2uFRH(Cv!ʒ78F Tǜ܌J_K3ܽܔ7F$&0j|_HލW'dB->oubwĒ>xS 6#7SZ[哌Pkyl\!E"34?& ?8GH^`W-nhn&qa}mP1Peu}$$HJZ?K$wat\Q k4vc7.=3$',ԉ-0BKBPyfy ܪeP{!ГRٸ[ "ـcDo%%r֠Vj !$LwS'JR@O?*Bj^wm]W3V@4YнZ!Xj}8JO'dxx3; ~z7XHԁ^~{ijH?H J^ 7{IZg MCkWȓEgp#2eݵh*}Tf9$٫TfՖS*P|E}^s=kjqh6b x΂FV_Yc8g+g҄8 )(38t<̊M J Vꩧ<%( ReM/c&6U3A1fa ]@t{*g7&5 XZіE2I]Zh&0v(e2~"1rjj7wEaܰ`^ZZ8)Cnv% Qڼ$&ĿJ܊ D2MLuHH2)}o3՝OWO eUE`TU.%XB/6!L+~iktDԚ>*7ӻʻ{):b2LC.5C߮2c jU A% fw>ĄLyM?/b`- bp@a񙛫6ߒ$MNi97a7T(ݝX0QL8JغE~kˏI7iۭ7 ȴIGY_9N O{7y,g%`iW OZ4rBԟ8cq(Z@0%;{1LTr{nq%zP.#D-~v3c;آ"(Q V 8 l͔n8//ji HvMLRk{uIe#`1I愇{o& Qك*ޭD!=槛ۮ*SˁFExJK;5}st }T Tړq3yhZڹm-4%_2_-}wYw 1]硎X}~K#HDǡӂ)Tj`)wglNvxk>(w@ijXzx,o<o~f=WBw͸nJm|:A%g{>:~>EeBo:Yp8A'?;> zlN\rP8t2۠9<t Wo19 ?1Rm #wMk,{k`v?N& HfV@ä-X?ڣ/Ľ_wTWiL. PU%'9m OZd8ubq<u*<X/- &adE;}aWsS}%eهdet#aAJe60%ADO6쮲'ɔƙlk.alZm^wmąT;lE_<@!GN;dS3Q! T>0l8Io,bcJ% V/z :Hu2HE Öɪ6oYN #:M#(]5^m"?5ڐOӡJj TBy^O9kVFA }8u|8{֯&9wvcm?[H\iEiv0S6 #Q#?'l닡!Vekaq(QxoHl[ QEb.>3Vz&(tMtfQY8GtQ󒒐D b'\`F۹=->FŜNͱ5+G1K,wr0lJ=CzIs(; z`lthoƉzȊzswgH7+4pm+uQݱ\uvxOea}ى4F@\WNU7Y)0$6Å:-@/-Ԡ{Mh|%+3ʖe*ս~,>"蜆Գ>4H |@)/*]O Tf> H$*rg(AS\P?ia@O{A_Av $NmEy4 n8K,mYk"|-*ApS!E5N/JS1eF~gptLf'_X^Y1{I]T+Cmsq>[qںby-;rTBf8<>XHSlG}a*LvW[q`eRhy/@Fӌn)`\}._OJs8hToyI TM@y" 1IzN7}lV(P$û \X;t3`=%L̅)XKmUmdbCQh: k%9®g/,E墭EhRWp(ahGj+\*3%11ʑL[]5oCgrZTT]~BkgܐBw5E:v( 95qVC}^uݨ>|F){,ƹ,XB vSТ {+RTh€ӏ!QfʋJdaoëISD$ܛU-HG28r 87,Otg~לbQ̭1yAF%D{~68NApkg]!9,eLV 9A\CSᇜ $Kz=3xh+6(o`Pr9rGWl\?((W#A( L4FWNj[(ݥ>f3V[لq}RcK*rZ[C33'- qv^. V.WG1r@^#%)˄6<7v|**_UKﭕ(}[¾W_AOGHV ,:X:ݩˏ9|TK1[Zw6Z.juzAplcX\C-@8K[f * 7~ 4}raI2f F 'Aq]X/0NX:=]qpoR  (p} >$ND{ M;e/FUE WI8) a|+,(*w"<_R-GZObr9:2ܛP!=hoW6Z=ՠ!)dic̈́5@S+L;UD9ň En97F!=υd73$7NKn1jhK a\d= x||V L>U&Wz$L!ͼC7ɉ̠ *#cpdr9r.w(GX!'Ai>Һ:M7qbO1MܟEpEvLNYNԶ`ި4}O/~|$\V k7[\ moi:͠Suv`mWknөm*p^}} _$qYkt  ]T'ʉmf^}Y3E'8(B@5Hw ';(/Ŗ&*Yo:E.,N/CóC: CnKh K fs9y(GPB*KQ>*[ x`4N i0c&{*`)l Lkx3p2)H- ,.}<Ew/aoa&>Bm=Ӝg_);> $6KbMlF"7vs=I$_?`DOÛ5!8O[L"_->rL@p*y&~fBnV)➏x+iH>k(VUuE{ɮ˚ JYgS:`1M^O%e@օS"N EBuֽ\BNu.,4k3A&Nrk27O;qGT[.a?`K V3 OIA@b eۤ=Bc""@Wx&|IYt톢VJc[S/aHY91?n8=@e{?CaRvh}~B .r)j=b5p/:#ņ3 r,|Hen&z]i~aI>'ZnS]|+=ǫJ .28(\҂Βp ^ ! Rm"B>w$ug-|k(:FƦn6ߟ?>W3="SQ =fchv7YDE̼_D1JEe\˽KT g; ] sC FJ3t8z("Kk疅[|bNs;o9"#4q7 }F;^X|M' Ѝ YMʧ$)v*"MgݎE!Iې&dG-k1fD3:XO)o,eMqޱ Z@dj~?iq#aMźUAJuӔt+HRFAVz){BR*̝8֓Mm|϶֦]4?)q+HҾ5<31LZ)  #y2'gp}Oy~#1Rb/k)coqY}br wj^!ҽ􉶯DM8@Itr#!]Pda^]4c_u[_'@~MV#я&Qj14 >ƛ\s6`_iB᥾l?9<6{LgMhJT-GJ7luO9#xuwaߊ0s3=?Zx.KŽow9_`G_p:jyGhDEϹvɚjM֠f3q9m#9 ޶dnA&v_T]-EirkQZ`rYnv! ao(Ŕ]=3q+=0ݝzz^#u$Hzkh Tly}O5j<OSM4?lkX0\CGᄅ6/xI'7~U 1jNzD+}1Ip!2H0 6b~U#NgL@Pi' 1kx3%`@ t&lmM]UeM/7Flp 5zo!0^=/>Yf(yd % Ui֧TpX{v(Q!ڸDn@OQ *=1BJcVfB* nO|1+OH.-,?<%r=Ý4|cf,IϢDe`ir8CV88xz 0-{+9TӁ!wҩCQcg TW7>u#mqjyDjV2֓,#atK< ^h%_v5$c6zèr:c¿\c# w.g .`2/ dǎ/C\Z!v*jEt?rRSG%-63/ *1Ja~Lf *SmVyH*Ib 1J;bh,|8XUhx!-WfA*JKvHOVRb2#kq$vP>EOUmT6J$f/)k~FvYh4_V#^ǐt0ۤ QoME^C$4Ԙ _7RsmRݴSE<`7;c%oi;T yO5EߣY'O~Re^ N1RjiI)1}p3:r1 yE?n7oЕ!_C$Rn|QgK4%dMYWB#\"cdrM2ŵpzq<Kgo* ;{/UHW̶խS7^Q ?2V] 0I N^"AfAfr:2BBhlq% F~np)(.iȨQ;"SIυT;;̂Zv1Oz+x(-1$aLDEKZt\,!aтq.wU?Γ@; HnLRGi AX4,i!E m6σ !QrOJjiֽU&V9M+(H#!b4v1>"$YhGjM)UK;sp1IQfN&x]t`jUBrp}&`! ۯsr PtdPǐ@ JΪN}CWkmѧH)~XE,4'\?/{宸_ AӄNЛT%ER.>y&Y(Dzi#NBZDۖZntN/ecs鸒La@)[DK>k{a!M-^1Wsĵ@_'BɊU틴(4Q/%b:ݒeUp̧- %X3ȝݾN7k|Bso_yv/օCܙE8 p) 02N@dk]*[ '>auթ]%d %^D@ z=%ktq:#H!萢bgTrJh,pA uBt6M{1hO}`{$k\ɲu5Ƴ+cU7\&1F*M|gr`Y>1"==0Q!ԻuA:ғ_ؠ3mʧAQ'#|[ BQz΋l?I>,rU,Vن`a, >)@lX NrY{ߒ8"sC6_]DI$=zvitOqϚ,߹i-u=X _[q&`vh=2T%Na{lǩq73#n-Y4 cyWZtAnzއ,y`j[F_$F*=/Ď.zj]M750lbr:Z*8:) Y^j^lF(C5 zF.LpCVFPFsj|MkaPA|Xl6"BV鯱K^]X,RUVמh$6t{kz I(naY7 YXk8x!v*f)w@VQnkSq]iη2&m] zGvROEZHܴAIC|? @pX.LlLaيh<^ M1`IxXR!v CN)%?oZ| n4@9eة-=osQ!= Ni;kVFP5AS}:)f(%L=IX[|V-{>S.7v\? EoB;f,WI*' qbT`ϩq'C lK20C=-7iyKd#~qT7Lt\8F21.}É*ۛA)#TD$'&Z; 6XVsN#Q*]pv.F[:iLR x7)M_p=(!T6&Y ALOb9,Dd:Y#LmA]0:$ (P!6 l^H/TB{%P,Ypj@+z1_f"4A6C3։htvMFJ)$uscUSj%{Jy0O x]*{xdPwIK<LELjpoFHIL) a~x=iUjYFjLB!SNKT(t 7(ǸWlC:VEɦc;fHLFh}.'n6LQb >(@l- ƺʭ?u9im٬mU֒Z6seNxCN@2d P]KUX/ :Q |>Q@Mi=y-T;`J΂|-kҙu!e5j¥$+3Y#1yLhw<2*x}x;s]c {GrW81`oGRSENڑ?:w`XDD} b#ˆS:_S7ܫJpev͈>Ԟ-*));JS4@n%@9y ·ӓGapMYY=QI\+ɸy袦=S*چ$4ڸfaږr1p"_\2$|kZDxMf@> g.9-KoC`lk\6{3E*o /X([EYgx$w+&X5,d` N"&aTY&a0@@#~i :$g%`<#LL-LC]dB-ڇQH:W[RCA촁^1rW+|҉7y9gW ,~%ΞUnHq<;xnf&Ʃa#;..v}4,Z~֛P,5_cJ!8HH?~qH;N|W* B߀Q2{ %FCw\W<IVmpNF!viK>@C&&{˧I%'F 9X8I7!_ѧ,"e|H(,U zPb2 i` U甸SlHg ت S%r.@&ؠ&BewO,9P F4EN>5af 9},srr8v9BvN‰Lxp!IK}W3U/kw$(&9!.ބ6ƈ_d^fާG0jU.q0P[vN5Xt!9=i" 0_2gM4d@κaw=:ŏx^rT$R`q搖~[;(udvaVo M#C\<T}:0rzV@XA1H>ܗl}!I%EkPuHϯO 9R1Wz}_qJh_ œp4N52c@dLeq H)Rn1חt#\a3Պ ʍdzC*À8wqL|p'ZzC9 (- ,VUx'u!2ĀJJY>w= U+8Km Y"YL nvpLhDVѣ*;>?;BV]˻}Hd˯đ`^}@\z}W|Ҟv 4}M t䑇x)Ts;ʂaʖx PH#!%٭˦x$g|;Q_g 6=Ǜ_dn5CjZ5f=Bs69LJj$]ZnY":3ա /c@+(ԽHk"Twӡ#2j^?5|r"Y'd6R 6I{2fl jp^h;~죂QN"įp71 vab2,kOeoY wq1j7POi*wCZ۲b 2M>vQffSq$pq^خv)XUv[O+ݦbPO'Ti|l7πUY>?`.v@sU*Gg#4gGZ¡^MolZأV3I~[Peu6|ݴ9!&`+\'h@z畱B8OX$OpB,3|u JA ^hZh|f+v,U?׫ n*ܚD} Rl>\]qF0utqj 9"[M&4G1x2b^%b`$4#P!rZh tIh9QPʶ3rBu0 .J[8٦E.RuVecő0O\iV_LZ3 n +BoPxCGPM_{lN @|'YPxn$$B:YauVbxztw{.u.s}x[ K wY*=fIw[b}m-I~IΓ #ُR\]>bQչLlU>A%KHX%/_N %^7߇d QVxwE;ʻ!5O]FRp+gJN`D%]noX]IRm|6bȰcA ÜF[{Wbis?KAgZcu.un.!nYdqߨ.\+o ~ vew-ʆ#OvL_~Pw3L{{ YvB?F9hmDכC.`as[o)}]HApQ44:|: '-f_c $w̵(* %Ll{zl梒,2BGܫ K ;WbΥ3ȝhCqet0"ͦ XzoeAk6»&q*4\}KuK:1c|5050eO$yyH}GύdD3EDӺv[NUsgzs~HJ>VKct!g^~ըtʟ[|n #w}-P2Vws||C q׻K^mh/ (RНIvXr~6ݠV?W7)*(YH# D HLW,†i? iu&ؼ y16"ŢγAm8L#\l> 4{ѿ 't$ӐS`#{^vNX:_bA4擞51(8^&`k 6X!F !mأ$3&-_>+Ȥc+m13o~Ǔ~-aG)2O>1DDsSU\FayӻvI$sc:@+LNh[`uu(-iR zF~v#imZ4Rc=u)N`l>.BLmٱ*z!wcUҡL+ wgYܟg#'rr?aep \d6?q_ N pTx!}1|dq"BTLL"1HOq51JSI[H pu Y kmm1&K4/Yxx,(qs"R4ZP5G3fl^pE.֍ޮ+qK+`zx+(O p.`OK(l m_)GG@3ڕ6`^2s&D[?;.!C6~ tG<^'`~>8@:]Fa*&pdƁ̼'`|\K?ͼ,7%xsVCZc"׋ȱ}1F%/?I Lst\ېeRS"1L s+\ *F(Vx"rTɐ,: m-ޡ!9P{-Ld2 jyJ;lf$xG}R!ʐSw| B7>R;k$<{- ,cJjRJ~LIcNl"K-yyS_yʹ|2p%C8AAK̄pA:{JQhc néRj+itcIğ3ԗ" ?Cv HB_.jWvsq,!cQ8q1Ԏ1Ynqr,M`3{xnDâVwMQL5gKγe@vaў= \ 6SBC!%!נwΠV)kkZp͎ƹ:~,rV{f5U6|샪!G@<-kkGfGZl{Nc%4s b.Ķ@hiS G!/[^h}|S|[?V˼A?1};[EJ_!Y2{ggxg.:&AӾwX*c+JF]UآmNe9Z73gX%T ~yx+v-w_zw+&1 -ma$˚|föÂr ],ΜP[Ѧ>w%Zo[١j)oHV#*WQُl l Til נN wЋϞz=EL&c$s4Ge^`<`+ =7^i7tIJ>!9n \99Li~R IǶD3Y}mhY6A2 MZJu\Q,J#:ٞfUx/!fѻ f˒轈 #baN߯%\lu߂V;I_'Sqxp8L:QdB~)ҫwd Ol4JQ:; >54#*$̔b|;-2<=]| #7=hw3uCr5ЀK$`|8d2Wk214Qxڟe=p'IС~<ަF<:DtP "-m{;yG_*ļvtIBWU<2vݡ$̷Ona?>uRB<V >%XcÈ[3z @Q1HIG&1=釩T$@Ҷm.>?86c33Zg#R9NO] J+WNel36 >eMA|4:vE488@;' xYQ88n͵ n>^#'Or"gw\X(65i.Q͆fo}^˳~ջ?ϗ }h"Ȃ5vĹ ?OG3 攦KK`8&(D8ϣ)XXY}!a9t;5ʧտZ? gT6Cg"+!n6*2XޝB$P%y,tYggO#M5h%4`ʡ):E C-x?l+NsPD]~Qt pډvj"P4Dz ׯ8'L9?_cr[#6閳ЫSqiW)37.g*u$-!^.L5)}#$>=OA}Q$Wd!ƘGsG\tv*[AZjrzI+~,>HHeA犻o34}~ ?DO=R<#Ul6FP3|+[;DȗKL+{Y|d팝`$OUWb6vfZZTkdM&$$5l6]ZRMyv\j4 i-tl y%]H0@ڸ✧IvK:2(ԅu]WCy6) ]S `%ɘD^uum~u(E4ܨƌVμHhMs!h喺W3hw 7v' KBykC{[-ή\pvN&6Ex{t9Faæ%= T5;x1"Ȁ&U>$6 ҭD3Oǁ"479'SC HCYxE%rEN#5ώ!)5qydTgL=U5v|zTVx~ ޠh^LF%CTx_C(/@k{mfeڿo-=ӱF ZlXkNf` a&s Ꞹ (E`r0(p"'\j OĎCä; vJrW ]yfMNz ?ͨdglmgj?FU:L^Aeہr@?f+Gf@Ry{zs M1C|BdYzyhH*dBX !-R]`#KH{Gc!qSD>sEث(e9SoP|7*IY]r[:8PlO@zm[s4^;h"B[*>,I0;t}hӉZǕ~7XGwqzkBC#yv|ĀWHO{+k#tA.[rMiaX wkcNN0o)YW9K@2@L=7͢顄vk,f@8]\]i8|r F35Ul u E1&>e?J mW젤 1 i8-:DP#Wjbl?6R=XqYӌ"Hj'["%o}* U}-![ɻhFsW͚uiOo?}R[̦} 8q`c*rZ VyOsj|kTf@֬"9fM.}>is>4]%r Ⱥ; au_lI0ăؿgӦ ޯ#Oh25g>elGisnۻm!o٧{\:A_f.ŠєY+ÀAP @B41fhbݩy@}g=ghϴPu¦$nEm SQ DK04F^܁et7n5/ /ͯ*&Fc=aX\F8V9*ɳǖBFN#>IKؚB2a M]W8hN?M{&@S?Bx*UeP(RJ-/JZ Yp(hU;#&3GsR$mKmruhcz_ٱz>F3:fɰG[UU Nt1Iz~{N$[dSv^}76k ԬnxAОjhύP'8?(:DqcS]o)-&nB| Ld_ &!eoWJ rZ,1mp inOnܘn >}oGX8O6^3Ba@Ԋ6VѨdONE~m9[7, сu|Q |#G)-ۡBw|0<ɼψN;Ǿ~X+61QL ŏRVvQjQp;GoVm7邖ҷ% SG`=T[갿t}_ôÝITه{"s{a iLI>hоxຖ(v}aaQ&Cp@\/ AHOK#}yJ֚C> K1ϓ, :zsk65> Q^aNHN++puv( hwbcqw/Y$h& $6{0a.O6_tD9S}k4A w&:iдfO~NFJ( 6V|[O) Op<z,]PB9Qa& -67ޫ?d3dawJXt-dc>PHb@ȱMʣ?|/N~"ҵ(~x:\;МT\?hl#Xbv1^MŽ_[E63/ǵ&=i'.{'Gy*f=HEM{u-}d$#TZ7f%_Č><_U|_prGۧC?#N8hsV7;vϚWH!6;=(;ϹR5uܫ $-4s~e6P@XX,,EC3`b @rtB|o낙5Ե/ѿf1OU3?f5Hq` !ӭX纨Pu CgYZf33497f0818e08c9bc58ed8581a9af37713aab55d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b5ce064b29fdc3446727dc2c8fe4d2fcdfc04b315