SQLite format 3@  .0:  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 XXKLlT ]%]Transition_Systems_and_Automata:threads=4elapsed=246.277cpu=893.532gc=41.764factor=3.637zXZִF! XI]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W` ?'`5{<9|ƠI0^I@UaiZe% _k},#!A6+:X_eƒA-\ls0rD>*dVǃOb2Dd#RdIY *(e.K'CU)v<'ȕҌV{@Eٗ\(xZ,~jxv`Ozs xCqyh~ ]&t*-&2 syRth,#K)۾p]=J:*j` |-†Z$lY [09bKɏ`ٚb$z5RrΙ[Tal#11PTBukp[)5͒ ֓9&N 3Bz)",A{ I+C{ki,^FV/4&Ǩ!o&@\bi[`0Qz,[Ѣ:N=Jtb39X8?35!w`1SEA7^1&8wW¹Ž.J o@<<ƘS&$Zt~2t{[řVu1$Llmhc~ⴆ^(1BPuJU=3ΖB65%Wo]c~g7ԝtveҖ=&U/[mچ٘]ҳhCDbV.2P|T -n m;zq ԥ %6#ܺCuh*'ȑ~ݼWF`v4p`KWx ؉C A O}CYU"Jj *1`.Ci{Ý+$qi^*ϧ"6FWj,C~ZX4A"~*CZ.ûǺu oixx5Tl-s>[Nlz 8+\ ZnYQp8BK"z/}9j{Z.CW_6%2RB(vNƑTnK_R_hOn@4+; Yn?<֨p<'b S}tP" 0yϟot@ bȂk`|9:[YMԢ}1b5,FL|c&9r*A<=x۳k7TLP,vb91t3э6x *vBTޚ>(߹mW_}Yx $,W)SqO(w}.{-(&z#^r,\k3fj0<̵gԩJIȌJ_lzW91F%(MqZYZ@^!*%@"5zĨ(fom9I#姁`BI.ʩR5;Bq"INPr4eegNRdX=$ nNߢ&@P i"F3ݮ'r5ow 5_bEɰkRlQAp^g)3gQEϨNՔ-Wjk@O?uȋ7C,}>o22zr@o8i@dIj%EpCu!97!߷Q0C Ef$I`PuFӨItNzK@@2Ovg>sg,V%,jFɏZ{Qlf'~RτלSqHE*qŴNCj0R4h :"fݦ,uC\/Cǝ"zy 6ھN1[Z v&H&ۈ {D2&Î(8#I8I8"B>=E9nt_?L+LU̟8"?d+BqYFx "K Transition_Systems_and_Automata aaKA+ $Transition_Systems_and_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>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%7bqR et ݦ{w+d䣑esJ'So0GQK]) t~vJhD!dx3I̥ř5qoVgeryTL̬zxΈ5=@~ɏhJ4g"y}iO5ua۱q s/^|AGسqՎ@ˎ(Ԓ"\JHEZa7'<;RuTo"Fk1H#ˌc~V媝0Kԗmxx>@僢)to{FOIxǵMx\E( ͍u\oE1,*<;#dH si﹈O EG_'ָn5RvfTPQCc/Bwt;G0!`f&Z[> 'IgmK)V:o&&QL`; &=İК1bҦPIzvRX].hd`:5q7clìpJiӻA)൷A9s;z"4]!Nh.(-spS*e=${D9ِX |&aڇ0(:FbV$: OۿcVUA֎ ܭx9 })~G?fQ;Gg9a> .@!q ܋ŶcV c e >K>`hk*2ISacB+xjһF~GbԻJ`ѥth2G9\枓f&$J˨Hwژ-lUyBrKM/yVhRD}x&RæT?ɠw bR~)UH0N6Ȫ\w!ΓB3s/<!"D06mfWA4~{Iz~ wk*κ#ľFױ'`|u0H/2t ^Oid'sJ ` Z4Y wqQ1l2lmxIQBm^lZ# hG8 믦]zGfX Hj'Hs R\M܄`%їpSήɉ5tιtv Cv+,DMaMߔ 8Y=F֮O@ߣo$]S4 l՚wȰ`nu[fA'i"%Jgw˰wnt 2:Lv9>*0qm~=P]t3B+5jR5Cvsup6 o"68=#$:2<סk}p#'32bS:`|)` [+"@x6JyfzsKOd-32sy ZnHA[ '+s?ټT=-c4@+ylJ+^vf|WJz2au2u[dސ `6x@EfDZaXY; h#GaJGRGgbN?PWvt!8~VR@i+h/h!sOd;H!,ׅ {U `,WYgTo6`571,xJ .=m5ҧ@cF)+5iSk#hJRۣuTIih4fL$wIh1E3O5 ,HqpgvF7HYQ+wF0Ѷ/{}^suE}ĸdc Xz۔PsB0pxf>!壙I+~ pP뽬[Q9"MI`={…ii;j g6B,bK )|}v,&=D+JZ GȔ [B:ǃ[՟J_D`YZ2 %^]ɫ܏'-yyNYTج|gl=\@s&N/Y`\șL:-@)wyYxq&w6wwY H14JGv-M a$, yTیP^b`R<-X_I=vNt3JuR wkJ硈#U/NU%_WlW]w3s/e?Bvs9I@ aKv!3/iiY&pڑOSv"^`c?$4?<`0@\g!F5 ^[ckZKaZx F&@T{ }Vkd1-`I'ı裆BpF &S-{3ܸj}:*ꨌ>EŒ $0@.z=mJ= ڻNS|Cz`b̻L;/Ύw/*+|UBۈU $j @H aܵd8cu%öBY-} ˢ#li&:(/T.baA2,)SսI n_}CZg~r%c9V~w 0m*pm/,R4"l5C~. l~7$Zc}qqn _Kz|:LW>ݥ_gxƿگc ~4HAș?EQ9͆uF&{%Ec7hK3M%T}Z Z7e@X4kzC$w\u7xn箆1ъ/<]N#6F4 \ 45/Ť& '4=P01?/S)4v(!9Q3Tv K)oqq=^ۭ%z' s#4%j<~Xۨ Z!-6B ̝8E"q;6o F\~~Ԃ 2O[DIUJn~&m(qn zc:Q~`M G8U5Pz=2E~S_ sibk?G{o;?KMꡂ+ӳ~0j=u*6D=|-cMXn3K{dJtIt 5kLNyqbgQ_ s5;͂xk\+ ,,Efa A 5Uyl%@#􃮲}0I%K_)$$kNO_F=fswv 얱C&ю~Ntt\P1׍9w٣mĨ|]yXj&\U#[\ޛNh  ^onw?am4g 5Ro]3.|iZ?tolGtJzYg < j?y'DZ$#ro(%}%J1?pUn w5$Q!Ŏٓ(̧H6-X) TmozF&ĂQqo)52嚔dS*pGc஦#puQLYNRJod/\but]^qw5UhXN1nϠ&!+̨9vw5Ea)HA[eM!aEvIP:NXiM/GyC"8ыPM@QѡZC5G*Cs! xEXhɆ/&2c m!m|&-ճbD!j{c:C%C~LkCMs5Fe%D"i{Aߜ/JN⊟E1K}tk:=.[C"FДZ7rYzzLK5HUH՘Q?;g{-pLmlX@$!?ʡ48@OT5RbKPM*@xb$GP5Ab5^@ْ]qĦR?؎T: 9nH!0;!$B+4KP++ \D;?!W 2DzJ-oq#}0Mc6D"DH27=OKz{'ryj$t%lOUmqS8z@pqӡ!` ) (cAo 3ڌze23 p|SHD;d[Lm) v M S0`~"4}GuILh}nH-I1+=kkr[GsCdmqyA6cdLI{4Qoյ f`2߶lx&!o'pw|#QYlm]0xo-x5.ХrhZ<̘E ?+27X%sȝo+lC^-Hҩ#7G"͡-FƎt2B',ZzYɩzeW5)MռK"3(}nMMQE]^*tĶ̆ 䶛;E,Gus".B";)GY\2:b婀n.z>}Ԛj.=9YfTGk/ t^(#W]#ޔB5Ǜd3ۑզ:gTd+HTސ; 4OnvݱgYZ7zXZִF! gdT]ŗXi%EbbMV/&O߼_:r!XHo?>txDpږh2MG}OVmˑқU\fb ](9sQDp鍀 :Mmv B:KniU)):BFZRw$!7DݪR@)h*ķ꾤 ݭXԮЧ3(EO)Q!! ~\) zÔM):-"{.[2*L~$1q=$wr "#׸rWC}Xg %Wlq_@&´&83U/#g.bF$T!udfi@ ^@>}X0pq`V䴉[ɠgĖ۩ia [[Dޕvw $gxi?ߓc-CQAڎ&JǏ$8(BrX#NI{G>H2ry6hZJԢq6Lo/űa!1pIwAhK%`QӸ@byz |/ Ѧ[V%l2#%}%iy8p!xh%gEDA2{,Q!$y}JbW?NNlØAm1I &vz=I?Wfc&PUl*88GQ9ns<d3ZLKjycWk &267 ;"[jinrO~H0\7U!nkob吀&qoT֞xC n pܠj(S/xC)*;\nW}ݳVI4cc x#uVadѣʝsl~ 1@UVV>\H8Nb١| =Sud=$C3äe7*T)8RA??80oKϧ?Jީ|*ZQ۔YhyY^ەxF_%y77]=`_ڈz :vwRՃDTwΪbZ7u[%˼IQNV^Pi}ClJ锼x%_JsJ(;IER;]LgݽOrػl!h!rApnboI(NVyxQGK.qbx6XLm_K?noTL]U 9~b {Xŭԇ;oA~Mq%1l|wb ۚ x(t0Qm¢O1:k+0.*>$8 q#5i.C( ;0(_g3Ք4: >Q_'+TXt S6;AGiQ7u%fk9ըV# E_i k!e=ЃM;A@Lt,gbL5F03%,&fX8O?f1NH$.8]NCk穘  \}d,kP,k&F:y6TmL_5[’0>vԼ_;Ulu H>+ՀV߲*P.e[IXYj/ш46yY#(# ɪdU7p!;pdet_䚵,4h{=@X9:7ur*vN,b*ip-1=%Ff 4F 6 F7 ؑ X X΃n4YQ-DIv]iGK8 o eoAjH{< ؅FS!ļKҧdGz|׮jm'l';A@qkPdkf&[@,\x~ d3%%0r&/ :qkGo'م2NGsWqoC''2)Kn#/Halɵug~8s~mj?*2-D 1zjL]>-᪨7B(S7LFiU`L­Y,Yw}oϥ<+S1FT Fbˇ$?_Zaȴ,ه#b2I;48d%OjWI|*pQzoKkuV!y=7~SObwWVUBsA͵0EQԶ%Qlapl[~~Ɓ6q &1`֏*R'Dbp@++)ls,އhRN>YJk5~e{_~x':O//ׅu2u=|OF|* \h]󘘵ë>ʬ0`0PqtKX{^s:$ƶ B)/b P4ޥF{FOYZL_NS'49 S]Y(V't7EP_F%B{ZP'jXV@wHd6XE_\)E#!#ti=ZO'm/_VG  x)g,UB w i6M[:8t3ECؽ`0o]klk!sQnϽѷ7U0 w iS-MTygp(6\ .ճlAXsmxȭŕЈ)k}F!oIϏbw| %6C9U]{ذ^v+x}u-ZX!gUx3 2lV8>׫HҀpfhYZ_N\vMJ"Q8>>zHL_fP쉊Pf?֣c쨰5zgl =Vch BYyoߜ[ED_7MҏMz nCW<.·8|ZɌJRo*)m*- Y:Lr `*j8瓣/V9 2V4GP%=7v[Iծ+ȍIGb>t݄ˉ19}]9|W@P o#ek&-i,QOkڄd4B54xIFs vKlkYD4;:% C߸HrltW&RP=DO\698/)8Gho֐8p[Xpï,,G-eo>N!JcIN|mI}xYaxp hؾq'UƼmF\L2<緫-(KYsijP>XCa$.;8%oa%Fg¦Fl-;sp4iڳҀ ^򘻤9O6ہ`O!vZvRB!'vd@'1ɱDJ _cHjֿ@,ICéۗoK--Dy~)GS>thǕ%2 W266 x2=(F0c&7b ;M,imJׄC`=|KHY6i`3pz"J_gzpe?YYql(UǪ{β3 ۣycJيvh*w8EZJS vmϺ+XHJهsMq |W:iAx~f 4`KC`y ~LGGkԔwŮQځ/=>ўNZ"m @G|yOb0 TV*vjsl*yOY[w(M, ]ĵhuh:Ѽ 5Zgɀ;g/C[P}Ԑ*ut^E!#\0)_G"#nˠ I 2l  i%ppH@X_< C!$|27OTW &uچrձbbf΅ٙ5-uzj &K-X9*fإ"M ? beN }OvfIq1;Hf\H+DqH9r=" fV)1pV5[l%Xh[hi)؀5d;toNXHח,М!A':):Oc[utzj Q6Tj4颈6J q}X˯@ :  XtfGunn60yA(e'MEgaG1rea?z-B5\Bڎ8n@=-Ga̒ٹYk ,ܻD~4#fQVFG&] l*+|m Vd$fi~ݤ }t"͆Vp'C2jԝNӌN)D`'KbW Nث"A*4>k.yR'\p3+}&,: A1O@Q犇0T^*ӄ~+\2B1VB+d4)0R'dR]龜w2 Кtq0s {zHRAׯjdd9$O $Q+,x=DcL6b++{yEAASoՆm%yyW4Cv3.psLH/a_1[t'4\- Y* b:C>~zaG7 c|'JF3©~Hy Ahω?jTne­Mq3hۚP.ZO 83Ar2\&)!I'(%\.ν`4xn%_8` N_1C[uP»of $NkP.=(֞좞ޛF9Fp}̏%VžpWEypw穗ՙީ cp9YٴȤ1w27Xi 2!5r<Z N<sPqt-9h(|L^y(Ʃ%0F4ˤ2>H U߫|+S4թj0 ΃Ze.2MiM9f~'{F+Xk9g"dʼ9'/^~`]ٳ!P<ޭ%|83wAVk2MuaSixEdI Eo92?3Z5t%q %4 򺐹 +v b}|_r/Rxr7wsV-ֿ1u3XlQO{`$a1~s53* ~;p/5;RʲlOR<urJ<رYr(bl$*jQ.ĖVr4!=Ҧ^ JcVކj߆u,~ kZJ/K kOxEF"躤۩ :,yqv.Q!yBU(]Q_zI|@ ̏>~Pv`'bhΧ:xk㵍ulxWg{ eJVd4f$ u`e+4KG=/o&^y./\>}H>Ŀۇv*2`b`㉆ 仌#bJ(| mu݂ 0|y{0lļ| JYVlrc|^`rv3gݛ\6bgiREj2+jůe|e.Ꚛs}}~5`zwnh*`KEk:d1P4sk4OƽV<ѓG)s#DvshyOa /p'.ʚ?:}8`?D\RϱmVeZdss|a] NS8p/([ԬᒕvC`Klt7*tO#`i^Bi73,FV-b9CQa֗ \uˡ:c&}b3m8rvx"K!,qx t;d̔MN0q^1& ӳ<޾f4e5TiU׎ӑ j.U^y lLөp$MX.5LZj~\Ī p^stadQK#woƠ ,K1=vo\?:.;}ށpHoSI;}l5Sٽ?I9 Ȝb'E=D6Uǃ4Iu.K GM[~Y1'`P0DLlzruk5GZ sK{JS+e.c~W# (Oyfx,ߠpB\=ʟ+PQLƠDg(|E·WڇWH޳y.aX(u ʲ''a^9p67Fx8hoׁSTtiW%hc?v;ȞW}b?-NjG i:b.%Kh U?_"_glUW4vO4+.9@zK0ج`b+l~ބu5\7UH;0{r R#-K^3p# vޠLɚ]`eHR.n&O_nM)kEƤ%iɷ߿]v*ɪ3)0?ĸ<!:GeGkq4EO#zp'<8׭QSFm]j׳ΓOc5zq8InM|FtrPȢ z %@ 99^5oT؃m"E_+UFey lꉍ({u:".*A%Pr=lO[v, <?[Q$)F^&ۆ$6?fu>k:4LFz {nG(a:S%ƃSEJ~JZ3zZZ0:d2w 65*zQ?)$rA=}4TV \Q+)9Bױ!)f89l8hhRƫ;ΔY-W~ᆌvny{PO \/ĚY / X0[ѥDoVΥc'6I6z}t is&]<Ά:pfO*$uԥGEXDASmwS- (U:EZ^Af.ql$EUH'3*Uhq>*|5'a{\]Ȑa׌1ဆm".ztgt#™UGwkecntW#.Z(ϼa/'HxɲU-\RM]{깷"Mv3!1`i/go+woK} "PdzhzםɀJH jf["y1#xQ`n4N&8^?ѱ/be|&2+rϞ.UXwO)< yo5G؍Y_"#>fY;+zpL! ,>TrLo>!NfrkI'yѯ+*O$ :{l ɋmP46WU$[Օ[V bdG~J>ua{,KaaC .yBYAo} uϧ/o+ .r{jn (k|"awǟHd UCu;7{:KvJ MԢ }wr L GɌ7F ^A^ ֌c=򀀃gtW ZdedoI3SzﶙU[D^N^6 uq٢T&l Zm>o! (|"WdN.eA"`}Hl^7.tLm w?M.ģv˄IŐH|\ib!}Jvk]ٚ$)<-KˮW9+s)7g5_掔/{eL}n &HcI[(H'fI>+)N?ߋQlߜq:I3ɍ1i; sWLg&pksp`^쿺N|µ)Yp2N5dЋ y~;N\m] $6T|[) 33A[<9Yzb\.>" ><Q}h U: `#`R :NwU=^WKjwM3WDF+A9F+X 0|`tSU܄>º  ޾ %,b"gpMĜeܠJHdșӭs;E`3akӓQ|J89[k܄ a 㑧wڀ]4$?Vl;ndY@y/;bdy/F:G|G+hf-fAlR? Is!nԋJ=$V9Rj#=hQ*) fH/ _\ b -~z 3RBy`]@6D"ׁRcoaOpIվx`4ܰ-술G=`g^# ȱ둵cAg[6]"FJ`Oeui߃ ܧ*K|@4C+(<7Ȉd)q Nۏ-/薚(6F>Obh{@jm#9[E_/\P*dd0HA{jy<A*X(ph:5(l>LKx TjgoY%H 4S)V#{\}I8|* L*o3V]/S[ v66ǦԀR8B6j#63dMMRp,]BCZ}h'csB@>:axO6DYHOb+Il2(Q@ A~tn*,9d;'5A8?W{e}ʠΆy=r75B-Ol'U{F5y>|:Q= {v5Cji[eP"1P,lOIȯ魪3]B]f3 ]Je=\"n^]݃UFCEUޗ |ӝa inl'@K$ۇH1F%'aGRx'Ɲx8s6Od V+N]}-刣xXceU3[Gk^רi8XE > ]TwC9F{ l٘!,K`"vrAa$1LzyYa0N@'\Fj v~`a@6 $ aȤ%4'>!ss H>pWDui0~\o!0#^p႕hWߗLFK~gZC7X 450G~$j,FC҅[-F6,8F~|nWKZN!}6){-:[OnD~ikZ$vO)hN x;mͺ4iw ,@IF$}q瓙6ym%blU_n6-.ؿ kp>\)+Ub 8{3|EI<Ϋ`qɄIR1^u]c[ZDB}E&C !A l d[l@G5.nKD Gd[婙הN8khնsE܃uI9`&m(%1 Hl2{p?%23:+."ɞ^%UtTI:L1g` A:^ g`e((4zpNcYj}i$ut|3Uf4EjW[>Bx P$RZwP4 :1 s:ϛbaKl|z/l+gM^r ܟ?q](xdGMPivPoNPý'z!o>IQ)нil\;("*kńC0J $UASHxW3iNm.yS0=+q*2P;犅9B p&ǐ|6٪ML_.GF}vK35I*Lj2oupM?5Aq:l)J,sănwpELbe wLa#cʷ$ۈ- O|@8&sT똇g ;2gG<=+wTfq'wH r1\W ,(s&6% ZnܰuCs(Vf(7"^Dqx Ŗ>?inDFꝁLLpWۙwUÄ)|)dp(iW{tjZ0IAdcxwC% ያɴv5ܹ6 :fcxďP^RriM$uFMnr&Jތ.&{K<^6)>f|]&鲒հ9C?b&noʦ&Nf4D(|X!#d ,U2ۗy=PڜqߑNS>|YTozlRgtQǭܗONfϑ\VcNx*J(дHXQs3W1"VC\+cLxI>QH% pAqQp~zd^o*+[_٥3e˚ՙ!q9}zh]?MܠF?R|BӊnOb&Ȼs.{|ưe=jtcU,@=xA+>:O'eJCuFxi=JgWX(҄O ʐqO6Hw\cOݹEt32 Uz(WF&bh^a_T=> [ [ډqdsžܜٽ"/n^[g dEAkIޣť <\̹ҊaR*CӁ!Z{@rRㅮzNަՍg! Tr}~LnNxX+_ɻ<Hs '"9׉T|s-Ѽqp1^ԍ#C~0i."\;攗YbBݞi 7i/Wx$.ِ°#L ƈm{󻬓lTKJ-\2SOfwZ1ͰDL$!XQհ[~ 0# )o4%Ȁ;~-TVH԰%ju%}j3$Ga nN:u7uwtUfhEmiYcRq5#r#)mSwxIx5ĥ05m߹ny<áepEvEyPYC@̘?)S⭱MVA΢Jʔ3zQrvGY ;ą9ﺭMMLD rlΧ!XUbᵬx`"xkIC`Zҭ r)hYIY&_#3zөH:4j磪tnWʯ=ѰB%TACœt(C_F Om7ΣqPaEϥ (T,vykDjP AaSra?`W`p4,-~lq!OZ2Ay$-$U5bzMk 57<&fwE *FJX۠H l.H\ rɷ󩈴!VvL'?HuNG'|(df%$'|ٞcz&}crӔ{ԝL tJ09{DZtzpf36j ՐB22F*P@#j,}5IS&X8iX`u'#.&0 E]2gGtRgbOK~BqGѶ.VUqQ+|lk~sAjy [%~=I[1h} *c(/9D~66mŭ.iT S(EŻ.#5ѳ08`ܩ4»k^Cw垍 ~V!WLrˁDhg7N)FJ֣m/ְ*f4+UYj a*EFwY+[AXF{'V/̤m)D!(_EzG%NW@2t 5 | [ SX@;`o3&z^R+pЗRZf`#ޚޘ8`ԂzΉi8rRcAfᚁ A5͙!Vqs8{JKqnEK$ k f=tDo0Q&E9w.(=> xiqRKɡ㭳ľCѿl 7i VdvK/[k"špm1ZYx@Q9X.3gT~R;H'Lݐvzj4 T@sPN!(LtfwM{rs +6 +֍I>m3UG`e-|Al .9q? _Cfg~b xͅuz{.D+o@HR8队^c^qPqZʙNlx5`bkKQX MmghRM;kU-k89@N."17+Q3+S_) oo&`RF>G()_~Qg`b܃$S窩+Pl"@mXOIsP,?-I0kQbdxPWIFԚzXYl]GT3@ ]іT2.4[!/0AO㘒 s x"]dwcr+ZqČ`|T#cA'RcAi+6xF"!)JUSad VBhY5?Ԝ VU8*1`qHgn1Y.E-"2ĿPFp2n~?g ŞcDXPL92F6<"Qvc5)L z}[!,qTۙHOKq.[ZfZ$E'Y֐)'hcՔ,c,kM=~ 5l,At$*Pc-wHiΖ#0Z-Z͖OQ&tpl72L1SJh x7a#h 0svLv.% )$9!@r0F SJpLX^;x3*EtP"m^V|R[ "[׋ bޕ+oQ-+U$'s&u&pNɱ4qY9茘^FJ<~Y/cE jȴsմgd[r2Hg֯X/l==G.F@W!pJ8+qv`Kd8ʰ~e<ˎ KftOZݩ_(9ep?zRhkf 2+_+iG/IY{_3EUE<n"} h/;n(Tm~(Vh'hcwj gsX׷T7UHxI@SEsX3'OWc jTiE1X3d:@#ZF⍙Yp%515"^ ݢkj2s.!Ȇi FP׀G˄2*W d>,Q5A9xwN6/UY̔`Ic,5 ഝ?%-|^1doG࿂Xd C-Xd7s?^XgA 4p_>o֮kW"!i^68p´n҈q=`}ׄo$P=|i!;bl:S^ߺ'׊Po@Mpz3DVBgK7OӰarC*ɄX:gTP5IBw²PW4Xk|:ٗl#J[1^/F.`oZc~UUu?C)+ jd(U2)w[_r f'Ж$H5%.e%g& 7Oz}#C=_ I(}ZS ^+Hb[z̐]93ڴEYf -UIX}$be fBϴ gh0aN =">8dh]%e`\&h0E!k,Mk?!X>HJR$[l ~_•ZwMԞWԗ$tgAY[Þ-N{6D+P5]X,O,VAz#n[qbf zUY4pcm7.t20~*)y{㳛q<慒r00"[[G^q#GmД5W!-ԗhe`t'}cEOrϿS؋^@ɪAo]!xЄU$֭bޔu&õ4H-=>nש$c ƪuC Xw4D"X;2[2hN.xZ% outwq#KmqN^\d"\҈ ^ A]-#\`3⍢$ؐpXz?|Taѵ5y'r~Q5R!I,|*&~b=4?&3StԈ4^iL]v -M)gc'gOc v1=h6)|adg(pޛ7\RZREK fFyC۶S=iYS 3<w\[pS+i$&Cp^zW Tńy©Z,.fAWwY}E aVl#U-iZΝwEh9oc- ;Uǫf*dq]tNBh`y/ hxnL +^5΢f ̏ݔ"v\NrhK_qjz:ґp*{e`:}2X==Qvk*ܚDŽ(L%9q.Z"m3(N5J]1 RKi &uzO'$'V{+ [CK'c粑,Vd=Wt޸Õ>,2eS3Ͱ*ʼnϏ ^M*3׹xp'Hƴ0"Zc3 -. !HvJzJ|FQi"]ZƬVwUVfBv:a/a '*}om݁1"-XRH&nd4sW7W5taDwT8W>RtZY ()99hILz%#(Cɂ[sx#uay1s"ty\S'zdGȶ.y`)X: A҄͛{BJ3t$&!KvNa3 7>G)vVFד$ p/_|k2 xrG+4E) #>"oPoCc_Z0 Y8P?'j@,ceΗק,.j{Tl2;쭭L( bv=$I^@h#zm秊 XO@W#C2ޱF_F~ʍ>_ K%HY{a:0gYZ3dbd261092491ccf6f9c5b92ce66dfe7c6a81b80eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 7246ea39aa0f864f94c91a98f2aa32ae5acca72f 5f240b2f610d154e345395fa9219bc53ed7a31ba 9ab9e0fcdd1a962bb5d5eba08772a895e03113ac7ee936f0c8924dfcbfd15a817901ac1556eee0c8