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 ZZK$$< ]%]Transition_Systems_and_Automata:threads=4elapsed=275.896cpu=1004.992gc=55.340factor=3.647zXZִF! q ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{9ؓ}B(cG'ӫ(8_hYzzr./EΥ]RS¼.fi[n:M] #i cdt5EZ@pQGSm}Qw WҌػKu5!W)gkhm~e\S[-B3Y.Pe ,*[M F@8͙\ 'eX$c6&p1$VMS1/m)ǧ|L O+Vކ _r(]*ĆC!Xa`0>фYȈ& @koB6=㠧"̍cxӖ\5eT”ٲ/ ~H1Uf/@a8w~~LFoUcUFF rxq yſp60t&,!Bş\+2\g]_|¤Tj ݔi&iaq7- g4z-u<Kcwf֖7 I?ȮԴ#=+" O˸G"%^x ҝo6Lo8i@{#]5^z Eutޝjr~&"Gȩ>D/֩9=l><"©8`彰x,J=@j]ɛm]C] Ɩ~fw]/4#FBMR#d}օ|e|s6hP]xФnAʯW<2i9IZD" $`JWGJO; ojiIЧ\V $azpg5Eh4JDn!Xa/l3S"9" 8#3+ äCP/È&Cx'$x6D ZoNiiU}ݻk Z,薀&㸗k?ߩg ^) y" +^vkq2Ms&%3O@G/-ᱧ~PI)m}6,,00Ef T)A%&ȶ*?pU9<ʌ9o*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%%y92)uXӏBlnbeOq̡ SzԑLuI!*TΛfc6NarTA]V1 \-)-EpCH&b"hMժ<|y0UX@3֏Ie?:lS-}wP|5>0b²Ks_ʔ6c9$w/QU UH=: ~}/_ZO1}Xͤ}:u  TQR.**/#mAl+g❹ k *kKC QE=B@D7אl(M:a'dz< tŐGwi+ }{R_`vVh :/@96:Hǻ ^|LVʉB m)?+:BjۘW%-JY0_UN ̓r.>\ #ٺŘp/"k;0נQn8l1MB߽ ]}j{Jڽb"ҹ!#/( *OA3aLJzI~'t&:gA ~Jk>=id,0?gKG7gu;kCV@dGz")$ ~ӓyŭ+bȴp{hh.H|H63~WvO,Sp^.dPL- Dqw>|I b(/l2cx#U&qZ&c_^K'!F}ƴؼy z/Yq.>++z/5DQwb2mѸax 4Ai&Q!W[} ̕bce&-ͦz-tLʂ^<*,k1M/ذ Z[ j)dH{0d(9<%0G d]GI'!ǕZJXk5*2;x_1b:w0$Yg_+#mFkȪT0#P ܛ@4 >CGfNW=@ہnvUwy[f4YYJD8]&I'0I ?c WWi%x-|/ks1A|Žbe#퀒(лEIM.-RȁwhlNInUnf,5pyĴ0YO,fž#ty*Q{0ft=})@}>riTNC+Ci㬛 8&zH^uJWUnpX8G18fdP6 @E{eN`@ V`V bH|@JL=ӖTH;Eh'0M՘h4nP&X|Q X9r?{JXwWsE # Jo׏gci8ڪ4KRcG} `(iC@ zZ8~+#~$]&rky1dC&?:փn'ҵ hRFR M˧UH¬Û9@A>J*kvNj)VL|YrB2 x(?C \|& "K ;Yo*io  &:"*Yk䩉/y&ɕ9$n@Zi6 C4ZA傭q傍u\N8lZHǪlo.D ;1Oi}ZAiZy~&1+8}S lMތn[~Sԕʃ7""-܈NWLHXն_2K_Z?g&.xCVD})$=~8njd):ox0^W"|XG~x"ل9N=W\wS4+p-mRʼpw$ m٣Hڨ΢" SxznWw7'0^+g|B>tJOb4 A'T];H+K-43oҙb9d#x* }r'X!z[ h`}ƝnuT$xNţ$PD&wUЄ5g d\̕ԥ6zԎ *B _'+94 ھ&;}0+#(Z %[}LX l]kzO/^IPG\Xi/Z褱}U.0 )FRDdd`r~|s78O\ur)"17Լ1/bMf,BĴ5ܜE"r襁̘mU(9Vy!4KxυrKd|!\묿ttW9?iS9Xє4k P+GqN/h0s0*5Cj[m8 b]X9 3W.Ci%Jkq刪(mU.*@%B +=<9~f0͇ĸDWslMQ x՞JKeS!f9ǿͱ=h+qQ0t=,oIU"jtu9f[$ޠ;#qyXߦK1k|^!0'&12 xS{ O'Ƞf:utM}Ea^E-H{Tp(,WS­^G<)FIbcrkߍ~9۱U vB"7.KEHVd >(lG>E B }L~}RG 1a֖r5f>ծ=#ˆeȧ5I>vadE4fH:cGa>sRK ڷJA`P>q%gTNY?Qt5urJVg):kvF#"y`1 H, 5YrzDpDģc$1sNIbb_`X`wE'YQm$c~q^& _H+'Rcƶ'= .+8J iЄ@2JZmz%ntkUcy7ǵ3h{{M7LQϞ+Śk5vkO|+0WT<  Ue7=CΚtF/S2LR 0dfwOF9+:;!i}}OFRdz'mq0_Vhp_:~ a[)gx_D.;o[]jy{%eZ&ϰ Y )s46 Bx+ A@})q]W(\d6ʠݷ\7Ni4b Wi.YʡZyȷK:Ʒ&1f'Ҧ=g V&R ^+ 8u`XQ*9U'Jr݇~XfyزݴV~{Oo+ 5A:" i~dr~\pF`C-)n(:M.p2q̊LĬ Qb; ibƪޞ4:Tt}BW*H)J⯥ 󄡯:jԴ>I1|w'4Uq'n da{T\^Ƀx_QQv/FxxJx]}hHB~n!}U)úb0$Ak]fGP;_R4^ڷ5uͰFإ1A1`!3W<8a=#~iF-v}Eww"O1V5lcKOwq8m"f@O$zʐD,sk#x&2͉3ջ>GUKKO0Rrү cdADSM6\v&DuN3\~s Ɛ!ւR̼N(TrX '}]tG96V!VaDnQ]4ԩ,!'j.Fҟ+66+g7ZPd1?aKʼnd|z!3J4ėE9ײKXtT5;١0bCqN#ˁOශB71jiĈ>-K8K+.׵quoίbQR--40$Yk|ZՊe_%4Ґh>:FgϨ K7Ջ#xe#<4IMU{Rgkt1؆).:˰XdiN- ͸z~kEhV i n`@0Cjžp{`Rg25\m 2{r[BޕxⓉіe85g7b WF֢ gIrSkBHWJ>U)h"7A74 1/~.xXܱҾ* K&@gLcAom U<]9`;|%'?jd/W <6Ye%haOlkf=abmg< O c䆯d'O ^ɏEggtON, ݻ@BkpuÃ}> O4Ɯ4{z5Xa$Z梨rMA |gYZ7zXZִF! >I]ŗXiɟ>P++ \D;?!W 2OTFfH-w^ΘP(˸G%{!i#e&\_k8t ;Yd>Hi^RMF m DˋʖUBr8 8@&#sZ6p8D̖ tvmnhk`@N; n'倄akh~'|gh 9; m:q#Pjtc᪏@ +BjZfk$$1Q'3[^lFr p]6L6òA.mIf9,j2ji+atl50 'fZJCFZKsW VM  J $-0(M_q)%t/lt(,=YCM!d{8z%i$eH$?NO{>֩X.b˱fy}@¥^˚ t@5wV)'HX'I+6CMP9X]PN5f%RFJ>NbYI/fLQ(HYs{ DqQGGdAp<-UӨB1*"VBB} "J.0<ԯcY1[%;[POY S]GߗUT K[6H04YY´oHٱQ WZ208IIRwwĕ"ӥDU2xϷ%$nI8t"@+ۥH?*SֲNaqlInE\fW;݉:~M:3 DD'6zm|Hˣ~ _7^? jW0kĩar6 tODAEEsR'3K\5ܱzd$ %Ltb>Y{d:rTa {v ߌ^Pq߽2H qE@ǕZ/vv.VU_&Y`[BPr' _C9ku\>MQ ճ= yӼ̞~Nuc509<["ē&PhrL9 >%+gYZ7zXZִF! PW]ŗXi%L /J(|t_+{\+gtGDŽ"'Zh E%<g&EI˧C#II6 K SRҧ?+~]> ,!)LYvT%=t*p wdO I\1m6E`æ~Ė7G>r'9LAz3鍂+8T)j'G[l ng/V/u9!JhK$ % ^`;QCk|`1٭=t8&3n黐r©j=5)ȤIp+A;c"XWGW7Y U~:f^XE0,{)ms!cwo 3NAYw1 <.YЏL-ލd+ WEU 3T<>cj?$PX)F0ܗDDg&31ͻAmr]e1.t%w+p  Yv{DF|?(O2𞐎@C}Aw"AX Igz¬vRxD'r'lۋrB嵄}A^\Q>B]Y@(`3 {Y[60ŤӸs@v۾WWj''*3^:Az< 0O^2 z'|>]͇;vEKIé72hQiΪF>֌F2v@~Wn^;aL[<) }ِ|pϫ,Z[b=vzʕ7LMDN'B(Va0+T6>>&TqR{UH1LB7OuQm`Z*ٶrd) uu@\bH*+ѣzd@J9OG!Dīg ZH[4(lEM0u?Jr4/s_ Cʶ]M9"O5o}ue~dsSui T#:60l=x?/Vvoi;eY֧̟1g=mn٣n@G,K8Rgը>tt\ɕ Rj$'_ldKijH儺kRd4si܂!"U EG~8&ۺp/A-4Q Ѷ1x?!bCƛ"ke\iP涍ӥO ĹE䳘64!6Ōv}wyTKs_74aAI+nMgohroRԕɀxxdKzxOp} qv˴@#Nw\cs\0/Z'hkڴ&y A )۪ݽ…KFlZd-UhM#0ܿ>ck-B=(3-IhXu;;ws-sY'|7 &E 4րQ#r_E'Ly?Zĝ:u)j B'DBP!^z- dh(Ӱ5% O= . b)`->u71{1&8uFg jBAJ6&MRM9mbx+g;QMdI84\t5Yϵ/㾥=83npp=fxpU0wgND&J_AEͤm˥U3 o!6c'sYF?0~)Q3*y <(UvE7M='JTC,.xf("a^Μ[S^JVwO"rjsBo^aN]AO#XѬSMtRߚV_"Cg[MkcusD\`[{IWևD/aRW04ys*ehz3jl*@]Xxj)>=ɸ4ӣ]-և鿱V,v*fEvW3.m&>v~Ucuv\}3IGYx*#LVTVf˜L5X9MRuiq}lT܀<(yw$Y>)i6XpRS$3MǠYWj#^`?>gnu,U]pI/s+ )ExwVOE:9 ) $r|]{׎M_5? w>Qb}:x[PFB #MK$LaXsc|7(pbEI&ⷺǛJ$^nL]; ]=jMd ÜNl|2v>`ScW(z](!o֮LVO47f`Wy2 . ȷR,ƎD8urUٶԢW%E|zey{&2QVAmbGoʤnv^={-i<׈USRp}"O5r3Aos7$ӤDЭӽƤ'+jsXU;s.e''s V|l!*dϫߏ$h 7>f<)2@IqGZÓ8TwXʧ3޿o%O8GirT+/'/Um(T\6|zd~ccge X7Νa߫ ,#4$2.XKG" 2&X#mi0l<4eL)t6Vҕ0//-jNV\'ѼR]Lk+2pu{}h T;I1v6}(1LbR*q|Xw)/5V<3lS= n}/v}iJK83vn&0Z $iyeT3\>Ogjɏ%|#SPWsE~,= ?ߔQl?X\x# QA=s=_#S~ p\\@8nlѺj]4EZx ܥfƌ7gdY#-d6wuuw^hbp5ܣ&g D(.۰5P˗KB@^j&("(ShYx}%G;fk E4X|,):&z7}VXM4ī<.-KQCLZot78i8Wxj$4b#a.hBÄ]~Bs]~ZhnA#|WaZzǶ:ߗ1& ̇Benj̫_ÄwP e@":5Rs  g&PI=m+bldO+?Xt-RR_1yr A z &jUqfOACFeO 8$7ā&!QyJ>YB-O 3N~AppBxzQM.XnV񿰾}x=C9 ,bɯq! ʜNu-Ӯwe;!)̀{8{>v$LX6Tf=Mܩ0! %[\E[k NOT+fM,b|$@2#rT=<݄?X)n4֨O#HƅF #\9Y^PD đV vrZm؞e9Gڕ ~FߣScx|È%vҸokr>} &3O Y-\,&<qNPI%%P7'v@]xue)3=w:@=j|6X{0͔~k BZM>޳B׃0D^mIWg` 1*Xh2^ZA+ ; sGtz ]mvKn$.3XC%lD4,t &hRC CdFZd3;ڇ]=_5&6ۓYsn/hQSc6T;4 ɌmؤO2NՈG Nx%6B4n=opa [>;Ğ3[Լ0 a[ƍ֭ `1!4A k]ZSm H{Djl^ !3:9UW4=jm{*ԷX2RZ6aeTuWhvv9ul@)jk2:[ AD\dхd8ۆ0w?K,eaC6 Bd'#!R#T'oi #Hbcoh.r &'C7cdZ7 CFܺsڜD}fTnDQ.[ħU؅ߓEe{!dک,>JP7w@n{ʹ9+8cOCJKIaLAX'  ;%.J]jsDEG3 _Da譾`gD s.xrlSbjeԭHkwzκS^t4_R2A<ŕELK=i_܈C`-X0zo| ?:lv?,q|P Du<oq)K `XL|&SArFw0`1 IAVq$J_(w*l 1eBЮqOQ=$)iYea}l :LfJ:K:tHI` Џɩ柎Nzvsm,7i7Ouƕ<ল_C:cg-]X8_:2Eh <Ϝ;0׬ _].l:h.}Q)aMK%=ct#\'_x=DH5חhq Dl_0ׂKpHNʬ3G_^B¶Gl@Iu>_[);QTPW w< c\g$"Cs* e /]̝$؉YaH1b>j5wv9lr"5zNwGj=u+9 {Je; (rrcmWI=N8KuKE TbS%m⓸~C= "=D-tc?wQ\UmI>R(M\=9Q7Tڕnz0ꌨleW ==Nsk{ՆgiQt5ZXusH3M\Y컫"}Q7Y4O.V k&Z>ӕ2PRJ)Iunݍ#x&8iVr7^mP{cG} r~qTo^J0S|2[3 Ƴ Snmrz|j*wD2}$ XF_VtihUlH}"֬IFZ$#k:Nvy>ŁTX&9dSro}K^>]üR"e*Al'b3&~CJ0q*VjH<Yć{қwtƗus;QZ"aH: -2gr!\&^Əj)aS8NU<#Nmh΂_0_qe^/Sǣo2='{LD,5$l:îͨnX2e( ޭuƕ'@;ĻTpgzU+dFw$@Qh׃v*q܂3=br2}зĹ@S$orj*ք0zM7KzҞ#[UjWa4eS@k G}v`JtDЖ=(OeX́&yHp+sEI&L, k8XMw"y |Z.MPиzٰ][)+ [ ҧWCS*)zLT׸%u4f3Wd!QHku,O0(g6lKԆ+ʡTF]a3lHU }?S~Vsw_oϨ,=ZS}Ňs]3PUmdӤn@ +xSizqi}J㵮搀sTB\z<\6] ^P~A3%Z|hl N%4sPJ,qڜ`4kj]*qQPF}l]5,&γV"'`" p"ML4sџ;,_Z;᫗hYƌok" }jbs.B|'W3%BUj۬ap0)\%Xc#"iwSUuGs._J_0Yvm#@ LpdϗifK f` Us.]vvSnhjұbEZ&!ߧe)M" ۤs1(ۖFɤ@T}H}g!ع3kI;:wuWίkTxvPHƑ/Xod d& yI~EֿkT9*g/*ciJ>e{p~,Sޞ0Nγ2%('Nj/{Wp>]דa\ѻN1c9!Džkeo+yK;NeJ {ED"X3)$`n[Ϡ9ZjQ|=jg$B=Wkb{;,dݱT#f[L +oBN9 2ԶR&#i(2PfM:^:xAP7aKz~-3ew%0 Wܻ۫`P"! kQvt4`3 qsDK{_19cRI) 2H>Kf[CvkE^XW#/E͞<.Z:s8Tf̔?1_Jm"LW<D h5lyNΥ8_j)f3(gϮ0@V =U%ݢA% ܰ5:eCSf~,:y7P267=iRqUv3vYIMm'T5 :DL|i`rn 7fw2`~EoUƦ\kE07]zwq^ȬSv߁5hx 5EG$fԓ3VnHEW231EE'Uз <577v'9 <2C5ƈ䙔Rk>i EI/}QПz;Y'+d *}; 'i})b{Uw,,Qw)8jgu37++#ҙ2d|?8MZPXXH"VZVU  1u[ & 1н^ [fja⡵jI2Syw- 6i5򄈥]/^BR$Gb.1=`/=HqMDvLXl:~*52 uĦ+;_NM1f @I SSچ`I֛owE_ S\tc1@[B B44LZZ-}uН`g~yPe.5O46usfy*} GعL,o|l}1䍏neS7Z{Pthח^EkEtNŢws J^F`mcD *@PqLy݄Q7J-I{Yd[+ͬ7L. 6%_%)._KK%iAo,QY[<6(b!ɯtg9Q}d|ڶH녆%1f]XI=lʙőe[>dr#ɂ⒙PTd9a9 }hu*BpXJXn4܁MEBNA+R ь>k_"jgXՓ/,yŹ&*V* i*-sͮm͂g#\*%ySL/+ӳke^C~ӷܖnbKa%獯VFxʤwkN_=Yy|?ѫ]Dy2̂JaT;:81z 47IEοSy3C1H,ת5ـ)mC'i5YGsp;xܯ:[7Zu0kleܰ{/5426O#@ҭg֕Q[U~iFwXXdyLb 鼽S#kZv7EW)蘀awθP( xlGJQ7]An$iC%Gfx2բ&j6m"SßrzPҙ戨xO;'- lG& rY~HvkJjToS2熬uL.Mp;q^#' 2k`کhFxI_jo7Zt|!MQaA)5̙0 (YzBJ.4[J Je - dbn3:|EP )tBł/A]L;~nn$Q5 T)o(Y*OWM_宗ZcI[?+ I` %Vv%- ۄʋcU&I(yߪg 1tP#)dd=4i-%=<.0BnJ/d bvF_J iCdh gcͭI(CmHaLU'oROE,'/%je\o#7ߗˠߍRiݪuL׏D ,iDJYa(&/z/aSYn <$ӖTᓌz._`kO WXt6#͕3#0,5}QcKZa3@ߒ-P &Yy<+sڦk\2@ +O^O~9LJ#7|h:hTNuI4c~䳙mζ%ZP`Y\w =Q7˟>h 1مy޴d@egLh$ }3.jy3F NcClUݲzubHrք9{n8bs(3&3 ëN 8BJz raBx"e,Q4a^z.` x/vM3^,L. /*>͍ծX8k(#ntv) ^q]AެGiXv?1_5—oc 0,wqx,;a7E^;q6Sb7vdgWl, ҂]Se-..٘-R q.^9WN Rǃ>;P,H4:vڈܰEH/=&dXq5Vϗ׮Sf4&;BX.+``n uƚ;dgh}xWZV#vBrb1BA珪 "7vظL չ OTPbMM>c@FzZ Xy}"?rǯ7Jn^ad\% y ́p1O B&HYYpLqfW(\&z;Pژ.$0B"x Hn~~Oq1̦ #`~;#*m-LtEM׍ $vԈXBzuSXc];D6YFZ#맬>*UMKu4Ḑ'C 0l(T4 2ſ<9b.~z*m=qPX( l!1 V.RPIټl9op}"B3v Ό!Q?jLcoϋ!9W$J75u'w{fn4ET!)KXW}"^L31Fy[ow7DU, MpbY J~m J?a̻h36/Oͨ籺RN2뽃-է!@j@R;C'NMF\2 n3M E3 fydXYsjeJPפY7 t̡-xwBJ3[4ǡTjQyDPsuoMd|yu4'^ _oS O z RNǖcB${$Pf us:E_QM#Cih!: êW6dQ5pq Je/x~mtkhyrq$-dڛ&^fȊ5UfMrîlch}gT'\)ҢKd38 yYSЏ%E>n ^B*~aO© 9v+kY-O4襅;LU v-m!_heYX.J%|!} 8J[VZ۟jsQVs nv]R"'ae~)Xˬ wfQo-/x(b\o8!d/.w]_IR*/:8Ĺ:㕀2 1q}=+t;< u`֬OBUq]V 7[h? #b,,zv>v4FTb[@ǩh0S7Ye(= M 8=6>0 Cb鶞OtV f4E&.⎝ĎJnd߳a9Z42oWL2@\\ 3є\ ; T'_3%iȫv6ͯ‚=8o*b]S- $E%,Hc/ o#n-DשdB0<]!+ƶPXU^<=VV.u aEXoLȇQq/ǹ5$gmm1_46bk|aINlNc|NݥcK82!g+`ȑ!}/J0޼/^Բ',_b'j)= :ji; JG*DŽ!LA{-ǵ5B謊NpE8)_+Rw Q'}g֎6/9J4Wq Dק,i?bɒ nq:jMy^֬&[%c-?o~s *JA6ؚvCH@rR߽ iޝIC>=~ p1m3X,CBZ۵#ݕ3yV'R̓aV<͔F kN)k'6g5B  *[E8؏芻zY;j^F{neoԃaѓYt=7iSA$${#dE6C,0 6^(Ȣg2v=A8eDѩU^]vq`EQLl'ҔP3`+ᨖvk!q{|x> QN AP%^r^gT=#?*^:Yi VfTDv_b<6*x8mHdob{,6PT_ѷl`ajʍuawkIԈ4Ϫ]>j˄EK `gN5/,{hQ*&$3u' !R?rn>+Tn!˸g?%;Xr@̲d'P. *Nfn.u~%~# K:hPG霑dhPNa%[]0Q^{W X*ŵdȃW1E;Ze2woE28XNcCxQиi>a7gp*xã6)GwrKfUE[d=O 8-`G=}2叆7D8d&`?ר!p*:Eة G}ZciZ#1@DkD\2KK&F0sV76;+ H?a +7Ǵ!Xz.`EkᬽWPk;[&ZjQ{-s0eWvgVtD+T_!$CUj$[aT3$1%[C-?}YaMR1H0~,mU~n:807 "cÝ!MR#A EC[ġ QB,n2zW6]V!=qxb1T(#[`!cN )LfNz-{C9Sf,w%F"C;/Jj FFڙx&ͳf671\reEcܦ6eG:7s avimA̍!DVMJdlj"BKu$"k2qU0-r q}= so$?+) SH&H*_dlڟFAFl#2L#%5NҖ1jurO|~oM%"ݍ`ߴJn m.ʩf:Ъլ}$*eT21ڴ%io*g$krD.-iy$3Z|؅2`O,千;DፂP)w!_bU/)4v s@ ia8><̳PahkXN%.7WQ] o%} " ¡D ɂ%#f%rPc2E@d !7άܖ)E$܃5=FGoDHl7zbwA981BIΧl牋=E((ffkd VBqH~AuyD/f|ʬ,75S +YFͿcSeLPx|#r4 {UiCRVZip+c/x7Tq;18訶U,,D\þ੯ۉ.mЁۀ0 ֖=?u>\ͫ=O.zAw%>&ڍ j[ȌEpY 2P=px1 2$V3e!f2P&jpѲ#pF36xM IDkTH|y~寨Sw Qf'[P hl9kSX;sK1r܊IO\C΁5+Wf`P!;4v?"fߑt}Oe,k؞ʒ&Akᠭ%಴I`ߜBߴ E:SI;-Y*Cfǵxy?͊0IOfy.!-c"Wdڞ毴4 0wQ @]戶cӹ(^Āxo͑'OkSk]DPL2Z ˃\c. =m7\E/1eLȞh&(2 ?__\W{Fmfk_b >->8k;m<"Ehbfqè'}Ȥ4@yt "5@w}aqdEbr? 34 \ r+У950{J["~ǞPY 7ѵg JgnAjM^h9>p6!G5]dPq,T>YL$]-k>{T jړ4ht>pL)E޲U0|gi=]c7 u>m(Rg;>ɹ[ >cQ;厥}vpƾc^nRju0Zh+@0N+uz}%p2\4ȰL ܋ϲ%ȉ7oT5b?@XN._x(ďyIkSf[&w䁧?$ߜ=v+H,r+fgA3#:Y48v{e_3ănhK8h& ,eU߁?C_(#Oӧufp u֠ pm՝/- 7J胭`$`d~)Rѡ )qٳ82OiKB7=5>ӹ!eg$O='ٚ$PAږ5\4 j]'D"oVVQ`uP 9~=ѡg~bT *|uggYZbb547eba4436690de032b3a93ec9253d726f786fd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 e41e34dd2653d34a26d51a619d5ebfce818a4545 31a3753b20b0f5487f78ecaf6a279c6859063265 7c1b0dafd4f5b403cea11b8f60a3c07a09a135deed12a3a80925b74f8689ec068bc4f829f151c5eb