SQLite format 3@ 4- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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/$ ]Group-Ring-Module:threads=2elapsed=295.163cpu=467.816gc=27.412factor=1.587 / Group-Ring-ModulezXZִF! &]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: lFZ@逩 iP;9&C@ Xo$7y1 DO{ ؽ,rhsp{{RKpAx 3ŵDlCjBٟ޽BǗN 2ü0%7="eB+Er ϼ/ qO4+TO:Qy [C_Te{UMS>9ӆEN46+j а^o5RjBQC IC ) -_M$n@\Id^,~tx4|>Yڴ*aY?eeJ 'ߡ kF_07z)1y~FaN|*uRº傆-+C_qvWb?J2.㐮"gmp5%K6V}6vZ0`x=ƶQtԚZۇ?5Gs7ATR3cOt1H;&{D,`! [Ym ;;4p9e$]B h=EJZOԋ}9<l=ʨ#$1Ur;\[2ŨA!r$F6-GpFo:(AUwj2ES R4H md(5}]`M1ʿ~(ʋ9X2A^%hUn( w 74c0 ^OVi~qtXZR}Wh(][rF8F-oJ]R_#&tTS\;ra1n1NrBA&I`G`upܐ;W6YhG=LfO] ~z/< Kও+\{0"k7+a *\axƟ?g]=qU!zE>L l@[$S֊fAo, .9 `(oMK$/ǡdfC#=]P86 C~3HxXvv /]p ʼo͔=-kB>zsz n(݂]x:rݿFAu>#UOU{+,Z7]*>, Zw;ޝs=% #W91J60\ v5@B'?콥dHaP2FNbX& L[ ^BұEz..js o%OetfO"pЀQ3qq(NI 89G1G4`Jq\ڨi wvٚÄ߉>>*D׉+8D qys7m5bC@u[xj0KP=9PGBu3kN~ص ;[MNnLeX(դ#ńY"Hڸ iaK@B[+B΋@ǣcTj` 詤pa4J|ĻvB׉ݙ]:zNgtZ'ya[!!ekB7ɕؼSu,QI^ap$V$RyQ%!7G""\&'!©&d gh#ez;1n<>.:c?(~2 ̕3V9 7݀8eBjMW 3M©w;SmQpdN\dHނ(;iDZ*BQZwdpMbi}Ek͝Fc' t. UƳ(n_8kaṞ%4 V:.'יvY㡷psPS$3gj,nn1W:%e$DLJX㰔%BA@5oEƖYKnG"ÕKWmu̽vl6~< M phIXŞ)> 3(2Y=?+BBN(G4r0e\Bǜ2u[W<;w^r7ıγEng}˪Cn¡MW;ǣ!HuIy֘ڌENd'|Yz =>8룑tOrnH:5e]! uoKP" w~l)VDe">ҤP_PAH aǍ  NF]k\/}4n/_zhVҐ\qm?ܫYI\mBe" FuvqiG/v@c5}wm2o\Ď4%^-Q`YrάJC5a/h<|@W.w=: Mu)Wo< ;N:]?f;*vy!ĤrfXZ2t*ds#}8D~${b!K[+j8sɝ@]D;*heck/i _J6yHNhMR_qZPđHt69U>:MV0N?]]K J[WKLt—zC:h<5G4I,\XhG J2Dgn[UgJt!!QoZ3G\j@͊qXB4ps, "<|?TP*"UoQ8z %̿Df|!R,lu9=|!ڲP+omR[a< ;[8R׊YT^"I.Fڔ%4*v@ytb="Hٿ玉i(Ը/ 4gWH}p {Hrk$ _em\+K+Kϛ`qϡAɈ=&sldMA^ /hrvVՈ&$Q Z<*OXéC qW{lʞ_8^3)0jٱb!),"9ˮS\] h7/Ru%ξoofl8 uLWjr>砱$pV3g2b JdaAFX pGao/;_E{+)BM\­~2 I8aZxEĤ"X&Pqr4cA$`!@.C* FdteI\>Z3ŜqLũNy#,YO_ k*>Ý dzAxaz-Q+v&fh*eikZ3yyšجlXf{CC]NO?aڕx_ɦϿ;)0KdCddOMa~+bRQPlfaYǒ.TEOriID-ek}evEeiUxz\tJ+ ?&2z@~ߤg^ѱTz{.56ZQw1BE@f-_[?I|TWVX%ɢsؼҠ2 [C/坲,5OO}g-~'rBX4-:#Bӱ^֪!!-&*Y/gkFkzwV`w#%NPt_0Yv濛 q2-a%UΗ$7e|{O,2U-δ2u!hmb< :1oն=*J'/ў(xʓ[9bɥt}]M!№pO&pwqEPptg04+Ԟ>%R*&+Mᖦvx_U.02o]Q R!W>nܥHbOY37QjLhzd ,5KÔѣ:ۗKW]%!k&յYq ]y|4adJa{㕴(v596XCFVƈS,([A8)*JƖs@e-{M\t =*)w|?S"~:Ѵ "yTrOh\se Ƶ!&jCǬP;z,:hlhsv6iEBk-H]:ONsd9m31_X90q$*iIx- IܢC _5G+p~Dʵ4iN/s Įb-oǨ3n~nǸݚzG;(so'M_n'VJ<b i|K;'F"KdlEiֲC1j _$o1 ytj9Zo'5}>ľ]u‚^F}!:F֩ D`Ap]i嗶_G2b].WxV>+3''r4'o#tG'-Fq_RݣT16ahGgKB YҗױP\m< y2%e;=sj&2^tJ @"A57!)b?҅9h\wI7O 򙻱1Jr~y2 Ef BCnB[SDDTh&_Q>7vU/#9˒K`֫_]/`Xﺦ_(VAx;"E:A)P^{߿.G5ߥICN֨[Z|]9V6:\NtoU&4%Ef`nNˏ4@DJtŦL+"+z2BKgok-5M 5 ~D|[fsmS|D'0(ErJACp}yQvL1E֝\Av8t`yh8!qdxwp]sdNkm0xcG<0,Mz:3TmOp B?_;KVS5fsjhd'Q}* h,Q:\\~ 4QLL[3ש,PKUhI=[] q0i^t?Dr$a>XՀ7.ȠdVF%oUͣ?ta[!{u3 9. W4c!m==Jl*)ZX;Py6̺߷;Es̋cwDrID t|)Uo{9fI[@>j1IFcw2@zr=EZ_ fj Ce=#;0K#A[5](eЯYE5;]a я*iT6) }:N1MhU͖;5 PScɿ,/"mU=Z[4A1`Z\Ux}\P-*NΎm#hGEpxu߻"U$ÄPܚ9aߢn- zF.MAW^Rb-h:--u%f V.~eKCE0>MF@*qo9!b(_9-jD"D#46mۨM'L :MѰX/n!(Y$!e"bGzx2%o,A$JmBcZ0>R^I) U xJA,[+C*U"z9R yDFLE_`뽑4\Щ[ #ʱ>-ԁ^R@C"1C$'A.$ĥ["z؆9,8zoʖF`<{`"i]fRn.pm"?\9B12Jiڍt<: d~}I9m0F~YzV bBOI3sZk"m4?jUvZA1m',9f8X.MpL]> ٺJȧЌFLn*!jT%ȒoF%i+ְ܉ym_z #-R3:*.r­~PcF㶳#hw-j~*Sh7;ßT 03>`O4gb!CE |ܾF߁+r'<o0~xCϽ$sooUFI6Z0ڐ\l.#ښlw{7 AM]Yryݸu)OGK^L/;o jpuĩL&PWtJ#uLñהY|~oϐXttnhÞ4,53A3eIK7$0ubwaKXh8O0gZqwDطHj9]gǤ;IVNh}TYwU@uҵuȆd/XN91z xWm>?bNo\22:CGC%%#6ge,[2u#D]:4fzDzC܆jan툤}\F*ʧiKX|.˻²9/ϘiԷc-.j}<6P>XQF#]*MۭA IO9F)($M1g6br7Ji\rXSn-M"s l_>gwlNC!UHX\ .9rF$$ Ei[<ed,8V> Nd6z-MMhA5]h暴k"P!ûBipwp*Ҫt Sktcù FI%7 ?%5ޙih\K!j>7n Zҧ%G>ÍݩybHSX@ q-{RF~ T A뿾-``="@1Գ #ΏvXտ\L[4k4qmA=;1m"N;n2 $!Q@ L.0Cte > H/<9˴رZҲ>~IQG(%L۲&-Bݺ"i>$;rKZbu@/gR6Td Bǣ_9=Vux#g-ˁ0c}BU6~ft;sŔd/rⶪT ɢ]-LGvYZjWWES /b@37Vn` B.G4x5IRQR*t8B"PT5RiL2 HZ] Mw*X@$`' b?+e19yh-;(uNsh"&4P.H^˽ Hʪ`6ƧKmZ=[Evp ʔʝrGCPU$w(k-Q|х/) &'6~m!q)|PAg9uu1_S}(*ƫ[Kݎ loZjS|m(y P`D:bQHe]Yu5?i1q*DlJ,+*7l"ЮUNR[S O6+~Vy?9&5%Y|GPB-(4KBkj8!/}MA k`7fwx́B ,nμ?`,ȴne!۳<^c\q-X#IӉA3qGJ44?Lп&n&4G-u$Raz|[/E`#p 7#iH?/S}ځ|-渆ruZfZ^- vH@?[YVKSf˜c>5T=8XB.JgF9l_փItSjd/Is 5Tӄ1}XѺg+WqC&ψNWhWW}a{,um=±(P'A.h"}HS= !6foh}ut\آQF/T؋VGl&ǡU@WzI(#so8}Q|Y.m7`H/qlx̺it^rÎA%fV{vV< U(hOC檈/I~TI#Y_N-JHU`#e =AU HN˵ $u()&.ؐ4_@)?d36jPPTյC$UĄH#+2 寮wR&(ͭ9Vˤ:Ցk: =Qu`g23~Q UH4XͶPVCɢCc`a5<*< F1H=S^הG 72-1Q"c$v28nX#@z,;Y􎪘kG9hn7|"D@r& myz`Ƨ˝!KVS:mLx|!KU$ GPڷx=r5X?@MSKXt,{KєPEFhM}[9膞*,!^?_ #:/`Uǔb!w՟bє.ԝs*n5gȢ V?m;c{ ̈ C,_<>Mf2+ lX..+tSD>p$U G.zMQи9rƹQDvbt EcHD@*PM"6J8˦2t!7-VE8}L|m# LU5z«<<5_dh֠Y<x_D[Sw\Dʓ3NPCG!ĻZPc;&boY5I&['uX_)X9`DZcyqNmO~ ?C.TA9beC-^S-qe? eWW갆Z Y_V ki͒:5] ʀL5\Aw 2C= OGbyN*2Np P . @/)#?lʡY9MUWM*=*![\gՑY%-tekS#.n#7 W8a*g}BT 9ZV$DEqud~0kwW\4!:{=إjO]H#W]d+}3y:jy]PVןvk`~IGi7d=b+-4`mp9l@u ئ`Kec^~tDCv!G|:^].JjjU{IvI.2O RY1~X`^YSzCۗhHXawj0z'4doEP?JgoRʃH1E OaUo,2L0_nu@ oũ+OGFt񧘶on26(7ٯ+SFb9 73<04 8jKBr]9Yx*֊A'[#F>̐^E_[uXNJbV=RRK7Xk@a4RZM*2S{JC$HkHRDN'` agPNT+z1nY+Cیs #rA#㍃JfMQ}[ nl$+gVq>,A~VtcCg‰QPS3 Myc27=@qN.2j}XljiC5\\E2}m.S7P: Z# ]h_cHZޭ]At<mÓx@9P8gסΨ t цwڐW TAq;ސ(.}[̄B:Z7Y]eXRe YRؑ[#f:"Cݪ-Nn:cW [6X6!HAc2-yK.Y>ߟӳę)wiJMqj=:#~| -ho 7ԅ%1(iU#/sj7TҘtlgLe%[xG&)Ř'c6'm J@GiBAYlI@-,׋b,"ueTOKOjaV-v p.Wkw2<Ǫ}d]wVRdm0]9J}T[ZH Fp+׸:brRӗ5x ӹwl ;g(@ޏ/]7ZK3p+$qսdWb p:[1ka#vrT뫷ʖζ8Jn5Gh0XzX|qǑ Up7IKS_n۵35L/*!8o(Naź] ĔN𓊙Չ1I#l $W)bLvu?M~ ovwt$CR7]Rr廲$ϧz=Vfw N[͠r|gmc@T:vP^|Cѱm̹M &AτYQL0aa:\1.1/j$~r@䘈:5 %53J:9 q raCu(Hi܋uƫEhؐtI)%x믍1GFVBh.)7ó)}Ds+^ ~W!R#rRKΔ <ϔKY'6ej1*Ԍi0+:Gx0VNN(7lVOjNG+n0x] T-WVn$ #'xV"yyMrI\%pd^> {<&2G!bì8DHE5)i '/he2 vRAà uw n1GO7mяs,UféX2ho }@Gin :O5ol>;f851VdE} zƇE''<^͝Zf6W_ ~ S-ғ-҃fDRkh$yxI]&N^Z ra{Px>cٕ~x a#[=;!R애QjZ' cU/bJ?*`=ۄ܅&!nm7*ց:nH4a4z$;5\kkTj7f_^ "F:O%S\;lEC$q{mZ9./Hs_= 'ga~4z%vCvJ̴8ٞϚez2HRe22l1E0AI鲪`~1VzE >S:(p }ͧXQYȑ΁s9. E`_, A7~M2-{HW\ߪIRjh=\ C9zzB]@qRH_ֆUh$&z"cB.=1bLr:I=Y:q>#`~a`zO#5Π%UN h?qrij@G͕^V$d7[(L;S;COѶigeqCSw:#4bk潘P[6icZ[?G62Xn8K1Kw=$< Wם7xuC4Gp6 +8ٕuW S-@O TqSnT, d2@ӓĹ_QK! /GBQ1:F7|>X'&鍁Ds/rG g< u"ft1E9C%G, !I/eK7Bk\,ɹo@ ;rS<*x ;p!_ׇ >N8&Nˇz[$㧨oUrIOaF(:vd{SH|{WO5 w'0@>Lc|3AJ{sbŧEңڂ簵5/1_Kfq|-y)p6Hzx4|UrI|,pH.U*9BdBnMsKpUurHu_fS CwgsWT:e aa$c歕y&IBsOcqKM-JO䭉 ʈhV Q 5ʟGU;̤ͺAn=6-rCK.Pch-î3n`[ 01@ج< f$ɴ܃p8hmf[LIA;'{4W MrS2;`:t^@b˖W8/&:_nOv!]蠄nҒT~m咼$)0/8 ;NZKwеO+ȋ2A?`CUaEetgafK8gW|"oȊȖ&nVOb 6D|WdFr]%~XYc;Ǩˢ#":,L]sKd鱥A=p  fnܸ] O٨@,YqDTb._IֺG't:x-q@h,6wTVDSix#Ezml([nQSAQ N+ӗjtʔ0QS AF.49Xm1䓫]ǰ<*6]o?EKy 9BKi ah[86B_M]PȤJ}L[fz(XCr;w *o]0nw*_+Gĉrеїg8JJF,sT 8Jk4S7|A!}tXDbMbLrjlq`NμAƞJFM9o@yAμV-} dXn Zh bvM3h',%C?O)&)O*w4އtJ>Yg⇹: gțG t]s.k&2^JYni]DpDvuoH5ǚjK:c9C($^^e-d`fK.QD.\fLƬxy[q5)zsgd[)2AL"2gq]~t+򜀡7DEnu;x_/\}S&QXub`WlRza)BU_7w-2ܗ ir"5N,0OJ[P.^RWҢ򽅱s0Z151DZ!Fka;Y!?y8e )v!܉A'TtN;tU6&G`pZ]~rk}c֓1 ,LRvfa5c}s3\t^&p7׭FD;uޱ(E4'~?{:dVK$@yO;DVʩaN);u `*s^qxNT"),92.{kͥEQF2y'wS-Zg w6T=^LCy\D9&qNV$bL8E)GC` 7^nFjb4TO*EKϭ<+7s1>Wogol2 ̶SQ7ShqLˑFH վm˅|x̌]c0ُE)eZ0旮 e2\N`RU[B80q\Ahm@*KkJQ&$K=ptEE *A;K5YJ$`J:k>{/O%p&ocq!/!4S!DSod?Wn/`SE)nbf-qBm7֪vA%5j(T>[-`~fx8rm d[([ O1f~K9ZqDEЃ>aov0_m!vDiQPeZxBfOJC3[e (-tbxjʝ ;$bNCKp\su8/d==޻B1Wh{k`,:޲P 4 #[;Ͷ ^1wɂUھ+ݐ"_TfMg?ň.d?d _LhP[x民_7ty QԈbM..ò ! "?]*aQub)iys-{ `[4m .f )̑|9ԊH!62iH&mk(Fe])yf1%vO[X)YDAԢLԷe^NbY)W+75_3G4AJT[$0nj8gQ螃(q$U*Mp2XQ9^ ^u&:v6ͺgJk?j+AXa ;]ۺyu e1w)'/l ^5b9.ƪ@3tZ_*Jí&;5M13v&Y܉چ0S1z)i)<>:l8OG`*L$]h+L`|\0FJlO@z7g7E]Zߡ)-עzB^PhR{?ٟs+>MB?Fa q!֑5Y_wJvJm .eX/J/tų%+ٷ4DZN$B9ت\%J&sq -Os Lxu'@r"|l$Q-TsB|PKlM,Wr0z+EXgiIj~'X5G7!&Sϳ^ɓ"kOCE3ة{lTg&{$2Ol0˲֤ / $K-A#P NLjM Nw 9IwI9j{VX!d}J{J-lsӬ˩݂͑: g$ 89].AO/Ep>ϣ|ihtBQI2M'#Q1 ?~$QW 5:0B:ຓ'AfA -3东X@x]n:YVK|=H6uIk<i{uu}kń=\(e+.LDjP̐ў=L /hRcXlcd9VTQ\cVV%_6b|þ7S)SSKZlg_YP64z{wNy2@D΄)?_34;X!|s V϶u+L C0&LX} %RK[N|q  _~M o%A}+VtԂ|srʙ0֯tyߞ@gV#J2ĤsV̞ulpfa jmr nrU>rn~ח Q}A|Č"<:g љj/f$ȟ05{W8eaOpU!-7)XbΕ&5"TlYÊ箈)j[?RklۍI/ %:xYҮR5l[גVSBbA-Z#A=?\W6᪠+?e8hY7Yg WkNDQ9&|*1?^b&]qqj .mϖ%ڍ‰7WkCKXT?nCv‰)HfU7{6c5{TKdxnFYB ^YOI_#U]qWeͪ-~a~uGc[^Z}SB߁9ӻ ?ŝ@aq1G +u;\wRse4 &jKE&,BuF/b2MԳj3i;+o8%Q'Yw:>\E1Ċ]&&J¼tL>C(ZdS'-d{nuF2+)r%,N*߰m}tx]u|^2,g?pYtʵFcj6H3֠FSY1q!,93} 3  1MGFs>@*C}]F+eRG~j`^ i0]%Z^&= ӀX4.C 3 ;@ˑs;MzdE1s lDYr5bG7%ϽY 6LO2a-63ofp07k[\ J0ں3A?ݺE ,V6ff; Vp%Pժ+kK<^'591q)* #c0C3a:ea ?`2L񮎌!P`!̼>^^![;d{iPcoֳ w1*-ӈßlZɼSQ#Eaa\n萂Y5,INt9B&0"hc"aJ<_][S, ymKg_{tz?!D՗7.#AKoB6}|mK--XFQbet2P:%;.: \twޔ/+7 W!"W1j,V]AWJu&46r}% e1&B(ƫӾcq")5$T:zFAxh@AZߍW< DM>i>ީ"]˵O5fBq ,qj<tF$4#g~b殐z㘡Y1̩98~An,J8,`\XP9:%"Kj\?@G>֮t&, .YJ*j#2ߍ5;kղ1؁pN\qspbJTe,Ėw#*ډUZgURsD7TA q-8'}hYw|#E.UH ,?|@Qn,&nփ)3(1j*X?wI@c`j;D/=DI皇CrQ`ނfc"Ky MR/ԭ8pAInf+s,qWEa>nmIZ_d`ϧ=lyM_z[d.Znt#wU '6W3J,O{qRM EU?Ƙ92VfNȐt%7> t=Y93NGjl9zA'KhcQ2 \G+3}3rPbmLt?siR)1x?+T]aTt;ܩce `|[úFp %Ǵ[/CY4n};5JG;J4K|( UPxYY'^]պIC`[ӗF޹8I{۷03< I_TT~Ml(nVܿyؘ3Kxu(Oo-=Z-7pas.t .%WFq?Y;A>˕A5V]lv%)~pt)V%@?fHwqO}z~RQUaj)"LѼZy#(bbI {p%[k nP.mi \ p{aMi+=Sוnz,t@$hgh,8 'Հ_ p2tP+ )t""$*ț{\nz,N(C4剀a&kEGYА&)?PJ{*t\z`>2 Vj9hF&(u$N~en)k$ȡӻ1Ao2?aڀ7K]s?}(ֻ [ܞ;;!AuAuYߎÈzeHa/un?_TS$vE-v{RЍi[GBc[_ ǶRӯ uE3ltHAQe,[4a*x 6\WsЏlM?Vm߭}sk-WO'@gJ34t@sI{|(~X;GmD|秜J;}eR0r]NjvC}^ٛv`օr&`Ju~`ghSZd#A#l~ʔ+"q4 LW&KQ.9Z<)16H栎x mLT|ʬMkn_JS Xٔ9+dԐil]N 1彳Fi]2d:O\KVɬ6xp!=waⲬ[}8IzJ 4BJ~o9*nINmudd1Fbuza:B$x`vpi×״_6>NiCբ #-=pf̮]i: ۪bs :*s=ԙ0 k%(N5>ު}'Ɔ͞l|8㝅P19YbX~j.3֜2eCEً2L;ДJIvbcf<džll=ޟǕd{LIpQD'p̗oZd'`nhG~еrAM[A8R`}`;4xG!#3Lh څX*jF .n8z\XҺ yPIOܼb;:BPi줍)2 ~Iζ<72p5'Y@Bhbh%uR`TDKQЪVJmap!QꜯL,Cƽ!HRDK4Xiu͔~*>]v?xx2X3pY嘻/g˖*[~o,+w銄 2A( $0/|:Ɗ ל_1.b !gC/%OwxLy4r6CN-/)*xS x3 ?iR%|4r="XNnbdQSHo)oqq!;u1Cg+ba"~U (z. v(r/q1 i֎?`r 0 _7)z1Vr:rR2*C(~85T=ӁEԢN?U_&WEZeru%WEס.{M:/'cP}zAdcÐ}5fGm_FNF9gNu#Yr#A&z~RFHvt}'n1 yIb,aq2ecmضu9E`l(:q\߮0? µW;BRH*2:} = 5U#s@U;v7wߞ.p9V7ܦ|Ǩ^Ol<$LuDEXIV`pҤ B!!0wZ?PF.zz346fzb*c;:Sч TYxpAiiP@fP"K_O@n_@kj5۫j3+j%3/^x]U( TCV­`og~C*]_8쵘CXdgwDP!A:MH&7AoA\y#=QoQ2ƥXSKNn7 t體뗪gڗzqG}Dx Ϊ)WEZw"aУ3Z) -}96Oan5}:.NxvtvdU SVaQh[2"LgFTL py+]J'1 ?*sZC#/zao"T:GLc1nMN'5/8v09]_wZ@&|zƁVhb~[l+gH}wv #@h*a8: PVH ,cemp~(@ݭ8BNt] hl3~h :O˛ ]) e|qe!4J˕K_`}9OLKf\P!n#@CF8z6TeeF&XA1"l `[!;3l_o}(i!?R*}Ym CBfR4FbT|={i0lڡH hg* [E O34PuyܾdaEh=&>gIj@i>ǂP2?ˀΟcpCe8*[RKr(L%e-mi΋FpA Q3*{|B?K$vT@Dzyt{*g}:[ +_6٭)Z*3(^:|(H@C^76C(ZGq)a4lI Ɇ9$j?~n-qrz.p Lܸ0LdUb8fip*bm2 b'rgG;\0|gt*fƗB}|'IM#ǘN לu61Av4'ASV$P>VPp(Տ]fs:%q^ 8s_5PgX0FՈ07F NΡVjeneqsN7 HR W+uVd~g(]K-3|S9ֱl2%j,j W7 ^e}sAy|ƒd^ {JYfXreon.W&bYgq#~k>`bVXk:~X;/9b:GzyX67nBإ92"Q׽$ 皛~X}99`mU2q9\Z0xEG0)uiwygJ_߽9 @깞ZyȨ|I!Z}(q*ӹ,&>o.ut. MuҲPX!n/l6:H:P XO-!$GKKXrX0Oeu,iE^h FRQI :\&e t]l,/'@}NZ)mբ tG {^_ .@L3l=!;U~//⣖l4}Mw3aϢ4Ƒu-6{Ihˍ}f"بv+e_/? >'ja>d|!`kq~m,Dy'}4ZmCsCxudgkbF7t(p|3! ywx! Ȕ= rж&Hu3hT%jִy a]#vU$=_v1ӌ(⿊R0/ֳ}[9qҷf7g˭tmQY/+lFĬ,t_?^/L"RuK^RAysO@9]Rc647_/^`s0DX(݋O FO'/ZvAEʎJ@陳 t׿w8)ڸ?:!G1n"kIkŸ|ޜ&o'K)A 4OV*R8~D)q'n4#2pf>lqUmX`uLJ83m ǕF 1[%}C]fxT08=]dnL˜W@|GUw8\n('V(`qe?-twA|R^M)rSi@MS.6I@¸ lzyGָL# rFU'3* WOZL $vC`CY~`YZwOR$>M,YD4Mg/~X>T.q{+XZt\]V`CiSBIhY\HU]iTN&["[&nCoBEk <%-..\HC-J31 ETUl fv,s bu6[k Vk62Nʂhmx?t:oosNd>!!zo< |ŬyTyjc1`=" eKfUubnC8T uٜɥc1C_Ĺ ?k@)%_,: { ›aJ"L(ԢFYq O))ZtN QgCKH2kH^~" P@vyci߻tJN)3?b7- @$F줅_ Wʈd[-6c,JPg>wJ|,-_ݭ*1FɈz;FSf"_*?.UfB^i' EE A֚Lb?RxAzF v8`,HK9WH2? uCxG$q̄ni<,QOP#?oV ˔,:E~r,Q/5c<+3+ؖ6@6[z@ v\j 4zft!vZeZ)(~M#h̗NZZJo~k0^Xtwu peG",Tſ|=0\2!(*5QF؝%9k2~83¤\-^;c JE~פq| V?QE,l*c5S(*Tl"/)# 5]A'SV\ݼ\{ia QN szDF?#3ki礛)c]u`K>R\{/R=]kbӵeqf4p&fg]hxKr9y\av eR)|<=VzE:7_'!{#Hd99ҺWSbHUu͎;y)b ˅y>[%`tP!̞ﹴ ,jkF.G?=Bv[1vmv 셎 &@sF 9Ey88 ĠWM^ZnABhoyzFiqpz[pr%Z2\ R1Io9熣yY䱏uu۟qmam# Z2ʨڇØxfQ+O0D!ZW,otuH*G}] 48|bOFHK45K)ݪFL"u\_}ULZHĮQQAv/g+$,.oZJ|K!dMY #)Zj >L"<!zs`W۽ &˨0̺q% z'B'k$^'/zk_;Yu?N;ƹN{VnG`/Η_&n8QPo_̀VCpegޮ 7 zxVysf}^{[qN즶8f_&`,spzRݐhJ:c,îSw׳>o*jpgs}2I8ٹu>$k:9bG9MqaZ5 \N$.^Y$(;9&y}/ᨔ@ÑUM*A_ZV{-3Mz-M*NjFǭ\@^0ooaJ{g _/LxO4S_y e ^X!jd>+8Z$'ɛ *g E~YӆLv9MC)%'ONÁ:j8Bl] ey^a[ciS _@FX.Tgț/rQW5AG)úvz#,U o七TFyKyW,R蘷/IMc|g^fh.{i6s^qpᵁ2KQR"I"PV %L<ʶ_Ѫ j4KT TxHysC[iM~LzYrbਆD-_Eg_9KX&7kwJsV1-l%bw#=t=ru;Lttb'D QB'~L/&nv.+_5k5 EQc,ʴ6=/E;wf_^HBQe~5Nuݿ:U9׵нak9ڋԘAf&ԟ[xzqӘ˝x `oRZ-Qp ÷v &85q m\Xj$ ]ѓn!1MHt] f@MYýJwD~`va@,(ʳ!E*Q)w>'1z(MԼ l6wjS._G-+_8!(_.Xhv%+CXW}Ö섛ijGU$32 z\({}Ns.G-Kwt쳕sLO!6gA(mK8T^W%Jy.d:"A{MNua+<&谿lj!=K!1;*'xq44 *S䅓L' M+(3~V)-4~v6Hݛ,1_^D1}/0Ε\ѠQ+-k&Qڷ+ KaoDFRTaX|J_?,lf+bԥ 9ČS% s 7r)yq1Ռ@@ȴyl:_!!WeaЬ5zI{#jJ!A}Wxpʐ ]?B{+&rixyjQ4T᳌p* {;$uW'V/QRNKqsN76/Qq8&$:i+tU6+ha{{iv;qDE%[<&yn0T}yBn! LmrBe2^V_-2H͡BItpkq[\ pTH(>dU2 Q7/Kj.k O7{,ayUU'%RW ^VZVY孡N]1i`XfypZ֭L-7u_qodM 7-%GN΍݀)Q_1'o#{ZuTq3VI,vF9w@꼧kGcnC?i. ԇW*m3ؑLLKmr 4 ^ݾ xpXCS> !T0`=GGRlo M{%knȹ slk*lH0pδrs6.bi'|0nvCs&bkf8>[[iWIu~Sf.3toEp?DW#pg`'/_ 1D\[ 9|Y?3A x?o srt[#\0PT:< ^}Oxz,(4ןvcTzlܖrxծ wtbMocb ٕǫ4T>^؟b$M$0Kb&1 5~z\zeX0epBvG]Bk%(޺W-ǃm" Zɷ{vJDɐ?dHj &/~ |rҙm#ŻHM5TSuUIʧI;DUI@xތpmgB]"R z'c]#//naG}YU NCڼ݋!y>2ؙV1/!׼ \(4̷7x:*do;&K͈6c)iRUՂ)@ X7L"KU&*&b+wQK]qnb@9ډ#iɆc"྾\Wf;2gǹ>sjBDG$ R4q9@ԬQF80KlE'OB2e h|[r_D*x7+V?1;]te?H۴+8H櫳{܉'s> G,7,bO4lk'?`Ҹc.EQd4Σrė;ƛ-)(<)*ڌ֋g|QQ:7pos`}\ , d˛r$h@ `xlCAy1zNjKfqgv](A3ߒݪбB*g<F& Q"N/yG!u؇td'yȶ=°Z+ B⟟9]lݘ+{gYH_l%m xOy#6m>_1" {S`$<mw/s<!" k)p̞)RF*blh@2HŶYJ4E"IXz#EhC1,lb׬pAe_aBο&AW{0d_jew$wrYw!h9><1 z:Pu˅>Nk(4osJjrO.# hḄBvg5=p4"eH9?C _HC?. (iPo[!fE{S5D!n/ %i*/{m=)4S +/SutD|0eR̡e9<5p=#Wϳr3N]>IBm ~GfG^RZl# @B~U[q7ӃJQ1~N0,F% xS U2rB,.rnUMY6Vؓ_dX_:v h!ǤCNg#S('s2}5Bl塸 '\E֚PA|9Rt=N;vD2]JZBklC/{ ]my8[]E"D & 4y*+4ԎT!>%baVJӻaK)ykB.6CXeSO.Ѯʕ-M[y>VJmPдb ]/ʷv{6tkE-)v'Bf㮝stdy4&[_>iËzFPUi=So9;I:zx+{ M6p{<*nTVګi|)N9S$H{}rUS#WNR /Dj"A%l)P\䨠,!jAkQ$kdHP'@UkLJ-X>Vw`}@ōKzux QlFOTZjwQXpw`(qkD*=@{OdOsG.uF4cpy4,,IHD\&~soЈ<߅P 9ƛA.ֽw\-T(=\AoqOXV*oBLsYTh/᧍w=V=voaŠB_[, Eee8B!QY=2AN[Wr1ZOejRؿQh0fyΦpb,i4Ϣa'D3[~`^<{&aC- DL)Nnr- ':1xPh@ .0T5a" _2QQAte L9gCUTvIχ nQ/>qXEn(xgܤ󲖸k1cHb=TmKuq=U wNcT1~R)%5շck,9w7Bp#*)š pVnKZ<:xf>9tw I htĢM6sdrro3E]gdh]$UOH(LzB Wצ>uޓ-3O3qn=|̱쬫 %[L7rY8Ҿ2 Wˆ͘ )!Q Eδ6-$؀,AdrJ?'T%U}!gw>` pl/G4d縉BC[a1/R4=*+^\vm'tsb. lVf{>j>B7+O(%F!41-恥?Й.{-wmo"g-fKTW 8ԣTw0R$ EapRq?ChwJh$MaDف-<\FB. 79`:J \f}g]ze+G(tY_Pr4/)\[3#yIU YVA#G|=7ۻ5 6A%ʀPx8VsSh]~,xt}_!PCNhm;-q6?arn1-u Jwӌ+p^'-iV3 g\dyqm+;PiםX-@T65I<:GpUu }9g6b|[,OeŤ:'1pXU\d<6$(Z)i~[V"0/VF c$EwyYd]_ܙ/?}EYkҷd/G> Pw[b_ǺÒי0¦MKc9C^|~ ypS*R'kMun2D1ڌ3Ku.C6,`ː05E&ꩰ uKdS"&Qī%Ml_̥؏Wk ŔP]jeAh݈٭(;:{ RgVS359ǂ J]v AG&8R}^@SL(=KN42d$/%S% Ľ:I6Tp(#P4Ǩs)ml9bbFM.ϫ~qUsȔJomb.YW Ҵ\zl޵ p(^a(GώzDo _XQ(٬LQmÌC!;JfMn/[9-y,љo`@X+$:(rhR&q2HAHU6[g]zt: hnMK۝"`;^n$Q1<Y3 +5*Ia&r8pu0G"7E Y2 Lvj浖`h㱻BcZ׽HCҥňⶳܽ_xm]:w'Hͻ {z.<=}W?WIb3Lcڬu#-k3IeY+8T7'%( Y T'P5.4BW,e0B<ԡq ~+NU=:꾬eQ8t(OpC#w9fNcٍF?6/qu}Kd@7͠CLm C"2]R<"Fr oG\( !4IS65NњT6~'J1EgS:n Y^їK,)3MqK6T0|‡p0~͇8ΐX g]ɣ1̌{(r5ufnCmt!Ȑ(?-LJ|i-@Yv,עM2{'ZQJ@yWv}wxn~-d&g*s*Ve |{ |Xm٠Ү=_o}T& jyɚЀQow8qh U4*պK 3[d>f澟Q uU7YIOd MryEѥ>(,=+1\<7Un[}exbއ`kdrrqDBO1uyur}Un7 2SŬ!60Z9z`iIAK]tZ }`n‡"u/FXt,)QAaҿHX-.G*L=esAg&xC s[.v6w Z+2 J{%E_ { ^Fٗo%lvL TlNBz- Qjfk@j"##1 ڬN=MD'UӨ..Xbv{c+7oI'%9?`DOHꪨ@yܘmYTj&R kS[üX #Z;ˏEy H:! Cvj>R$vX66(c~ cmJup.V;Jw0&IAv5 X^*_b=Fٚm7H,"!B~ "k]*6EK)\Fy"L0[i󁾠J`,o\ҼtKT>>U]N)nAm%EO!UuwD&VE|%qfNB.m;ODQ@-: V@,ѱ[ ,@u>0A4#0-L~bfe@#Z+ _ѣ zfȕU DeBs2[RI6tYҖ[& F#(1 @%^H_9*9E2:Elw:2z~#uuP]"Y߬#%v?O":XvC/,6.ll{ y.8mG<DBlr(5?mQN 4^虗hl2};%|IPT|z%~#ҧR"ԇqxؚ۷/CgqA!NߋTIޘ?l#1VE긠V-y#|"j X5xμP. PP)Ō4*: pNln7G6(=(Gʉ9g"60vZI"m6keRx-h!G*ډޖ<(Q1&GB7JHWjLdCi)hLQk]/.s$dZq-O;Bn (yfjԵC^ q:='Os8PJVcki·<gs +|ybSLwV%V'+j|2¯wH tBT6OeG!-\%ER7O^su[PmCf!QpI F-Bavr1?{_{Bxs@Qt0r>쾲3PR'.>W,0 ^wIs,jm y_m)}%&E]%av.*.Kl8qְÊ] [?ng'?mNRH5M}m# |ݝIj=Џ$:Uz b" I "D78j4vUBͫg kܷA~lL|ѧs'W`8 lk-Z`Y ~R8F a}'=Lehb3HV&@D:ΐ"6X-`@HmPzȰ \DDtJqz薌ٞᩳ`gEi`1nZ24Z"qleeD51nu4\ 8jwKEQ?UoV6q:, &]Si>@O].!Rv"B{Z Q2K 9d2BuQA(\Ȣrz B'3Il68κ!u 6ܓz y*l9]c"zy|cxÝ׋w#{:ùg쯮jDasҋPù!%9Hl :<士HP)$?k< Mtu`d6Fpq%֡S46ol7vdoй_?:ԏa $de Da7-b4 %\1_\37uh+o92S<*QqvJ BH@"/PȱToPaT "yքz-L>}cתv$k!}qq-Rt՘<\