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 xKtL4 ]%]Transition_Systems_and_Automata:threads=4elapsed=253.840cpu=914.120gc=72.364factor=3.607zXZִF! ]d1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{>s9ρҠݫVT: IU5 /kOuͧryy dCݷSjhI.U.b4Tߏe/뎡=.<=gμƽzfΤO 5 *$Z@<4bj<}=Byl$:-&8nM }v ZD㓩WA< l'u4PwC FML(SC-u e³b2F7v9S,݄wU4(YI^|Sq$< p,X_FӖ9%吶Dhq\.۹`!&ج֘o(pt}F(kɨ ϽU\"Uy}numaw CJ׻|wBxK~ MX)G9NW+vj$G)T F \сTcmk!zȲ8r7bt+;C#XВl[7'2k *2YlΔi&0ћƎWbۋΨ? @-@aK*>k?*xzQeG,1/^4rFm`u[uXW1L\MuZ׀da v H=罹Uh`|VT۽BФ 8ƺ¿gnWC-KB⮏fjEHAmC"3Kj׎f~f(k,^lQm"8SZcKsA|e}%؆! V-TLeY;WԿ8ԍN|;'SENbc. }iLbI4# I`9mt!d,ۿדQb&^ Jř2+M2UL BH~cj~乹<{%Ό3O5P487p T.Ey)EQ_NR 5vY{2Dҽ}?Y>zS"Ì5^ƩDDžoyr(gLfq!\cCQcۓ zK|lU]fVC.(>#;ywQpNKߖ#^M'EC<}ĢflOc?jm#U W7e#UO>zbs4,R.z;, e0b+C^- ,%φgLFP^4o8t^ aY%Wː: u+ATZաpy: wwr&|Вt)s/\G6#GHR8ufQx+ɺD_qK17W3~SkXRa&Xzw#2X@QЫfpAgL-2|-&(m3 v\kWiX V`bvFbQ&QΪ ?L?uh[C_8xlΆ}բy1 Z-\=+ܥK~~mlѽf`pu/\ 8cY| uPP :Y2*Ư)0(=2YsJo$ >jnORcb5؟5z7AD' "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%#9bx'51[FH2f&C$)g˷AzPn_!e`sկ%D'|U踺0>^?ۜϠUI%zWφl樽ƼE++)|g.5(7[XcV{ np|g'}dWҸGw߀ul0{ Bs8v2"e`eH 6H3xF-Vd;!!`ԥlŖx,LUh S;m璝%?UGҴ\]JzhW"'/{&9Y:4U$$^֢98=V^j*@4"<=N.şJkF΀8a:x Ljp )@ iPɱ-mwZǕpM#k!Yo\_4*og`bXBK)jܩR>c0JwT۽l -2KG āyܳhFr~G6+,:#{ƚ *(+hPuXְkaײ%p:4 [߯tj^4dFHV+ aU6Խb.rq kd_ͺ4,%| oɶ'e6{ul:_,ܹa졆{4X1q+{2"`=v a-1&Ճ! "`$EkE(Sjy{Th\Bj jËs֦1L;-Tb<ќ`@}a5XH2 …j|,wme^M"B󹶼CrKS$e<Œ=)IP^$/~|F|"e]$X!fSw)ېGò{L% 0pJ8:߾z\XEuv Q;2tB/ vLaycǺ[Ype`ʲRWQ=O̞}Bu44>WcMGN6~:zK ]O@e\@l:%s#|`5bl:78-M1y7 =5+/t]i&'|3H%I0[c3]ҩA8EfTt6o0 %Z63 &2 ?qpNdxtEZJY/uRb o5NFɤ [-FGahJ[ѽDK}Z-}v kXۚjDVyk `>&]>zMS3IԤ?cguh0z2w脢'fͱdS+wׁA:&YMTO=J@,fѿz;s<"q;W{=G>~W'܄"R.M6z\W}RJN|%w~$μ) v~j갦-E4wa]=bJ`/=K &K m̋'@Ǵ;|[z?ɽ ys!p3}9K0@N]*R5c:|ybƇ3yztVU",htz_c 3N9svˊ) @ 62:2 4cJxc;Rz#Z"%WV"jK;W770e\Mԙ8ׯƹD3{:~!pt!愣ͪuifGQEF̳F~eniM6yWâGFPpb6?;4\ b).p K)2zmk8BZ1/*"6!E^9YZYS\Lx=7mٌegX|u*`opxQMsD^qUKЩa̪9 M8HBEXkKT0J\P5n::sβ}! 〩(9>gVYNJ$ | 0lrۣVJ˕ 7d _v.4-‘DXâ](u3md]TaYr+ԉ(:.ɑujO7˧5D`yTi6v\綛IehcqZ>p8߾<^q)I 1Ls {ŏr!O2vIx XP:P+oM|@b6gܒPGEhDX/CDa_ON}:qʱ9y1܇ d!])($SäזF>~+@Ø>kߘ\t~rIEuοDVT//b}|,tKI Zn]NZ4c϶"(_'mH4#(mjp8,~?TwdSK@w$ ]?9?@o3V᥯ ; .<kypӄRk/ӫE8{%v' v.Q ;8#wUFM*>Gyf\VꚌyP,JS|Nf,ug2#9yYJ| cˡZ+96Q\9)$G=S;U@[PPhvR\r$sRپ[+n{UH?Ƀaf LzbogZF6uqxe+jl yPgM$me1w8Q r`} '!~grdқ\4H'GE:Z@l^["{,!D@\ u,i OصNHHF8'd/frxi%u(Jwnf5؈<0b?[h+ TI<}&;C^whA E-X4,??ĹEwxBX\gW7A /6'#;E.t?[{)X2>-$gYZ7zXZִF! D]ŗXiɟ>P++ \D;?!W 2SFfH7NukRmd4 rmN-&iRU]3m=n1:Hg,%5],e:OaR(W^-WK(1#lƬ[yіXY>b@d1P<dAHR,qs○1IۡԵlv zNH~bi\_fo2s /.u[g;pOgYDk7 zPn4̱%wh[I >fJfFu_PNyE|t%m{3 DM/CD}%7a]jvH[  UR+_dg0*!alv<],n\|VtV~56\T:,j=%q5~忥epZcA(:Oeo|Û5 Qlo6<{r6غ|`ŗp{uPHX\BzܶU1u۸[[Eg= }@V 89W. ލ %ɔr _0+oԔښ[\zr)8UXRl"0&zp ؁qΪD Fm1u*Bc O~ͅ ҄Ӵ례x Rnq`Sj@kO42Kԫ(u Ͽk|S۩ _'Re7]Bon 91;-֙߆%7sW9Ƣ@VCU[qQ:MJp ¶iFTI-ZU`fJpkYla.*#]5"*W%fd Z CZЭ܅HE6,eXc (JyИ%v܂j߶4ʷ<3]ɞEXS@׊jʒڑ ;Ut Kn"qNuB Ĺ|ݸr\{'!Q;J|[;G}Q~[J)ܸ9\Qpt^5ng>^S8CM̝A* (`GR(Zј{ VI]k +9nŋܡe o/MIE|UQ79?j1\4(N@N8^$^mLPo8SD|j1gYZ7zXZִF! sW]ŗXi%Go;N'C}bb%#nq?ր{GTG;,3H T~75*T7x$JȏҽO6Ҿ!/5yꕔWم٫8NbBH=;`Oa؎[ΩDSъe+jkYUY:2j>w $<+Oˬ4g헜<&k0ȬrYjUcF3QThbS7M/ΡnJcj޷4 g"<1cT {ԥ_ uQՓ!tM`WtcߠK7P&9^;ѝ$bcM"t^opa#NmS`%*YжwU;tiݞWBYT!^s` -y3)qV5^N¥(=Su o,pPlAd*&QPrJb.zZ4AIۙ w1r]y}[RpM˰aWI|AQ  }r)p_KI̫?RגP6X7?$g2b>8wniQ>B&dnEw,'VrV(K0~>,'d8>Qbc H:HbҨ4 _n/3"sR^ !խuzEäKkDkͣQ5\q N^AxVƱHu7$([;yl+7FLkU]U_hh`Tt膾@VǙICn!/}dg0y4x3/ZyyDN\pݔA4VsldjWbխV3Jj5b$N:Vg(ׯ͍0ŒFwGG՘q1g&x>>KȈ|D#[(y:UA > AAݏڬ .K10~Uī ph'0нywx!pZ:S_dHO+t\ RDVQ]2bWȺMj,1[h|[21٪kq6hAmRoo`M<48;UӞ#sN sf:~=`z$;;o\%gwHa/qfn [BiP1^LY/ cy1 &:>-KNXZqg|M ,<2B>\㏂io(Uߔm lo#:i)d.-TqmS#ڑG5Ke2C5a%0{0 Η*G}Q7V17dB;utT⺼n 6@`{q j@I am$K>ăt)y519a^I>_-HSWI Єl;r>SO<\yV;C%(!XoE؞d?"}LY/m`p@4U,$b 撸Q *~m᫲8V¤U|c]7}euƬ!lɐcѤQkΦ+zt1:M~Oo"țyZHi[}z][=> |S4J2l !ܥ/L Dvڧ/wBBDP,y`[&4ǃSkukePۅOC2]یDP CF?RO5# ݕ.L$-ekROU+/а | /C C4n^F49[yUgZh7^q祱Xh!}U}7|6UUF;dqܙVYp-gY'b M<ܣ^}1 /H4Rd s5LoDL|Nt9cuT9?O<6U5 jN?D'oGQK+k]~r+Uy}ڄ'ZN^Σк3ػc!#f\H&@C9H~b?Ik50"2`z}+ӈr ^dz0?cn i}z^E)1QDU6/U0ϟ a7c_%/)攁T𰁥&# 4}dI-6_[ls,:җedvtR"wJzyzLݪ2Gڂf|T fwv*"& ׌fTB\ czJK/pvB% rY%;[dzBWBs* W.x.kĪI‹3JD͢91Eh#HԬnFBwB?kJ2pЂo{5WCXxFf*!-{ l?\S аOq!L۱M'D,2 lԡb=YOh]197]Dl p#Ȟk6΢i:NXXaA[Lc轫ݮ& IlSCmߪdGdYb "#(fg;.A|-j,{Ow+Q8zݡo~cD)~^/Bx)cTӝ5>%wѽFiv7ŀ5^TK<UϬOE O1 0%泐lF߇C7KlipJ$&J & .|ǚE1.,ȃ "ӑdeGU>,xE5%)Ԋ۩eE*{OI11<*!B릒(gεt/?[5 I_'LD"%K3Kpb4kuփLGi,'s8W5-P6`½X M+q"<QJX@8v \ %@|EFZsEmP,eo>Uk*+B'tUZF!f공SU3# ђ(ﱜɠl=h$_78%2s*:a'%Hum%v+{!hxE'>@QF ?ze]V;\tJ22DXհ֐ϳ3}m%:ѨAmӟx|=ZY51(ԏl}(?dIG˘wϤ ljײ`H|.0 _Lz.R+RWC.2GЄVH{m:q5C4UK$K /pG`lVoUoF l )y;loc[tF+Gq`PG)Xy4VK0< Y>t]|;Qx gj#Yoy ! -A,LgA$HDz  ~NTLie8[Z4؅eD=R)pY՛eZ Sށ,S*BN5GCtqoN%B/VɦEc,#V*=rnUN i,Uc$\*j.)_N,wkdN!?oy21ng{J|)A z./DHKUvgЈTaw4 u3\bP7O^#~ ..baN1-湆ά -(GuPQdڪyֵb#jC/"-FEOUNdѸ޾5} Bx"l@2@qSpDIϙ5:S1Cћdp O֤DfdOSܵ=UyqCk}TGkoD}ֱJw9VRV8dNB܌{Xtk@tf̑ wUeq nHc/z:Ǥc=yP憣OynHe~saj𳙜cJ{3*w::I q5M>-ȴ[+)SDL;8ǂ8ܾFz]L VQWU,ٌxniqܛ6¼J?MZr! ̑z1u U"KT/s<̃:# .0;6Q)5WW9.Ƿ0‹ 1`M\C1+pN=m 3.},끨8,==^dJ1.l2Sيoi gYD`I;ԫb]E.:"۟H_h|LZv̆]xo.;uxX?>S+"rWX怔Mv?0 ]]({Y9C^<z(;l܄3N@khqhx-)oSa"Y۞01o/$WYÙrpWœT[)(M#qt? hw~RϷz`JohN_X zML)Uk+p0u_]vLe%tsq& " p>nO,.M^%~-JK%ye8G+,SAzhRCՠ(u@j';/jn+8 GFKH@ K?hokwZ,/j;^';8] .eu,D…nbRE37!xb}+8,C 5F0"~}KHn<"Fv5ȍ*9pSNc\'tcaj`cnFyU 2u]2`- RtԱQCd:NoeIb%| ܮ S2ĆV,){ꆺ髽$qw-}*h&}Yά<2h%7{-w]d:8[6l388 Jt{P wR1^rHtf>X4-*? A.BgU-c+>*Gu\T&C(TCeaBscEMINӲy+3|'RnWV)Tg#P1xg˒EkAE)E0גfNPVm!dn]gtpį6rnq32S،q\^!94 L&?ULg2c>zͶ뿽X+}!t 뫩,P99A%'  ,ܞ%:he:Tă\8!}4d*6lJwZP!}|8R=PM3@J h* i))P?* Q̻:aco(Z,eϵ@bi}`>/-^P`K'N|Zd9tVhzCY#e,/9-IjScoȤ 4H+jXMUG`Xv X0;8yt?1 ,v wu+=n%cE~j8GP$X,S#Yi\Ώiw"rGPgX)V:o-L(sR)4;ia'+gq59_s'mV3N`~ —Fg 3d *@iEWt324h@vaXkp] Oyg'Q'3od'O/%y7/DxRY 8ZJԏ 'sj:-Kc uGaMÐ\8u,Q'"&]Cj{3(RPMu̖ OGUUHo*}Jl驯P? սZ.{90u֟쒷蓂ͤP|YJ[t컛7EmC* !鸗GIWzrrL~=ښ^}2.9DC%`Hkyt_EGI S(@̄ɂ =,>_bhD4 *u)0C'7]A y=P eNՓw/ӁͬC墜WSlİV֟YsLp| sB_ =*tԲl2M4X<,ԳTrȗ2d:" q ܄Ex_O[GZ%oyzֱC7)7?&wYxT!\92GA"2 [ֽ3A%D8>TOM6dzh_/TYp]GvXdy.,Q-Ĝ] W4>#A3H\"/9I\Kfd( yD&Vk-L6gK 88!> ׯD|{WH+~',Gc֗yT?i򷖵v/{٪S 'n>Vݬ %9TiH]Xc[ qVC|SSyTImG ȶxǮ=}HDvfG;~4k$SMQ[k$t'ɐ69*|])~/1BM4Z۹݄t,}Z{-_.P (_պUOORê׷Lf/74^Kf?mLOU:{;ѱLA6zCo5,}>J=zݟڞ˖N9&J"H9^.惋 \\: $ѣH۾!װ/F8>f x^vac0+櫶2sZwNRiyؘC3wfbRc&谊=vbx\r{ح͎Nd1T]ƤrnI?γZ§mf sHnmaF !tL3f:_&w΢"qTMH};\K%:?/7SO6?±aGޣWa>A!пBX*[*\x&Mj Ldr&792W~qYl6&,rOxlX|uʦ!vrA6SPYlcЇ6#>6GܮKN?݌qё*Qѩi_+ArVU+(XJH˪HrlCCiG%^l<;tw/:?kO& 1?auH3bq#(;!CIb eǹXߨقȿG]vޣuB,X)ٚlnl[*fg#kf__~tbA_gB\y`=|y2aqq _ !=E48uzb#ohy)Q2[*FL6w끊t}Oz%ӈEsy{Ɲ TUH{VWUW<%_qB5:/̬ MTz'?iU֗a`S;92$zR߶P%Ѽ$whY.8—D:b/)TXwL&މʏ#Vg) !wIeں$b?*!ecfFrJRPd=][;N d#`}?I D1{  -ĴbRXz`l`an%;()p?1ýM鼩!$9PG!k- ΓErfm?,ֺE9b4UL2 (&ۗ#@؄?SPZGP!N~ooGIdq .ؕR8U@B)8W`gk0\tk$p靖d"8t$#,'t _1>֮j[ߠMؚS?4F@QIܝ Яx/CÝS-tf@/U M $2Ȉl0 ρq;vH" -) e*A9u?eZpz{vӥ6N# Cv&ЅeNk> z*P 4DW`ˈM%:2}+ߩ䅙wG?\P*yޟAu@Sl\"ZXY0` t3 1 &ZXqLxLԶ/~mB'a9k=4JI!hXrUz!{@!+r?݂0_˅>$2M.$\.h:o!4)SºLվ *! ݛKLl< *HScr(O 6WceMDsI藼 |E[QrC3UÕ^L|EŁk"J9٢=#D '6A դkPE.ם*n]_\̀Zi. MC"p/'&fGڞft'ga{e6H8qfɹCh\OgrAq9!CuuvɀVt a>iOwȰMؓ5b*8ya+1:O1΄k6r%H`o}%`;^sUDFtB0vV]<`X_TpH-5>_N8-7)H]SJ>aУYcZmxoAcRM9:j>zBxb96FKdk^@L0ZMMR ,I3EV]4[4܉kzp=]VCgq;:쯬^o#d?|ꭔ s5t&w^P ;s}%)^LӾtX_<}`a7$IW,e6 +zYisZ dj%i:YO"{l[/~辨9TCoϵ JRAK_;d"VUSMx\l /gh! b6Os$cVDɄ2-bH,5(2 OC_U r\L H<b2s WV <|9ל6V&/'%^I-\$}-:~wZ"et)m}2^FGb4&`}l.jSeTWaY0aFl*aݧQ Y@-oа.c>nQ@>&N czq.1z\V7k\R/li,ِn|fIIϋK͌fP4޶L++(AtT2uƇH j{Mc+I&^hLiyjjtW%P#9p hWtQ0[mJScˠp zMX(9hǝF(vT1VVΩxe*$3QDpTKѸׇS"G>\ǯ?yϞfrCL!GHupʋ aAZqEeB T.T4|`yJLʗ MoK7yуIik@Do f0C>XL+, V׉8~J1+vtmOޞ+*:3U ,5taL.^V6ܺr6;5[;2=*r?{ʦ, uEѶlhz#Q.&1 œYPU^`LP툪nQұ@ʤFtZ63MW3`Jv[]LvN6Pum6m-PS,`S bbh.;"[/+8SKSuu qc݅q[ū(2g҅uB{qR3'V,L (0Dž[C}Sz(&WXߜϥCJȢ=ۢƶllX* ʔO+@f?$}p`f.GF:e)JL{9j"=FmoFmZrnE]F%Q6weZYl֖0qZM?>`GFd#/. Zg;E7&x;竩n݇|*['gJ@9-W"}2DW #@w9(vr8X:/0h6bM/ X-#,M4J|. U]a9z #+-r$ĥd,<.[RFi8bjA2)\n潫Pj˛w/`;pT;gHM4faZ(1"k&TEH4Ζg&5+څ;ARÎr躬:nJW ۻ[Q.S(# R * ;+ϺcRy"ȾMgʶRBrU 'Veb~ ;]1>LMQׄ]AzA ϩA(+}2Qu= #w]sq;+l`,gB @K.U͟\RqX(dHZv{Xonғ)-[ie.2EB.&ְ/lnzy-GŢZ:C5kq. 6o>a@9H!Vs1HU*O??S4$RSӉr?1uAMaR;0a10QG$͊qZZm#bkӊd,f~isKV/d%̶ʯ`&]B"*.oR#<$$M6Dw_#}Hu 9: a9'ANYBq,aea9-Ey0b:w,Qv$762Gnn!;7_RE)rO,9yWmZD; 0tQKX Yc_j`f QȮqCMjl>B3T$fvrPs3b<esp1= p`&4W7.<FZo>װL}Jnюq}>['Kgqc>ME9 lx<^Q >E+1qdтhLV>p;CG"P )?DoC6 zșDt+_; Urƪym uoF^&ZЖ%2x$^_{gDq=;L9v{C/ Ce4k\k|RE09'KG@Mq,"Kkn"kXV<nm.IuRCYBKtCE>lGf\Ldh@6ߦ}̭Dl_7[" & ڇS F-_V%gVZlgdHugacЊ̇U4*x49?=ӏTTFZ' ^9A1qfM`G)`+ʈБYX\hi;cys`LQ3c#61XtGņ `IWjw-X\'qU*2P^*ؗq_v I]^,[m= KSzkيOqrDX%7Ml˾7 ~Fe@ D&9]797얎hk1 2=ÿ! |M_7aWm;VN3wǛLk'`oof>QĿv⼦5;ukoR^]uo!dԶ(TӨp;eyȼ7, Fr]. nGTa*K}*W-2bW;!QcGd]WU/ץt$ w.'8Gv*a]]#I8%< !SYbnj#Q59b;uN'E頡#De*iL +D/͟@ogA"bлw.Gf!a30"#lƏL97yFBq Y3/5We4 fO~ytUD,k8QJgNIoIJEx V}vF}]`WϾOY .uv0a'$ٛ2 ;/6㷭o+M2s{7d͚5d gK<\7vl4_+b7K~)j0"Om$<3Z ^ X,;ն h3` ˣGg`+ &"F1\\Ⱄ}W j ߟeltmpZaM;J?W^gVrɣj7dMU,vy2ܱ(OQBepXyqN|ZִUK\p2ց_0x}%j(\&4 2[BP$ |ʽ .O}DN9hF=[;nTiY<#v+24Jjg\^?®4 úoF)->:HcO5 WKn]KrVx9¼h*MmSS 4zr w"oA!t^pcxU z+=*G\#8zSoZX%wޣB|ąL2eP5d-zm{7dˎY\$wUQ6YoE"H)ZnBff\z~>7Jcܠau#FJ!IQhi`CKqX+u5o+?HR'o0&WOq<Êl*?ͫtdqS{O jp+ꏥ8ǀ}^T'k] S6@-f9!K_-j)e\<߳B؜HOĈW>^v5ړS'Ue@!/@u/tu?0LQd"g.䝥Ͱ ,spU:=N'طGB74rw{I?1ysb3\`Kq2kk䭕'+t䥇 Hofﴲh| /Wg>re3k{Tں`B>l<$P4ZF()Q(AHSWڇ&#G~Sqmi M*0z'~OqAxme5CˡJRY#ݽ2ϓxh"+aqЩu{{ ~`r@ke}QE4&:C%~ꃚD U$1m]%E .;v 'fk:gV-qL*ʹ =:Oa$1S!w-B}0˚-q/a Vn2DKlEJ¸fS ` OI/vA2s~0^wl%x7s5$4Mp|Ƞ;[z;lXŶcl=#L i?Y2/e{#~\v&Q+ Wg@>e^Y9d4ܞ'6_ҩx20#~bI21ƌsՙI(F\˸'aM\z[ c> 윬l\k*A`3^1ȱib\^}fSZ3%B ++ܝG6SgԼ4lK]7? Ɋ* #YikC$9 2 'dotu{tbLA;e lLSOy `@s{sK>'39~Y#anpp鹝" RO+4 ofンa !bs.]SeVvn=ݧB]l& F|I=8\¯Ȟ VN˺8s|/}7΢~Ao+ذ,Q|mEjH'Y q_ܳ.z%sU:5uco|?'65]=>BP=Xיo0w,{~rP~R|p:tI`@oJFމN7]^$c<?"Wt/J$]`& L!,BŬ 4ҋp^m|rU,l̼2 `>mh'#S cFTupV׳Hb23^ӓXELCϫT}rg!qYPDT=$$T3LqhiT i&_T @ 2ѿOOsTQ嗜 SڪJ"M|Ġe7kaMݭ{L~滕pv?.CSh=a%g'-AVX&Ejs1&.cy;V e&GN#rE;\Ny19~g0TZq뫺D9z; )p^ 201K/e${O0l^>KQnQ@ӎ,tٯ'">Yh`_" ~v yaDY=,{LHM LDdBoУ؀** B<&vQRz~99ݨJf?z?mcaB@&&53`rY|mRk[)˴ߩf>h;5ޡo ,PbYEsU 7YLQA)/lN"MT^+sQo]ra;Z˴_>\=+!G3g]N{G7x<5[8;"uz Q+L3Fk[O6 VMCS[4)3Iyg.] oI~C:TS~]wc|p~p㚿;W=9řw[l| Y._[Tq F՟,0hy27Fe6&}xmMht!'#b%$m$_ y0j00R"\:l$hК:[ ^aHo*~񺑔p-J\p>OUvGGY=d-4}b!(S9\̑G[f=|L}x.ʎӌ^׭ _=]kd$]!g4^9>qn&E.~osV_uPf Ơ 7?/ w*yc%ǓxpjWG UyyIӋ@R(CB!=L<3c@t6"ѣcusC_<زLK}qo 6_ .w/zjLl[dp-6 zFeGO-rmu}.އ`3@; FVz_WL.ivH*"/t xHONDE>8*ŠĈX,@SSbgD?,hQ`2ssfX# $W.ŠZ Y03J@ eVuXS ִG^h'y VQF wǀZՀ|0h—^ICmGrh_-PD.;$`ݭP#0a5H=;v=L$3kہA~oYsH!G5YQ ;y$X`?<ˆ>6<(CfWȒ%Ϳ ^`M lTQY$TTyhMmwlh(0i?vvs,+΍`Dt`%Yr`P+A]l!p5t@_[Q281ƅյ`)? ;s@rFšF +;G6-R򆆍>qzimK0HOrzLt!'VaWVE VލHߕٯ̒ \tVi@,<{=cp҃Kyq'DC겎j {EI,qqo( PS)5Z"}߈rAt3Ydp\nޱ]y9lO+yi,+AυlrBD#-`ỪP)5XHio=m2 9!"~!E`NȥfOUߦ$y7bGFFcZ3idQLwiTxP82W@fJ]Knat|Ӹ pZ%'\a!c".D6l 緍ɼFPrt` 6YB*&cZrqHLbw/CSv(9;kǸ5ScqUio+QLfKC^mfa =QERr< U')Fϝ7 )]P8Q)e 7K0`Ömk4iXJ`k^7{~gFC,n kuoJ*F7ζ8:[Mr3l1"Soc ۢIdŒōj' `[ݯ^ȯtR 62lGܟ;è8)S