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 )4D ]S]Incompleteness:threads=2elapsed=659.243cpu=1035.604gc=23.580factor=1.577zXZִF! t]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) ΛvZ6 FG)ֵ Dƃ3pl3#voU_'m,7 AT}f@fVAK-O',VPQM MrQQ[%?z_rvp%[qt/fGfNF=NkҊowQJE#hݯErG4?tV:ʞ=α/.Jb |ȱvňφY k] GD$QvO[Y)YjeԨu*EC)xI);ǜӳBx;'K6*U^GgE=7Y7ai^u/۝&_=Z-m<^GE.Y)~.q])fCTvKY7z,wCD&x`1*PeeQҠW om^V50e$]ȪK<'%aɬjgKHX80#Z")` (KT@Lb$x l;:[X L出y/=z>q֐d\6{%lv\KM5#H?~?W8`Ok7,å y@8b Kͩr1L/+難RW؆j.XAb#TK8'60[ཝ#O,N 0qg2JgTriAr"xGEϜ ą )} p/W-U 6wjԙ=M.y#1p4bc Gb[n5f/07 ݃a&;!f@mf;![a}vZkbģJ7H#`"NEםCJen{QFҕ^vG\#Tt"^s\S[.Pzh1vv]QKrځ/;21$bꈋێDϽo\6^^&txMLAN#p%M(@H0}Φ3—I ݍT> Lqp?!/qgkJ <̤f6"aZȉ/S-^Fc_3JrwN Y*|(_c5v^,=~zE*7vMt MPF> v q:MɫrF!o:U' WWNEoz rT#-`2kf.rabBȴSk˕n`5+ϳC78."GcTUo ) ʶ-`kek,! j0/.EvvKu|}娓eV8'߷(z\=x4lc(n,qG#HﶞDzrYnTG֛W@81ĕth69Aq"ʮ^  o>$&%n6js!`@ԋ,[Vݎ{C*}%~F4%3KR91B6\ ٦S~_ݯ bXg@dgYI')unVf,<ߘK'}i" aȔVG$Ri.yhW#D:h z!|L<u`N_:y'h;K:1XbD'씿VU9`^xmF[ 6 CqT[;WI'r“q E-5it L@ϕp<,} |zl _ĐɦOEZ'Rbe^BU¥B[4* N/〔ttR=BAes Gl>%NBqķޥ N8΃D $br9QخρTĞMA]V;A7< "ş͏U2j{]ܡXƕ ) Incompleteness  ͩ9nǟW.5NMW#Q?d.cwgv*fr(}%Nw/o܊ zt[&d>l:NܭI'ʐïMtM<ϵuɏ9"-w&!UE!}(8]ϐ27Xr[9sɠB}m1uCԹ YͤGHyǪ7E* r-|c?XK4Bc?ci߃7p"| &_'If }ղf?/Y!0mſO ~`:S˞IQۛ\{3k":cG s'X#IU#F%/5E-I82wr_]&TUE,4rBH  }EL$,/]-}[1hCCAhi@<9X`}w}^>9QΗKߍ>0-|9ޔS°45;: گUV;<=8ei#(6uP+#`xfB+8R- SԎ^.k8,o2ʐ#RIJ3 S֦͆ =v'H{{S4@x |׃"۝sp!лd@ݒnZn^}`fLb?N^$AfB #H4V3 Gj*gIX씺3rZY^+PK4ϫnwh%ͥDb4E&N! x)t\[N3e]CbmYv+ K,XHeweڡ/fL07=+E8/p[Ԯe'5Hx8:|TKJ6r0gK>U1aoBs!듟1 =.~r'QBJ[(Z@ y(vr>$lPOY*:\&TV'{=ԙANsO&8( ssƘpB(D;&>ѪP#95iK@GTP/#ŝh@ϔTu&ڨ6.ޫCn|7غ381ct*[1(It[}ZpNse_trHCBu{X z0ʾ'`^+:Eia̛f_ovH3@lw8lki{~bߦ$% ').>l,->%fWW}$_ X]2KVË|aسQvs\{X&nj>aq{QìL A6Yx^ϊ 'k}.l\ᶾò,JI~^ _9(̖*_'Қj8L(#YK1-TX^R4 V{{rמ{8@)8EA{Tk?v\hJ cW%` jm5?uQ !:soX?BkJшN%tkzbO8E,HOՒz G8 k: JZhHu3QƮߩ@_Y77qOT 1`fvAX57J-KEOseur9qX_~pɯPC㲒ڳ>aogݱ:f9{qu}hpxc-1~ظ VݨAc:xA} ov M ']xLWVy[}-*E%`cmQt4(x;|^Gm/ՔCK d!(W~asayg ̀O7rhKw mZz̫qt;|akfҸZ iX2T&EȂhròڦ$G~# ݠn5V ~y,^2 ~:(ؖW-+CuW88Aij@>)mQ3%y?DP?T9RF{)=Vk}\ ]m.Hv;q,-R6އ%  [fhs2P( wp*>ZB ­BD w^v!IT(-rIt!IKzɺ5aGzZ#S E+%c؇y8|%#6/ԫ8 Gzyc:+N]N~8n$j=Ιoh\꽇Ң 05"pg`▛>h" G{!A7!!]C۷1\@FoC紇^i1[n{ &*VAUI+C}"Wo v},k.w y3l4G r"?Fí -tǙ˯bIl;qBskFg5%gWe{G"-_dSb6hEɌF WPsc^ymq,\tZ 5Yeʇ[`/FU]!{+5Dh]um^Lv ]0z! 'M:ﯫsfR5d5l5%42Қ1I2=Fs^#\fqF9㵱Ns,At;D$:#Ä^ u=|˽Vo#^ Q+9XIΩc4w5VwY_A6N)Rr:sCz %rE9N I޲dc#JA+8sg\{x$Jr?^kJ&G !=u24˽67~RvV(s)%r5^9\‰2W)oARpHU8RD yVȉvL#odr~ˉqMYŹe79  ˇXC[ϙvV$f&(!I߿NpT8]pI8> $JEK^vc&8N4zQt{{A62tփ9v5MGc=@rnLJ(%+X)]/Θ1&gҬ\}tI/f7a?Zyh`'Jz=s%{҂4Kt-ҁekBcZ{Q4!8-}N6 hGb ~f[׮C8I>׃M yHj39iFG#R(O0)$)m6¾6s & y$#@wT c]G37cj7Sv3d;_ɶ?wn`O[nP\<_ o2?p{ ")/^P!)~yʟTf"uZ;Js\ c᠓~iL7ԔQ0Lߣv[+#T w?\C%H^kI+,mc>"= Y~wΣL"YJYKM&LΔ. {EAm#ftvFlؗ9ux:$k1rUt)ުYru8c"ZNT,Lvue=o}9IJ\W_p?؝x8k9O3κS8 R$ɦizw~i!Dԋ`tHp%[iTg*q`!}z7叇AnyE(jQ؍Jz/?/tW"P1\ Wo5B7e()^5O wR^YҲ(.N~M0>y0y.>B:K;W;gO^Ŷ"EU;;ot[xpXh)FHם z`X*J]Y%TeymU5s2/ѶݐzƟ"`HBKj(̞)v*R&K]ٱv9̝  Ww @Cıekuei#1>g, 4:vq ; !60 k6+gc2WM軐Umc8\{FNBe'Za\y"]Rq!F9g4X웑0 -|$"1žH9|蓀N4 ώ_r퉦^LTV! 7TpR)Q}'IZB@ FUn^iˌ$q_N|Wc|%  |;kֆRC$|YzS m%Ϳo*fG'JY}5hsH_g&v|P%a!#k2",jl_զ @ ̍Nt(gBC 6$,]i=AA}"|T~|5Lz-I g,b/&q'ɥIeTDo DF4ϕMy]Zea6|F-cc#?Gikq2&]9Y?,%RzT[{C#$̞8 [9֥|7$Dh2 oOzCy ; gc6dT'M$ 4 [%+ [͕;̑yNYXmb/WիPeS·-օ&*EĥOmNHXXA_Ý "7CD*R@57{9Zn?ćsÙRO1ڂ= Ko,VXs-/$Q.=C7O1pKlGd헮j1טv^غ< >hOY>p3ɴGpՅ1Wh[`d98Ʌ~>YRvA9 }ٯGI|GxfF6;84-9Oo?#Xu"5t,.#z`xL Jʯt!!UAA޹"3?)ϸfpM5s^ pC)>OW.s:͎㸻+*,fցE e\8r$e&p-0A>#0#(:+i'bM}G#{wۃวo1Ŭ\iSǰڹkit5[̈(o ܨ:yggN 8:YTW^z͔¸V=/\z>+i r[Ȥ83~ ƺ FER_d ߏ iR/H68 SG;)C 6c(TF{[wb)itMr3ˆ߅=8e!갧-0bn*U#* :B $"EvGn@ _iXo4Oh/ ʃU>a*dMW8D +>7\CovMWұ aw\ѰxfzBEtl{F#Nf)[MS ) :ib$!hCqNшf$$^)o6Rd8uLxR*!B'H%5,8YOx* x 0˪Ow UWϫ]|6`oaI<qCO;֪u!bWn͟!McQ&:Mo|gˠߝ9<@3 |7URpJk2v~,ZSNY?d6b,Y'yD7LdxE=R1bƦ։3N&ڢbF$ M3bwM 5Fd|e=KEP\YU7̞Yӊ@9)#%mIXJU z[;x"3ma A«#] lY!p*\zf]yMEVSjnǯ!a&ދC-݈`=kV2KĜ5YvYp5}eT閁m e;C&; Aޱ\=Yl?9 ȲژZ2Q.w%^XHc{g 38/s|)Z<G>Q:K1&6)GRS2׮ly35/ ѻ8>h #L?utoЎֳ#!Qk',x̒j,4iQdǴBV]dZ@shx43ƿ{,>NcλDs0ɩB>ȫmGz8%jdr|ӧ5'K£DuW'q'Sh$9 2mfWkámR[\kh $ҕx P,L u:Ud3vw]tp4;]:8)TFX8 r?)v@#1L1=22( ~3  1ÉkBHp͡Ou2p:I:D[(G_׀ĄJ-kDhaM%~@g4 ͘* DuT݆kci-(R8lvRv5ʴ,c\f y쟞:zrڤkD_dVMJ,㈤ræ gd$`ΘtGtێ$u1qU[qM}̚0(YGLd,)9ÀgjQLV6 /d7'^as6h‰"8v!CZ2 Jf3E/J{)'5<ϷC~KqR+ح,;.3& s  1M;Zj3Y9D*:6$nFjS/"ٟHnn)_;8CJ>7_*!&3go0^ı0WjMbVjqr:6W{[<@\e~f|Nn^"8*N kr ]T_ż՝AZoRޭ9q:w,6$G,pOG<-@ǫuqlǸDOz>h- :!0B4x+b͇U2?sPzb yk\,S d.B]bc(6-v oݟ)۔UnF1~|&̻k&65.(WWM$ XiL2CG驲-V-_?WOUݑm܃9:NTwAHR8SS\UNdQzUw.@Q W{#/I!mc)ϙA 3! *4q_'nĎ:~Bpq?Os3=Fyčmo b];~ϚfC6R"ƄH# Q+tĉ@rGY>a3d7\TwƑ #Jހ_?\W>.vQ+M9.B8HPGǧ!vrfj+=}f3R6Fm+G*$%k_U"Zej]$ޮ'p7'3'ra6@i^r۴ELǵ ECy___cBnXB ,ƒE`IILה2(㩐/c QzO3 Mbc,z72ȡCT9_ЖB̕Yrt6óḇ˦70eю@G(s@4c}܈Q+b2 ϰfc6?p3);$~% fG)`^ʆCؑrs^qIYM>,t0&Tvf6Ⱦ?X4@j=;Ct.,ϞW#h .bob%#<<fZ9ڈNIŊfV+PDŽ_ {Ny|k9Nz2LWQx4VU`]qY [8ldϐБQ?@rU7Qa8"Ea^#RֈKSe֛ K奷`;aDCF"ohHr$`#:C9>& }`3fnѱ*^sE ͈zL~Vgjld[+Jm#褉ieyE7RlA:}j|5mZNy|bZzi0M9> RH^ĝ4:< N[H}7t|8H<}' jGԡ8P#Km+s"`d%#|j@r=ŐK%BCGS=JSoz@k ]`&uHO? )\@qE.a7˲O/s  OWIC/>R >ȭ-胱/Fda IǗN;4 VF )eDgʂb"7вDq'pTaŗx$6 q -բPn7*gGZI<6#A0쪲'jHXO, zr tq&XT"^u٠ˡiυxJ_9 Ikr&`ӏUR]+A8OKy0ҭEY&_ZҸjp*/z;{/H1 o1$Y<7H2@ʾ {ȴO Ч1_?ygNvFWFZa$@H\!FԿ? a|4MzK@VTMUAyhy NeTm#VSX(!Y } /(Efq9-p EtVx3 I$| EL<(!m6욝bTڢԠ:㕤>aB9}nk-lNCVEr'F-26 VSd/]w+~#?GP  ]^%-4L} :Ptː/;FѼ)f}X+6X:,7wR4/bYM|8BEHd8i5O$21y_G'BqϏͳّZv$樉wnZϥnkhdD'iTԦtXsJb|Vǯ=tx0- v wAbx5m 6ϨLN!']t :#06moz{a;G?l'câs1hf0fT<\˥sY5/J9鼖Ix]*d(!i=kKQ0݁d/@d)L uI] Df;KA5a/$J\aRܓ>E?KV>e>j& ˆ8$BG2;$'v, j\\T m;+r#1ڂ b#wbvZw*<^3|hr]Y韻jqoΓl*~٬њ(keAĕV31 JRJ mqW3@¾r5̃ǖDkV⁓4dZU `},4!5|> \& -o ) h}L=FNw=g4kM4+{ "6b,jҖT:%;:Eܓڇf<)E㭞ؓ0D<􉠬˹T`JoxR)BOS;$e?ֿ!s-Rc_ 9*UH\j֮L+pe8Ob[[ru2x?joZj m\u臌Qh(\>ow]`u4A(-P@V ð ł%ğ6&i4e rZSv?x\ŗȑwt(gP(Skž# ik`/H): 9w`-mpt‘ߢ#RNI# *+N  4*])ԜMr|:y&vX~Z±cHvM!xﺢq})'6O8iP8'Yp UGN\ƨBN"A$%آi2ilKY| &~So< 0S6ͷ{C;Xjyl<_BƟF޻K6m!R&ӈtj8š݋-u&SJE#V8v"/$T_Ky#3.*bй Bj^5|TQn S}vQhEu*Ŕ~aǽL>Sa)Hڛ^KbTɶgL<đvc5A׀l?& ƈ/?1OXY:~~b2`s"Q+ㄶQdS`_)@؆,a{w7!u%ꪪglfv`c:zڦj,W TK@2q`PWTj'C Y4)p@oeKc% `,+{S]w)W#*smm? ':;Ѵun I'e~ sNӪy8(_B:JuK=,ķo6pfJͫo}/g\tǶmquiq>ۻLRtrOI'2DP 2͍={{CT"Gd1^{EE½㨅-tD>o G˫lk7v]-UGu%|&;  %LkKb -$G@Aڐem"G*T$K,0~bj4xNqE;|>f+'xz&\I*Ղ@*5 zPQ}e^^D PQmJ˺c!ٺG 껱(&+UeEJlϭ|8v͠cPB)E$(Lr6;Àa;llQ.8]i^͝ [*2}P8gL3ZyY}bդW;.PM{q1hBE2nA,p۵g/7p'wl @^.#{po+733C!P1a-s~\HdCa !Aߌ㴵>:~HI4"a13L%pOQNսXXӸ,ϜG7)RA:gAv9DOH]&ݡ3) ;V#Y=e.aͦs@x'|z1SFɕ.a'B;aPoʚIsNz~\~/('Yyuv(E (nc!Aj37 Fc#a-`rQ9HmSD? ?B/X@.Y=w:?Dz/oOd Zn2)oNqh AGFFWJVv.T,Z04COw[|n^yFpVɘ3)d)ދ{N" UY;hA3g9aܗ:ZrqN FWQv΄WkLt|$س 0Re8G%ˮ{k^ b?G { Qz{$JIPpfkPg5|#ÿ͍(0al2@@ܭ쫍u gWO+-]P}ߠݢ"L "TT sܗKĿ?a32>̷iT+ ȹLb|hjG̟JON|cŹ$#:"E<(.fb:L~5_b꾐bL]?4|O>B":pIyYV& v qԨ߉n\8ɕ;<&{+/$IB>Ӆx᪊F~|~\"tK|9ך[_۽#821uhä:g\NUig.J Ȗ[/~FF RwK8<D'< /oSy^sn*X')$@~9{&Kwe7?G_)(m{R `V 1$KƠTgzG&n<;+*]bs筨dm+- ˆ<\d~.n߹bWApzLб}EX%WT 9JfO5?6Z.\r Ũm YAXwb?1'YOLcZ;-OF,GSN lX9Ҭ X11+"u5%kc -SJ| dqn |!nKӡE_2QVKtYsb^ 9t>_:™IuM:kagDE\ONI rʬmKJڿI ^WxhNZE 7 0LSM B!fZ p=-Kdm Ru,(q$|#r}fNSb8")sϔO!M$ݎx# lUDCOG1^~;E/1yAnHcTU)&mICoÖך>Ur΀JаVZW5,cNZ bU Z)&LJP]njvjJd R!O^S,~'NPZcd|P]GNU&B۽$_S}_A 6~kȣ dr'v!e?M1,!b+}:p;ݯ!x Gf0Z lotX6o2#(|gBD ?qO(JTI؁˦[rqVY\"W^&cRn$T[W(Ԣ:1Lk,D F~a[ -2~C*lTὶ:dh 0F&k/q8 ۄ8UV?{ܝ|P rvʱ#f3Y"gEiJkiP-=%OM:7rMgk@T:O pv׍PepL*D#8㺿?T ܄ +zH]ڛ!L#- 5Ougm` BSQ[톾wM|%anLk|,M`s2K%سeO-*$1 6ZeQׇK69wnK{=%#( hMٛ6T{~В0_4o3[>/ C`küڛ Jz!SC%K*~^R"Os/:g|&MJ<+  ;;0Q 7-շV!pi))h2p5g,(STl5sLY7AFW|,f]߆WߕqRk 8"{+)-ɋ5T閚b]g"mM@3AFiDqd~><\ёNBHb;KK~ _;b* <3m-~YAR՜6zQd)=~Rem#5+9x*i!lbtT5KcZm[_(=OX3ATJ,ω|ҝ^ms͍ToRu8k);~ S|#6L|"_@>`,jBR ¢<4c+6KכIX$Cvk˄(+ڬô؋˖%xr_Fy0}>r !-F?:&rlf#V``t+>  %)Ej|-P(@4=L^xdT~r}Q_uQile6˭l BJzeq6RZe)^f;\FVe7$B:myEOC&GXp"r9cACD< a$lJL@}9L=%_)&K 䃂y!Mw6Bzc  IX 2eH˰^a 8`$a)l@GDž[ {Ł]u¶$jEqe;$DnnV r}Hf/RL ?>#~ k֎` PS[Mq_:QSEߎY!/Ɇ~ W;h5:̹J_Ҹ65v;J~ck~^1$GZZ+zϊ>^n=uWox!"=zv2?xWƑ&}à3ƱuD?9$>p.+ڕjQf`7kP>S]+PasuwΈՓwBU+-ܓ@I ,фE.gu>^th t ݣ1O*'U._=o{猣9Qa8݉\.Gljض&9h:C\h>AN*`B$L{mjƻYmt}~$I)wR*71nI X;]T}1XB$e+Ј#C,5G?Vի}C(v5AViۗU5[+ 8x B_s~(354ZtOTPiLښ3Q6v#9Cf!(R3kh/~^!ηb#ld.d_l1Z8<4F~`۾0[kƼ?Hd{+<>΍I @-pAmMC̎Y5 "'2'ࠠ,@uQ&Ftm[RбQ\ yg7jWP8e{C𵑌^)~]"%yuZ)|.Lރ4 Qgle!eǎ]{>hS _bތYh3}tca>f I(ԇqMֲ ۉ]O8핡yr'Imȧk!B'_n~YQDn6#Xk\drbnp3X嵝Wuحs[ NSm|*'jR›x6~""l(⿾9~ײGgH_d|xi 3` [( =@&@KoMg ]5çO]TāU<C"򠿌/2FPÚr A xٮ#Օ0nJAJGTKygQ^d/D=;tbā$8'ˑ]RMޅn*<:`N!@hQCSQ^i&Re!D1:HXɞ{[ `,o?9Vw`FeUd3"96<'q\>=sڼO[gfzX;7J- { 7x_@[z&O;snzPdQ8=e2t];q'45q hI4"opFVT!Xc;Y )tBOLeDTwa!ΑRpKB߷[l^~;E4}ܺGTԱ UKk>GSo͎%$Ξ R ,j-GiR|€xsG\*|>HQ#j鐒vvaskgC<(Isvbip@R~恃XsĖ %m˱#7dQSTn!*IΩc|N LpP\:T;,Ŝ )wq{Tx?Fcc+s.Pb7dU? *Zr^M}fjs]V3n~6"z\4*FzySPd h~U<\ 8E˚рctjB3*Xӭ2?EZQ5J gN4!l $a`fyyI"t[a89Ga3Ol]H/g{pUAśjS$VN'E(ߏ٬z4!4[b{f0&@\JӹfcBڐǿ6Eledh?Him[Eéa>]Y\r Ij)s8W 8j>xFb3jZq!‘CKjҷdn*d[2!cucĝ?IkSXCpC-zW S:U`9Zl0|1z/&0c @|YWۡYnշnU˸ΔN5$ :ʨQ# .^HB6%J0_BޖRt/[MN5CXA+Hz*uErsJ7.aCȚ#8HjTXݜGBI֥iE -fa7{'TO|Mfɧ)b;AXRlL8K]Zy^u *wȶH%׃&p[ܯ?!ڽD20("R$D!g}`rZpOr"6hB\BQ4e?k/f#;J-)9-b~B54mș.K-*n#gFz2 JpOXJ+m'{m,?Lr{kS;.\ i9!+VOX$ +g5Qߟ=MΔGb}sҍ7K$;3 ކ 2Sf ?& LE3Ho `} >Q֮fYG#M1 x;|Hvh;Xz?#"|0t+,7[lO7|?WƎubz=u6˛0;CA ۖl"#G)Lv P08AdXI+ڍQ)%/?SK=#]CpV\~Se_i' ߙ *K9+g@;rA #a󅩲XFڊX=3ZzAU:7:Pia9CS]Eel<BV+߸a*:KI1+I{ ưλ*dt^(zYXl1Oٕߡe9/Xh5Cp`۞UZLJ$0Iђ-܄s?n!,t7$WYP8Z!L~8{kXsmZ-DԎE$}`(qXeTUM 4'<G!p^_DjʕH<;-t]Ĩ ,CΑTTA%lM&}@": 2=!q\,2}-޳B$F^kd2RR&N;ŠJEG&~ꌤt'ݽ[Һ ۛ 'cnI\[Elaf /ah|#Hs5NY~ndU䵷gG.죯]D5UMYwּ ]ςȒU@W$}yT'RC+MT" 9/'o}%p}y(s;1?QplL$(9$X*Y⛈|쐩 "&WØ@/x\g8)@VQА >cd_#*og nP2[?}q=>Q&ȶbѮ\a1V++[0o^}ibN^JZ_(3$k+ZFh'~o.ջ5$(a6 b:2ƽ .ŏVBH% ƽF%Y7/.u]]K {,ɝ1<Tպ7o[摂֛q˷6t=V{cwR{K+t` G2􎮠ӗ*]cU|;:!d$gzG)0Ƥ)9b ԂyΚ3Q=(J>^excIDz^+i(TO)6O MRw z"!GJHohBr}Óvm'VC.ːfҞE~MS߂{n)̮Qh Qr{%71мg!"]Λ&|!v30BVeufE$!Qu=B h;qJ܃ 5 ̓ Sr&݊ͱ] IBp᫢4Lk rٌHdJw?g#84EM@QBe n,qyGI(lMa \XN̖|BZQTx9AOq,Sg2SD0KsK4\v6֠կ1ME-Sw(MؠlsK2yR R*4:a'V2o$6h ibI`;'yk߳ x}6VcⶴN&ɘ( [7KHQ#N;3l)H@SW҈I5k{DUb(= ,[vOfϲ57h8˱K0[UH(O’lr5#k EXHd?>dw~[W/!p Z ޒ筁[U WŐ,@2abbX; RUGldt^ٍ\ߖ.؅Ha|mq UR(BlEr AZNtoR}dӲ'B"=Qgw`9e)JA9*M^B=߈cgXw., !oAndip~] 5HҬR2d r3Tq0.١5>&X D="˳I8lfh!%vI78,Z0ΤRSKw >yz-/`oTxU9b tgO*Q#nM"K'  ʋ7`K8ΩPyz* ~6x~5|3A| +^˭_˜p k>bwX & 0ţܯM YA`ު|IH؈c›;(imɗҐSwqg;M]:rlXTWUE]F3QMªpr&? *GvָBH{{50$ZBnǣS'=> ",n)̓(ppz 7KԸL.uuja- wRL]BMdDZnicΪoXW@%ðKtld녔԰"i jJ)QG0 D8?uI-G3׊V*YI(U=7xw aW2R 2|F)4X5\ëE nGNvKdaGXi b$5t n_\/b!0e>*F'_y<\K^`۾< ٿc'a_hK~(4|?amᦢLh4CC;֦x<:֎hz-sT)B2bUեwB!;~.!pY煿|~r~FdI$ 4W ZQA a4j;3`N{eU?W?#izh8 F2qR8<4¼hS = rb]N| M`%;v˺Ch;z:d_;<[X\x3]vm řIiz6: fٵA=3W)_^eT\]8 SN?HXs;iX$gHĤQZ &ޓR~2@CF@^1EsƼ/*\iVAMhO~l ж^\R }:UA'3$~%ٝiuQ_OE&s@O.leܮaN.­New:2N!YC~kmynHkz]uL~ MT\6Mr YNcOqxу鎲Xb=3Waɦ2!%̤w=)$/^1ooiiaH}(bo$\Zh#-d;65.wgYz-z4.49Wa(nXV *UQLQQ{3Pi I1%*d*Ӹ5a+{"=γT Zoġ{{^#$l0 Jq}B.^Ƽj[D.‘_'Hq6/ˁɱe=&7aE!x7XQ|CK6  L;F.m0+k[choVj6uG;zXR1tPV"̂_3ҵ Je(M{;&!@>CԚvAvQ=Zq*w0J`! =ɨh&~%$Ce%YaUɋD حf=@Ii #]**hBP)tjD0 h$0jETqrPnuGR^"Trβ)\hu+^?Nk%(B(E=Z}e?s_qV_k^;qİ+ {Qkyͦϣi@cq* \SVK-ɈWMAM+7|;_jҸŒ=! I ځvĠ [RF "/йus3deڲh<;>9VBS| !SR>#)s{T,cBhB,): R<$ D/Q*VZ8'쏡bȬ(¼=2X+Z8aASJFvlkxfQHN*VսeD$#D5ٲwG+V& QkΒ$a8c),Rc8tfLˡP8mOܕBu账ŋdA "%g8{JzxyЋ!b^l\>;XM8mll8 F\?us鮥uNĊEiYpbNHC>hZV[Zt5>1F3aݕޏ|YL&J4fM~hzyk_ޱs?W7%O.MYsr=lߛ742w1e'ZSmoD%8mHLZ `l(p)Cͬ9C0vyď2uVخɅ9a!{. 80؝FSqK#6b d5h:ޭӆ^ IUHrӏ:?N}@i"e7>P8t}o<ذ8dTU/STؽ?Y&N XM`bXloΧ CuBiMlgx$ b L39r YĚ<RiA{#z;7Є_X]co Lެ~oy;x9]-<X&HCNJ(4,bD,C'D"fA"gŊc#Wʹ@|/0}]W$Pr"\ bi#Դ0)TDT+AylD{ ccTs]z9_ra!S2d 6'S\Q~Jn\<#aXLV$Rp3U턛QflF,=u@$]{"afH7v~ D$YҏoM{8GpgfjYY{ܻS~㠛`f =H¾Bj b6+jY^"S@}\<`Z[!6W:]4+# ceSE0`ƳMI~ qG(h I%MrLΣhLmNR `+u"؛Ibmj"^{/8)@d-(P<ȮL *H'A|<.˃iu,o".aKSWvi6*CoH 6Ioyb,̫U;}dr*l9sC^Ag;r'ܿ(Fw'ԛX U8V$IN\2/&TDSf*Z{9ZOŘEͤdtcS'{R@$pҐا-^_˨uW5O \DrBL?tD]82~3Od-tbIXDOi42ހuJ~®E6)PWҘ?(cѓR5% ] k,;/'Xzkt4BBR5&=7ƺ 3ˈpäWp5ҿU2~dea;YSYQ)‹}V~@J|Ds[qAXk60~CԱ,Ø&iϡ%2egFC70'Y/TJ5O4lpq1sS>a,EE>kG+3OqjL~]5uXKlfnsiCfuPA b4W- d}WpQJqTaW^+TvjRHp_dlkȗPF՗xeG-2TnoU YiU[`RQ0&SEkYQٮd!1!*Afg'vF̚LUVLm$D+'v"s-0dV)1 gآ4\')J"qnlYoxcjs9K4\1nj+Oۻ9kӗ0 GavT؈2@׭)7#AGIapwgsO܄ZnԞZ[Qr~l+Ip^8ޓ}x2 dCIqͱdRPgayuZE{X*$:WOBG𑫛dw-LE-kuZ S`Nj#x~P ˓R=6) ~UW\\F$NF1q/-xu.>?2׏L?_sGOvSo9T }|qbl3&ASPNh7 7+Y.0Zk#8( R@B? 褕wh?gڼeL:3S@ZoJ‚\uN' _tF.d퇑rL;dj̾)K4Lg lWhFՏ1:\} -/H ~8Km!'b5g9p GJ.RH:]q IJm5:['3ia;UR،װE%4\pwlҾvMznVGdex }) ;U3`qmVà,jb¹z% \tK E=X<ж ~v>WmJ@3kUo,~1g夊vųHpܣ )Xe,gs <Գ-yjԂE/<~sU& ?idaq͛}2P2peSJ\hCbd7UI|SOlv@{6Ah9L'YN%~5tbm=2kdt* .z b7 |f4H&H ٯݝ(ycgv&%Ae*9= n_Ny]*UEz—SQ8,gɠV9M ^X)Ԓ6ET,̎BJ`J<:g1qGgYZ8a64139eebe14ce402d8e5ff1f50c763b0e28181665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 6ac5a040afe009952031209edf38598a652f3d41e8081886841aefc0220e51a37c63ee5d4428fc69