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 ggmtTDd ]/ TLA:threads=4elapsed=12.215cpu=42.368gc=1.4967zXZִF! #]ŗXiɟH)0%oQ>Z Kpb1pב l"=`> GR GIu:8G9ǐ+\w0Ч >M湔ȭ?XJ_jeOgƒ+6%4)&!@PA;p(Cgڮ߼uwj. |yv%`u 4`7wd4d9 ߪUW1ZדԄVl!ǖM+) Eaf|΋cS.38./+Uo$1ڄj17`N,b=&s D8lxݽ F\ȩ oV1F 2'Ij<ÔgL-枱UUTu^%]k-T^׬eG#߁LV)CN6\xs]UdKvCm?qoncEJ}$P62|lY]{KG. _fw"M>XDkg شUnPnu[z|HT$Ŵ:Г$|X Is H`)HXQlr/]80}1կ?I׹[vOl ar NpOE1LI U%m;` DFXxUJ{@g~=$g*?"ivStpyxSQ>.56FRŠD,2<"eH)dL/ JVPx;xv˱FpԿr1A+*i| 6hY*?j@Tfy(6JF~Θ^U'uj'NAta BnBԆSI{"f- *)QpOd$DX&q- j)cv 8mZWkr) Зn0ZbPS/ˏiNUD11 ^UYaBa:BO4 顏.OMbW3I=dMt`&<ìZ?䪐Ih&RDJǼ]"X؎@Zj[ZwL>fDn`I'Bt"@cXxu<= \"< IgG% ôQT>%4 =s:@zN)Tז$` y|wf^l*%ښ9^O~V@3-ck;z]o$ѾMiv,]!cܙ/JXLرId(֯-9a?fuo b]7 0`IZZM5D#`Q$KbUHuܐZ[KfoMc[6I6 @ӕ,y)·eܸ8 ,$ŬsA歋)8x5l'jzr%R&}}-s d*mΛh{xs׹5g "Lu3u/֓Xhn4g*xB *>/!G_Dg!̦jqԪ̂r浀R`q"\x"Ǟ? Nә6R9aCǨ܊boaP>v\mPp3vq?dn +*֥UM`3qQǀ"Z~栅silJ^l049KjS"F#LBȯ^eٕ&,}NJJѵ%35yP?-<&$ S8gM:߿_],eP)Rws,Sslp]yvw[ +|7{x5m916Cn\.+hIq \~D"6yX!oD`"gn{T0˲<Y룊mIؕy8۔zQ)a TR𠺬 ŀTFQ/n] g>z6+ֱ?wg  TLA  ?-(RjBߦPu;VZ]+^wKT_=WZB*㑣+b=z{Vl=o8<| &k4qtS-ephpj8T@ GJM0]j_&]]׭ܴGB;mwC $C5eKq6.ޥ%꣙ ڃ4O4%Y~Tz@cB tbFb~H>m] =Ԑ&&shAvL9N XL.h<4"~LcXm|84ICϫR(xםi6϶Ns>X}P8{A)WZۯ l9"'ĦI: ,v*e^2G쬼m)bCc5?(Ӱ8,*-P3y5k9MfSȟ gyNDiU0>,v](?%R=vf=uAWt֖ :^T ̫(*$sJE9/7fErd0s6LYO4:4'1'0t˴KTH( }ZŠaf)Tm3}H=@G i TebYma"s77N%{{tH]zF|'sյScm*R\MI?tsR#{ڱ ޣEDg NT9|q|{aucA`ں)ITSOD6EHऔnt?k,Y%ހny:s&{pufЏv~ٕZOl\pg|%PUٔ0LXeֵ‚G8凝Rq/ZUˊĦ#<*` y*ҵڑ1zhD?b"XEx+=M|atF UKӬLԆD9F ",Vl=jJ!*U[4wgEghDeSKcg#ppJR,~1n '@דM~$7:?s!p$.Eag\KТCȜpu`ɞ?C~`)@'v0\,F$ƞ4!F@Ғ&BqSM4'kx#ě[w(Ҳd=m!yh 03u}MM0|\o-Qhʿ h m ^~rzyYE]'q k6z|1fKPd\n EU2UO ȔZ֘ "'e[1&T$Boturv)RijtZKHuDpLںFL8 |jehziw/U,k,x{G>R, hHӜJ\vImlj]YWjiQ$ySL"-UZvd`}ec"T4:£4@pM*Z$?O쥕na*Vo솗M] 7d+n(,ܿQԣš)L29b0مCmh*@DDx$k$3}F *HaM˭ϚAFQ4_̑Naz!. ! =g';˞tgKpcx y!s8,^Rs=B@mi76rRa1`vcMvFDq}iRb4}MI9 wfz0XσwfHyϒLTLLiK5H!tg6&ɽ/{DxAEgsz'KO = X7Kе! $l( .='M].Tw0R)f8v;hm $SKt2m!ZB/ m8X%t?X.˾!z\)╔McEFӇ"yju'\mNe<We9P>H$R΂כ3^̚7ϔ͡4(9gRҕdBNpN͔X0F-@LYjz4R!¬I5T3v2yo Lx-q(FU!<?\=P.?Gm>Zw7*I>Z;0>:Mx-EeXsbJV0`vlI-)VT Cx06, ~JNyhSTK|ŧ܎ ϡM,V 9:؅,7-#!U[1=!6&iP&cꯅ"A򛰇qFw|n\TaS?b7`*BBT:$g\vd]$bJhף]_H^]AÝ$>1-,c\1 ?Ffu,fš:ڪ|fFUj|b*60W0Z_NM-;{D>|D1.NCH? @oԶV,zd?s}?2'zN.70u.BBga4$,{D*)ܩEVwB p³K2lLDեiv?a,:vD^H\ )V,moqDz3n*uZh+4oQWyiبilxk2QSW柙!6 Ҏۓ޽Xhh/y٥%{ r>WF[[w{P.PnEbiSEaS'DhFSrku A?tąAzFh:. ڿiЅknv'^!&tԮ~sZ,nt:쨀u$9 ׈Xvg{Pѫ>ͣ>ďKg'*A"e/lQZ=y|[ "Dy{mHޒB^KbpwAP- p~ONRTzJ2rSZl.rp`<9.†<}6e:[& K,3W-.S=]&ۑO"mvKpUbP}5G9RH?> nxwk]OwK͘Lp;O MF X:R 큢/ 2ޭG)¼qc˜k ƶx4Խ5$WAbZeh%2 I] #׎z_*z)f"TA,FZO/a)a9*Nޖ3E#%`*3<ޯό,m6ÿu)H.tnO6p U)tp7P0mM0vxF6[?ɹ.CYmDr7S:b4k!{{ 7^9k͊Ŝ)\ 9l؅dlG2 $ !@ۇCSH`I?Ka|JCA.<¾3KHadQ'>fƘ)8 rIu /֐q ^ZxtN*s:ləG%` ܕp"hWz$X!<ڽVK刢ߜPFSjH3ns|[CWDw WC*7;3Cef ˮͺ6uȔvBw ~mxp(7)F&s|Gj8E#t[ zrTVe烏{eusZ s2_&R厉0H*,l9F,;NMskԈS=on6-@Ps=H~Hy:D '0]F މ_X t1S>û F1&ߑ X͙LsJ'yݘk̺jM-jOЁ]vѽIλf4NärA6ȲKMۏ:TG`Ui ﵪ#ADYp onn=Yk ȓh!$[p~Q#~i9޹ ov&YiU330v`>և4ƖNz񯜡 gG;v9tD ud\@Q-0)) ;G&"4.;^ o J%"flQݿ^:[ Y9U<#kZj$u @M( ?&vSQk N~xP1O骞XffߘcWwGP=11{ ˶au7j6XIv 0 j)%+d } JT9P_;'ѾKL;}% Ij\/V29lG]f\F? xq[Bё)ʱ om>cfQӞ.6= gR8xՐ qW}s\ljW:t4衦[B rfpS/RPE_&S}1eOּ}>o:8@`2'V;ma^сr|r ]W.l" d7$YIPQҜ}eH(Ű+4pI?V %!TTSz b0tT͝'nwa.5T) +2Up_򶥠7iԲejB݊x:OWGMm߳xrA@qo@#xU!>v734 Oa.*rQVנ$|[%M'"=eM'v闞_&&*kǩT 1D!@f$* J3(L{GFsUS_=.debV,xT~UC^Hc5C`\Xua9n6 U }S\2qcn,fڛfo/*5KAg 1ݬ29э}$xIg SͮߨMM` Fn,ҮGc&Rk.]EQ),b%Ѱ&g#u"ܚN@mSSŏΟޢ3׷}9auփJY{B:FN`Ţv Dah)oNXH Ƞ2#dSlϠƀXy=:ƵV<r$,>T-xF\F;[H.6ִJ#QWg#IeKOGCQӄh7Kh 흻~/O4Fr 狢B|qM3yqPIzâyRvgpCtmP=>!2E- !yeΣVA+>Ja? *+s_7Ny9,*@Ixߑn,/AB״uN!Ho+lY.Jg% 3s:hatn{q3ז^ 8(t\֦73[hH )Xk6R!vcǹLQr\2JyM`f;vČB1c-pq!. oYmxS0l:Xc6k)E(PPaꔥh[ d}/IFʖ]DGO &&$ ;iTA,.~m5_ IMN$1OQV>%#[o۹.=) :螬yGf@0s L|<`zEBe>W2e+c`ցFͧD|a<ȏ;*!uY }1O6{;)\,a-LlqlA1)DYͽqY˴bޛlhigzX-B0(li]!_ҼԭEO|.3}YhrSRc3FPr7{&x XK-bI,qю((ˏz/}A̬qitGpb)$'+j 396f n,GBfߔ:1b 6?IN64&H+R)Ͱ ~}"$y,A,|1A&Zٝ[bEFzyd"+0 "Vii(B` \=3IhҸrtLwWJm@=\t -mL6doҽXjx4vvz^M+tωNeHp%x$ǵ?W`f 0=H&~{w&.xf5poRΰV%r>ʏAGk4g?DUc}\Yw샰G.тkOiAPn6l_@.1~[ޠfQfK~uUЖ1Zla5дMSEA?5S.5 >t ,"I34zWV'Kɐ\Z1uPG/G՘mMo"Fk5VX 4*nɰ

߾o KU Nc]U\o?7`D=nVśqvN{0׍;`~B0V1"1XXCd$Ǟg%6;[R14jF j~QΘz΢Mv1 քNy]m`%IUE {f$ ᯫ|G^LNC"YVbTJkۜ 'e*A.aFvxJ)^@[%Grs|Bwzg ;Y PߨN6> %W@%RП<]W *+'zN_G ȑr%U >LQ\nB>BAzdF}T=cBk>ؑ$W-hsu$X ƺ߳l{pVt ^8O|4g&h BnIp2CxS~&&o12j JW Tg07Y fbl֟v)'۟WzC85}" QRsO\-E;%oʱBSl.L qG_&3 A-3s6S'Ljh.ڑxu08=k8&7t̛H,"ϕQŘNȈlICCa5:=A^=^Sl6<Z?*)B?: 𿆏 -xegw_"#"wrΌq-f^ݖk1BACӥv.PYOgJP,FnTB,g{CkJݎwdb՟QgY3)[ӓl #6}[M3]|AO& >&EMA4Ņ:h@xt-on0MCh~(6 K_-Ǔkf{5 ѮL@uiƍt ś͐GfrɬUѵ?XLDj\{l[zl ^!7\:y<;mqCPz6Q[)E8Xg|s yd{k4߬Y6\ÎN=轰e@Lw+0ÞŪC^A\DiZ# bm 0Q&7Cfe.;i{Bf[|w*+m5m$Ti:|dvJ0 o!wm3oX\`'4 ^H:(ō=X+`gT`r ,9]] (jOI ]تjd)E $ c8q%'"\5b" ^}.Oa כP;'嗉JgcԸ? "ܤ^컣f;RqI\P%>҉3]pHll&*C_k*eE.])šeƙ-`uARWcHV@ YJ&!{MK{ ;7eR}SBZz5ٽxbw燏Ɖ.JNif M5bӯzĵL/6A-YK!N{I.$L=tZ)L:zQEҸ( m-VoA,’*K Ts7oa6-[b?-˄f4de܌NDCK$ 6ûf/h";Qn];*Qw5pPYȖ~/<|&6.U6DdkD̡ Ѧ0$%mu$[y*XSKC10'@JkI~0z1g"/rMQz|%( 2B&@Dqjkys*'` 7lZ @an-tjV.?C,GǾBl3/~muM4snɉ\û4*urԭUxh;M|Gc/>C!X oLH5`NSLٿUغUMo~2k[F׈6@<@fK٫7BҶ$ĖRm68}ֽ:,l$6?&ްxTK-6^"#,ŠhAV6X*>0 [J|$r \pZ_UȬ*% .5a}<& EgtxX(Ҧ-X./A# (.+-| kWA-؁փdQįx'h4ԜN |`o,@Y7;D~CumRXg87 P@ g/RcnsҜiw=..ջ`P-`V '- tFp1 J)EX? Rw^)%{6%ϭWWf e¿Yb$E2 +.D~z[=՟a" Mmk3gIXpEQ t-=*fB %=>SqPڌF Rl]v'%% ޻xKur(# '(j!c"oCǧG?ּyC^M-c%^L28rZ Tؐ#[}#?5]J@wLj`a`yF3 nZ;wU.%>b+=w U2}? Q uqi xVo:m$J@" \M9?y=4} -@3)ls #NG{8cލX#@0]U6MC 5` /Z*Lyi@`` QgTirkj f.3cEOG+AVWT&[ :+,-r#ō.ЂZ YbM(ܿuM뿽wjY**ILRuvgNC2P8jG1?(3S?h{vk$Kjڬ Đ $9}s)@NPiIh`s!W꠯#.AbYx/HsJma).UfV2#`eq9J|ٛlJv]k UJK+ᬸzUxH-o8CݕdJ]mqj tXϛjLKm:  {PFK`*bȞ۞iTVUv aU #H4T7ԞPmSq5W<x4 E-A3ðr_@ fKUT j\p1 |kdD-+JS@NsU^5yn!*2}j31ZP?z2d#᫉V"V!D9; ['4ȳ@̔B8oUe x2N/vtzg~)r$ d,*|S36cI# d}"s~AL!N(W_Q1#LA'C)= +T|wrμJf:QtM-jB##3LnH G&Л(}']|*0XCSω\u92c4[O_r'U.p;G 6S;Mt~V6AM,N?1 -dۨD>+ 7 S eTeDyQ,;qQ)Э(Crra+Gq,o|DwfYd=}@$j1e2-:?sݝ!c+w4#o5X#!7&e9/oI$e18SFjdK:xv@w[hz<EPc=Ǣ !ڼUy۰+6n7s8S a#+Mni8 wgr, YοIt5gv18 ~QGp/ B"8ex+@;됌Ypm<%DQv?:hJ׬lp-N/cKfUMfrr]\_}.)D#9*r >,?!hU'd&Rߴ5SvA!'gŅ E̜H0&\jymW\l\v(75\:X[ ^Zy6?(jX8;&i Ֆ)4 9TË20J{,vSwu5vJ؉sنjLk膪|~x19K')-fMeǠH{2,>wl-[Weq 洄8zց5oݼUKh*j%^l2q&+1vƬ?e|kDLE#3F>܈뮼}A+UDE;g7-kE(o(*,Wr R{dA}2 Fk"_[?Oq2rAilx2Z>t3{vtPSпb_[4)ēEMthUqwm~8"D4-hZ%ܴ&p5YCxIY Y4:ċ3ъaŅ}Jbc3n&mE<4#$SK{Ed.[ݩ8uLƯg'S0؍5q7d.]eنt, [~Gpy:0SG]A*hId5𜟐@acz(*|ߋs Qͤ,VR>&WP=#댆ŘX JbFkjرj.唋]|oj2x1뜆:Za̝8/M O g;#{p/k1j,Xv m~yȶ\^*dnyTOHhzQ6gN7IEs9ˑR2zD@ѺzMqV$f[TG,IU%K)62{(I,[}$maSFDwp)t['NO&Q;% ZkQ{֋~BO$/ 1zb@dTPwd?q1?BΎʟ\Ë5"&ScƳNہ[IϮznV^#;}?c$O 4f7{uA.>/YP,z_!a*tܿ^LW ?x5)DT 7v9z<-s[Q֟z 1EyX$sKke bgߏfʥ$58HGDRhxidռ܇fn.<0~BpP[9K>BEgpfTȌQqZFt#EqWIaBǟur<*An ZZ{Q.҄QOeHʥ~Ìjd雊cԅqK7_P{WB8SMțB­+'Ƒt٫ۥfJ WזaM&QBP6ЙAAR(Ãנ¿m+|=`#H{r.3 cod_%(OċFz^HU 1!1яJpEg=.k#X Jp Ԍ~@E^I:5[X 4&_0J>={ &8sž>^S&I Cj|-KXh~T3Є.7˹+,P wt&t[VrHҕ{Ww{_{.[\-iaKw<ϓW6Bƕ>m5wKsli­I1rn.A DEUgOtX|C5:{+U d ZlchAdv%ؐNٯ~KL9K H0Bj\vYu/m-=-b8o`ur؋Yc㻯v{2`\q5t}xU^e>[EjDxwwy >Qɞڸ&{<+Tx&yn#`Xk?OR2 ӽztԶl~Be&xX*N0'/ bǝ6⚔9>;wvz*-5|XNel.;]͂9]C>FAb^S]uDu&%^p49Ei$j=*R+"sA0"k3uh{}3i*G.kDH|L0D˗Jٓ+R[V`5leg猸̻û%9aaQb#fmuZo"ۓw@<%[e;&GNshSeKf^~ o!LiYK!Fxt9y" z f( nM_k't۳:"z-ڌ??] ב )YLvoV"_#y?;*? r3]f$jmkFx|h(ˌ\ (V wmϐy3fyWj"zh|!Xd?V^^*ڹ 8<+7(( +y( |{JܶxxrRStjTx_ )݃ eqNL ->7""9Vj5\hcEfgJ&T{e@"}lu1KVcaK4tB)Q w]0x̓tofjT{;0GY/ -]w#E"I^4]7D[mDR HP*Xb3T #B5'28|${f+dh$Wz~ -l: uYGuE[u[:NM!޹abZFnlpAy:kr,-ҽv1"+ohN|6(FOV~)sYi'AMk8ۃ9Ќp)py*RGaGdE8[a؃> W1z돲q"o_u6tZt˻\K/e/ LlU34S9igU{\ *@XT}d4R.K`QӋ>DUYEuHzY- ,"xpwK(HoXUT>wJ9m~/@ꛤe|WVz,XN z?'S?r@KM\S/ wNa*+V ݽ7qE."lu3Y4` >+00ѸopO%`qb7ztkKr(8$)?4 pC"RӁn'84D5Ħ7ě4^- Ԟ-Ƌd{EŐ%??[&(pi)|j n>xB]xQ¾. \:Ӈ*R]ib ::I6<stf}Fb+}sxUU{p?hk- oV_/fNmW HCuv!ٓR04 Y^3n`D׾;3f8,Iz(' v&%~xAFhŪg\䑔z@ܣgh-fJ~"<=a:kb/gY2C<4 $4֥hZX4Iˍ(_zm'~3g4ɐp{_9isZ!M? k@-EwzTg{5r^,&P @uJ-ڦ AgFb :(t_r&OZ# <5F{?8Y#SD{>9C~p60'XTnUW SN  TD+r.υ2dp(VmņiCID%+n)ힻ*sueGu 5ܶ]q=ҿgos*aU 77 1*{BVYl.C|zGPCQ'wgp'[|67~CHC^UǠyLNe:P~sD6#_7qyF^m3^\Jйn91ֺtwE>Gf7ߦPڲŖ.sC3*XC3gu5E`f}v7n!}Q#~F¥leQ| +M۫1>m0&}[J0A/=q xTYpR~K S?9ÿ8Xr hyu_OB$;x7Zz $}::^2PIr F`XyVͫ~K#CFVeN[DD2ʮJN+}H~1D(cUFXzw:?-92̫S%f<0Վ;v?1D5?Uw/|?MsD Χ<1R@opN8J=TH'O8?zLM3ݭ(+ ul VẠ8*d=,ߦR>YL<߿Avib[E苖gf ^7.J$BAA 7(ޱAϯhIœ799a^7C Ĭ=q̾=$Jj#8E &cJ F/sSNOkZq_Q-p{7HKDdX? \=z /*rRÄm.wٱ❺6&+A$H$ZJWM,e؂ JA,N&dOB+Uu]Bw0!}-FQvTD$shHspk/JiloE)bz&US.Q#>Knhҳ L>^bo8s|اك9~v$@a1bԑ2W5YOH_-?x M|) $g f>%:u_b-Hajhc ?C`ϩ%RI=\jTt wmz37i5D*; KR#)"C@XGt}8Qn[.$fN%tBy@*ļ@ AnDj)dؠ谀 Uؤ Oj+цZ4"92ò]InrleJ9"8h01_uS*9jKљkgiBs<8Wx=D @Zpd<V/1.z>%Wl {b9eu1qoI(zOE] TD#tC 0̿oXo61 7 gMP''7o띏j%+iG3]8;ҩ; FC%ҵѭ S؈(ŦA/YZʘZ8my̔D*E?!9Jp mX' pϪx&?|-N&_z> c3N4(f5X TR諏\Ǻk1t]o*0uތX%n[3RN)e42ǥ ;M_1D;)c*pSI2yaؿkti9BNCgA1>r+n0TNXW? %倅 ״&aaӹJl3dg"B鴅i >kPFbbԣĠJ>\ՏFEz^0{vVbЬEQ\rͲ HAm聾bHIS2sgԢ-;.MQ8sYfEX &J?>h%m\sm0]*vFvdp AW =tb]0kTJ_|\otJ2֓BfS :^՜u'E,ʑoCzN6{Hcoտ#i<={a4,3$6*o٭Jv]*M͹kql!&V)nv*ʯc+ $V^ \3vE ս%3a_^:ؿ]0r"z=^{aESӿ;>8d)Lv"9q=c:]= 3|v2 6adv)㸐_$*&ƾ s+f/C̢췽> 6 ._!yQZ/k #jkJ;h⁈2S%1և9̌Yվb9,ǒ"UlrKN+ [nd?CL@{ȝ m&1lOy_ Kp|RF.P?RLQ wÐ rx<ʿc }?ϖU*wkײַ@>91'-.} N婞?ϡ!nd‹UǂЪL &1`IOWA=JvAb?sqD]HlWٺ^[e&aH%Gؿw}i<}@ag^RZ%W= jG>x! t&a"~@x*JF(OpNPUW`) -ƙҬꐑ%'030sS?[MUݎ߲gܞ-̪2K~ 5Oz}~Jr''c׶Obz+@R NEg>ڡ W|jb-=,|V*ܬX-©?oQ*5Ռ~M~UKwSx!WMyO;rd5'i*!gd- $(*$zvgYTQYGd鳜ǻ U+_𘉩D;F ?{7A7h;@$\`]Q0(fI#1d?d} mR+jxBqOCl/ZqWh'Ci'M ؗOϒzE]y+_w/!t~'; ];f'۩OFi#Z l49>zZ|h n$Zι4l:>wE{N>0dĭzS(){5Ph 4e'#֧s(x{.P]WE}d,{D_ܳ0/փ8%j g.p Ivj*|K $S|l6*-^wb[1.SS'Rx l1 )0,ъO~2w I5) ,Zk`Xa.Fϟ,tR튮,o(4fPAw< KdiN0 j,6jD }'z~ BowpIjc͗Sl.;e\7^P7cZwsCLQo)_LoeWcCTv1vaUȫ;CjO?t:?M@0!E\ χQ%<# =11 ?UgH;)2:KdQBTVacZw>LNv;dNpesLw^mBۡr¬CaGTsaX~4~P[I1yX{0뷝T<]ܕOV".؀W`V\NKgN#N 3C=v2, mҧxH\A# 2_.|hyuMvDs؅%j.!-@K{PZ,LPY4p~-Y]1RC`6סweĈbj U q<;a>Rna`MQ^]}3KIZCJsRqNǰ=[dwj]t\H"\ˢb,7H?@  =6eXgZ3n @#ND}T7s ]VSWY`8j{GLJ߿|F$5UOb݃ ÔJ-|jz6iX8nWzD/gcWnfR;׃~Fwep/;tpK/M tj㱰>9g{ 4{*,35p5& f=xo5O҉S{A.#g;M:ҕ~skn4z\l l7Ae*?}iQǤCb֞aRbg>=^-uVW.=Tt|}E*ڔ+)CQ\Dva.|t9 Agq6! &e9_l6FM;9?vҸ,t\4ќc,q0ѓCWceT9>+0;0uܣ7d_WoJ5i\"~#\ ;k[t#ǵ<58M` T sfH:gJͰ E\9jQcyQOHH?ns> <ߍ_@2l۵jY-_߬q v_Tc =kv("ր`;U jtBFAIF@|($Axɲ6.?ځf7Ne`^Xuw1 9q[п{~~{o|e~Ln@m$E2xɡ;4yW!쓣_yh|p6v@Lڪꕊiu‘m2c?Rld [zв'v7RZĨ}L+C1)j)K)<-Ө_WSGnT8Qj-DDb>dາ%[ŏZ~U«b`PPT3`~) lH?/Hyz܇){Czğ59xKNc16RІ7EPbƔMF_*XvHu k$+R. v!wᱜ6=BXL.`ړ&3P`bA Y: u}3He)X S3I|( c.Mc!QóW ihB-R0&q: H۟?dRoȅ!^c;ZX›(68%" hZVxgȦWP=56Un0nIcUrɺI}Q2Fr4\(H΢Akp>MYrdWa7Cnce2']Uf PjƈH,Lgq{Y Ehs֒}_C4.Dpa[ Xk/vOy&ΫNb\$]wG:3-:1'6au%?|3ɯQ0%dW3` 㥓(-W)iucpDZΑ!B>2'?"H eחbͣTc-ˊfM+*o W'`2'5rP$U9۫XwPEht@8e 8JsuTϷ+Yߴau$@ꑢ휐4qy1ҍy/{Ӈ_F%>XV-8,eM7yRU8o Q&$!Ԙ7ȣ7%vΦ:SNk5[7XjW),HmCS}xJߝ{vEYJPq1q6DM+1å }3GU`ch# D`l(&HDʱ0v|׸nA+Ni=+$.IYeWb߲(bWegpȊ^R[)mdQ:$O"iU2L_9i՛$bʷ;80 lF;ABHUڠ`xSGZ*qxU4sEQY`gCP!vĎx׾e8~:uckFU>mgoėV gŸv.kmdHA%gF<ųvNK IV ,%g (ee<@8+1*rK.ŔԳ.81LfJ#5SGs;UMT8UiDB|8=R{󲠦' /e-|/%R%K4M/  $(5!VXp%36G@5:◁xߥYxy'Ù+l/UTezJ+^H5~ac|~*;e80`o ;mBD땺/XUE X}" #gwfa覢ϺҁZ];m44*~ Әcl?g=9D#~.sJ? Uw ᨔ ~2]z ƥk= rh</wEfP|@epXTH!@~$$|b8yR){z eefgs'E= F[G4p@z??!g+~u385Z T3Y'莿##mwʂrD 6/.FX0'B scj6 _^D'd3mWB'I1f07EڻNuL[~;=3~r]Z Rη 1A&iiМny%\٨bKԜK")"a=Snl mgsti(^VF/Bſ/1q"re(FM.jt┴$ x}nz!X#RDIt`oіX׆(,W*70~%`W2aSC(@q+Ff Q%[㰼FBf82a%RR34<>D@h,; \lŸV#ŷH dܫN{ݘ(0VgUuɒGd+(FU?Jɂ';3F鎡YYSr+ 7h&J3Y8Fd u4PZ$I2/Yyly[~ ;2Wȯro;IstGeed{DeM@|d=qÚw{ggZ;9/urRv:'`o{4xvdjtK_t/s:9&)=k.|WWD[iW N.įDOpb3 ^^vt4< R⦵мX2"K~w˕/Cz1Ff5ZYX[Zt`H^W`)} 3(ev]쩏02C>̋x7)5{s;㵩1@okIuADւ]F:o)Y}wM7WtA)]&dIۛkܩipC^gdZb꾧i2(B!SY`_,EZv>h{*_| AdɃI&,)ULY6#uj-vHMt UNNN@mL[W2rp`uV}<%pk;B׸#%WX1眰 | q}W27rD 7x9p46 p_  xQ?A}lN 1.8mp<bpt%lKuSw)h+#F#.88'Pi3ڳ(ƣَg {^2tE|@0=>˗<[דPݚD@-5Ei/]~3cXΰu>3ȉC?3Fv5+4BT|)T AL^M) J-D6VVjxī:4Mb UAip4 h*$ i@}"]%^|/][`Y4|fqی Yr-R62 {ґ]Z}>s:I$V@l$f,˔7.VjKGoK-][ %l 4~eo!0w^Qhm4w2B*NK d|d\̷m?K'DKRMqwϙ:J= :4]bpAr H&o A|P}HH>u674wq݇.Mde?-[0Ty:DWi#:[{?߀&ѱ.@(p*gʹpT57X#V̹FLPO<|FFV/[΍( 1rP͟@FE)^ *x:=>\潉9S)9˽KPjrCT?<̚`Oo Rd_r lWiS4}Etbp)Y*9G sb 17 -1|ܯI4ٜq҈&Vd -}%n/m7 j帻}XCMhisDqv'!Ww}|WrDJ`27/iH=nb90r>Dgר-:+!gd{1¥KIe*,`Q9^ɛ {6owI8~̐ŗ# #2DbgR5I¬/<&/3Qih85l8fr_#SIifhz*EI.Npb}e"Z%W9 DwR#25DGJIם=z f)q Y0&GWe_YByHJ&? j}bd/*j6yf)DY{pmp,O '#Xb%6/t0L iSG_Q5XD(o-MtT ʘv"/ g<ay}5 AG^Șf}XpRșܐi6 fh.b6C l.(i<) E/a$\d]ҶI,Obk^Z,iIxM=3ɣF:46_v7\kb^P{1\Bp3E8԰C/{CX31Ya 0jrcI"CûU2B$a7bQAȤI1v'4;.t׎(ݐe QzmW %l8?Z-ے1xzoU/K煒?F=`e 9FiGm-!kVص-#|e<Ǵr!SP~l&8fB_Q,L r7[%kE64X]rcuixXiTjǢbcU[km Ĭ+Ѓ|@g@9 wjR( y#yƑI5`@R~/¹.A'iq 6 ,.u84ԺW*#?r*4N>ϲ`|w[pH1wt?w ~j8i)PV#a z̳S(=VE'9ҷ%ofC1] De&>S 8\'ډ^cf`ʫg#b0Fv@MC33!OŇ aAD5eсq\IXZ}RoV[̦Y_\˘ޤB„0vϸV?[( ~e"Qz"1pjB[B($7wWmmyh__KP#[+.M󗩊i傊 B xk!i0<)tȃ;cB;!|CV\_\3Y-{g0DSSL%Xt+X؎+(64SsIsb!if07Z=1ƼjmSgaHQ)a#'<(@+,Pzt ;mRp{g3S8#$/k zy)A.fFDG*-i|m"m 9 V^>ff;O-_(eH=J5|)K5n8j"qbH2+q?h홯5,'x{fr+Tc˶7c?DAdE qo R "_FҳLE&@%Moϑ"U:n+_Bm^?) ̢MדlB m O}*V]L\in %lkjyv֔grJn34]g7J_3_3> &)6FH9_, XE H$6( {2+K=h,:NE2T\nU }7Ah-ݬ}{ 4@n(5uzP٣zX@ךCl|qu˭;u3ȏftgpÐΣC$fe%/7t"ua|`X'oh#0S-Yjt#w95z\SOG <0*K|)!w=#Vj㦫++ B ^ Rj=N]QlX{p(ې0݅UE)h4f<`@ (GtujLf G [l5m){y1<p./-v#G5 ,F !353h.d~sI1䎍ą@_r2,&oG -wtxslֱgYZ7zXZִF! R]ŗXi%L&TlrZ*d`|;rs13Bp'1$l53 hwX8F6Hqҁ  Yܻ?wiO1 bֽ?!m 9 ^Cئ)q"$Ʀ%(4\ I͐:|I/lWʶ}gO#h0W3:D3L.V\ЊB$x @PO{B֐HrKk0iҞLhjT&FmL%&*A󜬈+|+>_"gN[״.2%~ };TG$2eig]'Gatsç;i20>o"@NӑԸT`A,|caHr(YVW(&b8 t=sU~AO3wI3-o? <uBOn7*GE-UˑW^|YWpU4Ubs`1 sLjNa^\&q8t'mSH8"%ڜjmNȅu.S{LCgO#6)MaQ [ O"eM3"Z-("~~Lt)Ăٚx{}<0NkF2d/,`}:"rFos-DM!hd[hzVQ1yV .%`פ0yy}]Uxe[2auHo})ku4n3^ո> h|޵6f)O=&+}_x\`!;]KLꄈDȊ̂{\\n0b jj$E\T_i$GUVME;w54+ZN]Bd)ݗRn \ZDǭd0DI(\(?9蠔{[*F}@VmzʩّkOo֌% wT{좪U/09Ksk U 2^ȭAOZHM5s*6NR<]z2PL>[GagR^7J >Mz~Psy j½i‹bjzq] #!'K"m;=2e3I78{9 yBp%NmrcFZgk>k%v9i=#I#.Juya NgYZ516ec351f523534f1a0ace2629cc2755842850289aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535