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 l!TL, ]]]HOL-Proofs:threads=6elapsed=565.944cpu=1401.880gc=226.564factor=2.487zXZִF! ¤]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcz@ݣAPpH|w3< `8P8;zpze~3#)zDjO;,^a^@k$jl772GQ}!dgl4A;yS5mũog[?čqp_il+`(6<װtT7I(V[_62kӴVnk|Mw[TA/9rȊ~l9vlŝL*-̀~hmAg0hESV2ICt3 ;b;"  ! HOL-Proofs  s]N:Ac4QCpsWAݪ$Jo9k[hOJVVݎ+ Cg](hiƳ8ϓ5ɋjާt)xe|Xݲ5o胘BGA}cmI\Q4Nqorado ^sg2q2_ "To 3{ \_Tw^;khp 6!)3upc2a"(fս{݀W\"p]a:QEA(Gwyqg84_T(3<}Ca\sWaB%8zTКz7R"wQi}Xq5`;5w(ivV Fޝlz 1 MmV? wzGFlPC& S Q⯻O%ZoFI`EL8XGS]EL uJll52wACҔG|`*] iU('᫟?p2PUZ%f0QkڍEN# uDwڍSdI6qwi{yb2p}g ]>J<G3_Ȑc[$f}HsWU]"NїhmKH*1 5!7>V8IG:nE W6tJ>elƒ:~ L+yڞ+7ل]L/U~?5呸w*L痲] |nϠr3$k:j RihPKǫ;PNqrѢ737<6Y 'e_y2(@-.;z=Hg I N[\EDN0yKLEBal . ti>* x?R%{d.&+| s1Q3bGiV ^bg9z)|&EIm2EbM4=$XMBa@_߉)A:*|`z@'uF(;y*]ܪl7QaVBmq*[grgܾëHWちVӏ)Mp\~f ;$>/@t|ޓ] aNlQm]<>1v=D-Xrl]8F3&_"USb}"$N=(A湃ך^H$ᨎ2b-lѝ=t0wBg>Jr0gSleJ*,4s$zV*#`Iّ<^ɩUhZ7>a?CY(™l6U;Ӆyr 0E[AR턎 \\p:;BVP[[߀l$yn߽j 91V9E ן"Kp2ߔ2[ D9240;9n=тR| zPA=`uƛ9+{h5F0y_RzV~ڌ 7_q۳~[:sUܾw5}lz@R/N*CU05Y&q3yl5 ѰUFQqxJ\[h~kGxA',&$&[@BEX&asGqB0De_pLޟ`Mp ڞ+ՎacbykPɶK⶗ wΧpW=,&g*udͯ^ C\NNa1ψ̫K"~;<%EEu];O20m3֑C&)0f}k5/uvDܳ lqby[za`7~6D5l8g`G !{Sgd;.^9#UIioZ}Ӷ 7AxJ~{欚>giwhSoH> jQE {s벋I֠Q9$S.ǤÁQǝӰr\|u3;W~ 8+YF$d}xGpPY&a + ކCo$hH+2%9Yޕ+Jϴ6^y b@U8ڏ:\f޸؅M N۽Pfhh¢ ?2/FcFy ZU9?M.y@(+.}4$6ffO Bof^\G˱ tIKZy$ V+SP<* lB@͘d0c\B޲FN6['~T 4n$W# MY<"(MYވ6*Ň: I{_EPޚrg %O7;pߛ3^x_[H૑(YlI<GAh{[kAָ.x4.Xxr݃~hwMrRILK'[5hq* QGH-o([kCʘ~f$h!{c߬LyǯN\0+ד'TPc[0pXke å&v9YTk"O N;le3"~KS#SYj/\]7 e:Fv{TR۽]?sO+A? rKn+?q徥Hi$^0W3["|7jvyI? g*};ۚs+Y[_1*7g%TyN;0@5f0Fw ǧGFX[omDX8OuIO+U4UTW᝽3ShA!i&# &-1P`C5$ ¬f[!Qu)c?qD!vr>DѕR@ peiLmq!R BՈ'T!ޟb°Fc^L.,# }vxGid`e _cnUv)WQyۿ[SC_;+>)aILj&mL-VIW)*!ړgsFqw[6W| =!Sh㼘8?|(U aq^Q3ՙIWz]\Ȑ1~<`ʒDD1Rv,GkNrLV#c4EmcD𭲳Qk( [d< =ǽ'׆ĒM_K_9~TnC~VT<( :`ġE' ֨qй 6qjEvs[Ry:X/vw".o ZJ2k[(ҧ<^ U8Ca p}nM gQ~ᕈV!b)p>4GW95ѐ_藀:+Gn7CǃoxՊcw_&r,b7 "?4>O# Y)O4}K FdUHm;qR]J4/ ˨~Xlz |ҨIIbBo9n[ }Ib*j-m&|>I]ƸhRDg4FHgi/JWl oƓdȨSk,%Rq֫Ku sD^0 me~bfB [x2\0u6%cm!u kN&jZ$yWi7PvpS&+'gYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B#"4~;GZ٬=ܭ>mn|M{9]Ekr!?)@Qdnm W#yRXXKqG:>!4/~ aWvaW@ 6[C4r!wc(jN &4s$XTlX 5΍tOWP%(90-8I3 .\"t_.4#%]}LSjC/f,?W'Reь8Y#j=?*SuiUi6b4 sL@1ȕpJ␕$3S * hrب1M{= .hNnHJ!k:UUzצ+N>,3hǥ*$ZGE9\C\+eac#slj~3ˈ,VbёX Q?Lȓ#4RtW"pVr8? غSU4l3=? 8tk(M(Gџ$I*e-bҜҚRq.P-R$҅O0ͼϰfe ba1P/$tDa. f.~'5&e ނe|$"S4-ѫy$p/Y!;~L $keɹC7$Г3ks/SH>c=I+ ~y{04g ՓGw `Ӧ8ث:ܑ|4ilsI;>1`'+M莡wPQXqIIgf5P{7xH1 F 48~Vfk4-pQyg I;ZI\?y 41ٓ顰dt6v`mQWp[JXll3&HsT?eMnmdOWE{+/ p<"V;\i[XDv!i]#Rb" .& ;>{BȷC'е)ƻ DHBL](>:bkz]cs+( -j\7oinvLa~l)+&w_W$Z'2hu< J{]z/j2|{X}f)Lu8"}Qt)zb,dzP਺)F`dOP7/ "ha+;#Êmoz+j4e],uz2m%\QNܙ{?Wv͏e^CmȢʬUxsA)rɊ;F.!o`ƂDzp r6ouFxM?LbRG$ ٸp$P&I "}mx Q# Sg /5(P;Nx<6նRcX" vE؍)`N6~A !y52z 8ù0br:Iir@Sy Bgxk1r_x--]>vx;u8e]^p HrPw+%> nfeFŵBz2 q*@dIT `Dޘ/B617288{g 6*^!c wv%E .^4ڵfẓzQ35NxljӞ ImGE۬~ABaujZu6;.Vk$ 5Mq1U>8ZBvylSpѐz +%D6-CQf<;7 a䇔 l,XsfWs𢣄6AG HGݘ"S:VSbT>?ֻj 2w#z5)+VMCJQGq]Q N !s2~O]&[Ż{FxNkF#$DHk/ w8%KlįS7O633VzqJMSL 1 sl!ޞ)* K.wݺgA󇈞m+^k$)4֕+uOX%X^i>Ty%АI'S PRi2# ]Z}a_ْ3Rt O\:4l$9+ږ}K8HиNJQP^}9!DBsdTk"Tʊz0M3Rj+&r$@pOKVQ"?tIRg%\Hխ } %e=Q(=zl"|k{aH9p\ +_υg0 ]']Sn@`*\U}JBEZV E )+ eFb#HA5!Q:\3颲S=KN_|+x3ʩ"v[ Q!iGSTȐjeXaF oJ2xz0':]( KP1 Hnko_AQ8ӟ1dm`T@E!'RXI3H3Og;kkE})$)c1(2UQilʃnTP*(Yʰ>&}+'Vey)Uպjw?@ mm#pp?ZWx#li*Sa NN%֩,BNIP084JeAE$f_s%N5?9'gH~Dtf?a(Z;ʣ RR_ۘI[ \x0<1+}4ߌ).'c-<7&EZ-:ΪsM o.Lvqh9bhY+r0BK'6Ŝڃ@RySwfz\ ւBߪWQ _m\XMMVRTS)Kx)&aWaI-_ɕވ$9n!hEw k XS!(,W9ݕV̤"Վ|ҳҗĆ(\9Bkk!HR'P&D ̔7M~6-Gz)-!KT铌\!+wV{~LzGtw{)LwI-='+1ϊlpN$!cShXQZj_+ykԴˆ{QO)'ZM4<YVf9$vH3|;jY9#'{.UN %tvZ@@IKp89E0 qPMGN\ÊF? Shm+ ,NR 02d^:lVZ+DBxsk?K} e˕,0"f ů1/6DZVf^ birhu8  Y{G%'h>:e3%>2v"r/5g)^FE>Lo$<|ۉGm!M$WQ΃>3*:޺CxƸBhn+Fdk,hEk} [3nW6&z&LoGVq0 F݃rVU߀7m]9ϭs\0H䚃z®Uit7@U0tJvjS w\Ffh7/JJ3+[` CT,jjmi#'Y~pZ>R =5&d84OxdL'~Oq }ʕRy@45jZ_.j k3Nx2ʭ&x>|4(ʺ]#6L"aŰ৴D.~C؊i`</1Yoֹ׃bAiCն2o{o?ܧzr> :o\6@efI")u9EDm,Ax=C,Q@B^`;azkCZlK1"O@ix/tX[]H8H#I`ݜRN_M{W # tbS5*7_lz;g 77mx¨cߌM@ՄpÍ\.?;KI2Q zㅊx2cBtRi\\Hl-"Ǧcː4ľ䓜<(.1}x"z Hf䄦&j 'V]Y[Zn {Qe,Vo]]JC<[T+5qE{gY'?ԙD絏J&fduׄ2ܓa .vZ5`s^Bu;+kd\+ l El;)YYǓL^te8+p`JųUo7\H'c[ \qAt؈3t36Df2'%_A^sA]_R"]Q3#5C#_,];ڎ~Yٿ cf=o8:kkѸ_x!j>B7gq~I\ѽhSI^5#rdJ/E樶SXy,b&4ؑrX "v\bgoN<؇PWWf_YEh5+Chk! 9(S uQ>^(-u*hFv4ҭz G.:؝`tĈ{ऱc T3ydiwh8976vrxoSIA+xVY-wtfEk䰞ujYX(ÆvwľjD\Ooj@FwdzZMTkV 5=01=O ƻXev$]_z@-WeB}{Ux'U&^/"۰ĘvLJ=Cπ jo"kP @0N͸ XUpyƀÉ/-g\q,A 92a~rd:8`w񚋇F\ Ax3EK2Lbt=5ew M4F:e0j=Dp&\C ?T#rsI Fj&[+q@EJRp8*MXƅp('2sl#rȊ(KlAGʬނCuճQE/Yk33MtJ ? A=f|)9u3uQ/}xy A@ xՆuK3rX<RQV/̚Mr%/5g2\O`)t rհ8.-V1VH_O{| :c()³sKFY(_Co 4.WU=!~u I$ŗmDze?:TUdQuV>⿞8C&a )Lm6•)- m=.r\G>S8 0eZ oXC3Uӈjf0fIfRIU j:l9{QQPC]ZYCП:DRwcBo;Z䑶_2.$$,vFRrkwKC"/h_ʃ~A= y܅N]wĪۀ,_vnDwA\}_3lt)/:q^i ұ3^ϸÅ.-?;ybH9H >g.b${ #z oH*ٙTct(poCZy&@@d'ZhCOC29}NфLV|Cb_/xѦ);Y}QB8&#νC3xCԇ tQ44@_Y)B@Zoޙ[W J=3&SA T|E$aL2˸k'evcb, EX ɢ̰u#xFtfj-^UB+2dmwerVjc#<m|ruE ħm1)e&f Xh~yNf!ul#"Ү6< 9D;V6?+d}4(F&Ep{L$o[)eu,%>{ L IcPJ(TPtqD9e+f3zm$u RMh"*ƣ^V<~KP`%T;'rmT{9 Uf-cե5⦐_^6Tw:k4NdEbؗ cױV֖1 rא%gas͓FvE=W{rʃ:<Z,lsWt١1ZL$Q7'?U_?9SXʆp|V_\vKLp jt;VB^m"\̉s.[Ge3$miWˌx^KcpwI/[Ep1p<%¼LŲ" _s/3uVkz5Y)GRC]L:,i_$=sp/ZM2EH{vo9'B,~`h}cZQ{uͥftKr`Tk%PS@i)m !GF0:B-mLEv`tUS5Z!& J#JL8 e{שʞ2Cї][I~]y3maM73ӂ u`^s0=ܨh>Q`qrJY)K0 ]Hyk軷7 8&Y0!~1QB| -&tcv(*)V *zș{넠.B9S5yg4THmҡ'_ޛ̳#k"`=)/Z&;A+E*H̷X3Yo-Ӳmɓɂ(H&Q H,9a< ;;Ak>3^x6(l]&13lz!# &*׽j_o$,\ia[I TP Gi{%Uѱ /Pb?qAP:4I|bEWd].>g+8a^fDx[]L!8/->& Kɾ 3eW7bl}@\ۚ A^fէZ2Ffj[;9ؤ;DC;oU!89đҫsIcOw^W:a!]ue1QEX<ɅwTwe /`<'$67:4ilV\ihPc*6T%6њ^fNîx蚛 Պ;=cvԫp¨?|Rd,0ٺVNItV4Ϊ?28ldW*qbXau)hdGӑV5%r#V..ʆ1TI _HxPD8G|-D$~h]kȂ+1> -W|T}+h&7{m1_J*3&'-<!.Y:%,D= R^ )pID &ViVK|l؋u+9’-)<(#}_mE# ҪõzB ʈzȄ2u*@QꙊ Ζ3Rf>PsȩmbtVGُH|,nj9kkQɢh7"_ :ꜚ[ziD=A18QvAAs}EmhUЭ3].x\-3ߧju>-|@ &}w),>vx6"{4!m .@4]j:sCK'"ݾjh@F*x}ۿǗH_/cĎ)KIjwCp~0y;Cߩ;Z@'c;]~͇yGH΂^Ik"pz:sDS1db!+YLMG.2FFn DYS'EnW#rJJ{/1Y$"p;QDrr4&GOx†_QR3Y`W$u73_E"1 &A||~/R)+w3Nm:+sY-NJ.!ʲ1ށKLPxNߏ2䁜ZZ"ïLPyYw" 9̮rz&4Qi[\:Α(HIh0N:!:=` Y*v4,gmahYKMGGhÔ-TT7J +DIzfW t)t#z:8wg_c \U8y;(_<)"~Ԋ_=>VgcsᴗO9ˡKm_ 1u,5)SӁN(ɑadROoQJM7#2,᪵;r(9a1%TMiYI9LTKo!x59,KKRHNkdVey6ј%t=fyZ%%g;UteFB1..WO^sIo* i/PVôȏ/@+e;̀iwXv ##K>A3_ ˏ:hDF󊥫|AZJFW1:61]:Ml,)sjURqNiZ5!}'#bpH4ONӸG8 @)L[EƋ\w'*?~ߞH;Lf9$yUrR] تWW{Uг[[qÖuR(r ܊4S!GDk׷U9PġTNr&:lQWs:[Azgw[;{O`g0C+/ۃڰk<'\{,atx O=ӳ(C<,I<~[T @DXE޶Iհ]p3(^Cis>mV{ZM !+]Հ@SRKUF4XJo yVx)ٌ:P%^' 1R>sx/\v, 4!D PK gO!>K- |Q4 8'~{巚B\;t)T| vGO(HاF$`}קΦﶎl7 |y1XanY[@N y Af4: ʢ|8q`#Ph |&5"mN=_jD9#UWatZ#\JnS?ub-^"w+Uw(mq",!U]mDUy)*%G;> # e\ #(L-XZ+B n[:d_c >o-f7Z~&qF*/8^ S*(0|4_ ȃ֘ :<-xc ~c5I=~N :]+"iE-X CMt&enW?}x}%ꡤ,wIjm/O'eu"Ձ'M˵}Ђ]s^J>6 ba0©}^ZH<(jb|E'r#+{`CjļvC?,=W>4Cv߿7Nj I6qW06avS֛]gc$XiQ&Yy앲2빓:Ǩmff츐iAE^#j)'YQ}퐑7+LjR\blCZDh?]W pi3!r a;R*oee+ޘNh2ԬT'f'c{)}P,{ܐQB۠XBôdL@b+շ7g&,P1LÞhCc1ZF{B, )5<=;.fp#y:dȷڟpO*V"%7n3,` sə?'պx ބCC8pr>Ex&=̭qQ1fuf#3`DtƧbpqz+ b sOMEв>Hkш3"_mX EG,x?k@-fIƬO[aRǻ[n8%Z0# хe{Pu@[Q,3V:>dH}9()̮)Q,8UFH>fΫGԺLs13<PJuZɰ|f@VuI-jN_T?``ykQ*o2hê`%׻(o2N*#Τ;Yѕ-Kg)\=1 AYX,ߤ᯾Ϡ)T$HYc ˓K=K+ N̳S%cUo\ Rx\4_P@ZcJ8)bMޝN- A~_7ozVFoZp+ ^&D>tNFj&LQg&n'zU}ggzxAv)4:,dc} {h"@>eXD<}Qb)ZyIW.BT_xScʣ./`C{a@ !h=dbc%$sYIiڷ:uV;^jU*o8)H K;x_\E%ik N ?Ѡ !:d֛ME q K:XX{ &j @.JNƒ;F;{df |T|' Np>;nyx$%Jn^Y!F R4n*H N(gZΊ[>VcoXm8RWlɮ~ AtDp^$aTP@<2b Q->g@4俐'x O=,ݵ-G0[.~˘Չa7Jzw3 wvHN;Pa`}V=+j@]oӬ`:Dm[O-]QkabK*[ ^\"΢ZC.~ Ց6OyN 7젊ϗ :<'Ia`RX:xe{I 䝋*5/@2S^uvyM7=ybM|/͉:9!^~u p]cuM@ȲM}(;qFIc^^#*WQd1EzD:&:=*q6oiX "Lh"0>I="}^r5lW/tN΃֒^$iQEFeDrf[6=\Y;_#*X*V~kX5\w%NMk][|TBf`y6gKe٘"mǨl6ʂ}j+>?:НV 8D>EKMgƒ.g,E6nfʟx&/k'zZ7x874څ%Slz.X/j 8m@ȗ0OhN݅v67bTL'DG(J.&Y)ۿOytM݋c=%r]2CQGRa϶lʥ TZhl3;O,K+wQN5 aI8 ~hKˌVL7o0`_)M΢~=0#h읖!ʭ^v+3}p>8] Kwy44wLg"TCؑ`tm+ aRӻ̈Ͳ-`upq{ ',{܇D k7ǿ4 m7I-f-ʝ#Vq3$32:@tT6Nb* :]i,s (deD ,\_cS(xVy4F3c #pa1U$<!:\+Xs(MN`?0vZ{+boBe5 S2r>\3`Qmβ xi T9xvRq(\%'nfs*EuZ3kg7^C(_a_얤oKqJuwbϚw.@5FVmL=#s*Ym!:Nioε޶H0K<:QEO"9g)?,>[ojpHݼɵ8zG S5VJ`:fͬ ̄ #N7B$uӿ[xD1_^۩g5JaF?"8T2'?ڎ.$/Ce9f66k8(wه9EL +ihu "r,NSBHeݮ#k%.݅z7B3 X VHT\6_wHU?:1j{,LQ tؑH yOFqf1}AT&8TaBw*lwr?lj@TW}=<%HȺC!hM>l:*N:C`MOh X 40zԏ~, il8+ '{+&&3ٱ({,d'vZu'_x߆敏8.XL*ÖĬed-:D#FMVQ9vtY]ܜæ"6ך #nxɁ3@8jKk@}=(5;;!n &Fl*aSeGo56]ecbǒB`F k _3 kvͺ!9&xEHY>3VT:!*xr,É 㔳Ѣ>=|c2Y;·=W s,Ѻ=l,a96LG`lnքҸpE4N `Utg:? C*!e/%w{vu05齴^H(p,>~{?F<@*c6?GU\!h[@ӶCW|!GFmzuз9G ]1A]ml&"COw(\wqG4Easu\jܟ;63yɒ N-1SA{)36 d~[UFXB֍݃ /M[WxXW@1k/ cAs4JNPh#kh9ᜋV0RRRh@F-d,<~%lP,8.{H}=5w`lNu^Wv jṁ_S '5l2Q׼ncp4d@m11ꢐqy jor`R<'25Ѣ8qB$e+1 -.5?SX'эs_9sʀm~%ڤ1N#gR1ڹ\ " ZfBS=|C^ȇ_rj.n;p?G9d"H 98OC}YYm&s]Zϐ)_:,cVSҳ%I1s=1ZppȒnxs?J`Ia;[biK3w}c' |yfĝLu kD9،BL㫒mduqC)$ \kAf/ju)FRP0 ]$Ī^{=X[O/.0=-%G.Dpp!vY`56fe4}5ZixhN֨6*f/jFѲ#@iwJQ du2[s:d  47;r'vM쥊y[LqX~(K`\XCNO ً$Y5UPްT~RjA@}tǏp3 V?쐠5T7KY+]T MzBL&ov.}੸ .iK\x=nk(wCi( 5JI_I\*OĭmJx#8ާ:^Z1| X(\@.:wxêN|aV@n"G4ACB;#d~Ua,ʴ21#X)طqsD{)7wLrY0z,gS`|ܼg  cZV3ZFC }\,Q TE@*ҮJbhXQf41A=^$D[caĤzsN+{q o gkMz[=MJ@&wԎsIe@%!xy}?L kjzyLFjLs^ots@B>GJ  `*eͿ.%dDjHrSDsu Ƙd@ $>%s+@#=-ƳW?}kw$JSOa}7"InT5s3W2ž.+] ]x ƙΓ܅]텽wfEzUZG:ͷD=W &CS퇚V)fV=Zڕ1T2 J"-}!qeKyӹoOgw LA51;~0  [DLb1HB$NF0w"ux[k(/wZ=;A˕ "wDFXM I4`:A Y^~#=6wZ"y\_. ^ywfJe >Aq#yd+aub"ZίAZ3[c,p]"؇7QєVO}( RV*,PqQUaB51ctz)IpK+aP$߀ͲbU%,~%lmaW"܉ctjD΋R6FƑ&1\`>4чikDv)tO46';~|:[-! do |8.7(+Z5ȧO~-X\j޼1e?Gp$>;Z\s;0ѼK[c)#a<~ v@HZa<&ih#KVA6SD,<%L ({(F&8nI㟡{#j8JĔβIUsE}v@+fl"v)mv$ޅY%4Ά"ɠ¸"k+/+ ,UהznP,idx&RbN^/A5斒,*\ Q;r?W૳V(hA;R0>rgƇs^~_O io98>1wz 0F^ [NҚȃGإ-qJiܑJҮ`J}ˤoQÀ֗~cT0ṖO;xI/Qd,ʛv֓&QՔno :uMiݖxKݤpgX舠fFF;pGx #:e#IF!e{$#s\m5'+B"s iPљAҶ[RJa.HW@_/,uǬmCh~)6@-1/?lP*P2ďg%]ŰΙ@^P(ad`즮;_a3PMņDHXR4V\/Nu~6ŷt;Y&AA'k%~KF+XWIrݚo/sE;r H~ j<6кuk|t B"j~rV5s/w%+t11u8|`&zmD25#]W}[׺e R jTTLGpR^_9u70+p;6:oz 4k軼e,M }%D|M.cHp\muV 2XO}{4>kjLރ#SEFae KiKvkΎ Z^ͰYy1 hb3  M/ ^0Lᜱi*7/20ٗ&Zݱwb ן!RX\ujz?!]KA~2}>` 5c1=e@ttG$o9~@!נ4FIUϚtuږ-P+hoe,9 >1fA[Nc۷xrbF*v5CYg"efkMIbӏExzVIC&!?~,!"eըX1M9-c>V'pZV35;oks=Y#HNo5uydbEYZڔ0ocGDk>[{n̍Y٤`? jH6C@oܿk~*2m^;Ie6.(Ṕ Wz08ZDDz1% dN&(Cd+v9aILBYqv٢[ *jS]5:KI"=#!>OTiU9d1㟜ֶ]ʥibQX(f\z0pMN֒/?OýD#Vf /S|_!{6^;JryR`haۥNp.W(n?՗D+=,GdVaL-B2H"o00jKn)19h4γC+# ^~V3#:M-{UTDbyJ98q g4m74\ DRd:K@CM ]t)XBUsCn/[_5Y?>&z ,8C623T (aWsk 4r6︎ؑףGs}e9, \a_,V0-Cj^F|ݳ yPAe<($|3.,VJ#x}#EyO z-\JO-C0m2JubK_f"xP(7[M-S96=놝VP@|!])ZGJ koz>y޹a$5!23vRwwBEu^R $+kCgOCnVMm%hjUNA:qG.Vc@C]"~ +<5{jnCR(|f.}KPxJ^e &sɂ(|>O$^yCKВpNh>LFMbe>ۧVc xTbFKHg\ V QKj?c.=SHN9 y)$'DOD:F/vC,o[2e)* o2>z5фcqO拋][[x8 7z  {k[TDb(:<Ч'O=so&m VhW? U|QRŁ;uHIZxdeko3(WkR!eCE%Q6T]K KpKdj u'[89lnf:hlשFc]Q+dTsczmɗn' "f nc\7?NiՔJv?[4Gwjᩯ޹@\o*KU{U=Ng)t2.PU98iIg"<a%}CH6 nTF#9\ Ƌ?$vNg3щpC/7νvo`{O;;InWD:, 6]"wjG[©P`g55i^*O2$v|cCdkޙLT[:R7iSΉ ~VQ$D+F1:Oa4J3x7hy?Ӵ( iPk7npVhoKԙ}U A-ۓh'` ԣӱ}hjD 6gT 6 l+9]]pԝ'k鴮F3՝w,-%4!m}5@mV_l3?y#|^F]v$c#y3Bg-9ӮimbMtBUeۭPQ ڵSjך#2x<Xqݰ*MwÄh̀ۖnE]=J@M{$,-b<[juZ]vMb;\ڭnX"!_aW*D 6C~(0-l@{Z6 8)n 6H<L]l˖_e}-~l: WF(4WIwT eأ2QݦW2t.ĝG9&cZ͙͝ =ٱBccָɕ|y|L*Ė,뙪QN3e$lo*FLoGVq  ;P?Pc">~}uW_vqkEvbEk(`YQ4tIdza,J[ -AW ;|Q  d Nqa r盆w^7V65 {:tweK ݕb-T 9}L{NGknZ-&|Ebt0Gɵ*X,ۧq۹Q%p=|TƂ$5+.ONMqq7TR>vt6 6J Gq*M1gmo_YQp`p`,MPuS`w fPϧQK+6(y҃#%liv jV%#*_ E`&5߶ Eh]d5cTrK" no "2u =+`w} #>PdG =ez <\àK*['Lv @ZϖscӠ` ϽAb†=R_SHe:*i0bC"D×p&(nɗhmFٔ i?x]DN\colu-:Sn>\=={M$jXl~)=YaQ+n-y9qYq!Ytvɬ01Ak oLN g^Li^sQ%2ڐEvfgⓇ g.*2ܭɧ . ~ULLcP Adbڥpl?7ێjOD4u:IIxA.diy~6I+pkg W/AԄlpU҄t W89&꣍>}pa^h(F ݍ& N|`FSsFsBza%צu~[.1̎t߃u[)&b@z%X?OUo$Ǟ BAeƸ޽ODh{kp)iԂ;ۊw1L:S9c_NROElleI3WƦM|3G zC/8EE،X9 ?EiY|eoCks* ъVu@/hy8(s$JYXPd&Bry, ̣.gb2CXY(6-0< HMw: Z} =@ǎ#xRCCUr׹ ,UI!f -)AoY^ۓY ;NC|y7zKW;9 oа̛{$$8zB;C׮9;.~ZŃp[&צ"S gųu;u&YLMg#foW1A'U28SU21IdnR7[ϻ *kߊ\56N2Щ.hu+pI)jltwƓ&9Ԓn65d96b}x͗ˡii|Ub6F crAa-Zauw}5wFgBd=d{"g?X"8am~ o2n/>]=}1!R߂e1Lnb s}aysiVY<1r*-#宓><z w(돖4FO}rW ԅFsfG%a`rttLaZq i\a$~޳'&TR%k>hݯ{-ҫT)^hBюeE y1<"tf'KM0B+/f"LPRio'/@RephKDZ -fvI}0 } HB'B]]_]e_.>媏bbs&F8!+JuXnL O~7+ARDqE՝׍RGT&. / ݆QI&'B)Q@osΚlB% @ NVv}v &e nCSWh),Ybh973\U&"a Waߏ 5ƲuR1В}gSKϽޖ ncHJzPA|Hmk52R'-W~2zƌ'3gYZ589fc44b08e1ed58bdfcc5b23001e9b4b14dec8a7f68df39d7677ebb1c7922c484946a4eec76dd1b8c8cec28796bd1a476197b2e7b7f5d018dfc7bd4