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 Ll4 ]]Category3:threads=4elapsed=343.503cpu=1084.060gc=71.232factor=3.167zXZִF! o!]ŗXf[&wΞҌyP9Z\duKvUWKٿWj)D\='='o H_IAI1\xRu$hpЦ6t̽,یyw<72>;:KZQ]p t^۟j]&ؗ&آZ4FrM H)u{/k: _kB\*t7q1}W5ߠGy-yb|<]S䔖&Ԟnd[Ԏ1 z`QuB.RW-jivA;_:y:o-m MgX6]Ӱeef[7֔g?>)dvs{RG>E5+FeB:ݗnB"S 6,5GoT0_Ո4kUgMu}vXbx*}$iy5(U iP̭R3E HY&8?hs{v32= PD_Џ} t I چ_I:";O|yc ~Gz:B+O:KM FD"|P0rU猈߄H1}#t HwܯФQlk:KsK4x@+}dB+ 7?6ICDD:Tmq?W*Isg)=AOVLFpFX1TQyC,bkC N&ZxwR}RT8ӯELV`WG$=m8,aAOÊBw :e kk7B辘x%r鱗|`͉dgtʺ O~[jk}LXП€23OCWڊk"S/Pn_tޥy(X۲qJSQBۦU FEy [v1]yyN6S涤y5a[;}&d0yqT!/681Rk}1;᪄!%SH/k&Nnu$,}ZFx3p~kS CgxFc>p2Xq-}.[vxATUޚxOQdkjZ܇xܥgVB2c6I񇃢+TJW"S%hjAaZdCq O"3^0g"l5/@Q䊔SzѼYKY]@h!'˦;<ϭA,Q 1\/J@('+ 7+21F)+.o@A  uzI z0 ސM }MBh/3֝ZlN~砲jd2ԌPBKng*F w >DK`3A秃D(FZ!p s̅J5Wq5Oh*&ɓp8+1l޵Jws $|oO E &~< `:t<* Ya.H{dv9d7TIB11Nz4]$v>cGR8oMHyG%|R_yW;@)Ӕ9"C/ EE,1z 32c(7@yH-" NN!Be$E

s "8EukO ~4d?&M>0%",Y5{W {4ɄGĉA2*{N߁@"v~k[&qÇX*=-Mfw b^Uwײ+c ےsn6`ДZ|_Z]EBK&BV8AhwtDGH4"r7G`E NC 0 {9SdI&$APCh#pH?;'ўtŃuagv)J2H8XX櫰j${~˾A0:W8_>I$#ǠD7S1|ΊcX>GN{vF%U;8e+qKm0akL[2`Ⱦ/;%L7=*4OF"C}LXۜkN6< %)N-UL~H2YVV.X9xoȷe2Q[c<+a0Smqs/}xM9dl@T~ 2Lb2'!A&`+BYv!:2~4ÎlLƜBs옙6h?d~u *-jm~[vÜKY} 54s#.-ꖜ07~KDG-Ӓ# jZl34LIMy   Category3  &q͗H;.zpvG>[mQv1N"!A)Q煷) Cf-#*v+EѽkIC= '6+랟OH)`eV#DfUq#'feOjo oI7V5+Ǻ:!/)^X~L1^F)?rDhoC$e?A{Upepw㐑e|k{S%\wLb'{ÌX];I~FrOpL:# eR#*03cbςuZ\m?Ԡ:[a"w5m {{f#3qcU|xsU*ϧsВWǼ3W1\΅X{Y,LbѓrH7x$M73"3e~XKyUV 8{4#G:zȏHu၏6 Ako i3(n 䬤߇PQKi.$"(u"|g m=CCӲ> 'Kf9:o9k 1ZGDjFs?0.,QAJQH|Ƙ0<5R֍>49 -*/# -Ē>!줾PW~<%/?@*=Ɯ|lGښ"FMM/Xu\t _Obh`]v&Zrꅊlc!uK|t4f3ax^,gF۹T?&25WhLj8U{h)ət^ ? u;j59i  ZCTuLlZ#Z^2R%v#T]"֨а0q0_ {H#K==i IP%1#!twQ5͝'ٲ` 9"~B KW0x"_uq\zxL"|¼QQ*& ~j] IT?yj"ګ! '߱)UbM[Hn%EE,@9G+|͂d@;=ҾUXN5+`XZ@;TGrf!I=l5{~my˺HRg>t@TlO(= mKycZ#6-@n017|ki`'ه,G9D"J-ތ$uu1i?;?-nnW|J[ 8Ju!7RNH$Ga݅T&Eȭ3͎gBVGbL5WK9TMʞ\M_7 WI'->!L}?":ӣ"M9#F;"U|a}9 ٱv֍V$ctX8)V O/ƣAMes2[#4W H1w%/4vGX+yv[/.Kz,U]=NѴ,AI*?"Pψܿr@7OWoYRx5?㒎*_vA]rW$eɎɆ\|fJ!YX(H3 m :1_ø+]UC~;jOn_ `d#Jm& 22TՕȦae` a7e$ECvv^?{]nbnXD -}z9QrSA4i$vdB`v)M? qR6 u:C9;orRu!A< )D8t[O]:#1+@OY5fx9H7I`ff.z."7%h6o܏4D{Ѳ ^V4 bm#vY0xMUOlŢD|2akux:&_8l]h)p |trrp1N`31QC "3$!3u;QfwͶ<輐@)7#U(;8UJee q wXk!K:f ihM?FIy3{z^] Ela:hk"{eD ЍpYBT:G־nE3AjTU6LZβUDU_cmquɶxf+>@6w7s#B)0N`5U~m7y9 Nw~]ƛ.^lf#lԀ'Y [IӖ9qsfPiU=:y8νj#+!ʒ:l vs'$.F+}6IcKAbCHYRaKN舻GVa.`@!NkN-T>m\8$5v[nbϳ)dC"!e l|w]/@u^y7z(e-wrG]ı2B;,DZgYZ7zXZִF! ]ŗXiɟy>ZrrJ]j-Q?ÑSѡ0|5 ~@i@V_|Ր3)|A''u@j+f;^zQ6íi|u `Us6f B鏛gYZ7zXZִF! jR]ŗXi%I怍4/U$R?`nΧˆƓf'(|H`fTxP _9mV'q%i2J.Ck6[og"Gm~уΡI@7l跌N4@ )#0;ɛG%]iH; m#n"qPZo?Yw'q8x0\*\ dⷭEi{`K(n MOPiM"B̟hl\Kο;W;braDt}UG&UM!\* Xakדb *p5}ukMTYO/ӣa:;ky Wd^.3ԟA 3 L<3][5;%VRVԖjX}71hbDJHKDUd]&<4EBȖ7اUSfG<@ ~]>

^0:2IO9?nw5ykͽv޿w-)ǤZx-e5Ξ*wn[dӟ=qqV6ciKK,86@$l'n[qEus}xvciBءshZިmPp$kw'koڵ..jʿYHtl^v")?7T$P?F?au5neWiI|ҨMtDL( hFƘmj~O.k)X,iG; f~‘#Vf} fݜJ~1} .kgv}:HFzɦ6 iIȟL/~P %!H=Ibl_f /kZ1^.:q(:eziY!PVzcQZr\#r,lQ2e]z咢ծEk T() 2l@Yp\IXvŜ7yqGqdH\ar-aO;Dǫş`|qH&FDUUj'|.VG˰-%Nrg}u"%҈ZRXv?(x ;dL|_,$qygD{+1|N q-I98ޯf8X>fN̋C 95&8SeAΆ0fEgqA}a*VItѷðs3?,R y F}N# |k؜+.(䦍+y)Zjq P\(-\)Q]g^|Bt?V]`[;OL4]'kFX+@ mvju\6/*O;!ew.*i=4,[WdrU ~AE:@{y')G-rG۩`w}7˙u邅G.ݫJq . s6)#JJZYM_m\v\^t-a;~Yԋ=)%lmnHHoqq6wJqr0A5:E+}XR\:yGe?N>̹itۀedma~;9j+!Jp?Rw>z㺱e! 4~X-Wj$aJ[L2MhU,I_Fm| ^V,j5w`%%G4jHikdk [3.Ou qqDZnNn q~c=x}u;f[Ưʆ/نFF=FqZߊUVgzD$вE6SVbM@yc:4Y-P/tte;4v|~ ;<S`NOj]gRL4{%@[}/ 6cn+- t]Y^_H♖ hDo(aN2aoa @'`rz~7{,iN%XtF s9h}pV?7;?(ީgfGn| \Z>,7iK,[=O Q&k +ٲ0 ѳcB>*dŴ5 ~i:1u3O5'`C0C]tYIQ]p9^S+7FEZx^.U≎z(;Z!k,`%gG6Nݻ3+)#6J_ E\Wo=A}Gcws41xtajY(n \.1BSE?'4)} V'_ "ng^ofH%ZmjuaCss>:TvVW̔Eheŷh]^m^;Dmy;LH| 4Z7L@e`bMMuU\:č>D9m ۹ԲP^>e}t`Pnj'J-ZXU}>jngz"nbCNH)Qakw<l 3~G֝5ŮDBXGPxQ/tC\3Kg(r0_3\BE64$_~eҎ?xĨ1kaz!|2$Ť2Ko%bVzduo@pv>i^;vpowj 1VYJTISg 'hQDRa$׫Vu fp7S~t>$9YSϫ~Ej}>٦M @,eȒ;s.3,^JQnw Y3@lXnv#5pAѷI>{1#  ! om1t-cs! Ď3mh0XʉKB[*2 {0Z{E4(ưghD/* $\.4 `L[yoY!f 2lj*מvHЎpXb;Vه/?x;3*d_[}т_E>o?8(,(3ҩ ܠd 2$g,LUwXyˆ+Nhީ͟J_Gd7#$ 2K]{HyV9<» e1AiͲ<}aD,k557[dҽ SDRF12I0 J'3<}^wүK(|٤ /vNEsity MXL3&cY^mv,'b4k &ɟ09}uwBי+c2ހoHElM0"OdV4p'7c]$ᖉJP~W;>B3N.#Ǔ5nSNu;xᨒr<.LN0Uvj`Сi'*3Y.^oA?uN#2!GBDTUq(=L%)h F.bSzؘ0'2G#xNpnז՜IJ}eʔ b'FHcĻ[9$uBvǟTp>٨*%gg7Q9{IfRAAG:[i[ŧ|{?[Fc8}_ޡcun:~VKᦉ%糅l%>%jS]ǗR~-,Z<(`,Hf)GMf٪M@$M%kW.0"d"洆GZX-X>@=*[Et#3@P? ڄ( G'T{:LzPT)159 k#RwEG.ؓJVs AW)HFMB'K)%qgL|AQޖ92 ^2rMGAZ kK0Z*x&Tl ū.NmC*5[yF")Ir<;<ɦr/1^%NVBP4 l`nq;[JQJTנuz:JQ'mdOzR0ៃPӦ/BDsΛ *z8 gHhzA8f `^v՝Va5fQm%mYZD9:a]00<9l)IȄ²B,ĺ7!<8Ol$}x*>.U(5 =5@֒莚LY!KG aav^#nAF`i| MjnV-7yԒqpkN8X4MiW[L ,C-qCE!܏ލI N5 ! FTSR$`R%OU6nOR\qIP Gpd|8Ӆ%:`Dx{\d0FR _&gH($mggDuG2Y 3{Ei-G&D_I 9bBm\X,NS1dzy</5nGZjcczu x*G';zJHoF[p*\D7Vء9 }EH0ÅmT_۽Xm ^jd:C:uD98.Z7ݏXܚ[mߥ)4!<o ZލPV1-?t8I/m6#Of(MA9MV7TX6 4IU晉ˍ9sik6G#b2Ǟ3σ׍BF,떟z"ǣAa视~)͏%̂u($d+; Z@#GaY ow 4eMƣ (\^6oC yQet5-zOPCw4iG#KCc?=gGe'Z)7%F5=IYY;etCro*PfqgF߾T.z~B\8J_9x' EJ9yWm0n.5s%zH_˟yuw!^Cgo>MccH(SSH\6X9'n['`䰑RD~ S{pDۦH?妣p$kȦRMGE0;5&F@":!gz"8a]H&`04Xp`M h&?wu?YdCӿrްk]Q7T©KPo[jbb`,;12{2E;wҶ5v7ngm]jП.dA^W)7X(U'UN6,mJU2v[eBq@b [ReQ q<_8݆MnՍWP5๿ !9;FdV x,S[•[YUVG h3t™seѦzcP QC2ExTa"a4FEg/o] Ћk+ ;4!9?X:wjLL{<4wKN gɾ;A; lA̦B iDE shn#VwxaY,bBC<4֔T.:ڄ+M5@Blr+#)I a͕V`eC[\SD~x0uT<⼎&E閺*T6Վ91Ϗlj[ɦRv:0&TZ'K5Pi"\zj ҘCc׈SӪkU΃*jdWuB#RsϦk@SiIeBksu ~|m2r.7>O<-8S]dS#~Ɔ^LTwKr˗߉~I=p Kb"+": o!dg~C1vDP龞|:sN/lڍo>wwT'iӲ17Zx[ :Qn{N^gSCc% Mk`܋^7<] :UyQNy+ABߧk FAm,wb\wվ<+(~Ӷ3+N_k+'~'ͦ$w߮*63kJl+r'p7gsr$n{?2=zUb|0 :|c̘2VԴLnqx3s$PLlAgAT:?y}0ˣ^Dҁ1nܭVyDDž<{[#k ggsDz6Z8jmljɉͅ^rws?Q_57.:=.ͺK/C tKc ԛ26`>'Vˮbl1*`Ї ғq2|Zxc5@1[dDV^`!{ ):R;˛|I Q4(Ŀ“rmWUlZ)JFK@J%ѤQ$(UQ9T(grc~3B!!&TͲhH d`@*# lZ9&o$8]h'!D!ᠳDG Djda?{M+)7@@P!;GBOƐlNMf yOa\ 1=OT)ƭ24:L[FyV\%Isl~-j(wrhЛn40;px-Uf/fF4 LԤk+|t \4i 5YV&7 %&ܔ"罐B%1L |0j t>7RK4Q]m?]pcSdH_eSq)jΘz3+IP\/WQHGƖҴ6m25}(o T;hjK 俺s#}? cI,/+,[|Mj*D3pƸz'.WlRc6!($)`I~FA1lfxtEl|rӱ#\JNmL\j#T3ᠫô$M#|]cxo,t7 `jH?`āZ $.8V _IJ_]즿04r}ngA 76v" '& \@`KNP]C<>|i!xj\)ͨ_de;Q|}d`-킐∞~a_#)[%AKևd wV 't?!u&7#[,0 dto!9vrR=S 8'3 /dJ^n*/)ax*rOh#׺6,W {{VƘIM"n\LQO]\q 8I<4-÷ x)=DF Oc:q7)63@ \K$XCBˬ 5:B̳a-Q)ezkE_E $lɳ/c=:NNb蟉8]{]6EAo²Z?*R@gךvR\Rg N<\ h"9&*%nҖKJlVO{Yd%g").fh@ ,&JȆc5]Ͱ,LbHbɞur.V6cDtize嫗0D7pYS]M_ٯZV^¿ϗu=? n0g)"9.6).H#LjW1MNNqASsfJi7ŨGO-uRk,#\NEIDХ$G&g5jlRЕ/ײ_Y+kN7"s8.tR}yan:6j-܄՜&غ~_kKgh04ÌZl}%!:᫘($@6%Ķ67o!WNg:8^0%X!rE@`{F[{g}px՗e5=1[)J@>C͆~J`1#T,%+~j -d.i3ﺔ(8Dp (Y-&=T:^tCD{}p2n-#ޜ*' E19fbj-=?2N,C*[ v+C6`=: "b{١UDy> _թ( g[) =bq vkItvb)3=(N3 +92*{ '`Nk3!wH\kE"ss 6lID ȓ$"^L:nm8Ye@qgPll01u-x4cXpSN.Ahmʜ5TEВ.He{*S.j(o{0E==nަHlgLyيhq5F+;HuN,?m^Kux˅sώm3?huC :iv,̊뛔T־"DՖg'u>E,@{ѱGi, _(mSRA$)tXߠt2۶@SlJq{v~3%z {<;`Rf1(2M:r@mr&foX ?#/I)R''-AE+flyCP.rH~j /6.!;灬bE Р.y헳-,Qwt<GϾh~sU4 D`C܇?x:UH+} f)߈S)ݕ*&!۲Hz?qBB3j@eX-~iu:CaB80Y/yqj:!+{?a $ ! aD'X?<0p%T+YSL L?0vEBP;sqЉ`eqM§$Sѫ|7(z)Ĭ&^ډNB(7',;e/o(ES()Aar;`#"}GN:sOZ^ӓ׵cr]Z[Ï||ԃ.o.Zb|] z LIQangӖsH\GN.0uRSO$!BLp)쇼ldrSm,|I,^nrC9`d+ MoFRTQNfp,һ.~z!Nu:N:5:_jHN3ۼ5]T~ oP-RmnJ j I9o_Zrƣk=o53>amA(jmխJ D"ߧn5LtlƁ[mP*VuL}y&=chKÓ;=d:NyJŦ̺]-!ߌ~ [f ^YNobi~`a :fS : TWYõ%_%wEl- I 67m+?CE5EE I /F̚ba% FOkxEKW-gAw H \aG@m܀L1I 4U:cOG@wt7SoўdF ^:S8l&9j醦VYx[V_ ߂JcZ=x Y;LaKx(7 _$!]_G{%N1Q9/mg&#SP4Gϲ`}ݲQ\M:JUCL ՁE̐K-v؈9Dn cT(2X<Z-Q^.F8 Mc+&]z&覱=Hy\i~XT@vsɸ}\| Ѿ, }=' cU 4|Ը>jRH]nwUyvUb1B:ևSl/% ;K3'&ۡp !_A閧+Efҝh?sUkx "S;@_ LE4q&%78AS۬ @RmDS>`B2SܧLPVHE0w#J 2sJhS68[%rG:z)|kd$i=^M$PmjN~n 6bZ- k=(e{!Tan "N}AfWa^I t@eȊ}k_[d&X\!E#uGY.TчNF7d<;piNӥCjU[4pF3?^ hr#&W=IXENWShx2/BN+DN ;Šk3 FE*V.I~lu SX[PCbȇ$XIw2]b'B 3.nRܓ[[˱ޙ`yh'#-pg_R5՝( @FQ } '/E(>Qb:ژzߤNK6Y#+zJ?QA$ hʘ'Ln&&4Sÿ3O[ـ{Hūi}iDbN@>Rઉ1}G*xpWD˩~G½W9PmG}*ҁX5s*3ZsI0{%vG(Rdp4xğ,?llݢ(Ͼn"U^Ci{ m$j_{]M!GoF5,T44ʡ mfGr)v< aY9xu24SpSx%LO|f2AFc  BL9#WK#8rv]}CMxƙؤ, (7[edR'^ N73[XϬ[kMBp_z~O^"BrN֎?εZTBݦX %7jCeoGN=o"۸/WVyrvkف ٟncј5{q"s A{q5UvsJr߈t("4roDžAݭݿn}[\ܢ+gfbZ1]嵊']?!Ҭ3lk.6-̟w K b|dhGR ZPuG1kam9Cbxo)6h$'UΛIً2پ:iݛ}^~@#ISOF˷4H ŏ1% j9qBb5vi+>9kf_e}.Vp3U̜%4)x"žk$ KOYۣ|P{!&@"h%lTuօ^~QZ 9R- ŹmnkQX','5>pdkR65b=E _h4Egn0Dfx1t. "J,ECR!%Y`@Cg?\ZT'8|4kxh&z%%3W9:xy.xqK,S|貓 6f] S5m=)p*l[OPlrtR,$=e66Q9|`! uߊRS;1u'[0׌_AMPwMxYW6,b밚L^V䆵30"E4e:D.u9!aoF0ݹks dfb I]=Q7PEP aN[_C{YcE>xH/%1!Q mqbJAeloBpsP;_Ln]r]94e8)jydq},J㱞V= FBAejšZ=^z`cik\TŊǏ$F8ޫ&1dXW`QY!a3V(Vz},']zf-8fAӿ'T&b0Bj1񾚙%#űm:rFōؿ*3DŸ[)$i@ZРvZ藳mHep3; jҒzb K8 AtQ]+?#m vzxaxuswS3:|Aj>"@<:㏆?,C&V)=m|e`)N?Xv2g.NO[XgSGkG~aGB.K0sQ c|J%ęGMvCٳ4odڵ.VPp Wh~Kv=b]a!խ+c"|O&r lVΏiS#ͱH~wcft%AFfIUP̝xBUo.ʮh+ q $o Pvb?ug>rr(RŚ ʼn;3XTӢp B#ދ\F4h]I&gzq)kr,k*h}\D`O98KM̻6Df^d5_hWDa4%S4V W*3">{)W^h~knjb8쌖^cca1ȭ!E"FGBxYn%.JD3OFˀNVJpHخƼ-_`dHщx7κfέ5}HK_)ˆXUr8=y*vӆjICtA\ʝXqĝ e#ŀ,8j4 *>UFڮ$&KW\oSE|`59Bh/{r>S@go[OྺEX:Ө2;M \`HcIr NVinqdJna>+mΙ%mED"OU+nQI|yZ:퓝*߱2/Pqu:ܓ/H0kx%$` Ì.[WI_capo)6JԤ>ޢ~ '{Fw躴EҫߠȽq {I!RI(iSz:G Q0Trw7ӱ\Egs(1Lϭt#.c'`F:^mM_4 D_{*ͧq#Ȕ#C97p-u%< (40R!Z/w+`zsCÓ+l-Ydo~6[1-R\FTgn,DAu[]xz8(?]uo*梽"'% (mxUE %*6,,nX6x֫s4 .J{ eRq;zJ)5$O+Ŷ2B}BfFT-9BX, sȸgIU6jZѦ|7ЬbvD"t,Ԑ }dhrcD_ˁ,0M~٣X cVV6o%6_Z<So^f6nhF}t;.{1>O2DR> Fuϊs l% Urkl Z@aaDbAe ŌĖb2MsKws{ h+K.)b' 00 Q2SykitoU`rǦ L5h?a rŌ}r}S5 8!>︲>pcwQ|=[- fFp AUZ`wá|YjPf*O/Έ}tly8 Qi?1j5\Rro\יBS1_W2U\qyT8  iqmcJij ;,$+:}zDCɴygJҌj[6QM@YXa+tLNI}jnYgaorZe;3 !:C479lSТI<'݀qM5Oޡc?T$QH!rv(;aIM}jyD{9 i#0wqKI-Z=02)Ȉ{4,v)[40@wç٭׏?P&hgޓ+} v =GS>nm1S B{aÉq#ez=6C Z3GLk2[YS<73YMna>fzĈdւ`2v5/8('_RMdyyH[gXp%ce3Ԍs&' _͚J[(f]~7rҪRnR*rup1;<۠z|vLoKOrLAF'P:*)(.r>Mm:j8Zp2nk_44GC%klNgl4BD%nfvʪ7Bp 22&[gY6E%ӕ4ɡTJR@9T`r!"!땽sDNVWZ"%E,^NL6lgI4GMb[ r tnc_סi6OUTyKTcƻ HΖE&:} H>nyxXepe;*(Ќ-}t >ޘ K@6Z[lhɪPw_O{#k]!t \;ce:M4Jn 06'7gQ|F,C  ᱝH]k;!XlUuɋ7<K5d&J ~sTϖ ^ܸe((4R\fo ~o3$g͆ټ;xVgeo4qFe;%g=½]?E P@ l)\nΚIJRTfƄT ߕt跜|$M9g~F\/3Ge5#jP ,CR5樆UZE3 (fsz'mPi?j5|8qU qܓ7,BR$-"p&Cĉ t ?LT>H*vYU\udb Z:LE e: VzHH' j0D9ڤAUýp]N^ XaaA8#P\ tǻEӁn(\Bm"tVo2UZ-o1~r_o'"". #\8`KyjB/GY1RW%O?PqpʩiZl3dQ?IRѕvg8Qb/şz29b@椗8Si8M3@GkCUL1Zk5Z }x@ t6`,`V+nK2j)ٹF/HZEX@KDdsE,״䍏 r2̕0]5$e|7]ad׻R~[e Ȏ֤%l!@ 0AcV;2*s -yͥ}rDI HSG.!]#Y-P'u(%mClG E4k jn!JSW%m%XfK"!?r$TSe2 Eb^lKQºC+*% pi}} t g[z9P<'l&RQ$pYK7=m=er-ψ g[Yl]lXc*7/ƈtDBxI\Fzo?-*(w!%fMoL+]<ٚxsX6lϋ@1 ~ -4rj=+>.ϡ7Dۼ6B% |sg2ze|kM|I]%4/藭3m-?8 mPOxYUP?@0JW+JB5l$]25oET*5' i{׊{0Aه2p937HZNཆW"Dz[Ov3wcqW4_zd$Ba"Є)Zx8A5j=0➠PҷT8[|!l,D7@nYHbHժ<D9t@x؀YOmS(ut:^""ڱ\,p5Q|7- oTK`8tYP.t@k" ĈthZX@OJcGL$5kpwI>UweO^B^aߎ 9ɀfZKKqP{q 'P6;܂#~pPDCo;և|)dfĠqOG/9%9WpiB+c>٩u6R +Ѥ$ljX9s9%SH<&'䃝C-MPA$RLr9/fx文my 9.Gv!,8sYBj $Gdt\%l"&pM"IQ AYqZZ$ƍv^O+h> q˂ ZqnOT( *e @ xwp7SV,uɔݱ}>iA"+yyvuyS[^ (~2C炙 ϶ںI]1ߕkW\ӔlWԠw٫u*Z-rbBnabkk J!x*"{RpNBfeY: @EWLؑW|NHE~d]ev#n?4a_G|^X<{qBj[Ϋ ݞ(aR\6ȋn=ft FsJQz_GHa0R4ϯޘ<A2||̥ KrM}l u{.܃z˼&PPXCKYA!v*F {[UBjZL < ֐(,EUOr r~0-o0[  i<,X9+FyŨ3r}Φwmb T{Se$:379ZsOfZC{qʠ[|nJ(q>[- ]:ȣ*PG`ϵ w.Ŵ 2z#t z{B ᄔ|KH67J@^{ҫ-6Bww߰!wn['#8 Y^bʹ"S.6J!I#Q}\k?N\DŽP[!AfRv\e_DjV8dnL-cZ/=2#oj;Comt>`y!jJ*YeO/T٘D{9k '6YTDtZv55\AphYCwysԢ!A _Ǻ`VP?%s@1-@4|i0npV{OW  b݊-'8"~`C-$m0%╜k~3$y갵|yiLjÝT',!Rnps%o\[2U j0{hbC/)hSp)] 1)С%B]zo'^N-Na$ C|085L+o<zG~(2>pļS:Gb*yJZz2z(B7 ψ{C(+RXul##;΍C;}HrTQ>%ӛDhOUqs2d,&>j-vk BIhb>Gy>j{OA2RYTl.r!E5,;~dhM>.x7Ymt=>jBe[mɱHlDv[o^l>ERu"?30uq3V~V:n]+NͣP'2Vi9M*4TF(`E`v?j?yL;4`DEf %ƘșzZUQir' (CɧrqqA~9[m2Ȱ Qb6dkWHAj1 ]Mov^9'ܛڨ& +s"L?c(vCxOgNw_Ӣ R:u.F!kk:=tj2s3^s W.W,+iHۛA}Jrf\;'d$T\PNړ!+ӝ8tUjJ6dͭYK)uָHQH]"*SN,1Bɉ0Kt?d;,B6=^ho*P\@yr _po#JLT,С5o1vԁ >hVyhб$5 'I+Oԗ񚢫nrj22 KE4E"[Dh_zAڭ r% JJ+%2hWi*"?WK/P`}H7DR2v{+cO+'y 2!HfS|6?1A3"#<1m)<͑,((D3gιl@q Y>` iV_i$hT}ĪLLfݛɾy;2h[W MSG{MVs\Ȃ$%͖8+[ی'72tCZ'<AܾN/keSvOZl9?d+A:^I@&}B?nЦ--x{UN!bKKkQe1r2 !WyQs1CB}x½|Wиnp w1  R 6kC.q>  = 5vw~ò^csp`6pJ)GK$xw85+JHe_M~=zQ8xcHLcӔQ)!b܅NSrpqVD/yYvBOG' 5[0 yc,+V+/:V= r Xtٮyg*5- !zHbQsJ}6,nd%װ8CnN:]+7R7"ȗo?I5 {Sm6@4 R V >xԁ2Xmx'`4 7P{׼jrr492K1 ߧ/O2ťrjQ}:*I Zv>1v3z}N]z%thQRI`OىP$Z`p 2ŖhG×.KkFeVyo9ĩuۅz^=u:7sw8!?_ (ǟ,KZu%J]?.k@7[޽toqbމWte5UXCڛUě08 ro%:AJHLߺ7y{D~]n>&tGP켍&ǁ!+F j^K9d)IngԱd.Xg ),o_x^ݦ-w&Q\} P\@¶PƨVzuB33Vz%Tf=?!\.@a{(!ↅ={K.dXJ+l-E3D7`Qʟb AN-k {TQHcw\;LU6=ݸ=%\7:U;e Y3Gw}—gu9{n4=oÞ.~U.O>ɂ,yYhk歹UfqnXtd* ?\ ^٧e؈ `wb6Ḱ;fN-n;mft󐘺! K+i~euElH0aSua:FBcÉ&ugYZ558a4d94a8b9cda5a45131d2a200aa1c73411b955a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da09fdafdd0cc7a301c7e83239cfee8f6ed8fcc1dc2