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  K Ku'zD | ]S Taylor_Models:threads=4elapsed=110.436cpu=306.216gc=10.6807zXZִF! ;Ӿ]ŗXiɟH)0%o0RÊ=\Pƻᷚaګqd/wsEqE@ f4@5L.?7¼^|Vy~Ȑ5V7`(R4ӡGrS!@cq XW0!I*DUOPo7N ^cǜ0wý4a/PXS]`~cyapƉSxC ' Taylor_Models  Kw;pVIӡ )~ZN}[DkY'g [1 %=@geP'}v9w%͡d|jT*v;`*A/=rlÓf.,`TeԲ_V14_<_ d/+ڎo":y}c47=! a;`{0t!ta\vh87U1&i̟ӌ ,:Ϫ*R'w :m85\Mrfy[WhVߙݭxcs~fy.0>#6w>t4H%oƄ Lx-|hue)ԗ]Vj&YR{Rz} Wk & I HB19 u3 mDWq?Ef@ *ꢕR^{N(h~RV|>UR앰/0 /WQU֋Y ƏuM$Y ܃=.Ϊ)fڕ}2<Ţl8EG!BA/#,M3It_/{zt8ӹTr+QvAڑt(sj"䎍~2+iբDlk%g |@%`HJ$dH>#Ov"2r1j /4v,N>`LDV{_X m0_`)׌-:_6na0Dˀ~&Gl{lF<ݣs[%qHoVg\EԁeVVӒq[*@}.̌3=2F{ET3L-Q/7͑۶tкhL|L '4ρfi(]/lCW2;e1߻u@Bu>uu`EYuLG`d翥3:%is`[N8֮I5<^QP7% 5r~W|]ء)Q@익[V<:d"U Ay c">{#SWQ)c(C\$HRFf+(v|gY`^@.UDžljJ arwðr'z&~A&ģnGS3~rZ\~26;NnK)&ߦ^d\|jی c6[Uobo/Jnt MpL!{)ݥ%jiEtbH]1&Z pwWKl.pE͏L aL+52ÂCכ9X`s,nzz3ΓpEEI7 cqK@t0ONwU 'aIϩ'+8gbjIē⍦B4 iWhSǧG Psl+Q:5u'qfs]{TEa&GØm8K5î>|h(t׃w85L7[&!9wm2woq$iGLΛCXƣަsf%:6IϙZȏ":hX(I#ZgXV,fz.N(<` cMGijNK-d|[*iŒb},W8HPd[& PyYv͏WP;mM:us_&+lRFP86_!!0 T䑨I;\4wvl w}$4pZ7uN8pyn H$8ڀ/@@pas:~py(w3/]jwäȉl@b/epc[`h& W ߸,;liWt{u1!\uC ˝ufE; %8f{Djg!Z ID))t΅I){L@$ _e;żgya񈘸&K#ZC[~+umM̺t,HfdɅ'rώ(-V(6co^ 6SR  aW7C9! ^RNM. N̐N^|)^\[v΍x.GY#B"S'$M"e].ײs;gbtl?Q 9섪o(ZewD)"#Kgҿj2b9o%C1RgqKWӲþ߂1BMCZ-޽B`1CbYdArrOٱF03W+v/m8'SJ[8ü;f)QRbPA't(;M}VwZοs9:YVX#+;&Ua_hy oP7m oOkO͝lL~"=xI$WT| ȘNzc&Trr'IGש+kppz%63l Qa@ŗ {Y8t d*CN-'CLRѦ\ |E{:]?&)+v'QеG8˩9:MO{S|S!,A_0|t~Өr1^$Wny,a-d$67W\)@ҟ<cFv6` S6"IK4+Rw<:ˑqFpNFx''gK2#tPH%5l#jJOtZ8xLU뿬RnQ Lh NݎIsdԥTi=u-.$]*wbߪ˜T@PdZ`SpuT 1zꮨ£afM!|r?_L ~]쓻Nd+nSȣDac Mo- ېNr1Ol |yInKS#*% -DnG{!\$3SӖ!ɁcLH W;3CH *iwy#@ ƃ5UU*yY*S [:S]q|{J$ rvEEyv /eqfoT^Cz ? ,x7hco +h`r* yqU';ԫ\6$qq~n3J[%&+pPJzEK2SKcźH8@'"7j|@0}-*Vlo&L  )Lb#5lF+3O~p"r=ۿ32cO%{+9x6baڛIƸEUܶovKe9ޝL ˪ted7SoSHq[=Ts4Po]N~H f.O;er-kfo MML4xU-X)ĂʩhOJdkۅWѰ g-(;|PU<{y*a?=5H+]jT j8S=-6Qwfe7h&ce願ל|tՎ cT5 yP1G^sPl. u/2B<.VJ0+x#߻Hy9g-R70b)lм HoIz¤ג2VIZ_Ndr@Ib5Ƴ2"z<[|6Hp6ے)k 9|t{P8>fF!CiUGY|eqn1%O')'&m0J Zcgcš>cLcTT:pm_!=>EcQ]~pFjTMVU 轠VŸLȬ^=)*ALEC&(Ѯ9zhWe6)ٝ|µ[WٰR)ƣ#d'_%aBŰ}\4zW=%`ziՉf,UM-yD梗2a!iWܑcC\yKd|bye*Wěv };8'≵ W= :WR=Xu]SR^{iAkB_[eT@hf3Jfٴtz\M+$A4J[L?\(1֋!^|[GL*ˣ$ӦMth5ц˽4 CJzVٔM7ʓ]Ø&`=Lԥ3{3wГ.s7bkab2JBҎPVF EwiAiLј41,|}5wW-_ΕQXؽyCu~k%,dJ~Ў;uݐ |AANc/?Qj#:ho]=s)[Bz ݓ qً jKc;Fq~;Ef$ SӆuAaIAtU}$G*i;6ၭY[  8\B 2D{q%P 6be67j,ŏ 32w9ld}>s&>,"@V;L4m@f.ZA8"XS=q-y+=ä́ qսoM vmD#qOMxR?kv&; bCe;jIh&{צt eåU_ x6!H)jMMJ bR)SJi!|x'U%l3oLgB?Yߘθ쐵%>w͌`/]t3۷ wSA1spim.4SFF7o `  ČQDPbRnlYʣ~w澗K_QH#$\dLm>C} sbFxkDW%lJbK h7Ї鯽v:b[s/,o̗jH ĵMJe$a`j]Լv19=scCA~K[/p?l M̫݌Zd=k}db=?{iq斲ě'bWpG/ MG\2[86&]eɗ*e[d:!"$E 0_D 3g #']S鳬l[N)>Dz&:xe~l:l[=Gɕ6iKH.Dm P{) ,%!}Ra+rìQ>;choB@\t\&:p6p m{"Cʊh2f(Eθ}E@Xq3Sʮu;5^1=C2jqwiE503Nvk@H7d绮f' F(SO?=N2:p6а,%wLMlti ?Krzvf͖ ګZ^L t (kk'KZ4~6^z(_H}|z#m8,Bz\]ASfgK8n@݂'|k&w"cOM]ATnfzJ7{IHGpJͪpT:27^m g2="rgs +q}0Welp@G*K=l&Jw 3ئLfeC6 $n"ib2SQ:r鮩 E8GH~$thu+qT?΁ yY-xlI#bm9>@UH+W#Nc'vU!b:Kσ Z{Z\n%^4uL&' BU?cS#U,T< fAOLh;3e*в@G5Xej~a8]p"sKO&gqPKϿV)ܹ ".bPKEK< 6U>甈wbZn Tvt?) nSE:OӀ_qt<-bn| F1`dP -ww-PFGy>""42 pr*ios*sc}G V@ >!>_g"@gi ieJ]vWƯ=[܋~Gǩ7ً]2FSSpP {~r0SrL;Y(p{poe t]MjZŀ'`,ϔ2K̝V'L42"h gDr1Z@瀉mӴ ^*%,m.ķDaX4?W9:;.<$"Paru0("9zQhEq2zH(zbAӲKu.T@)DgGv|~v"py1ɨ/K^Vo,>pq41֛84 5klHrh?^WXm>?|lD_-@lhc-:N?@5}:ĪHaDQ㏞j =ebY۷fz"/ Y!gP=B5' 9/k.q-"* f(bg6hB`- 02KO0DdIl;}M3 H*An S[ fC #ag'qM4,hu!<2?_V8P=fZf G>瀥E<2pў#lnD\we-u1+$$\]7lj]"1d K $b j3;Lu^BBn)54zٷ};_9^DT^=q-Kw-mܲϬp'q8%9 M}m$B'hk E|߈vm#) +X])зu>oɱxS`_Ob*;ɱILctS?b [li'ŏɏ Q'G5r(7my3uAL\nsBJ:`&wxP+~(Y9fQ޺ @2y)Kx'!:^V4$s*yk"t +Y0*Fa[pCdvdHdYEއy+y9]S|.l#6weS]Wۯ0+OHsԛ6o(vg:-ܘ8&HX0-44ʢשŨ Hk[_('Q Ƅ'l‹]d%D0$5*VEZc LVֿc |/My \@! |vthX4HuhI42HXF%4bl&f>g 5p8+l%`G~v#vmi{sWqo{xw*>K1ġ,Jr#G [q**-!Fлv2' HI`m?00WwŲBd.mp2 n*A;r&R6*u'>4wNCxySɾt񈧀{" `;+BNZR^v}KPo zvsIike}R;!dDWnp\qL"ղhhδ-z(%d[PZeRG7F3YAFM5HBovW&F2dt]kv>.xB~} '/ "[3@2~k{o2u4 267 Wb(`.WLw^>$ҫư@~i>Hq7qtO"3^S_3]!yugr{</GfZ @zlh7GP 1XpPT\$C6 pm\j '0IyuA&e_-(2 YA,Bh $-KR |Gqm6pNK/;210R qy)RDez%:@wP z~P(x[1a?kOE㸶^>uuT5W4JV\ڧKC4\:` )|X;cQyJ6?ڞ ;]na[3Bb]Or"B/vk-~d%ЭeBc jkщ(ze< /T5ZGO9HoC\q:Mv;f'«GwLlfN6 n="\/ݩ>* XEuTߖFsu5IAU;xď7_JaX[shL䕿TGn4/+KƇXV݄HԳ J">#[ڊ9ZX151@dҎSvDEy#OPrOo LPKIOِ3o^2}g0Q9&4,@eZs9# *nmXa^N𒌺d*tHʞ o: f*̉TzD_qsad+3W8Ԅ~%du 4-;M;X~%1Y(F}sI⸵T1}9,%c6^4j9י*H5Dc^ ]AoTD<)t5R&2pNS*,eZ4rHL=ŵFz{5R{ک^q jԖZD΅XBյ(J]X9nfk@YDXKVZmE̳pJ fqߒۦ2K"j]R!<ԌW0EY4vȪsV Ž[RBi88CK1wtPj&okUj)**w綏 Bbs4hP6`.N$ PrCb?(ta5o6\ie}t@5}NėJwY@Nzz,/ 6#y0](!PzB QEl|p>OtQ ]86RaU)b>RӼ6yb{,05^}:z\# yh,eG n4Nhv(08Y縮d[ 57iK/$phmK@vssqj YoV>5/JK &CxIތS=<--(lAhn~T 4y?ar<ꦎD-z^N(}E x lP~4x$65V܆A]qg?kSgWv,M 4tEʎ$1BMe>fN2&"pU&۟#$ bDsBBoն5oCh9Ѧ8ҍU 8єcUBRкhp'AU,TjSzx]җъ"[ SLܶE 7osm6DSBHha0AaA&HƵxgibv>=M8YNqW`8(opL-r ]Dյ9<-AɆB~)@/a\e_$ Rtnb%o>]6rQb62#|*98TTv4u /e񆂤";-,ft%^)28_ze8.'ߵm!w?Qvzɍ䥆͚v5H~zr }Ԍ+kH/Y4kc-p°[}a橘InB7sXkFA޷nQoT']+$PcK5#Xz.˭nFp|1D*YR(BI_? 8}#nCȫv8.~'4I [) dz4cp; Yqa$d$iXq";\|g]1"k e1{ifeK4)Mu.U^(41m_,>UC ܑ]#v#֔ġ)38*J1]?gB{a\zL.HوZ91BtjA:euzy੭"ԡ(.c;QKGB6 U_(55gmԙihAz pBE DpE%iE2uin@LW6vyaU(H8sw?,g'T.fv@ ڀUz-\F$7ʧMKE+qD2yh1^\Im=^'4roC_##R{TAo:n{ېe5ΨXZeMH :t'%m71FGv5x;FUe38fԇ˜Q9v21E,G/U yšU=M2h6К3IB\A$@W 7^pоÑq-<++@B# P;LP!r_=U]s(~Z؈&pN7r1Óx7[Қ3[g3Mŗ?]DAvXLz;:t /4mE8PG)e&ɰc!N~vA?meb0/J\+':? Sʻ;dTqMcA@L)ڂ#';HV?k!QrU{؃6. j[1w?N4[TŗsCl"y*A0;3?bq !7D%A^-%^[G+X/qPik',,Y-ΦI2YY4?pote%Ga8wI»ArSʑjaΘiY^7X+AAfINC b_oS{9;7kMS(v\\vGk$.aD }„ӹe>݁x'r٫J(p(HrjdtGKq!l)Ӄ@%dбSÉ ҧo; -2/3[xK(6D|yNXE 7V?ؐY>*a|;5 \mgRP"3d1cך W.*hv#ӏ!ZDQ ͺ7uk!y/[Nµq5AkE'RWchYWJq)\|ccۄmyUR=ޚrǓ$j<í`!ڝ'5HC@XԺ) 93\U*O3`6$ƷDP.'rz4 ~?(dvx@@'F6bvK]yQSZ_~ggb*,3wKCV@pPn̈yJ cT^d(@jFG0G-ʈ#E,vx[=ɚ釜\j,~r~nD5kKj'fH~2U:ci ?nEfB?dĄ%:auF^" rHa'{ Ehr9̓(l6Ag)F ۊz\!zq;i6SH^]q mQQAn k8{Bukk{|@ gB+EeOw.-$/6(֣6E ql z33{ '6@%Jpb5 d>%2:̷ cZLȽgA zz{qaNn`WS @e~،\Ld-Y1Pٹ0`Ez>q"R,ǩ3ajd8t_ըfZC 1tW0NhV\o5L#w'|]5ZIS${k>-ŕg3!ݫ~Qވ\"c̓Y6Wb-*sm Jygwm#i 4Z< !>j5xHLo!3RAjC_ C)1-_g#ɤM;ѦS4Mƍb[JB~׆ k+WV-Ahv3k6N2ʐ@J\t>+r/ˮEmku={3ZJkQ 7EV!8 %sFZ/j v0~|e*&y1E&!97ѝuv<%u?K^ )-E@x^ӒŚm`s;@ɫm)"r[Rt؟p2m_`Cels>"RHDQ",Dk,HL8B8u /1C: ֮ \9Ʌˑl|a"1\ZMOɋ&KҬ0ܿȴ eo{€H\OKR&VBғA#UHdfKfzfqI:\TC+i @㊉p!)50evR:ۯ9)b.,.Oc2鍭!>LG}N;S_G' W2ix 0({LlVY~YyfNP9_?Wgϋu6rpTA-PTCzor*I/^2T]&%^sO"Jl~'b^aR: |엚&O[1Z7zsm219@8j%j|ktxs"S~ VXGxa[~V -=M}F!OrկXS*doP>δjɜ_M]~ωb}1w>AN]x,]ӵwI&V=Lod.bzL>e Cv y_ qT Y'h(s?΀"%eBWdSbe&ӑ.vڂvwyIղZr吇(N\h$ xJ~;8>Gv-7cy_"Ou/a&oC#oo䥋Mgu@NoK]kٯnT[~rz"J7ݿ |XVčϾDuœE@v*'hI-\Xd!y;~-հ߻2T52cUiֱALVҦ4PkFgjcO.޲5`, /CekndqM r YխR;xâ껭,rtخrjL.ۖwz3{rLq5 IYZM$ww_0p׉y8n$ $=މdLh`%BKdlƗx PcL[ӱqL)i $ * 5,G%V"L{e6tlׅ!dk,)> TLczlRܜ5. ,Hr ⴝ:[QshE^Ot16~dW'WDHCCI1H^.8imlx;ɖƨꋚhNp &0x2h Gr|K[ʃdqB _ U>NPm3Gc6YD #d ʀUmGf֦^SQL™Ь.}R&D)G" waRVRS8ІeiAK{{U W"\õT f$c+"|a溸#15B0jO' #|[ Z5iȤVUtc$&R ~߂| PMXcaVR|y1ZE>CAPe +Sei~~lD0j% µ@+XH"e$T||h^@FTEVYF=H,YP\OA╍~{ V~=V8=K/)u)ͨ"QVGpR^hv߮S%!~e/"A*{k7aZ2x)`ˊEKҐh@ [3Cgdy*`~KtV締ĴB͖"CP-*ã&nj%?$ܖut \&:-XѮ<6J}B׾Q;l$"#`h\Oc(Kmi3LFq\8U ͘3wޡN fR_.#jYk#0PfcHn j*S_-J_4I(LD*0M<QyrLwCHKg*WyүkWEg5|^nrMǭOs~J^UT8Gh%}h9p|41p /҄CK'(da3hdTId eu4Au:X~(s[ 8PN@ ˎ"jҷCa`(!B9imRQRog$Of:~TЁYEwh[NŠI{q%c]w ѻR3]dkUֱ3}1OMb%< GS4EWHfLpq3[F,oȔenɿ]*̠k_w5_ɰ-\CUZVTZOVS|?CšCWMӟSU&7u&NW4%^^gtb M)͑`H5kZCBykvQm旷_XM8=e\ Q͉2TL{DuJC2?~E_g2NJ)D^PWMJ@q<:ΉYC  LNj%qȘ ׇk_cغ{trwDח+aY _x`X뚃-sN^,n9;ƂɐEXpم-†%}V+՝z&4J%f~Fs/)h AL oGa6:ac#. c S(^"Q znfGV7c$w[ĐB۵6h;<(i7QZ!gLo[v3oz<7{ ?0W&T$J#@ DiܤMajP9dFUA:ābr+ 'ܼX t\F+8=Ħv0"HS;2jqئpE9AmDZjLXT8X!B u⹌$HsM5@WJՉW,]w (eK&I:$r t ^_ Se\(Q1jHq3 PghCzE3,}gqOPH8εIѕyl+IMWA ]w8{d+Zh0|<9enٛ+& 0{]*6hLǠlք.jsʭׇ|#5WWFX qA~ W𪉌g?^Y*}?>z?>Ur8zf>Xm|=_gcelyR+W,Bs1SfEaLUASBڱ'TGAC6bRB~h$O - ˧\1 BoOZ+s~S|O\vn Q" M i]kO#ΞKíPJ gB0ޢJqNYcAQ6e+ HƤݤ/^'1^:sP}FX?5JXqEGLK<ΡQ _8_~ o`O@^#&;i|[?7MM689`1OШsQ]iM/" PaBU]|<ӏKIPkax9۠ aǢ8p՛7:}i{0 ;; & 3}].,<a}_X1޲|A`n(~}GO h;Rk3}6vti:@[x[?{hX(GM,>0뉚#hd[e2{3?^9kڈ  未SކKD7u&Ym)Dqd#Mu̼x#O#cX-Zk NOgBӏXq#S[*߁ W5VK'[sc-f$} YFDύupeQ\ƒ٧X@ߡH}u2m4c(;'Xh[_^m}ʆܤ}tnQWɢﯮ@Af?W ojFZpJ#nX|rB7msQ*n9+P7– #H] [pȶ3zF- lUC-#/QJ6\ X7}M-i*NR̃*.gH%|Y䔩J?bSZo̅b>V݇KGJrUo,M9D-\I,)BW۷gANN?v+)~>r==.&;RNi}.Fqe5ϼDQrلTe)˜Ē7A4he ?>~F*y.ڼ96А%cuKP|>1(~=(]L؋5Pz3{,!*pR}FX "Mrº YÚWEAՔUKINEYj,`}ɛ;@>sKi;W\_ybVOsXZ}:)Pz! Y{wgfE%ajG˨M`XM@?t!^pP;湪ȍ*^7J-inzVɧ9E&q(_L88fd8[q 4#2$ }Jk7?l[%ֽuRؕWku_w)~9r+tuO΃t:u$cA`v9eJq}%Oap|)\#z[|]g&p׉z E ; "3bӶeA(Ill_>4m$Qn}CX!C\".8w C4|+o[{Zi|(5kGWEꅆ'ߨ V׼v 5s 30d;hIoM'ҳܯoKRz"-:vq j cch.r^^kmGѱabK 3 H-7{9YЫJUD~&"@BVBEI9p;'PZ'. & ||ܻE@1S"\gt>g;NS0` #dswYuG7,9`hl4!Cclh3mQZayy]<d^`)ۆYݸQį"J6ui-{ݔXr*69#=΋";9 ް̊ Ÿ"dF_7OAZLW&fWXÝt {!J~睴vZtX5>R !o/g$հv]Vc3$6$C8E.5 Bf&/r|}ڝNp L-t9-7EKҡjUr+aUUBw(%l>ȼdqZM>|&JͿ7E\4̫NLB|l -V~y|fMҀ=Pb/Ctsgx>)Iv>,ftd`A] j/0@ Ýjs?i^hB$%`iq4Kor+ܨC}yA){1F0ayuѹi.YjRԅD%;HQ6Y xeܨFFwj8EpeHB1w_ ˦̶gRR lVͫ⨳vc_(ٟZ ROfQ>#,5~Le BhnVq :&-J3iCڌ<)u14AEJ&P>Eu`ҡP:v}U ;l!?V% ."D85+ g|*/pQ3riCau1\0488y:G pp3tҜA7 -p14"΍WYyҖ?ar{٠R%NQa3˜GǭX-[^l),OU)}St1]L_e2nI&"ې6{vnbpN)Y1E:o{n]MUWw_(^ h \N"g* ׆9 u۶PtsfdM$b&QXֱd N7.yr9,FP1jB% a':9CjeqVtxa˟VCw0#:ШP0j[G Vd(o\8zEri=zΦ;YsNP0Ďgb[e'ze /y??kJIG92.r> lkR+R]8mKIG{q|QwoSֳz%ԮT^q)bvł\F?o4f$h bhЉ%^dJ ~OʉiO#Y$iX%xKg C(lԋL#O:Z܃X;*wXuֶJ>F1+!QC ];cM*[>@8F Nt'-9G6+P&>>hˉE}],">v雥Hhml{!csx*+os g5^L3'@3ly"Au/j;wM.Kylg5'.dyO;PXMYW$f "Q 4Z/D&f3 KSiC?喙,Tu}K8y/-RO82[,,[renv0暍sI9X!zl$o:7kuT{fS:28p{s$At!XUMh9_AFJھ?_WA/[YW(.:pv[g=4tl %lb$ϿK+uԖ\mcz), xGMk2d㢤FoJZ2D'fy(d[=/ސ X̽hQ {- S]?2k @lo&FGF)U^3)53|d3'y WTJ%L2zqrT[-C`ȒRfߦUå;袙Ya؄]Ѧ'} mLvͽH8W$ IUa:ws;};$jҼH o&S77v;O]_ao`xC8 X=j `F qpIeqc'S L;(O^w[-@PT Lװ2Wwhz(2\NEu٥mDqLAQ:^&7;ቒyBbjeG tP圲eSL BHbl&8 #gBc?mq?q*֯ #2jHcɾVh ZKg=_k#+5y󟞯ˊ, PWp'\^E;x{WpMCK *} n~O#SYEE;sT0;oA,*UUC=͖@UEpAZ<k,)DH 2#,R1-q`*Y3Lo)qK.% :Cz~xyKXU_ >S5L2!.E1UYW8NF"Ԑ-b^|& 䜸Q 6*@v̈́UL\UYršVQYVokįpQe)FպcZ ٱvL"hev\eeyRX窛 )IBjG  4w9kT{NJ=WŋT X4_{jl"[ιbJ~Ÿdt07Jh|*mr{j`Djh> N<nLρ FYTWc nϿ 'D7YmF1U[WɆqI |QJ9cIYgjS d4X\=\6hb_)E*EH679|o2Svf73b}ϼT&IEC=rTwUn'ӈD EŨu z `Qu_KU=mݢwk *Y+@ԋi]/NaUOa?˶G.Y""/a?6+7Un,5RXRH2Ճj'`ۮzDˌi&#.gĐ%LGOݹj;9i|_ED]$P+ HKD"Y͖ncMkX.yi0{Dx>ߴYgxIWE ~_rECTθzMw7V[89!b- =HElǸ?R%a{8 D.K4H J:_wPmysל ^Rt;n>E= oj59[A]'IɠtCcd@L5Mgf44ؠcnV1[gOD=V#5j=ﳉDw;-%U<>Z!,7X<+V%I[K&B{\Jw 6ӃwF ɽ'*vM##,y`3MM^RtW7ۊ_`j"?6Q{IDsa|o\f38gE3{ZgM)}jdyZ',k[+"kЇl#Ж+Ƭ@är}V@؃ 嗭},4>Gk:rsՑ}/TR B)0$@ *5F!=u~y?@).cS۹o@S$éjl"[S_OtԘJT|,Y*QIagݑ[3g?MQy5 .$_t=I vTY\wF+@0xʰL yEz0k&~ DәMhR^탧)M@kl8 =yls?bɩ5/#*ʾ:BYQ?Q僃{nS]P]$?!ӿ˳QOwƻpɽwsov|nV}#hқ״]9Dn>"P=Bn-Mx nHVĆVlU_! pEVR P&byL\XRq zK/u[_NVWb{=k mO1(u @6EQ)D8)eM +S|Vj& r(z\OW@~^H#o{q z`Q턞K'r.K'QT"+!, hlg8> ,zEW-ak{D d> _6D|( S`PE)mnQ@Qr875, wb?7K(i `Ib]&|B-ۑ]`I)巘cuHhW]Ru{w״NŏL@!(LKE0q_r=J6.} (3BݦvUor8Zc>HliUEV{<Bz,ԝm Nwȑ"†.^NsmEp[. 76,j& {j)=dKp=QTXɵH<( {<Dž~)q17qj5M7ҋ%ZwJh,%Eq)1u~F\Zc1)wqZf JE{]E;eDkZ dv\vY6n5vWi g&F !5aeeG\)ת|&_"( ﴺ :558+u Ozibv0\K}c)x`%l{x;pN o.zʤ=)[qoЕ|F )M<`7zPMA5x"wvx,zwcOKsޱf`ײ\2$z I~W-ӈqN7;៽;VZUP38`*v@+^h(߂k&"}X k//RlG,ۃW.;0oQ$/ZX5zM/݉B v!th# vd<蕉QS!N> Akx8^-_&Se$#{DNo>autZϾ!Zs>k߹TEF^ YHy:30FI >q7y {Q-&6j0*U`[fvM,=Ґu =k:Vi2yi8kvZF ?hѸ Cq-t9.˖Lo ?ލIll,BRQ`2y}5]1/_ >0]E\ϩwA G`<ʿK bNi*P\p&5цy> W{ +gMJPnYC`>N=փ1ՕVׯ̔APЁl'x9~s!LMH)Hp tYa7$׭q f .jcɧBcB1-VǏӖm Ew_TW^!Q(} }5?S(;<):F 7k0HSauZ,+, 1k%Yz ~Wgf}7rXse$l쩇YlF>>`xA -Gez9 Mp9;Q.XnY^٘7foYY!feI_^XWy h)n]VH&XrbrԸS"ĴB-&.X7nANW $G:☡ĪX+)5.qiw`!(ʂB _%XmMhƕj_yKs`myKh) ~82 ;;C ޗzAڅg"r)HnyChrel0 JW:xfjY /n-;,)m^T&֎gȮ|daSÆOxe)qU*46.gy) !'US@=pJLGbj3Ѕ픭oj lX~Q92=̔]ѫ՘&P5fQ$ 3FU,-1%V3m̲mMvZypM+B8+w=%s}Qx='miU2q^A rwl%0yN>]4]@eC [S3`,Rr*׍GgNy&1…#TշwcVPxXz"ZXe@h!)<$zS2\@K[$vt._>sp 1A\+,. j 8mo$ =7_~FU XrZ8X/U?mr?3= %gfǝDuσ0#7~優oX1\+\qnÍ[E2iZ~#S#u98w7rS%LB Ï83-V/>̵j)&Ar_N:o,gu$n{Ѫ jsk>#0BҒ߇/6+A4[qtuÐǎ$]1N6D-/x{)\*m&6 Z=\>m?X]:nmN Wv*G4֩#nr8|jP!E|lYCօB0I'*۪(eYб=i`&hZXKcSglWVY?'S(-hJ\AZG[%$I< xs$\`ʦ5Oq9e)NiUE_zx| }}=VK=0u-Q2;9lb eǵ?7bXGw !6H5j\%yBG0Ypap=ݶlp1G`dñ?g‹o&މE'Ǵ2@S9T8JSo9C)KvuK :jdG`4i'yII}y)6 Khٲr';֟ {ȐZr azvۑJH(ڝ=yF{ڐŷND=?LOKzyqzˌQa- Fv@&sV!p6W T>ԍmF|[3kVv?s \B|Nav4ѽdg[aZ90>vO>e\;>-;H,GnEDnkWf0Jj=^Z7&2T|nTN3Y< dЩy+{qd' !_u3Y$G6IGͤ\ג2]Bp6j(<&0>ң.##O?!,w5&7U}{8V{dI^O(˩B<L\B$lNGk784b; R*6O`_XҐ|?WK.NgY-EA:fY %SzJO$#?#N1U3D  .?vPR2,3j+-iCz̴LHg@!|A~͆p_:Ȍ>C/.f>TA/<6duۯ6;3\&P9 MJ9B my)z2%&|zT mAo&Ho TVܓNSG~sR=fc:`(FKoW f(!u0z }0}IeՔU<㔳)s4j>erdye|uc6ꑓ\)s=]vTzg$K^Ԩ]+|slΣۑ_xM3@8lcTm $(t|\"G jS{OHP~t.s~M =궯I-f;ޝ6R׷M\Ǔb_>};( ʨ*`6vqvõ#qY }KncBg'͍QJ'QwcLkVS"-40H;f+!8ϲ)`?qiyg#CIX$KHZTS1< lY>^Z`)}f,tZ gr*Rn?{]b]08"w1&oPU)K^'=d/!V7M;{o3-#%=;\/y7Iľ9.zN&w@vM`e/CU CZ]gKGv<= CtPX&naU I Lŏp|DNsDžrcP* L42X8jfwL`gB͜(a-\N-tK"NKe0 .Mn"1za'2'O-eb]%U{٠ 2qD(O զL}"J/>1^%I"˅Et;O>N-۱qv%S7Q)jFP\IȉSgal '6Y$G0Dcǣ_eRx"&GrN.RΫK#Ȳ26 %#EӋk ˣj$;]EB? 2+R6{8}T n3+/UnjPѱ6i 2_Ak^>5`m ^`~נoIxk))QkĈ,d=7{| m =8Xe_7 [ç;f/:9Ѥ)NSbރ3%} qf/F adX:b7~.ɇQ!Nu پ΃R4~o zHz2i MTbvĀNU\RBSQ=['4R8S(-Z$ 7PGPvk-VH KS 7Ozgto f?'/W++SL}OZʼlк0TlQT|bEuuу6M.=Ql,A8Z ~{-DysJ8*LL||V*kєc:r]^˘pE=^C,Q6YU5vQW:4¶ɷpmvEbҼm[]W vJB(w#ޅZ-=|@d!ԬZ4YspE_]9`CbI4)}G>#^vXr[WuQ.76 Lg9R}C:T%<4ns0cޓzc XԔ-^&O@?T7 7:;*mWU|Xx H,v'zJ|_ SUT͘Gf`yar5 {! YslUa!\r`6Tر+HV a!fe-t[3D2B0TM 3}!FXgn,(w5gYZ7zXZִF! N?]ŗXiɟ17L? KxlSYaF*+>KTu ďJ}ZbL' xʗN,&R4QxwÀ\ KUjWgv2<2Lph[tO\>u"acY_gw+ze*U+6[_M}yAc*Tȃpi ; szMm5펡IS*ً&i4dvyPn5å$ GgOMy#mɕ}zwj@YrJEgi4J8 gk+av߹RgYZ7zXZִF!  w]ŗXi%L&Gk4f_85#5!"AĂOskP&:ʟd*_;:Fǫ,"#qE: tp([/WRRJʶU>k owj ^W 9oHm|67Juv ñLdKkߟ)Tdj%qC"%!)s|33^eG)mfx㘭ut$< 9fg S& 4f[ڀ(z<:a7m?hȕ;*y+Y5_Qb; QGl+Qӻ5"+Ԝ6-!7c*\*Xd> jg4?gmAB^{KfI&@rQ!yQNgk<^kW~=:,E<͏$ab]fxĮ+RrMRz=IwٙQ%#Rn6U!];EULB `/ /l_V.Dnv5 7vpT3[dq Wdذ$LJ/Ρ! E ?esB'x<e3n^ [EY?=j^-g^ȣ#ٖjeyp |PVwj$MKM#5~< +;K|6G¥txSb :Ή'Nɱ"of|5+$Kr[8^U3Knbv\qvEUNJ|Šl__п 7Fql aVi5Rl)jUi2 ~i)=#UiظK9v>=wU}WZHi:VoL:$q|yxW9#OeFHPhLr %ېxY4oa͑TV#Ju;+$b^pwSdG/5xTE"X{WyW7pf7 Y<&WpR,PR& E]rk-c.h+saP~⌁ 4z.q)J*4)WD ^XG0i&{xRJM?- cIWG'6pF=M1T)RS!~t87a 0CLcl<9b}uN"Yͼ\k=41ql ;SAU,Y8%͗W`e龈p>7bvNMo3|34T+GI?E];u)ϞMp8Pkĸ~ V53JuRgc9˞֡VY3Cۙ'6Q5T_ #3 tND籎Joq?*f0jS*uԕ65PM*Mti3R8 m~Cp'1/YPX ~OHX_P)l3Dx,}6N-jkE8Sh.x"[4D.nQ P5[Ć 5"zybv> 1!Q Θ3LhQ]QАl2bOԏH6,Cy`qMqڕ2ljȅzʦ_rC,fT] u7ϴ=pކzA-[.oeᶋMGF[c<[U>jC#oL2Ο3mp4뾫dNun(%4=r4T3O(nwdZ\XN>Y tCЈHcOs\/j.Jƃ#J ÇVdb~_|FP^7/ aWmrrꚶ gX峇2Q3XXv_Dckm珐sBaPo %±a- |f<Yj3J\f2 "KF0PH-o>h߾Ur'PD61 ɿ }->TԪd2di;zʌgLx\t|M~Mn$8o{ih_ hk ,5cr1!S۝YJ-U4FJ3a @/Om5P蒘΃r 2=(EeŒ*sϞGtLFQUW'P#!2+t^z8ʍKz~ ^ܫӥ,+n.^x~\@i5>a 0dsyhڃg:˱WY-zZD Qf@N ^mmQ9S;[Kd=k3?GΦ`xǟ~S[WZM~I!bh`s`3rA@-ϕ@_ ٔ+JB6Zh?A"BV²_@;E ]j<2Sm!?f#t~AJf{Z yP%GC>Ok|FXpد*P''.KCFYkg6&b)A"!r9q97z,dy@xѬW`>5~-5nE/ B3h:Q-?}jK'R< rhA`-S7:Z/_q3{;uTMhPGxRFj[2doUw0O'%hhA=LHCf T(q8*EvOm}Kͥ.ϵ:giU#HY]X}ı *UxPu{N.w)?6Wٯ>J"#Dk 'ψZ.%PUkuA9u/f](J(ۏ0Ӂ(ZRH1,t*)~TZ@Z Fzp8syWa=@]ζv^O0j5W#$'éoKBfҖw&W͛M ŽA䙽ۓPϞ'˚Ni>:Q my<)-i(Ͱ趤j)fLC~RDjDU̠Qd k1 f5ݣn^N'|`'$گ %rS{lxs|;BI`}`mZ b;@RXdd&%1ru"YR-}MF/n-ᛠ VlSj&.ݲ7b@aLբ_Ќ?zBBkP<lP{gBb:MӂJϦ˫ g=L ޔn}'pOv]c]ji}eе?{-ֻxmVlipLzB BSѿPTL7co[Aw Tj=OȂpoJE* J5χb EoWQ%m)~.Ô[|/OFH6 S*x;_,낟ڢ̼@#UKz5Ϧ *0µ=vڭ\B蹴e#-s}]ZP™[ 6՚7;UFl{qy dPGNg$uhtclX-B6;fq>SϠzxC8h>3." wƱ@eFc=şmNHR$pphfUn#[YLZpjx?8457[bvvy-q%Y?Bz'AOG|0`Gᖸ :=[?8CAcYbMȹ9--ę5%:ۤ 9>\Y[+CR"yf,zק؈7]DR=wJ'DeO N$-Gm?$cgo1i&Yl!Zfe4KUjDmo80wA$إщUk[r&n>jwgFt&A 8/MQcP#4Blqce '|RЭ͡[X|d-F;BikXat eI K{0!Ӄ_f4*ԯ nPjA eBe`obLIAr<4ѰUIl}ЂSu'kvytXU&8?Aes9Xn%ʾ(~J ),Qva#4hi)#K Rlr+h=h-c1KŨm ׼l vRYqݜ>Oı`}"lR{V60>[CFx23d'MCMg:vMt]RW9K1P]%xHF:He$[tXɪ6fԂ=f PuДy6qC)?dD帋I5za )f9bz5Rc)՚>g q.r` pT M#/hPT!zIƸWm]ԏڈϚii5B~X -Zb?F4XE3ja3)->Ma-KOmampS04S9%[fQYTwIS{: K-6zN"Tb`?$l3$?͝_̃Ҕ*}g{ ҖPv QC%z͚M \G!}Up}Dc5DhTp-NZ*OnF)nMflܮWת\2OGF3*y&$WUİ\M! o -(;xQ.b&o34N\.pȫhש"