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 HH%4 l ]/]HOL-Analysis:threads=6elapsed=294.674cpu=1434.656gc=53.292factor=4.877zXZִF! T>G]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lkʁ5wǬsu(p .W>lIl(8Xw2xx_h(VJĻyv=CI#zψF.gҒ-4A%Q&b j];K?qf+4k={xNcuD{,!qLl[Dl(@,y8S!JͫATCzU+vre`@hVPYV*Q )0]y Y]AXLl3gS)?.VBoІUzEG5&hq؝KPDwgwƈUT*chUƬNCA-u) 3~~aō?Ι@~]Ԩ1?[9/8UbQVANԾ>%x@T? belqX>-zMvyPP x&OuuX\oX:\ݬ} pmy?å[.(k/ ^9Ra6ޖX6wC9=Z&֍)ܘnCx,U$e+6{\^t]bZ󤍖Ζfhp,A "tEͨT,Dy wYqET8bqw O1u|wo_h^,YG;l4@7ձ}+STc5B<ԟ]ԧ M,omY-yR+o7Q1M.V*;nRx猗9CW`Ix~eVcs*!O^" q?ӡKWu8)Z+Ws<疁ԕn@|[AҙnԻ{7C4$Tl{hur!&tx0h)wySQF{5)(j&Pfją%G YyS R2ɒ[)Oh~wCJ'-%}5_o̚$:Bb6xCxۥ;C&D`nJ[YY]UG/X!ՙM~KlDMӄGtM7_|ȋ|8c~raWKǶBv<͋-@d aT#7~~ÈHT ]#ΆdNHoD‘*=CW)rq "=t^ܟ6霉51uR#]!.݅GJk">Jd=ϕ| S:%yveLXCFXPR/߅NCg-(4Rfe't ͹\-|bȥB>a;]n3约p2C}0Иu0w_ C߅=aŨnI`f…CN TUMBB-^t29 :AXY{ջ$h)<y?O$/}-i_ʲs!Wc% '(`jCmYZk]l'\Wh&D8(;{JyкķM.r'~ qWx⃻[jij^C @5xG![] :lqƬ@< <#ج`ꃟ@\P}Fhtˤa>z]h19txW$oII9d_Z ӒICz&F  O8!<eV]]'/Y_%m+M[D'6,״o?O~xOk#&ddꖰ}͚xCC,y8^)̋gaqרm гwF7Anunj~qJQOسD)A=3l-VX.{ QjuG3g>;CRw9@"jCtm+<ގW9QpX[Z( 0\XUu5-E<*PFb5Dp8$ ~GQ n uD$=K2a~8 "-'dtM'aTpLu͗$6_ We95;=rI[ScsG 7-l{4]$_,H`^QSˬ'wg}fFb/(sq #mmd4l(NSkR{D~ !.~}/޿ l=r?L3|GZI*PAJnJprOI8 @ e_pN:(,bXwL 9sQ!+pauaN'r=;_ڼn'‘!bٲx7Ϊxw{XyD^(]ӝ_Éofh1̂ 7p#d,ҔLvA8!l 04cї깙IF4‡xCkI 15qnÿ?GT(b8_N^`ݻ'r=u%(ߍN(QOAMMo[>ߪ}ƨ\hg;-^am 63xuzcS4M[ע!;;VkO6N QX1k!YIpCĘHe_B\h`[*4rA* K'b+}F%kҫ /_ k֒"#lg[HPU>5 ᗱpSHP3PWFS(\ V2a- `aGTA ~;(T?V5HP?S7*!~1!2F@aLoʊ* ĆQ!Л=,MKK<]C7raZ^ qv7uO?>t.>W#h'ܮ;QX ; yija}B!i-|fA"!5G҅D I6VYyc[ޙ\I ~3*v393{gʝwtB×"&P ZȄe2YaS(}xhZ1 g\ĵj-kAPLo5h.V] s0>Ep?O3aC|T2Q- 13e,JlwSj & Ru9"Zz_i2bq<^SdDd/bu'l?T<24tC>Gc $}b+Iҁ $:ZԎOX[a@zNimPW!.r /nzvwk;E ~$BLpQX|S mUO!SK"^RG}rg6T",Z }~Éo ~8$OP\hvFtR'%zdN\jꔣVj+*'ܻ Bʠi[N9晑*Ǒ.>V$Ǧ^gŭOҺjA9F&i νf}ZS\`cH䄚|vJ\(SkA$3> ow!ZePEw;GYΛA[w9RQ?0؉s~\s{mKf /?ȑ`8q(8ܺ/SJ;_▮NmTQ7J(茠Od*/7ֻHN(Wgt~K R**e~2rj[Vٍ-4Z?'U]㫦<$~k)AݣxNmJ4 ȿi=ЭN{$o'um1Z^p6ZͣdxfݷYGMɖk)~xީ`0QxܸC͐(J #3ΊaDr;y6U2XۏgI(T)_uDeLj;[c`{Pqss.!\rp*$B9~?, ram}i}rjGu?2å**ęD:xN\l"iA7 .-3 $NՠF?ߨ"|=tbfC{kk~&NCYuFkC;3_|P zEKio>G)g[{^k(F,].YS j_:+E8꾜<>_ J}KGxEQ3y;ݷǒ'Mm(Eqrj]s(:d[mѲ҈SB$T>]o9}t#MK#NGn39bp,| ,RX]ra$AoF (  ^l w&Wg)?X:`'ZBp%N!˅w!.}Ov*wQ kv7/7xǷT0Ds]I5sO䛤!r(NPGZ)\|mn7gUe'*K&OKc=a=)o)˕nlw+v'҆EԵ[>|k|̝ :9$12WniCm7(:<s%ıK3GWh$SAfo% @i!lv֬'O"ך'HFAcOԲbBcqpC/[nIdp%=:1; gG-3ty3_$x)ؿ=^7t_j8:hȖ5>G/c Ub81LB'↎' `J -ܘ9y( k6-Rf$lGatMQr-=U^KȞ:J JZMZNϠd'ZO ?˿,}^ӁQR^k%r "Ek !y~-D9IF7oX#+g?cwŽq(m|O7aBoRtwQotՔ֬ۇt 6 tAl6h (#ZS;7 kpOSnƃN.-k>؊%zA4һV(4ꁅƛ ؓ,ϑB&xSD[)hv2/슡us(\t?}2_!?i|l(v捸NɰWo6->EIs~~g!]X80z T ;uY]zwl_ u@VO-OA#4~_Q UL|" tNeqir 2 Kc RЁd5僁3pՇJع$]H|LՓ/X7-hA"u'wͦL_>N+"Yl'7]LŜvzH{#=64\93ka[hjfIWc|BfXAZ)#Hpfُ~RCj. > *S"z>oo*fcŤ{ x*&U1H/sYQX1}1NRLwH 7E-#-'.gK3H.. *G[Jg#;ovۥ@T_MkM#y03LҜ(PH:킣Z*1{.K r7cMPS|ڊ!'PPyIԇ)/Qx؈e&me ^n(UI:V,|uGI\q5vPZ0JGB3V4|Aw#h^=aW<{\ta(2+TBES34$Tysahq7! }/Ddѝ7f e}TʎY! q?gU'k!:>ĬԴvie{w e:Z6E[f- & ,'S`m~j!/YX/<Vp#Nˋkj{=e+sxyѢ!Ns$0k156-jb3rbW׃99]X)$u@#)pKni|!ϋxf&5C/JW\L bMPž&am(JY< bBV@s&pIK oOᴌt2 DT"0 l BUa!? H p/٬r.F f~Csvx%Vo;;h>sbC o[PӃNX {D}jI%WHf[o;ee,kYժծ`+H|sd3$d@&/HfS̱*thإ@mbܲ}|Z ֔ 6V^naʉ.uޠMXe3\>7E D>`8\U:2cmv$dłR(ITV7ٍ Y"[Sz895V#S Jګ}PJFؚ%M+wkD.eĶRop R"/'RFa=;Pk6ۂSeM(rȪI:Z5}&9~h}?!׷$eNXӾ]0un$D ,To}2TUF 1. *FGw>jN~nTf+avΨg7GѲF0kA~me aPJK?@[v}Fd{Q+Z}a=yWaL# "]P&UB$5K䫁*&tު)fQG⸱h;`t8Ӊ= NnFw+T Ѡ92xi}5H"' ]\y-G}=JsTNS"ĘYu]TpJ_PvId""[HBYLI=§tbeE6ljdUID;>P~[ Ղ[ 'oЫFFk4`WV [8PPmův@ϗ`RDK ' T#xFGta ̬dbX8%Ԥt_p6-a8V SX)# Ѻ(;"89v>$|dM 晿"QUI77'j%}Fl6C/L9?Epbl#+}K,2hƧDgCeX:g-8 89|>g|z7y :F_ĵh+}@ÝJZoڼD+),$-(ὕ焳 2C^.6/=pN^b E#/y |ZA.pZS޷Ma&CO< X=df:]d.\A(6YX^sT#~-'>:<6xc Wv5YNKҐ\=%}H:B/ټBHU~MI9wXvRcΉUDG@[M._ްYV qkO_>{RgO((Иj+ѐ,Tj%dS;~IUdXR~mX dqvЬK %9+iܞiV;hFנ`ζѬfhrYذS1!OSOn+k}?jlJ]D=,gSda >U" X+&7/$ `8R'!yT>eppgodx(Oz-ξ#jS6AI5~7  ׈] Oj.`U٤5NM0|>i=Wrқ'PY5sJq9B;t",GZ~)jV^ hlҌYAA"S q4 >/,%HCÒ6lٲ5\:9N;H;t d2aF@8-%=l,a{9xIyb k|ð4NA،+_s9#v[bFq:6gP: =g k)+ {賒-|Hl:s ¢ƴzr])0]Oi}ڻ84p nD |ԏ/F ؾrr&FB[r[[b:СMS!w~8M :eZ *I70.]4𕲡%)i#R7z7d ? ~mQqgMw95Razh#eDʌU-fp98i:Rpu3}(ʌQ{'!:Jo[Xgv4eԬ 6&ۣhipŎUE ??۫9c̬"~-#x8l{[ǡVv4p2 io\r.裂=f!¼{N䕕cvwԇ's[ٍ(7͂`{RbRM(tД!࿀uƖ [K>Rpхc8^LLG\f"X* =yGcv5_rQ"Mۦw(i~K8<^k->^ GojLntavmz>ʌ>̄u@$\`YMZdA d䝶Z |)ɨP?!h][Lf]piim[J6s#*6-S n\ Q!3£jGk>rNXץty32P L_Y-.oUU ]y>_/LGuw"|{>xxN /.0kj4 b/qdi$B(p*8 9wTϠH,WtK eY"o 0PRbPǨkf$KX~+_~_SfkcOtϗAv["?DZ~>LNwbZb@jK :ǝZqWՎMT8y(Bobb-KB- ^!FCHԇ6uLAHT&(Pkb<&=dGqҊU<[7tsC0AhĉX20VB4  =X?")_N͑:#{l(S87>-KQYp=IJe}_JDؽ*[p#Vsņv:Rߓ &6&\'_A!*> Nz(d! j^b``SE޲ˋfYSRR.V (gU@L`s? +qԙynC+Rp"fUPJc9HjS A+O#!Kzh@HaTCXxaW-1K%U^Mtxz;Ak2"Aҝo\7gW ZJ_0׍Yhap+9:4 fssNchD(tIG/i$3y>ʴ2aY9mY焦^BdIG{fZ>$vܵ9kzt1!fCւ˜J7aƃC SA G~Y/&."=&JAfj.MW@Zش9T0vs-+`p"{}H=hˆfM5-(Q{YGt]]ŗXiɟ1˦r!cHkMeBd4YS v_aЇf5Z ,z&79>#՟V]h7ޯ{dWFW!S`pPu#V {ߥ$D, Wv@LӶD_*R-U7y]bJŒetGL"SPߚأ$Uou5T\-sY@WNE2y9ߧ26.lfTK#KC6bj>tRKHYVDe6ݰX%z 2y NvY%s9vap')J Εd咘zO8iRKgLpwJú^zF]\[ƺ>_N"h9E3t bĘTlbWԾ~ a07jn4<ЙHiVƻxCZ ;V%83`'x0P7,g(,UgbV??}e֋5 a'Ӳc'LHzthIJ2]l3VJu#d( 3P?1[cuh&gW`v rW'?%]2q{j4B<^oH.Àe* ĿDoУQ3/99R^a)#G'= 3j|N6CCk Dۋ/cbq/j#QK35WOwL|X |x>9s:2)t}}H1XPUK/1:qg+Phbi۪XG"\CBi ;@qGnG⫕9vmW;2Aδ'ev* )ڶ`c~CɐͺzM@ /}G,ݮ!FmP f,/q"R2i]vW[T'Lzֹ͎ab!z#?RiwAASɻʋsPe]U,6"b=%vU -x2ꈹV行#<y{ `/F_Ϩ 'paj3Z)R86Rg1#[ɰ8JBLR0 K P}}u )ݔ판9OL |O"sX< pi/Kjt/oE.JgYZ7zXZִF! ,\m]ŗXi%>LV6-MdL@- ы1g10AziYn ڎpbE?q@?_lbjLw>a 5f3$INAeqE.ăcqz4WG̠P"OpȘP-{ހ_] R n6mZu>+ OLY%qٳ`_(('pr2`ٳhF 5 r@d0ٻ7ahZھor;: -a趲/I"a-kЧ\$*M[8ڲi#Owafc4k!w!p)SEM41z5oXE~o% /} !.{}3,Caq3-r.w"uRp3Ag.s=҂'o2q^;r!z=P@bqrӘP`.6_"~4ANKϨh uѽ6Z>bm,@J;ӿ0ž,^ȷ>? U\žgt^I:߹F#cӶӼl:)F J@3Y2~P7MN/+a-T C 㑠B1qξ%wyV>D۟^W}ա&#n =>mu?קKP'#SL5v"Y ?(\Ϊd3.d5 U5~O::dY>;l47Sqn2ۍW ry[)e7-ղ2Qpz:a_Rm0gwA~or.uH1 X>2_$U+㨐hL$0q#5 Uզ4Jxp*~&iѝycLGQ D'ubl2+pDX;6/p&â@.xy"+#Iz#: jcwv@WQ.INݪϽYa;6o=a!4{o0BR O)`p\A;|ʌ*ZMlЪIVxNunռ&hJrbL|;ר6}B\58bYDW:ܾI"fdh OLU`BʇYj%~S~CG/CV<2YC"q6?Ḽ?Jp~Unq ;:ojEa[U JLC/Eoy/;jGQ(}eItۯv $Xe8oF|KZk?;|DACB ﶑h\x\~r֋c-Tʝ0WhL4D`7dm3ف*ҧ_vr 1F2^sHS+lvz9@5Lrխ2`q!"MYhĝܟ~wnɪc!LTcFBVE"ϏiX.uo*Ef2k 'yC;򟦔:o{qdzKj[@;Qٕ؉ A>râuw9 sF򯾯O5 8g2;v`q!L<mUR˛^>w %ѳCS[IlOv}}] SAI(<\A/{z TZ,0(KZK κ!K8ŗr߀~lW@6|f-Y1'BDbDvS} fNjc3T4f7dLͽbK)NEQo@s,'NY}Qahͣ]u3Y˃nv?V7fJ0 R\Cp],|,bBںH$DU% Tҥz~ߓe.m^^XW rFe$6p -{);B)ȓ':}!`f(W.ЦV0I>\-hТ%. SGװv<(z8:GHPvij5iԸv'"azXvvTwNju{tY\*מ$krꂼN Y1d8|vU Yʔ SW7~*\ڱJ!l 15<ȋ+>߽&t{BT8gٝq~7IBPxR8}* LV3t*s%]6e}É ftRҧ[U,ܷ^'Pd\÷'KP,l~ɤ2#7* ,t`s2\J\bjeh^vs@]H/Ԗh}|иh\BT޻2Zv/$[F^(o͢\ysC!wAx̿fb˸Ln-=gJV%0b@Ljyhګ7 9<or3~u2nHt^#G:}YhͿ,*g!u g&I"`N% o>UG:e/FADp Y{k, Ϭ><uMi:3W\`3ߩi lE i7H!/=*F"&)Ǧs4@ށ텖Pbg*3' ^)WoubﻙF| i9gd2@T<sK@ vQBF-aW `9NgUYu|S<吘Ⱦ#4l@ЌR+j,ɩ(~^ ͯeY߫S&By+~}/fsC`ɽ1Qt"Yԁ;jK'%@(`_ nܙ:$}^<f|Uvҿߪ +5hdz%~ׯ:h;Ut6bL1+$vu%Y@iaH2Qy ^~L<)bp`}:C3"8uuAUS7UTQl2oO# nݒ^@$ R쀨AI3 w2ɌȁO3M[ tg1sy^wytI}|V'ZofFs*Ӗ!&{I_{ux*QBExhrHµɧ$LkXPXxnqFV.{-s2ɧs2jcCAs5mo| q7#pbiiJX@59=irOT3-&pV΋V'K7 &q]hɒn9v5Xu?khWj=m3;!6<7Ƨ*OWJO' *^ϱ%K[.k,Zq`pӌ dYfME񨏈z=#UB?&ec/l*i˦jVAbh94 :j5(r_&~dP4\$!&3JQKa9+c ȃ |ܢR™A"oE%&IKfD896 J"y dYmX}՛׾kc{Uy._џsG\]VD%`[ #K[n5xqEtbC)1D^,ߩ=2PIUmfxL݁dWҟc}NHSֶɖ-Ml!W/TK^jCx )!-~r RU8XyWԕ: B|rhz/68x1*xB9@\j10{ Y4v$ajE_'뎤vrnur @R!sgJ:wTPWÕh`Vw,ƙJbS%:#@[xdI݃%g şdFG譼iRsmU oV V7IaHty $'!]bZK78L5^m]bJEg%HB:)w؞^p1FPB(PQ!~6?;-OL*<" M09دNs8^;nT#z1 FСDW 7-\aދ28i[_t:HT9-=Obs[XkKQ ȝ}^vDD-AO*Fb&o7eA}2SCkPzw!"~ =NՉawxE\%|Z$Mds9}}D zuk$*I2"ۋD9Jq Nt®G5 /\У/K/B?lM|;TyIr;INGT s@0ZA1Hb|3\ 3&Hc/ZsWsvgP 4_<=]/4/hW Wt7!z"&]OLef%44|[oP:uEk ]tbSBG'?Ȱa(xHxނ sjgd5T0Ț䪁:@s+/RQ#ܯʤhog:fƂeB)8) i+P,/V:')O.W|W"+0rSAh!Jn`vuSSD4x3,ck <ƢZ8o8dCe,| atMBERCF0.!fthώ~Էsjy㕧bb[TJf$ai#RÂ䕑ۅ.L)!8 bu4ъt_q/ٟQ6˴`k{"QYI6D29? ". Hhɒ=1v[ܷU$n0K0Őw[rAg|l[Ro/B;$`Qo/RL@E(0.CZCҁ`0Ҫ.qKѿ&}pvlvEaf0!dE@ }p&y't2zD,#j hĺa-T|&sqAM/~&*@\\k%ԌYmvYڿwXlCq`n)9<%)G 8'o>9 ݘ1Ve4BG_QC-ajIR'Qd9T0$Xr6M0zЖ$%jvT2K.K6S̼S(`^TSZ&Ŗ/#l8&إwx(T؛\&,#iRaIJǧ{ zFg/|FS'3,4Y#2)#z@OkE5wu$\**vk2'QhۙGHHVOR|l?@+d iϒ91sPajC 5W"?b&D\w ڇ`upMNjH"GV3P1kH|$ZfpwF+0 @ bO~9XH߿,]\x/f~!OU V;5\ɘ.XL˗8n֮>ko/D:*θ`oxA37i7%ṕ7HЂ YU,=)vyv'/uINdue}aiWB֫nqlV7;LոxF&mErlfay͝M َ3]KiZVމ@-E(,9,rbɕ=0{0Dz+BߥgU:hᲯ*+7O;ͨQɁĕ O 47*bPQϮNxH3OT^^:~=`K0ݫײg<%!_}ŹU=xG|Y?L5xpx?!Mc]ɏ(WGY'X7xf(I-I3S*ϼ5~WH,FȣPz!󺪸0N.Ǟ $HZZʐz Q<59'kAeHgˌ\Fq8J7aW x2S}!ⰾ5) 9'h!W+9sdQ۾Q(^Ib٥8ye.t L(殄tp"w bL!0sA5@2+{E... @kZŲ?6|jl6?yFcfМ z+[m6gbu3j(cyCJ TtAwx%PTEDOq@-w\t87\x zJ8WW 5~ZgIH rÕ6I&;FB6 )9[#R2֣tSI012ӄV<տ֟xs7(t3T"[E7XtEz&hU;`Nh!ZX33YVaA% 2}uCW tVI;O,XI҃w_X߰(As!bd*YmWua&קǠlG@ =%JtM1wWE3^UAs&h߂ 3UWLѭ(?Lkf FUC;,9PhLbnK$N{VV0'U)`-EF.4R(4"+{%Z8C,*$`TT[K<'oq(C>8@LDH6bQK p|=y蟐4bHl#Ƿ-FS(SDXxkS(F&qz (ŀQϗ;gֈ}/·Śh95 |?OܶxF0?us>8n.[ڕӤ8 H&1H5Bvǔ+PtlnStǕ1ֆޯ8 mTA7$ Sg坼e\B! :д ы2R=_>6V ɜUwO/u>>|gLp3$6QeV$tSA&;=2mI$k2ya[MvDG%9;6$>t2 zeB;'[0M(=Z9 Q>E٩BZ:5/u%`)%=)曖m@6U8ScMcҖ#EgcDЅO6 4S*wVBehPuG+yǸ,Cr/}PE4~y Aˈ֦#ē~}\x3UyE&p x#@gxH%ԦWԪoÕg,\#B$Sk Qy#d6ڍ۱=[)utMB6C4Z∝^)4AWR=DZ‘i2):'cLQg j(\? Sgܶ60?)"ڰWLڋWv5CCڝ9GsvݖjE ^JDr,2_Wd`*M9Oh^UPG:InLe'E`_Z@*I x @"NmIG#KSJMR iE]1~j._*2S{T\3^Rd^aYŁEN0 .BO􌄞Z <7dBKӀ~-soԘÇ*X@#^Zm#r+,Xbg뎴Pl#9rx=E/BG7T*q+iZUjJot3gOcxߔl@ePQT&`o/Z%d$Z?Wτ& t;/1c3\p;s νu^*)X-wkP'AO3hNۘ978e'-a%{dgtx8D  sܪ3ɛ/TN4V<\8Pr/Tgwo@p6F3!bY^%_h <~o8eѩ8e\983zD>*hEҀwe|g*Yi]ސ=l[x0o Q}}:?"?ۜ0è[g V*$Ќ']0eEGF`]r m2{W^^QH跋ٸ%D)vqZvDG0HEȴI. +gõ5 **uI` jJ7nj;Z`6X4wNFaJiEeKRu"qF|6NJ뻐Z #A:3M9)tl'Pz܀|xP<[ty<^M*L6ƝL vڰ+۸v2-K*r8tFug\!S ,v'V 3l\OO(.\sD{`i?!pZ!x L.< gLl`JY7?O/{:b>b ƀu ӣ42&%3R*5b2OaMIW7Y&T<阡9`/jHU'BP7.wsŽ'By9_l2 ry>>-(͡gbHf8[b&@+&Ξ}UztAcjFf`(ˌ|CdL&c+(HVRxP/(Ay ޻>DF) ST6\Aڋ#O(4)OO:INm楂DwHH̴rK$"疷e!*PpgGYOЌ{lˋ*|RoËO*0\"i|e5Jc"ԶѭyvJ|pXI~`[1z"Ph8Q oWZ.O_(w)uY[WQ bCx3X.uJgoqW: , `OU}.@ D+3c |1E1-\;S3+%oz|<{O[:e!ڎZfRg\|2i>w^nC-t1ս%p^FK)˹d!eӑé\{M IXjyxYN<1nX=(xɧΖ=^u6SIčwW 06[aߦi=G!о4cWߴCJ0~fM( <ްL(5pG7)ARU4JD&3hv[ZN!JV>1^P0gQʶ[.Dst7*޴ MD|.=7j"L$MBH鄓ԾL{;#/<^%×g"Qp>[n[ЀL-ƝI&[,Zmdrt28ڑ^^iNl;)jlB/,LUj;D(RoM Ի^+!^98=H Pǝ}&cBòZ7>FA`tIRF'DKQ6Q-4"C\99d̂\q0CVsqYׂ\ yd.qxf! ?C!y ^_3,o JI[!T R#'4$׉=YEB&Yfˍu5SĂY=ile#H.@3ÆN7/ R+ @iN+^=xƶ ưZ~*rCXh+/!$>ؽ(i_Lp=pb S&-5p a]']HS`xKmY"C=y3! z 2QR{ݙAJOj"u([C9S0=ŵ@0C8P#5una3дe7ԁ~UR*醄GXil>0% ƺߖ~ zTR'?gW#xX#fkdG)̟\DGBMWP!R9LR<.<'qҺN""IZC qgR~Qt@W2:sĢ:ffWpO`np-A%7VL:6SA~`^qU5s(fqU"<_ NwVvBLbLr E;W0i RU8ơ6ʈWLɁtǹB> tͯ:HW𗛯@VFזr",̤JMI蘶:׭DJ *~¡Gl̇&vPLS?w,qt;@) 3W'ttx|@;ix0w3z-Qᣣ0=ߎSdpoJ{SK?ۥԲOLhC}YB3+r69HB ?ؑ4^-v;r21n Gpxu= Tߨp і1T%X&]$EW&=,.~,˨DBa?e`xcsߡ=IO _jkՠZFi,(SVL0e09X}߃G$%9(7>A)ċ@G_u0T;L7}a`0 A~OuXL+\ѯ@^µWQ#ZHeqزHT sl$FtAW~4ǎjIƕtJU~sN(/0dG̯+󯏥%gU'SPzt\0+V<éf{f@Y"@1@ Zvk]m3tTDA2{&|xx:YZRqgmiT40I{8R jgލcT?DŽke~LC?`&RD &qz:Hg OxU>(-utg-M!ize:<ѣb.Pn!C0Ѽ΢ke('Rilu?e>ϼR.1S+H2?M>f`՘TN:R Vo9p x;Юסwt+XϦ`P'T/BQdaB:bS-+bqWJ<Yy+T5fC;:BdxoVSyX.}Lؼ:I^~np1WcEw-"v:olG̊|j{,<"/~0H.F'ok-WyYotifE-@4>=SS,XZ]OGU}7`̓9t݀[9ߨJp*lJq$v:WqfKD+@\gKm|VƛYsbi9Z$L]Tw~KeWWf̗=t5BqRW!>^Hb7D쭄 [+9ZPNF8sAl{̳k@ɬy\ͤH5W^D\ÍgЈ##-򟆕"$J)2#@_,T _<72u *$Xd;†>jڊ9._9OU,vj'SXZD\3\@$X L "4it+.#C!@#̴иh8m~)?ϱFxQ#- j/7}WЁ ࢬ V=ʨUMƼag2YMw߬$)A|~x!B{6xU3 ):Ûq-K\pq2% R eq7dП-:6ڀ&>٪~i^|'rcwHpFc V2+FD -7EsO'X'7xH\Hݾx,6'={Ap%v!-j+,]|iEe~܏%6v"q)>om'Q)xb}KN-NTKۃnop|׉JMV+p]iAc99Ʋ!5A`ZAV (`zU|GYh.Ѩ$Z2~'G׈{r.JoZ:\  X]! BMѝ*EF±hvM㭳-[e7"ƷL(ǚ'] 폐q9{vĎS>WFg!b Q}*7:BquER p$4$ ZG#]Z /$jUY!ȪǏ^كHAC_V?ոi>b8E듂 dn Za sc$YHr)e\$BVZ @Q0 %VO말Bؕ!f4M)sOş调wm,x5XObh+|I@wNs!1Sp`$W8ᗩ!0s'vnXq|H+O/,Aێ4e|ZmT(^Apk`Uqhx'rEn6 ^=O]"ĥ7Q>wѴz0rk+4S?N\zf>l},^#$qqLscM}rd-} !!{8ĕIܶraMWj ϜCP\"*|seЂ>IR%yadw҂>ҰLJ˓ia(o ϡkR!47nUhr.ǝ BB&(vG{2=.} {: )!`~ஶfq'վ Tۨ "Zvlj[ ^:*8l&Fc "5;bu\q1/($ob6&,acu'hӷ&[+Km =Ė| 0+!C~eo"<:{VXE%?j<'2 t;.f7IYMQv:d< vNɕ2ƱZڻo$Dٛ/)/d_Y5RŢ}e=.G}>]Y#A' ܋i\ BZ='dDCp{ALʡìM+A~AR^4#3; :j3$Lz ɺ[q)$|z pN?$gvU$AR% l"33t}ޟzXB<pz!IYz.aC_Qv!U*Cܤs)9b[O{X?_FJG_> @ r;tozHm*{+c 1ġ5 !4D`jxf H*)(;b^}"˶yF KK-وhL CkG=_syY5zUI(db;*H8`ͤ:'-WX+MI"c5X۵!>2\E_W{v!g8b\F$T!>s #MH#)smw=,Eة=wR3.\0^ҟښH˕ p :&H 6(_g>͆?(|TV>8!0xA磧*_m3gϚ rxU.jrPKn"ooQz}qlq % :evl9*]Tm]U4#g7mxI`RB%00 -%UAˏxE\Zo;lRvSm"Xf%ˈ=@y!~Y]OKM71Hl> phV)QlGS°CO{u|! zAX3YJ=^J @G&՛ofZ1'$:T/A:e[6FnY$3FQ#k/t2^aTsP89nI_Qs͠FQ&V3U]|;ַ|ZFOW  PAÙHnA'-9_ n7 K>:.Ofk(u`L.`rlE/7& ,X6HGSƲB Yu"^69&*EN/!=)jFE/aRC )q t^"|35~V}^*A$rR8#eɔ[| 'K}׌gbF4.eJM ѶQt]B?H/OdVsı_"> ƂEfJoL'qkR~h[rGP+6F"*07oRܿbC(_` kߖZR1{l8؏%ն陗N!Ѐg7c ں.TќH4X-4 4*p7@nfCD f:JHs 5D/ս}UѦȓXEOE\WV`{7hYSctN.Nb 8/= x[\Z 4o%G8. fڳnj~b*/pb3{c`Y6i- [܋x) =U{&pFb|l2G؅ij|%M~K~^hU ԯP^=$_a.&lC٬RW0 C1ҍ}溁;`%Jz ׿}v><βc\p9%O<, KZY#pi^ZJA"֞i"&|pL/ag@s/΅H\XU+rdPBO49DxC1K6̩E {۝*!lB&AĉHWnKo4[.bR=jq&ܗDŴ!_H>5ba橕[ eY497|*6(C۵]^'<^:Ci6^ '}@μTvjOE6zʾ#whYcb= :+6Sy b,$+ AAW@cJqgJ]{)X^4qKk?=8[8(RpQ-ٌ^[fvxvĦP))?rAp~C:B,\װ[S~d4h47ӔP;yus`xJ7ndx;csyhVr a{$̈́@'U bb2@$^, VWw bک p~k,^?/Rr3rlQ @nNc(y&vSe}f_|2g([匘z7*XԿ=F$Y>076[#zpc-lp4ƥ%^rqJRН)u0"13F}y_R\1͏xN bU`KPS}Q=}/>evsLP&ۣA[c'x~+򐋅D|BĔfc%zy^T"T76%~礟l!i ]5S=ĝAE52GQ&GjM8?I"7&JћͩPO 5Kpx (-cϡ+ so1!PjnV sZ