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  |l ]]Category3:threads=2elapsed=474.954cpu=899.516gc=49.564factor=1.897zXZִF! l#]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~BWB]8 t"@hXC]d>(Om3r;&.|Gyؽrp],NyEQ q-J\t nSlУ 릫H s >B0 reŨY d&4 qTM.YgԒgPDwD(c\| bCMqu7@u@f#1sgQTJMݓgXܹxІwҗe p!E[C!Z~SΡ18S.qմ.p~.   Category3  3h0H Yhӗ>Vhu =M (dN79/2$A!ET~c͐Pj(W _.g!q.R m1܌ӗ;Al g':&8Ch>ϻWȀWk1'ͯƝV%<=P N2`̑K(2'J'-%O_{ uAwl5^B)G6QgFl@+ IGa!PȈ~| ϚJ\8|xqEf4BV3If|U-DE\9[q Pzz<F*'͆bon@#F*e<=EIAVcGvYwb-q]R*&YV@_6A_ί}+ݬكE(G^Men;NitM&.$_l uH{r(JtĚrھ*w T<\oɸ[j pf}|"h{ork|^sҘѨWW0L9*u5a НOD3q Xy)8MR[M޺xWr[ 1*C Kd"m.j < e`"Emk-5OuǦSu$tl=%v~{o@ ^^@ݕ&`h.c8@n#p:) x;N0i(HW,ZL 3-lHeΝt$oKF0iʪ.97& y3=;@Mqc('4V6X kV|W6Q TPk;iǪmcØ!ҶN|VYY±Ph2(9+?jj nfFU5D%q+i (F BepsBb'iq)Vkl%j0CQr">Nރ Q+ r1}7ɔ&s /SPcѤdY*6Q>G2+_w!Ga ',V2rVZNŷҮzׄ0B9?\`jD~j`x{Ve]2麑%=]䴇TT9&V)Uo(07ё}Od1a#58[1>S^X,|X>.0hO!)M 7Pg81jLm^2)aE %NNW&R%1SskJǂG~Y0'PC{ʏd3\+e

M#a&zҏȽ 23, }dYHƒxQ1RmDApmBP23Q[&8o(rjS50EL$b 1hyj?=H2sóG"_Zdش7QOSlQRGE,(bOK|%^1S}$T &ޭ Ṅ[jO^-ZU|.nuNSJ~Z #3`#NʹM zތ9saڻf,6s[Յ(<iFL'P?imjBSw͞!H`St=~e,K,!9:H^\ gLmcq=pIHO YĠtI , / 9~y< 1 DClŭRh̿w+c\$'z6Z o%7ZZ1?b5+ TQK2f,θILh(\0zDx_$ԑ gq%(.ܮQڊ9NY+;A+OXb)mc}}׍^ZYf0][نQ9Nϛj.,es:9\?xiE;sj&ePA4Օߓ$իx~AUjD.Ed=QؼhҔAܙ •*ʺ8,a{o=7mEU_RqA`͔fwilE ]lfNJgd: Tak)@l ; `evG7ޯbŝf0&&ؼqJSKx0|,a9%aDC?ߋ}q6!'8S&_K':} 4*j:[A&i)Y/,Ԥ6*Vw02bʣF&hq=27t'Vkw<5DO5 ?CCʚ|vOS^ EBn2t]mMQEtKC&T*q cUWtV**NQv& #ns ¾-+#&j6ym 9N? x1ujS8a^5y pFd(v S6bcy}!*N x:g8l3IJ@d喡AzEՑtOP$rpӆN$VDQ5DwcU׿K6=7juElbGR:Q( :a茿jyQ hI_2i-VbD)/@6r[ΒSV4 4gdS]#4BX5br=ZP@”1H`̐v\G/BzN{B38ּ?gQs>TŶb$H>dGS$5O!ϐR* 1:*䣇ơR&sXdZ6Ot-{S\yGZdBj8cYD0#LiN^Jռ5e+c ERj萩P/o듳( fwcRtAuϩ- #7r.SKA_^xr5CM*GI P MVaj\t|<)5L:Rԧg>|7UhQ@r*٭kqbcL1HJ̨V}^*\mfH Y7BZ]~w^,T<}B$)1P8h 펶[mÛ;mz,;$>l>Z?RW,ȋ>_aՔOwZZv8Wj+$\݅?4(HU0b>8p_<ԱU䈁r0op7o[` Ml @\uߒ=b|a bD <2LW(D NPWH|SޠKeb2x-i45s*?懨A/ ::9kratVM]] 6m.F0ɢO?Fٽ@0`.-D;qRo*[,t@\&-h<-2$'[kF>5wRTq(aX3 U֏c>3teC>끬 BƈwJx{tPqJ48}C1ܥvŜu)}9Hn W3@DKXHlKRHͭ 2?%?X!Y)蝟F4 ]:s69,mҍVV[WN""sWXH ;nuₐh=~j !4 KjZe+\>\g Zܾo K[;{g9$xtrqMp h:i\q,.=V+ݶC6a DCc7+`2shÃ)5m6iH-Au2z"ow[p AJj(9f |(ѥӰbJo 6< VVn#0pMKwF.3q0>5z$Ujm bbˠ8͘DZ`ǾS)S?5f֒4o%}sIV6R)g#*EQo!37_r+`0р rYݖE-!4TE/fs+rҊ`a)o1H r޵''#ӬS ǁA%boM6$R:|/zYc yv2vN\:pg4Wut6[vM5ٺ?V=mMz' ܇@6 i/gvCx~s}~^'yhR ܚ:lo]X1U[_{T$Q[r7TD<  ' a.volqt05Vʘq=f P)[%Zr2 {Xm^@LWbpu&["oŚM>lO<ȻS̟'ϣ*6۰)H 0bb#≮){jvDZ;*ԙ{8axwF1 <5l)^Q#]y2Cl ;ܾM͠]Ea~&E {gYZ7zXZִF! Ҋ_m]ŗXi%>gt,,?cL蓂,0׆2=>͔bz rۼ@8x)YFx(Hwq_vc_V2Qaqw5joOG{F'P& }5!o7^X/c9T4iI-5̜'Poҁ@z,Na O"lfY ц@E_(`3-:u"1f}ڑgܜ>SpӬJ l e ]}H cE؍MUOGa;zt8Y})(0 )I(3J!sW8[4xa P &Z1^.эnq. r1W RRg *9P?0v[=6𜎗gK8a 4#f·wMӍq⋀!o@VȆ:>ău3F™´mpo. г2Gp[3=U(8%5}G?|Û:Bkvl$`*󛟟7rиif\8h_Gjl~L?94n){`Q㿲|N&9z71^Eͩq]V)6jZ܆e G߁'i/t>u܏s- \j5|xKM$䑗ZLp\BuBu+KVݭ*<8P<D6r:Z#[ƓҜR>c=K]?jz̠75K}+dptɹ3t R |R3`[8 h8CvK?/96Fp0qϾk+St'-AfZ|&GmDu^П^hJ䡹JJcy 9񀥮=;<ig(~Si->ᄱT_zRVCv37;Y$#(FvGJ^<wm}J^fdp VWKOGs_J Vi#&\8ZfjrZ4LkHC#5CVo@KrqtGO^'^4( 1\WiiQޖRӫDj(05g!E#tT7vE1ʍpB |Cp8HYWL* !") *T{[. sxYj(sLfq(JWb.r4n^D PXǰ٠ͣj^ڡQW!܋+\Rp1+xpX2}#VN֟6b q͈Ldֿ N^p}Jmdom;UЎ=VS< ~*P.ZįO6K2;-yh9)y2t`gZ#StͰXOB"l;XG)#gEt _s.wHNI& ,{Yۦ vmv[ 3ugpWTѫ ܆ *U8-{y)9_H- TjG/I[vP/,hudU#]~SlVu=.;xFgt!d}ePX}BO$+,HT5;y?Qδd>6/vq8D:x}J_1!hčl"f,j;%F╡u8` ɷ fj!okII'+_.WI m:5 {;>6eY39c=uR:Q^߉8RO'tD >IYG.(W28MGǛ}.`Wg/=LBPWs7yuʮ2׭8{nqe+khz"a~XIU۟3qo$Lze P6)P -N@mx#4f.Iv݀,E".h%dUz{,0Bo<}E~k̺s6{q7ߞ'%XBKu?G/8v] |Em,|&#^խ"z,|6„}wl=F+ NA8v Wg `P?x;f%O4D؈O}K~bj[#U Nz6S@BjBigxSuwE/hÏ*ݭl)y|zwN,&n 3~=OVZ̋SasX'mHTixpi讲K!a7[  Ό 4{K{D7WCL]w\@0/GAg,BJ /{dӛn㇅+^^Kt5s_,#!Qb'%Y͜Cg2Iycp=sW`hmnjoB_;^eOZu`DZͮݨw@S~jW8ԔUC6F4p|ª8҈짲JWvW\d(3/OV)l~h*p9`oˠb(9|a;cիq׳[?u9?Ūz63-vkSj8˭-"CpN]k"HQCׯ&Cq\;'#doԏdwTRڭP-JC{bpi3xOyOK_3BkdM sG S姱m_&sw@ɉcwR/xZgSy)K]=¥Pking8ΠW0 X4vnm $/_W\;NpJ(qzGH~DP:W:_v l! <)A%I.SqC-L\O|1GF"cHUPbY#2:5nŋ >&a)o~dLωi3ԤPuEs a-ƥJۣRP؈s,}IOz6,A`cbyLF1;sHDҞlDoX~>[~?lyb+`-iC(xDDLo@\;na3 >E@ ?&!rj۸!).:GPȸjZ䜚nEb]:DjZO*+8𖙎,0- *%s4Rf-U`]%8Htl|_ X -cO2(F,-&KxEDectnCIyOxAB}a<=9mz8T!b mRc^kpjT PZWp+nWdUӺ!1m[6:ϦAu^\ PRDz^Q`22f ۟s}%FR}r'xXRMbNEB[*SI82S +A>!GH!U;3qق"LJhX$Nˡ8$SܡMq~"WqTp׋ވ)rJYmIo_!ׯQ$=9`f ,̒3KUF!t^K Y䎞Ў/e_U.[ wվQqp/|+/,}GAę3!VSMڗn݅Ƙ)#bneo7A-F >?!z\',BE@ ViХMW 358T!Tʜp+?=@-dL7gR] xyd*Y+*?N5 x4. h@Vbwa*̡SÉZFc@/(wEclo@?y-^)1V'HuCQY=p9K<4LB~ͼ1Uw$ ~8פ,lx,{]e|)"W}ɸ0MSQTqM4ud)ʣ_@'KRΔ,*2lƉg8AC>Rغg(;&nA00ZVI/sY/TLDCaufOpiT(BUA,PY\#/s끵t2fAа<瑎o5 4dN4!c@⬿# >Y?k):-jYuЂ뢸dV$0@|KeY<vz2@݄fLνDzu֏%(%\@+F_~ۤ,0ctz9a< {e?0Ld%EetGsȎki*H3=BP-XL Yj4%ܕ[J$]aтʯз ɛf*¾s6CׯGS[9EN (-pX!$<4u ѻ C*MM#a njVuexL zֺٍ w0{JTWtca:aRW0(di 7.҈2_po}.f=)¨6,1B.MU@bcw2B tΞ 5nW̒,[G_g+ SƗ]٭('(mExgJK:mOz*+6[JO62!WXu;H-w epnb"Z,؜d۞Q5l03^ J+ӯSءrw'ɥ ؚ5ksv%M5'l/};$G⩽QQ'jqkOmc ^Nw;Z1u-7qWO;rvK}^_h+bE)jtRji+JһzMZ?UVɺf#hv\cM$P&GDA&<^]ZwL6ZNK~fk6%e$K"^?6r,onue[m]a /&֒l9Xgu 9X.20%A[(Sr"7EQ͜tYܔRb`0Y\ ψfkz|׮.@e 1}|8ðl)Օi4ZQ;w$0ѿO tVCh(5,!">0؆>)eZfKoo큽3y&_C@wP4[mC.$Qx:6"zNC-$7kYrZ9|Z֐ElX'Sp40 '3(ۚIP\đb㘲"<U6&“uiMxߧ0j[&iȠIn$H5SHSYyVw"ѵWZ($`֦K~.K"-!>~4!Q P2- MX|jUg|W? ` C;RCkEc+N.X|>N`De*xwt S`e#]hH\HTNm!B|`f̐m<$q^ҌJ UR%7 w}˞+)P219e5g$ qew\U-Q$&d)Xz_="Fv3x䵷.z)B('#Zfn@J@+ ~/CjCf;竓,jZi̤5EѓӮAI0;͕U~s4x7ce/[м4R[%ہr)R1;{$~ QFlշR\=fCc?\UW,¸(^{؟7&x+;f֩H'PI7m~]ik˦9B5V3gޚwOv(ybc~n ٚ("W VS^j= \P}*G$` hvo#A tJ)Bk8؈-=IEXkjns}FS\(G[uiBC#Uߟj|jۋ@ܨbF (k<Ώ02CEQ\ruW 42yOPs"b]Y8E^&btF27^` kXj|JJ9?w"BKn4ٕ=!l36e Ʌ7ܝ_aLj>6D/W a!S23k2H ).Ĺb$!D2+`ԯLBK(Q!z4 Gxv۬3+aWlre$މV@$x7 V/%wufZ|>Yݿ;"lwH<˙Ȗ&8Uo24\_YdˈM#[)EYczwV,: *Hue7Ω1q5h^౳3iO auq>0?*_ C:]Lן(oF> bHqj ~U.ߎmg@ǜ{8ニ@yrK )+%|?{j95+:OVlcpApqa[<#{T3BuQu \Z8cJFo,(/'p՚-,-0V\Mc#`zSZMGjM3Oy*Y^ v[TIRd9 |%Br:Y$kL|OwiT8N*}EX Rq!nuVC (Jp r yVEҤ2qk5. @WW)J5C^0n}y G|V_Iva-e|.gWAa:CU~| PPL]Emo [ ¤=JaauȺ ~zob.Uʖ"V;BO hqp\=U˚9y&AkH=D9";`brg3OA qZԫ~{`5pmTͷZT89Td+*\+Vc2 ,pO5NSӝ_iEVa^GgUeERZ2{b}_XSUz 2ko oĢYy@hggNWZOhlǥ,Q#wFe{kB@}Arm iu< PGCIfų;Ku}ySI~\]<c2/2C7zm+؉)*?W68}BSٶn7&`OKC϶63WLi}Eqad _ք_rot"ZVqiA6XK8x:lrrIAy?Pј ƑJuWì`>1kYRډ;_ڌ2fxc@HZ7ɰ̹ar(Beyv(sV)Bmt Vbr p/k<|z>$HS9k S;xSTicm_״C Ӗ lb {K8OPl*_n3"By~,M'%\%;'sh51An[K[?ŴP(M/mߒ?ROC.> "I"E}`I8NYşX3IeOc={-v` Ɠq5je?o_Vn(!Bæ JL#i1݀(ʒ IPYaD/ßeHbcz^+LHf49ş .,8)nM l-ˆ9)Itkk[#Pۑk~u^k3ػ AX .sϲV@"^s$6މ]Mz2=i^]|]!,nksk4 K#9FO- ɺ,8p“}@W%N'@ƭ "\ϛ}$zbnV{@ЬQUP;nD čS4o:şawp㸀Lpڙ_˵H?}-b~b]EL⯌^fjUt7j!0Exޕv4A9\>󘥠 6U0ظ3] 0nQp9T*0,RI:m#h{ H~ @_^7@Rm9dD磔ܰ_|`rK>B>X5O\sT>]urKsW2V[6kG: Zt.=֛LF_=s)$;F=1{ Z#if~5HߓKݴ<΢& 3Y" {9lNpM;XI6K)&gZԈhR^4.SvH R^@9H剣89}am &<4]lXHn+EnCd~ }NR:V=;PźgWZmY(|=*R.PH3mS7. ]T 5jpyÓ 0f2E i MD_X?U0 Ee~}WlGYlb8kEԙn=`[u5P5ThD{>GFj!໫.rSʍ֊V^4.<MX?~%Pv!m71u*4jn~lEVn.v%5P`t?NfG#u4(5/Ⱥ1 &+5rPJV{AC}/pV { ^\AŖ%:2ktlpYG.wIfc*ta.Aɱ~$2J"e6`:R! Mj͋@S1Jr5PHfG`#'>+7ouQ^"%3Vui 1m-["^!x; ]`ؖt]H#4lxȒl 르4ϰ|?Ẍ2B{=Gl\pnc;Ą.z(0UNkԸ!0ά0~װ?ʊ8X/R!ZdJ O'Dg~a5ݠq 1BPn7mD &{ %*i"QPi~?>xӯ`I:׸Jx=Q)]\Kq "he_(Td&i>™eA`h`mtQ^N-E۞c;I&ptk:N}.@rCKn`p'Yd!T$B=jmם1Ao(llX/[<Ζłz@@E5d6z>aas(l'쇊;*:|>wW#iژ%:3Y 7yDfʈ}& j8uTX 5*Rn"rĥoLɹmR#fֺ*~ ji9xhEWD gyݒveh&ofc.}|bLS~wbL-69^lwO#{jv{syEIs՞^8}<UPҬ?dfư#"}C "e<֔3ͫԵ5ϘY*wȧ9$C"r ~xm9H71$A c/Qm~ՓPFO40tFj-v8ĜHyɃ\W4!輂 6>JIIfQq낞7x׈[V휩; hDfXjyzoJvzPިšhDPY_ VnB}]_6H /͆Fy` RQOzc A w`_(j"{x?Œ!A_sz4#>GÍk)Kdzu0m`m#օrgx!4pʹ[=Rc 'k}R@C-:M/d00|WtSr$hEGR]1wB@q(׃I3uxꢤ3lM(q5tSo=0%S](#@K_٢OHS`L]XW '.!ݻ49 L=9ȋv= }n^Y(c ˨֊tI9Q4`<1Yj`<ӤKl0>4Ⱦϒ3%|aQL غe=rڪ=#_*|ܗnasμ1`.8 `[a>k@}d%^j4,Fqvb"8%RlwǺ S~Qqn,?uZv[YZ % !OJ(ccy4Uݟ$@X&L^2af@9O*[Fxh$t\٣**:DoQLzq>%&~e{r}TBӠ>f'A叩",dA\pU`͜Ja-Mқl DO|O#BuWNV/ aݾ|Nzc"[D}Kgri0t^Qs8B't μ7Tv>Ş _gP`*ܴaZVD` $zBs 7QhqNRH[8qS%x1' G']N2i6&2@* ᠙ȆR KѼL^TF W4QEe)OЃDm^'!]f:3PSξ/YSXLޚxӎSU=<#+Lۼ(~]j@"ɩF,t6vM;2icL<(bTG>9V("Q%뵾j3_FmX޼ |4B=^3YBL`E,v#`TQ7 I8Wϝ4!G8M/iB(OTNwgy{6@~̊Dce}qސDM%zOTD _!u Ϯ>JزkK}wЅз%ԍ4ԎDdUT>4$8dr7By]N AEĀ@B#Hjt]jsh?SܡXd1K('_uԋN19kNQ)1>h$6 gf^&tTq[jGoZ ~4N TF<߿qS~ Z%lApl>yTMu5@uqd_R ”@|'P!6҉Epze- sOa?GC&3T, s/rOkm=i;7>&/8SNt62> \CƏ}/o{Sl]!8iEzvGPqC k=7$ ߌ] =jpQh3>LQ7%V}bP*Og`: 3] —XB5,{C›,{)BjjK=FY۠6A'侉wiRKJNd6"nVJ0qO>la2ѯF. :Npg,ZNSS#γ3xmSY2MV<}:.j\7 {FXvAK>s%Ă 6OAa}S-.R1jVtxz"m N$)y#%ohwVvW$g/߯K˱C `EUGˊ@9A4;*'oB,O U.LSŞ' [UHrDQT-|2R@巄?HRmnhxvs0Ye{p OW3' ˻)3`E6%4Pu#*W5{+@|ߑ ;˕Lcu7`)y4M[de%Ӂd=탔T ĮHqplg^uWPI"jN?sM:rX5߾,E]1vMeCZ0RuYVAmg=_Zޝ7wdĽTH ܤs{qoA1$ ߘ/:(gB)bqצvhm|?YoV,dN=d$Da6DңFoB.}mic 籕B.OaOG}z|S !] 9] x6dDmrpNb UhE n%-^ sItK,uӪ})2Ϙ!NkG"n<"p f zbh[h71$5b y$zZq8tDjkp@чmeR>,T'MDbUuRV[ }(滧Ν^M2v~kFGpy6 L?QHهq~Mn@2Y1%Yg4x\aGk}m7 $1wWuAmx jQdi7b9}>1ǼAkk6HM|bi3-Z8!4[$0kBG!%zBc2] k /uYnYo 8%/zu1IǑQ#F:W{HC& WgRƁ.S& {N^ .(uA^z%شثDPx9fASɳm`cLD8^ܓZ;"h󆢍ufB>zF[aZԔ|.LcׄѲZA kp7Tr }޹ p:'4ې[>ǕG4doȁ3{娸QBNl.(i0=j{ r~ &4|-<z (H%^!IZ@J'34U!@cm*`9AiYgMb]ߠKj@Lj8f[YbM^,VhQM#p{ݤ6QPZ든!U#μLm6 (nʊJcW٘yhcG ]2%ZL"w++G9'G+X?,&Tc*lJ5X+})ܢ9\ýY4$/d&clKPT$0N,5 nTb;w=F(T8)A}kО&y\$ 4G~4)g=b*ǿ^I>$!!f/77.PyxD ~'CJ#!>p# 'Jľe zJ6~b7˜+dkkk:(^&G%`\]`K;ajzLt.ihjB N;$kF2p!LzCqA4Ur2;jK:}|vv@K 0:Qؗkq߄OJpEveۋϖ;ֳ'㻭1|*{w $F,3@2!f3x\iv%ǛV ?Vc9G`~VWe#p+$DѝqWBF jt^g{Bո y}9W~;g7XuOE Fwxt]횜1feP逝o,\:s[=l[S@a)C2pI Gla0 zOqGI|ɘl(9Ǟa[|LLmQ t !ѕS1/yOa:cpX( ZHԌ!`ϣ('8>~b 7 bS}k0(y8I%>8R@z6 ׃/()XechBpLuP_I-[vycď#Iv,S0aݓ[;:wh+yTڷ#;!lMph>L`SjNղxƱn}jm愿9QLmEH:xW{yDwBv5̐jyFe -YV۩×x.Â%"&aIR*wkޘ-#EErD,9or9 TQKvxy]՝C!G!dL\F*tCǩUɟGמ~ũynvJ(.+ =i`M."u ƳUh_#Ay*KX7w5܉ .VW8G'Œ5L~cC?Jf_4s7޾bl CS8T{ #օŪLW<iʧZ(]臆̛WSʷ%r$fQB9BF6!U6,t>x/BS `)O8iK^dktp=;~K|p5wҚx4Dc ZיI-s3/NGINo!ϐ4Hxk'&a9bs%O7VN -0<}.+bkTԵ:c)sP0p!B\ԃ΢bY1ر CD<Ƃ}k/xcع?%ɕ^&ѡX@-7"Ns6p%5Y3V2%$Jfykt!̢w.[WUA&tj #㪥"j:Fg,`678><UL:Ë).h!qm)Mo#k%ޚi\Xk$Svԇ od,@*l-sv)I @p`R^ 'G: 0^l\cI%h0׹F4!5V:(zx 'Cޠ9d@JB_!N`6Txb>8))څzy1}\2}:V+Y̧ׅ_ K`RMCLhT+\)p;meV_T2^{=,dԘV>H}aQ(Z/3:)z@B;,wk=d'0mHM Sgw>0)k5: ,odro]*[vԋsMZ@L֘p|b=Ґ< H #6l`{˔{OPVԜ7u.TwV}E2!Wd _VYp|l'X3w׶?I,ERcԚ/32cy`-JPm yUݔ?>cb XDXF_"S}0ۯ3-Cj._w-Zfe{օF[X؏Sn6 ~^}:/&ts\1TO nl6-tfu.ij2eALxm]J;yrIuYk쏂<k鶻E#1YD5W7oٚ8S m-Lgepւ{ ք+[.>ct~A˅0qR8%Ъ-PN:-H Uhob؜[gAVA"&X!?_c "Шٝ#Ni57.|p4uX[뉒Nu Ú'/} 6y] F M]K~oj^P n=G(1JWL4*\6H9n1A#ڦ>?F'leōsFkt)MEVcYRTQƟ7`5$b-/90u?|N1{1kbEuj[ϟd7[VIݤ LRVzO-hldnp6b􁒪T/U,$vyaRkz@D{k7jx>fQ