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  u'4d, ]w]CAVA_Automata:threads=4elapsed=94.352cpu=149.828gc=6.076factor=1.597zXZִF! d@]ŗXiɟH)0%o1!.dM<2DzkueL(N,[I欩"**|_-2M8}-&\هSӠA_P{, =oJBH큺>4qr`s.3 p+#jX~,%&.- e=c7_Vr`O${gl!=>A~hv:n~S >pڞ#OfW݅ZT4.{R|x Xy]m;ݭrzq!Z1|jY^ƆpQ;rnWdJ{m>.'ѕyoZߪ]`GA.FxQ] D6 #kfTABtQ~LT(0 N݈egvq'zᗢgω |64tm]~GX&hh^gP3 H2$cծ3"[8\WjRh8d]~/ξ˨>+l{[Qz21Z&L8JV(+E)ܬV1,A-/D$Ã5x:f͡@\ םzԚN@m.4-7os1hs6RZ} 7~:^&WbGyWyqa\v1X=l5xpaMW (nlp}8;yF OA+B쀡\$|AP'vJO,-bԨ*׶6CF3HKxJƝ _D9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%+EW8rRoqF|ck!9))V8 e7DvWC{Za0.Ʈ=/ŝQtFsIkgߟ8cPyvȈrXNΟ2]ސ^yDio_KOɞ_Gs9iD B چE:$}fE٢W@H:N|>-t8 9x4~/h]>c;`4A!P=)>%!UGku{5y+;tY@I5 UE;{^@Ӟ=|%Ն@ ]7]/2|Yqħ}8,Χ/gg?,uA}6_~(yT=9ۮB{w0R*Ln0"8}Aw* 洷E4Vmnt6xEwAsJ{|ڥP% V`h-NT$fɣ'}wjZz7GRF}2)켝miHI)AKC@i8G%hq?.놞'_3ԙw7$̅ߩ /*qiZĕ7NV9$-KpcpQk#}}|MaO&<+CLpFn|i= 庍I bnAt$kstG: a'$XU]F?MMY|pFgqݮ_<4l Aː.և5\5]S1D1)@S@IrV:C9y/u ul-uQMp&,ؙ}qG3Rꬖg0]K٤u}$N#0*e Ω^/.2?[Mg|*z:{ނYtf =2{h"P\у}^1b1`u4\Zlh$Bn=[] ;ȩ0)JJx:r@FpO%!v`{LSYQa._\yVtqb_CcπdPxhNj=$Ϸ֐Ϙl5(Z[h }G^8 /h+nkGdΙHZBh^-kf&AKEst1BO֚5!)EWA/x[cC i d7T رՏ_: jB**Y93BRM벵EoZps񉲻+gwexIyC(NjsV%TI{~KAޝ3ES`K)j3$8d[Ip Aa0H ܔ/.t3N4;H ظMͬ`Otс|'2"wa}[.Jp<5z~J:dpdl37nZCdƽu%1r%aigm$V#'{Qx?:~(ڐߟS¬b/e[my>KSk_bȈ$bOR7}d`$x, Bk+Ж+O:nx*&F+NV,t*?ZΝ'Lc΅*xF]#i*#:O,thHgq2n +HR8:)dӧq?\j^AзjEn_7~ -4 6aɳL ~$mItQ>$ea 8[bC tgI#@ )6r=k=I3,;SJ=7i jhcwœ|p0$[ NVHsqU5rьwE B=n>amX> l$}6'|e}Q6$jSUp&ֶau6^wSź07##@9fY=os^`%_ozІc⃭ ,$9L3_cEA]=^"Ym[o?@z -$a^w/MY5x2nhnvPbT9jK;eU,a;85tlfu:w'qrM/.{sg*쏿w(2_X*xx>{3΍X_).,%˾1"t2]!u/f~6GBQ bF7WYY ZWty_$epп"(!JgSi|r0qx[ ΰ7ѳ _o\k' ^ ڞlrM]DOwyY h1}ڠgtB"ɕ&&jlAӸik O>hkum {phQ|ظz P@ (&]Õw.sx M9#+wT=hQqwi^Q}.Ƈh=$M\I3Lq˥.VUň`)ِj5/$ 5hW\Qe=o* ]-E.~8 `"^Fؓq1'0N٦p0vJ\3UyKOG_Ur^zTStl ЛhPT}:2:FuXzpd^^X|:yxy'WL ~O{7:P @ ܑ/)|F;칼3Zܿ a љseigh^})0}T9㤔I~B*]BggNP,2~ޚlT#Rwl$NhavdXfk{ۓyږyD[+uLESqƳoz G)ᷚSԛSC3cYZTQh_X:f0x0FRnvweH,neR+} zurAf֋@ʃRPx YRJkr&!d9RgZ&;LеLC].%4-ㆎ YBa锞P+`v>ZW&WOtM3Lx7v/0>,9݌7/NjR߼9]Ld,d6䷻I ~jdǷ&a ,K"m`r2SuouG/ Φ}ޑ u ]jRd8q\{OVpjA;_bn<=\smϤ&̼|8ƠQsn~=Q;(:j_kƱLV6uy҈.펱ㄵӼ%EA69Zׇ`G'PkGP>W|AEbB2`W46D]Ν O [y2ߐ"ȅ*?N:޴8N>$DЁz-&[ri.}}FY3[reTB2 Bsz* k$=3!Qn><-CdGa)>_/N/ޱ$Wpld9p ]*ZISU"^*@QwL)i46xr<&;IF۰"IW;A)| `8lc;^\9K5Owޢcs,x88|6W챔捪yrP3i?杊ڴOg@N-.eĊΧB6 Drqy<&-~νI?kHc65L; z>ݗ{1*,7ܻI'f Q>DS1c7U j~,.JOzբL]1d|. tML9h!JBS@UX#3#xO$̨b苏9Xd*fU+馵Ý:H2S87k.Yd7ik{ KI?n(WSrNwd;2-vY@iQ >mr̖ZVqw]!25Iti[)8= ;+z''},5M=;lۏ/'."z@UKP*ЛʺNq3&;_=[޿PaSAVC4;&5iȏBYȊո6DДN1"P$mq#y)x~Z6_䩚[Xdg)g;t{OBrĒӂ!}~aF6Үc e_5cG"rNAD=;A- Zz9wm|۱H*!6( &8y \GeIE3CX:;Tw[+'.'/)!3̳q0׫ս?g1YǦ)w4ij/ IYL3'|t6=3 A@%IYcotk v =n r-t%@ڜcU+F Fo $~RmŪ)y/3pUMaNmn sN8T* YP1Y茸 ڹE}W07,3f۳CD_Ȥ߾peI)'[ .aɥX0}O/Eӯ2V@yC/rMhW(qS^BeQt-o5d&q:8LRn8#]_ NEiO߀ۭNIQ:uŦc/>]RQɈ^$?@`eλj_ 5)0Č7ӱ^*)ߡbAk7K98wp\FMU, uQLi<%`N0ۊq_~N/b?0P؞W:7CӸi&4[ j=' &| m#$Y1{~,Hn>L'˂wЃY xΖ=.ݿE"p{ap3 \32%)sE:m,z B'83ޘpܳ^q[YA"oryPF<'t([~L, 4In;5m ERttђӴRsDk*:SoG&?e֝mml:4}$v7(ڌ-sR2j厤K׋{$gse%5#֔th{!ǁNU=*sPM5צ7WF)˱Zۍ& G2#cikI+5"vBN&z6H&_dEU2G=5ڝ9U[y,_rS" 2 ~U]*•bċoZʘNII``fs8j Eqd[̡7x!î\`KqOe=a` YzWHϋAѝW7!ҝ#!vy+kt{[Vl;-sKkri_,\@#X ;fYj uVJ完D#l!: :O f?!&]%JxzƦrWƩ Mv/@}Pֽ ̧ -ָJ0螄ƱFΔSmY ƶ*l)bj_ NvrբslżHt*d6G+;c׹jﶋf> RU4T.*N^06@`%@6`ycg+8y|Wig gE:e|u+9Oe4IXTKN<=LآqΣNDB^ l 9yIb,1D7:`Am椿ødtx,]4y4`z CE+NXEe7LH#xN''xxǩRQ!3`%wl9M}NRs[@>ӫ֮!Gn`^ 9h&,)4-$V!W'&# iY>ג -fBcSnu4]V,gDT lL[0sf12?/@'lytkYJ(":jyh wOgJp4`bF&׾Ph @ZpYUxO :nՍ $^P`oP˶YHIbԼRcէqftJte5v2 oB=AD IƗ:m4*$^jޘHS:Fw*P. YHfE@oPbzޅfʌP }CRkc9v mvW"_`*0vp<#fp(Ǫ܌H()UH{H |u4p"#ʸ&v>|r])8#:$WciuAtwn\[s{k!_멸>>HvYض49a!K'\% (|7_#JS8ANXmٜ&Gah1D/D I].J}ȶ{sLRuú#voxsO͂1jx~%NO$;,,S$𣏕sd[W 9vUay!PWY-B^;̴`~fJʕ9yQ]Bj8+v:L쬙5E1hIJ'Oٞv&&wby}ӂJE<)wPk }!Sr'.=CMzp\a$x2>gԸ6a_r+cfL"_t :GN猌7q묘)j<>IzCHң 5H Ӻ!עwkF!`MTj+ka8*fuV*'{l@CMϴ*;Mam +R7)DQ3=0"|$tI$8.IiQU1h,!锷^@665r'QḖao1 Uڳ7bI)@iqծ3ǀqsK yd_KBz/GK1}kvxTVV XQ=B[} XqP[Mƭ;w?:7SNWbz²8#RFzgj {{-UUL1*x Df;Հ6י<6^1Mœczn>GIIR*yPq!4m2F~hP{nPpc,kK194;M^1E۽e9 .N"caqpxnЫV`?hQCq| $]f knf3nbVrځR`hRi.,).| |ah89jD-Pa d92JŹ3`^gY6&Be,vϖ`!.!(Ѓ8zFKjb=[?\yphJeZqRO#an !ިfIh  C ``4əXi9[Ƈ~f񓙹98Zuݏa+ .UU|ya@ܖ@";㟥 ֪ab jXyu:#ˋJR]^RgP4ߚy* onQ W˫9Vb,7˩C 6@df &Oy4cBiIdYczasUidx|iðru z!h2 *Bt)K;dʴԳZR'rtN0L hz񫵍(X( 4͉UK o^K"%ƢP1N4XoUZ}/?oB|5ɹ38Fҁ~<+zj\wf}XWtVX+*^bPIK^rwako8f<[ -LLE/NÅBuB"8_AND}#ŧ\7"l';UV5Ӹs"t(Q=DWrOv"l͗ZWg>gL %V?(RNzxPQ"(7Vae{fJX0)Ge0 n%xS(_Bj1fVXu`?{SBgswO,CLO"+laE?qM+z"d9z-問byv^]@hw}c4F}} (]/AϠn0VF?z3ZR%2oHVt/)AY|pc{C.gsd;[K7vu`!LtՊ][^m$uɱ@hxN+M6Fxz *һxIJ*akZ@L774ZrTb~dڑ0&{B2VF,t'K-̓Xm v;;y97H0$4р叩_AG&`Yށ6ZaQwt|埁 %G>yyѤH ɰ@al5^($䵁u?(5j#Y`۞T7N/KszcXaB=Us`Y&4(`fPnrPtJZ/f*^?EBM~j1[il<-h?":*}QT۷{N_G,乄uɘMB fmlǯrRwA^Ds t:2iI/&/ ՃPEX%61 TT%4~"Qxj)~,iI< RIFj *ǬԨބZS{SW\!e U t2]9v  !7^ѴARCZ޴JwLUYL5\?x(<ԗ]_+wmf*>u1s+j4|UAs|] kL;xWq7U4 H[{э٭Ho^>.Z%3l1k%GebOi\7U`*] vr Q;x OAiGLh9J~5Vx 鿀9uc4>~5ffq2%W/9>?R]AS_!1T'+ n)2N)[d`Cdi 9o XcR__ӄtMTDQk=*xP; GnX*^&K.^.0Fט\Kb:X)2!tQQQT^zy )ݥlW+wW[duMMS]*GRH}j`>X2 pn~kiƲyB4#V̵d(75amҿl \%<y2W.]!-2ȹWoa<07B# 95s.56|.7&JMV<= Z 03m=K(ԀhQIk\rRTݳ-tj <Ż#zWٵ&Mx?dnctA$('~_|SJ_ m[޼Dz8LR=u5ύLHZzXD!@#ִ}YbE )aѧDMa~kuPRXCWtB ;`>eb06 ֙VNW7oEMB~N?N^#/Y-ѠPџ7)юCC2;'Y\A6zѣayQ?~oI 3s[FdodHɺd4&^[ħt\iK+; C;\gz`P&.]Yvj]D;?LJaNRpY p>%E ]N`9Npc6DAXcVwDy-?0J)d2I=G" H 8"bO=]Ȍ9̰ܽG Hi[En uz ?(lǠ":4W@YÐ[$xG+> v+Ȥ?ѽl)C:״"2BPw<(D>8vOj(GZ0>o=J*'уP,vaw}$DI@-R{"am6#9[^>NmlʀxE`*wĥoO.gUyZ tGg-BAWZ.HֵL[W{QϘmS-8g.ՇRJ!:S(lp] kίq19 i­CE ؚldz h ʼn]#tl 7l/ äGyc|틘/T"ŷ_'|۪ Ymmq5쒷}]Xyup܇}G.{aC#r^,^Ti&'O>"DB;(qg33! 6)d^ᴥC-aXM|y"qcō<{xBt@V@x >@^sm2k+$%F ZZ(n>^~&ixT]b+tv-.?Eg!ϾlEobHЯ7vXUɉYW,۬MIk}90n;WtGň-ar[{V昘1a {Xk8e3yZTk5̾myW}NjՑc2!mkg&l{P%M+d`t1hG Z,(%Z$!(⢥pby+_FIIu(@^[\=XIBQXM\-!lNUcxv^l(P%vmzĘWUjD}U<'F#To6 ÍCU!+LykEáxdtxPۍnuKQ eJ*>d3t9PA~aA۰#[*ѡG-3 g{"dUzmڢbznҙsDN$vڏ2'SHf4|-6b0`*ظF`7 $TYǐnRo^4n0|2FpweldeRd-ݢFepx5^Fּ?/Md}h0*9y:5G<4lejq/-DX3o:Su0 G M$#Y񦬱I̽]Hxd c撉lN@\OϏϷBrԷ9%F%ppc6Imp99H۹ Bƀ f~tXWH9u+W79)(y$(|U?i M>DO1E]C_n?AK*FT'MbvK{H~>m| ? _[UVD)dqX.%vr^)i=s7wHNGϷvG&-7v5_ *Z4'ht:R҈g@/HVM\df in'D})QsY?Ks C5#ipd_E 8eSp&H *H#RzL_k\X Cu2|efo ]!zAUkFQv bw1 >P3Y5A܊r')wPP(@Y3Ã퓶WoAW}W#*/;ġ~e/(UoҍR$F_s"{g o;dн( xoLE_r ZChyXwlE{<ۉghC=UJ㡽ͦ zR ) {L"'k W+b # t(E#~*$lz.} mŞ(XhIa9\Ƭ3Uf43V60AZ[ i+)&WG> u |}0d\b4U]i017Iחo 9|z$9w2+O}؄$צեSdӨ^DqX ?kp=]ȿсp>ϿG;eQ>B-IkU}A*kA9r3@ٓz5i5_hI7jt&iXk2٫P;ˉb3EH.;L5ƍ*ߖڈ LF;mk-~Kءip"o<%1Fj|R]Rl%/،L?,cuBFʔ E%n*s0g#h?jOB|r4Š5Ep*UqǐP@1Ww&(̗>6 <޽ 6Ap~V˨x_;_q:x2+Y ;,-u8dey)9?q*JqI zRMZnXSAX"n>[ Y|zw7{B <@+$Aw˲4!WE;D}"vt펞+Gyv}0jmLnY`ӭ/Nv(,,Fغ5]N "`T 7YMXa:\ê;dC)S)IELxZ,znpe` cW|F-r'};xHa㹌ژFq[PQxkb-3C"~E//Il|Àh<&eKds *PL椐K=hg߻wݬ׉>TyQmy|#wsLIr$|GƇc:-i/mZxN&[ΆcQ/cKV1a oزP>b&6û؈_t<>flH8褹R)I0hɄ"O)>(@WIT:[qwٔ[~-#[<5I~oqt0|5*1;waXWR83==d~a_Lj%"OC46%i0p^lMv`1uBPP^8g# _ֶэi%|wϽaH7Gl= SD^N;fY·`|5d!>֏!p B57`@,"ޭ{ (yଞ={ܬ%ᱸ2ߡ! 3J;vbߖ0$'!w;+ c2!sdx摐(Qsl Q-4{Sf]B vՐyeLd0iS+1ɍuFR(6-J|Qat=Dzʱu]]|AMT\5L'YЍ' CNҝ_G6-g{Oz`48:QSJq5H(91^I)[/Fތ]mlޯI!KKU~ 9 H'Y%h53SDI_g&w"șH [WHA0ab 08,#zy]Jr(h2#(Q7Jh)c"^}ASMs70'" Lw; ?cr\1#g3H"T$-6~VV~^++ҀC[Ex ]VRa+*ʨaJHXӺ"TL <mO'atȮ|WQAP9B QS1OGqs?ӃdUϩLY!wv7qQ!&lje&r|cGr`芙Al+Lۜ]v4ҿ@$7h_JdŒ@8{U*E@U`ZM˚@.%#2)8= `)ӤNħJ'37JL1x^i/[]2a*!_߱v<飂&Cq큸V. |3li}Nw;J4jI"Yh.  6ƹ.Rt\>Kj1 Jp +5](oK 'uB=qIFM7t pFը/qo_vd̈O]9Fi 5`)H%FjHz+r],Y]_qwZ g/FPȺ^Δ_sz<;i8V1on& 5@PA->,ָ*$y+q<xZW{xVRTy;%GWS8c y1q ?A>NiL{` S|)K -.}ZՓ ZR5owlBxb(e4y]:0FUg=8_( WFaۮ)F!'盁hI&Q斂5ڥndQ^\vs㞊[eM\vqK"ǝ70DvJҤ386 x>z6%D%QҎ\n(qp<X>HSb@өp3kZ6qI@]4dGL!Mv90=L%">Z)Bnͭ@o>7Kb9۽5ߋ zsPHJm8]0:uOS0W| I?yIj#4wb6 BPoƎN5qHZ5ӎt M$uNKψ˹(^G`7&)~$2MhnhZzRD(!-䝣uD핸/W0gb7+\б$kDCoTQ\"&f[ma_RBcpEn:{/`aZgOI>, )ޯ4_aC&r~, B,W4)^2u+:La3iz(G&`fW䂶 a JdYЯIIՌii Qz~rջ^VtSl?HG|ƼqSnp[ Or/DyeP$lU2{JY,ݒ\Zc*gAJ[bwExoC.d\aF02H'>oI|u/9tgEmhuLң>l.6)zXZ6O6r8Q.1E!H[?DW4j,,):Eûke@=btejjh]"$פ`` yv[L0"ㄫlr$M\bݲB9Wvf85q|VXv"i \{w dfWch٫͇ ܭ*<bȌBt_V®Ub!+_@ܤ"WFpJSi:s}O̬Ts +Y7ih%<eO:&r\Pr#j&fv1Hyt:B5C,4(vCsh|dRM:Z3 -Bh,y\!'O,^3gF(;ܚk61JCTQ0]1|z+Q|@*N@{r'S~Zڍ 3&oj&+u =92O+9mQ &ohL&b(\!⋩o#Fc\cVj&.۾ֲ.ͰKQ+82ЏIrc FԜ;OqwIsyǽ~U .1|8Lx" ۙ& 1̣~3gkjl-qj杖!dec:?ќpJo ZI+貇[彭!:*9ܽWYċ_S7nZaԩ{gy3{ HQmcX69bK`Ry }5j0=O"kPq$~5uY%#Ғ]b,2_it3dY=hU\^_R)_1T/PA"3ŕڝz* />HO 2-2ά ېlelY\ܺ{PHuSث N^ -\K5]J8 [dtMdY42 R8j%63M<))&Q{@/J8K-4U`赕nyN߮>y-^Y\Zl,3)$deLy^`@jQ?D&Eڇa1zKY4nn{8ӈpJ +rɅ!TS~$$ a\?gDz|f T&)P:g4م6ЉI5 MqN o݈XdY֤|x;r9-0FMl⏀0W\R)wXDm\y ƑEK죏^V%MNq-n0O[_8Wz"wnV4v1(n^WWɺcH [TZw6݆4='#)1u^}8mAxs: ' "rɻ,P?NOiYb2(E AI Ix Y4e&1@i,,@󶃮;^ȩE'>dᦳ+;HO~@K"<*4IEfT^ʿ]vBS NaM6˪; e'_W2>0 O.%ɓ/P1EȬ-BCn_NZn;d~[~`8Z+ % i*;%OxSǦ=>j  `FofmrJKD`u5G<ۇw7,~ÛEzo zZR^RC'Q}WEbr : '9~\0hE W#DI8T _ќ >4HonsjgƃK2VKB!i3&WO2!D;K&uշro9C0T jqPR["ray1#H?c*(wcwG@T%4k!~oXBЖ.i[w#)QhḋZ(\<5BX{Lľ} ̽eŮ7uJ=^M"V*YэSf7R)2?yLIa۪) 86@sWC.IH ZH.eOŧCS*h.q|ͨ3E 00@QқKԜNob!,F$2ʢ U [LaU,=6B̘= T=68}.DX v,v&ͤVSHz 3X)ͰE,,;Ź ?m(MH=Xs!NtdJREhn_i L5߂c- 3dmWKC^-ϴ1L(KJoqB. Cdޔ$B¦a6ֽ4Gi_րx='Ǚ} z{еRY<`3v0HNFȻ{ew{h_=Pqcm9¹J"fv@?|̋-H9JEU"?Qڐދ6mdzF5ƉM,U10Uj`f0%S\M@bagJPƀ%Z%a]W% H<Ѓ?"1yΰOK8jRsfg o[+0 u6 , m8QM!o#[*>B55R#hu˼Ŧkwf-)bem69FF|%h{h6wg_ P>,d긲~wqOHQҰVa8pJsҨ/bD±pU 7xZKޱ@F9K!9tF"W'sPh'Zr_ʉwO;+1/+"{i9?j 0RсIJ۫\Q[PB(/ cFx@Kv`~7%p\WK7χdr3F.8%vbؼ0Ҥ/z :B$ц@m HpaœJc;٦r]S?AbV ' B3:ZB*]lIb5 2f601)K6s~5%Z !za-mg8vB1+bf>on\o@T59]r_<*>;2'~ 6o.:V1HPp$zW(\ /<7)Ph?5]ݭĵ}oBVeP.+:nyf # ؤR22w=)`tx.oPNGy_:79vX@12Z/ : >Rxg6'=uŷU^g" Yc'q=_ bg,=قo|(r<;Jn}4SzdעԲ"@j\X!y6)k"zŻBJq0&:8l-*+FA/d Յ%r h^<@I<+!|B, p#3ywY?<Ѵtǡ.c /Q!q-sY13NwQTe,h2rܯ'Uޠɒ{κfB^~ TDHa##uojJϞ^`K й&G1.ď^QYs1:niŲcyfu,k2F޸QgzQJi†>MPzO!uhߠ6w7i"hU.D0t;OedҶ9t g; =DAh}F?:Rb́ 0I 1;"Խ&47ܬ^l\6w հv(М8hK (MS|afيOZ+$Ngݽ-Zx+.` -}fc* Ǻ,q#q[J_[h21>cK;5(Ƚ ST]LlUKvnC}P tnSfaĄ*1pĩҠ2t/dbLq'3S\-X5Qjc3C}>[CG).;pmec<MB Cƫ6T}j$Ϟzt[|4Ph f:aԋ8ڍ]W;2ÊߋOCDo8DVʯͽaY!MN| M 0Z$%6dg^ޜh Frh >@p v] `Dƌڨyl!>{qњL!l8@P@f:5- ТӎL p}$MQ n ߳h+>oW6cTO.+rU[4f8D6w=_B$LVr$/# vn=W,e!PaC x|i%15\K`ӣu(FC;'$:2j"[83NoNVkFҦDyk KCnm |a^! ):=O;x5Ϧkv1c{RRS[j7>KC~N$RʿRWg($GdjDK?.Uf$;̵l;Jͽ3Oɶ۾!j4֝kF&T"*xAtRF?e('7 cb/ܹK>qH ]]D'#RfIҝCU օHoseu|wYղnq1fF7Jn<3)A0'ŽA\zjt{zp<:3ߚw\!;I[ylHe7ċH $ʔ# 5YE R1(ӕ c0ӄzBLf=~!%kl@bTJO ȶy8#lw\Y T4ĝ͂~ TEtS5;&:FF[# |"qKC.ԭ)Da6t(KR1V9]ͺvI9! _׊oŊ뀢,;22n00풚Ý1c D 艥Un&r@iD ޢoHg@Y_P{QL~LŎsb7ݩ*,'LJopx 3[&h翪(2LK hr,;զ]K:#.֝vFZc k1k kM!mtg@?|m c]/hԐ$,9|X=B );|nu!!9%J NC8ȁľ뻉O9^:*g)rRIIk]u}OA(dq%nk}|'ChT?Tu)Xm&;W&:% [ɪ;rUTvRo!3[aM<VG#]NQ1U\f2Z넜/0q,: nוS5t&ӐM8򇿚uMAazj{j.3͒=UXgn{5D#XL2ĸwgb=Z>d8q*W ^4JgbPU/*Or![$+T2eqJV5@Xn'!d[c jȡ[ 59vOҔˌLUfkcuֶ~^IU4ںniaQNj )<ֽKhwRxڨE^{$sKnbxG+-$ٴ^{K:n$nShT1fLe@}fXP QzPYeֲ$ud"'I yMGmyF)FlgrrV Ӗ"hsz~,;}(8B j pgWBV9t\Lea?V> SƮؕbIbĹS'[OZXHPKK:CStӿL0u"Sb`GM% {:$:X@uOPYMϭRqA*n! Ue,`#.4 ,ZӌR!%NPB:1KWɝYXJwZo =$ފy`(-)* ?g0}PFVҡV5(xE-l;X-Rqb4'齩tj̭z4wifm;׏|<+Wp2vLd(0_8eɀ^n}Y|1j[7Zڊ&!cG+5\Fd"w%ϋw~T4'bߝ xZ\5|$@t5rKnȅTۯ٬k{z\,jwyJo&1۲7)D%oN#MZGAƢdDCU -z< .ѱ!8 Uc) <-] >PA~tX|:9/?duޮlVƞڠodUISjyۣ-BY˾E&LC"[*n8ce[91A ^G\}hž8B6t- 7my%:V$#iݢО'@ vƚS $A_R9V^b#ʡ_owB`'[L* db8TϾpfaj6}C]JTv>.X՝%;+-4f]`'Ng|$+M\hy^gF$Wʛo`=XPY, ~ƒ px {-k7\v?UVUN\Fk`x=Y@A? i^b.)6$Nnå>Ֆ~V+Q.&!1/g"inpC๵K5F=۩5"G8D}Bil($?ᘴ7dxرɌ.%ɖ_} U3jߴs>±34˾G˸7|2S/ΐ fu]c"t(Qa .w@B؄PK _몷E3xTl^PH^U"'v>"¤v\9ݧT09z/Rb z393+Q/NGb/kHY^$ 2;s(E[ 4_M(_Q̼eKc$$zH=A/K:۳)jJME1/Ms݊'] QK(e0!1L{DGFI9[~jNu}]숉._5p0ՊyzUmkjs3To7لм?0Щ=-1hl,y"NPQQ9 ̐~2B:] 2J4v.(ĩ=fH c[4`1:tz3V؞>'0+aGn Dde7j*iKP+|GR%w62W'@Bm~>Fחd]iQއ.?NTU 7I:&s+O I~;5JzmvDW3Q9b  F3Pz:-w31bl8 M&;8|.l >v,/Wﮝjfb-(G(*b2z72Ď/EٖI5,n!f 9.2tZb(4l@{[bav(k՜Ԏ>\V0M’,oѱw;(:4]uPnpk |5T$*@goނCѦi9Qk^_"0[?tl6@pʏZ=ߟGhŵ[JHZڒ$W 1 H(gNlމ\]5]JӋc{VKp2R8 71j2 W|ί^n^*TY^vSӔ7c/A!񛘛SN"*Vk/ý&WgB$҂E&G7,Ƽ<΅D3ʋX"?|j}*N`5dɔ>iAc9u¿u57pP٩R^; cɧ)i`e zZDH|67(sxi qX^JkwcH$܅ab&^IN4æɷ8D{Jł!5I{9hje<ĝ#U|Z% il=BoDlv+y,4xEiyڮ7UsPCҪGeqeϺTcfvI)۬ky0A^~b3Ρ#iΔ Y(x{w8%YG 4Chdj|Qo6˒|b~i3q`tQ(?8<ߘu{ELS* tÊft3o _4)%TEeYI71df?:=(H+W? cAQM1 ۵ş`ݟN8i6gf;ܘQL,@d|q֪ 5nESfg8MT5k]zZ'SQ.=P  գ ژͣN* )9m>OJx+$|.dJV&s[ћ3P7_E {tEiaq;yREry`nC#m3{5G7{Lx[_7M*"jXWb 褿QDkV6ՠŖ6|mC"R k*#{s4I͖LVOrQ&,,Dy2, ÌS._?/Z{Z)2'dL0pj$KB2R[2[ 'ޛ`aYs2ۨfmKQ>»O]TQ3߱2I%= J8W!o>P4.Z8!Wۻ%ilF1HXV-B)'=3h3Z o׀%,KX&SȢ5|{swy" b;؆\k[6l{A `87X[بynf=P,-&Ͽ5zH2~${xu%W]k\qw6FKdPy9,術K2c\D&5t^Wヤ4QUE]l4Q,F-o =^ N/$ 2Bwa1>X?o]S-;"6Q.☤!7EC2S?4[u BI ;OTQ-l Wo9-@F57(.AY4ԬsE?We_W2@AzbŢ۵V$~N1MpB8!Uł9 +i2xKo&9J̄\+u+y7eXc^ K7p`A^pL#&s3ˇa@ ^8O> ڷ\ 6/IRhML/]K+}u84h\mLl>3yR#"_㈐p 1Yel VPi M *Z%FfG]ڨ?l퍛T'+SdZ sf.qwyEAN.@<{\!HCБC I\5![_alhl!uQ ӴlseW ;/ɹOV8n7\; ǒJXq\2DE2vZ߯rr:8zzN< ۑ:0k 76F *ԉpOvDqzDOò[Mۧb*x^1Yی, R, FI9l`bQ(v(!冀<;w~lw:]5-k43:N}@'SBz lQm?VjԋPu!v,.eR HyځyJ߭+ +zH{EՃfmrcԀ:n#ҿ%<ִtSQ2?S>`Ր1 4I>,F&څet;Cը:Q#н ".^^/" i[dzh$SJ;%dzta͋ktT׾<26,ePp5Gx4rKhMSA,oa~Y:  @T11pG[tgǀ&]uAnrň1'76~ c\O/# {mU~əQK,C@LQ(t݋ *pNV)Z5=}6(-e(eW%Ӣ.$3l-[~STs'!{ X# Z+:Hv $wA I@۪y |bzSD%t;Q\954Mb >0JN2:Bd%.7 Nuǂ׽ eC]c'F[_8}MSKCӁnZ[^0O,&5EonتpFS^yM϶ZNhbTXRWT&L D,S{a;LaRY4(o}jNl]ZZ9](P1'kpVZ[OvdjB8s9$~7`ԓ 0 |I.@1&Du4RVߣZ*Зpnc,iqH AG;Z25}1p3lW Y|*CzI ,!MvJ!%~P M݊"3<;n+-xCEm I\ࣵBɟ/f:ji*azG$1m6 VVhĪ^y-jL΀4 a1# Du!lNDij㉺"ezT&'h&$+yW꺑$(& !%i  l=O}c_q '+ǩԲ9s xGr%xfxQ 0Jb8vE||v)65~˖O5~),Pu(Ox3/K7 ?9z;lYS3b_:=Aјh)(n~fNDoAҾØA[KM. |>_לgP{'3EPV05rrRO&L5[xx07un;ǻ/OnR&Tf2^ {'-}ØpbDfƾkF4І ^8XtX^",/H*Y*ALʙX=o T%l!@c־BQjk'7m_@Ie(BȈS8PSz5W^̽"vXxU%dXPA<à;|.9_LM h;P;R̆ Ãx>XS}םLB{ݦ|FE%L쯁ZPLD3X%:}6w4="e-bņ~jӓX3E( BQsS;Ƒ". 1ڥX{kwEưCuAs", ^TŔNGkQj8֡HF)n$LwAT`v8qbJ9輧T)diMCpx=/WeVҭ/%@p/d0=- N|$ sͿ/,>?ãULξf}%רogq<=p3ٓ9n03W:_ ۮtMk!?[fD^=#q-.)U(qڤOZb8N}"i1߷a0w&L{F9ŧ8]:M Y;%^p0 O]~!5#>~nۊ@19>tRe@LdM+*QQK'jֶj3U+*Y-M쟓x$k cy!manBnP}o -E{2z6b3`|(j8#P|+[.ͯ8+j~洏f9COqKz9_2+C#gc#FD.wE4jm=Vh,9i[T\ldnQӔ5!ucNVlL6HK>Ki8弱oA; Ɓ@vp|z(C5үnd[8¬1A8-26ę=3;:2.?=?4:.gYZ7zXZִF! g)]ŗXiɟ>P*%;֤er,L`&ṣZ=73Y8}Up诼C?Ҭ1ϨJO=V-+JjRQUvWDY`ÉbE]~Setb<Τrv V~O`Du0Dp4-X>:"ZSu#u?ޏUK`"CrpaQݭ&h f#=뱵yen_Mj\,(qeϗA!|wBnj@iЌ}49-vgYZ7zXZִF! &M]ŗXi%L!l-DTHy}d|?C]g=6J o݁RcV%:P:LȨQd]\G_ ~CSPETW >fI3P Ьu%:CDq *Y$(ߠH cD&EfseNiL2f |t  }2EJua7ǡJE|D,{Ul } {'x2@hzfut{(}x0r*4G-4]& SRK- "C2BhɘU9ǑH,[]59 a`^OS=ɨ !g%!&[Ju qh#-0͜xSCt(ȺcPw4lloSO<*qcEVw7</<Ĉ3l,|]|2,"D\hˢG$@0_ 5c a{?K5<s,zAq{2/(j'B1t] y@B0> WY:T<8  B6ê0KrbRv5Odn\^C?qYIc*GIxOUDG eE"<2S3s3fqrbKEW‡X l{Hͧ _; sO/iO!9^T"O^`qY3sCT"4;_k-.@v3K-9H438Rߗ{ts"{5E%",u"dY3N=sl ke#r"K|M-v^Y H`:KSf@6t:3TF0jvq;E >7`Ĥ 7Bm9rxEbL6zibLt7`%xի=jm<1a/] لJ 69xRܕ4߮c ZZ%j /%'~3RH:,@e`m_PJqtV.SSGDZmj]^H<0M<7ۥ}HD/73u)5dJ-VKobQl:\m;T)F3 [Nph^[{4U]I|E~$G=AbL +{!YAU ,B{4%\bQdRU_e&$;&ĺ"˕Qq5E꺽ZdߎX.(9#{b!Kq h*TioOQQ"Z#vc; 5eS`b\֎U9xjw=9+ W1pz_PCť`ѷ4stXِ&}fsDXp3Dͳm\M24M |pI Z\v"ʔ;#^ {KF%Lp9YG3%̇ɐĀugdAGN{zSdv~YwCܲ>a nĉAAPΰMtm36$5&Yna8FnWaOcTt-894GYb:,#zdlrJu. MɄ_#!=7,U(G|ESxAӓ-D^2oΨፘ–QnTSVEJihKl6XKS#f΃/j7ok & GmBXFENuڲ Wv쀭cH\zfuu7حK9)|0ȭV1NJQ7BiUp02VVQڈ,s-ߏ~bSc)a,.ݱZnq_9Қya7|)Oy)}zH-"THiX&ʳAJ.nnevǬ0Ȟe1M^k͞9an6h%5TvjU^FZ+[f),Hsl9/$̔!Pȝ:&?lQ)PҚVz#I>m3yWh?-kMMs JC mRUPs Z/4cҼesS55H<=SQL)~ÿΛ[͹n%߷\G6k.@cњt7 ˢGlg45cvնs~ʉA)^oYQ/ E'i%䪇R̝uz}XR~ 1f513N $0x =q6An0z仔r uJ0GۈIV$T4[O늧!$iwjgKeK,OE:=>LȺA͚}u^e]IM"})Vۂ8['VNl\Wh? c7|$ih_w5W7匇AUR1+[ qI TlFr9)hP6FuND>7>7zEII1\4T!O宏I{YYf.,GG\i.HePyi|dm/iV%7z̲Uθro}]Zo{/g7<B8OmZvåDfm]G8M-0̏Y0t ?}ddiť7@D.y*Sy7ÿPhDpdc_D*~`^M-fxu[ &Z!.V߇#7MD/IpR\!:+ry}>cg8rK!骍*=S{*P|.>r!6~֟Wؕ|a:KXԒj[ik«^mKylN:u=1gCy&j^"2Bo.>] :[>D|0rVVsp;S$jJsBo$~9lׂ|9e}g5pKԘN#"2qk(=02#ra8ƽ¾ 7 k -F|b 7r0n{ wHm,iU??ȧ% "}<4uk/9H=r; | }a לu,[*\,=\'JI!v{Mbklȶq԰,To{/!|\u^KKp?Y9+o"KtLPX s{S8,&BzLSQfMd8q[}ӈzMxꔚ#p]]|Vɯ jKyd^茽x_tʰ|g 4- a Kk$R='BQǢL=^`?f<7OJԣoT9xkY۹mOi׫xR-5l1-i5is4%+|WJ{zs!Ad#jV>%NT+|Up: v&RtІꭾ ~^hN$'T9ҥXmҵ o/ Eh_b^%=mնKC~"\5 ȿ S5~.A D/~3Fp9#~O$vA[KLt26nT1hBM7\ׂoDد?GMO(_M4ĝ;|gM T_K ܸ~15W"RRlWʺaj9^;_KNv^rm/Zr\ݧTc $b]T:X1涩6Q n7@`>䛒"u>=k`;6#<2sBd?VEg!We.嘚^Zz3`IE|o;Œx&W)nSդuJ~RdE'icjpD5 j ڬc貵wm̺u@@" Nz[1/b=Qu3`Q:ٵjae*sg? ax^IE6SIs bgӒZ2Uނ286! W)Q2ƚTT**1jL??ge'FehVr-AS^,&h$r?bqWci: