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  < <!4L ]]]HOL-Proofs:threads=6elapsed=687.454cpu=1905.016gc=368.920factor=2.777zXZִF! h]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^w!u!jF|A_HT`$7<1[m[ia\k"m"BQF+]|=֓P(s+̧*/X^RsZtN!o;t(6 ?=iВ&2\̆C@تʆ 2o7ZlgA2MPk5THPN) %7;ɬj$hNA< ."jbeO(OfWa~Tk5LTt\K)ȁ$Cuy3n%୘_:"!\>"cf1tBriF8˫лrKnjJ6[C\B}h|>:*:ڳ :ĸ6xCTSb|q@{ ]ri +uQ¬n3c52{.`R@ ѧuWѧA\ZüFd4:@TnVDh@FZ@ x1T\љg&h!u*YRW:ё3%2=LvKYo+?m@ݤQ(x~auarM(P熥` K "Iek@In0>سT0jY`eq~"BDC)M dPaCI]ϟ[]cb4n)~ 1v)AB)Qz~N2ܪdLYİ<3fc$ǵf[lII}G[P3Nwv?Ƣ"<`+c]ΥFgO-7yWr6CB'ҙZC(Ru+ÆS#`a$c2t墣ފiT7Zk{eϘ%^xB؎H%x]B , #8]*V64Zs$6Z'יV$[>1NZ"ܷ% {!Ҳð] 4*۵](%{s5o H#ȁJfX=>p4aa^Dpu6zghfqXb&^@_Ozwx`3$%=a Foۜ"\8Ҍj[=A ~A"]*SR_d0~)R:>Os!zfܔ,XUx{+"L"'kK&t1c5)?"f&T~ꮲ@:Ͷ!P%ٳҪiݩFej4{!eNf!|O׸&\ o^ AFH#/.o_6F B5n lC4%zŒrʢ7aิ備ip+D_,J7 Z?wyI#] +,%eTy8b6<·#?TorW2WM͕-jq0A?D Ҡ1;՛ UR5 8*K맒\lj9EEb)ؐ|;/`%_fAk7OO?Yp,zM9Wќ ݞ<\i@>/\@C#\`+FN?!Rr?R>|u+>.hG{3Ww0M V*T GY[UJOGw4Xa@ͯq4Y ΋XN"HVZw2U.F2H!RnK3שcpZ\3 \Jسe:}Ę*9[:rA߄ ]Blʟ}w\^^^e;4˫jMF}]h14/:,|U[-~O{%,-9ͪz]?}F.C&<٣ާmɵ2-.nZyfvϴ@-EpXwϣe'fCsgY騫{?CK|Y&8hyU{`&lIL#XzDdzt}t$-*t&.*$F6"5ɒýtn-ceb|߰ mBxÖG?bv8!&5_+2+؊SOf 8R] k=щ .e&M4]9$RDP!ĵPFP%L>pNL9ei^L`*)CdAkɥ\/{Ԭʰanb=%bdFkFtkK:gRrL+VtՐ)4!sWA W3.4vJ|ַjڊsx^Bj7Q,zOQ<|c KV5~v%yVcT3fAo;ǔ)Y1| JI,U?amtw5>ȘkV}P|~J#au^w=35"PV4) ctIӏτ0&b mT~lĦݕF*Y>P;b>6%R.܊@J)P ¯4rOoX 8d(4zUv\ʌ=UH(s=fM`t >ܓ%Y«Q͘haj%pΰ˥5'ME(]N]0kLC cǔSͬ ZWo4lelN=~&MȳogU8~˝#]‹&?Dyr@"Z7t;D3Cr9p@g%8I"V_*ōɦB]+Omqn1ݬb;.DžK:Dch;^IJĽW~wCouQ(bECRP|j0XЌzNp{{#qj8@u)k禎pޜ ["^Hc8P-?K$@OH88ꍏmoRyJUVlk\xa]u{":ԉXnC13UDDJzܭ4EA|̛[%M.;i3?@l,`Y͖EʒIζ}wv aeƗVIBȍP#vq̲>}c%$ Y|.j"H^Vi,қ݉޵q##-e6m̉ܞ^^h11NP#?P92NDR FӼUiB7V. Teb(n0ewwJn'rf:Iq%Z⸡"mc"F=Ctf-OPv'Wg+splR,߆CÚcHL/SER&V͉ y᦮QBO*HJ8f~[yntzDn;u0S/qtDDj:[!N܏{ԆEBRLDžk09BO73R(V|dws6Zl$XSU5J!|R4QgYZ7zXZִF! j]ŗXiɟ29aoʼz[%U>EM!!Bg]0!*Ptt)bY>u( ;TA1M>eANFpտx2٣xN6/4bXa]NbYG7ٵí Y.)R }%f0i_ɉ;cœn~%)TxSq4Ϟ8x1-7>tbjExt|SRގ,tyP;K df`}53~MٍY _9zm':pQS{@ŵ&1b»lf 7W_*&a[%A`#U'=o_g ѳ f3'T~rA۔ *\)q`HWIf3~< 5x(*- |>LTId 8XATPO>bfI.Ѩ8 P"%.Ԩ](A}HVMj Y#a>|lr.8 5â44!3a o "m}|HŸ$@Ayn̮ؖ 4΂q4; ^PnIzS+6 tyT/]8O㇚01;_aQ,^Mʂd hV 0 uTo4<5hlvk~uܓ]bG݁61=ˣ& ǦNk͠K[I[Yqυ X[6$@{LK羡oܽl.tl˓z-y1)&.S&3_Ji K27cq"o $w@:}R0 ]߲vNq!W1׊e}}NsFrڎtԏk9-7<ѕL:7Z߹.ž~ Lȹ7S"ɾ׈3T$֘fsR 8tzśB=m= mSKEGɨdlySo9MtMև4sJPڬ.IB7ʥ`|e0QQ=)Q\q8# wI`ã&`PGDINQ f&lLb \KOq:87l슣l 6OKoӚJXp4SbF$pB8k jƕL}TZx4&[Ymק"Wg\5@<]>N8` 'D,^1 m6y%߷u- ]M )ɕfpg=o1w>*e(Rb_D[! 7;@ %_`_+bXsV.SDG\1WB)Z:_fFVx18Y"~޸ưNVbۑ ؘj"vt.A/ǧgP?%ʤ%޶'3*د X+ċdM~6:ȾE%oË{lV#m>JN?׼^&'Դ<1|iCd2|s>cT(z0 ^畐%66x|xH8% P{&MRՂ& 2]gYZ7zXZִF! #]ŗXi%>@wGe/Y1  MafAXs._wm|dɹFHIp3Bj$mi hЭ6tJOjkN[QCaILaʬ%Laj>p%^sWNHL,cGRd2ܮ>((?Ʈ*!q BKo;p%]g}=MS!R[Ẅ́psA̰o#WLx``CkG#hi*aߜtW f2' _O twaxele21)DV0;nAPSPҩ&>uln0`W4Pz[/ͧ8˘(U[* qniI^96dLb]b&H) =deJVU:9oI~Ɨ91lr\e޾1 H^g:~F^FjZ57pn]$0p35bK.Wn#"l%tQ)Onh; [2Vޞt Q ̧XJ/"v'8RrO.? ض F'U)f7O5.ڬW:M!l8>e󱎊we6'npxp\BH{?S0 QMI ¨qPcR.{pM$f΋әq蝨t▒Ym$2<6 {6D)V׻>X[ktŞw N~-Hbãͬ;T7m<^SWT/U>Dg Vq[0v1Dqp0&.љ h%#%GdLx)oGbFwz\ߐqCٝ=n֔YESA1L%lflƸXaV_Yc&=[#LL|ldZ&]j+*ڹc.һt`bg?VׁǹTt"h8~{@}h P*hIKak8Dvݸ|Ԁ.cfj.Pd[mJJ`wIԺk"Iӗ+5h!]%<ۗ>6B& "j4@쇌}%ⷖ^;bɁUu1Dp8laEwdlM19I2~n.2gB^ME_+VT,)8h\d}Ĕ,>i0%&cb%;OY{net[8zO9ވ,D/$'sĩլ0Džf#( f^mҫxga%gLK/_;/8E]mAZ9'm$!SCg9;:r`ەƌ8*N@ $XqlVm;MY=`{xᵦ>lTh>o#[A!r$ʞ}e .1.ﶰYZs2Q\K^0 YF#yp C|{Hdy /xuw9ꏱK6~dIVßDg /ۡy`F+>#60?4=%E UqOҊ|^(e=zOlx}aLB}A#!US4d̚fsv~j;A|`y4 Qp7QMiO.Ǡ.2W{į<89_FBiDl>P{g'h =C\(Ôj{O,ȗ'21^YsV"n*$uPxK_Cz2%pF(h<'h{MS,{1Ecm J%X}ꟛ6KAmYU5F񄔁c!/Ө@c_;{-6vw$JޮO0,*~z\n#US2[YIGWG8 Bb+X tD$18mgb;ӽߧs0t9]Oz8J@(juxwcj9St8}N wM+_*#[8VV4;f±j/ar,$tӋ Kn{Vg%{K.%P 21!W)1%G5~$w.\KxBaW@7€7B0?o9Gnu1~5~wv{qdH)NUФs V;B11jF:ߨߗ|{0p5z8L*Ǘ#!,Uu2u'\#UJ k=0"ƔXI ?b͂؈\DxZD% @kFƟ~/qsq-=F_bY]u|'{@Ynfw]Tvq$ƚ]7q/=VeBe2)r Ot4%5_8$GWƌWC&sGzPM %X\ڿEs5d#$x៕EA>' k 'D1M΋]q3Q1$ISu;ve$گoENTV ~㾩iI7#A!;._&x c\Xk5]X xD4C6s9ˆpZ4Uڣ:~<ް/F)~LÙmYK16eM7bL hr ʷe\7zt%Iaa暺^q "(q\q-&J+>Kdi6H-3߷[[ ri`LHԡ.\G$5םm88JdG+-ZY$kO":NKe(0;.}R9ä#`f9" ?oĽ=ޔ,V$&1i|*~1t , KVP2Wo4HFq-Rjr2ahP6Jw5a;e\ʛn^Rڛȳ?-6wRхxE6]m.[=(j\b<{~ϚJm#Bdd)[oڟ9xv8(b0^m}GةX8ZuW4ߩHTKL(ʗ׊XJsR~ڡ]Qna_?rvvD5}MvYFC\gwєQo0ayPLznۉU񑑀'NՋ;>U6(@#;AayaƤ{b|roUh5@2%{ȅ=1p`n5o[ 9`*Ѿ_=ֈT!'E,S, ܀)[a.Ld&9\oD\8BEq 9ݑۑɝ",U3x1:m7Rji#6ǵء'%C&!׊H`i>zpxb6I^Ma\|*{pDKYGRvdO\m5te9i..9!՗+yϾ K>F-VAW /'Y\%e$RQQ Pghn^Z%%sLJg[%9C6_+EfJQRR t=6jCIgkC,d,o|2j^^6O|6,T+E$%Qǧ@⢋*?%o8dЍ>lmAe_L @Qژ=ZFKȒZ@ ZѸY// Tta~J Gwӌsed4v. ^9z&R`$d[3W}\if* :K<^tdV3z& aV H[{<{ɸǥ?slq'Ek.$^}=}V3bx m {@1 I;p&$P4sVT`^滱6`Ƒt.okP^/h1C/&SH&+ }'bb~3L9: COՠ8w,%%kjV(2une-`!LC Iw'UP>1m5>t9R GV/X K_\0Rawc4͝! ]'ZdcYCX@QiwMETdZY]<9pҶ_Α"]\Zf(EmtvLVp 8+]I]ĥ:o#_<#Kz]\RVt+ţR&ҬlԕME0vMLg|?G1ҋ3wd0;gC8+~4"߰vla5ӝЁm8Є H :dv^c4)ȋey@R@<6K2l:W 9x-/jE"h,4šYvVy)$v6By&ã2)A *:H*dy`dF'V'gAz*4TGyA^$}+zMYxxe4eKy~o=@~Tc/YVuAsou6JkMy7$m%zqPE:m :r$ua]udx"Q! |ؙ}Uxc&Y.\#^"V`Dg91Ǻ&ڽbFLI0ԉF9諃WT )I|c4!oVgK, n-o(̠ B ߒntjț#|<NItjRM2]WC'n^S(0Mj& wLK\L1q\"6Ƶ %ڴ^$T 9}['ỷe@\P:z<PitL6rzY?*;̻x^+ "d2lgdi]xzge  T~ks) mv\SGO4 J&\: ./~,hSe "tBb/8f[ĚLOVڳlTAItw8qbVR0losc;p *bmshL@%8d$vM`HEȺhݤ`~],^qN4S@*۱!rj aj AJ>(ӎTGc߽ZQl/rvHCt*?6Z6אּ=6A.馎UP]2݌'=-'A LJ1ifGQH{Fj負$3m]b0 ݈AW +6 x4#HYfLK(6Ó|VtKi 02'@5͘h/ϸ)@WaFSy~?R7 "X]C$&KӿvL| +Р1L( [9DyrzSml 4DlRGhۡ CsGi@}a{U{d'H#@m}] ,7{ @l5 Jq~JivgҌ\̷ 4脚8x3{,!P8:,^Bߝ:&ov%'x#DJ#W@s>XpV _g#;` /.,B.vi |cx$/kعZwFQ 84ע EC-L =70&ΙVK橥VcÏ*vACn߰GXWPބŠNѷU7hb<ftuiүC'± oJ } #k]u|o3O!ԍ cFacVZ~SCk_W?3G>_;h·e]θ / oֈrrh;!ud*acSSX~ef92[|?4# uϗz@nywl/rkU+k*}W`,5]kÎ8 ̠y*jo(F2E_ڞj%}n\7zf ~Q@.Px۾65%Lk`D>k. qp:tT1?IkHP~N~hI U%jQ"K3Vڭ옍YV٤Y~D(*9 D8¨6<`ofeZ|&c{YoLdY!o3q (Bl8~uQ g/TCLoxgbxSx|qbuك|m,"* љJRBUPT @m Å*U];KjXo}㸧$ymvW˞I v4\& 3+4 agY>u@:TRٞ0oCӓQmxu6ANt5>5*`HFLv&UHAr?QFC'ub12-|^K3:mA29@)< q&%dIl^AN)2Nv"o.̣Bv: ݧZpk\ ێj鼲x!zPOYP"fTM >N"{E%hKEehcz9՜=Z|Wc߾3Tܢt0TttG<҄e!&ASi.A%jz `*U8{v38OVvWˍ-]bS\) m$,V4!ߘs;Kj =t+kՕؙ/a256vӪj(VWZX*瞐'(uׇ8{A֭3~+h牋#̯ {kRI=Y0 ڸ9q=I"MģtŬ)KjQ,085tf% pyZ NT%(6넱:]sN6!06]^ܝ''/(A*? G @̌/~k)ánML7,?i+ާz/Ê(!zfWtI lSyg]Ȍ#{j)G̖EJ;#)Y`C]2Bmf^$]σsK5*K8sdĞiG%@>RvwSp.b*3/?22"6GX .cGD~;PVh@z΀LUWX3힏߸ǧş4lP9ZK*$rO"xl{PɓP]7VlTYsq}M b JΌ=-(H= r(/$m;`VAKW 'uKi'3yOj+Q*O79y5L߳|jcgAod\Ñ֠VH/h&Y\Y}~ƊЧaw >LSRty^Ù8<Rܡ[5cʹjC?I7 {\~1qJrty: *?u,mneN$. /I(iCb; y\`g%ބeOi[ ; _M|p$ o tAWHˣ-v *eW fQ+7oS)48}>ՎQ h]oY} E Q3?aQE^MշI(uLFڦs{nMB\֠enS63x5hύylUG1 l@ܸL$t?/6{ljs 9 @YmԵ uZG=wؠ-h=<\`gLK!Bz)ؠ+T@ Sn0.!y2$.?38yUT>FN:ubnZ?;4ix|[ lg>e(͈lLۡ΁in(ٯVf9YʎfwÓwΕF\,J=^t @ÍxA I~E;3F ݥ_!CܐskJ[!]E5gKFnEa;s/o5l1GZ:# ˞iHa?KQes]FIL̽lD܍CRdBrL{?qֲslKvoD1î[0ݮikӯtMV$:n,DB" rqu a<.Yz:@c0)\Ad!D[=;8FpL{; QxgBui8it&%?SV]'YpfS7wȓ4>߹bs&UGIC 00.@֤Y>Bw{iQ3-2Ls~ݐn)Y ZNt#(5vЧ^uf'[&FW˞Vwez)l?^n**| 7:`v7f4M_9lCbven_~1QiS833,btp>P%b;`U *>Eg5s<^ ?{c3e:tئ^ۼr~=7TJdbcɡ]`uJ_s0>p6}Pu:UBEYS vteK'>  2o@#P`ovJ !̬M [(TYb' 9?!҇{8M1>- bA' ڊ/-WP_++H$HTGcceX=$u(oT8z)1)6(y0{35zyw$Iqe_VȺv2nGo\ pDV'ug#66gyO2VSc&\o0QN{cIuYO@F(kc ԭ4gk 0і@8}mp} tC~Pͩ%EAV5~q[Pғʄ$" r4S3׎?C(գO8 Cu#<7Kotk[P?C1"U oF>XZwr.=+WlAPXQ _y"eMnpiKmǀ z1++R¼|XfZMim.ިQИ22;S"=Po㲂|P%+)dqIQ}PdzU@b`AP/*m{:5q/_woYZ4Z9v)`9-.+{׋$Sa] -Zez(1rvc ]U's{aA7sջƦ3Kb~U-84)oXprsNDN[xHc~16Bz$LÝ'zɭB%V$35= ot qP ]}4sir@J`4R]@wOz_:|+ ﵼ"4QS) q+ #RH@\O*><[ (yvJM[d_9 ꨸򎗕iU" isx0$9n/'"2rr? m#Ge"əcS/s Bzc6]0 251X\\%\ç}[;A:7T%NXn3̦Ҥ=oFóB:l~\wn/)~R:5}!>esB!I  i a K#kǖr03Q8m?eO;7anc Wbl>g~Z*xg86bK᯼Lɴ644+y3tV2] ֔ӫQ j1v(:F`CN m vO{9 1bR+VZ^rvVfi.gsVe 9.dp~" @FbTUq-3cwW%cINo٦ JŶ'ڼ,!3g qr:G@Fg]gH@Ȭj9MHM,WOՅ%HJph %ɏ"fb5]HG ^Rn~ z^c)Lg0%:HBh].&LH%vɔpsIEC/ik'V"d7_W\hR`A[E0ҵ[a |&݌o5}~B,DwܔBlAWL ٸMYk?b k2ugȓ^8w-:T4i&j襧*Q&9B ]rx74!F^tl#<4DN)f=)ͮf>]9[\ !t⟭˘X\3VRH8FyT+&w>ۓ&ݴPrEt-`ѿ{q6zU+)Ys2gZo"qS1jĜ Հ.kRcAHehwb!XI}/901iϿщ8/-hV pJ}R2Y $S1RE0?$E6%/G'Vs:jchC]'ЙȌ$>hۂMؚri݃~ƪj+aSLm@خ1Vv$7m݂F3`mr2[$]Q<:l=R [SC+kXJ "sb,kz@geՅ׆f .f K,߇pDQaˮ( A'$0ף[rJ&%J~ӏ㹶Q!rh #-|J_j ]yxQrsaq4fH[ ;iP!2q^Db;{$ԂPs-7fWō@'7I%xnszCCq^ m~ӶsavbF KsРS\ ުv4s͘2Y>>HP0Uچ:WO+dꞏ^=PAVѤݢY ͽ׏rYk4[4~6ܯ CGvR+o>)[{hu}3!~_ؗoMw 8<NƎ-#v7z$&(]F?WZٷ0&=Lƙz+x7cFϪs0YD N-[(@ռ\J]ʷo?^ 5$gv7z0CaU}1ClkBkw 'lxԮO2OU!~mmEo^cӆwܱ- Eмu+0ka9͍e`>=>_wXKՃZ|хfDcj- <@ J2U8z|Q52)EHid; G(X^7 8+* -k͓zFm< ɹbisn/3H{mq+}4H0i[0N4aB"(3Zeƴ=0tVDJXE 0}{@ƌEuG7 Ou*-+s0{zZhg@ K[*@hf=<7Q#aOus~je'V/k2=Fxlyw}NfA mSгR1>65B4tLg:ОYTtwT-0̯@F-e-B5oM/x|э3dRyZ3OΰbY kk(=jجo>cF; wS?fiMPzC#u; _I?uQ5F烦didM C/ՠ 5Mo,?mgdR&Zes ~^M;@D1hm}P:~ޤs"*0 A$29brA)d8wT<}e!-4B,%5.\v/IGh Eny`w4.GUBm=j &&֪8l컪]<.~t|SbsM v>'t=``M%DLj3jwZb5>.ȴ1XY '~`r^=C8 zBKfC%wխCaL| V*S'^υ=kV9AP-td5H&M`31Rwtu3^gaZ 2RAKNtZ=t RևqI=qlWmxK|+$Ձ@RWEy^JRH#y8>/ lK%,b"LHxz.](8>tʮaNB{Iݑ[+ "K6̓?Ky?Mႃ s@Ѱ}CYlnzZ@eiA| t6hM3]#u ǀ.BϷoa].J4PR%9KSB#k|/s1(#o<',?. <~p_Vb4k>Id랸h6^l1=&`0q{/ C,n; FZkW6Fa*7KMX;2^~IIV!1w@zSܷ|ڊdm^6긵XZ4NfLچ䲊׶)' D^;yIfaՠE-dHA/uïhwS@Y߁3!'q-vr1dtWq~QʰLb-pN9T+iJjo7+B -֊6=i7~Մ:$lŬb.jsO͌3hʘ10vX<]%i @5[QJ,󫫚y`Ņ2\~RKut)u~,E*"Cͬ,DoX}mob+3:SOY+i%Ngޛw pS'B-ʢQE%3(dT5'a'ZעM\]zmRU>|TvEDscW ё;.6:ư' cpH S8fK}(KVct` $B%6uDeP}6p\&1m$}sr+s0 2 ?X(-GZ,RyMfFyԚF\|ܑ n9WoǷhԋ,"p\"pBŽBDP )1r WO‰6-N!#r1FЍi;B/09۴ s˲o*R~xS֕nxpEdZᶹ1X_6F8 t;+ 2RiQY&ΨQLiDi k!2d?XEE(obJR/FAHw`"fǂఫu"4;LIp@A8Mk1(.NУT∘jyJ-:UPPv`W/۩& uĆ 3yy-6Ǯ[u1)JZDJн F3&kO2JP0 HB'I?Í4 #|/0Xx w"ӳÐRbQ*[Mh4ӗ ӹ{uցkS2hQvf=]oEރ4[$_aN/vJv'-u΢W75.cl_d[w)B]On)s X~`c«cd/=7+ :rcQb0(;RV0qwTqkg˗{7%0-cKH;2:Fuk"_OٺOԡX-\(Ў7 NSR9*[Wѻb!Tm3L%'FsfxM.}IěTJ( c2/₽m*I2߬'"M)A7}vrZi>anE1Tpq9oGM7JyBѳ\ \0ە&qb(ߌp'O~lq,Xfh m4LpY$ۼNݼ6#ˬ7<> Ql|t5Lg IJ[CVBi 5'Wx,Y {PKSs2w+H=e#SF8|^*u̇G M&ZLa5}$tli^)2IM쀱nR V)͘PnxN;ŃOL?8?Oxű[`8$ z5y/V-Q$y9ZsدE#hؘ}ϠzC,:TOk'/?BKitsmu~D9>Qd 'M>e(]6.z7Kkş1#.qDl@sE7*O(?[toNycW/4,=~u6* !(>bdmQ×GD0;yyN" ifO5߁2\>VRokLHSe*Z_Pg #;ߺAyDh$%x)=Ʒv1in8u^ًr'}i@ 0mQ_Bнf~鳈VPKVWnK<;()S*VHqv8 pYWآ_bǟ)x1]wy3-|" w]ZSBׄm;_qPԩxzd[4L;ϟr#H+}:|vSX~xC{6Fy"ZmeSg*1K.+ШXZie  )BXVΉj-=" [^[GU =ŧቩ1$fѴuj!2wظtqhQ} _̘G0 c^B$y;x_9,^ܫʯP !ٖ-4px, ?3\?<>2mKʤZYa"I>Ec>N^Q((f3x/3JP-n};Sq:<-`9D$ع#U O%L e񮊿9n.XNR^<ˤ:qGM&(z5t`[l/vn]1ۻHfGn;MyF;xDd3'H@kj^?ssvrub" (aE˔6\ !_q!GL«f[1YKt3ti8𥅒dp;H1Sh0m قHs3jߌxbٹ@d6G$Q}MF:9Y(e5]:[DG3r[u w .DlʛHdmP̊94E:zB37ܖxsS %5M>!57Ns1-F`QR&dӏς=4  VO`Eۣ${ܔxX W. AʶdЯxQ~ H5轒~乐=u S?TX8Io! ~jD4*r+9P'ZNATJhԨEGx0/Ƣx|lIoIw8)f[[ImNۀLz(?"/$EB@d2q[ahN_ۻaaw[Sʝgt"ފ5)=i-f0軟gYP"A6U+mfԀ {ɰF Q >VIӍ&)l,Z3q #’&l;\C_+<=߭x2L/2U%8LG0W?M}9s<$"(!ъ@ϚCԛGQz OmR%q^A5b3m5ljL?‎f@]~k_$c`͑9UZ嵊#abSf'e!{mm2ՉTx(nAGӠȚ7 m;F[`6%idCB> ,|]cF;\jJzqT`/{/hqm:uU5彂jekMfEיEɔxuJ Hŧ$uudMmYxljcH 8#'좣?&,@޳ugCu?b=/<,> ǝ:B=-+).俭<z7-ZXIr9тiNbV焼9IOo-_'p)ofkCW2q &ǜ݁}G#Y=鮑aLfRU d[R9+ZqalemL'd>Ab(dp`K]H=8 ϟYG^5yQ*;2dSpRgogj"K <KR>胂 qw6032Vbq\+/2x'T x0ǑɉcfrrKiIZ DrMxZl^յf> ݖ{-7VVTI\߾Dž.fMγ =0D+sKq/CRЀӝ{4}1J,!3T4ǂeKkV>u߫Q3yC'/HkQ9814iyY{!_54hҝFF֣=bxJ)-1w߸玮DH3rZp_l5X*PC&fL ǜQ2Q;½F_WRf6*д ϥX$ * ²t_ .>H _$_0wn=sھI^8gq8 mn\Mo8J!}+`BW VT9 F Å c0G7i=E'7Ō 0 C^W.1V>¸r}g;2&WRs SE»ITʭkwm,LJ0}e[ +U ͝9\,փ^'ǧڽҚh!O9Ȣ-nqGӣ@" #](N}ugG4=$QeKJz/a2=윿%&yfp{I U4u' K *p !;Y5h6{H:>ȷ9K`H|W0 *J5`邥 cn<k1.}z7L]xC,X͊ 2c1b4ga G_&Ek'M<%b \超]S@~aQ*ɞif&{nꕵ*ӫ>pi?t{@Ea#ot`B; Fbj~0OkёlPẀjt 0vZs4/e.s9Z*3'tg9cȔr !ٴ" p?8Kؽ+}3K%{NSi(me1 E{P a2c/}l}uKQK[>i1m ymq†L㍓(nS;t#Q'a >c8؎F5ᒙ9 $Wpn'hڈ&s}{1O3a^Miʷj#D#ky\] oXl.xs4ted a Ȟ_(oE8{tVGQb,*KJgh:K' i|}əUȱ찟*_,JWuD%\o9P'U6aW[>4>RνxqVx`Gq ف-.(š4ipm]sժ:L&= hl[ep_#s%"dBU7Q*jM @_ GS`AQŦej0Kж@p^sgDD/f ?kCvmcgi fQ:uOu'<}{ެKEi8GAx&tǣTgrڦC` BGSg  N(=јo>wH _*=3JyJsW{\⓰ݬ;Gɾjeaa*n4;gˋէɫ̀ 9Jiι:i!$X¿R} 0grϲCE 0&W,,H J6OtsSѱT6RAAi]K3ބ:mT 9txg)4)PRELFWnZ'g\ad`Ay~c 1YɚM{z纇L|3YJJPX-$/b5B4|tC  ᱎ&|'Fqbuu 2xɡe5Ƭ|Q闭k #쾈/ E', 3f|4Uzo=&|; kī+g: q- %Og7D*&֢Ou,aE*y JsS (l=4%~<*vps\eH*fpr=DsERlB(LH=|[Ѭ#خg#wSnJ@ⶵe7)^Ko< .a Z/-6apW8+SYAb/-cM-P ,z*Is Vδ?H2^j+]c@|,x fPD+&ק<ݻkpf2W[*JV_EQI88c:Z?QOhi zAWupmÉ"!h'ZDA9y4u;|^m[b"I'] <лq+7?\2!aPBpA(U1'…ڳum.F<>J6$bQn26߮KO#/$r R"*ne3ܧvUP!Qu``\p.T!.jI#˺ %IIA |MU 3b hƗlѤuInXZA_. K'f:ӕjm%zaVBM D -d$)l\@u`ʢ: Z&a Q%rgJS\~"Kֻyz¯"%- T_;td>LHli Nk?ra7Oƭ ;s7%8kl /$ ~ro&^jQv%0Vڼ;5>&憥_Y_2_ŁenREpVosqt "1=ⲚǶ)Mg9"}^Z Zհq*4by jj"A 6KPQlcp ,o_Lp{u " bl44O'C\',i>TEM".K|@@!N GMYA)ɶ^@xM5d!2-=x@6҅sps&!>f W҇_V 5`1eOޅYE}\б\AʥZU.vUdע)/LE@h~4mjlxLqdl:%gH5B NpymTLu,18虥9e&%.$@'4,pb7s{ٰ*,$Nf!`C`P7 xŤtv!{ P|\q{Z{977>P~6\t3Q( *N044W vD;(1M@\{6*MlYYC} ~۠/v8Z};3zB],JYncM j-Qspザ.c,ǯHd(]֣dw4QK-wJ>K$0$Y`7h=^Hh0 YڭA5 L7p3.#$ܱf퇜G fyI^a+\Md*g=og,ˁH`$:_t;70fpFV.)آ8fK̉-dso޳xڽ3װjv`e:'Uo4]kIJEJ %Ė8렊/ 0 `eaGpwAʐ2C-:.ѴZnq;f84HmP N[-GTrAOρǿ$;r86 B uW; ~o'; Q4O?~ [9br{r&zHO,bp7\ uv!w Q=\m dq*^ޔW8, ~zyN,*W Y@Oe= xm~joD(f$uDY'L2n]Ɇc`ALߒB>VAJD - ^a[$&5;K'7CWQ,-lvq \g4G,l?j_3KWG2&tkد4br[ܳAQuY hlq+|y2 ck‰ET^wXK%uj(}i>!vʘEaQE/ K_@(' \4Db &-!<ºE#(/n=\t+Ib<s(V]t ;eKrh3ވq8+}M%~t!V@8,j/!zfo:1=!7E0\ލewlBEfKQ:0GHio&N;,l񾌙KPP^c.fYC্)C?A1b9T2-g^!(ϖ߆d}¿FZ3Vq1%^8ojޗI[[]$MzkEu/y^]jT+Qy:_HQ7(EH,]ePep.n b\A3r w+:DJ|0LK9X.Q`"X0E&88,n s0UZ 1 qPrx$4Ą)'Iؤ~=UH*E%h-"fۮLdff=>i?2X&4Ş[&W-#jh+ȸC) 2s{e5|l[~M-ԴY^t WJ?[֔;.ꛏ5h äMW2>.{\4{t]/R50ࡍ~kj7vYpN6@;\'Dq-hh@pz!!ծ~y3XL:+:Q z|2Sv'kq}|oiF|VsYy U`׎zXeyxN>0j41C`*= 'ť%I<ċ~O-t+&f{jziTXǤazݰMZoUq[A%iBFꤧR̀ҬL#~:b8das: kkobeVԮ'uT&prjXJO=cdڟjN0nR5 ërg 1rp{(-3rFJwk|M1n\'!)L^F_s(`bAh c3Ja6w q#o W/?Ӭ!IݕE"MŌ0Ҍpud3;HfF+ mޮs,\a7t ~5].U/DbF~0jᕆS?7Ắ0r6>t% S+azxGCVxdV6-a\sHCCxɉ~ˀg~d\3]n dJEȺjx uv3W`1~YIJt!uh@ lb0ȑy j0B΁OP.l.Z/,SD/V԰[u ^e1.% hj}% G<dՈKe3ʽ5 *d(}B‰;YۼܯOoY\7$6 Q0iҌYtT{ ;slW< &ln%׊g VZ~#U@F}|zq:%ߋ/F z)Y{Bޏ ʁ$xIV~< _5YU$V,QB&耋p4E%ǎ| \D24 Lhl{@@e>WsBP9h%lo>cE8|&EYϝLyޯbm'QV!kFC*6O5[(gRÐ 77;X2q ,ZOSeСT)!O01,2ٺh~=oңUKWFC!OL/q[nɊh>)WCE` $^.z |QL&%zTWAtd/oy fV>GsēH-|\sw]D!aN;4D=|o \3&ok.CE$SоNNPP!  i/W \&= aǣe) j