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 |%|LL ]/]HOL-Analysis:threads=6elapsed=322.339cpu=1671.028gc=93.236factor=5.187zXZִF! Q5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/DLn)Қ-Z_ @hR1XR{E`#A(Яz="{:O=B21gp Dø6eX}-(J\2~l &[޾#JlDŒ˕wo|oD@8B2MbYMk93~{X V⼚{O}o]yR˭4tJ!ߠ:Ů\]NxiD \M9e6n}Uh[ 4deH}R5 ~pׁ'Z*49aB 9; 6f%M,!N#x']$:?:=j絇&Ǚy:;&_s8hBhwmX$R`oُLbO3דQs߻x{35T?kg}#S(7ϖP+Zp/1Y+[PzB3VWzz5whoP,0P,~Yr|\8<ά+|?GIE*ƕr/p+"G˯֠Xf֠sTso :Ju5\ b=~L#PIn쀌s1V85]!_1+s!Tn`YAL*ONy7]4nq5SY6nV1# |&ԓaq[9+iH8p+p U)'8ֱ:qAi΍)BID&ޱQlS}Vd@N]qt`~EE ث8gV AA\['.3-u p5a3Hl 8#_H!Q6SA?Qu$/iW,g6y"wACJuv|P;!%4z"Kj)b^ϥ0Qs&% "l2>`Z<`|RRGT'6QqF. ./)j'+r_;_ k3LWs48;^DFy:C% ثm4AC?J!9h, Fgߧg7<֜^eY9 ?u kKp&N zef)\`JgC糨 'Xp80d90t(Bb;?b= e)H^9<灖pGKb (SvN:ZVgW΀a!ЃO'@%N9ʇ8tQ 5: ,a>+嶄eƄ~a;ہ  u$ѻKH%-JUY $+/5ū,[㋿v(fX".i'',˨InnUWdk+&qaӢVΌ(g{ξ-GMl )fEK4~ p1F>\ˉFaې j|so&Ø8~IV P P]kP`mh䣓X o)4{Dn+6|ze 9_j hJ&I^kj?FǏنnj̸Cb<8 YO/h-Vq=?'P:h2{- WT]fV5\,]BGJdSLfvtz 18׼P/V,Bm6| ޯ&#yr0?umA9RMoȬyFSgb?L*1hRꕲw)ܳ ![Chƃ"363~Lg+XI.GYڽ)HzS D4[ wjYQ-}Ҫ3i^*ȃplxWA!gF^qGe!x]+ @1}4)oX7p{_x4En{猭D%DǾI|%?MmI58eXA|RYk4%5JA~^=Hs8?+!QaQ_[m9I7&=CR+Pa|৲<*yIWSH Ý}<L&,( `e"]8$ ̍]xZPq#*Dgcea$`[) I,XY%QC~{pᗱ&{=+V! DWP7jvτ)w/51(Q|mդd]h>5-fh"N >J-%ɬI,eWo'KZFO[amT ՛IŚ % HOL-Analysis  ughT#",D-5pU~ ϟQp6ﳗK Fn6Ә( {nI !ΒqzpyhІw/Qs3 Gt%ͳNщIer[؊<əl@r^#,βM@ƙByO-+j ӍEs_ 40 p0y:R8bxG :?*hu-"du"ÜO_iia"Cy,Y6gɦל'q@ XvEg R* H.?m"!~)_k lg8_IjsB֎ ["?mn1P̊lxIɅ %Hīx;E%zHjZ&UG@g됏+HpM+ %ѝǼrxJx E gS%, >p (eU܆zL~8 yx7[J=O3T.[o=Md=P(Xdzߧ3[3 [seCV-e%T4X:1SݧI% c9vBn(>fVLלA7H¬$sמl(! akJCi{E}<}xxkHn"Y1TྒྷZ|[!`Off *f'{KH\%zUkW~xl|Rl)DD1B!,9<ڢ~1]tL#o=PLp1†Jݶ.c]NS7n)3KiqO^VA ^|NFzID\mXX݋YE:&;znzϸǻCvEdmno4Eypfe ~WUXp]I7J|L%ÏrL OB9J-x=P@;Z heP7!6gn(isiul4yqNIm8s)TP=OF"'Mf4m޾6f{ ԼX suAw!^kK uQŤT82 k7No^ )˥(',A?.,6;p֑3 m?AShKQ¤/H˺m4i11-tv-7KQk\ ku _e2?.FD+)"lqȡ"+CMya5A#w%-y ?vzVA uSp)㡅!<۞:6[|ԊJ\_;Kjl?1<1/2LUdWh=pwH1] M' \Lي=yߙúD= \氞G ϡܼW䷚|K` W޹zs!QМΥ؛b ;6r(ȌNKT{3=r""D2iRS.hs)=a]؁ˢhFMjJp05GMob}fJ%=.-Jn9cfŸTz M/@"uQZmoOʳF3˰?kQʅ 1(ZZ4Fv I}cmQ`8IY= uFZocC:9JxXѰuF+rih+(VYFEvRpAB hZI~jz֣ir#kҋ㳄S/vYGR?);a?$"ێ Ug vmaa}VA'b@}bi7W=RBҊ:^m>VRʓҺքz+h 1*RK:NqCR|5W~woYE$5pSU3Іyݯ:¹[iD;sK䂻i`IBx/ݨIE|V9Q|0?DHBxqeR[]O4LY$i!@H}B.藹ʧGo33-'qMBδ5L4`Ycz%"].i*ixe..~%m :mVp: .,FsUCiڴc~L4H|A&\$)QȀ/ph⁼ x\0}ÝT\LPi-2ČyOԾ:h[k2U;wE/n.zd5 -e9* d=4R4yD%3 .&[a}.2L0KT`wav{H'[5Gl(]Gfq&+փgBcD@7TΜAh !QH\ë_A%Ir&&YpV13{sCAb/]ȼ_ٵuoBLL,cCcj]rVDWI~$sC ЩjZM G.l-ʝiT7y!L{g}0Ω` rfCCAsXۚU=aZtܳtNi?XUDxMӷyqȝ!7;Y^ mi:. ˰RX8 1dg)My}]9|qFxL&NEDuG˺3H`ߺe%^K\SѐL 9%l{,B6"ּoX%d/yN5u&ȶmɋWB.8sX?ff;w2HAd.D79xT-,0"UK-6%zVVK!Be&&Ld/vWzYz8UҎH2;^('rZTXW@*2~yl Ǜ9ݑא# paOt9]-.QZwqMj6\_K iph $ʙ;M  GB`c zo 2 {SmW:lh-4VYrrGAߡK^Ǯ'7{=#Ҷ,Ăv2/ezzVhF_߷9ՙGC'B3Ga/ ͷAX[@d@uI) >\6@̉Æ$[hѥ` z hi2vKLDq](4@Y.߃ـ=-1o3{gp;CY<2n{}0c@?/Uw6X2 om;c|ݞb9MrXq[$/8&dy&$k8Y2LݰӍ8n6BsXIHF'2i3}^fI-KqD`B(zńiYs O58IfR^"İTl᪹9KT6T:;$֩4m=189HT>Y3- +Ld}o{bg+53i~W<2H)9fԘ|!o Tg:.wjPH{B1oL9 . j R$E%FL&hj L:|I ^]ļӢœI9SIK S=fd^ʁ#>æʿ }8ծw'=J/$نagiwHyLko?i:ɒ+fԬ$B>$H}K|R6XGk~NWqPV:yw!j.|sdE`3m*gZCnaĕ$&S/dGO>cCc䔫:G \IE‰<{;UX)f=Aq t~tiETr&+a7n_Ԧ<;X\ċ>ܖk$ݥHAٙOn|,5$dOneAyd&)JR-,u}AwQ26B~}7";Y< +' 0DmQ RWվ=Ow&[v7ilӟ|>FDa8K#g2᏾  rTw@QBg/nGg̨ Т_b _1S Y-0gsN99Z?{ +}ҽNmn8"yO_u.靖ڊTcvqA/fT)TuS\'PcEwlF>QB Ѭ(X߈4=ЍGť8 eBK ,0 4nDo)1aoBz^qA͵H;LܡkWћS|u|pBgZ<o\Qk#(6֜YjL oSmwK$}1@x$s])9rFT1zaxYê^cz2zgmH2RGMSr)o(+O40衜Mkm-7/ &}*`,a'#4sJ+62ZOF [ZZ=rbj,NrGJs5Ufcqze*ę2q( b ZUX-s (Vwir$buݦ_;s7V!~ >OѾ4::Q6)HPA՚}u!A(E2Cs)U*&N`vּf 2c?T}D5[Y-CՆ^ [b{%3{Yߑ\!I=mhQC R @2'RgS|EmƥsQln}KX GD_m|ɯ;kC^67)?h'%T?3#>:)z5xhqtz\B%ELM)~0ݐr2:sb+NYع Me<*3Yǹ*ŷf9L$/Ŝ.˘P6;+i,xrr7RS5M$ Vo 8tm$JV7q^~n#/w-Ty? )/aTd+KuӐ돰_+kSjBSC m#}pf Ro/=c rvZSp@Y\{'tFތuË%RJ i2s=sB  w au7%Hϗgv(aCa? AA\%(Z"vѕfQk ]^Dف3O;RoRqИ&W Tg׋gXj졼<,lw/ (Duw=r [}Uc"iy?#X.gۮ4d (̸aPJ!=5p%):7ki;yO߉:)4:MūAJ̢GeӾ!8)aAKvE_t]b3Pz!?%%>b^`.~yt.&KX2=" '9*vW1_ 펎,6ZSyw*q #LZ<< )Lbb[XY늦$Bu4i/׻X bƮG+M`4yȗm֔Q mh94*Ӷ 2N&D._ X-7U'<*Ku{ԙ4 ^Wbga<-qGRgt* 8RUs68%*v2dxB\8Tr8VW!O1x=~Z` ƃ@-wi\e|=I=u{B+iCX *$BǴ'RppQXl'i^.ø{^˨nF(gpfvJ.o&$JGz^ N ]&sԠ(U#E@O溏s9 \LyGS:p-)Qi56fςt޻rSEk )@\D 2'6;Dx|?OjKEli6H`յ.%0?$P\hWb)?9p4T~3s4_6hEmMkCTD;H}n.C6cX:,?/"|[CDt.H)F"#_`Q+eð{x4kkv[82z~U=4ˤevxXca0:g4Yɩ4m^v۪Iy j,,`Yei7'k+JpXzm$-u%[W_' iPvFԬEqu Zڮ'[*M[l[NUI}g~ir%mG-87>]7n1~ԫ2mi7Ď ]oC8_R.ͲuG8`fUT,֚$ͥ"sM<ш2I жA\iIWv^eב ‹:.1dZ1>O 鞮{mлlb>z9Ta"Ei|Jo6w0b، sFw.9&]`OK,qM.1EoC7cšxbXjgءR[tw,z NiXv XWa%AE~ sM<8L,Ő>} mǮtS=r$^h-\T"~_dOـ)J]W*'Gj N&T0X~d\T{m1!c9axFth-kdD < v6X7`D=@0!UZ70H Clᇫ2wqq;ؗ5Y~6Vca>2^'/,}?8RK)\aa9 hgAGQ{"4~u }ly[H&˖ndQ.])R|OvO;h=.4 feٕw֥&Wof@1D οZ. u%ZVܙEe]]Ye%HiG"l/zS39z +CHִYLTcw.Rs֑6)HhPf˲CuBǨ0%(Vb.[1S=O[0q$i ͧc;z(lEkng%#Ǭ pq nR5MR4u~%&4l@LyAěz=0Bx B{qN?)IkHg`/%cPօ0XZE"w4H1[`6!N,^ .%ȌZM Z-~B^ ?qtI"ݻ+ؚ.);#kE8q>ZĴ`¨#LT]踇C55c#lDI@|B;:8읭˪huKkL\O"굜t2uIyG'ܜD\װWGo.?yF>4Q;3}sxvxr-jxnW$gըbR"MiBeB͗gwA ݜݎƵES,8"*oq՛8! .ꏯ&#6(#M9>`剖 :4wH*Geqq֕P͊!6u~}`d‘cQ= {](ȸj!CEBN躳oK е?o^ hU(ޜ'm/mIh,+ A _$'$Hzgdf)@U\2ng)630#)DTsKZq|1iY`,"v.3/"ӖQr.cNfrEVO`v|/punm #)D,Jٽ#= P2ǦxF951Qh(;+ E!:]SڀonYSJ.:{Ft4J)+n7%տR,k 䓔![W:+`sDnQTpn N 5w;}ܻ,p1*sG$K`Sl01$5:~ȧ3i1J- w's "GӵRn*u}^(;$uiu%yto~tЁw7O-]dTE`p s17 _k-WqN}~DҾI4sI1И,,6yfp@ru;WkF h7-X)I-= : ^]Lh! J1z Wa9#?QRJ2=+w ݿf1Fee%'4sztY?Ggh}HF"qיChe_9lto8YC ,I*0 8_vBz%()@&:NtҷyLЊ̷g!ROMGq_kT?A'VP, IGvTrSJG|>ɾ& U\I,]FU>L D UIϘ'2#W%w;$  ])3xgl~Z䌲5L%:(p{GEtVN\Þ` 3R{%^X;b$G~vA#"Ģ;07HO~d ;O0'Cl4>0܍=Më!(DW`ߓ8I7 cI,fn"m9Nv<sCZHfw>nN¦(n;I$v2]#?(dyBG Uރ6I[OU<(A`S,ѭؚG߅4y9_ őڿJ#--tUeav\[9"8=xO':~_ .|!QсW4ԑX`0PGE;*(Hʧtnrݪ,U˥Q 6Aޘe(l߄2T%%tXUr>@5r}iud9vs`G_Scl$ʗvR?ԕQ*AqZ %PVf7mʷըvB.wPn̲:hdYLA| iGtywPmνVkW6\}a$!$Aoł .ؤSh"'Hz/h]8 m#zJN4Jє/Ԗ?wnNccצ40}l?scN?@/ٮ}D IsoJO iHfit;Fidӱ{ajp@N=c~-PwnUL Vuaa.}dBaPgh<4-OEQ3 W K&] ٪"rȐzNg *b>+po8 vfCx$<B$IWn;ON"yHZ,kLY |lM=B?|OϋK2,a177hXH&>H6✮4# lC -@b._WU8]- J99IӶdQ^um ' ^wift\ r8hI; #q>#fY171؈U۾l;cuArْaCyE&5\lF<_)?gƧvw 3Z\rʡ=Tہwy9TB::i|O ;7ueO: z@GqJ5]/S?qv4 v{Dsmr:UUUȨ' /UDs AU ;{C4mT8jcO`lI7MܗǏ!Du>Ap1͛1;ý{޿g209Z,ܩmӱvsݸI^.#p 4.1g`ܥoFݕLSm7AOVЙ 4+29yjWRwHZ@>ᾓ+BoО-д/^)w&``ver"QqM9( yS 'nfA}-c?u/+yJ#o|[j(rp8Wpq@ 7;VSnρU!u-n  sWv^3djړ'ǔw%xE(\L.+&=QUUT"wD>M?8 8-9W U|cqu¦GnWzږm&K^`t# ݝ{^?#)pш"@~'R뽲 ssX%q転jw(*e/5j Tqd뀓OzbLu^y6LH JS0Ʈ5=VN6Y>nH?Fs0<0P;{}Nrxhx{zRg}՘R'?2`{Ž8,ԦlnԗŸ7iy:=WMFK[6Xƒ4dNZ2X $ܪhX(uD؈ܤH3!= SSmA-@>gr<&B=nA޹ȃ k1Uu;P\5Լ͏];#y'ۂ w[%ѴD}hlدo7o{t'kAՍF y KGB: oh6uxS`gRyQ dK!KM'Gϯ2}(dD3.ZǖhR2TpS ;q դ{Ξ(s]e*L4N,fZmˤ nUnh7V( 骣-3w2S=.dq4{Sr' `@Q%il@8rq̈́m΀of2jZXydaMY؁]chXnV%QN(yO1| ɪT-$ep u?#€l -Ͻz`bOˠҳRJm?3DjM`+JETJw6ƹvFiP b.ڵ=-'(9ʟg^ i˫"k6b'Ӣi[ȹLmr"F0LJg pmx9>"玎+)H!>Mgћ&Oy#wi~mPߴa:扙#4 SIet* SY&SNjQVĒhЃW^$;pFӅ}x x{ z{iXkmo罛u9ɶJ1.LRc5VloŎvV2!grh,cMN+=3pyzb0X >R˧4!᭺N6ܜHpءz,RX6&ϒ$‰Yg,܎+L_f =汔xaQv{836h27*@5݁$0D[W*yէeJy:ϦRaZ۴Dx wial&PRs3tt[F1 /"&i.խ!̑K4 Q U+!!o1̛8|ȷ+MlW8N`})S cn|m9ԭڡΙB l;7A$P:E+ѢȗpvogYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4R Y:[TvBk[_u{:#0T.$&w:!O1x?6+ʏMAd[-h'GDj(waJ@'ak|03Ǽ!6[F=zmTZ+( ϫ5i褐!B)[F4P+(Tc}!J%t̪K35V#ԮIW*!4?HSӧYJyD}{.+8+?3dS叕N҂;%`3lMۄ3dX " #RȉP.De8^mT% 1Xi!8S=c 8FF.gyQs*cX7hh0=ka-쌅D WmV?n.m\ŗ0Y;rZBh6qG y6\86Fdjti]9/ɸWgA!- aRP,S˹l@Ρu ``Y<4ORtaӕ[|yj4=o2A#X.> ]xl1Q).n9J T |97IZ*2qmΑNBoqǦa.#,2:e>mQO/fMe~Tl[d}Sa3 Dr { A* >}ӠSP8?&!}MΧFzԐ PŗBe%|` xk|Sb3p> LR#LM,zINŅX$_)|a7k\xyqV }MJ*`i<@ LY)jԹwr#-HogmVq'nF:q|O%<۩P瓈 zh6c*>k @;WMBN D˿P|g*D,str_OH6HH(J\ȧb;REHGC%\`2<y@6WCx2wyT-Ɩv"' r~VqZ NOOeHfYLz|VPX;蔏{H]DOXO[ܪ}RClZ&RFn? u:fRP u-]E}56ж]uxu\ֱt%kYCGN|w2qԆO̲ZX#Kw;uXX^.ae5Sڊ35u;Ys̊]gbpj2y( du NFPqjq w+҇<ءn5(}&;:PſOJoeH0<  c=qǁyºEk$qw8 Aq7-& ; K w7;AR\<q?5(͕ŪVc\GVpP^ FaabC-WiqJCʬ6}xKKe KZ =y$>Zܝf8^?tVv'cHeؽqy Pz3`!S|ůb?]p?'E}2)L-x`f] *V;I8 ¢G^`i6Rw#}U3&UP6'0Ϩ(]1l/f+SS684]XbDg% k@t6ΰ6}NE ݾ\tJ ?N{"6`H1&jgBFMuuѸ寑ݩ+&Cq X'}e//j ̥pS&ۨ2N 'פ (h`sD*]3~1W 6Ў]>>L2F] o6dR~"&Wǐ+7jrXM4fWs? FƂ"6K*:;h!_w_+eO~ۢ˭Q%7GUpg.҇s{@a B G2a"ԗJ NH`DJMWN]A haXË˰\;z}ApLu I ryC[/!!*k{8 ;聂tPSJgYZ7zXZִF! fn]ŗXi%J>XFh'4$ܟQ+Yh#E7)e9z:^<[)VX@J;;\@vo |[O=퇯zE|ǣLrWvѧɱVI-/x&N';hJ  ~iFl^}B1k90E^2#>(~/#cUq]g$N|~>Ql4^yQ#Io. ,.iF3}{eNc'kF[a5u|6đra`JZ~gܡrcݬ1#%!HeRe"Qq-< &HVV*{GWRS{7x#&_؃bH*b{+eŮ}ﭴډKwQOy<`CwI@HO(Ǹ4% h4G>BVѪd[?(DkєbZ@!b}@FK?!s_8 ü}WڲRlt|J 7ѶzB3z\7+/54ަ[-u\zĜHrz%9:L+16VyN&hًop=@v;B{ wRX#kȟ7W`Z+yI0S0%gJ#@o]q؉Qyv8pz%8O%s̛05`w)'zÍU\㽟S:hr 8q Hߓij=Nᄋ}'FlhbCE{+yQ+mQ$Ҥ|sE##2]|qHOܓIIU)fW߉t+<. 4I].CSt|Ef kdϢ=2*.}%R9mӿ,yE, *%Dt)9 1MLɼ\l(C \&J@Ĉ]pj/$UUTTnj)n-R29ReRWtlMM-Fޢp'PM -4>HϻRke<.;HwL ,,%6ddSk{Xny"d^$7}G.raߠ1'1LS nH~T ؜xzu{*JJm9_ftJ.jyZ>0rQJ"6ً˾%C*0u>V') C^f8A!Ps %fIwwWB#9F+t)pjdV .?)6_Jw+@+"sR_{Vbe#+A?5S+憝=XXaf!T$=dGT-'Ӌ({P5`S1bikb^hL5HN2ؠ}bm^ )l!GBvm6[77fK'8>MSC7uφRsZא9o@#Mp'񓜬!vj`͂r(c3юlR /*0w]ݦY:ym.&;Q"lAl= +ha4Uf^DGZ谖~qsnh9˻Ȅ)  f9Ι"BL0 ma%H",`%OɃң@8tz@yބ<&CoE< QmQ 4.Qλ!M:cG$1/?ő党@|GL B H:ЀJȿ$?͛+i~*R-JvtΏXe> I4 U K4Хco+;^x[1E> T5e{CH O313ǵy)/@] a][،No7 ~ǿDFn2+/(FfX+ g/?P ˔K!z;yz(mg<,SB3.LRg5cױQ$Džـ ~`D(gUTsacO >y5[YЬEW~$CUwq JRKLju=4 R6Ŀ`ٗ#|9vzYYɜKL|N>4)rkerFdE#!mWm;X[D+<{"#D7=J1[b['hyf̔kjI:{ӈcv2we+ sw ӭ@ް!ϏLevh;iaxq+'o3+v-nXiL93L'^o{t0ܙ:xTA ̧ )]@qYzUmvd8b .-)&8-TVW?Y>6"ч (1>Q󘷷0֒rӐ~r'Y%NG=&~\_82kxEH`m«Nn4pS} ĵG̻YFiUUwh/+9W ]f9^*e4nC?G~xG3A~V6CC˟A2*~گtSzQ۸rn}k]З7=bg IR+B 4*>Ք5ΐ wLtsxCEljC6ċ/Gt;ae'Jٖ)=\P4yG=ذOD#hbƑ^8Y%Үl5r>=N yUF=KOn*yM!%h 7H F:{12 dzӛe"i) ȡstoR:ӅxbrpÆiT+7Opy˕T߳ 2R,t%)Ɲ~Tcr-eGO+c maZdD({[3)`#D+` 1+D Ys k:ޗJ_oE~cO⪔0޵ _^τcmd&Yz{@Tm3CZS1]ew kUʚ6E a*C!X|M߸5_ox$+Q/tߎWh Jé pXWɺ}{f)Q+\[,J8ݭTNq/qSLtC"1餢2C gՍLo|ytсЭ+#ԈΒ^{ ]ŀC8/0Az0n˶i֘f2FTH3]\C0+++!Ba(X$82[y:\56t?h+_bi)3XdKvvv3+ $)8ނJA%fb<9 =mms m&/2ƱY454(xJm;ڬ9'0譮L%%j(<f&ZX w`mC"ä!v>R04n?Mx>8QYi rmp8j>#Ap=䦭8d4&)7C5?H)@$ )m˅Ud] bO PEk]Xq܋|:t9_okǪUNw&𬪥\e^^-Z ׬Kbnҙ{ٴ$+ȭwH#y((& W®rzh XxCi=:T$j/P) ]V>| N5EdNBQe,oҙA3 P ](zdЋ ٝڒm7xLb ӗYVMcSfvI\L3b^*'s˹;O>r} Q1zv j\ߤkP,& P-a  ^&<]Ϧml9+|ݛP y{ 2Uk\lW8A3顥+k>AW#scE/Gokv d"jQ &G9 JOh9 ͟d6+?B2c󅧢{u>y[a!SK6k4Gz!~at2y:flrS^a*>TXCz@!D GxUսVC2-<̹⻗D!co~hoXA#)"Ojg66`/KEp| +WCK fY}~YMh<\OP%gW)^aj,<[h^8\an<O5iS Y' Zm% /W*oRFm8WYakA\*~sxOO$&a'fjand)ޜU@㱻Ͷ͓r>TcukuyL[f%(FVkD p@7W )Iy. ,~0򧸰pTJըNũI#~-mP dXMyVPZ!S% ul w e y5BO8Bt?X_L@Ag,L<+Z *nH2tӨ$!)E˘&9"#E{v8y|߮"Ȇ39;A؞edi`(~!C9u?UtNE:AVh*o $L!zjļcZ$J!쨌L<Y-fhgkfMP ƛ/.SxNl/)S/ު K12d<$MGx HI[΋hsVb( 0pQȯHM)o5@X_ڒSTrQA0~K1a44W6uj!$7{јg芾XYe $J !oUU棼L[B#!P,.8pIĒӹ-ذƻ&g63Q94SKߢnEe(r<8( >h<5jTDFj7'tN+IB<.::;okcfwE[֬1UZ#ܛZV%W)lT>g(@IZT9%q3@<މkIoOkvKЈ> dM|O<עo$rQ T^%/=ZjZO5&M^U\-maE|uc_W&" 7Z?pդNB7,%{uE&k%p#aR Nt5)kJo|$DrLtSeC݀>0rZq#/y/>@?x~CPnL4.&7o(áqb$y>6!SF`E3Yyוdhxvg+-)BFRZx7|2gөJ&"o1GܲP&'*9Zb_`ʗ&9F, ^ӞOQ !AW.˽a ZɈ,L3OmD[UD6 j+-*E{ZL^eS`9wSJ;v |ڎ-y&>'&?k> i Ev 64F \2$<%7^;?ƳnHK? >E9l_$|[D|sPf.X=/O mo,W?#=ݙeؾjY]}Tg6YŁ~ VpE,}9\gB?a?)$)OChRеkd }2b*!/1̣iRշ0˩b( /{@ NXs,wilEbg2X4Cg<"k)En1ln zv9 N֬T5{0Sxe ^(dDXnXN%Uכ 3D/4f eW_u8qƆD(5Puq?*,RJj< NCʋ%x?bI3hNgՓD-dVp!Zh=x PI.!Fc*zv ÊaVbmiBQ!9T9u5PiO.n./Pܵm\&v$Q9y^o\?/@hWV0y\tt7񚄳;U5ThE2$GD+/@%g O+ fkT49tQͯPԣz)^:~J0@LKٽFԟIdV;"|u?#'VGLZ 3Pk>pzx< Xz4ɛ{Զ[z^Wmre)>^+E2[ _ D,PVh.J9on|Ll2Dü3 Aάs5i4 ek{pSw #mqѝ Ҏ5ESC1ƽ7׷CM-2ck0UkwpA))S L3V]?:ŠT a7]7|dAGU4\]vt&Bj8Obј-8ʡ#:_V,ɾ]?_MMYXDɲBѥ0y}3?a'Lo8**f\~'!wf8!xv*ҕ+9cdcRuVOKffg׃53f7sN%cry9ʶMnNzܚs~&ߏ霢 35!&GoG@ ؂We42ؒ+GT 0??z< oԓw[.,8}UE(l7 Vt9i"٧, $(jnÃ!ؗ%;сʯ"GT }գ;B29yї?S>xJrQ7]nrӸaޗ Mz2w$1 G})c(_ޭ1ز8I(%Ŕ3s=wteZTxܰN>,ńoی̥z`n ; h2(uoQ`'|P؆3 *RT% qdk-bϸ%TAqsvRIpc 8s(sNnVtIxa$u!Op, `@ Ϝ)b2Ny6O_"{vR`W{ uU̪۰ *g8Mb{#,{%Q(}ۄԍr7 ݅Bv*[$X09~PM 4tjW%\&D@rAu!#g^k#t%Z/GKwv,|v)S٠3ڞqatTdG0yL<6ژvK{L^~bu+m_xx_ktjʖ݆]K%[TV NgtQ4d^ O$zt]TgwwcaK\: "$ȣ9U@!Nbrd3L%Ix| >^x@8ݦ:U`JF=`2^^7\c,sтa@2yp]@1{$S eVݙSIAZKEkҀiIsBg:.B씋0eYJ :*Jh/n ;͕m?>>*~εjMϿR;!fd&$n &iN7輻PZ!TK̵,?I U_Fir}ls韄%< T4o _F8{+@MOdfsb<8<}M=_hˊOcHiS_rR8'U۫w1WM9_ grz!A7<&ntEbUx lL=kLEezBWe(J$m*g(v {_\VlLY)GHt=ٌ6*_μjȃkxضLz;.}7vmUx#CP/J2ͱkwm:9 K<(m&ONqtC$.cBVK؁ne?͟DuZCp*Y%69O:1~fȸ'-Sam8.Zc5*9UΘ"Xbȕ޴*TA [pZR S Fh)>{k0Rkq6K@GN2o _*8&5yR>DKJ: `YxM/j-#OaΚ OPX'DĔP'ȯC$,guoAA!9N+ ٕ{X'seѻ(Ind$/Kԗ+92! nN'R'Ԉ'A wS>WKw8\XNdϿL|Y8&e˿V\KݲX?@s4 {Qs= U]&: `\s?n$ +!,T07Kڐ~Im'M!esS"*Ir M ׫*k֨vخxa4L*0^OF\?޳k 2<S;TBV\ i쉍 N='#1 7QyB)0Vm$f7XZΫxp T~8K"hݢ#(`H"5vDL纯uC sj `3?F~/ZY`kbwQEu&D3^2$ i ,*-T5[ǜ\K@tP:^9vR*Kp4] tGT_@Mډ[QpO6 &` ӛ,#B=tN = 7O^ ~:]/DRb ֫5^õ?no,#_;&|ŋ]ݡqf*5S@ߔhMAP+Ej)rWhQ%Ib |u]l|y q`8 6vE9FݑK& e/m?ԴC[6tckWٖuvBK+Sp}"l-d8XGm_(vFirJ3\^ҩ5 2DvW0Zߩ@LpH 褼t%^XW[ 6 ɷ: d\ t5Dqd+`ڢq;5Ta#j#{X7M7\DW 1~[o$mHݣ!,n9،eJGJt:r7q<{yC6GL r Z6kŻy'uAgGEݔ^${<iy6c/CVϊs0>2fSNkQ0 cb~YB>%JHZFӄGjh爲uRuRMv nbK\Uys)8Ȑ^2!,ɠVzn0>ai qxk A۶Fw3uػC2 ź]EIu'0~A͕ ὀ/nsyxႭW<;A视!L{NBOg9D4Jư/$ݾF@bg[M 92_:ȟVیaWӚ<)-_? .rs R`Y>yl n}3lD۠,N AZR)̫K]MlĹyJ * H*ǥAPf)b}Ƒc,ôCy K} laZ@ 3 Ȅ˳`ǃ)cI*;Ny|x]YZeIl'~ֹL<$T] @[$ hPg Y jYNhB!(W  FC$1VoxC^2^v\D1ihs$2arQD@$'le^zJb|+}g%zKG-t҈nor(3; rI藬Ty.g6B~CN/sڑ9Ub_[&CXP"J (Z^"ٸ2(*BՏKnĨ4QXYQowMMҘ[j3=DED 4ѧ)3:.? #NEʭoh??EƠw4HVX}L@,a 5m;;Nt#A+:_?sTռ֫o2D< 1IFR[-^H@X/\^f0%/<1nWE;tq#0$GKT"g'"_pyf^{ӐH@(2T2ˀGqfKr6ȩEyP-֮j/d&}}H1Fp9jryjZKb~CٮI*I"u+@MjD# Tc !_=l}or'EzFXz6mS>@i-eg>]ԷC[7:O;~}g'oIpAW=K#bz2RD)0T]L16,}֍l3!IBޔu#d MGx7LA1[3uL'j_Q6C %9M敛EC!%\LՒЃjb*zX;N95ibre2?(}FEpK_Ѕo$?Z LQs<?G"g3` 7~:C$N^cٺ[Qq9xYH/s5`-KݐⷆZ N˜K3cLjwtO_R'%ؾgO]` cƱG}/EWdQt3fMC9dPXxEZ#I YDK%Xф M5H(iԦ8 ,@w5< zr"?1LJW\=wj.qt'VI^%z:Ʈ\L=kl"y^?۲_-!DNMF0kԼ{y/40[3KV_Npᦢ ZFAIXʄI1 C$h9Fu̚(E',X*'ylT'ޠλB9p%Ҳ3I76FgV,0tmٖr!EsIoN07 8|0>Go=!;ʤDle9&,RUKZ^#Pupm2 x:-:{yZ9Я'D Hp4o-pӫ KqMդ2{]y)񄈷`#Cv '&22]<9bb`K!njA7xSHrcxHl9"2e S~ J[y%̡D~:>P ߉/W̿9jȵJ1Dzfu{,ef i``oxϸez@l>[KDPu'wU^> *484p"6'bl(rOnFȥr:_'1LDlTEq,GsLU Ty8u^ٰTVQk #_~|֊͒iDVY'~Hs,G ^d;5pz͟",bx. .-e͕h<9MFL`24@KO1ς]Е$Ylī fó숛% oP,ܕOg-e tʨ_r/2PFlAAN$wZ߽_e0ko=Gƪ'J6yG[Ğ֞6¾=hP y0]ro-9q͔b~g4mOY=Pz,AݿcA8x+;OFѓ'Y)HXKd$/3daV4.y/u*4#u;3c;g"kf|~K;㈩R%:U )KF(CqWKFf)l ʰ/Lpгg7s,^*\떻\y~ʛ"Q?Nx=AoH=-z_Jl̢apg?{/PT+р>Jz+F^'Wp+[Ī"et{aŔ8 @T,V zXqC&L /˹ Ď1Cf B%@&SeS7RZFh(q ,N*'WomjR]ÃRDn Ag۪ % 9S)&'#U!@1B,砇,+;'8ΕiK0ӍLX.;ٹ$l溏0:]1եva#2vn4hw\8'gʛz4Αfqm>>w ?D9|Tl,_E D\4 UqLG_Pa~ {,에 0T,>jn$#xd.*݉ jJ=L0`KH*V@"2َfUhh+iö贼w"ƧFr~0.ta\9hw,5FGSoX;u)-Lqv}Z2ꄞuK$j.0SvW_[jaNv*3j<^d!#E4pҺÀ@g$IL[Y fT2޲྄fo?TNs9djEBr(HN'e[ =$:&{s ևeg*T08LTFޙ1(DdM*XݥR VNqVXvT7~\t 繼RA+7E!CZ?gp(L۝Ik)fDB7m׼¦>pDI4fpX`jJhX*54!I~<ѫ{:)f|0}͊" + 2熳*6q6 9~{!8 5@!I~I~% 諌KP͇sU鈘b(NTsSu_C퇭(wl-kjy$=mIJSS+z^OKW!oys1ou9!ߑ \V ǔy6g7_:L4~cy4~FN1/X… (xYt҇k<ʼn;WBS^} zA;Z mEU%İ[eRgoOc} h%+}8T餐& Jgkګ( ,B-":#L^EFpkk}Wă6iXjfD+ل w#ԅ6X#[sr;-6&~-X\gC)Rϕ9Z/L:%.s\0韁#|%L vma'а<>žjx30YCkU~"Ov5!XE@!6.2[(ҬM;sa;>ߩ=`dZ8K4i^VeH$AՌ߁edQU7LDžVHIg5J8*@y~6ub9&&N1.P\!9]b5e֒񮔠`B2T:4iZ2* ۄ .R*2Ȼ_@|%]HE cBuPPNڎm!٘ENCu[yȄV3$̢1jG5Hpw$ev` d/b<tU,G9qbCxʱ 5&7 /徯h87p OE!3HK±qn 2ׇĬPֽR&vf, 1kf9gڼ#@rEXZfV0q1NRT[~`G †JEJo9ՒO^F2&JZQBAߓ԰O?EY΁m5K^ z2$B `Ytڹ1xxKOtb!2]pvh2îݤ[4-<# AN*YȠdF~ȏݖZet;x.ÛzޮJ='N}słc\7[^>/үX3,LC"orGamx=j rBgII2+逷,$CV 9"IM=bN9%q!mIEI6n=һE3ErEfU1q ߞaEb#@TRQ5mz!Z^</ci >_@@n,yZ,7r*"ʙOt̰eܼk B@ݬ)@$'(cT\5T2Gmh$'p%@$.eZm948y0%=Xݒ :s=X\4f-|O4A} P2\Pl$H:Wda=p] i-&@F)xM! gx[`K'L s Gɠ-cqwtŹ.b~&MoKUo(Fǝ6*k5sb†Rl2f}u0S tx40sJ4.CT5pyN?oM/BgʎV}'r N! 2hH5WRъY-ǾN9duZ [Z%pkOq5UBڹSAZ$v\RT,]F_b{c":tmh#J,b M]B|)$U<Ւ4Cg@쿩ڍ&IVIwrz=7گ 큲Q sN^#k煐E6jRX?B~dֲi 1'意 t!4, ^ r.w8Q&>&50n)f IjɕeuX"H ̽kH3F'CyKF)XL{~40<A&e Q~xrk'^!q{(+ycme9<ޭ;6\uIΰpbK5>VboIP\0wTyXĈ%W }թO"(Ji);G8,/iDUJ9 Քp3YiJ]4ϧv?VNbhڰa`oEʙk2^hi93VM'dZ_O d:>~[ KAib/nUV^0G%ܰ#0 _7z7#͟eXV?R<2ow'Wy=#RWm OyuT "[G5&l Ywty H<}8h(,tR;zrMKU>"HO)28:ŎJԍ6n,¶,j}A^RKdշWq3?bm94~;(e/ gOc҄;9wr"/yh432yіQgu4|m|l1h5kP~Фlη{P/zsB 32$G*ɜTiߚw2I,޺J43zvY;}29%Iðw:86sK;:mmt?Z'IWYds:o8S:}mZy5!W%~Mi#c:7bocz4Iv:wO`>ƭ-!h#H"2 SV "Cv)7]:Sr.il:VS#?euv)ay~qZiA_o$Wwjjx5 =Aj2.W?<ex^=zc4+J. qltMM~ěʺAaXM{lzr_hP {!s LGZm[& -Xà{鴰ݤ?oH̯ WQLq"އEQ N'> .Ƀ *)yЩU[Hî&{( H$4(0磷_s纾쒐H ]DK0GQs.ba\d#1ԇĄ`泎 G?[;9"̍Ƣ nӬaܣ Ҷ޸}GUſR7|$>hzIAPd޾F"}N4C& =0e>_%ʒ/` D?3N%=}DIJ d39-H4+|@:͝'`B$iw|0֌n]e!#Fضۄŋ!3ҔU=oKJs"@A1U6ݗAg6y2J*".nNMiρa_>!`<d~)f`DiI.BjK1c}]g,ц" {7˙@L"Y$w2E,\,Wq=SŚ25Ǔm#be}]d2̡0m| W 'Z9f,\/y < SpͶa[>.HS4[UCɒ:PEP,99>X:\ݮo¡Q~ȋ5(lEGL]L\E;J;@ܦqٱW6Z$ᕘL&at܎H#RkX ֒g[$љvlFR(5>Ay]a;0r*f&fc –w̃k){rܚ 7J4ՙЄYYkZ m?>/O~?U_<;ݪ*WT]#mw(Y⣣]ډ0< V*f髕KbmI$%I{gΞp#Qgs|gV=&ƙ3ZU9 7*yCI:oģ/!γ@ K5&$#<0ő2]UF<c,7?3p )X;sgFsPBH ; }}ړXsK7Z" v- L'zVMs5C8MF7)>0rȖacJK+79K Is=[k 3B"NΎZj1"$im˜%߹NcFt6D^=ekIE_>; Eȵ2jz& za{OőG}5ܳ O,|?t?20JPoWLmm$E`0Ѝ(ie`IXWdvrd0 nE(1ڼ,Mm,Ps]*6cQ+z]aɆȂf4uDՉ5q;DʣUp=q ΆZcE¡iX#jX^nr, nà@Vaugwd VWOq86c0F'Jj{[!6En?# fOoPPERb= o?+݌cf潧J]EݮbrSm^{1=[atY9r Z|Y4G⣩;Q`r΍VZX)uL3{x L)Ж0$C=%GfS٤ J*$eڵKwp44P,Tu\wuQRf$K" h򱗿&tqR]"s7H(iOHTNw. zd9ww 묊iRܸ0aW<`>~oیB䨭ZY N{% uٸ;ޞ9t"|1e8 9cKؼbdFzfK5WiC'jjtӚ@߄?XsPƸMK6/Sלܽ}*~(5Ҩ۬bFmߗ.j++sKMF =dZrޜH=O]ʏ>|#Ss@&!Ϡ\Rs%zg 읣SֿF+*)`ŨyE9ORFym? + #@Q:JsE? !h}%(MA1 ++fh6;ybZ+]h T71fgd\q>;0m)qW n^ CֿMywc4J_x5dR?W!m"gN 8djKhzFc օ!؇qb:x;260z:~ga";ol,NRfi>∹}NFPqE1\,UV"zM#:= O[ s0t=es„qp&ĎX'gGi3Z)! n*}gE]'1o*oW}۟UU=H!M)UBh? XܒGRUzكrwʊ|nzP("`o=Nr` R2IromsWsQG3F4 MZ{}[%$Q-fD{:pNngC6{V VcIf1ɏ3sὒC.,vҜC|!5eM"Ϧd9㚵Ee01X"UV*w70KҪ -dյ_qe-mwr5Ɋm@j 3n0`|)tMt?0^j"CKT4C}O~W.Nxf*z6&L\K6f / ˙޵Sixl%HS}u{V ;'y-6X&4ҁ)QHACCnɶӹ.D2)xv,Jafu8g~H`UM<"7'`u0D ʍF&E y>O^lkiWUx5xH  /Ot(~7WjЖ)(J x$p #"Vˆ֓w>=!ڹʥ%bj~.} Aj+5DS] 潾}2:m#j=QØOB'(ץ[gb d7h,{_Ux6Ɛi=CnkH|G8 8 uڳw_3`0W- roJjOHՙ415m:g%#㥂+Qu}rAqQj`V c'ēȢ;@tc7+SXRQRAO͖ s7r4IIZo(5h1swFuk]3>S*X{Lh0\"ײGs F.W"M1MHztyq` HK .[5V P}2mA+ Ώ}À8Ng3r[IBkۃ.n\ыZTopSN9TaΚl{cj #:t2bas&+s Iɷ5wpov~= Oi:_QpO$RJ5y!2!ghlCw{? LJJK&Ӻ2>Ο~],F[0ze#daY:M0g o̤w\b u7ބS>K fiG`qg0tEMuړb>YǴiCE:t[6s^k;@DG-l@J<ӫMYST$I{̅bB36+&_C1^2.m5?c]%;mqȶ͆!GAWo1?khb͙憋ڵ^=bl\ Y֢/0Kiszw7lYPQ!L ؓsEv;jɂ3ɵ iP ZTwJBFx-k2Y3]e;~Θ\c9s_6cԶ#Q NbH"]3r|Tť龋=ASX0_0mAuu!霁2 -'j0rƘ#gYZ038bb0a1240e8a21f4ac631d0f2a8e248be9ae157a8e704ccea2b410d547e553bb494c61d99479c2 da57c5945db35fdf8ea8f0f69daec22595a3374688aeb00577203ab1237381d0c3bac819a0eb971d