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 Y%lD ]/]HOL-Analysis:threads=6elapsed=311.500cpu=1490.716gc=106.324factor=4.797zXZִF! ~ I]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{_# ۨEj#oC5Xj{|^IHJi >_{_ߪ)!ڕ/aQMfy4 EʱVOGĊ.J֊< ϕm)U*(YhȂ;qr6ŧ%7‹BoB'/I4:*ؐږD@*n"/b?Ba}t5 ZF,/=ba3nH:`HCWfI; 3HMh/:|9 ?G rgxߺ}['!,^1M~h˫ؕruv}o`tG _#75dWm%9'Ekە$ &j\5DNw pdtFU͓'^.~Ns^5] r~94zy9_וy%tuVSQ,إyB2@Wk`| N}/v">T`S> p(A"c㒛r z(1t]pGFU"HpxR݁L*M Sۡe <) pö*ӦWH‡,M0*f];Y%]PEG)ȴMx)*ţWybR\2?HR -^X/e4}(YQ Ԫ"ѝRjs#5q勭mGrO>)Q Ie88VU‡yXXM@sLL_Xd [V &jSЀf=VW[VS3#4,h; {֮2hg8ycŝmRIknZa49V@kl9s7,If>[AƉ>u[ =V/ C8x`P+_w3w"wLUw3!eQ"'@>KϕȘC*;拍A:8)h˕(S[%u6O~7T:Ai\}~ ^#=trb+7jbٟV^l%qK()Ygv_.@$dوޥ%كl~\|@ŨM %%1E;ٞ~ C’T#IF6!gtV¥UEsFߥnLj HdHnX&R3yV~0*PE+5jVfXMkLYt|+A=ثki1ܣF0NRΩb#_t*!X#tס8<+0>Ȳu-nh]q k?zKI~.s)-QR_d3!dJQ,>#]4Ʈy9G i'b }i$\nwX"Me`L?3^A)>}/—_sTbBXLqV :Q&؂LXi)# 6 .4RoI_Uֺ,}ʿ 2 x; ²f % HOL-Analysis  jZYzScߣUU{X26,: #nEMtˊNY-/5 YESck@=euJ2k. _^@21WR$w^^VG뼾0`(~qF/Ev׭,W=6-R-:W:\ : e==ML15pY^k"NvK)20{a:fEƒ-(/4MVs'o)7rXtmjvJlڼW9b\ ic<7VP-X X"jXS$jiqkrFsSҜ8uܥ&߾~3wLr2MT~{:.v;Dɧnĺ96u㸮g}s퓲t$V,;G *ƃp5 75 Fgu {(X} wGces!ȭy!rh/*EB;߮dmM(n53@-m|DogiwWgeOgl+Aki1>_Z3f_4 (iA}J/6$?نE?69"/ L֣r :shU U#_/X4.ߘq>*V>nPIDZ'#RbP ?^0~S0-d$}|B'UslpVz,y!{ $߂$ qዻF“өc\DS% ld=:S^cDtAa_ucL) 85H:ȈoFY~qpXG ['YԮ,ҲשR~TT,4TNG\73.F}Ԉ(V456َ   L g2 Y9F5+ Gw~LKI ]B?G/KS귄[u*.6=< gvǪaq pپj!;~z?X!@h[rN *I|w$SL`G1^|CЫok4puc?pz)qFCn[AStH6HUUI8q@-ldp #%Bj@X(V,?ȧKyuII_r Ҝx]~Yf1lXZ"e"9$Vn.Ԟ)'J&[W83KTRȈc)gI5SZ.#|s*!E3`~`ez-_‡H<(֐Ѱ1Og3+̳ z2Nov@iW` tW:.B2FߡӮIN\'b뻿MtҒ)Y7_;6 i0{1Zqn0M eHh;u3DKuoLKfVCs+;>W cTO tf]BPv<#H*n>ǥ㇧!YP qj)mxvFȚ?5RمiC;o4L`R)U:D+ɼwoA g18}slFPZw lc@tg{z5"R1\;%\ӘEruWyj?^cTUf݆Q?7Mxvm'ُ]5 FhƥS oIׇ>L 1R}D$XYPCcr0eVYIC)/~&'cJZ BklEPG N2', xЇ 78/\ic"mG[¸_jNsקIn -.xWm2{WT1N tPI+iCMZXvmoo] 1".O qՓoC0Ƙ$M$de/2¦\[i޻AKiN$Z< `[ek}!KE3_}:1jp%րɹvn{t5:plٔI0LOax“kt+L.!eW}C~a~uP&ƅ9ޟ'1Q.#8U)49Z"MPvf=PL\k_Z_A% q$BOb)׌RcAU21 vS [bDp 5X0vξ4ˁ@zfu$ѪICY5ͭT\$x^~ϴ7!X]&)C/cgK–ОIhx" \wY1%xޫ#XFWń2`l ;[$P+hbA3m !X qeSH y; N/>_;$Xȗ$Su@ŖW +qEUYxVQ>`+g>?;e|;z=w-hKW\)#oCtܒh2"DaK|bF/"lݰ'Yo]̄SX8l- l@v⦾C%-TUYlwP3녞]p)-iqC-̾j{h [B֚gU--lqp<|zY\^g8:,s^sPf,t\ZhD2ۂh^D9L~BR'y\x\v'8m~떹ޓ{A}M84BXEHŌW+_YPWh5.ូL^_5@SnO0üi%@͆[wCLꓝOm zAS0qvqIa9v0>"ʹG\[G7c/8>1;p/^J&|+lNUEy[G~݀_3:'cxBxÝ=|tYbOH7LRG< p9J7T+M=ܙJ.Nb |T={ +"q?s6?`XO\"㤬CՋ7$bg 6ǟKh+4LR2MʄTGP0ae, ܆@6.G:NȣngeC0eeEՐ#H1DBeaz5zF?͐ 0`c6*B⑶U t?_Hab$>o?)3=4i)UW5rv6Q2$ B?ޯ6EFơc\XCKvN X6H|V1fV"Ԫ-زcbiցСRF^+pE GU+|J6QT:]]˩%0G*&r>v[p04p7_N  %|/+Fا0tdcJ|tRL6nC ս ?5/l\n.*n M tWa?lCb-g Ǹ̬"JYJ6ځ(p*4n CjIY G{H!\ce<#iѓO Ì)-|k7Z<ĄUf?!K1#qe0~r4-Pmx kۮm7 Tu S|@l.kxQ MSdژx<ȡi>V%৤xRQB_ e5>w˪uˆať`Oy+¡M .x`3/΁[zA"?" wm+ݐO&r#fg*sX@C*j oבc?mPS^*BvEX\^z*a .`@1o^uH5Q?m9laՠδ]-yáOu(7&[EbK:yAĈt-R\Zǡxͤ)<=% ?Zw b0˘B'Xnu[FI"oHّt e,Xa:3f*d{m5oeQ[F [:iS.ц;t߼YÉtYE[[1uS|u[j <°UƷ l@W&' Lo|)lPP; n N ;ZcAG)60#+ZzA% 1htk' zM?yvlzD@g+ozV{TMF+EWd}?`zwV~*_TT,+-ϣH]~nbԓ{Pt!Ьyd0 YPK/6S/o?ЪŜT \0m݂vUMRa}!P*7 #i}K\R@=K}]zyߛЦ %9c/kOtK?a}Vq.Y3gY-#Z|@Ј0˖:`EzmS@qNDs2]d  Te!ySZ d:KXf9d$*޺TO:-9ï %0֘a` -_,8+-~y@)$udVctÿ5b܊Kg3Zn'>zg四{ RR(bm3BP G3+;ˏ/7x-Zeu٠e1X:)Q4{WG /C~R}q,{T%s >=ۮ]Sk&m* 脦s}Q^X,).22QvC&NsTƨϊHnH\J^⟵[t b!]ٜ_+K#]Hy08LŎr10#Dݥ-nI!рW^S[ -rU ΪG^,:aƣx.M{{Ʀn~#[bP ᾿fџN{:N9ݦq[E^D^=1 69PzeO`i,\e7(lWL銴P^OBKZ/>/tE ӨWVd>tm<9GH,D *@"'x,("x&dG-= nKϙlPƁqSgt|d!gf~0dџWkt^xc0>esw_y;_ x1c؛L:˙K|z*EZn3-k Yd|6(O7(^ΨSl zHZOp`kyu7Xn_+=VEGC[> 4)}՝0jՏGamZc SQ{g;7'MCSSu7#r|TE2mue?J4mtR$rJD7uu96 b#~wOYB4XΧm n^tNsw A۱N|&-S˧]8o*a䟻z>jlDPEyIBvVtQy:D-_yms$r~lme5CVKt-F:&9[ޘC-M8`Ih m;d: e8)OQ!0NpUb@S!r QN\ I3콌RuGQVT_M{ŘpM W!.Qb:*;76U1GŤq+͔U~U^&*/ZuA])7C&3\[ C`@GIg3$S kȻ|3Y";jl[:G# )Ǭ N*HE]C'-"q}[/~ef{b8CVI^$ a0_.1E?CZ1RxAծ(D"dBEʛ;Iw!{"n#PH,i( ƼСg1!Kӻ vڏVڞӏKJVUml1stc}$k6|kS,m;MǗo0r@{f8aѯ"wG(9 l&C^h@"wY dPS}#,MƷ˖⁞pÀ5N> jJm`Y&喖6li8:d-zlо!˺ŭVY?c4I-r S\<\`ywL|ڳm 5\;.?cȒpk\\r$>㓌Klazw2\эh*?I'Xg#.%C7w\9AcN\=CS;?8>1G@,rz. AfEZXk8c T/XA_af2y,{A62 ۄlK77E~ ^\u8%\h x: L?[D9 ǯ;sI;I`CSLvȷ0o _tymy97KH^΋ wil3?lLQWUS!Β43ҡj%,|$&/|u'Ǧ@F[dmpAM)){ 5xGoSƊ8:E*kS79Rg t}Qx.=\#psJDZ^Ј|H,qH@2N>ő?إb)mZ龱Br.y9czqۚIG2h.uJnKٓnN=ٛW2 76Y 2)1f;>}0q_,ZtcۤhCSM-zƸò JT4 P4|i#קs0F od7̧>-X4Wpokjv/-<Q\naD!V"*Fs|^Uu#hʇ!AP1=f<C:=nNNMM,h|npsXg %000;KL/E<Šv]lvtāOK^ 8Prg0AaaӉd0(Cs(6]|x_QKJKGz Ú V&joDݝsŦg#]"4á{&;PQaXN^0mRt"$Y>R[XDFX=rH:6t?hzF|[ Sl*Y&O8+<`0N,3)C % z/|`&2Jy6ǟ*QݓO?JDzq깏pְozNA.DA*>4/MN?l7φux8vBx$Rh)@;ViR8)VK0utZd[QviG*\ozW ӻpWK#cCYˆkUj u jҫ9u-P{>ƃ?;b < ZMQpZx2q}ې5t⥔t_A_\8 +%U<ļOBȌ7K}O͒\y"c(7=~m{D6lLc^/6uCJ'ih}aemٯ@V`u'zxԢ=U.kVF 5mQ@d, ocG4#לRzjv}3$y ݳ2= *˽tm]N(Ŋ*5V-,^'w <a50Pu'FзC=%R\fЗ?nS$AN'u e\eü?i5|c({4m?i8#^g{5{~\0.y9IdIԾr8I^@}OxdE,|W|DqH6\Y{d2E[$kUS^x7:cM>XnT&XFStH! b:?r֔kw)ʷbܘa!1 U9?bT>wh^w{༵!XLbE:QkؖuV<Gv<4o*wn^R7t(H^X7ڳFt$3Sh[ ?q/RJlOe#aaG,fqXDgSIV_}/[N!"PSBgtSB/ƪ@zV~SؕlcTfD\s,W&=I?삘RYZiPr\\ja+ȺBξvu9m7l!b_WvϐT;Q8 3m?RT2=(~ F=35#% J>>2*fֱ PIn@3R9eˑlq[>Vj}ަӥv :Cw=^O$A~>^v|F }0-+MyyEQwJhF^6R" i)J7(1Q%?$ Vt;2ۺmȪ~NZWzBue,#/&_JxKFQn2v$ԈI |=%'Mb [j<%ݶOJ>o7(ueA~1bFJ3EBܕ!/gp,gs /bz>Jh$`ZaG7þmkt4MA_\H0>DɨBp+_~9`7L[,U_iXFJSO sXB ;C-UTff} ّAd5믡>~'wJpH*f7[GTYW:3?6mV~`sjG"$F cf1RcUI3 sj\P[A|~6)-[{X<,덯}Pc5>3I\4 3vRaPm*S=\tgOP D/MnfgW}/!#hYjRN`a? Ѧ>ѝ5q8PنY+?vȀýFao~ܛF&X(MH"T8/ExZ%S50|{'̓ekAkZ^%'PRW{{\ֻ/,$aYz Z yHѴbCr`>؟ʻ?И<| Hpllß!, Qe՜ `'> B4Gף7 wvM:]4[p k@ieE)7Nw$F|Y–+4fL^o^7q/'(%྅~V[V^^IW*!ؕD&!8c/\}\cq0HhT6KJډSc` D~} !ye3l-4$_==1;\$R0 Y榖r;ϱ4AƩQq6X":-"zOH,R" io)Ɂ$"9's83l#{Fs$2:5:!UA]Qr-p~VWcig>7Fn&ˉ &4r6Fg&0-PRcWCMqW~H*>?uϘLeV #J$wDlK: EO"7n0ʡ-Jv:S]p#!};| NAJI͜dڱ~UK ZQpϋIP6y '줍 Icݦ,(͂M@r nVl5nO,2%<}[ 5 hwXP~9D?+-n+i [HE\C 'z= ,2V6 ;ewR;3$H\˅{-V07W nF77@=Z0™"{ܦE,h<^8#c\0%cbJ$KDbvq&@Dx8]㎱2`߮VGעD1NCP2`jEk;ZDT}6?LtF%,'}/j:aDR s0}c@&UNcɺȫjLtt#?17I G?R A;tIn1W54nSاRq9̜O&@)U…3)$HuRsMN'{aiЗ Eʀ ήl5zOfR8}?o)TVȰCvvnF3N.o o4v*nq:rݻh*:8n]/&g*Sq>Rxg#" ;g*%2q}Ȉ.Ýޚk;JN!fʼMl$}(!stMC6am/ K>SOɟs5JD\B7G7t>r>=ZLD1U#& e TysdJ$n(yҹ V"Lc**QRN%]D>ZZZz|6HO"/s%+\tW$n8?W]vqU5l*(H@"v)?iz&-HR(5@_w; {Y& A%V{5U?°^NƊA#Qˌ2iTxt-tW;w O(v MVޗfL`sT%ØJ m|XqE2epmN2Vk@JuB=6q5` V8&@ăŽ*k듉La^[V,dIG +ӵ9ԓɻ$lkhGrĝ3 Gzƿ}K: !V о@lm(FkIn\V hseӿd0-vwqZU;_HwpxиKI:! 8pqbh6S-&ć6+9!:"ڈx)Ge6=u.PdvL㑤CPZ:I?ZJT@i:< K?ᶻוh?iQ:+#HӚIf G@ۄn84ꎑGPdAu5że?i^WV Co;+++:PZ(^Sg]%dLf3{%`J1AmC趰JE0= N˹L&1?c/zhP޶cĘ'!;D<%#,##PӯȘy9{9xē1.#e^m_m0wQHq]#sb8G>ꊌ \̀U63 ~ֶ;q[Azy&,XEU. f)B HhuHf_"@?/׬VLևc {OĉXRwFk7&0!fHn]k6%30dߐvνS1$,rE p%-fCtMFoX$u:2!P|3hs}4{k^u ?⁵S-mFiMo4=]4*ܣ6oɬE/I`-lW+ VôggCcf<ǐE\Qy2 ᚥ2CL?Yc-'zl7Ͳܰ%eoژT\7Vλ So~ȇw$n\Lcxr\R:B=E BRZbF ݋.>/jmnfOC^~W!5Ğe>B8gΔ`J1(ץTgAGSݾRi"M6!`ҍ Ȫ=i"j}(Xch%r?e.\pB |j%CKb#>&5}f~:E';箕B'~m3(1g!2G߮R*8q.ojSCr J&.yZ347\c8(,?y>keҬYF;h%d29<3 ' `"CM^ROt?TsM˫><#ђe Ʋ8ͩZu'$_Y@ك-\txoA鄟XIX&<̿RAN\ :u`I!30Qi-?qo-ć0:99  W(;ъM:8D4KGQsFPh:\żZ6ޖUT}֙#"#(7owYUNrX%jS\cD<ϣ(dlZ̓6?xU2@; R.55M?s,Γq0jfsWFtZQtfqjFAvJCG+1KuƑI@^F~X-{Jue,eb}QP3;qu:sbI誝жV?UssDs3@w6p2SYn*\dl}s~WsSKQ d:I,݀:62" :&tWZlUHGdEVqH^.RXBV_րzWH|$0UgA t $b&Yó#Z6x{`)f{RuLts  tMIc[-mԃ(7B~i ߐ}@DQƟ!C?LZm]en5g )X U9ZiJRbeRv!-ٶF^KQ]LGt*( 44v(&ħm~ؐ1u٢]c!8oWWK*8Rd?nӓ`iuHwz'(SҶj=t >e{IؗpS`7HŏCkZUuQZya%LHKx Apʐ2YhZu[K5MD]tvaQ!~]x$(w^Dm٦w=%Bcז%Y ^0ࠃOußTn8h*9*,Mav'o ʼnDiۓ׽x/\DZRȑu^*3)w`?}1rBN1~`d4{=9e"rȮl{_6RE`n`bM"\ٻA4=ZnSB0N47$`2m4CQ.>4(DPxt2O _OJA 6]+]X LFI'B?s؝kq[]HlhC Iӳ7^h3lnBC^& X1I|q 1bFs.'B%x<÷9:WAMpᠳdVd/@g QZ/Ju5 / E[ wvK`g^c^iX-L őB\0Bldn𿄿~7V4rn,ӽpR i m<{Hgkpvl->FT;NĐ>Xd_lŸU+JݯNhU>,݂m FcBMc~Z>U|u+o2bM˹#&<9X}J}3ޜ~:)̫ŠyASPPs6,vi)4yǙ!r q-1V {hy*6ѷh=oZP7b_^uuǺ&NBq\Wj~б!d$+cpχ|-ƴiJv[gl0Q#`%][5_Ջ.h(6M>( KT7WDmx"K+hCӞs69UQuP!lO$X,S-29S? HM<Vdr GCʁ>q@xִ9%m^7%M!3'Zz!R:\%' ށQCGŦ0 @ iF3Ol2 &Rx?ĩB_âM>IWE9A ]+@gCVe4*p}l7ıQ| *oBa4/f~sW@5{╕#*_ۦ:Aq= PP{NY L%H:[rhF h͹QWgs]NuDA GAP8&(ضmL |D׬V7/'z@mZiA_#@R_%6x; P]>1Eתg7úNMjV&Eli:LHM b]׸i8P :^E1$?}H.tG_fB)uG.Gt;B,|*P]FؐmO$Dnse;D7`Ql~D. ^Y&Y$[#:m7[-}.m&rn0Q>iʨJP+T5/S:&poȒN|*;mwYӹsoۊ+Vd!h$0.Q1x?>x BV:{ z *sG"+|_ ƴKK$ :R[x keFq6S12\R7u ?u#q>xC1Ο;0 ϫA&\q i^|擌eQ@O)̷'du畔(HA>pګ抝iȺgk^Uُp" =Z TLjۨz\'%|CMgS0PZqS`j Q6g pl+?$S1$) =`DpLh}[y&%'2~Aː|rgEl 2QbC:rMӡM *#L9=͹^E\R̍@4+Tt(s9\*Og,߬r.CVÎ'V]R0W*FH;'XrtK53_vwF'Қ/)鐺 (^:)z/=,V!ʺEmF}t"S8*rY Bg$bWdVL#cHR&NE*wrcv>Z[5,%Ti9h&|RxLYƢ@2V&\tiWk.X pJ]ACoɵ,<F btLw*yEh rZlFݾO989R( 8$o3uB p һ\٣?d]QѬ0&,@: @R^qL zĎ/qAFũ~~PiY=uRڡxߴ@)<@pf=6@CauT׏탛=B n^qdbGmBx7hW#1Cm0g4Qf"ÐqC)W R~3g-:RQ:HAM-tƐQ0H~r2X e!Q !%DEKuU C>8cImڞ~wL0-=2]+`f jB-4)O9N5QƵC~N? v쳆}HRt]&\tt)N+7 s|qDW=pmلf7@ JZ-ݪ±й5i%D(o\3&T۽6Lm-q̛ǖn|+i8UvWLG$҇,Y QPaMDJEH#2f3֫u34rjs[u67=vٜW㱢k,b\ G1ƂK׸\]ԀJ@̯z:[v=bI~5[C^䆡;=EIuv 럞zŤ< h~-DaGS5+\f 4ۻI.Vr娑&V[R`\0|tT%/2$),rMDf,>+BY㥙NR[Zc\X3t /2sWRAG+|IjW3`l;.nE&ɹFX׊~:ɾ% !<ؖ]|$B:OP׶z*?2%r?ӛZ\]?T1BJqy)9*!wSO5)Ib?|_I&Q֏?$qD>_. sQиeBneSdCTbOicd: ^z"G??ɹJXj*}7SHv_pY۵iTKӫ;vTP! ?ADa<}W{Ə^C˦h~?Shn]wKХW l|X>PRhA'M|IG?DA\?Whky/OcAz{XTJh4oB-}=宛2ÞI+Ctj0TN5T fI{V "z15_o/lR\x]@%pR+kz-N,Xݤw5&bMveв3%IBV>{owKYPZ=gFRm]%"HBzh8W>jù2ۈR.rl-;6xH 2ؠ7 m q(lvٴ.E /N!0 G7Mb} N#DzTn\EPHRd}k/47$h\b݆v _9z"MGfpm$Tکȁ[Ìu}1'ϛnS:V|3݅Z$뒎c&@w2,k,3O sdVŜ!XFזj@=ʶ;~ y]bB풦 YeC6i2v3Ae`wZy7 ^ͤƑ p(ۤ?kjݷ=3RBx 'V]eE`1kCaqkfP 83d 7[rJ.flY<1JhLUFWfVi ƑB쯂 sI@_c`}ܦ]8D 4ȭYK/K5c@mhK/zl Q"#v֜8:J*z[~՟3=M: wp8@4k%(kČπ&BS;+A@FȔ"N(8X`BBBFʁ&#v(>?ftF Gh$L}7$E2ˤ؏k,ɢpoQ*f'~u A֞#A],R m&[)ޕ+f0o ]תU%㊉nig6J^<;[ϯ7O,5:ךt|}; ǪN4u oٟh"يΎO0d }ɹ!JX Pˇu|@N2NX8Ӎɲe {wBgcBK`}a)B3gߔѲ>cnaYVi{ q{S+Ela0ku<>:pYd2SC] u_xV,p} ]qΞIj;N 7]Se6MJ>Egd+BWyfnE>k9?;V|@lIPD(/a>Xro\qA2FZi[m"4{IѲmp>D@a_a t̜rjH:PԬ1^ Hu4W{(a%Mbu 3SPCs;Oʜ˛XrZc@U7$ ё{8##k;tzZ.lK&Sq{@2F82fqYEC#óXJ IϓL#A xi&T,D:IHxK9LO Z)G:T=1oLZu 9@6vfqG.%ZnL/ӓqQ{2ܶƂdW!T7/>dZxʋߪxUt'qtn;%_Y26CrL)? _eT4Jo At3Fy|"Cޱ5Rp}Neո0t K66* eVw,~7"Z%7TE.]?AUQB{DnlIRe6[[?^̦P]^NE6ƎR/ vF![jQkQrOlKTC@O\58$PA7QsMRQl u{WѤ%hYn]5 Z ~FؒsvOɶň. ,; .0|"Z +f4)楗肥ugPyq:Cᜐ/53TD:LK91xvlݪ|ͬGZ\mT.C2}JPBUa涆^OAŷLTY^-0tGG+-ED)>rX-!qEuO(ݔBICkк==]ZjԢIj/ ~uXcC^%FJ&\LFEH*ojAQaŲ53ˏ'e(3{8͍7>(qכ*ם?l|0N f(CJ]-.0," =5R&Y2 ix91״ʬXbqЙB99גT~⯞^ؼPtͻ9G,J*qzA;{rS0M25۹Lr2}W* Xx,B~C(ޒj1~05H$@jaJg+/KeKF QHHԒ_BQQeAjlh3}xֻ`$2kn ZZJ'J ybr%\|0~8pkcɨ@Rl|\uQ:^͉#´ZU@RԺK8pw\2f=Q1ݱe*q;ǭ[ݷ>`GI:^-iN=IFPr~b9PI(G?.Uȏ,h` :5 1UpHϘ.LR)dAnqi"7h'5eޣ mT#^=`c࢏uy}rp M=ݾ[#N|lA[6IJ[$jpK볶Qa3~ΩǮh'PepoĔ]o-yƠH@eSka)*6wÎ[PgFO-*Lɾfu B~սi_9l5rI s,@%zdŒ娬D j|6>ڨ5^W> 7'ILC3ȬG˵e4@JH逨ɓ'E%+Ƙ2lu]Oܭ%a ;-k녴*zlr0,eQ~W3ƪRn$$)kJ8/ƆaJq_J6$ҘG4|>lPcz3(M?Xajs/x`MMN6ٓEp@O/ѿiG~q,|*pL :e[N mHibc6 |Yφt~R/k/R :!aɟP(ȇ\8h,U—pQcylB /]C5v=R:,a굟f x_fvb'Q ~@ J6mQQA4H&3u1L (ɒe 22V͛r?K?Sp0xۂi䤛pnh`8E&^3x}lˠ6y0ZQx:p\}no'[d=!LG ="6ˮt¢f\x1zKm$Է#3Y%p_~f6$'(!I9~̿l*(&Wκ+a-8̳8G͵ĥma_q8ށɬV!o(w /E5_+UDR;mr2ٚ7I'~̷ o*i<5.zro_~ i·.‹ cNn.2pWz p< {@1֯B6 d)!YQqXWw'³=&} ʗ.`nŔny_mE:a1{eak3XZh)ux:d < 0IxQ0 Dggdfc ~\aX㿲(MKd!Ǣ˧ń$YS;d^5 DMMIX6<6o_yB\cFD?%wbs G2N=1(k(Hr n UCR4KQF |עрUi*˽@{H9a1f=1h 7W3{.b94G|R'u̬|Q=Jc 'pն7Ŏ]XtVb'*}Y8n+ B*jR,\:eiJ312Qm Psy"AOYU|8:֡ KjP7D8()j~KRDcq~Tߜ16`v0E 3)_MML7s̢ޣz&wW]>ޛHGoAދI >C9 : Y+ۻfȠw>@ ]N/ M Ex&2TG\E, ~Thz(80sNĿ'fө+801 @,u?03 .I=*F-NLgT~/G[l!qȖ+J/;@cm{y7qr9yduWF%uUAbɻ-DZYO?_BA *Q&MC?m+-=S=6u@W@&%p`I<Րnxs5ǿXtv:jXc=|$5u]$"jL< ({ onli.\߮O6hr:3XiX*+ܶ`X3BC'$͆'փ{t06¨=CcV 4|b7A dF7T`#z[B%2"b21ʸs3۱& M-vZ>ohAThkqmi(FT8x V[{~@C|t[E\U@^¹=V Wc~ܵ#O[3l%$nŇ=5'B!!\;#Ѻ<4R.(5qs3T1feXu&7;( B}*V$,,#d1@n{XK+'(ƹGa=0p4sוFNwX%{<-1 71.h~f-Y[.KÞRƆĬ 濑=ߍ㙽_؍aژ^bEb)XsZz[%}~Qim@Yo2k"RǣF4y芙?}Kp0H~([* 險[\UVQ=N~0 ~͈ }TFs?ۦ:zԯZQ| T]n =WuIտގ/פƅ'M*WCrLcy=ͫVY)~`4! s@q_Dr?6FϻW Ai-d\Xgvyb^u3ݔۅ;fD/;W0EnGqz­ς}#h*fԸi9fҾMje""8 {_alDsm?$b-WJ:dX (8p:1gT42)%V 9VoID/Ojc.8#;i˱)3dpBFᗎHIz"1`c: *Sd+M[NoʸN?|l68D&gwRKkm~7mj $~R-r(vע]#R2ӀOѿvyD[?6SfI$"RKxC cٮhu** 4%DbB*.j=L G~u#}[f.*@R0߿L)o9땧SaS- ){|;4#Oui>ulW&D0[Z(#9$'=S_bw'v Re[\A ^O 8]w}m C:ވUV[ԣ(*};_c-uv3Np\kGXtz8/Pmp-)QK6tp,gG'_M^`#8%gJ߼1x8#,Y~)c1+eqJbpJ_p};ۙ_RY=$C^#}]4ɼď?#kE -Pd'vϑ8 @HZ@3tfp.R {P1W8 5o Mɛ__D ^$Y4@KcgO;- T7dVh _5b^3~G~2K\sSC'BDeR.e ZlژV9q&¿ !_ߵCAvAㆶUgNwCk GW[҉[|غyl5@G*q&68\G[:;ʉ_N Y j1 0?g os?L}ms% ,\-Qnc.(IXU^x`4Z[ 0~!8%s@~aݰ{vt܅o?Bכ1 UG~ɭ1U7o@CI&HHB:S pA80?>},:ֲ9  >0%&R&,Qfۋ*y``l]k $޹^<8KPG+{HlP )s]5);u۪707+$j]; b6B'Kfj=$٣Od %|$ѝbX~{,8t_oL6AwcͲAnAn.s]З'kX!Ix4QN=/W̝cPdM>E y(Bj/\jJ ܚ:ߏ\AA8u}-ޱ~\\=€ =h7JH5p%gcL#w0܎A٘j_I5 )n^;))lKy^0Hз{)h7!dg!`R;gγsD:zPq/,l}y6}rSbqRa]/D#߾)z ٝ9bùkf5Taf.ߞcupUM5Rrw)"ՙ"HrP{K sB %keSkT쉖0:!*FbJv$}d(KVE#8461RT C@䢫 ƵC;$beF' bu^SZq!)W#w2*ZVF1sRS`s0oCjFo.N'^hA;i "㣂=ۯEN#CEm&,TAiGv/Q2Rߌ+i7 `uqp+e82=z@5 HtQ4ĥCHt[% &eZD"?iZ*zB62tU-T6g"#Ka.T]=]hوnnkݴD!!~fO\RFLR`Gf,k?jO;N#As.*ުɸ!-%`G3n7GVGQT\Zy~[V4_E_ЌF5t"{%LK l5Iڝ,BSYq8 r L(~8<hƯ(.f_Apt<t,O {B?!KɰVtB\8NDK^R3૔D]p0(`Rl#aó9[)ܱ_6 1iXv?؅:S& /'H1aV7Vm*iK hDJb?t ktR_ }j^CkDZSB!m:ұx%H/7d MdH#ݦ?R")voiO]@틱Zy#@l/rP|j ¿kˀټX4^ S1~1HߙNe)&@dlG= Sz<5n<8fz ;jwC[ |vVb+z `X Gk%Mgǝr:mn :Ԛ(o Z7[h\Й_B͇q6ldp1hV!4¶NU\(m`(nLs5~Yb(0ŤˣVBiUR746 :>hW_% [:%6ZE:"EtD2B'۱ndqn?dG' aVⴒѣ|ɓ7B#xĮ3ۅ'fZ㼹⣹ $Hޔe`ASl]" Nl RmĿc<;u׹8VՌT~:zHNuꍽ*0P#sH͢ XذVTtG*V^$h,i&x 3h$.+0WE5ctMv{y'r+;0_KM B(BN5;(]rt%iߤaCD:u[߬w Бg44JPSKoI8?iDW槜iirVF8 ct w(Esz6ĚX&N4!sc}97o|p \D90 I7Pr4z͞Q2>ʲSJNn2q = 4t1)#6Km^Wq}Z 2uN= ݶf%\q,r!q\qDp<:9 uui_ w{]\qE,h`;*wKBE |(Ֆ= `Tdz*43yҵ3:2zUnL s?R-:\uYVσ5{-ˡy $NuhQoK/ޒY`U @{o2G1=fH&>8*[-e)2huoֱ)r]=YdM+@Ih6F+[`P)f/kRoTcv2乄x['ʻ`ᦲ{!m!>)d21kCzgh^}'UDLX$MKB_H\".&Y"H Ғ]2jF VzXQ%.V ṾuZ3ڗSa\nkTC% ?L!3d% a-SZ{$vLJ^P M01.8}&?!%"_T-&g~9'3E`R|yLhD9Nt1xseSl河.gO2#l{]2ݲ^O2HৄM.ةL"rDvoR$DK}çL e*5)$z^y>;=GlN Θ;}t<9a_=*'|&C1q}ˏhVtWݷ,樋,`)AUoJѭɾdB ⯪)UΪKu7%OcF.# O`>1~mɺJ>Q ~q3 ?=SP^6Q/#PMV%EEБ5X j# V_fSY^Y@4HI{wʝ7dQ HDh.%ZAHJ3:)]oE2owndU[Md\+S,R F_ޟa.֑\Ll|l'!$$@s1* &L$CuS$v\IJ%`,HGY9-ᷚn=^!5M `?cggIN\gPަEѯrL"\/KC-i&I ZN\ny?C+:񔒧ogz19T_/]J!;ksyUw\i7YͬwKYv]X9u-MP|.jPF@ܤnc5m%kҏR ӡd( iP2Z9ʮ^4ᄄw Xož. eZ4.R*鵴L.VH. #۪޽ѬT?6  }OZ<-#Y4]Y :"&jϕƱ;x`9,M,Neb/%S Y꫚=bP\j4w,%6/iHa'3 }V+'C ?poUW^n 9cWYP䅫u0oѕ0 =wаgqX]D> ~N-y% ɯ+(vW'$Ĉ׸{>If+Pa.OFlOIuZ-ˠb=sO=~Í7v'Щau*5kZKQK5kc|,h:n>ybH ʇ-N:Ȥ~] r;9ǻ܎$Njߦ{0d FIK)Χ?n{1)v5Qup^q3 5>ǓaaRJwR̺zu_PjLJu o-?X_P $U"e6^fWsC0ևϭD 2WKt#P2)1ہ 0FaUX?mN`*9$LZ]h顩fZ0(dVgf"Yj{q6T$lWh =QVve=-F@8&Wc-ҽ}xo %1W$) :~4c6x>"/l쫠8\ݳ鬶됀jFeh2;c+#͈p/Uq4S{DCggz6ha֋ x̍p_ʑAc\okӆu]Psqc$.Sh~J-x@XYbFY# XxG7'J3=\P_.!DAzOT" 5EDW0(zx\lѭ5V$d"g{shm?ɧ@Ob8U+Z/hcK?w{߁߶؎gP_sxG_׶ rK0#I31OW#u>ė'ΐ_y~}]"21L:xyv|SgzŨ~PF }x7r;`hȤMJYN|3PšX!=ARxMtZBN8׸fG _")͞:(Nd^7/t 9۹,ڱgYZ885371cac0a1ff30eb8b2be1f63964c759dd3ee5ccd5a1012750b588259b9982c2bc588bac89f30c 78c86e253aadfdcdb820ae113e906428549ce70810c58a29d06023b08b41f81c302a2f904a300744