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 ddxKD ]%]Transition_Systems_and_Automata:threads=4elapsed=242.885cpu=870.932gc=70.020factor=3.597zXZִF! \]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{mR:% +l&M_sM~> u.ckd%Zaq _?lп 6U=4pB70H DiXp`G.段.20& FdDUr I)+aB7@!xڽ\@5[ë~l݁u7-^]\֪?CLv7cx !NיmhJ̶W= |VQW5CnZkB= ̻MuXّ˳^okn$4My7#$t'ět]%DSmz*ݙa~V;C920~@>FAcZZvAҔ ͫC |`~TVSWvkü&cE˷RtPdc^ө!)CԖHt6V9{=5 _RS058؞mG͡gyqAҙ#iyܞ$uK2)ƪ3鸶Ctz`(9_^8:ABNxgA]7XMO̧~} f1,|UQL"lf(OODG'mO`PI3t~a1ۮbWD9Hq>,ӗ%9]c$Sl-E{7ɆDen8abef#o`+NMs5 [E^h1 ~1U=c>8c"7 ] gA8C;S|D>9ٓ.sVƈF.\_X8nȄK\Ԭkb0!2v!vREۧ7)i|L\uSwdϗWCj˛;m@qd)5i1s#,`K=:aEoҨ2n |:@kYw7kyqZۻ$8wj- ȎTk`WXNJh-(e\8]\BN>.f e1uice  h94fC_s{ʬ4itDC($wͧԤshөi1etR@|DL}UHGC _k4ЗHD^ +8`9PXw}=i0cYf.Kb.]NG kjrE,"E3Zqo#3 )?OZ22G9!_;"Ꮁ,Rh4'gT@'LO@nhD):xÕ(.j|(҇*{ԒQSHp)P{'7qm[ςIp'Ay3ٝ$r`[AXesn./1ň1ݬVpUz#M\0Ht0ʏ"?CX3 {|LV{A>;Kۥ)_M JRI6FlhTKI@qV. Caͱ<ܲ3(VOfno]&Xgյ#._4TO0~Qv2|+t3adD* E E[I]{ +p_jr,*+ "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%04:w)V()fRGHZR޸g'-Q;3m3Ŵ1>L~l((PESVpDoOwOy7tV6?ϟr-=Ҙ'4[wo: Cٜ7m%Df*/-Sp.-)xO_O\eN]v8zqYN >U?s'Q(-9z&wsFcB2H(4NsM(G=m wxǧ*m\U[=C<6KER_٠O<Bg ycztMDͿ5ì!Q*7k 稴X7ivQR)ֈ+(?jZҳH0`%~ƭpT(2uyЙɄoO65F qa;Q.ᤡ]^4/%2B 󆅪XWH\o;F>pK˥J7{fLꂵyJsRTbJw/`:G״* Ť`$ԟkYV*_NTsuc&BwQkpP?gz0ໟP(%=,Rj6$Z(>cϨNoHC4Eڵ8eK>sFݭ ·`hY|D_BTg+f?E~5M|lԼ΀qUTuWՁ2Xơ)=ςXt>&h6Y[}o,HR80eL}]Fr$Gi/ݺ:xs0PI:٭|p,@*l/-!D-rz8m1 oxݏ`0,|Ra r"_ͼCn/i9!<նQa"WI2Lq@˪R>C^ј'?89]ۊ|ky߄Ί89 ߩ0 ZdNhb"ɃXmrSުV=IaBO ``QQ??fiE,磿:f'[V3|A,}Ä/rg, UVð&wD rX~ч3>R +1])ډCb4ʈc -O,Z*ESQQY:BH@U~41SRwvMFTm]likg\Hs]IQp˨SpBiT+M%~S;sDGnd;c"GT1)7!YhŔ7!ʽԊ%ZY36*3HdX\ tI1 ~_r_"K S}wthd;_9Հ{5DS@L@OHnBhE0&I, ɅxW8j XQ[rZl9 p3(CSgf]&̢a 7)te<:~$a/7_}+؆x? ZGu~e?Pfܷm r7.ǸRL/)6OeXu+a1vP`dmqPrJV$X'[mtl8N̙g 8BOHYsuXTKO߰P4o9?FV+o&`{|]-Zʔ; 3 o!+F!C\ bwCJ568Qg}tf{saTv4W} 8j8t _9ό*W b `}慼mQlmjq>@MYќݦ ;D 4 k"Ӆa]`S+|GnЧβ, tPw#g+BsߤaCA壳S(bS5"S}$G5ߟ~/"G*G zxV>Cs3}MiaɊyD(CA(pc_+&`GɠO] PL,5 V1EDcݚT ϖ |vx_u?Ype`x2TSU`:έ7Hi kkH`9o> W&^UEhSNIJ܍Zdڻk[(r R#+Zx!KĤ;ʠ7l B(ΖܑYīXyHRaKjё~<.D1SCOb=&LAVe7LYh*yưN`|qU!sX=SJ6DzQԵ~%1c9MZnޣ8\F_, Kógrty3CK;Tu5 hd{=B p݂`naEPH\ oFk2$fz刂Phb)s<zs`s(NB1%8kS#,ʀ| @fǡ4' suj$~ÖN _-wfc+j56AvFfjuPE 2erߚSsnW=釱?et \ڂg1|p}6p۪~F뜉F/lTIW$@H+ӖR8%J֦VT?yx' ŭ> ⚷^zP16#D!Ì8,K/&J=v>>> 4z\ z&8FI]P׎h}WNhz@!@ȄHM5ߤr1)TNΡ8CBBb) xJUDTv̪VH`gvygj"4YisǍ  }r6/Ha8lI`zd#,"R\)iꅗ ]eQ"&Ί3ҫ. ċl+oRU h!PrPgtr5{gusb$3T0XE+DFԅ) `[b!AT[ aWc؛8*ěXeXuA8YTS]_hΈ\[)KE'C@V`x1U3yn5rM/?S i78m q֕kg`l_^=&w\Spa'l/S0aPgO>k.gMd@f5>oo2Xyw"F2 [`u[`a0 OI:\,tDN :"kX-[%0a|XhҥDR? okӯJeXs` „sߗ/ O8 B9yf II<ҭ#swrȽb~sR0fbI8&ekvSx.дLY2ާq dH\F,#&(+DN9|:yq{B#ԯ6%,#š˹a's?v.BХwEȰ-n\a!n9g|bqߟKtփeoAaRP|B]|Y6fF0$P7b˝F,mM (T#lہ @{.^k[xj١P?1ļRw0Bs]$d[2mWYxg&E(7+vWa! 'Ux_[z<1`v[=#^w7h^6?{y xUR_8̓~ ؇b3wF@3a~N7woo7|P$^5``v=NLFRؓK]i []f<9XnneKa Xp i\t|Ҹ1=gYZ7zXZִF! A]ŗXiɟ>P++ \D;?!W 2)I6nY&KBY:J$|1G+]I޷^+)?Q{ @}Ea"pRgueG41t<[_Զw @q3)$i 9Ϡ{tyIacMX![ܗG vF4jlV58EX?vd!o6)ޥTdho0Fx5= ߆&B[Pz$2La_af}%mpڴw X0:fŧNEu/߇bwQyuok#3N (1>M~ $5J9}$ܗ͐Xhj|v} z%衯nOULW.1x z{L'Asȸ6=BfH@+!AyFcy?|RWRcDAN,5*;$eC7&GZUCHh:(4h5jB,TP%]\'cG[<3osyZ/56} 7iyyoo`xA=ějl4Xd{ | b+_&2ⳌD*p4 8+n{ٜNcL_lO ssLn&m#'qb &qg48ﰦ?VN `۰XwtKRˏBXkl;2fw l0%h?FBN⛤)0qOQ]/Í.mj;~(wm =ijZrZX> M19p\;.% ]Wk׸݌ֵ:SnV0R̮y[e ~^)l6ˌ$Jѫᤴ"(\D7ّE!ئn28y GF>4[.[{QjVi hP%wVؤl}Ur O= @#i[(<|p6vd+0qHS)=pDD~;gǷ:ۢ(+姦Rd&6|[.u h-C8:6M\0N[eh9mmIGK3e'>鷮N"%{B\ЗVa zɁe6x9+qآ~KCuZmC_o/ *ŒR;(CYēSiC 6gUCbbC"Vjuj#zUJ~1RļMB R:Ak%_X jeu5Q櫰J:o}av8Y&^ۦ 8xgYZ7zXZִF! 4T]ŗXi%GPOSzh'3;'<tG6'd|MRَg&, y iՑ`}Zy 9RDKL:Vy ^~."ea<6m Viۑf28@Ŀζn=J."2TP5xh͎VM|U۬MVN;/O{9,K~__-lKm^t6o5yC4^H3R=)|L^!0T ޟz[h'A&!?*U+Kဈmǧ[ewb!Wcr]& Vo fS8dsh \>|wdJUk,;IRr͞eCs2c乙ڀeϜy* ߓ쑁:_`z]-=ֺl(?ync+{*Ȗ\'`j'060l;]Nsyn;•c*޵gwT7nLߡSαŠv2Ej27qVuG|*z>tPل}T]y"&EUV\4tOμA^9uHHG%KԲ QOq:? }w1dAWj(:|Xl=ȗ^Ii9LR8`9'.8vOF(n` zTޓ؎!n <,Ƚ~تِnboEVEoJ澀3w8:wga~cKwu (.5_XA灓E| 3mMqn8xlhv azD:&{J# ދl;Og2A*̶VA`HT XP`ˍ'{ns\צ, " c4ϛeI;'J|[P5R! u,reўqouyL A{T)e^lv ;? 0>Oօ |VL5C-L8Z8[B'ӠrLIPX_Jop/ R;CA!QyݮB1@t_hq>%qٔ,:uQ繾jfpĆ)vE)w1ΰo?c7WB0j ~}Υ: A‹u;X˂Tյjl%kB;c@)ב4d`v> O`ړ`-]; 5rdMcMi!6`PۣaUtE*䆯 f'bhȹ;5,v[D~.doeϛѠ$c"7W|}۞w NV&1KeT ,:6-)r:qv?0WvdO rGoY@!԰Ŷ^ -Ψh#kh.y%1~UϚ0<;x>uvr bɉikb XLdzբb9EKnujҏ_KrMgOWj6B}? +Qo c-U>-̞?UJ?huie7A;$ Vc}W~1cQQY\o8hh\ ynαr@!}JX#4 y)5[jȼzUMixAKs\k &Qwyqm?chc>n췰sd*J=! oNF/z$gcHs* "QrN۴LxU}D32tNҵwYЉI3?Ͳw_.bMʉIz8'< %d`iqҥ;"Hbn$-9=o@2r ]D$iPpdX2]dkRwnPk*Gˬ9 Nu:@݆ u4T- Bw$ns" H.^[Nq7#m0YNp~ۯa7yudA+D^$1}V0{= xC-^9å5БOa .Iv" ncf~c3pkOEtiNCM# ߲Uz[:ToZ3 .Wjji}c_Q[\ЩR@c~kvAl?Y=% %AJxɇĮ fZP–"[_iMƪ=$fV>avrWP `aÕ? _ʰg\_!WpDPP.T Pi؈<aW# |ҕ ]I7P<_-Aˋ%+ߚ d4]tBcHѿ)j"֞q2t6yͧ҃4f࿕0lr4ek9Ɣq5`nם?jd;rm ,ߘ=z˵,9&,kS@9T:O!ޕEͣ1C) J8L6t%bٷ~]Q P ɨY~g?Eݏ]bi7yHよI݋Y6A!0sMs?UK)q:(IԷ|lӼ~d9rű6Ko-kq$۸*S{wVDq8vjΙ=X mM/r-jBj=Z$+M1qbԆw0pt룁ֳqiA,GHEOWir*^EN{q&)Hl*ArQM tCRi=M&^9Avjt&vt -V`Y(o,OҰ-0Ip0Cݝ2Q⌟S4!p%{j/du#>+,and+*Zb $уN"w!}{erM+[1~ {PX@\r6tX%´2ȄJR,T<*@OQapĦZQ 7͓^tp~㟒Y`cмm@*2Zir\DZlH|_הo:}"H7]}Y3.X gC+/lg-p>-N)!Aˬ:U╈긮\el[,0GS(2ںԷ{d,s8Ó AG3VVƔ|l͎4n Z0n˹ZL-r0唰c>S`|?xG\)r/E[4MCer#x3h<G[B'g>zGt[n v~X㭌+$`X9PBӮljQ3Z rp(&rC'%sJAPZcmEUR<m77/QWɑ].Qciӆ& 5.X}7WC PK@;}BյmDжe:IC g~ 1X8 dŧepmoR_Dk %.CpJg]fZ~WE~"J'Y#2d{nCJC>0,4n".RVZ d@i ǿ˝k&MZѓ(q(4G,RpbVvbTr_SI(~_Ej$/ c$;85j["2FeT:}u\'zj8n\> {[u}Ԥ՛kPd_tN|cg,;\3ױp(T8abݧj4IBԀANP$`<}fB+m"%ԃrM[!(1ed9Y/֙HMtR4cA{зuyë_ԣ 7UCJHxsMQ(vF@44Q\?}9e+i@|*я E?rK8wQ A/0[1 hx Ӭ`1l1Dk] !B +PclKu?A{-͉j%ƙ fh[7VAklAۨ @a1؅ ۮU~v):;~Z;X#0TC;GI0[ow[\䚽!ddVjxFxE@bUcM\oga*J-n a9>w&Efs=:˔=Q{7oWV -24k ?AԪh)4(IwL_m̿cq~|Pz6;u!8Ym ȉ԰].ÚP-^ z[V=:ia3X2_uMuC23,a[TPX1RZȧ꿦y60"RL ƟUg bO%4xwyZJܡ3ST kpBsvlz|嚟o4_Ut&2)+(IR |Lo߷'Ƌ*&9S qI ) uA|lm+ιКfL=ڃ@AA^IJ*4 Nh#;y)%aGԂ #l~Oۨ%B@\΄jm:4D;'%g35txw̱e) ɴx~owʱ@3V}8HHQ#ԋv#mY^Oa>ܑQw?F͐lNcZntBr;]Ju :{!mAmK֩>=n:wy>ʳmݩ 7@k2\7mYW!}dPiJ%>ܛHX}$_Y^brAN#얌r?;F6*͛'zOdɒOLҼn[F^CoEr`s 5 21WuS(+aDW,3Sp3ldB%}l*i!HkM`sfPq }d3ݼu[9M9Q}$%L(AWtZ\!!1'˚VQ(bȟ 5n&Wf4)C泾iB-xPJKyR&>Ym.&TC%W !QB}* 6|˴襮;&x,'|x-`$q?z_%?dnYY-8:u:,f/ c,8GCj^.u6ARG1۝k4-Yq {b}Z췂hMmx" HRq-50<5j\~zvf@I$>o0|*?ơE.;@GRY}yA#w5ů$j^l)3,\RZj v_Ƚ^.~еe!}.4M/N4y?D I*^$wI .] ۥAoHX&cs 6El񥠳(J9=F?Ws3Hyύl9?$a>4Rz X!ކFJZؑ M0{|+߅/JL dkǓxN5-ۈ ]hS0gz035[r2{9)X8WAّ-{-Obv߿Y,- jͯ :=yZn$nT4;L!>4pU7;݉D/8P+z0X 3x VB::kkh+3:G }z%6ؿ]]tL6q IǵDD>=3^YKrCC[ (3/Ψ0Ll_gs# &,Z[ {j+kxHĢC8eLs3ED\aM;&8rYTLA e.Xի0'un)M9"5>|]0'!9%UBD/[|s]h 7Vct8@y5d B3Ep6cE'? ޻ b'.1'_! e?.PƏDp lY-e.lLtܣZ*K4:5ak]utDF-~8HEx}?`=`DtLXܥT~re|u*95 ~)=:^E|TX <.~ep42>B- Cߺy|Xc[NJ(Isw'|oH8i9ymvWgm;_ľ|J%5;y3GFԥ0sboȺ=џn zh]){<ݺv2Y>䭄,+dMIqT{玔޼iyDb1 (o<ЪjɷCs0̋SJ6yw*P$sn3A#w>dɫ^&P@wlbe?XIF32[$'MYћ?e/B_& ,ڴhԀiEJ$v]}.m@7 [~}q;hXV8a?ه{ [^L ?" 8Hț6NBn:FY<D 3礒ty8Jk]㿉DgW 8⭌1 ;Oc~u˵ 뺹ȠbjJ{)q8l=5]77{} ۰doC}ɬnŏě2֞חF . [YY,z r'/QdHYyQ] ' a;\SL7 TmYzHIvYE^sΒkJڟcG뛉 3x\+:| yO")=a'PhTSJݰ;^϶3AE:~hx-&ꁒ9MYg{n[)gnݙWgPiE!ȿh%T7M)<,:w ,׾#W.O&D5 \q3"L៲tOfnb_OfL?o 6ϢA~N ǧ چ}3;<%B8ˉ=@7qęUĔ{e|'v5.h{L$1HE(› VUX_R,J:G2Vc^6@gB_Bm6 4<;X}3@;:ElJy_jb.4|^߶y 翿EΈ:I.hm 'ݨ$g ]umHpOM:kʵxwX:3m.bl-~Q:m5 p|TPD48?jt_NSA,R?cTa@Q^>}*t+gmm AVj~rBn %/:y-u8A@oG͡8;ԝc<0sT/itfJMZU_:b50ZcaW2؆`z/_niP$n߼x#z"4M՗t Fb徢^[N_vE.oIÑ{|ZDe' F?FK|ԫp&T׶'Oka!Q`v$]2kb+ o/%{976^^&hDGHwq^0B> >`µH=wֶ9 ho 穗7)LptD q)/)UQHS׃J}g7&JqөVRW?(LBE5XT?A 8{dviH/?.7[~_ϭ&6}@,m]C3NMjcz%xjh|a2{<7k9i#<~aw?r\РZh[cdڏU||vAPvIn(6a&svw=.3(r1c0>rQN;֥*,IVmbLr)GWߺxFjKJn]cX%G8'΁Yy%J9p7ϴ[&p !L)uMDM ]k(, F(u2 \(_zd9DbB`V¦EWU_zQ6mLH.Р+e'/!皑[!gi;*3xј@A_ZOeZ^,JcQth)xطy_pyC +eF+ԕ_hLѨ otc^~3َMv8/JxJʧTYXG&b?(ݞ]9ak&;Y \%N8iZUe3yUK-oau;|lN?y4ؾ^nC#Y%4&& pKAz֕BYr%)@5來E%6pX~t<~Rd>:LV&LԌ~%&dN;SR% ~Dj>|r̢1 ܖ\:~`& v2X{\9xW$4 Sȳei`mq%P \jmS`H)Y2O.!1[=[Hqs҅欑6A.I8^dDRvJPϋ !2˄:u4ve_jq~R\U뻥wQL*?Ν-Z9(<&_ thQh;50>;*O>TlʥI$4r-Htn\빝u'dTXQ|{/)z%3c8W[TA9(8`1!]yk;"HC![U+~2/ jafu-TXÊ8!wm;Դ6#LJDI?#jR˨&?Ä m/HPb=)L0s :$PPU}y.qtO9{LX AC?N9Pw﬽8Ȃ<*u^P;1ip%2ڢ ݳhb."o$l'F@}DR4hVvq< yGixl7 qZvsök_:?I;s5O9]A|^vײYZ |Z-[wSJ$cMw5VlT! `#Nֶ[{-)'E+ fhYI*WZegPj1Yht3cwV]LrSHYx.:`&(Su? P[иcס4ZRL ) ͂;1Mط=G3Ugұ (YSY煰;ewNiGZϪ{ֆD,5aPF Z+!cDƧZR6Ioh [hhN.&!6%X0-]C(T&Z}2dVlh]dֲpy ί8Aoþk_ X^ D=]#Pgl~l6g`5Yo RJ9CڜGΎqe_̎x5vJkKJ_9xҦu?_( KDEq?C3H;8Q3(pmdQ_wh&ݼfGLc?xY[P)걒[J},d5PeONxvSCToF?8M{&vOM=^,@ٖ,|5)dD;HCŚ FˑEe}XKY/hyʷ86;[\[G $@/g_bGQP/3rTJ7#s@%~}(ApeT2}0 m}Ja"]*/Dw4`m6S, 5*5*(>O.MQc){[OB{ W6ALŇbvѱi9ryަ/옷A 5~ W.'ͩ~,fƄ;n6qt5vu.-" XN[Ft-yج!}_Kb9$5v㰐9c,7qџ7_0n7|&rViQdOb4J܃@eO5$궉: YNA7b|CRw[:P$G?'Ձ7I0qƃ,E5V%cᱦ/7#5y hr^.j`5=J: I5+MZFyפ~GUcMw8JpCpXvNE{q9y }[L&K8s,(4 ;W⺏T3yx-ۺEp!nNI´W3j3a`y!U:{U3+%7sn{WERvⴟxRQje,o3;}㛪3yP@!8;&İNa!+p,Kqv)]7B-VѥNVeϠںw6h&0^d}Oi\nx$ZF ;ٞv@BYD`Q(K|HrхX8;^$/KFӶWoPstSz|g<}ӏǐ1pܰ<@[/O)[SŭKU;x:v5s;ocklCĶ \uw+ENI.)πvy%+-0ЦӈF&(Dm9XQd36͜,z( r:g1DD]]:ܔj3*^3Xʬ4'"\\U6K _=@M8{DvS]٬YoO3G ?WS;cʀn:?<u|ɹ;Z,_0QEOѸ" &>*p'=/K±e ٍ%k7`VNi@ޠq:_J9$%Dj\6VL/h(=gWvu; (8k-J @l19:⤉2C`O?( {$Xb_ ^m}R;Ƴ>p9vcHktx?IP޿,la)ѥ94m a5af$?] o?r!08;v1jvq:)@xwJǗhzg~:)Gde)&"zJXgq X;O,{͛LPU"[w_NvA@; r^ 'WW9縭szU bV ha7WwD1BZBI;Հ7lQjX{V|ז!imq6:;{\ĶN4ak-Z}(?_mbN_< 4ku`d~1L"}Yr -)/涰cpG_9g{H4K'kdeua~lAR[>&dD-=Y7\rUB"F%GȇY2ru~s1q|ZdzL깡t J?6^ntLTrL"rjդU@tyza|i'vf}W٘ Fnt\^jkiY k"i0cf>Dvn#u .MS+~c \]<~;cfƛ)wf/%fH`'% ?,D`di5pl Plխ,Nv'!'Eab('_s;;CX1R0 ;!)Uo抐Q䡞gapQ:G`d&|Xqw[7@T8u"`a4S:G3 A%cuO5NL mW 4)lh\ѷ`}|A6"HJ: (A^ːlbU_2Yrز ZBˑ u%jSqp+j}Lߘ}[h4y뚅>/św0f44\WPg۵ кtz<{l"G:V;V 8~t77ZMya#ȗk69opV$;HDF]qGup-RHXA⍶n#{P(_aʞE@Csq=2 PMpLJ7ohX8YnV̮[$`v[@sh0<6y"miaEĐuf˻#EX橕%_>ElW3|A5cvѓ\Sxʛ;?s;.`{ v*2: 1'O0aFl)&Ao\A=8dk4FPKXMQ>&wqV3αwMUt2Gݾ. 4jb5ႷEsBUNF/{K+dLQ#bJH+EiuL d5zC9g\dA+R]: ٩B!,qb8q|rÞ3EY*w_4*d^,A-WǮ}|2K M!'R"td!Uu(y /˼uy{Emt(.wdTR T VHk0Җ-VY-twL= %clgV$u5କI4HÑ=&hCUwa}+Gj^ S[TbV1$\g]w$Yh|ZD/3?HY:^r;'Mb=edzѯ%lnfVV2E:6ƘDfMv TEPU&N7N vX  ^`SFw^r#ٿōaf/ uHXyşW9K}9GPȚȗ䗠UܲO۽Zc#{;Ŏt(:mo3,QNŨ3vvt!K[AaK#Խ/4G .P-bFonGRW0/e aþ1)=@\ʕN 0 i1g>1)'90%n t f(ȅ°V:ᇫYW;n9CNA r{ڞw|Bs nϩ!)d` .qA0C fӢY9KcvFbڪOcm3xW_MCL evtn2Mu$w~ .f8T8U{i_[uLU\ӎLQif1S'gh3Ey} D'II2Я©Ɖ{8 _1G^UF Uh/nH`%^xGoZV6v2l XA X<: Kntcfb bS"|A_u^lɎtd>PLP4Hz&=^gdtġGg_1Rվ%ƬC+ؾݡ\ҟ0i7LHHƕ6 [ÚMYM i\p%mVE&o[NhY59bxy53h ST>*|)Cpj4140K+3ux,hJ=>ƕtU*.PI|Eq@_^]])(C䤖Lc%SR-Z|Ͳ`FJZ"b܌Ig YPfϾkkeաr4Ev LnE-:)c)PD=h$\ʠ6Kݲ"{HyAhc Y|*SnT:jֳ4ȹΡ+p{=}y_w>7#b25bX9yKAn<]s!dnJZ 74+afُ_)CvzCvn/h/rɤM;' [K] O*Q*#D8YZ luWU`5dM FZLCXP/܇{" Ɨԃ(F>Fzk A/ey3p7ᦕ!ʫc:L 0C0G1bzkIfunPaKF H#LJPT|~9'h DJ;ZXk2 F,[h[?xtYS&h_K=zW먣^ṏ6:b_?'NviY݌T8TZnK䢋GTL;-~G?aA71,ajf O`ۏtkΑZ.N$e2-LS@rFs%T<737C$mr=g\$"-[Z6rT9n{fhywj,1r8'Twv]ܥi:S܍Oa*'GOl+\7mXf=|:(/[ ,b&YXt 0Li@x,jCi tDf;5yhFuVoUgisᴵo_]kTlJAE[+6b~ l7=$ [3hx-톧A} n{5BҜTJqu}}mzU|rW߆eg n-35HRI$PJ΀gΦZ-4Tq}T _{5dD9r|gYZd6ea1aa1dd4b836a8e617a218e6c0e0bab3eb3724b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed a2058b128332dad2a492d1f1c6eea174b5b009d0 e727745b450f31aea5a8a4a505bb1d5c83b48514963040eed4e855d5748b7655289b83582da9ca64