SQLite format 3@ .0:  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  P%t, ]/]HOL-Analysis:threads=6elapsed=312.498cpu=1542.836gc=56.676factor=4.947zXZִF! L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBIWnt P)-\GWRvњ$ 2%#Wygde]~hv >KAp%5"k[|a_)ogJ#؞[i<9җChM`W* Mub8:`8'>%XQD0)=jyrv4p 2U2-?V<k]-ۉB 'և4ff#L^V/Q1Ö Ä % HOL-Analysis  nou@4)zzg4w{Lg8tr/72~Cc|ٽnO6lM"=G S+zПltyS=R.pZ5|מkh%՘%23b:Wjׄ@}uw][ @ P&ϴɹzM:~!y&F=d1f@v %lz7s֗I/l.RέA] e#FX%&䵽Av Z[ 0^̳՘-ݴ:\V>hu,XzD 0MR]qoFUFu[DF(tJK-'AN˧@(@rV=%3HƵճ e3t /1cFvŐ$;nMF@Q9bQʼndGHv3괧kI?ztgQόdζ"^_kZT72 E:r;{_tm` 2ZGv%jZ,<*nɶ򨬌 |wu:HdX g1JH VWs(U6׶SFYvQWaF}UyG09k)iE9aۻojTηL͞@%D T%/wHF"یp:V0/j;ەoy/bŘݪS7{Gg>aDC#V AXVw廉 .z!.WmǕ!"D 3phO/Ebe2vajK*zN8- <9:a:q!\]GB~%.S =C e-wfR|s{~- {2-Tb/ ,ikM\ ؖmFhB8XW?q5((]ιlj;5CD"_-"o67X DxrKUس^鱚r'j3(ztB9}sԔbz qpƺJps_;־$r14?'XQ^_ LC'1sxjor̋$E2]ɞ9{AjŘ U2_/J |^ 46O9G^Sr4Kw֧6 Ƴ:ݞVN"!sDR}D:j2y3;HSo,̴+2 iT&h|Nz9$l.i@f5~ ֘/.&7O<44!^ĺ /1{$"$[hqVLd_'OJo(x}+c KVRwohqλ!e1}HdO @oMB'xVdșQ\.Ot\%|5[0 PCFs⺁[EOH+fTSa_طM>{@8bIqת>x;6ZRr 3/k6~SCIt`^{<AۭXA^ygaWk*?4?߉yƈWBk3 k$dt%/:; ^n6CFh/TQ19P3{1V@M.ߖ5$-YQm#"䩕ʞ-87fN/x<:o{wS܀Vd5 z&]:7ק]<ٓWFQUܞ ,Xqn.mQ`HJ .aᙱ֢2A!Ci` J2ńoŴuXt)dGj7)7D~ʹ&S[|r>S3#1WdžDfh,,"[]Rʉ>vq`X04墭N8&cXӥ| @5M[Pe4+ҿ]c;֚ENmk ^ohJ݈RNH\ 0}H@1s:1ՈчgBCXa Fboz\Ag. .Z  @stM TcX*h=@Կ Z͐\ scy?Gm ^M*ܟk߅K3c]45K:jo댱\֌`0f9/V!|:*Ke~΂0ﬦoPd8:Gc&mmp_=^`Юlȉ$KŐ̫,M՝{F[Cvn_%B2T=<̶lPV̖Y~ub4@0 Of:= htHvgHu"/^u|ޝQQg~Dc>escv\L^X<D tprȢ]YR9R=ɟg 9#%#g?jFH3]ak1k2?Iպ;^:~Hap` Z!9~kP`G r?2uD4Kq VAӓ p椅g)l>+P0LVE:LzK@ ڷDȗHRSԋf-"Co\iUY, .wdo,:7%pT/eb(Kq \`dI$rayb1'RgmF'2Ѥ;9LEȁ5|!Tӊ$k 800n`wrW*)KNxDOO+k)+Rms=u"]"%Q~mSR7i{ge@æW 3 0DFb5tg1:W" 73[Lni{[Q 4;Pc Hx:\9̂"j\Ƭ]،؜ji"nFamiKg(MSqrԭ!`X*U:b:@Q#Q+y,rv@3`Bex` ^9_Sxa׼bבeG9 O9 j ']˭"^g7,AR:9C#7F N /3DOSM?K"K: \[Su'c~nnS.w5 D,d[ Ŕ$T8j4Q@?hC57ayxB r$bZAaHόt.hzCQ<xXďN[qpK[qQ0ڭ '4vą `YK2')Lk#s#ANN؁2V6C=?#E)2:J;AZˠVY^{ZoAV&t]40f3Y, uKTQ4R{oV\##b;.\>k!Iqtwn\'ĿL\B] zrPRyCwP=?Pgʄժ?mi \}bwH8OfT6dP yv_l ,֜yf8dƠB8K]ډޡl.{MA. ˢD0no;2/G-'C$<Ɲ4Cڇ/a NhM%yѱ3gMwN;!UbIgi m,G~ ݕDm.0ӗ{ih2PJDxD29K>g^ù;3\)^W0_Uq4( @,{0Q?yOcźhj uC_h!|Jn{eá}_ I87^lp{m8ibbJWTzpȶʼnj|Z>XEAﲲ$!UJcD0JutUQrNp$ zD0|0al9S9u3sQC dԷ #FU1`5t// d(D3~KA 8Y#w eߒNF֜!i)bU:>OFps&SZҿڨz= 9T|}"f;G.:Zȉ­/49w{BeqR_u 8•k9&k`)=#=s/8Ps&37#J5 YEF'Yđ2,SRc|9ʢobFOUB\})$2MQ+'b]|R9Ԙ;g;o`bѵƬM,Բ~  ^)9- )^ſ]E]dh,hToo_P1 w onLo<,XGw]3@?kVC AYwd w1`! *ZQкt0.5 _W _ 1Kn oP!;Mh0)f+G3hj#PV׷ꦍ $SU Xqf>BD?adZ,hdn0408yE4UI=h*F,-ɠ_r`%` )gB;XlʐJ-8Abt/ٚLN%h}mqh"t[~L5 }N7-Ҡ l^I%:Vb\1 &' Ҵ94!3GNg=pR'9󘅵ޛ />c!y:sE3rnMq*ᖑxh]ߺm-]J6Uu*/>zy^1L7 a޼ %hx 9m;9AtF=OY/KϮyGjU$pg/t 2Хcp: IDwVPo# }.H*|(Tu6MDY:.ZXtӌ)OQY`sU*͂ia̐7Ө{?ބ{V=!U T Т>XÀ}XڑwX6)HFiDZӠmmxZpDZ<m_B-jY(2snBX}ZC %5,jji:4aY,n)y4xJ'7SďL9᭲|[x42߅َ$I8ݎt ) GÎѭإ:﨟CD 1='}Yգ[8};ʒ) FaN0,$Nִ{7,qk')U4E\Qib"G*@6Oh7uwZgvX+4ḨV+wZ2}l/r~҇T&뜥9ɭ{3P3SйkxpsYגC'WvA#Z ze`WB>K1vDZ*ٸ7j]7(Ot XG%۷h. 4ڈExQ w:=϶kYKnAfi H0'-ij71h;{nfh6dr*Df/ ^lXE eGq]^uZΟo9n8P8Y1ϚTJ`(6*avaDNrèio+* |g&xy`#0kH\w vrUk;2:t9HP'tdg[Zg=F^4G~+?ocNFuB0U&gSZG}@# ڟ\pʹWQ>zjw# O)FUSܴ3Cn ;Gb_ ri߅8V#@3*qQY0vHPr-`޳67eU ѪZAVVT̍TF%AY%ޱKޫKB>5rW= $9w"@UU{pcË!,*B'*L0hƷEԧd|fƟAhlkR/!̐w++V)ڇ37tylkbD `aKG7A4on2WbFs)$Em+V <Н"Arji" \Fp5u%q34861D} 1r6\&( Ь+ 1tQz(}<).KHMD|L#{oaЄ#@\)nu~ 9HfC好Q_q'@&a 8`Xȃ|~Eq%d7DBIg9Zp2&k岄(BƂ2Hl-6m` FCw(@q HB-ޜ$CxzJ^TjH/ Yd"ڋH8E|9 0cmX pXD ǷxĒϰ =- SpA4UNӮl8Sw5H*;Pߜ D &#o2_m=] w肂>hHxEayqm ="elY>΀|Ol{>< Xy3] /4H4 GoVW:UqJKfFp 0ʥ%h?BjO{ܡ[Ah='_:nyȩ3 O&X,'Ьpxps> nv'o[Ƒ%!mx9 qF$!Cy' O(*qknΨ>vac)W$l/]9k"m6[nch#W'ɷU*%sZ$ ـ8{jgk{hj}뭱cˋ0d9HS Bc EA c+Ǻ*PE1ɛ|O#`yj m?6>?cX`|EˋK)7ɃkU8SxTq0"1fDm÷Z(yKj&e|Bho6nBJ g(kREfsYPr58msߘlJl r7aQ$' 4ť͹"='=I9bU6NvR="d02ʓɗoujE彚Ԥ6GN}[pO|?|H"v"jB3rLcXz3"3fbG͙l_oBEQxb]:q ͵Ew0֙PCϷ YWM,/EHq⫴͊:ه9fks+<*Dβ ^NaEp5TrW(Y׌,gkk-gd~=QCF@V7 Ք9!D[7 wҤU84)y7Jto~?I13bN-nj >YhwQ##:|8Z諹bmYU:FK-tHe!!]:-'x蘢$9Ido&U#;~^5=Hj{jNA R3@-Zk: D1dԋNzlrЉU )6$bو X\Nal!*)(uOم26Іw)ߛL]P[H {J}ٯfjstjS[ǥ3ρNQ`Рu}sH>tDjÓB<bpJֶ{*#0 C*)S ə0,YUmM-$tΝ`F,9E"2q ڥP>+݁NDFM׭mC^CeWM8f,ݙhSGRL!pݦbd_'jІ9Fґ0=aoԬ<2P> $gjk +{THu/ںL7깎٘XZovg yݵ 2E>`*u5wj5vD?80UBI* w^G^тV;"nm}B"*ƥϻ(FJ߶@&.)H0W.~ eke*&$"q*3E<BBu|;^0Tl_ U̻L@eP?pr+X{T,N嵧n ta޻aNR6ϩKtjyMw}e8'+3!],}%04לOHnV2ʝYLe8Kb?{^~/#(@.U߈Xi4ꗕz"i=\^OSL QDx]+CEνwܣh\͓GQے5[@[ް)hk^GU؆q mp uiw;xw߰jlVsq3vVBl$Uz=JmC  dAJO(82[ yVsΔz}mo=9D~Ps2~^# XycN}Ya)? s`v e-:rt,v<c:u0>d?bj7 ' a»ZHC͐i}Ͳ?a RQT?%yr3Cc"g>$5o$׾|^[o܉ɾ'1,V5$CtKWᓂp#}Zwofvwq%FTEVcmzqI]FMchRbk ^$&h{m, d+'4 뱑J< 6Redܧ$5J%7>oyf1kp<·<}I_0Fԏ5#tst`+/ x+a` LL|dWv{|i7U_6չ|ޜDyOyhq~$&須=((65抵nIۖШ. = {y̟0[Q/ li3"xխoBLj2G9fҭ$"Fc_x3[4SNj77>#-875%CcQ3/bQaiP3]7z8yW: f~Y#q>de@#.+DDſ33Scn >%((:݀4X .trK!Iofj2d1.@ivn"VfSCH䯗d-)1t$ T@%_W@SwkP+W8_5THTM3"lZk' ϣ{7a-YgAHDp mx[K*qT+ EnFm !4^u4^aN#2~ضl4zj ,8?tC/{8KYVX0ѿZqnZL4HcýӖPTr3DP{]3Mp.*\Ρ\><3A& Hք_0iґj(\#]RS7nĥ*[ 2R 63Vj;SE֣jj7G@G,dd䝉U'Np18Cs`YS>A5U|bɅ?j/Re XİR[K&R2G:,Td˛[A"?r©RZķY/ _"m"1ލ k!(. |44c3,_qWԟTWkF)?g @wMlC=Շ8FUǺVeэ'R1ZI^&a+լ>VLA)O*)3&>z^:zvɟ?bu ڳ*{WvͅgD'+ZYf?% _+թ)thVFH΃y?J 'Lj2 唅&}-kFet?6Yg&/s[k$;F^ۄ_,K%lHGQ9$s4Ł20f߯f" Cs\ Ҭ͆JU'x{MKڃ[A-׾ x=eŕbٝ 'DJ?ZUwג#"0 lBD`~Tr2RpXX"9Z2LLsSz`ՆB8΂˔v+ߢ:?8hlLfrtaYhgTI̖K+?FTsD Ya-li97'4D-JZ6+=0+y(v.eM|P{_lT4FO씍[O~g1 ;mH?-/RGDVMķ=$n{rGUG CE? y6N/|K0 6iZH[B&X/eYvWj5oL+.6±,O>Eƹ=g(0Qp0nE*mUASd1FB\kٲՏ7VfaElDyVo[^e`67UJ &bO-M+s_yǜYtׯ};ױH*˜τGR?}ssee\Fث柎_d51ttm&}*pn.TyULXI7.@1L(ɛI@Df8_{nNjG_@2MmkLNZ=1NAzbn^ΘgTmR}_YZҭf?8gNAV}۽(<$Psگ?6f_,.Z³91틚CQ!YC\\_HOo3p@97ץU[='-jsԶS9tBhEFD#;8,uX}Z$8H+ړlI12eZ1Ɨjw}dO #u[p^]_:9R;mniФ>;J >NZwk7 nquyUFl}(WHLk8lA"U@cTFXuh\& ^M$o~0U"Q aq|0vfg&نQU 2tL33.gTbեeY6Ds߶{-OyX{G{e*)zʙb~ΖG/Üg-PXJK;\\?Ejn"`ez 3[jfI1(6|ūC|@8@?XW4ק9 rӅ/ |MbĮJ@ 2%[$ɱ[QTNV x4N/>F'RXdRaqfb;+?;RgM>HPoa~愡H n\zx;B9x%8NJ{?r'!٣/vP [֧o!(sFttR@GF~n|rZٺ~%P3>,ngIbBR|@[Ek/ "q1_5|N5bn75GoVMj HJ-C̪GxҎ yN9?,e3zh}6s`"ǣ6skT }m7jHXM:watk΄ 4f{lę%J_\ewښ@'̳Nm<v'1^R~%l8Yr;ѫi&P|w}ş)Z3^ZTivvf5ɥM;4MWK-*NKY͍-Ws!Y [@)HAF|f%} OveM7M5 r$]xZ9M=D Vy$ö7n+c?73tY#Έ@p{Ui !hS]H͓È4-UTvq&@O~e?_maP]Ya>01ikvowD|1YF5 A9Fk;gs]0B4(!q.qUЊ|$4[ˑ@/Ǣ= ʧvx-u{fCYTwLm~EZA^Xb" lIqi=iB/Y᡾@{H_#1'XzqgЧySh1=2cl§fQ} v&7J&@;|"岺=fҲ0mRf(9k_oSmj"?X(>7s,&__s8DPʗw|o;,[`ƇO"un߶#@-Ԁ-9d39+3+-߂Wd) w VSw'=m@/`ĤPPI jmHpxJ!w[sz_!!,h!V vߧ~tO8?jDS&OtV'[7 =6u Y,Cme= #^mL՝Sm{/[qB&{?dZ.LF\LDpT}, ʳnՄV3@tp.6oE8sFȫ*1 ¼` Ֆ"[:~| 5\;2HҲb_Kآ`7hr \")-X4rH57.Qc"^nlR=aV@Ր`gދAXps0kȩxtsV] qT(hQ!Q Q7CI\tl!FOm:heGVǜTa|UBTS6>^ kq} gh̎MS2~aXə, Ww7{@IN:A-6%?|b%ˍ񣭝hnD:q;6>q?(q>X7ol1l7`覐GP},]9OSTAT5ҽv}|93/ʯ"RRK2bair}+&>zHLܰxԣ'Y}3M g w} пp"Pe8IpSNa9n邔Qߒ )C)틚O(a)I6^t2~d.f pk_3uH93:I9>Ђx}6@zvPQOU3dGs`$ᾴ7,?@mNu4nt譟eK9ڲIOǴ[zb[ p=rT}{O ݌[!9i }T>vRiAZ#F b-8t Rs#yu,륶e(q6yYw\Y[ΟWg%O^#xdWpLcvۼ WAeCQt9 # FQ+{E#Tzd4GP5zg/܃E #h Z)8ѐt^m혠AzS92$&öx].h@L?X԰?sq`W,)3)JɱgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4s Y:`P]:-aw!PBn0Ǽ6hɄwWn5 Ek C>߻Q9j }ż=,}hV %׾{2F?=p*kzQi+2:Ih *VKɳ6:OwK/hӧU76rl& 7oU./P(ͣi:7 9n@HU*( 8?Pp%UDi3$XA<5tb"¢OLw|8Vuύq^5NWSoTM϶h4@}M+fa0趼L iґ^;m#% zEI60H?Gu||/M1ϔo}0Uō&C+\0[a*ZyChZ<YO?ux *9en껽ecT_L+jWafw1>k 'QjlaQo; [wwHk^~fyn? =fY}'c0+!9#(aBT ;-t> /91eQɘgJIuٍ^)sleh]"ښEmkLgE49įҼ4(E&%H> %YKmk~R=[>˅= 爥;m` FP̊]a6.%mXD>RCX v t&F톓1IKPmZoaG`*5O L_c2+~ egޜ5E&p鳗0My$oT2V?{ubIh]# `*&]MmTaU9ݱܥ), { L(5ӻc5L| g~,x"~" REED!@[2=| 7>JyB=Ƌ<:bWWU4mBqK6~\eWu#vĮ"˩)i{S_y@j; A&{\+%+.D20JGyQ Q^β)솇=| eC+O PisFX1.taQEIl ? cj^/fFskGr44|&V&r,A ,o x̢(&my 0$uz!O]4})mw(Jb{n9JtHB Zv;engU@?QLgiĴ76P ڟ(Pl$%g@ [a8R$^ >+Sۤ@::,s~tCGi8?ݙ2Q m狗BWX_8bX yf3y8m[U {n5#2xFM(1 "<_.mbAD\ hyAvw=}}23W +tSz;X?;)GhnF&1+jdKx>e !Ē4x?|"-RnZQ9ھLY,^$W;x&ϩC鰕wAoC:=@Rwkd›b({+'g_wZZm >^byǘ0"q Ь= Kp[h܀$$Kb sx`xY_bEG9)Wtť2Ln؇TCGq]0h@78{'5\tYD8O%+{nr\DrH5UAI% +^j@2T7;9Ubr|FuT/3EbНi߆&߃b.2UHP{jED-zz%- %̉NCRφcd-( e EԮHJ' 9=od݁9 Ls}B?rz ob^ʪ!'o2-`),</VG~cZ*$BK I=Ļ%UlV-Rr(%kh͏KkK_)x[)q !њm@rPC**`FmTT[[sq7Sz |'B8-&LCqrNjQaocTlNDFb0IbIC M vRVrt[5@ &%U2q["Ց%ƙ,;Nϥ8"Urcxw!xWB$6̆Hέܾ GZCConY~~ H (`؂"ga B șRSZ'B6XmfxJg)`z`Z_䗕hRI3n>Rd<^_K4zdjHb|'ۿ+V6 }"8!&&@χ`5#sm?Os'RE~2dx"LSWa.L"皹iw7鐂rǰiN\z~JNYd:UN(_J|?yP;6ZՑai{ŬAsJAId[=ʙTM+t'}l fVZ R'TACkQwKd5vCbǣA:b帵`#HSL`P}MCm;L\Jn-rAVήMѶG1,<į[1<|8m4$c0R0;Esԍ)EMۘ^D;:blX-ɲ1=}T`#[iUWq֥7l\7A.+ߺ~_qǢӍ;/>$ӎ4]F>zGLHl@ʝ.Gu-…3 "ބ3džU~PqЍ:Dl.;VÆXf` .0PI)ZB1~{ e,Ta4brm<("k#D"ߡLCR([lp,3I}Ѕ}0]&hTUi?oRw%6nvg-F[37 V*+mL%[6 5(@6T5X$?G8CϣWH8]Ё yfaX/\H0[e&\4v߇ -*QCv?*Pv=EO("Czp!Q/<+چ1 DC몫0VDKʅ{КYԈ`ȂSݗ9,q9ؙF]4nR O߮HC|ǿVu*#7diǔR!mD@7Ws(Һ#C ] J3sDѲ+۰AEyD7Dcg'fӗ I8VllfwYzX|.r,SۚԮS=޷e ^aآA+@bUYHhBT5}$sCHk7EhC|bnn)R5͉H؎? O(%7b.E ^w7pwmqQR4[7tA'#)n %wL~́(| y3;c:qrmDMOXVM|ҽĹ}u wY~YL5>`HK*V%Xr>s({c] F 2͂ͺuv2mhqiyXphW mEKIB Xք&5FVɦTH$-HdzA 3E|zWCt QUd? ɕnY㚪dusuC)LYߨKFyHT3[纶g-PVg;n| hDJH|1:!xotg8@sOqPof'm.eMz_ļAC3G]%_p?Gl *\.~~mp1/G Jd-jBdحּfy\Z]L8t[rsuݒKYy:M2y X繳jIP@K7 nl@QnX% 1A `[M4NsrgØ 呂sGl ƹ+eEw ʭ4۟; |%la{Z|2kAүH@?;Y?!<~`e(tDz]U{ՀwEI2mGL0-,"F߸gxII*7S|jО.jF^ǧm 8r( LjR_4o%|"!XEN~މ7tAR*Qת|4=Jјvit-O}٧/)fV'g.5_}|5xXZrdʴ6.\q"mKHU{aBs9A<,>> *У\Z+_ք89%"~T?X.rkft|wF9s_3l=cVcb+o·sxabйȍ:ݖ(~ON.5g|mbI= 9M`R5/4Vta*n3r-%o =F;e#wjNV&E(_]G%R>I,eTrsD*0:pczY/eKñ:0haW7BgN h##YB96vHp-lTOH\/~ro1,! )e؛H 0c*fAMPfj`7yit:BۖTʴ(&T?1b%W5a(J Qa=()hbM]}zj̩ l]'favߣAeюgf.7 à~nL=zW73ض/˃C␦J(߃tmFn:ҁО9B>cFx}` 䮺:w4I>í$ g /u]5w_44) EC}d~P6MuXY%47`@ ImppCV! E!sf**|NGĕ0ZP,RǑ}h,'B{}Zz<ҽ(7 2coZ%k&,IwHIyM4ϙ {vçxqk 7N+:Wڤ?zb {*vP_̤o?2땷ANo︀!CV0 /a/+?.=PBΈvqn`d1wA^y}iD*\V N&i voְy;IK "]<`qAA9oE  ^@lpVFh@~=㊛ZvSPĠˍ/HvfMk~ސ R tEh@^% :7W;Ex-c{ۀ<83eܧ@lƦW585 +f:&I!@xp,|ȽV_$=meP[fnaI#V1F =)4m2 ;q,{Y *E= %%Bgs?"4٥&:86qigQ/`u)zb|C56WFc/ ^^]^>Tk'DGekUihDJI%cs.&d\NjBXH>,2Sipڐ\* +[$Ixkqd6 A;SY@#~,VA͔ƔO&hJ{2G7^qi6y씵/cKd8`7 8s/ LkYs) o<4{8-P_Ű:es'g#yP&{jc()RE_uj2JY`-ļ"DprdD,ֲ.ۄ,Kp\?x oimpQUYvq%ؽ ǛTYSuZ3J9_l a,HPXEXXkdHuI0'c*8:)ȴb8oCtWh_ #. Rr2M%wwW烇G\?0W :h}974_EI_KN3`Cdo4#Z|0S,kʧLdoۜJb~_,PEpNr+@[Zߢ#(mgsO!vEJ}Z#u#L~N(R9t`4ۥ #ǩGD\; @_݋n4iNV83>/  i6iNa->[y\ٲj>jB *oΊ=u56P^lO*qC}?'ݫ:E֓;SU= N.vH_Wpy,cIpnBVCKDfo?aLAgh~z*8^ ظ+b!ߺ Ԅ}Y^H||(ݏл?GR|CWmRuWN…5Lrm7h' A*lpOIif%H0DPf8 JS U.!$Z0US$N5'2 yϞ]PI\o_Q-&R] 浾O9|K@sj:Bٰ&x;FC+QU1V 9A0LC0[-}v+5˅)>R>zpe:3 ,j3EV23_i}w V-ti0mLp~6if܀xTim*V̊v԰U';ro.ߺq̍"X% q".\nPrkO؀G |VJid@Ɛ{CF ht:p+( S2 +sSRzq1ʛdy*=@6j5$' q_v6OA T\v Y s62,;y w~ac!{S5Q>0 X_uwe$~.Tz>䓛לSr+BOl1~Aoo ~ şd()hc1>= #KJ<%.Mav/#b2(kDHA`{hP!QrkH"+J's+a^HĊ26kgD$r ($Ywzy3s'!\C=ɷ*#T^{"mʥ.vyØduÇTwY$;u 6pׯnjUCn->AO6ػ0 pG4 7nqmըUh7&7L]Nň!\328 In6ыL2?*L㴧9Nj.I8pZ~}}}t)\\~ InZ}U^f(&74<~J8-R_"4*`yʱR70Mhd+B#K&akA;g1P>x%t`](acKlhʐ+۾9-ͻp8\tmɨ8|D:0>U/oq0VzBEQ oƚseS~kvV e,X}{^oo:!` C_Zw·ƠHq}} KR1wv5i۠Mc.:J mJf׍IbiS+V7Pl^&U|^i؎"Oشҙ5d*vCJ{+E?2d_\[;Zuqx霾vE`G iy&vJ'S;{FsA*괲 E)N!4jدKo%ľ#dZbB{y9LL||~]Ѿ?FH::`!V}`#Br7 / EaNY>.jJN|^[կF*I JB8iazIFۢ H &O遅J ;ދ ha}͓$;"dyP5/O@.8Gs"SʴXJP>Dx7LZ5rhqKBin$9R]?Jz@c *B́43\m[XPSH?UW a0m(qNImMw,eO_yhneDLnB!wOh{䴙Hǜ,&[9pAypM mV]A[OZ%>?S+R~d?ՌcOzbc-ȜI}WĖ_ Ά!a;)ծHWrڴ+P "<^`9cZ3?-V wiOFWԃTa6)<"R_Teddk6R(7)dHqʗ o ꝁ42pXf^4Eħ˹cEabьySX58-!Y:G>>ּ@q (0MFu|h&yͣw ȲO;rMӚחZ4ߡo꽣"%Kb>,e*o%Q0*=k;I IELo̖Y.pWaNd?PdRU/mj r菲 /F!RoVjN b#RߠYfK..6͡> Ed5JN@Ps}Y ;Ms*Í dBZ!<]T8zy; aw+R KPTlbJ>v3_8G9nd"X 6ԂڨFv:{Sa<!:=fg=xRKi%7qX{, CKw L'?fK+X'$-geP%qYgبPv[''? oR$+W%q~=eޛO&!T<S-Dm.JIgHJ@Fŭ, Ρ&U\併/ uZj qMMۜr Z'@NvMvszB;v*ĺCRȋKG3ic/nay@vCV:XNt#4X MaXN yKjptE],c=)3m5C54xL*s3'!,k'W6Q({ bsD LODfL>'Ŷ ,D\(VWI8~(2HBqZ G: ?8GE"9z@U)l/ړ hØ0s`\@We]f笚"ڬR<[}|Svjƶ5zy$KͧknwIL$? !}24b.RXqDW}ReC6FJ7(gj_)<*+:5f+J.pƮQdUPǠrmuh@#;!i2nËӰaD0924Vgv}k.e:@lk侏=hɺUVcrnҽF!'@ H[ct]:/@B ø)^ $=Zny?iB| >{w4`${x L1oma]>\A Hȁq2 %;D%F@,F1cErl$G[D ߝk5!G?mep_yw#(9}>9h>x7yNڅ?#޼m ]HY>Z}!ޝA3蚐@exM5 ]265@3NxyN1M9oh[nŵ$5`JϩPC{Wu?~rm1Xp1CG_ZEϱeJUUֻ]?& "">oB'P"=6 !ۜISk?)`E͎҃J9~KuxfyE؇*3\GÂR8KCKgoe3@-섓FAt<<4ZRCWv]Hh<ipMC3`enS]$}Ζ0ocxuޠey{˨5inŒ)#|{gbxUǡHK}&3[cEDѣאּ%wdOg MKW>YBuG_5bz[F7ܧ &Ur|=wJǵPjx:**ߙOps(9Hq":>ڈ0BG:RS6Ò ?L;IbeEEWGX-'͹PC\*Um]7GRW! C@J iV" g6i(tsW`ŷcBLJ=bcaTA[@7]i tچnK;%Ö))c3|lo-:[;9';\U[(w*FXe챲'˲My[AJa*y>WqFb5|* -|$G8X-ߐߚψgD-II! p1{mA%!QJ{,)K|R.揲 =..xad'ȑ:&n: (8&u [+@&Gp Np~~o#,pv .4!/f6)k%1TA`Lk3tsaH+ \iv!=Bd@B\|I:l0 [:WSKPaNҔ`s 'h]}jZJ+R?=qBF1TÅA(H[Oʾ?Vn0̱ +\9q:)pT!L?}W{}geC]{(!yhf6l\W%"f@bo5<BW{e,-HpVrn )K(=ϡ=={x w3{F瑰ҿw>»ɟt;J%$xԮVߪH "TqZ8 D|D ϒ@]`ޗ*/w/sOIvM~$/*-w\3>fTlx;-w5 'z`Xk$RBk4`1nR{zwWߍnjI l-9z,c^E[犳WTauplS[(`? Z509DKs]K!kWU}5l >S:pK2HfH_gi혶uR/2)vs 'Fu<[!srw.(frU_"qvMu8Ƃʚ`8j!Y$1=hF?DdRxo+ x!u$@W:jl[ zP7+|M ږrF~ ٭RG;.:c ^a|nw q6)'tQ?J^_澧:=@Zh>|F%>:l`ʔm /T=GS_o9Ĵ?>y EBsEƼ< " ۊz\;43c,S8[ J;j BrKZ =jѾ  SOޡꯆ¯fre0m//œ _)z/ӇtꞮ $R#~ycp .So, +-y`hu;vS̷Pl%( gEqzH\Zɡω_e' Z车EN?*C dv\l+(_$v"h/;,4& yf$Gy;0!å:8S8)I6qg\^Y/NmQ+N E? `æ|5R0r픓*BGGRR2DkʰvX1O.^-z⓽l.[|}CFxgeэ-e_*d+D>Y;Soϓ𸾺(J|/Ҙ7 10&]f@]3~x>Lcr3cxJ1]sA}Z׵=:.lRK/k8x9 !65u]7Tp W]Duj #+| q'SԻ+^dEՆt8#LXMNgx!MO|Lz %̮hwksnV*U@!Uz8>oԠܐnı\jтO^ nmސO]8t|@08!l$#vGm8:@̛~Iص6>ӟ"X5#`ۨ}t0(:XFǰV ĆEYJ߿+  .VF49.Ҽ7z…-Ԋo:jT+5š e)PjՊ? r@Oɪ6\f6E B~{r3}X`zXw޼{w5ρ_K18ݍ9% ڑjԷnZ8i! Se&Ի ^ ꑢj۹X(fGp],rp m\%uB.^k\P+MXG4Pjg>ybs8}f-i)s0xT F!C\ijg?SȦYyL E3_ v#6@:=̃_?+2$,B?3 r~#_uGemGovaMg2D.@`pTd eo&:"6 gM۵8W]CY=[yZ޵7)"SƈyC- d2tU4iq;0I& q7eO;XB1{ٌF.KU)j1- `(%׮I lX:+WQݜ7}c#ۛ]@RMVB{S^boGҽJms%|Ng0$,cḇXkZ\CMvpRz72rѨk"xGw=%2O8 Q8~L31Ϲ6b붨nh4Z\%v?1Gro6HauK3~wXHoU=OZ,K]g#{S:.WV㽕u*lh~e#0kcj/H*rA} P[V3lElLpҔ[6͸aWZ6SO y :‚t?޳լ< Pv_wY4X4rWpύ=E2^ 5*# m=ϣNw$<&i@1ͅ-'yy7  Zh `z)ig;o؝8/@И V7nʁVޠvkA`}*d [\b*~}DnZT  z`c 0a;4?zqFGk*W MP%C{ì>֍_G9Mo -nDqZwÉzVxonm`lۋs՛9q{ww&b7\5b.?0C#O;(7yKΆ7~pxmr o%Χ#{$8sD(0VWe6 *rcT^|8<&4f[&xzaoFQZ;۶RdGi5WdhPa{ڂ{C*bqװr^5sknW[dVP**vJNNi*6z~60fTeg؀"9w/=ƇzϯmǴhݕ9(pF>:O&?'=5 (9N{Vqq:|EbhӁ?k)1J^!tGg$,߭B!,L\r '>NLo'Z'nz^hq<}}6\ݱp?!FRW0vqhЃT7ԏ'_8XZ"lN?Es2굥WXN\G{f{5GťCOT6$VM]A)ɪbry}1ı|NE'/8$f x.6Jz,MxSȘez@Фij%όMY8v}hxCf4fDjgy7}UO"H qSQKawbMKc ni6̡[W".$"Dur=Mۤb m_fk#% eT ^[Yu/> ? MڥWj윶bI@wE]rУfC3Ԑ~d]As{+ϙ90@D~v>8,|ذ#hc[C9Ekn` I`}f%K#AC3x RKa`Dž=07ViG-j!H忰:mi5Σa`+x-' OzN24tb+kad9_+  )e'l*ŻG=E]1E7JSY$20,Ҍ Hr@~_%@Ss]5O!)T8fs Z Sz,L>$oTCr%.8o˥)_YL#}}  W=kҟ+*q ThRVgv꺌wA5+=(pvvOK #嗧(=aԫӄI,{5:mЪObDB ܂okT}jO041cuMa& ȇẖWۋLw@ܤnZE-ɜ 5YI-X͉WzC-tRm(s!NLk(x؝_'KFzU2;z׺|EL^&z &!.HTiS{Z(># H${[;b#bMRn aλ&4_J4؏eLi2kPO:"#o̵ vH//Fp|K>kZ3DH4D!it|5hX q|9 -T JU%dLŬGDIyK͝?' "B5+(tQG {j>7:^QȘߚ-ސ7Ρc0t?i>-Y-Y0)Q]m؝i&vwu?0+{0P`M6l[~k6'ɇ+/gl*8'9u¶t|@_G7hFYXвvoextǜrlM>Ӱ)ʉpK35|4PMj·\6o=aD <#ݳoEeX2I6/7x"` ge0=HԀw%HX=PwM1uWGlf{|}&ܤk:OH|^~#z\TZvxe5?17=fI]7؉XJH>7-(0? k V\Ŷp,"~ c %_YYT%ۅ#_bCkTyg+;nq5: Dogg/ fOF'rmPv%G幫14 򧛹9{sn䦊ti [a dNi|bAb(瘲0m4 6ZKj"EUr3[a]R*wll[FXQ,@7__kDi(_jb87 kZ&%,lsv!*1/F4ɦzt&DAW\F@ V.Bǧ% RY(?aDrʹ1ׄJ%F,YgW#Y8Q`XΘ&ەZl$ĮqRGqϬ>0q/wK(}tAB;GCK0}1[c0o$~/qۑSՔ~~n܈XX@+ ^;7 n70PDKPHz[E) UFCsaVoB++߱h_fܢ-ƯdsN϶-u\6Y s4!ڄU*ꇞ]wYgӁzRgOQx"4[yeYgˍҠcM]!:MN{C"(EgKgέb`]ȼt/X9./{RMhijNZIWv;\^CĸpMW$R\ HY6OJ?nP"ukW5H* 6Hp\3FlĬGi`&6ɜ<6EU+rwl[udTRUhb" ~{%j_.,ٸG m$W ÝGh!ws~>8eL`ML&z5}f:7I?"O~J8ʡp ےn`ٞѨ3ї%*?Һ\<(x2᰽{SʆӓΛ@v>.*֛Hۮ3,V&n35qYB7)obvZG6%gG9`; l4S_HJEq?F`S*hgpDͪ;2X_r n$&0&Rz_}IPSEZ̹I7!.lOs8Sd\ίt;Ck]lh 083e}lϺp>g(A݇k~6jCĭS~Jt8uiF:nk^lz8'6beh] 8΍ vkiirB]Mק͠I&)#O㯞G :bd)n7^IxfX:ۈUs2 %W1h{HTJYtI :$u(šu4T/װ2䘸x 'V2UT 9ͤ8o"\=xS$QtOt`162L"u{mӅ8p.vEC,wqbBHк0^8NjTpGxTL~ϔX*DF_p).7`Z$q9~E< :$kQe6Z4xxV T~ N[y77L Q^!a\Xz`/$ UXIJmJqw m>?Xi??RF 0Wsf!Z^`0V&g-lvZp[anrڧXۛ-}~XvuA\&=³;SMm2v6$1h@P@]49x?[ uI/Af zCטĈtC!VA-+WkX?<KtWZ!\63sώlgOȴsɒEh;JX yϤ9QYRV){*df˂=d&m]DyFv"3(= } />2;:dsn~3GQQ??@ unA~Rp1@t'r[7PxEk0,?pv2<%5xIڲƘsQh)Т*lC#B^Q` ZH% CB`XF6:5<ŮS%/{*UUQpfTSY"`Xpc:}?snoUip&빅utu!A~ g?X484$ÆB5 ;oY Nx:g8jn0qD\'o;6Uo`62O۹XF)ꟍin+ŧ 4# ;^:b*"C SF6h`$FrǠ/=p~'[͗yv?e-0KT}.G.?MDtF}`eDJGc9rX.V)X@.0SרO ԫϕD JqklʥX*-?w<_.ŵ4L," (#OU1*J*g+W VA2*f40Ęb&zpAyaexUnO dSםt y d)@G+ 9@00 M0A"5gX2c[!?hKݛ}-9>5Qhk̿O׳W%n:K%'&QD|Adk D#JҠ3=Vs% 0ԴqeBQnsA-74я3kR'kn  #ѡd!'S$S&.?^M9dbY7k\OAHKxj[ny|7R&>;.)&)b:/ɤTzMMsDv/?ڀ9, gYZcd1323e86dd99651cd77581af960c528bda99720f49cf1e890799590abbaffa7e0c5e9c98594d78e 1a4dbad16379fb07baa7b947418e96bd4e956b1b8761df51bc2a917399c0807b00f1487fa9a8bbc9