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 8!Ll, ]]]HOL-Proofs:threads=6elapsed=651.195cpu=1555.984gc=253.596factor=2.397zXZִF! ^]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb9yG)Hmv%QDJȆzupS ]{~Ɓ憢 Óedhz};`7"RSݨ3#u)ibExW:ϐcnc3ebl! I,\}$(>VBa-L _Z(/"7TpsAQ<+7f$PG!~SA@o1+L/TǹvYf7ˈĔ%,$bơw:*mx\x["& ]QkC6;܀,}a*=>mVeù[&782$ή0l!Ums|+_ aiQMFT[7c*jZ|K`Q?>!ACA.(r1:",(: 񟖣jk;S <̢id4k0sNz+a j>zbʬ_\\-&XO4$fe*G 5:xhz1zZRT8W|SbZu?}p"nd-Ctl=L#% \#Sj$1͸.*mvej=_I@uq FdK/_C \rKB< mD*A)G^L~Fex3g6ql gWq-Z)QI9'F폸v7f֬?br9\e c28wUlJ<0 $m~+-݈o ^L=k+n/xմ- 35h@-PO~+lWo_ѝDV{Tx [їzvV#VHkp pg oaY2--{,Clu֮~ \\MhC`g`'NDs_ьFk wSJba_JҹFW, !&, aD~gcwSڳ%ղs 3HcrҐ߱Z-.3Slu[B_B*pU`k2ȵYo+l^qlpH$;';'EM֛"BiiG[WyXPoJo;r?Baq '7b5smlLOR/T3s4iacMC#wl鷤^Aj{F HM_p6z!cqރwwY$maWp0QA<KnBL{fr^+x.!ʁ#齴L'?.Op[P+y>„9Zs2zc O^X]LX.V:JFR-Ys$BJ|7SSm>UY$kZu&`|A%>JL -3Z\M  l˘%C7ZWiW?[Гbup]`m%龲x-~xUG.ShAc24HN5Td:YԺmIW"F}w:5LqKZ`lA IT2`N珧Kd~|eoBnhS=F]kD+y-KO Q$]3']4S-FJb#Zmv[5\KI} !O)WM'SB)>iE'ᣔjFO >-n"ނ[09=8K;z^W=Mm= g IίjB DiބK}!5\jKv'!.=!R"yV=[  ! HOL-Proofs  412va:<9կAX@]b kyX5eQAiN5(eR?J%"oS9X ׏-tl^ɍ۞`|DT~d޽mn,StN/2%09_:ўJpBq(ߖZ9k c/j󅩦إ}1!RIWncgںh!*IC"! 9,EZI8V_`6"tYF#ďuVMm+-Fc!2ٖRN۳tg-=3(坋}4S+Fm' /pn;k|e8Ef 2eV~G#Q4Y]yyZ77tvaH8mM%8PTk4܏w4Qѽ) 6?M2"k 1:o :r Mfb鵎Ki.졯ҥ.`c׈ Ȟ%<¦Bn pVmXnj/^` aAI4E;gI(^ T@/"c)Z}:b^9N  ρMՆxTe=>aN:c"m,L4ÔYӣ._C%vW6UpN,^4Q9/qvєyۏF`伀}n$k@:>NVk/ U?Ff[ -]9GY>22\mSդueI4@G79<]<7u @`_;4lf9b_B/eMp%#{8wejRɶb¦}Gp \bj%Ԩec%Q;W'c+9:*c3mB[E(]j~J%vJt#tB?Y%;_uzQO94;yN(hOҞ-~jǏӂ[u[Uv$s`bz\tT4ތ1ԇrc1 速 Ǽ‹n=l+٬~g8D':]q[?f71`9$Kۍ8J}g=YX ¾\Py-]jsUz?tIa)hR_$LY. %vwH&yFw.ASESsʫtبLx+yf˰x6YkG=qs" l6tcHe4QvGϷ<{?*6XBv0:5qEnWDj܌{A&hyW"WF$2S׉Ɂ5fDhS,8|{6T(1aPev'(,C뒢 Y-v 2m QXl+irAl}Sٓ# ɏFO n$k }gGf) `KWeXDOPr>^T/M;e[̥rHʩhr2K(N5%MVYMjdX/`>:4#ɇ ‰\˧QaXy(h)oz:%vҏ[M4ߓ{B`53&i>{RM]) ud ﻝݤ!AK:3&n&tW>zf?`,`ixbpuTJߠ'85Y5nD(cc-t+\+s6W aܾb~d8LCDEI`<2>l'`!^< ZP?:/IGN#=|5ӿ~|1եvaClY C6J vرn_nzohO*SjgZGOfO=x84d(%F{U!)/.;i'|^d㜜k8w[nShL%уH`PG}g5: Ђ%3l#b;KV?ªَ(iIRHt bZQC#[c{8׳ce`\')V0=s[Rٳ,{.pDF2>Vf%DbxL:Kծ qiE ]z밅;Dc.Ie WL W I6U.&~틶tcOZPC&Q8kVĹ2R?xvyо opXo˫c q -I//TRDV57ܖsgpS~;хăss4os?EHMi͸Z;;y{5}~@o kg;U Ǹ~pxX'5q K͟Kdu3Rb\nShV#N@Q]D]+Z7dqH-,ZFsiouTt4yXkX)LӪ4aH^[,_P!ba|<8ʥ!{%+:BعҮ y:11M) -y(!VLkYw,̶sݒ^_F\YnHexC[4xPV{1J_J=DMOmeRXG^ي"]5;jMDySyƘ̞cEZ,BUo5QHu䑥Y6xxgYZ7zXZִF! j]ŗXiɟ29aoʼz[%U>EM!!Bg^o>nf&h-AnoG&uX7׽5O5ck7ܘ,=_r q̿PDEάB)y 6HT@VޟJP[*[co= xs s>8w h7V2KxlA[Kj7n;leke,5ѡ5MMeum<}cə9/٧l¤|X 1Bk 潢uM")2:㐪?|Mv ?yqnnM3[ih%وA' i<,\^'>؜1&۸;9`Em**)!V2{(%LHd'PS75Bpyٞole0#Uŋy mhAA3%>u,Cݔ"Ų0v nչEt'=8V1<FOŊGqcbv>F:yHM8d'o }d݈rX~嘤?fĘ$%weDml3ĊHfR";_#U ƏArO@ñdaxǓR<Lx8 pۿI\Ik٬f}Ϯ8o9=g 4tq)9 %)5kPo^$/X [ iSIR`OGoQO%(u8  g-~ UiTWM ] >V+/XDN䪠tͥFLH Y'ң hs~P|g!"iʭ"|[C. -. VA9KixH~4ZHE(dI)>6${m7'B r |ѐ=_yhX@3ԑЯ9dz>L)$”=cjs_.c-<5IvpC8tɱy&(ա|)^78*Lt3>':ЪmFS-JHPOA!d[uVhi0[h!\9S;Mqۂ@ / ?AQVYޕdSҘ/:,x[ͬsYX[ZՖ\=hw.+cFcpwc%ƈ49 6t+84ejWG[ (N^g|^{۳# GzN;HˠOV[QW 7K{uڇ쑥V Tqcr. "@ 9>i!L1۴;Ȁj 됕4X%<#믜0'k w8?,}fCYlk˪|ACuozEh=y|gGR?Pt.'gyV+cqʄ)/:%l{O[?|.I"6k}G0{^b4F9muDrmh`=h+]WP7kA>Pv= S#kj~N49&$[\ˈ_c˲ou. N17Sk::Iٲ|)os+1T<*>6b^UnozX_ӧxy!STjYSe@ȍb$m[Op{bD2kKcgYZ7zXZִF! x]ŗXi%@^pBn,={:n\b$wJ{T6 弮tpHanDP9Ӷx@X^N3`^)8DHg[/PdW ".VˉUǽ8U6.I7ͫw3;S\SꀅjFOQ: .TY^S`k%d! :L 4h>H쥍 A3֒Qu )8K:J]Ð"wK_FAA ā# QZ;z.gv+NpZO>cc]48!.q*\SwWNR㦂tُݕf*Iaij+ 6"3ۑ:HSs@%!4+ybsp֯WL *܉t/Zf-ގoCY N-CA4KL2F˨z̴'&V@ 1܌rP1LN֛Fp2tdZJZ`;Hv0V5<;娟dˤvpи~cZj"1U1͵_/Gݴ{RSCVjHzsk/D W?I5v)IiX;](m S0 l`D ʸ:rx?^ݩPEB3Lv.cGcjc&ހp\gIE"t}"n3N OJl74t~(ƃ i:)Gjd dgt#VH-kLQ>dX?vxzQ.%37b9`-5旮 &]אE٬/ǫ(Ps[9{E̲7ω23?+뎧RqH/.[×!t?bXZi8*"i8k./S(P|1qI$7iin>Jef)/;?qf~kqfq2NR@HPZ.Ar0eT,w.z$ tC=d}Wzï9" uf5'[N: y{$^A}I]6S2ƪ-BIMF-[m$ݿ5I v) `hJw-ѳ< \~j MVa UjVhIX3m^=6Ek =^2ĮɑUguϊ%eeEGBjy= T30˦YvZsù8MFz{?ŵ/GIłuzO]i;9rcR CgQLQ*+hDs]vbԟTuѢUmdg3Ȃ=>2ub];>z<ÃJ(hqw,Tԉvދ-g%e[2dre>-m2{ TGNdT5&֊'cJ19*hA)iE"e-_BSr6nr3I[&^QI%N`cwX̯䳲$' 'pƺCX|PM.ђqJKPHǬ-7"UlP\Ux?jz %\kpro^~ XVѲg2YH5E9+ӈ.#D4|H^;({b,զr0V|A`AbsP48fHk-?r:C"+ ֯Jz%eC@NBxc obB{;=w[Bīy~G㒶pk5?@jRɗ"m{t$ .Oc+7\?ɴҟgNYY<-=$g_ґ?N2z2Ԣl{uI8"1.نĥ4gD Iܞ!jYĝNL9=\ҋ1X U<q+{R_RKׄ/Q9,+,bV'n|a~8c̚#9WIX(=՘ށ’9cѣ5׬ r){C/'/i⟷ ].1'>/[Vovf֞hy2q:c7 #(HMIhyM B uUU8wv{lZO>QߛKa'ehw\Wh|žŸ4wg8K8*ޥ): 76Ӫ=B=V-_ÇLw초~ CeP_`äҾض !(̪[63޾hxdsrX7dn@PFSed{,T㺍#0aOڍDhF% BיIсABvdk@> 5[&jw4g=ݑ r-NW4TGb'`iЂK'u!((tUi.5s$nt GӹI> "Cgs.B7|rVKk8A~@bVFMq)e251&+,n U EwwIt7u4P?q[ SNJ/=]"ӫ!Z[͗$̥>y;h$Brgȱ Uqv!/{nk'oamjM%Pea>;tViG)5 5Ni"= ۝iR@]wۉ;QFRv񐭭*\b=IeYРa<2-ݎ| <]XaڠʕρXyn;L)@2/)alXزHDPLՅkJ埖Sūy<ٮϺ8MfV8Ui 鑙R\b8YKtvro@9  2OFT OsDG2$dQDq׻(bZVc0rZe/@e=U8?Ak6Szm48zd$v-9l6$@*{_LQ`Ah$?$ p`2$3)Q ;3)5ႇ bω>fk ]y_~ i| a7/rG?.p?AQ+5kG! v"#@0<]$IĊ|·j4Onw jؖ9QC۹Z|zB /ƌpsK91D 4|O Azx=EGꤲZK0@{ 5E#7tIZ }مpt gԠ\l`WM,b,-[YPoϒ%Kaa\Amxv~)r=EbD,OCEcg`Ӄh;K3,\ڦnT^<GUI!ck ]k8xru2>X-%zh~co s,,h>,?6}Ѫ;D;?lS=> y.)~V G9QA5yzOey2Y̫b_|AHy"8ϼtRqzO==Rшq /Bhn7_OkEl_n)%n|FkΠN 1ɁF>sC:RpWEw=iw$MN 8;RjĶi xCK9◄ԓN} 2"W 'ֱ'Q?I)#UV!`J]̿T}0h}<~kkleEWPڅeC$c Rm+[)E&Q,m`J%J+!EΡVcZneJtcDK- ъbFQC Ah M?mtWa}9X }8AYcc\}Zuemo5iEBG@:@T pSnjVϊ97t78wfY yر O^-fϰQ30BM%[i,kNҽc]1^IDD|> XaQb.UIV,3j|EI*1`fTww _hg!_.{'l &;%p쏎O#DO$ҫ("ś@rȡ(h6ݼ񈎻 ?M5ŀ@o)nYt!U&P+_k]A !=.Vg=r%ZslN#grvC!}nFjAvA!4Si-Aߒ5;p'TƏ Y{]v5+Ӏx'm̬tet(~xC'F{RoӭkHm/gatTivS۪2~ M.>*e^3G`' )zFZ9UYi /[_}}!zđdP?kЇZ(g#/ݸE*;3y1}0k]>i3z"I#tx\ &]YU5K|`%]+)ݯˎVvzoKix(tJϯ`׻xͨ]:-ap9Գp%O 83_Yz q` DZf& 㪗b_3pwu㯤c:XZ^Jv:&$Οc{Lj]QA=0]buݾ_cn9=3PM#ujz,$+Tǫ|J(#^ΐgwxn&1D&jGC5), U#{K߿j?t X""04 ؽ jw%)>7~[pb:w'_E(i),KZ -dkmg΄Wn~[6d𯒮ώ8="dg*BYVYq9RU_ezm,(T%\؆[a ?%dwteCTO~kYbP.zac@]*`+7>rZy)帑Dͦ} 6O.G[PB DKO:h:mH_):C1`6],Kq'O'XMZ'U: 8ā 6$`޽k*BײIƫ7njb46?fߴM&aO+R7"$.ٌ=+^iKߋ*'R7VN~6xDsġxj8}S>̥Ũ5!}5@]2ї6IvLy s>lI{+-Ko)3k a)CI]블 & 4@bPLGweNvIrE g~HY|4If2V8|q,+rBۋs%2H=BTAF|*$~DbLj&jԨA YB}=]PpO] >Z.hņb-CXؽ}B7ʚ "%/"}4jvt[#`C2ST\S"tFyȚ0lѦWC\v2y};ڤcYMŴAqܾHb8`BnjEC*̑;`_*A{Ǻjt}sk%GBli|5f ^BO.1۫Kc:GN D74v " `ґװ27Xͣ)0S.IǸk@@3^dlg60ibʗơqX,}]r)ísXH O2oofυF?Mp؄ C^EODK 5whC+VRf6޳mɢϿ;GHKEبmDu0YJggdY7u] 3iYNƔl\T+WrEtrVa;OA&)CxjP LrHz;dV N<_ eoֺ{[NNFSܤ5ŚV!ӭ%9Lty S.9\ TpX?6]M8_0!9sr9꟱.? j=u(!s;j͉[ٰcbb w$"*q:¡DFzrDii8Zm " CN#[0<qO+BX5)WLɻBo0g >#b ОYBq3nөHd/̛ e}pz)r#O EQHT=(z(^(:q9T{)n-un4Qc7EwYXf;si}js'EK$xh_l{6ho txM=ڜl#I$nf+,]EOK9G!aZ[\itiQ]` .sȅBRZjp=̄Fv*Z*8S[4\J H>qh"O`cԈ:\\ggVt](Ww &CTț4}P\(61ܾߎJo[ Y}oYL*(B#O.I8?!Z I_3䗲ޝ,Rz0q` 6 N(ȴ^a v"M88,x_6P2-fCy)Ѝh V +ue.듫 9@AsXhj<|&Lkį C&:N"?& ِIC~Vl:WyҾyY;*/"8m񬦶O_WDegy~K7*"i {5N>B8 ^ hXf\"f{!BTMpzGķ@Ѽ EI10k.̲ .ɳ* :LL 5D *p3p8]Ȗ!SG,~N ઔٚikU}FHg?if%^ǩ?ƻ Jqkwant׀ŐZhHM1S@ ű~p$xצ (xr8pCQ.) .κgϐVO՞P",1TZ W⮐0-2Q?W"]o΁+>Q2%BF9FnC(|Rh )m:< yߖ3Θ1PhT}1`踄}+;bE $)h7S/Lj VX~̞֨vOn&4R@%6 ~f.רZKZ|8 ]Hv,=CriwV e* 9TOcǞutBG̵ְL Qs˺Θ[] wPo݋12HVgJ3[5 ٵS>s$Yuk )D  `Nf}Uf.HF2 R>[1\lD/I  j-xe>8y*ʛ0:pOtϊ3r0c/IL^&6G3w?3i&)?.db}FA=9[DJ=P⸃t7!(SP-d.gxsj%} O0=7gLLw_b%sW]!Oew;( 9y4(=o^wF{CRBgjo5R6N#48QUZ[<i 0265)C%TE;l}"3Wι8j >ڪFi^i:@.lCb4(P f;M;yhh5NFC M8w 94).Ǔ@1=wnO2{O"mdMq)Aۭ};KV)8Ym-%+BMFwq̧&eG bhta^}Z.R { `3|]Pg.!1"Z;sds˸UճH×̼y0S5B %K"՚o3Ao+ʅm}Cxv`ĵ|s̨fD$T}Fg#3RNc|KF1av0_:b4SzTO逶WsMdŎT3&N^n5M-jH97 xRi²-XDT1Zsp>(q;XBۈ1g3s04+zPymPm("Ze܅ HI5!L f_z $b}[ *9ɾˉI]X_ȞiՍ)}tl h]~zʪ>g͉(Ч͓KGފu]hĨ&wHrΙls{d:pJ'-d6f#:~:wn&@SR˵$\1u1a /q|-^X_5́2 Oo[e.>//̵MaA|V.q(bXn\>!VPFX4X/ZxiןjVwt0[Ӯ%2l^ iL4\hnH_z_}'JON!B$4ю4bۗv,~~(:Cjr!UOrrΐwڹc>Ht09FP~DnWuTR%TFBVHY%`g?M+4N z`ԝ?Zjf"U\VUp33(LiEy20slPFǼ3g@CRwŌ~=j.sx8*li++\q1nI7ЇT/Ut,e7b zc4SzM+M.N+-GGbF.cE|P`*׮/0'Q#瓲s)m"]4Ϩ'*rf4L k1u|س-+u=#|D̫NtfwPCjUe=V8v{B(0˦i('}l)-*7ϥ(X,v)\? !qFguI"iFo)tIgaR\r MBQZ5$K(;$XZcS1L\J'j=WÁ5V?$lm"m~`wKZ搼YB2oiZ&1Gg][‚`謢!Խt*v )*l>=(70 43`Af>+$(&cPxr?y!$ h()PFD+r^]|E4.Q1㿝Dߔlq.Kڶf_N "j/4,]Ajd;ؔ<OՌ444K:s鯗 O d/=\W. ԁF0[- +X(nvHuON&7dap 8y%Qd6I[֯O ?l[Vo\/?XFc SդtCDthI~LN✹;fWü3:\25 k83̧aY0Tg G& ~|aXGϔ,t~Uzrm8 DQ40c(G=fZ` 0hv-oMCrW"i]VG\%k}aTmb͒m`Kz纬+oZx)h{Ta>˸ӕ O+ FG|aOԑJOCŕPƯ΍wX_2iE-~}WKBY&)x_q'h v3KS0=U@9ϗpqZ~ކUܠm?dgQ/"5gk~n-e0 Ơ齓U3(d$/3uz4+8QV| 1豜’TZ3$.z2({^KsG:;frl@i*hqY H܈(ᵀ>O:@2UU%qiTD=s04nzRuaR zrcߘ`b ;NMJ$pC{z׭HZV=@KoSAj F~ܭ_%-|/xZܖ){9q Ba:]K*\`z@ sN?fvw<γwX&ûdnJNl[Bn+nYu3E_[bxLPNEU 1 qH#]6IZeUFS. \kA5{fTY;['_ЈpmVQA xmi=@}[o]_XU=輧 p5kLU>{Ⱥa KYȗ8@GT&N,o'J:\Iʁ4#8BgHYpL?P͜Gxwqg& P_Y;mrT8 oB߹ȲVtL[*!(\6jfǛ*k1,XO^$ۓ|ϣV WwY~9fzv#EGV|DdCt c;,| BII+/!EV}23C;;]|<3Ooshj{G_ Trhb4ƚ{rdx:}}Pb%%b(ju:+؆Rq 'calohgF7E9ևEVVB@ȲJ7;Ib*uyo":;Om=@TZB-*HsRZv:*ֆG3@.|ղU@ *eXpݯM3eCz|マǖQyKp5@tJRoq2~Nftk3).+Vw JZEQt,$St.my! ޯ5!:D~3ƒQ-!!3') ` [mwc'dӁewC~~xV0:\%,),'mX`mbxIƋM"&,$E^ޙ+\-,g<&U=Dg$X0yd1 +'pK/O 4q<dT?/b\`0VYvʌ]~ } $@_ៜeF0]b9V!8Di)/^4VBsBvDŲi|^f =0^YPm*-uUwa1.ɛ<U6\6ya@KZ #/{K_lգ: @aBjׄH 3W@Q+vST%FN nI)]DֈQ}|qw0JB10 MlʹdU5I\^ 31EBז&HmXH@ѡ#CAS= ~o4'6TNNʠH>.EZU0cKmW ڸ.Ŝo~G"`uXz`G? 0T[:$4v^f+6=y`MV& N>t˧r8H2>`.gv|xP`%)vKK* WN'9uny4r%WND>N6E""j3PgfQ0"KAп>qUwY s3-g >+ןlXA 9kY iA ).U-%D˒A"#rm e71:>O2>E2pD4r(xR iN:v@ *95: Ǯ-< 8Ǜt:)wvML E-fmRyAObpJö$aDlHn`x6u%XB/ .F7)XyBLFGņ.ݗ^MVc1~W[O'5!r(o6US@A`@u6  @~6Xѽ;o,_[3Om!"j9 Ϲy]TX#!_[<ƺZ>D _ r%{BFc^ۃHF]A`-:C645X!y,*VM%g,eM4GlъcΠ1d-4Tb;!C ^>6 WI3 ^o,śx(Q "E[hf%/gр)ff xSu#*B_ypD0G'3!JQLbvpj  ׸F.&hH4Gmؖ-LSD @U@KPH.qD \pq>B{ &z%*Y3o .{|DiM"0(ߺ/g^qS?*VcxEh脳@*:l#;i3PBy nN-G kjV%f &Xry*m_Tǭb'W}<Å~KͮVtƋ~ri-6A$UW! pI802I;NwrUf)4g) ᥂ +2%>TKWv㲃1*0/|{zRu;6 u;V篿O^ZwPW.{DW?,=nTH?q>])Q6`ힻ|zr1Ho$h_Sc־+c۽[ʌvYeBn{_k7+1_I?6cn֌QWvwP1寺+R}1dTD,5P5Qsl!bĕ&p Ʀ>2ʱ"䣞yi9uI/g`YAↄ*x82OjX@3Yz-iLNA$>o'tm|f1})5pXL$⁳nKqK .E}8DO'{[Co2!/hK-]@˔fx|gd;)Ubd\nv.lm)3A]ɐ. oH0[k.qUVsz[Sֺ"c5k(Ɋ:R5pFfiC׻ٚr[ 2h(:P>v2Q$A4q!CFնwpxⱈapxOK&u yD$MtXW{/BFS<6=w %8e01,x@N#y  P`Y]-0OU@u";g7r&G9 n®QxrrX?:R'XG<^glbFyeH+dlggM-3>܂Ԩ؈? , ߆¬P'[X& 9Pg ?ȺKP`O~&s @}DM=QqڱtFHY)ESt7ECO,_O%UiTԦ A忿@{'[p,wOƺq{fr*1Нyͩs)?ZT+Vz"8w>6Be3ƾEG1O6N^y~)d1ی)YM:2ߺ4pBq<>b#i=% K`  QE1T2O2ΨM,E |{1yϋ"1Ex: v8z.dt>Z$꡿m{qIҙD 7)(BzEi/,TQ찏| x|^vQ9Bw X#Lx9C( PJ ]R3i:Tۂ'+GzŚP'Z}r(YvDKH/壆fN{=Pџ(橺G<eYk(|%2_K2u)T=kk<gʥ:]Y/w~vЦTɩ8Կ*s|zȀ Td98f;7kɧ RA ҴHYc.۝JB#-Bt_%}U-.Z[j*`VHRW ˑ'UZ;CqCrA- L,}(*o}.6{{ƺPCb} ًVmd*bع84ϐ6P|3'V&hqD鲑ڊnF`ޥCçzէDvc%y% hP}6#Gۊ*yIQeЛKzT;\42|QȺpH1mcˤofu68)޶?frsB dF ]w7~ )d %rΏ8=@:Nc3 S!օz{@/ljpe/ޣ}P &U U)њ_-""\ɬ;^䩲8Fdy(rIS:.hp}] ׮Xa8agK˷pI2y38ijRç3PK8wJr :ly4qUlڇҨq?7\4#m۸NSH a kF_A~T.xVsmGإpG̒GؘpiHlBM1T^9%jB?+PpR6W8(܈2a)崲Ұ-%@}H7\$/ƜwGwg&rx2d17&n%(}$}S]!1 00B&i{/ >pf¼0qC] %"BBtyH^ujPMG4aI!7$#rJs;)mk5Qճg@$|.QUn:Gĵ= R#ag=L!Lx}{eqRw.*XsAғrl<̈́b]vfu_Jמy pr`mHcb6z5Ol_v,8X#/ @ ֍pKPk8W_]%vh[ɄK;Gn[eҡY'ϵ*į)0?leFãh/oUNax D%+rgǤ;BGy쪮Qp 0هd|6-LoKeoIwd:yA<>7$kV!Alȑ)/V4YZ0l;|tctz_t?@Cy1;4vؔJ@#_Of:fiTH:Q]&^tqW;IqM~hevmw 2$ya98"̷;QG|l0dmۑ݄/feFy|9(4XtQ3P[}k]a_529Z˘Ȱ^fIMDƐą}>f:waKa`AFK(</idpշ3T,hNemQ`K-^5a@Fc*eNH0Uȗxp#KԦ=]ekjrMPp5#٬ߦ6O?.PP3kyS^^\*1.\g(^Me ֹDtr5k)w}l("e=Po,$DxEP9]^5|]9C8xQ; 1_z1ɛIqn'y·_]S32=J!zv. X8w&O=$Jx/ J9i4r]F0](=>vX$+~&XNL:(" qZ H8N*Vzݏ'+ą#v? ^YU^oCR:˒Ք—+r)2Gd]eMAMS^!}3W!zc~9\Z~^I&Q>\>~WҴYjQj";8BFXYt 5QӃk|Ʋrwq콟;xElнo*}5?l_1H?Cyqt|&0@5VpX>wN6CPnFJݩ=x)@R!xy~3BVHopB@rԕUۯ6V7F/fDerbWE::esth0Ydxhg1䋔\[wh+`\AN8,<㸄?[^OOflf:Y=?P N: Zvr@"qddjxY@gUJ3 `xYB `^Mq]}KA1GcXi&0NUc\SC0v"J,-<,O3.34UxYUUBKPvX4t!|^7[{;t Mߐ~&B2LϜއ_E([@\vTOF!-}PXH蘳|BB˫ԹM# ?g3J.{횿rBکd9c@ZQ9Ŭ;;4 }ҟ#@!IgV6?Ozz2BvE[VKe̝̋R=֥ErLPKoa)QϥA ٓS~Z] NJ6tT01\hWuh=]i4ik!#sV~Vؾ5|(W3SYO#׷Z-^v5_Ŧ_/8܄)1mS5ű:i0d>3zAx/~'oWC}`ձ^\ڎ۝>}&7)&s.!kXŸ ^t#-ZTT h"!I߂#4A?HENL-kn^scT{t?C֯HCw}f!w]$<@uS_r#z'ܽ5᳄VrHPgfEţ)^Y,kout*drDʑ)5#hb㳠1Z0fz5c>Y)KXvzT3D21_}هw=p1a'r8!_7 F J +۸xfu-⽓Z'ga^AVn_yj5J8"S%0IAyg|65# S۵KkF8%a4fu2c(*'B_,HWw͞n *XC_*nit=_ e_w$7ct&;1R;(@m'~IY՝z$LdFT;WW%A g;\}+4i\w1K Ӳ*ygibֳ*2c/ Ǝ=WQZxF{W WҘ76h ZΛeԳ !0vI+QLx.qn0k1&`F\n GNi:]5 q?9 .Z? et >F^sxZuYu_).Oc;Wvx H~ hՈǞDK%GFJa+;Sc]Vdda-v4qRWmՅ)߀FjǙHA,?Ɠ`EaBo\D^ b>c@_oY BYs_eI01f4n].Yt !޻N)c&g C5M5EiK@AvJў5 O9$p8EI|$Co@]6x ;b>7S'<9C2Cm@dwfi~!jgn=( 6kpɲŒxmd2e[K gTD ۖ eX|R4þ%yn-ШW/" ~';.@4LC?k>~LPUVeRM qx#==@GԃMFrbrHd}^Ð ?J;l۹`?ZE|8"JC$Zm;i[]!k ga)`Z1p G>&NԓFD; '/P  z4/Ud SH{19M_h< St#pm*L Y+ 4PHBۺ~+|IΌQdZSKp֐Q|!vJ$o#utAN 9\xڝ CxڪWRW5q˻cL{bIQ[0q%>p7| Jf3T*0>Gv$!½ Hhu?e!pWaj'Ij cPSd3LKuIѹ`J7OU\OnRϬ?KO.GsAFdHW)Ik ?jdp̔*˽BEobc<:{&zNcb[2c>ľ mEΞ3k8rsxs9RfJ9dTݲ6Ěҗ'9>QpY0k^^Rk(J>9gjp5  v!{I'kBF=J)bʀBl9afON,FkmpaEyw莚tߦıv{lL`X*m*M`2R"٢NmGOV}e1ΟW Ƭ-;Da:k*ƻEN?KK\' SE>ۀٽȦ̮$ 1"!qυ]^3i!.W%ue5 !$KjU|̀ ;́)I G?`\@-߰CL}h皰DֵTpzG#ɕRK |{|Qn^V%4,fK> % }r2xX@w;R)鼬w.@IA5NjY]aY-.^y$$?8/~QH㝺+"!v̱JU4v `=d?Y|VszQWN̨ւ.Ԯv+O1%}f3h yPg;ۂ]!?Lcz%d^XP?@O5sU(̈́aaʞ$se̶EhONd|Jv t͛ !90*ɫ%P&vl.r U.4[|s۩1qSLN7*EzRХ䈮$: khTzK$˱gvK'Iia`Wane/Q5LQMK\+n[ cYܘGO-u{cVk",R3..kfvR8˦op:ȐΣM<6TNKV4JLM7"[yx-sOZ=,fXWd7!WyA$٬\Ә7gTa_sFrui,l_A, EvsV1Z N4IAk$O<7Y?B#F#A#ģ?:I-ǚ3]TUAq_+ENܪpP`[z}?K!Ċ^* * @60c!r3DJ:eDc+s*jAj*N~mPQ S5Ry-95%ArSO"Sc--rB5MT 3FPdn١%:{V>,:ǩ!6񅌊vMtZ3uz:wB%z{4yT`1ϸ:҉49#/L$\~ t;t2/!H7DUҼѓ<4VNeUޠ-K_9x&~%+bXK"p[Zz氨+v|f'P*R~k.)&.9zmGSx^tJ˗A<{8@iCflIVA N5Grj aEvM_`e`Z8ߚ8\l=0sxFZK 6g&|?u,R\-DVaENDT,~ᑒ[X,TQ5=HqL9iSȖ$ M./Գj{/g?jNxPcnA u]OdTdPs+V7s J\2<]q.Q Aso=G3saB9qH}Fƞ]f47+&-b,IA0f?rJaĺ~KS@?z򚰫N=磌D"7܊3o# K8S4߫K3|LE\2flJvS4ܗkÁFpa(G8Us'I˰CW>GD=)P\7D̤}J}9@ uzry ܊{vy?^D%Wavyt)BJQ\+F5[j$q  |TJiJ>>jN[ҁ Y pL"$Ț AUxjy@.Adq8,l)S<Xmey O !RN?OSxom|᜴AzG9!F 3$jՊ@ذL"wt)vEMm9PkieV.aDQ[Ю_a˻} hAB=~X+tSxl7\cUh}$Q'42!iۉb"P.'辛 3[JkiNz=H# >b^3$+י0+Prx:;g Q1gJ{[NcO*\2FE<ԧ Z81>k^s?n#:>v ^c0'x؍hn^%B~g;S4v_A_3BO{A+lN=M5!LpBICh5ʼn%bz n7'{靠q2s}F N27N2;lz(a(+|y%t\"J(~O~!flID6B鼴(O8/L!k~ pHEȀDipPYQVNp67zhXpn >h%"͑1@SM[G{OJj\256DƢ)ϕCD e( mG*VRqOD݈f* \|xOM>5O|c|!1KhDeLcX&fH*vc}!uܳxٛC仡@chQ!sO YjĸB_*IbEo- ,yCoڹ;DX+rZI p!v Wʕ.qG~e*~Pd4#1mqѱOwU]lJX9L `NQ/}tNMcR ~43KH',@>ۮp)fE`vg&kGJ icdwTݎEQdl[ցvvD.8މePlY {|sghCUFMA Uw;f4F{<}ޕ3" 6G]ÚMFXná3`i|Tx$\ 'UtfўؔB~1/NO 6lT_*J}ciʠ;@