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  1t|dl ] HOL-Metis_Examples:threads=6elapsed=15.691cpu=64.488gc=7.3647zXZִF! >]ŗXiɟd)&]4)nNN&#z]D[5a%Pig+4o1*،Ҙ-=ZZ}`Z*02d0L+h-Q[+TzJEdMBc1T;g|}f٥iL$d.Y A0iHQs5b󰠴aȔ.s@#MNo2[ 2د`y @[e#2 Yf$l.)Gvn9sӈ:~1K{Vn4d5-1c&4V#ʵ F?6PS\ב)}~1ئpx[$\=86h9<_?߹ѲdJVj*tQν1SrV4o]͇ 62LN+K}vaya/}I>k@4MX Fm,d)osT:cfEN3<w-ރc0ңrb)GSWlGW1QӦA!w&Aj\ u(?":Fa ĵĭù#n})n*DzzJd.8 ;FFTZRK}?y1h!IȽƋl~k9 w ~ 9eB*A Ɍ0 ]FyѪ˅CjN ZNK}P@>=n-AK7✸{?mF0؛Xm<" 8|VfMgMT?[ 8<ӑm2xxuVbH`(rڄJo;&0Nާ8ʑ=p !ofp&nÉG.RbX N-8;p2-]n~F { Obqk,Ot|[]N 6qQVnn0yԱn`e[˅D3 ݌QmC"R68{LN ^\^!un'J2&>7}Co"Z)iΚIE*zMra ABD>w\3և a j'1|.6gPto]b*ȕzQ:]/zw&[Ρ}bO5_HcكkEQ{8K:S< gje`a}vL.x'h7uڑ=S)Y^"r5Ǽ7k`njɕ\R"cPdNvBǃCg2~v=w~29E%T!i|hh@F'k}{wق6 ?esS"x`U=^H700+ui 8^4F Wb3څOro!:;EyʧJ npm> bq"P鉞orw] * Y5:u{/Y)MRf-Ws2~ Pì菾CsʻqPEm&& a23>?SB'=(%Rȹ)g 2nh^C<|v'#7D#P*TS >G0 w? fI{- #7'b!^9^/C۬TĂ:b;$ӿ FFjILK p4WP֗z؇a%c!BÅ{Q ;Bh4c-Khi] ȩ&6&HppZWErW&U$@0hXFF3Ds#%mr0$24 `g(HL Nz˵ vk*$:Q%?{eZ1Ō hGL !U${T'k͘)3;m"O&Ԛ\\s?3Qi҉=MxݝK miqJIF)Sw`.RngM#OH/U3,dY-krAӣ< Sٚ=!⇁ePäʜqWYrV I4f8~d6I:]@7-"_܌򣷫RLw?:Iϒ'sd{=YN5>eכֿU"YTBv6d7m M35WF?Ey&&0໻0&K> D_qy?-Zs,B(4u\@c;طn;_nGEAѺe ob}t界Cw 4@ A~ף$-ڑ!o+n+u; ?<*(ڮ2,ʹq@j؉mlJu6{<茗%`X3󢄨Wk))Bo=SJaFrB>jl0øl1E/+7|B ^.1,+{snQCO3( !Ka,b[Do3c7,L$ خ͑|$yGez"? 3w}6K;Cܫm'4=urIO$ˀDxnu]5:",N^)<|#$b[g j6Ȩ9)GoL}Y|Yc- *xxAĽwr/jaHÅ1Gf1ˠ|5"X3A+C sz-cNtmRYqɯ1ͽ¢E]'us^s]\+ aa1]NrŋaƼ&gIlBNTry̖lꦟAgQj@#'^mYy>6+1 $Hx5An 7 j285I) N}&2j=8褊}d/( W3?Rs8-sZmHvD' *iVn* K>(M kF1JDKഝ_w /T[PIF>cm7IP}xU joUuUu*0 !y~0Kh9FDdR$xѮ_s)[_0 OzfOE[Gؾ~q.P^*Nèu,XJ8lV -! RXj~J!1߀+XcH-|P+zByB5~\|HKt~{±ff EHڄ?H̶a1~q 3;1q#Bgt;hb01|[)h4<=^**lăZW ^ I)N(~URm48W+X-~#jC16xdX]hɩRjIl~bS-3$ Uold=X!u u ITR(g.@\Җ>C7&Jy{[4* X$j;MBv~"`:;AiBȍ:&V5R<汿 UFL*YY0,P=y֍)c==9S2rn亖7ra6S[z.{_cFQ ]F& |I?ՊSm=8I (&Eև=O G! *)i)b^lOITuvBgBg:#X/\U\=\Tl0 0꣠~ưU=uIC;HoS,L(?byB@LyQQEM+ŃSq]BMyaqFnfI}F\E-%뛚nE)vH\!N2TC{!*Q)1Ët!Kcdgk*X@?E5_e)U )MIW[@r?PJ\])WOϛ00`>M㹤V e5f& M.2{L耮H3n*nGD^aUd$H4V8đF)x l -TsuҦ$VU%JNJXG0Ns]轩TM hE6 f峤WJ5.0xִҗ(ZLbˌ!WiWD͏OOh8VC2Y~53آ[<Δe6w%3lO'eRfkyjmpT>M+c.B@+8 .xV[—_|7GrZFk̺MYuTm!LΊTmjoG1…exkO`qwefO. .ˀI+Xpy'dg10_Όў%wAtAp҈ޒUO ;=.BɃLRG,쮽+ Q+@.@ǏDf oJ9I.3%'E#w (1-Rz{'73&UrɏeܤYŝP9E.~K|/@SwFy.l ϛ.燙5?;2z'­^10@q'fbursQʦC陙 L4Y!D] Vro rGclӧc{{Vm5DV}3(gUY{"be*Ehʌ 1j6qp+3Hl"Co_ cJ @]+ʱ5<٢[RR#a@9k Ԇl-`D~YjMTletGS|⬉E*CKSeRL`t_S&}|<`z5}bKP:]so|BȆmw%VrZe"J-m>oTzUp`8C 9m&q `k:s彷ke?A=v-~'PJ4Pa6Z+/I$]):f 4.вYVgV@tFY\ qL~j SmdyZ":>=>=L_(,f% ڼbQ%,jl`[5hi~&DDZjӠUGOC 54^UTNf1fj9.TȘwHE5TlѺE(*އXmy=ȎZBnsHKC{KF:c`g TIF8Q[t4G5Oݐ䯄~_\Oݤ^<ѽP}8H _j>S4;"\[o"9IlxW*xDSyzDqS ! ]ˡz1}NTw5Iw譎L &F}s^f1B %2h<#t d"#3]"h=,p Z%9YQ:&=Y$zZV-Ɂm|H krCRΨ/!,LN gnHQvOe"<iys"gay4:sci š Bòo7Å*]+<`~z?I',;:&4+Q(ԛ v \d ΢.T6%Z;Sysζߔ)^'+ L(vgpv(RN6dC֚.i")#֏f>3Uwʪ$"'3TUsvӲfA/ ,ħ=`JT3H+'MFȟr#i,K\7RY ]8!}PAyYb]Y@)4}ޢ\[C9l&|?>h7'cVXB3@xn F1ofXΩ}Ͻ[*Dnrȳ,ȹzNK5[!"Y$l4b(5-Yj~gcRx ?3$k u4b9QVV&_M֢;V#'#6 y#@:vb4 3үhdƮ!U8W*hK jU%D}:"Rp]# u*2"n @Td*04J@'Y8 ~G@0 +E{% .D\ɢع @~iE'_~Jxֶ'$]`"x ܒT?0v[Lڧ޾ЃN@Md G1I9XWz"PEn?^EEث&3ZPE;wgz'?ˤ@V^0u G^ xȍ/>&h=Kq>F˥ti2 Z%9~\S_:*-/T(OPo8k60 ^06kWNN~ܓ> P]x>Qi<\lFm3rgKr57y f:e߸Y؆}ko&MK=lڠh.xjlztTd+ HtɦM%R0tz=/`f" \,[vuk<;24dļ+^Q/:$%2仕$ys'{VxoLf/ xk77ޥQCoG(AFǟ'( .ù,؈eڂܛt$C**8zLo|$qr4a /V"%3ڮa2Q(<_AhVߋ[&_hi QwX^3;ɤ}pbĪԙzAU 5"{_2}_]5U^npW2[G)wYSY^fW06%Mxzh<:bg;я%a÷Ln$w ?#޷/N?4+9[q㋙=#DN6~8ӎ\;<"ݝ0 w:l2[uUiFI&J9{zu2Xsa"x#9eqLrӊ$yiW:\ٛDH$;LJBHy8#Xk}N6ϯL+'P;@1ӒC$1̕uLڔHu)bz w0M^+U* ȼ;-H8h{..Sd$B5*t̝A3-J7~98񞴮 pOVx$ḥ)vLm L޶ xA& ~ f!uGVg Y5˒ ǂmfZ&K](w !mea/W:;K(] > j}ϝ|ndV*əX'_K&+M{'cyPe_R8R g٪C8=B!AsLiIk;G&]k)If++ f}Yozi7ԼA]*v['SZ#e_4oKL}&VV⏴S .i WFWNuا L_o+hb YUWn~RAG>cU.ä6Ts#&KCie\x4kIgxNeunZz׌Ӛk{V9nBȗV΅^S.Cm)NoliQ7)E_|2-DAơT[X\3ڕ-bĞ+(DdK7jj jz#GZIxUZP WK4^Q N"\A[jkZI4v7G"-\s53=w.&ڴaL4 eq:ͳ1 7b!^PaQ{eDtim4 kPv\dr)G/XtU:#28`RMCrNo22$5..,Y)D29 P8}f G=h2L<&kP^,eO\S%*YVX,˧&7֝aݟctse"YΥgYd8c`B7t B&qjĕ]WmOʫ-G(9'W';LB[qyX3 I!*=(0Q v8T/ E#hc#›(M` 4(<}|5Fb7T<7AQQY,:qm z9Kjnm ʏZf#'ܡiXf$ʣD[yθ#(;HKvX=][[ tw0u49B>"Uxz EG?D5q1U}q;D=jɥhYE-dǽ؝ %FVyGi8ĸ;?BzkaEXDb&+T.{tǡi]߲K1ȳYh56@*E+Pɽw)5t,OwX+IgeQ{8k%&'1+e TV}~nD5LKm[v /@֟IUOЗЪzl=ݣcȆ#Skrd|YS-]»5UۭZ~Gt? o/$zwƶ\>HP}6;k\HPЭcm) A$ZܑXX@M%5yc1ELk$- (OX /lwgj5CDڏ͍_i'a;1sҿ,8;VB62lN$ ͩqwTrАe䟒|!A6Sl[J8| lO[Tihr/ _cd!Y2)N@k*甑v kze}iO]]H^ʧ5 j"rc^"ƺ$xcBGmHH<^F!ţ*A,$2nvp4!} е 2G Qz ZiJVNKpd-/.MI9{ɗT"%[v6%̒`TtZWG>ȁȻ׶39m,g[>;nQhjn53Ƒ83KUc\ 8Qm6Kydt[ \6+L(nt\*ܩuϦ!Y*&m'u-"9SZ7ra~uwʕY{;d$BS>:j>M)6e+ZZuSz}"?f6Ӭbre}SgZx3|"CTEۻ{%= _o*GDz&1`Y0t}٪p0>^Oga" kcTɲ=AaN DI1H]<`}̴)!J$cԿHeSq!H8}8y"sFPgu`=%e2IEg|CgM9unaC-r'HI=P#xsoT+?aROqө/.tA"_J"V¢n6M-ع_9#.>H$)QѓtGF 6}z0FM`MOkV9!T`% ~u,iD*"GO _]~_Z^9>4i &˿*H Ӊ'N/lB7%m -z[C-W45=l<Qni+$+7C$~9- O!"N zwW6?i AS3Βё`L϶j "(S@[gPK \Cz1 ҠsK}@8dfI9sLyvze1C?OCXBd384N$ (b8Bc|X22>oKpطgd_c6"IME8 (C&6 ."yGjͫ{S>'}; D-bEh06%'󡀣 5X(٠v{1͑G5, r()N$1$[A,aXt GwN6SfNM +^)h˄֟@)Х+D![Yӣn#_&ūBI3]hwx,QE^`oAvzbv["<MSQnYFb[r@F?C+PO٩`h݉,9 eHN6?tcr&;A ϐOf_ȥn!;T 83 -.F,bϛy^VmB/Z[BqB?*$Wl׀/dk gV~ʕCa/S퇐@'-`]c!]4NE+#k]$cMI-HXVpd',ԮT2UǹaP2#*,6o˜<7jC,M'"AvW^ .tWZ{MxdmM>Js^LM1@MjPlf]~ ,>L{e*\{hae)x{4=dpmdNq´9f+9#I DO9jTƙPi=N 8[yC;*ۓMl_et>Һ~ߵ݋ٜ'/p; /iPȣ!=ĐqvϷNUIM|`݃);t_~E^u!ļwqz1@64J` yfi,oORY~^MV"O#ݺ?fTݹ<;qfy9U@-N瓥od C'Q]PU;Bg=heZ?=kHe¢ P/*]O97Qk3&wc-o&D{a6Ln@`ni|H"6Gھ(8m g5?7 = };bucI)Omqs#Zw ^l?wJ|ؤp>ۑg֢.(`xCRR*[cJJѾp |8|~0JA`4pIĢ{r-~H2Kut&a[SOXoBWo>)cy;ߺ!y69,mMAyW}kۣ.d3vbhh2a%qz[\+I~5i^N\k8"qjg˃~؅5"Bv3w 2EB0UroW>XI|ߙOsJ ;vʳpo4ĥh'OEq5K׸Ɛ=5a AǝԗnP}W9EXLeD \]C7&OhlpCjR.X.ZE,y2Y&pQZiZUwf8I$ aM``\X^)omku0rKz`|W0#vg#7&67 z ,mwf A}JjFqRR xdtm3kq=g:dZ qBz߫w423Qmzz9Y-m =f^jhY@a]}-y[,)NS- r|))8] bI}tM!Q'i__fo( nkH"*C:7Z8!}=6c7X*hC#KsRJbӻ("QeQ{IbOI`wuv4ԏ m ^ŴAr"CmdkkyC7&]n<^+vv Xs\V|0J;Zny`wMۙ4Y `K!Mp>D+f@u_yܶs$֎ oP.YckHLMq~zʛ;wwPH75]:x~#,7SnKtS%q_w4.f[v͊%ܟ<rܟ(9G!;PDT;7w0~HEa9?:&sLjhkt؏g8䵊N 4RXe'|8Au2Ž[a fJ+'SSF)suӤ :~鮰te M~@fJoQ#Fzq'{@T3[/_"9&LP٠I2B?#x']( g=?6ZDR˟s0^H:x@ѿe[TִD/x헏8^^`Ւ ͋`%ƀ_ )q&!bFR۫DDM =[2x8ІK2fl׸dK&(f{G>Y?s1]xHF,#rև@=E_wJl*73?5f>TǼ&JPB RQA 2@\ O12&n`V,ĪD3*|#{e,YQ$Z0L~x@"FJ6' #a<+2Wv yu L^G2D38N-|ayT§NlOT-g`e_ Utvl ~뻨"&_dJͻr :)dYbuJU p_xk|xQ_k;ÞS3xSܖpYDp|<~=Ɂuɨ 'IDv/`2]r_U;}p=IPG`3w$lozks*GdƧ"Tͷ/xzʑjr/ YY /+,E&XLl/˷QzLBNxB{tZm8gq:b!"._ \GURˊ?@JGR$\=fd61ְQY^ve=IW [ [˪zgS\mT j|/r [V2?M҃ -qjjf-fv'{7]Ecπr{,Bc?w/oتi_$~a!) HTgW+uFr2J'hb\Q]~ <,PᲢgoRlVUUc;-lGyx*r`HbHi >MZ[ 7W+ ϭ^dr1R^cǭ׳X` l;U 럶H|R?hhl' YpeXJ ݊S U2<_y+Ek1RA5iVL„W >MCUg7\#SWHO FY]ZW.A]W@ݽBWY٩M3j`Nl7H x|A7"' 3 t~n-,͒ 7b?ʿΎCj  QYEs%KzwXC vM2c!ŵAp EI- oo&<}k{EQ?ԾL|̶"||d֚{Y)ذF0׽D& j-BuYuݯJ?T fIۉ\>r *=o وٕʊHVyOE=w8;C[G셺N}R>\ fFRkG"%}#B說V^v3701?w7BBK[Գ6Q<صuܥ /[..I$DN&,A.-%qFwXeC`v$@c3v6q!@ʥ Lx@IlRUb;k,n[bJŢpԢohO/QQd$YXB9?&h/: %ݡS߶0nʥF{D3nĄ wq./0֑+w\Gpm}J`z.]yWszɠ gNyd<.FD0p8tb(ಸeAx{3o\}YH6 6i‎haWU!c.t#z6] p(uY2 ,aHOkW.RI4}Z*sNI]o8O Ř6˰ts2 |We[X,m O)n/z]%QkbZxg?n15:+ڴk+ί+O:ۧ[|bh7p(lO v<CJ=?_](c;qbϚhR'Ag ;E9zLɻta$pi?z }d+4i4|#'׀yKan=ȉ?Yn3[yX"ҿa8 R*x7L/.PiW, R_7 1urs a r96ΈRy0VYV  w^vk{8劗˥'\/|R[~;}niv$Icv d)!\ȀXyN v o,+I:O~`"{)r-m');ZX[#)bs^Ou+*{wk)~_ߞL Hcf9GD _XIv:^4u:ڐ4f̱`(tZEʷ ; l+ E]U[I|YT\(xԩE.K1eQ&H8kys^YTf/Pɺ/~Oߤ} !n~] LjIt^\S L0Be Fv˽c6z q[$yjyƭ3_\2-{C|L#N-)_"%$]wPͬ"qƃHԊv4yQhVCsw.>ߋIjˋϠ¼A?Jʁ@9"´߾k\ G{ I aYX]M}|89 4Yrw#zKp EJ`Sk/u=Hj„q3špM@zPx;9N5a;6A2P@6bfauWi| rlJ\sC+<nC'-SV-v#Ⱥ5Eoivx;hkr[:cq5lw vSEJ?eHNb@6$aK's b?jI$bgѣ2 aƺşA؂·^Ck`#ÌȝhY }H > ^bɄҽ2֪ƎM;X;46h/?##3fp KDƲovt@C|ۥ?Ь}#ZfFOZv3w>(eܱ@AFf/EDk-;tRbCpsv1P=t,[Z9T┆C' +* s*2fHiQŖt=W92R{v8tU҄ΰ NƄH/@F(N@S)I^+?p5RLe9Z]XGkr_g{p*2 {%>zZQ|do4dXt1H.ӲtSF .Y ~^'|:E*4ՂaW}#} r^+WIivNT$$=GЩ[I*gCߜ X\lR/ĮkPQd4BԂu\Rݳ㴘h}xAD JY NZmyR^NI^|KD&n̗} R /Ag "`WUs.78̥{N̛ .y/=Ȑ h[_||=GTCOʲF^K\mO' ۖiӪ]DS6} @-\EfI*qFMdǧT 3 fe:=+MC$ݘyn_p ,U†uYF*'EuM;oEtHE=>`(dqre28%ۆh*>=O] gI290ܭԦ6H2'#5ba)Y6s$ +GkIfoIFk|IjP)P_.Qv"Pl;--RQzO). y4?0/ ^.@ Qa_S泷-1hUmt"Y22gBDz?1 +sd_t h!qm- Vw r}03yQAl50rþ1/aCx(m4Iﰴ{ ƍYZGs@Ϫ;EW9e\2.]Hzd Jlɢ|ƞv͞*2TS(;93IQ{'QԝciW}\hήc Y?3pMi: #!d;ȧq@u;MMƬ~ەFݰX LU 0  $5rO=]p}L-#r7z/%&4j;02V35@j4V8]'C gwV32Y97p\R;KZuMk.Dz=!링Qpn% @fr΋UHO(;/Ž%fbB4~zC8VntgEgGmcw*jTuI{UjP9!m˩X+"x R|JS78L)rz2CNžr35^<:E\dk7}ZVEK(!:v/j4q_[MqPE'kPL~%Ykc,,ٞ[u ˜??2E%-cQ.?ڇ!?ꚯ3L?_I<'Ѝd᪖S./}"@O523?P J,\]+܀% X q(ucA:wzeP{܅ GVXut*H81Ir]V/5ǣa9?0DA%g}E/[Kmʩz}u=FTU74p T[xAW_.e? ޳qc-]Jv.wMĭcIn u2ɑEM*%3ne@AfZU>ti,7AhkJo{lw-|X_'"qя+u0U홰F~uSˆA_z۷N9Vu& A_2?vWIJD{p>bTF!V(=t^_TynLKk\J&_/_ս58ڂ [^[Qnc)z(GjM:+Ma @J A]-c>>U,q;0BM ;s&ŔmƂ28XN,N DY9ESvL^D[K|Cf<7xqO EZTZܩh&*ԝ }cKD(;n˨ wo$w`tNLC=¬⋉[S 483NL\Y+ J߶ b8yV;{k1ȬDAx-ċN7 j%w RgKeߴ2߄>̀inNxܙ~ULeG1FX)G}(L2ny@mFD>p]qHyvmmo\֤@:M[,T<= Eƽɋzi3QDx"Auf^gZ,9GΫf Y1Bm ,j?ZAҡPw b|. M+` h5O:y P^tZYfn >"w4?(Pv^DʁF:|+z5nv;~`VТxeEC0ϒNr@xwb\qAL[kfb'6=&;ƲhxhEsșZK`^'4\;f`7s9V'VSC1t.ţW]s"fwWHMl  _D757Sj^?l 0x , aOx}+6[͉`* ^1' \/ /zt >o蟃\~tqeEر,dbTGcLANH ڴ ( VM9Q3B&AM@<VޗBN}Qy>ܫ6|(b]RCnp!Íyk{9Oh@e{`tk/%N)}>-%X؀PL.u}F @.g2AIE.*ClR,uQ ~ jhR5i8s@sY)ȾuQ;-ɢ̩W#>-Մ'TahB5 \:mL]H W(?6XEgD410RF+q &gG ÿI6›_y =ϮZ,mpvhY5Ji!~B6r;ZYfHꔆٸovCqJk&z W? -5ڒ& 1 uWwx[ ^Y $NeRh07p:"(Gmy)M]y3 $G-8 hSLde=%4\tB{a5Hy3-ЍGOŸ:r^(QPa0zbnj1XVS0j뱐[OQJ# {XsN(J5R_nz#Sȭ;l]{`;`NQ3|Z3 ]*ϓ=I@sVWĤ @AP0I r2XO(iƋXOؚ\ ce\[ berJtzRmk?f˒/DmPH<2btK.L7c7Dhz59kl]>"ʑDGauq?IC,j#DH?:դ.-\U ~ɋ^&EoӮIM|$5Nv~\d#BAHczje]K-qˋ,h-~%_1Ա=ywcm#N/!xZn?RwbH}rgU!c٪*?"8׆F\_0Rz*)Z xU?$IO5P"-Ը1^};(;]J3*0$$ Op;ah[ν)yZv*õ)GKjAʌ )v#sFCʺΫy :& y^y*JSAax_U|}ci SYJ8l_|<֊jEI\Wu'+t4,{͝Tb\ eX+[[*;˱r\,=7#2"@lψս0xOtRv\E]6LCUv$ d+SOLMg^YDA9Zgg,AD }'Q$Ӵ0ҒXkB8au|Sf0qjKzt#)&/+da~ O=~=]i?h[+\?zubrTZ2gBk~柟oY2H=96M l@a7l|b$ Xd 8TDVU"z\܍_bաE5L֣iy.K{&o"e+A)~0"Io;d s)ȝ2uٳ}z7k~l5U݃_e~('Sw <{uJ;dD􄶝&mcm+ۼLRˆ% ~:Zetă޹p+gBFu;ъc_`鳚^.Rt7JgZ0KD.5Uu29늸YVjEr7_F#"ٵ`/X$ է񬱮N~22`_4GNƿfQ qcTSp@n7R Li+4ɿv<pbEYrv1lq M2v蓜ZOKXg40m0C\hk/@C4N`>4:bNc@Iyƺ1Ú%֞#/\VWv<[$y[˜`AM?b !ZJq\_[* GX5\ |:ͽ%@7YTW - J>#n|iW#cr9.*ɯqɒc k r8M5/R1pȖڨd!Qxkk΃!cT.X$֒adXCa 8,=^TyyvIVSj]cA0 s[ߢ&:7 awV %Z[@{5{wzCݛ h:޺ gdeܚ`%y_MgweC[]}+) ٺG 71/(#2A a-G(XhJS!GAH'gJ >& +YlC.j%Mi̓UrNcDdZZJCryAIc-:d]ɨ%N?w6m$ \ 4U KZLUH%0Q9b'4r+KY>zVȸ#bg ]!ʯm@.>\_!w*+e/&I2񐫝5J$n}61Νr C)sE)]eV~`u7铃Zdɱ:9A]&@M(z޿ sDzxvEBbr˫+Io Լ%櫖4K`)$GeƟ1>7TdI$NQхS/\ӊS#YA&UtVR,1»VQbR'e[~ha+=y.nwIvJTYSb -rdy4"dp(Lw35-h1k*IhD1kPaC?< =.E@z3%(EV≻eSM%,dgU?bnڮ.SeMJ&բvc2誺1CgCX.ݙe1 tWMV. i8.6ߪG-9TA] 3ZM.;xeƒ!Z&;UٞQF. 4mbuwW%#K[" vE*8x1Np#+=G374? &AeEgJ_8{++W3ZKW0\Sn&3eS숒ж>drsW@`/LZD@Mxt֞]tQ2DYρ~M3ч]g_5k8&^N?jd'iNLRuTM Z_b@gPNtVO.T l۹"4~?Lv 8A#e*hܬ6T5' {2(*_Y({US2Tgƣ!JELDޡX^!RM&^ߓQxpHZQJYUߕiDBU}*4Ѩ\Q$sWe0+6+-ԕlU޼򶈈Pm[;6&Ue0{*Fh%+@iȌR>Ș+|%mjvGX]\[pO8T >KhNAT`P#u=lzjEfu;wb?w I]Fѵn{zA7@lO oM%\;ּ+4߷EgYZ7zXZִF! )]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM`|E$z,p9?oҚz ȵc]qn}(,Y6`\J aPwVfǓ;-\ Z'gb-DfVn_O8 !ڬ1o>Oa ٭#zA8%iNl)D{3Tƌ~}="䚫KڶAe@qc,PM6D7HaF  Ƚ;ȬrBr!Puw]sձgYZ7zXZִF! C-]ŗXi%L#TMgjY*@~ ITI- [ sD:d18!v <>D?7 mhb]\& 9ħg?@Q!4_ėihΕ+?<f+Q.JE! ӇE>5WDѭxDEAܵ|T+ fG]"`'60=HT0Vג^72Tl{=wva(X.#=5(*'zހi̛M-G:udzDƇQ O g'^xSWcEQ9{<&ӑ[fD} <+&ex^X6I RJFTwd߀ ?OAYpnҴT.t/ձѿy6y8@%*1"JkTk3P LW2^26!O0QZU=ݕݷ`}Ξ䅰RX^bԹ+>B+-C|zĚ>#>f`@ ;H},E6s-10ZnE֪s9)2o81mz0:9"̈ȵBv'8.~`LKq!˞o"u#w