SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 dd@1| '% HOL-Decision_Procs:threads=2elapsed=550.021cpu=1015.400gc=80.368factor=1.857zXZִF! X8]ŗXf1 1 HOL-Decision_Procs-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rKExKp˝;N#DaV*~ 6q7%i$W8:A},끫P\լ 0Mi a0ES!^: hLi^]Z&xkTuw%nvWFB&ւ Z0E $=/ QxϘpOldA5$ AƅtO[]@-elձ,yg$j f A ɢǒڇxl`(L]E\翛?1 n΄ ԛ(n^L72l]v7@$|E=K{m4y^"޲%.Q @Q oI.Kn&f}k8t mӏxH-i]Y aNjn|IPK6HNn!ٙc=GNJR_%UQu08 _:snK0?B#\LhjQtIV:^aʾ8W1:K /!#|;ݴqSyMDHM^G(+%yO$1). 9gєm;/њ2X1=)R̤s^W*D6.RBXݑ 4|FBbaw  e{?R_;Eoy:+HĊzo+=g=H6"&*b0P1FɜTF5e ;^2|0\ j\w: V i+J˓/+Z^>g1^F/`$Qhw$be}yTӹV]"s[,xڱdBHr[6ZktrHITckx"eWP-5ϼ J[%^$\.)I[T2v{+Cٔ',g #5%3eZ8 nk{Nb- Ki;:Wˠ1þ^*U)+k@0+ٻ!b/ӻVE<K̩`DDŽ29'0|`ut)_{27_қKu# l pl"2ZwtާkcS|,RGs"%q*aaUJ(خ6D?3yԑ#Ƃ)yX%-)kR@C&+ƹZy zn pub{Rd5Y^Ծ%hUwSMO/؉춱e Uf 4`@q6=zn4؟R%+WmY(cBo;s_:4rT֩ 7ѳJ-8"s!O"Ij SDk?X$គ{е#:)^c$µ`ڿ cC j$M#8B#Hg$;HbxȲgƘnEZ(A5 ˮ(+ #FGrS~P/{=2akcRުA0MN 12^ڕ!.Q *B'Bk]YAݔU,}ѰotƳRI6C;yI%=~[F@ "qC9A:@ըl,dT[WÁֹ {/D;6t (h\AuVЇAy[bi$Swj}獽0rT4џp.l1@^ ;vʮϸyy@Ӹ2DE9L%_p!i.73C(Kg7(cq (@yXG#ԢXZ۩X'Xf(0yq@8uѧT)s7uru6EP(;ֽ8xƱQi_0&& mA]$2l%K_g##!`6&.4~z@dJ^ oO.@y#`[b@_ =Y'k)v䬇}H+L{6?ZlՔ_8xJ|,gUYGg!ph@`7z =3.c@K})R%iE+S'kĂcVA$Io! ^'Kia?Ͼ=τZ~/I k] 65>%tZeͻ7i4`@^dtrG=Sj9G`=U՚4c|`xt`ԖOb\CEky]xrL1$:FrBtAJ6GyLԙ?NCpqlniy 4y{` ;.JJX3^!GGjdfRR 7 T 3FlC 4j{X[֨'kϳIE8cy$T VmeM_?^,P$f<&p~zg E0rxx<充޴NB,f /(&>L) !u(a|޲hdb, DE^({5և7-DCdPD{4p GҰImXT-r4mlz]W}8Պ5B6@1!&MLEM~nNO!JQG~>oNcWXJC?R[z9vt5sK=U٭W VHoɫ;/׃Ͽ$-$qv~'CťkE<a.))An^a 0lj݁ %-ST϶.Ab~" (N.ヤAٽ# uT1l9W*/ӹ_QнIURytNv,A[SV@ɏ@}i!Ka.i*o;K!޸!,Cj^E qфlanqLxZj6!!Ŷ VR.)tJcdu_gٍ4WYOtr*+L^u 3aI's ۅP UEY_ABԯDj5F`| ;f:i.Tb0bUbٕ(^ E`y4//(|ICߏ.OQ E2G roG+'IֆJb_EzUΥw}ҙUdι19o^}tY_&2̔`;6z LZ넆;} `k8g?'){=?!V]}$*ismAbd^ڪzW^YRZ5e1TRݴz 6QD;J?]V`TOqA^(YgCq}Nܹ-e,]>x 3K4t8[l@\ $G SE,;Y6c'ؗo؋*" ӑhjBd5mq^LD* 2mK\[5"ڶ%e F+720ke EAy&r(w.H1͕f"XZؗU(xOd3V&CٔJ{Л m1-*ZF:29+@~\9>7^@L,?.K^aaRqbE|Z2 *ouq (ҵ[9qXkܓr5a#22~]4AV @޻fՄNM7Mcvc~LS&)eQze^n4Ϝ&l~_ uK|V*Sӛ ? ldWY)9NVWG9쒠I2NLY]YLP`zY* /ՒmӔлGVŽ֒ Kdر)hi%äN۫O%ODo㌁4|ʟ!*JղIUi@Ǚ(_Cz;\ɵ8WVԻ_Uid#rd~lI/nΊ01EA[]r9=πW] g?ИS-  d F1@[Ec3xМ:oW.MܿH 8VZpҦY;N.7&!s$ђOch*' GͭĿ C]GAe:^Q]G$ HܛLͧ;,+ ~ix zNb`0 5·֋,O.=]'যf&( ף=~ t3X2bř ^:x2Y`Y"I):g9 w}(1JP6(4.u; 5I/Է"c_Ε-/zYdqAO8mcϵ|&-]^1[(j 50R!oa [J:WL0u{K,Ț4ik_ȳlP5$$O}gϱ"IRݾQ%jE٤V8*jUzk#H+D0'EKC W0Csi>9Z{cXcs ߡaI)tKaM4WٹU+{JP=˻26y 5 z-FMLd:\ x4pnfs!j=wM Jtr~ L=R=X $JWѩ8b]YaRN*U ϡC4TOst$Ay.d@o.(&[/ E Њ Df=5 !mSJS= Ϧw4nê[3ѝP@DH.Oو% Ww247­ h롼W,@uwHgw&!oyWZk!'=$ Sؗx.yLU.V<>9@ODn'ku)qQ![l1C BP" 7N7}LN;V/Bպ#_$G.`1ssKJ#geo &mAQ2 N&A\5hfqAʫS6l;v3 E4)x.h7'x/{^G~PtEx]*8Hf hʽ+-Š9T&02@! BpW2c=};t(Us84 3DŻ2GhH-jA"$s1V6Vs{oH%{.߸L pYB !z J*쪮;w-Goټ_w mO0"P_g>b0[Rj,]ǻDJCtvA6B}՝f"m^/D~=z2V}Mf-ST%'R\h8 q6]0Jh(v'ͪ%7܃*N .OނdzBԂp;HU0$_|oP* ]o %QoQ<~+ QyEU[?dQ cկ8lSWlQ J (#D=8ynq >֗oA{P.8*!D U(՜[{q|A+^rz#iP תC(hVg]>tپs0xXfVmkpsT Xm"KDB)pُ{1;aRYYQԉ !Z )su Ӎg.4iu&ў&0~-$%˾h[Un;؈wDoqQlPUj8 3eB[sV,4wHpd9"0WԱI|sۑ 2L4umr"N&'3ܗU:}KsHxRC+\y<|gu$W@q\B^R^LgE&( !=A}ՁGNˎ ͺ|2#GKe6Q{4{|Q`sL%[*T}B͚`v9Iʻ}ȫv6OT+z|¸-RLNRCaE ^N4A JKW/ ca!"qsڀAY[( qds]߈hK0_kB1.s"l^1_߆dA io.2_m&O]z 9`BU-ZGX&9IzL3[u` Ȁ#STXH;yY*E;q0d3c~ 9kUS(\H-MlC^Y=M8sj>vA=XA1v~U3so~%.vs>B5,J(=V Ȋ!ܜ.B1br Rpk!kV`d445L˸$Zי%e]DžRQ/)^!ݲa?* |?s%DQ5G%3vRUZr@;|KeH=k1y)s(֮~=a0EFGJ&TSRR8\XWX*)C*#h{cxRu9N? frL, 2GE>՘d>}/͑d#V9PFJlYk[2!Fvta']k6SFp z;0mHzd*;Dd񓖥#T|-zX!J><9@/'I0E㫲~Io)'XK*\O]BhS$@~K>pܓ-q̌!oೝgRU45N&nR]Oz3J\,|Mu&G:FtHFSE's4Jͥ)nS>qw,s"Ųꁡ@߂/I(P]$[vǩehkZPt" 2#þkU2Ǚ IG) M娇"ApYD}?`r`lPY*'P^B|a,JȫsfXbQG+ⰵL|? ll2c" a7ʎY>/+K4;X6k"27R'b6^kEQIOf$+EkBBUND筩H1hBvF3xIn'R=xJpC{f?.$fz _|1&J7o3y*]͍0rvoY/7bu,V9d6kWC* T`Xw5DAӅC'pՇERZox}tɭr2-|Csx6;yp!|@G|Ku(G21kӭefcv~*j!rWL<dm8HM|rJLDjPo/,5TnB5MK'eMk6S⡎wPu\Fr=1 ~˳iQѪtgGra*;>FM;uoݖfث zy 0 Cv.؍h'jcg:jϯN4KF/$k Y+Kux>SznHi5غъϢF(Cń慨+UGq9a?ںX7HՑp+Z/RU)Ar},fYkQ@ac} >}c 30>O5);MA~jpi-dyJ;D: 4i#^lzR)@^q^] j%iסtas@^V]*R d"'@rRս|Z𧇖5Kчm;Y&^Žj}i 7:` g+m^DB+\tjpf&v5r "fy.V/#FL2 >L8x}OԗH?y+[|v*6d/HcQ<S 30 df!F"8 NpC q2$ lH~U Zj' Ee(-6df$11 5O87N/$>rSYZ+X}h$n k%]Z]jعXO3RNϼd s60UQyss1 ,ۄ{YxkӋC=4y0&&LCǓf XZvO?X_ˑz/n*Iwd4 ťsSJēF  @ttQ6f뻾G)#@TƓAvtxEa ?) U]F.Q 0%&5bmw;73K}6|^ VԥhGCȮ> 5QRr1^P vݣHTKP]βEw}ey wӓ+,Bُ뿍b I2lTSa;DŽɆn(=@Ak=u,1IeE}u 1#%7=a']<;@ZyKD, fS&6ʁ6329m.L:oY]v& .%#: B<Czdk%Aqܪ`7|jZ.{>~$NybL`Nt*P95e@Nk}}BFrWAQ&;Nk9Vo*,tQґ@˔N.%TA%D7:2lO(9utB'>rc |Dvu1rp|Iy >NZW&>42!МM)ҝ񋈕dvs$uwjLL7* Lq.ӫFW+ w?`K$پ.LﮃL1/4yA?X[qHNqvL.;FLX5x5IYѩvN!axix9_<|כe?j]3"y#e\V}(BFٮ(ƼC4j뮁!ϦtpkI&.V.*mْYs^joG G.\X/51R(<^եק(,sn;lۿO%|"nQANMș_"0CcX [P .őLo20S/cfh.' ~?䀁:W!$7/vxgt?;n\IM~m!v;ivF8rT[Q_y4ƵI|S#H=HI;,[ĺ}}3&.*ψcJu~9&ڗZ*,ibNpZG6`hPbgE:{`Dbц W6m,g*Od349Џ4kUTK4 F#wSߏ"+ +'&>/ 9Q1#M Ȉ-By>fYɷrs+ Ն{y2x5<-O޽vJ5p2zo+8w "j)h DbHCc7a^ŭ R3Qfs.spz3&+,mfVĉ٬s|{6zU&^ _N r^djdi0 ЇĂvKD1@ْe^%WӪYt C=(4AoK`JcSc OB ߀s: lT,?H]BR(صXJl]QG9VSR݋L8;(TgN;A k٥嶡uY<W/9^sE^0އCJR Ck#ΘR_&Z rN K'in&wCi_XQ4 C.rkAx4ùP(F6I:^Ɇ'uYy}Iz|ݼв2|pȹ}<%IeM!x:Lc|CߕNI-Qu"h60x0 %`a7g(B2$Re.9Vh/JFk ثjc ]vE8zzjFw$C=GYNeGB}#F?Z梭tS̼fTQW`k~3KSVG؆c7H{# ŠWxdF@F?M(L/q|b`z1 _M7P@I^g|E :L J#ۿoW~^Мfۂ6,9 |=ܘPJ7Z8TͨfmyX;(k%ޯ $A#0Joa]a`D ;V(ԭ&*˻?4fgO<UHw4V>A|QB&qVE3TN/*rzRÄH\Դ:enǍ=XeܙMdDa;]i&VWhOD0RMˋ9WdKOD#a+,c-\zhNλ ChMB:{,bOG[j{(Yꡟ/5]@S~`yݥ"T|W5xCEWԢswk@FB'CTϣ SBl_{JxG{ &.?7vD'u0uJǥ4Wò~ Sz}ergN7}u6qDqPN5W-qX8Ws,r#d{D.*u$xY#ہWwq 3)+[Pg<(mR A9ZX~ʎ<4ʟ{U0쿋o*7 kl $3Jn,; Mc΅}hqLgf ~2^2> _Ss*SESTlԵ:26ebZ`mjSF+ETZ\5q|ODk+>7Hq m/]BtoR"tW%nj:Sʩ_1Ӈz&P4ɡІ%CbM9җ(z/}`LC6sVv’W#FRQ8U`&Yٗil fe@W y iad$rO[dHU# !dGcW[ٚE}dv2,b]µT2hlOI~PX`X)qW:^i Afp7 [}|dc>A! 4NVYJung!* ~Bh~<}Vgq)2=3Ϗ" s#<l&,oQV4<{L"~]!Ijr!beBz](ŕv R4߽VƳgJ+oMecQ S ;.wA7qIrFPkž8y(f a ЁQASYHbžhP4<љ&*\IJBӑyB_ۊK&id0d 2Fkbmݳˢʬsg+kEp%*_g{tk䢬WD!s D geG Vm)wynV%na/.x˾%a$0"0:,XWzN?iF4`W2K* n&úo[4\5?x9g'.,u=n0%qԲ`*+r;9|{ i.'7iT82B_kOPUQN)yU5wu ]ڜ ^2L;׺Kݚ؊DI(k,fc+p>Q+CB$}Ӓ7Cnc6"[35 ~XCA\aSvieeUmr8AI ]wl͹<wY+P*ܕh+?8mR!GJqK$)jz >Up!ﶈrJC0ܘ*g^0k"{Rp9dcTl(k/"7MwKjw(mWu(bXc_nY(jV BҒA"WnA P|W UU]M sȀ~@gG.< 3C7}ƒ&9wZͭ7):FڌD R>D E$o]F`O76t.|E?*٦>c7R?ܫkpwR-`Ѓlshqےx@9[W?q %M@) Rd%X)&UHOV8a y[{Fx@~͔ x OVe%Z@n.),l#P*ف3q>m 9ݩ鄟 X:PX{X:D6Ix(drv71~6AyIXk,.j.'| R{&k Ds;Q3M2m&R<] ;n~0Ɉxt)?'|2e4[JaBAGb7HzB 8 N0U=./*%^@jjQ'B s@Iyg; ݻk櫹Gh%`.;# F]wҁX'!d5'ƪ> ]ΎVL;P@o; D:Ti\^;M"p,Ȩ&'yO5ql:7UlFm3m3/+ꃿE}>HɋI~o2upkWkwl$8:gAHv|Kl=.)Ƌp F7+n۱J,ųW@ WaP0ԉE@pXtVZOw4хpk1(N $ZQ{t20,(EI9^[aE|4^t%u%/y-,uɯ *l_㦄?cJu",`(z|o IVñ`F77>2sTBRtm"]B2!u{8hiXg"쭖srnX( fĒQdqv8^㏥DEOI;,/+$ޱ'+,mkOt+A[ws??ۣ]t^VEc93ECk5Ryw/9_ߧzj)h ~Xk(߽2԰2I O)ަn N#,ߗΉ8sb_wRA#h+4ϚPsdNl.KGLa$-Α\l3 o{drf (;i!Bµn(2qC:Y!p(gf,TnjX?ղc,*R,MdBբ9GVo4_R_Fq$OBXSTW@d"&~ 3#;QYdbDgAe*g'eG:ki6|`1 n21TN__W8It)%7E0 $%['Sʇ4PB^Ζbp+~&rDdx`W^斵YFQXsk uBS$o"5XEd09-B8Ɓew "L,.$\ěJǣzZܠE7Sځ#T@p\5j8uuKLJ "y}_x_Snȼ^r!xq e2.!@ow}rl?'и7v>F%O}q!\Xx6\tꫩg푃X=R.λ 2(5 6\|E>ntpة#g p'eYI}@ - i ^0`to6$P>sI%sn C0'rZ[dݠiC&۔vzڳJV'!;9;Pg8opBrP7QGeTGx$0U&>cH \ l/P|븄S@zz2/lF)}HY7-*DT[A}o?;Eײbb̷z+<3s%;0o {M[}S/MPt-lÊVT iV3l\|^jm/u)umc⳨&,YӢ$fq~_R-knjM~RUTGw9󜂚5XJ,:$OEp;)E43P`1J即ӡ,ٳW2$"};-2Am^mFwBy!fK4G =@;qcP_+#45+vjb@ fwvq20F&]w2jWƔD"B+ R >uU(E )8*cNlOQY֤b^>iN>UJˆ[5y ow'f] LU7[ׯ}3F q)4ng,!fLp66ͦ+ KjjT5',`Hz)qQEӸ蹥ϷD/ \("s!e 8SY>u&# > ?me ;qUͣC9;W8p#8h~48@ Jt| JEH.$D<M^sm;,M=yɕ[M) f +hh=ARFITʚ3=p#j+00R b={5ɧM)O@%mUz5HKpY{ !99sc es  ?(X6jkU}=ʺQdlƮ'b ?BbZ6Nw[y-wӶ ݝ V!W뱽\'wV3 cAW>oTK51rk/%!Dy& }6G+\+ٮ%XDQ;-Ua ;Fћ1tkI2pn4p8,4REgɮq: oi<5\蹩2ꧭDPJ%|_(0f Θm?O9:WD>r~+d_ͣB.PsI0&bi~J۵IQI Ip:l}Rj xV'~ɽWD_gSp[._^UMC1l0nz$Z\,Ө{_;qSŃnEU,cL7$q5acEci*P2\lē.#UJ+eUD=>BMA y iaJn H4".YMB{pxi.T;Χ5B\ܿfU/qwϙpC}QZYdNxG\YJ^ucC5끳K lMP?BuWRnL""L^}ц& #%Z*y(c7'%k//"_ eGO78QoC! ֧Ж:L#pp#SƕJ1ҳN]U(]aL 旆tțgj%[G$UbQ4`~LvX `fBYH \?8֐5^o !)P7Sd䳲(8I*+#ẃ3E6Alˠ t3oWZYkj],Vv]%V,Fx/ j|d]vs]uo=\dMz*RWuj"(xfvV}M  32*%*SkGf`tlfi_cYIkg\rIXY{m@B ?}lv]WC۴-7Et 0qM= gCP]]mqXg$Zr+[рCn)D7b@^Vv0K2A0/vbbU~r+P7r @_ MXsRYaVa Y}OVc)4BI6b r KS0s8!n]ybAoR";*YQ3|sm+p&wəځޖd.~׀g%di}Y͕~,}imFV԰6gYZ7zXZִF! u]ŗXi%3x CkT!}kLWͬ|CGě429Fvsjjo7e5_kho:]V%Ag0w! Wեh^EdrǓdp|N-ck+u}c1r"*g Ops%mYU98Dy=^M``Xһe/9J;eM2)s y)IJy{-{sH9x;QLkR3l`np{#My|}m 2x+t@Wb,KڶaGKš0ଢ଼B_k7Yh-ruuQ e g {'mE *FFDs )]5j.hסtqI$wݵߨ|HEbi)2+e )y8?*%(:6ugb-𬨀S=U89cb7A]C\Dž3!%k_W ֿ}*ЁKU>%~+#[Mm@3T2U2q>`@? +;Ō )Ʋ/D]3K$6Y*֘)vBu6Ll1p&`Э[&́C* l5h#)}sv0t|eޥk۟`'j*&B4&d½ĉQQ)/ePiV\vט@Z{\^"ƍuȎ!ݭeZa.X3WK4w*|_n}07oD£ܤYؓ-tͦ9B0BrZuT=p]Y,E"82Pkjc^q`QӨΪt(v؝EOU⩹@[7 c@Vʥi µ*:;Ɏj<'Qz"ڳ:\`qȕISꚶW7y q2hS acQ޼`1S JǚcM7GFq`ߣmbo zXnWx { r 'DL z^'Q+i;OP,ޫSUjgUtsF7S͇QJNpMZQ>!>:[$WVT3A^b* 4@-3Ȅbf؃Cd/]w\h0k(na;"ҋଢ଼کgx!fHyB99,.{l*¸OD[ mNL9 +LK(T08:b Ej|/uܟbCk8.4'->u~b_C[xdJrfh EDvb#COwkRtl @ܢ LN)Iŀp z@J++HF3~؎}NqCauj5% K1c&G5Ϡ2'[ë8c0k5Cl~q֔J  tk$8!? Pot]^T̘%2+lӒ0D:mděcNvw꙰|>4՞6WUK+Ȼ c#& 6wv²lI*ІH_*v~r:'c¿/4-vK)"zjM4)` /WVh+4M<a8!D?C#4 Jcdn4??NKo2! Opamҁv\Țf. }ob.A19&l, ௾eL=4R3&%QI}h7Va{'Əd8a6]Wε>^duɁUv n6-bڌ# n`VO"Li=)ZCw9k@өaƞ*wߥ Z3i@dr4R!-CB=dY)U b$\sreU˦qvUV<{mO!@V#U RHca kQ]O@)M qh>n~2e:/"(r{FDU棗EnIxN/,1ʄҴ7dSCZӐ&Ay׾ 9av;mg=9qURvWlUCJ֒䘊q6#.\+;Z$J8KmaItWʐdgg N*V:MZsǻ) ϣ&jׯtaD)#{כvO΃Z,q"?ڂ}8UVQ:1P" 8wft{-3K?*g_jw&Rw,tgJ,6;Yw@'sv3ޚOςLkCx8}y&`f5KC C| ~h?T^@j:[ yۧ6Cؔm;VSڮt3X`饋*_GUy׋ڳҋK{Yf!5ⵚsvi8>B6ZV5H'Hk͇ u%" P@)ه_3VF)]h!8Ml//n ;W[l-z 7u:w~y{ /+'hTa'.d}u:Ų]˘? jGwnӐ_",l;;6_2/wurf xԁVlq x ˘4_ igϑ;(3L7( D'_UZ!řWq7IG7(je䲯H֙έBW0dpc.#~2n3p2.QI^lڸX9Hē -Zc+oYHх\GULS/L.?cЀo9etMYB.soUd1(^-pmR;X44yph-ČS1;Df)Ô0u: }>xʖ"UKNOKhg$޺H[?`Q;r\m=]EY/mjۅO|ye\B7=ٳLf#-/,󬋏OP^B@[84p׋< Lw#JFv_MO39T,N>d;=:$:p.:^5 \\X?n(+_4Aͷ-fSjPŴ5m8r$:?MnccEVM |Ǜ! {=JTއQ.t#j*T<.:AVbP t1=Qwt]q[~(3/R&ڹ @1BdYMFd{2ZqF9\u}/FJ03Z9ԢE?j]k<;(A^cp;bɁr A⽿*<efqQ"x09]Xan8ȻEjI`7`YPNMz&&Ꟊ[;!0#/: O"q.B@Av/.Q_v-YlhV~7b)=$Q kl55\'ܞix:hE(4qQפ_ăsÁ wd. C>)`o=0rWfq'.MC o_P]PaTZ/5M)SSSkCUŽCVNt/!M*;S6onT?i=txy(A-n"MJV+dxLtPX|ܻ %u:֠A=`W~Bv/KuOǧѹl8z;ޒ:u@ mxceMrƱQz|AMfߛN Oaω`L3ؔk.eJLu_h o!K+)I(U~ no@n"umN+i4;i ײY:[ۀ½stXIFXj(j /U-. hTQHM؍3day떶d|5Pb%H:|wGշepZEe*CAéYZ]!ҾZ"_Ov!tV(G:r0_E.Zr6Jbe8\dcPLY2/5}qF & C-WuF%QTvAf&c^%o9*wDHɁ~> Ai3 ^(<{1V (nnU&oI e:;:NAǯ.?VӍWS?ڦNL׼T+&T3)Mmt?G]dQJ(0ؓ*0=lm=>uxy'}T~G|eK4=;tĊK.;0Do<˼prry%4pܭvZ1EI 4 AZr )#wC)]DZK5G47NM St+r *0#Z۬,_qA%eh;nEK`B{޲A`P &F;c$Q RaU_$ovm@c;瘜VDS} #eڤ4lyZ;k1- ؏yu6lSR v+zY&;Ɗ fB|t pPPl:,*J{!ڏGWSAL"!QU׌Y,^zf{|8 W9f'"<%%d܌w>$[a`?\(|A)jw{XPON?ؗ>ͬ*aIP 'NBE.ԻHԷ;Ħ|o xl|7R~d/nSbCGP#@Vd&Pz]D\ZqAVE,?8ك-EԊTDR[歮F;#V& %} <5'OoH½+QKQF6~Z-qs1I 7+h/4^!/19{ c8ګAQ;i~<|B,r ~ȺnL?"wP`1=2l]uiglta(2ɼv"qGYCIB+}N7| .T GF 5l'>Gf/}X\ׂwK0Q߃v+Uڔ5[43tX4kP@Ti\YLYFx@ DJ訶ȃ/Љ+Wlg+9p]"SZ鋪JLiݦN3<لoل52 sX~YR/OR3|Ly;|z6]Ex)b#*PFK<M5=T놕cW$dj]7#bځCdy,JvEj%Zi7s1Pj Yo*{z@:ml) Bl [5~@(9=zeL56<|S$dִUxŖVA Qur,}[vUVfN0I tRKRѻ̉wƁv]d.#3bo.?8/DQX@ 643P*1< w+Y!cC(@dI ?~sKH5,p72^..F2u<%؛ 7J='uOSL/sV/AJcڧ y#eXLd(=~ Fq@rpdzK릗xp偹jSs|,ҕ8ΰ2C$-fZ`N|e0>L`l@S ق5-]T`Iͪ74-˖-xӄHAT 8jtRa)oE¥GI^Z΀|cG-}$Ud;1nGP#Ofu Rh9Hy`umCZ\V}Vc\b1 bh_i3#$&#"]s2"9zGϟPe#xcwzh;*RE@r0tokGגZI(oA{ B0nSh"Qi2|uZq`> /~*cS/J x\l:q?[bɽc A9E<9zk0AzF64(D")9N,l>jůPQYwc?9J%Am~=sBo= ~(RQeȍd|Hrc[:2E`7FU]޾~1`U+.HbFÄ"wa./#N6A{!*y0)fc+|B#GLӺ _LZpO,n:MI2GiTwք`q).DdF\-G4 '_"j k=]5!]m! 9Ոmf,@ZS/ mMcHdMZ7fr~u<Cԙq63/×ke,<j!.ڂOK(<345$\J&/X\w2 [ՄDnmamJO駵\2gGݟ\@S&bNפjDZ*\ Cp_"?$Gyqpn%H.XVʧ7BБO5TNSĂ%[t?UE^:}@9Ӟ]T2/>by;aI G :r2:6>])@c7i4 W)ĕt]->nc"&'["EaeCFAoL4dŀxrc55j#I}^3'OtlD4Mh2zwcTNJNg8 NKvrIPev {J0JxEθ-߉(bȝ&y;#O:@&υ9 l0G{gyp͙w(3 ]UQJ!K#Z"_׿ŧ^ʬg;r~OoOsi:dL Lʈ0촿EʹmB%u"EX`<.Vl [v?GcGEOV/toL_j[/iGʀ Z՝#8k)[pJ/jbl*[O4VkۏCҥ['#0ƄD:_ Н'd]ǯ2LH?ۗ'`!B.T <~b EJ-n!8? ]0 p2QtrZ>qra+Ŀ|ɋb90uH>tiͨʉm$0j G,6 [ܥ-})fhc6=pv]Nt!%&dzh֫ %ɇxi(4"V^+ > Ƹץs1,jvq$RrLcmFFH5Xf =Y5 XVr/MJs0K.~S'eIqƘ ?N#fWah)E.(q0%-tشf4Ba~h;$U+' D̬x 1փ5;F, 9ɉ&KVa,P y 9CajO$[JeaG*JR*Sz2YL5J?`rYuօ_3U+aߍ YA iHH!7hjYbVA("F;.4S_:.kB;HD:VIjT,V를+Ѫ"6WJO5ڨ% pf‘~b[vCc s2 9| E,UbcP߱,Wqw(_I0@9!Iyץ9i'mVK'0FH4{2÷jjMDkռ.7}9k:4OJ4 <8ϣa?ON<)X v:ץ苲t \$Mb9dZ%L}26{2M"[YIt^R["VJJ*0ۙo֕wekvL=*=雷|E#YbGmģ-Wx`&b~ j ^{Z!k Ɉ"R9 b\O"wVot xlzh4MVJfҘ S+@a̳vUm&]m >#GL/V\K4DbC>֣-Sx`ݒJω]#.¶"bidJriRҖ>9q%=U\)mޫ! | wlɫHJZ 8<&sdA'v Z֯$X;Yd97K!'lh|p̀gXz5H=s-CעvozTi]-ϜP+AMé@ɍ5t I JCȆWվIi *'Xw(2 DÖݺK|zO؝ԝFKe]19]DQ;*+e_S*Ɉ +?vQ>]!W=p(@𱦰G΀h6tbdN;F#QVwPM|>׮܄1lt͜i>|;><.<2aQ2YHf+6#="1bT&6H!ё?tUVUzҝŊF<ħVs?ʏ([ׄF!N6Bژn=ߏ5^w=zk%E;5$ך-y{͒j=oOSrmYm(+r?pj2lq޲fYӨ MзE9qNL #w4C5̄k\Ph*4`*4]M7]y4x NRMnא7fNM H>Ub;jF ,%tWL '9jd'e>ꏆ,6!Xc?_|R`0=L^ 2!1?|Opjlk@+d9$4&HrW各]X_r IA.c" X^>f,'>R~!2_"%SyA)S-8#+Nv/$M@1zzoa=B-ɗv 0"v<,زru1_߾y+WrLz[H%H+C^dq1j-s0>)ue*cTW}#̻Gܨ}Io+ ǫڰ\xClIMa8_}=?wξgX ;kAM<0 jvx]ٛE +[s3N:IB!Ck(j˜5,thEAx0ʹCwJx+{Fz~O^~ M6B`;G- | ) ^E%-cA|KwW/Z'ʩJ㏚D1{qOX!Xy=G\BcNcm;m]kq_t;7UmO4M:}FxJ G?VY-Tʛ4F^?HFT>V/ǭ2MŪ!&9(мB~g64zPn]::`迡F!P'7=b'z9?qiJEgԷDjZ^$3j9?&Z)q]9lyPrT*ء#@y[Ц£v{Tt:;% O'ÅZ/䧘3@{oEGz (IpQ]@eiuZ<rq~^bRhgʂ<;K`K.eJ|pJ)'a\FP]( / i z^Uրu;T^߂Y;=Ayu&Q7wz7nb+JeԸ]4 8ppp`]q40R\)~ȸAx7>?T<; XFxJ4J. M,ip < <ɵ UFKD]CѾZgZe,=7.Q#䕿t^_c:_R,m8)@aml€gn??ܮ{ϯYM,i͠QXBE r/*r*s\o /9DOx6 㛠} ,`,g럯<js_VB<җ]0.C*"mFCAVKdU$ ,Yi)3MU@22$a94YP?Hm@DFYRnuΨq(AUv_[UcqIm~q-۝;3(HV 췷ڸC j,^#LlTi"bOKi(N;UĨd?6 .PQ5CE)ߺrVlrcD(DzS%I5P@`f&a'C3FQK#<)mn[6u·xhnqSSG6D>@D d}Pvi6Ocquz(F_-_S&V(ڔLH<1 s>"֬{[I<|@>WtB^R@B!ْ5O]&1v>yj-ч`a=UOn?yny1čNoۥMU0}ZmmNWu8㚉,qn)QXe4LF\9-B;<)l+Zݣ6L]\<,;@>((7ġ cߠNR/G؊8t̉N(jk,BtJ)ʦqyf3wwk׺ޫܭG,v SJiVq! f< ÆQR2*ۦ'PЮ7%Glȧ[AǍ- =l~';$IMY͛}Mk%=kn+ LFw3XىPq)PėfMq!? PP A$,xdsVc枙ڎ{y `b%$,@ =isԺl.6Cs,XZOJ Ág31ti.al[H-i;eÍDv$6Ƃ(L樝=@x뷿d - XC]X3<\|L[Yli`|WFGF1KNNTQί~? 5#sȾʏ!8L󘸩FM_tIDk#}D?Þ^~ !:ԥw1@G||ѫ%L=^Ha૯|j1j53,VZc}g҂QLc1Zk:K b? nq9V\ E&JesDN#e|*>&(4,g!z"0~vo 8Ns5B̰ur P)"5}xfMAC3O:սSՄ瑉uJ5^^b?{cZOѕO U;8 mYSˇ3@&k&SU!J4Moz3Th7U1G3=h+(m^$y†M]䴊5$=Mpj.!cmt' 5pl7Uc!AS]qÅGD-Mua3"j+R[gkx1}Ŀ--x|=ԫ}&D+!h Jb+@r\~#{&oPT HcS'f0L$MwU[bV[^=q#{[ܚ\ 2Dlxy$>b&Sʴўk N\pӳb à)\񆵺&` g_7u7tok@>LV$*w~by/Z:`X.d>dxy2xi;ѽ(T.K&E󱮊'oxËw"nr6O][+z\ rw}P0ePV&DݎNpzawN> YeOWi. 1|]7X3`z=Qmn3]"3A>N#[zLAb\3f\۞nZżѴEpл,[+i?W6 <4s'x@ y=P=ja6$k- 0F)1պXyaܨ{}Q*v״qRgA*y?|yVc:q`m FCz6a)_ 0phPn{J^V# Ӽir7!\ڣ`fHREQm}SIr蘦XRuZ` [MsM%n'LgpaILnZ7ϛqD:Z~Pi Լ“]t#al0p=/DټCĠ'-"v>Km^_qƵ`T޺kTgd4T#G!̠~{0ە|'(9=;ҟ Iq+|mPv\,kRJo0nyTH<A$M/ˈJ07ȶ78*VRBpu`A-oGNӈ}4<PYm2Y)dDsaEٰ%{ *}"I*Ar_zϗ,Q?$VX9Ʀme,3?^`zb7L>bvǵpf7o\(TOEbSXoh;!p]V]]G1v쉖aCo}p3G\+iL pТd+ ZOaqVHELTs.4F@Qi*sQEW=rk澦`wгg wħMe}d:)9n2vFZ1I zeQ3%"K3lfV-R}?[DV5@J-9'~`0(rB -q:^d^_-,)+j_ a\\ a$W;Ipōz +).f$bS*W{[ՏH5_ϱ؄ dF'aim_nvF۫2'!' A1ʽyI#SC|SCNn' BQ@/:9_%.+9T9I6%'*іΉFt(󌆌{KtѠ4z` n('ޗZUW57HhQN 0ɡxJ2Ruyʃ}Хj4X-:)S/b ZyMhD~V@9M֢gpLMeõ$zH ,Re% O 9wϹP6PT?U}(`M;R,Ȍ'!(}j[AU r{DbYiXJڈﱣy8O8 R,%,-봄Q9lfuj+WG5e3\7_C](Qo]I8IP |<=́r1[9vz\^Nqu-`4>AyK8khZ\R5 h` aeSfS@Ty#>y@)&Mc͈@.{e~ ~d:L~#e]ZaȲ u$ 41e ͋nb-e *$9n9|Yʶ0VMeQ{+vG)ktr 6:CC9A6 4qB 0^Ndn}vj-VcҝOG#0Q*J'<%kYbvX#Ҫ%x4D*; "Y.ѳ%rۥňovjt[*T"׸* Uaa K┎&8G"l F"n4t6)ҲB7{Szk22$"~y<-{א{]Fþbem~6G圅vȮhú SXґب^^tkc?2Gcsy:]e4RLsmP!|sY xxe<eUB#`^^?CG r]ľz[Eno$0m}y}A wD _I(qAfڰDSj!&L~{+F*?R Cõ7U^5 e8;]Q5>8Xn iHN[_g l\[tJط&k' ,+ԥcs2Z y:/'%DǚrʮS#u;a8Ͻ+&[O٪mBqHʷf Tcܒ V$/ . lWC8I Pw`[[=s2 ơsV@/LS֡& hX9R={ŽAj:)=Xpc0a+r@EƧ5C@q1+{m8QcDy65R@T_ rv!J@`$i߹;_}Ѻ12=?{G7&z xfQ[Ts*eМD +E ^x7Ӑ!J]&85n~P.+dzFoPAMʆ .Q*#SIB x' &6ctH(`B ta!(nW b%Eʄcu)^ :&4WS8)gp:"-W^x.j̎q ^dPҫyYWyW% Tb൳(S5Sɬzo(Qm|r"Q`H”6v7X=s_]TjװX0+;]fvd`T"w}yyjk)bQk,;P%0\n%_uoSH4"KDYslԲ|F.:'[)eE0M/A&I)(@+9$<$I}qõ2'ێ':LfOAtLpո- E܆t6}$֕D[dMd31tA-85kC;]s=,WP薫,!WQ!E5z$NID͚1ha&1Q01ul3^V. G`$mQ,@Z[%z NGMt$~sҐU#\<_ t;cQpsD'e~tɦiS(ub|ǘIbg8.C42 ֣l8iXFICW VsǙ7ʸRK-EnkS`\X9gV"47T][. ׆@fΐ ^Y`^٫G V0tcXߑԲ]}-"AsAmJ/o] ,iSd1 ]}J rw⵳NjHe&(A"L0NC($N& &|dV.ۙnAX; bT5H p;KX]ZHB+Cr#!!O.+8kn"0Qezԩ e0HAvUSƎƈI3Jy5XJ, ZB).Z,863O-;-=|N,#$JN}Au_"r-+r(gw9tȷ}%l^k4? s\nU2>?me YX DD)QP:%̘A{+ op:C⠴/sBSBO{D8{И: `-i;#r fMEN*3{2Džuf~NQl?\r?lǪ0*x'R:@M͞V#I<;tr}{7.Uya (NpvP[\N"RJpF R+ۣ6$ ?fy Bi*"'k̲|E$m2|Ƶ T/Y"Fe՟sc{i%KEnq#و,vgc _R {x>t/?nMM_b4R!7|G4 $!= 1J*_v%F` \,Pmi#Uf1_ƫ>?FnOV)5j:Q{`Ųy UWi)Df<*[s)WE}sE> ɦ~f&tդ ̃@9g$Q_a+NJzZ76 f)fe'sI$PHN}ߌW ǝwWuXUFuJ1=? x ueT! 1X.s $3,&PK^ͿFZ@hDɚ21VK?P2qɼ )KQ[6ÂႨ*I8[6_qp?ڳ3k t0š"*Ƴa[4ax*k ` 1v`߇[V9TغaMO \Wb1/*7|@lTjp֏f<[e`[d_N#=00Z|ZOĻ*_G6V,!Ov 9$EyAG,oHDF W+(DϮT#z YHmtHqÛL]v'T.dIEEd5;k']KL3 ̖ԓ?(cְf>'e('@C]~7޺: ʚj~h7,G ^"s켩͠+ЍsEL6T(irNSx̓S܏W RD*m W<\&(377V#"h]aNcAqhylBE2sr HA0i[pڨ[*֥ZaڽkrѼ8Lc7OB\ R+K9$P" 刋~!%-}baRڭps̮a8kΰ#R*bO$eRS&wc{OUK^rid´cP ||L hW4ʋZ~ 94)cK"ڀ(z&3@T7gE&fSGU9Mn-FHg+Hl*/AMd֘iB\NTAmOyEkdg3pE9?iKYnݸـU1NDl^+=e,W?(j]@*d gIkQ`j& @36 lW$ F>U3m2M٘>X Y)wIů*'qG57,AyH5,,}^$gqXpo @}>l}V 45*P*5c(9x<Q@%.ȐKVPiuAfB4Simdn9 0ׅ~au„A3qˠ.IPxS5 +kl׆2AG?#v5I: MO#.t6$. ҞfEbjܝcï,T~Y+v5k 1nCI7&g\n$sP$.J0ev&; ^HPÄ|_ ̘/䠦7ת3qx[N;KSyb< o &#K%||-a9Ud7`s|m"ax䐒t :?&z@qꅰ]4ayKWʛ+Bv}?[AGmRS-f΃;¾+jN럈Qy2v}O:Y h/r<%8:=Sq4}vVPIB٭A6}в~=þHfcM,$;c@Mqn@\#4GwbI#"gŦ;\<Dt6Χ- 1Pҫ&3`#H"ϗ!ߧ>WtuKV\F|QZ9ϴ2Wdz(}0i5Jo-kYaQܝgVn0gĮ3~Kso|^B%ҕu+KT<ٜybaSim/Fo^.譅F_(<R=9IApx[^w2>$d\2u>#va@|X6e'~>\_Kp{͖YlrM9nB椤{dsXݽ& .Sd$#^EN˵xDC3]6ID2de71Uy؜5= |M"L\ޞ,f)UczV /1i"&%3e41L?Df݇ @h;ۄ^tf/mu>yc}YG/3Ud1Pcp Ԗ_tymH`O%.AWwr\^]6{]͈':GMDƕ BS'Y'yM8O&:?"F Db5@b< 8ȺF8h8jpk&|6>8zct%gQ W{-2hsBevsp̄BDeL6! B-|kUFކ!\G*;F%!@o D%o.^- |SaJw1T.w}wp _&v8yGE{+,7XO~+\IëT5W Mb7EܶAQ5ɾp7֦̀=윂]vW-:@J 剾BIj6&Ȣ"?%Ѽau/#7 ߓ5Yؚ]^[jnmX1[Y& IPz#?״zUlD* }Fq5G6ʖj,XDmxUUv;B򤨳_[l f"Y0,aN󇖠29Ҁ[s"I݃}o2I|3q&ڽi3S(d~X&|?kQ>1FlWc&"_d3t24ںy͖_ 5=C3.w0leça9Qn*DYթӭNUqN)X;Pr*?0N"hG3ݷzlM.9|964.Jt-jc}NSNi_o(oCNQ,GdpG}WBwJ^;6>cg?de7Y=gS]'^6 - 9T.WfoNjz{l# &wxs֔#!!$b:2 -=q#Yc>ǔKr͊:Q*%V, G;OtBQmg`XaDIǥԅZ|87]BhKTZ@aHxǧj;j *"_GfĊIHs ?0-4HNc쨚"ycBH5J2-0 ֐*7G5J!KS?rhC^Q}3) n\K*VjX+n&pQdd֫z!&{/gYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 32d981c9120440333f94a40eda080e95471b7ab7 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebabd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 e24109e0d9c7cf3926160913997f98ae050cec83 059f2be179cf0fa85f109b2857aac4dd223d8e21 d5a9462c268ec1be534aa0fe94cd3fda9439b88e