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  ) T<$ ]/ BNF_Operations:threads=4elapsed=9.566cpu=33.804gc=3.100factor=3.537zXZִF! 1Kz$]ŗXiɟH)0%o);ŅeJ3?L \LVf٣G3E'c"$DP˧;!vc%V+,KZ(Kmڿc}x^LBqR{#zXzOZ3 P/xKI)To>y yܓ, 5>n}"?ƢD+8:vD)3ƒð/#!du%DVoFdM$Gn_۟o의Ne݌/ ([J>fRQHۍN1Ò(DB.?agRgTAloXsRScXX\Df|JtO6 ) BNF_Operations   N0o_BPEV4Ws"9)R\CA<M7ee,EeU[&+V"F-2ء UxvRpX6B^^[}_5Ym>.H*̆ouajyIf`kͽfIk,,h(OQszANlN#{Z;x(R^DAb̿$58@0@>[PIY4=Cfhy?1o7 TG_]u(:fg 8߳Cx\[D,XY~TeԳPOa:{Z >WR@j #M5]6ǛFbUxywVOQF~J\U"v[;a9ARʧ"[W#f[ܿj`gVs Z9A)y+;Zt7 JNCş/*T=u;;NPT}<ѹ#* g≿[[d$9MV;Łnl||1^uIJ*9 ۂCӌŔ}=sHbuda$]9 h } =r.#Ev'KV̝):+[[:#2U2(#TbHT4;|vq-r|A"ʧ#~C| A.5V%ozʒɤtiH.! ‘~GSt{0*jyiOϙQ*?H\U]mRM")ٔM N0cмяqdRZ:&,;,f8 T.>ir )sr-QݞezI/p5j 3 l\[vؐyIԓm`IT~iϺ"nY> 1vQ5BGLZy5Yo ?{RbfdL[In Ԓ}}@|}u[e7"xJ C*h88.TP*h;I&(ɸx\,d.xv/r|%b[ `5tY&%9 Ja!A$GBʚD~"[-' DbPR{_aA%R15 ``]!ѠZ$[(ťعm|6V qJ@D$Ls=SCQ^-6 1)"^ʣd1|u;*ϻ׾ 8*dT]׀[jQ{ BIg]I` ǘ #?w8?\Mu.4}Cv^~ֆp w39 1g >|p+'8EZ3('1Kچ/dᯖ]pPj<4)nD?jMΛ=Pa/H5&vM_kϴKE AR^|Âހ\œӎO` Xͽl/'c]/gERIƇ{Ib)W0oMHCA9ԆU~>Q )[oB|ͩTv.~:1j k&_LRiA)-XdU ˓l%Yf˼r}8nsr8?Gf3wd"MHǛźm2-au qo-_L߂-kT\>m >'+Ւ֗śI>htD(^3x&&ȳbwbv:f:B>_:b**P~"W՝*=*$jn-\\(tϛK[_ȿ؉>Y?Rxgb"Aoc@-&/%.qߠ <(M uedm҂ң3u6&,[ _RlcX M`wQDUs%6aVv_$oSkE]k~bigcUfeDC32B)9s~IoA:Kpl4>M;\?ƈH7n 3m$0H-| =dh B|oiphG"SBxJĀ2 [%Kv"\]kr.;?ԩ (6_Kd3{q1xuE\_Eٙe2isvcSi Wq0XnpܲhL!5~#+Lo4܌|r)@ʸ`!J;?ʻl'@WO?\Zw+ԸnڸqrO͑3 [K>EOW͐@ x=YW\ʺAqCl/0;DB1*nkAz7eH%Sq%< B$ Qxq&zTFL0# =No )~yxYbJ.ѐz~mg{fY1 <$?WBu)6+pA%Hh,cd "u"Jn+ C2;+_BQˤ$/_p".Tf Q*nnxo6 (F3t #G/R`7n #ypы{Ǟ|Msr6K0,DJyS*,pN>RۤQb4LJ t ,aB;v1@aͷmDzZ)f4۽CkYGzQ uKBsJ z4lr3*z$%[ɴ:'1C7Ggw#EOA 肺7\!nL6]+n_ZN9n˜/5 ,3{B!gp) j6g]oOhţXdDz ^ Pό`zOT{߆S+QR:OjΕJT&eQ>p| "yrN{:LYO&8ΎetP-ju9wKkV8(Z ۚvw &ii-{fSÿ\&[93h=jS/ E=r>"wWHEHV*G:,m&X?DϘOkZ7dmqzas({9DePXxuJ4<ݺ&[LwJ*ۄwlsiIwFKOoWߒ?w垁-%G9KuZn:xs 4TS}]x8[L%?)~NxCQV\(stO ,!6k 5㤃1NZ)kj;vɫp498c+x CA K'G@ os5NW*m vYqg =D}}pCy" r~nE*S59ǴVLcYNo荤wc X'&0kR/ӚRX~ i1l@4A̦QiW-ߑ@ U9+ui<E7 ڍϣ^I֒tLrsMٵBqn>u.nF2EJ"$y-TSC}FL.Z?[68B.VMr8z՜K/JųI=z2c}ԸUmYvz!m!q9xLĽ+lLՙ8LbϠmޣe GRRp,GyALX@5BܘU@BNSyQj'Ż=!Xc@xY^څk0xn5((JA-(qD!d(=q8SGţhwe-Pj 'ֶP10rZչkmA?Py F \kwrviHtwUFBT %V|}:G-c mZl~W ]W yn(QSr[_N bF>8mtYF( Wdε o*8= x.H+ø+$X"8uawil ,d_\`>?v{*gˀ h4@pm>]Uۉ;v*(5 ZAHvt̡At_>aXTw Uв+Cł/Ph]  FʨU3WggΗ/; )uS9{oO@Q4l-An"06qtWɥ ~5}Fjߑ~댹 S/^Zuџ,4M`"0NlF*dQ29+0$KyWi,}MB߁70REKP2 N퀇/+\uxhWB3?g寲z>ނ=y" 綽>Ea)zǮ+tLy˅D#/-CytiiKT}vȞ hIBx8d$f-0R?F7\" GZl$қ?f4̿|˨ALmuf=0`XV/Pp"uhɚ@ Þ%l\9acD7dnd-@$;Gf>{$]s=ࢪ~Fa*Hyܓ,YkgwqY2=qe_ P5_Uc7,aMmL]1,^ʗXҋ}6iC!b'œD/uk&;ZKL焟dA4C >F]km)~s7\eOdS2/(A'5_. Rb#jªdXR-L%{FL !QhQ%1ٴ/OOhAͭ2JnB:snp+|NF4@Qy 9&t@dUhNa(݅4 mkw># _)So;Dǭ/"% CP-[q-XQ;ؒc B f%Ge Ͳ2n3NO:;loY)QTTjGe3pGR,nxǾÆɶYUK狾9ԇ\_˯gqJI՚=%j37*j( 6yZ+i IrvJc,ax1v}r2ճR#cq#uDy"B6w6n|O-j^eíQ6UFE<|$,F(@NMpEm"`lc1*LW5@8A{tCf Ɵ\aɭ)OY)UYsZT-dc5`HTvl5U߇jU0wLQCo0BL{xc6AzklvCӒIEs+hmAZx,Sԃa:$BF>c }(}k)Ʌqe 0s9+!kcPO^pXJVjo**7\ߢ(Ɩʺ1.[[uQ'P["&F3/LGi=}z:ř469{㋜N޲yk/J<"PNL 5̅uOxv ?؈V<53"N\)S,320E\6eJr1nUkJjc䄵ȣp65$]ku" jB,3zA2F7b% 1lKBq>;G+m{fpި/.w^f RE+_,.4)LpF!Db$A,j0Iz6Y;SA4**PM&~>[/^LH圝ɘA%e/0n՝evOG8VkeHny2p-pi˷)>탽w39{Xm.\Ǎpo^;FҚܔD=<}c5턾ϥ^v9{+m1ȵ@A*ϛ}RԂD/2lEc"MLJMg_ދN`;Զ1j^l[︁&۷4)S,#S$Ȭ/%썋 $%D%]tjKg3ѻW߿\U$?Y]M-jnIG)\E_c+ X`~-ܾxUس{  Ƨ40R,-Wу)>շk(7P4Ի0 >vΛvJ4(dz3jO`VE,mH)[0WH #ڿ^ĄԻV\P::%%'P=rzoWՐrZW\ͧ{\!{LurL>Ozv18W\z\)c',صA/;R\Ar|] }H} %F'@]~t"+;[Eg?K~glsXb݊\P(on9p 6ܜv}q E>2  *p)eb _eXI$dvqΞ`*#3Jb_KJXH-мSG~LVe $COiD}L NDK5oNUdå32MNIKC~`Y%OKR (©֙?~+X> J>.-5ϻRu7Q~#1 a/hpa7׾h.6Y[g(As>#R\D>L䬎B1X* 6+T+Q5Wb{sXG#jIE/{8薫nnP*H~[ b(XmgY>67}rDmjVY\%3fq V(N6?!/LS'J,U%Vf7tÈ.{7.,_/4guqcM!?a1CdMd@L`76%Ag?xpBf+Uy1Gd~[#m}?nWЏ-aL*愪aK Xmׯ<-4 yۘBXDxNtC(HG371shV`J/mP-"ޓ<*6d옢 87?eȧ%yYV8Us㪌DṭDa!,)[F#2F2|f=0mu=:lS[: 4"c4DHl/6_j<56 1 ‰AEY@fҳ[MG⽓-#pzp'}Y:W~rKqZRW݉[+$ɳ 6RvN`HJ|ۯWsc iSi%N9ree):He$|-:zOrw̪ƍ=Иb{̤`'yZ.q-uoKz:H1ehw{#B_lb8Aq٬ `| ~ݻ{&b4a_B>t>F+oKuw)/ @,1e5K{nh&vIȉݵ6O9!YSqG^gY, -QzPi~ -~p֒!0:cyð!a:KJ$`<y蝐#jWs9W N ׬}Ztq# rs_D̀2l#! k(aU9 *` r?4NFo}J6ibxuKam! 7/Œ]!A{֦-ի|Iւ['CU SR% ky{6op^aYs yQVSȜн+B=#$z( Bj@jմ|*`ꍤ4Eˤr9Lo%.닌6hd8 A2[z7 t'n`d$bP_⥬bbÇ8 E 'zj}ܘs:%f#p>&Lٓ^ǪþϾ޶bPtUV0m).j{T4S!§iDk/@J1C^3 o09JUpF}W"|TLU0d x}l%F~UCB\UN|;ٺگ%`ET*w~CE'L{1"݂|]1-# s*i;5Nq_{{*nF,Hׄnt; ?^K|#1 O޲49X`h=4 ⥭iLGۻZmGobPE,Pc=]-k|Öj8]An¯V,7$cOOWpx \8pOUӁ$nH)Ig̣"Hӗv3Y!](z%uCEop2X iE [qnn<}|>D;ֆn3X3HG/zGO+ /W w''= *κN"Qgp ^" ].- 2/h݉;sw-Qol&1Z-e`#fUYUQJBj ڧmlY [+1Yp+*0I'wQ!(ڍ'B^y_Վ,.Qv8[5%^ WvqVU%Uz}uʼ.j;etK>D0}X|XiY) CMCc\(4ʃ|?̒ *}y8fƄh7k-,jWSZ=$uT5AĞxmyA{=Ae'88)ITyG .b7<ϮL)k-kS{˳"F1\AeN:w˵w_v7ѢɳL%K4ZGB^g")nЮ"O7AZc+miIC#ď *kY 讂Y`oTVK#\;P{/Z]LdZ{ҳZRžG݁FiC0bPi[&wY𵪎(xuQl$p }@4GS?$CPUy.3?"mYJ2svlhMFU%b QF w`|( G[1\Ǔ2WuM8%Nh8>F& ,ݨ I;=/}mGM+˜໊PLxm@M&۟3 [¶%*]D̆Z@ jRI6 +SpL˒ަ>y=L3A {yl}]PGACU7E 4! |(b"%3Ȝ?R9 ﺑ@ėʫ  H"~;ZQ&{/bn5LpVedHS`y26 "]§) *DCt3Š}# ~ 1qz^럟'5C]ӣOM&3?Z:AۄTZeVPSv]9l2r65xPSIfk_ ԏِ.l[P11 m6x, 8mukGZ&5¸#n.7p"H+?zXvvsD?e]C." 9ˁ!k`fBGUʴj N {\7?GMsYYƆzr(KvA%=!Yy !lpCPԑ'TIL8RWԳ(:xNN~ +]u1a;nj(!;"F\LmB:W Gp  W02`NE=|(+Z@L*iL&Ri:T4DJ%dyF8aBZ@ 0{xʚ'h Bc 71 ˲{;  /a7uHGe21 h!bjƹ ݌} ᑸ@dEXUr?H)ոaoC1oHճQ}@- l/D:DDoЪU^$k\2<(qSuf8j#";X :ALc_jEM)Es1뢹 :JwS']l/9YidA+-T Ӝ-1el^i-5"PVfp°7}Tk/lc5 ~2(i)<a;cX^D,2K'>€' C/Fw\ 07>e(6_kIlMfFpe&8퍙4; řivM;{ Pg?-^{75E CЬ +i2amjfaed0=}ji+.`XI9)+4Q7Ħa6:Q3_?L<m ʀ snH!CY@?as(S%x]tpmgnEXJ:C~un)I44C)uzb~l nlUIIZ=k'LRm9`L ur<ZvXuӼ;|N:P>*lEOhRa6wD>s|,߾a Ye 9m~Zlϴj!C$&?̉m(w[ga <AӸൟɲcF%Qf7IZ\K6@}ᩛ.'Vl~ÊWCYH!d* > PDBÜL`ֶz}\BAv._KBrG*Uu2 V' ֜P\ȉ-L*i6gphTA5yw1$ ħ)8#>\zH1iC߷ߊ֯o=5NrƝ~#CwaB%Ug-d8H/|JVCQ%x[_ƸPI߈S`U1@㳲nyB)W sآO`|.E{u\cϮ.g*ݛ{-1N.2gw P,l7+᳨8>( LDiC7J+Z.( e GJ{4LDDT\+醢.c(˸q$ |&ppu)!3Oz*;8DZn%xH5aE8+G־Q3b.)`,ו7(YYS~ݞBzujLz*R[Fw#FO#Z}F牃DCu(6;0y4kQFD/O&ޟR9;Cf^~5.4>VC!tlz~޹RZЯ6Ia'/fhFR~68߼ ]@#WC[]CKnؙ(2F=pU3T@)nXL󷼟RX9&Y,^aGJH{޺w(Mu,k3QdGR0~AΞg;p9n'B}}m1m DRef-?V=o_Mw>/>N1䆀IKb8wҲ?[.|2Đt^vH0EdQ2sն }dTzL?*F<̒堐^[xk5NDzK{_ˍ"8R!1PkJRY߀ ֶev#O`T^NIUys T=ԕrܫQ9ޡi} Ě;*|I73c6,PKy>@c4;_fh[#hUΚЮ44Isrc 2IJ!/eqdw %2W/'xZXS.T{IsqmvVe"ѳ7. 7]OGY yMM,hᅊʩ[",ŗP۹H/'>: t,Bک '0EA|T(PAN1`Pq 8UCbŎ0`U+igJz'EXwXmEB~f>88Mno6cBE#Th= !Յ({hrbv %\H߽rN< V?`he#]b8&3$VM2ƛ39]e_z *҈j7 JɆm,rp$7A.:sXA0z1J>qykB*^DUEd5gi\3GdTi~o= d)K~W6nzB8 )-oALʉ8QDksF!'w4 v45*TMpvؤPa%,Y [V5bhri.p+C=WLi|2z^חnk;VܕtBm9DbN:7}AC;uAζ*xN:y?#TJ\+O!^yH7.d52KZ_ZBAy=C"dZ!T2ѐ^kBe 8OD>Km4(R6 s\6uvt|¨9o<"6zF?FQtl(La|QXǛBd'. S-MOr;\vcsVnh7 ^A:yHf&NCZ‡)0l4z˚Й`Wm¶ g`hܯbMw=B tV#0 ~3{֬<jBaH's󀹔[.UF(P_+/Ǧ ܾ|{t >3x]DSbkv"@&*j\j6$BF=n85$HAn!74BM p~vFO8)U -8R$ٕpfQcs(]޵23wEJ/$009Ony!. (T1%*?am|FEآR2H/hZu= -\Fa P"3fFב? Rq/G*ʼ_ Mn"~gVT#fgP^p !+4'>WCׄ*^=S:\!{K[sQՔ_$:tgq{2Ϩ_+؋,[daC Ig쪐OV~z)L (Ml{>zQS}MGr)mf 3塚LM$ K@Q #+;/j$xGﭳDLD?20B{ dzic?v^)"DA2>>cH U&(IINճCG8X;7A%s`&bT:_L8yhf%ªfU zdOBlҒ Y&ߛܱ{k}>/5 b/ĺ9)88&4"B*% EQh,ESZ 8~#퉴 ᫾Sۆc]y<";ZTt|f % sYw?]]ZYvw#MR^0/[erh4"${dBbFfz}qkWF1a) G'˘+Կ5ϴbDl*9{+j}Y/grT +P ;0g'eav!VOjHj*Fo* 2ОBDzQc~w{s{(Bo'"5 I\%m@2Σh6c6LP~z/F,˳+F=@AI#b`M*ᐆP-8Uxz̙< i<=IR~S!R1#FaE1yNob'$'_)Z¿6USscqP~p_r]/Bdd !W3]mbǻ^t(ڡ2+(_C[=n1JˮTUց@M#\G(}Lx& =^UV(Bž.Xffg7\n 2h>sfgT{;O88<}$cjI㧟C@[TC.&祐z>VC$3a5$CsHo 츊ux Fک(VMIwf9¥VK2tH\o`j%c"r p%HK \0 -c°w1zf&Ϋ:B ae9F׭? l)Y\H[K:_EAO#rjԔ rebT)GZ&q Ъİ/E/%SY-B 85zowD:YUfsIEwr(F(a׎)$ӘQQȇ{eEϋ γoSf:y Qڍ ͊iw3#i8Hlr[ZF hw_!`U˫,iYeoɝ ogB+f8c`R*,^pahpqnTN/3&a !&O&>cnL070s{&]W`wEm]\,Qxpu<M^_WQTj( `A̝T Ҁ,%͵ 8Vc<X-0(JK*㤝ƩO婶n(;TQW 紟,+# 6C b*Ң^!$DX$&gds=Vɜ:w+}ցȭ? "Z$\0­jhe NհeJ:#Bkq.phN&kВtPm|.(6AXyhFgOS'Ei[hPE[fy(=^u$y"p5{O5ۡyB̃ܒ0-0۾龖5QTb}V "u}9#yͲY[kc# ~%-@ؐO慱4y: g*Ay=XNTXf9kOg=$[A Tw45GKܜTڅx)uk X­؂Yy͏*I>e=f:dB{:2!+4 ȤN4ǹQ!\c l[ڍa{7~E;_nQ^Ha_I;J--V@IזWH?I\Ryɱ nUc!Y\DZÞVKO$f fY "es%[/u?G>+؍D%ab0ut!{AaXzS)Zɬ c'u u㓻`#*3MڅOa 6C ,&)^״MMPMAtt ի5hS}\w]r"PG`Yw. 9GDR{% |h1 bs#p-{ +R-*x`BGW P4!ħ~HFoP֌u ݁GRq^TkB7>BZz7t}$CPplz)ܧʃk *-!+3&qI#S3P^ohM-0PC%BgW^d>5Vri쬓&h8_csPirjVr+=!Z|&ZY{-I0FcC8M~<+ i}{)AJ1'zӎB' qmF>DŽ\Cu6 <7W(d;k|.6KZ10jP{з2{&.e\8x܋ygEO0xe9 I[F;u*͖K=lA fpʉH Xך' T> XEyjnܶoJrw`mDyBm,:P<*+/+]ZCJ"bqo鍹|(rw!OKG1{g٣Z7ڠmF]Z2᜘B QK0lkslK5#ߒt ~jvNZH=܍iZ~d"+;XdB[zϢa4lS3JHxGA#b?*'\`^$Vj(1V!5є xzl4N+wgKݗI|IN)o/MQ[;?^AT/UVK&X1mq=!NVOj:&p5n)=zg _Bo3(zWְ{[j^>`Y0"!ͫQ "Dsv,m׬ ;F 1Lrco9Z>B`FK0WYt$EU=GB j4++\WryS!g Ҙ'p `Maf':R44S!U|<}|L킃S3`D$(/Xc'?W-RfxMP0~87BߩA9Ecp]hTW/m֙Z)XHtxدESЛfq=Jm%s fBHOnϝӤ/. N ر[.HrrL3L'C@=4|9t!95ݧ"`L~MƑD?QC3ՖXS-17v2/NZVIwxʚsXAXHx, hC'9zO} m{όV@>=7j0F/ahA 1A|,(ؠ4 5(3?FP C0Ρ=kNd)Η&uꖻ_j_ϽzS;8@++]284'n EP*{&4Q--Cg[M9.TKXW,e 35; \~j2ID~3-h9LoaSMX))XaĪ~jP N™,_dGj<$#8яy( !cɠ| 8\)&ah*c&ǕȂJ2Sh(xeo:9Yd88Y)֚J7,aO( .Uo9Dx{nρ$2δwsσK5ܼ)m(F/mBd~h5,.?5‚yU#nI-X>!n*9ZXDMThjQBz˸L$-5aFr(,yPbEjZÞa,t ԿxWP ɜTdeR W .mQ]T3#Uߟ[fqL!67jz *? ? {z{9Q!|LQG* $u8N|.̜h'qұPtSzYG.^t"FONFTG[B n,CL Dj%lS=̜J!JÂ}hyPm KP1ug? ̩]J `$:%yt꣨ ,|H 9ߦPXEˬ mKV4CH(F%$*hQ/Y\ؔȆ[? KG:A?(4FCf|9IAWsҬq(i\"֝+%OZWئ +@! !'װ%a xӿiX~QFJ/Oi?J5-PFD @@iWN^5Hƪɹl.`Ot0+[$[ܤ0]==yaPL?m 0"F?gmdi>n٪q!l!B1GSbn̚+B9 Q3tL ts}T4܆3j$6~O^P͂6fvְ)|sP1geۦz=}m%;XVK :E4?_ l񟇞M{C~ NiQ Nwu+Z{ySU}rS1E'P(&Lf0;6lyh[8 oA @.! C'v ;Қ^F2~(=,w,@HD/K%ѥHxa[{ܛ#T>BF73^- Aŭ; H5<ݹ˨%Մ :Ƅz4Ov֡9|vl\zOh6~plD:>隉pz6vG-J]lofh4Q``CZ".qK.(`Ig̕hOXh&% 7Oہ:x/[-AݶMӓzP6n)HZ%|N+Wɒ< 6NvK)z:%:Pc+")29!eӬˆOkmOz ߆qo#1-C3:s_>!HOI\3s7)6K(:ղ (GŮh9*&W7.a8 sޮB8H,ۇ 'dG^ Zۧ2m]ړěB@[ }Ɵ[DV&i>70ϖXeWG]BYQzTq闳f)T~:Y`Sk8Kێ#e_ I۬N= /~r6}Ddu( 9e2O0qx&5{[Yqj[Ks%rR܃p^m1}}a_㮌hgwVw%>. <>-Aȵp_yj7ՎJkZ[cuD`2āson,b1„XRԑE~ IC`~VXvܓ,)8Fa%-AA%l:GcA$\-mNeGNK}N> !vg#3qF.THJ*)V.`kF1G[]#L#Bx"tR@iw "oUýש<~ត:R$KEf^9pˁqy3; v(3&@\cvN-b`p"Fa}L=)ҙ'$D`bro%]1T,txX3@8_jLkI;$:*D:r`X[L1++)Q?2+u1M`!$vCHh(>koz^0=ߔ*mTTɛ59Lk. tm^.G`SDz!{ j(ȵejkFE>|2sI`W{G 6})$ Q3jŷroތfw3lLG+(<vGQꯜ ^i?P[( \OA6f]> 2GGO|3T<2J_4@"@gEgRz"{p$2-u@dE)KXQβ;0 ˸3k[ !={ZmR+/Z UnAۍ>虜@C55\Z$ݬp@S_gÑ7sXS~eSwx#p. vwtnj(v%D  qLնYx=d#C*:_2ܬ$LAJbþV5j8^.EɇµEh)J=I 0uF jO7JF&9. @F7[Lw1ꕮ[0 Ă__YW\ h=\̫QTr4a{:B …5Fv ?VGԊl;6zd^9vF4O- /vIBQdH0"֜p+|ӈ)=]x+F ``%h0A[ t K 9+7DR2,rU5xj_Gh~k&땔ITdfB#ԧ )3SKM|]@)1,͆'r8vу𨥢u(Xb.ӜFԍ;mZ9\`I4@ke\r)h0k{rѻJl7>B3КHZ~bҶ2a<\#(E|1]afM#.p[[кR[zT^U8ҷ*/߶\B E#Vyimmv5zq*oRg-@j,5W!ړ*1`++j(mkA-p1H*yB!<#تC54{+#Um'P2oTd!ZF5(u9ئ0Hj%H{cq&ݹdby? ;a uǰu5A*LA^d6 [Wy`CJ(x6sgcT#o{5_nvxŵKQw+4܈C`E#=^ !:OkxD=-PuDzpAqɛm3 Y7;B^ r[M+R'iplmvf>6.m$uޠ%2 =]?~?+?Yrwz{-e>Cdӯyrn0mGNTNsuΫ JwzWL'=1Tl5y|bDa8:V䬐X\/]7ʈ<^,A*13K/ADmV-l,Cgtbm-;[E`v -f-6}MCD敒VAԽz tH|cȲ28rguAsgv}%],{%S')b@N:4u'`E8llBy%Sp Y#N6+yLZ {=fcsvne.ߠ6jX%OHLIk M=܎=,lai2ᱮh#)wwҼM$sh}:WBư}J*k/P{ m!?8\MTy  fK%U:(y޺TjW B߶Y*>aaچK %wI̱ȭi|TN)d'cA W\"󾝋$+ż 4+.N}Z?쳦Y^7%YAM^V=Y^N%RM#1]aF}Vy)j z>= zzʱ\8|UYDERtě9(=lL#dE:RQ'|6-[yh]6H%>_%pn_8*볡¿}-2M6H齝H2;0~;cp!B qfq})2t2trp(^ X#cDX?a=(2ad­D)) 5=2JؒɃs@t>wr*|Efm\)8w8qE/Cyb Q$73XYyŬ<ӄ9bDidHE$l: l-}8+0\So1t4S@\~8uQoGTmɺWl;aYR⬪c)>Vߑ<;"^Bbt4G+X]! GYBG -{ {d#͂%^aH&#m2I3Ra5X0 H`߸_cy8&O&ȃxT!3ڹM冂?lAF(iXW@y-K X̤*&J_vc>t5SĶ8 3c4FQT>RC'SCPg!$xv^_" <ӹߏQ޻ud.:!J!qIrvz1Y =@N|ΦJS[t|l=AP`Bn$ Gg*LX̍$3V]e_Tqfͽ14zhO?41.*I}-PbBZza B3qLyM2߱LP9dsEUH $&aɈx`iل{꩓zga='D^a9h ͭ|͡ sj s@dq.Pۃn?f5P,! ֎I!Shb 5p+"=O|ppNدT M'9K$ @4_j.8Ʒ,V0R VAt;30 x!ړfeˀ^%Q.Aկq2^ERM|xRH12FI/dW'F/A uS-o7dFֈא"uA8P%0P[@TQyș0?T.yL.' pnH#9YYÓnSFxv@2{9yS/rB7I)K4p]AdwvOg/]`1q *NҍpЂ K6 PWr!?!?sS4ävJg싵٘iuhRJcaX4!wo&_J.CοuD f]b*GzF g7WliSJyr=i4FA܋5NL*WsĆ+HgRqt_陀$-JNVO f~Qb;6>e}\=\੄ն_c "ەbwfN]#]cl"*U\)[KdY3`?7^0!dM TPoMg|b~O HVn4c`0D !/NQjM SgGz13o%0+M0`U&39S?JM=$0gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)IZ9bhw-tZṵcؾ5*d2lp< E&Rيӟi_]A4.h?{z@CTW2Ϩ?zj~\:'F4(' uψ .Ga D7HgYZ7zXZִF! QE]ŗXi%L!l+~6iLC EvQ fKFP[qWSl/٤E9G|7$m_a DSB].j a}];T .tA32_FjǏ)Ϩ;󟳹SE6j! jja,]cH~f&%LmG<IS$Jz-Zp.Rw7=mR4=)vedPmd/T$Ǡh8[ү}۵#_ɼ,G!fČ6&uY?m)r+gqPCEfZ[9QlȰ/JLlw-b<,uGj$ռkauBM^ ɫu? mS8aiz1-C?A٣YPM>-=WVB[Ajx>ZߊOneho +?l;.اڿ, ?cSɴB8R)}ԡd T|XglR k *ɔ~KT(;(PǯN)VBlUƣjOMp Y;F'Osg+@/*7qlþP&8,(@v7:06~^#q\ty$-hɓf̴Mq:js0iApR#h?;lèx'[c9ѼѬ%Ӕztz絟U`Jb|pfoK丌[D{j.TFj(}3mQo4M#31!su= gt2 Nfcƥ's~L |AX-`WRF6I &)q~T5 |Q=DωHm4jJ J \Xz2w`X(9j!.Ut#wY5,v8.Թ`T EC:sOpE?ĸ-b3p}>wիczl 1AMۥ'mS&Gm#k i"YO\ W Hu֨?7s!@k/)}k:|JGڷQg _+$,/Ṣ%ˏцRf$;> ? ƢlmgYZa69f0d1f8c7f02a88f35308da1a081cf649989428215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61