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  'vldd ]w]CAVA_Automata:threads=4elapsed=81.271cpu=135.524gc=5.8727zXZִF! zn]ŗXiɟH)0%o˴\=Ѯ6L~TW"005R,k,7A4a#E}|^r,[^<7>7StKtx4ƭDtHjMgRƃ%e`lP~RrCK /-+TWhc2̱iۂ?zs`jc8~{KegL`!@tbxY(WD_OW^Hxo$(gOń:utӶZs3vM 0g.Y?-~xV@NaG2Oƴ%% zU+sUi*F 7U"L Eb5Dr֓W$e гJNJƕ4YDoQ5?o׊dtUJQ%`KlиRZ*ݫQOE{ƨX4hA2!oN \3sR+gu/&jUJ7~6hW}m,BOUԴ.Vy|NFʵm}]ʟ̐66]f߄H .yЄID0op)r0ܸpD# ռnHpuW( ;yD;F-tG1Gx/{f~;t65?d)zy0 #zwԯZ|dY۲FbuOarBS>$!8'!`64WM\F8w3?js4k`+3 %֐g-Hy`ywsP'BEx~](Ӝ-RUz̄#n\Kr?Ȧb+=v(*TFtg^$uYΜo 4\V%*/ipY/$qC8V&0) W\#]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%AaO[֞!ҡBU hR 1{\0ڨԡyM仆]Q;|G`~9Ϋ٥w+!CG,f fmzZO\*oFmyIbsz5ĈWyjwi9es ^#9 WG~SK(Hnpl0]wuG\:.%"Rn| c~QOXOwHAK?и |R$Kp47SLOtt98?H]H!vQܺ_|Zsm8{;Hb$Ca<1BrP!YdsܽJ~Hjԩg}ںT""Z(t0s~SX>Q"A!ɕҕKnb I%/K_ 9OH&[a?g<Z}gfҋs$ fje$b Moc_k@M7C/Nlp(r{M=1F)1}DA\\~FɀfR0cPigf恷0 M{AO3}>k>g+x{6F;z5Dt B7]{m;/SꖉYI;۾YvhuqKG0sF*Mu''%3,nDs0}y x @eOhfؼI3J?VV qQ+`ޢ(4attd`䞚3.J\=VsHG3HA,\-XӸPu̻[4ä\@Geo jXo驠-)]z~Âڕ'0tXN M͵uO^?$Y*ކ~A"giߧ wsYqqΗTeCJ|C;_d3`|'z;VgFré#rj.[ 5A{L(J3_3;+\Pboa{!ξ]R;[HFYs>՞HƲɤBBl:^N0bgMzˆnȭx~oh|qjVG]Gx:KG͚bϊ1Elth|-ەt7۳g42^}(y"Nb=ޘ8oqԕ+; .3ok9g4"#,I;(  N5C"#- Q4пR&Ԟa䔭j'd7dU`8f:a\!Iխc`LX@lM8l/9>?':y˺F;n ˷A@V{~{=i8B't\hcQCN^•rqν ܳBmw\>=k-6u8#QV/uMJVϚG-ua9"[k'ԧաV3/e;Xj7>ʟ5H_?F0NI\վTd(uQO}?n>B#N}8VnΆ'- .0+Ħr߻@ ֿK$cuj ϢvKw8J"E&*&@f(;P4PPpR>XJ<:"۠!ɤHNE <kMfbO4yN7h<~m=#aqgJ]GpZFwn2{_5l?8ʊ}QB+7->%/hD y ZK?D5&ly;)Rd2S5b0t,+6W&Uf|1H9*y6dYiP[.yt.gG$|nhޏvjGrU6AeQr*e A?% ~XkA ?7}ّvȘwYMkS@++n1"M3Wƽӹʈ8v޼ĿWkG8>TE3"/@v >G#v9suG+AstlX":`{s ^U%hulfW)JW陗J_RAvfGBpD^;+*vk'U;]#OqvU |4^vLoPRtĘ STt7LENp>Xh;`_P3Y(M?^'FxlC5*#ϽHrnnAQp1805H2ӑlMt@Ӆ[cop|ї͑Kd%64LU#f~1:Kx٭ {'ri OLRڃ/EVƻ?]F%戺%,Cn%fLJ!N4bCw,AkwtޞVܹ#4#l~0x:RwM:k-/@'|ґʑu3ciEU`dnBi Vt['X@GM}r˝i+l1 :NKgrN1`x+6t~F5W f9qf׈vF?j߁f/8M9xѷcjhX]`³yzFMx%Q*Ze"",9F-*GvI>x6ZyAyɠ8"x;]h{Ms=}rş3S+:T;co!2u=$n^jkp+tsMqtv c}_$T g fFK<Ģ8qJdul*ֈ[XEp҄(5+S~bbFUsY0)FڪvgTƑ?,3|UgF޹ `&[5MӞ ^rKBCm!Dy~?ޫ!thε?4d Lx֌Yɐßו)V޶K5#ј"3hzE/ݢ+K-;l}DŽ8SLs@}+ +]PQIiY$s"f{  wU9.m(}S໰3''C݌Aྵɚ@$|Э1K#;/cm"gEA?{ޥzX !?BzV! Ozt>JweV=2-7"l58HA <_wwsV^0^ѨׯK /vZbu̙lp @i?8WVzA+ `l=5Hg ;x3B3%DצMtUAۍ!1 'E7Q{eB0973B"aSTe{Mwg9>~v;im}GEw% G'XrpGt7ZQ#QA UKߚ貾Mڵyΰ,I$'ұIƎXuWr?+G #&$Z+Г7_ZV6Ȥq4G 0XZ._ҨMQV+5L{KD8/uD|POzC:Æeg a@枽,zfS[ˉxݩ|Ŵ?dijYu?sYev$M=n߀<lL0+"sVC0DVp!z0ѡu URX1Oq\޼/+c5`_YHrQTD ߈us#.e WpA4"pYpnW6vKLVe'isB"DlOҡ0~mjmZO!}I Rq V_?zI[u#-FkNqBqSE3ޒFek 80B$4<}X_?blu3s1 tDV2PxRlc#J`S51emtX m4k: O2 yTDQ7\`K/c5 ߳{ǭ]vE"|[X#01oBP fpD;ʤMoi|iJ\*ϖ6W2R SAXU5d/]Ӂ֏^dhE0U:E,ކ#o&uM< .VA'簑)N.B+suҔ&;PvS-7N2x+_E0'o2,r)sPO.0qC .혻a%q *9{;d  Y![@OٕnVO!=9kcG9{% țl>8HfL)DrNC55xPG@ +' [trysT)#Z#H7 ϴ?J8d]s_2ᯁA#,zv<%#oB V7\ n|΄+ NyH0&m9 >Ø^QRP`$F31p6PEdKˆ* =*e7sY/wds/0*K:|-pre_(wnr$EƒNīF<\hk:ykq(p4N u>l6+jM%HL\Z+8mJuIfZnzk E=3PnfNK+K X^ۨۀ3X9Uh"w9e`߇9 rF)St\0}H=SmfP#'h6 uзU|CspkE@b'$C5ORHuMBƝ`nV[("uw.MzMb\v+gtIً%J:^Z\ˉȤ~zDI)YQiƂZJΌQj Uq^ Y^f'|ac#3m!j|C" xz_-FDY!cڀl@sP~LfwRbk^wWJ ,GQy `xzv}s%oK>/l_() a?Ԡ`ʌ> -8#VyT;s!']!`%DAbE]B ⓶u ľܖn~`L&b͟Ī/ȤPJHb\qmv$1\%"2$8*hh8j}lwבh)2OxWbm:/c^214٧RY +F|AcUIӭ1R[-~ ?"M55XŞJ{\FxLe!1M_?< ȜBmT |\^<4gʣj 2DÌW!AS܈K^a_?X%JLWFPF#ʏ߾Xg/VpC"4#lHF+ioF+ En*<)yZ(K[&KG4&K+L.m:}?F/qCβ"^{M`acJVmCcGU 0kڪFvQPdqgĝp+z*ZBKt׮Wa\[Zը{_rOI6>eU;]ɝQW8-)Wbq h'1 fi9 e'w3@~ǽx-e '9nq°h{}쬣J MhyO1 !hO1AL2g+u¼Cn㾁&=mGͪV䛧إPcS![䭦\JP,?4p pR7+*QT:;eΩ)vH .NVMY_@u6T{V$~ş*%K 7NƸzT9= NwH.qxgij&EFe9DY$(20 JKutmv_O{&+7Xo{]: /h>*$"Oin t92`c֦fS}'gnheq濶>Y;F+~1r<6χ!!.2ˡt #5\tNo FG{C{y%yޑ Df7D=%X#=#r C9Ķ!g|{?%U ؑaY} t 9]IF1:|sLf q#QQёc Rԡ OkUĥQ7$;:p\_jSrҵ (yK5x0{^+i)qs$|,;p5kE=QBq:)\mmkFJv <1։Er,z_v}>f_"`t]* LA[R)ϤxaXJe`@_pνi{1ݸ?lTЄ$;/hwfך)JO6jE_P-)/y@F`q}2)}+e5ιܗ`J^_N D2L#IӪ&I*Y XYy&c->^ҥCY[0eXgw(*8Hk,95Ge HX.kɣ( 8ޜAd0!,GQ-KU) '9EӇB>[5z|j"9T ߽u߀Af4S满($;%aɖӑwYLɻY8ypW (UO#ūc97`f::M%rmI -ut<#_ƶ |/QnW/}&w ?d9'.ۺD׌%3 Rvmabnl D>e4 Gg O8lEhG>nREgٿqCs 9i%Y@ ո8k0)V]+R?_AˆGARKNQ`tǗKIͪmZ7ldtz[3us;(?&>y?g湫s1X-fY](rY?a~+E1w]H5>jNp/ [~#v':F&Xc.laU7*JenS8+2xܭxn";{C3# #ѰR:oeGAj72- ,_4trJNl?uBȨo\йA;\ )EB Oy@T!gEАM3YN<scќ*&[P+G И[%$E,Ld渓F6h,XϻiC|Hy!\!BFE58n{ ѿ~ ?Wpc&Cb`,\S˹z= O(Bm@ g 1Oɭ #Dmy⟺ȫ"7=o/nMc$!fW1s?چdy`\oę^A-t#@QAj f|![gԁFX]y&)F`G^yyTNBOs@];!/R}{x{6ܖH4g>RV%e"@73m#lSۜCmXΛ}削4WfRK_ݺ~ʢY'bź#wuoֹ%4*gH\ |MIi2n ?8;llM(dkw]\gZ~mUoL2-CW%,?U/~G'oL7cʡ+㬞{Qϧ#0>Q&=-|[#Oq:k~(UBUg>?t'戝ʕ[&6Ko`Hr 0.sXeݭ 6Q]ߛ8l%?rj+CuyNb@~|EFD=|ثKe4'/Ua6Oi)[Ʃƪb!M syb sZVIUl^\%:{z>lR nO/;Er?TرӘa{ {8oapHj8Ehz=k@.MvY4("*z%9'-x"oE8+wp!>5'?H>u- Rdb (vꯚߝ]%YNfY<-2DqY KZ$2GK@4#R2E@X܌bW@|ʺ9'{{^56ϵ,wJ })"w̼j:!fHTP]!i+!VJ[/*w\~i᜽kȴNGլ_Z rۣ愽76%I7 鱅hax Oý"*O l&,_,t.*u+z\*9\=(@r>"g)FƦ`們yEr0\T Ʊ:_88u\{+ xXXKH1j^U-f]PEDFv, .j[&Z_?QNzIUF(A(}}@WT` QKS+.NޓhKP YpX<"Nؙ_C6 w(TI}\5c\͡#YBkwm^ڏ|14C*,J0Er(D^u[W_ rH3 Fiv ˤDU˖n?i:F~cXEL7!<Շk&8x rz/޶Rr0Ͽ+Wh/d4vqս]ٻǼ ^8#֓"(jo* ?Ö^HĊ%r GZdY>gv'H.&(g[NK$j*|՝}2~@V/WX49S6:?JERpx%UF4T2w:Cb?|XTez6z"cn25U}st9&q5<Ȗ,+k+M`n Qag~"z!yV#T‘Fߺѡo y6I_IqAɂ:.'Nk]]|0_<邓-`0T-^`Oh*-j=/UC4FFK;TǘR4~oit\kHˣ_bҨZ [u[Ggc~ jfQy 7x?w: jƢsT/J2vI8w}5%2Bhf$hO~*H#+P}vu&&aQSOCO !S7q袅hqZ6DV7&>51_So (׮1<3EMt͢> WGp!AtêE}gbxb>BvQ)]#{qf=-I?:;'|m >fЉ+9'+r&*IRnR~+؊RP0Y(KY|FٗC}RzׇnX-dH^jlE!J@z>~i XNÅ-AafcE^\Y&>r/ӻw+p @[p)zKU'q ʣX]=fsdpaAGT".\$l(1hT2wOAzPZ <氕 * /?etȴjG$cokg>ʓn(Xr%S_zu#S0~1뺁j"+lu3x}t~·?МP_ ؓ]%fH1K.bh YyͲJE a1{p8eGI`#v ̧!aB(đ@+I.}]nr*Vd`uKhrk ,h3T*0Zp7Q-P|xMJq)|jCjϚ^pDw,"B#Eaaƶ4cemh}L%cj Q@8?Z]Ldր]6F. @eJZPk F7&jmw3Rr{ZqSj} }Z+#>|my7p@㉲ֳqw`ԫۺ%2F\U3xC{D\Ǹ0K_rl{v~]uԟ5{]7!R(w :JMΔ}Fi _kVRKd׍y_'m>LvVK+,I*ثyG/ًY/ rPU8i VgriκM=@DZhO\ "p8iYD1H;7bw.8e I?ZHTĺRɱ vmYa(>F2 ^U[P34l.yF˻: j\ vS%3Q-C8<b2/q١.duh!J2AOzwxb_@}!hǗM-˔fw3 F˕:a! 4(9TmO֪=ӧ%kt^*(˻fqJ?<˟$u0IU"ƃg [ O84j٩[>M{Mg0+0849u\pr%$DkhS2Xe#d|n3ŪVvK^{$m@Z"05j:ЦRVgR9C\Jb3Ѝmح`\O Y'n`>v{KX=h"X L|bwPPv%gGAn |/^IN,;_D֔ Řk].s -67̧v,|2*.Z Tv;e&2VitysGCE5JnҁiTb|4I9y L\.>axV12<p'5t\[q՝w#Z{Aqb a mͫ6(q(gW~ Ym^p'=^V8z ~9x,OTLRp&Y:˒a%6fyb 8- T $}B&1f;!hB Ifd%$b,؜߬"|eVfQn4f /Y.nzh5!cIhJGkz{lrlB3hzr6Һ̌B)=4.Vz=?>CdkfnMoI~$|Ϸj=kӒBP'ͩ; HsGtHx zG׍D+!G ]K< ,vBK0 hgvے<#~i?>3{K8i[˄?]@ 'Xվ:_e<>j1 䧊aDҥcGW/12Oԡ;P'1 oQ+,¯eN/}h,x4{##DgӠ\5̥e,>^]Qvܽy+)[%Nh?rg=Oĉ+SS u8^w8[O(S*(vOD)!] a8גEeКjvMpbHPl=RCB|nlT 5Ȓ䳈H"m#"&w-M:_xHq(&.v  HQ%rsg`{Ȇ(%E":~`;I3(c%TM>nsT6!teKOj nL4q~YD![w>Rn{6n蛗AS{lB6B mV,0 p# W|զۥ| AEQSZG sX$kq.z6FFPLd:[}VI낺=pq׳D#5w_Ҵqz]IC;oQJ2}J)W΁$jv{/nmFW{YYɠnGԛ ԥqJ /Z4IZ/Xj^eHZnSn#g[KҮߋ;s哗^_A0Ñ}oo։_^H綒v.q`؛9C`&۾:rRR쀘Du|W]9) ȹmMI雸T궬?6OWO 0SGR AmJH3+r3eUKPBmX\)hlO(DM[ˁG)th{|/Yv39&ʜSmq,`bhLK۷^H a(s S⿴CN: V ?0{ ɵ* khKk[K6ƗLI]_a)b91e p6׶\0dn( nao뇏o" [˲b&aKQ,Lڧ o^`짛4ercQq l@o[J.s`|Qzw-bj;Ř2U0rASRn^WTx8H Zj戨oi}:DlkȖdu&Fm7nl}atح?JU4ovts ao9x_sDݬ׍77A@Emռ.#U?SN 8mj6{1tBy\;dw|(k9.` fOPl~N6M5[/=fjk"1^Js_5iHEb0)<#c$ԑgn[ U #śTcPZ%-VP#Ѫ=?:dF1)~%HpolMH12WM ᤁ8@~槲2C]&BKo{HdkR'\뇞 !O.(9c3mҗ|&b+B71p֩peA#D_K8螆!݈- UF7b]'v%A;TVk܈rmZjǬM#Z͛'1cmقdž)@%wrV h&% >Ɓ0w$p&[lw&kN~a!TW*zm!I!mWLGpBI)&}=#f +}Vʾ .:ohR]aw֧cHͲP_NU3 5,v5w5ȉpIez|f{QmF4("3VH| ~ $ (Cލ۴9֔Z;\nP:J${ȶ"܋V7s>@wAimOl˺}#6*I cA4RxJoy5NȖԜ_Nͨ!B*/DۈˑX)>xu)>6׋*>V7<FgPF@ksˣp99 L[L?y:=m4)EȲKŬ m/;. 4a;C"Uk õ2 cAϾuv(cihգ(F&6~ߚ%i1K#fk%+_|O52+:3~ \m6@)QɃL-ۯZ!2d}di ]{FQvEtj~jG=+𲣄T %+z:$4 tF^ E:&aYګCUҙŬٯ^: bMMsP~ aAvDCuΝl&s=AUU ;OZIL)ecq#kVLI<),0G7}OU $zn2m /W #=,H[u.2<%f(+첸;=T,O~)aspJܞof0ajI졣L,篆!a&$ l2pqx_Y OпcS2Q_~OgHrv%!3~"# D-WW!RIxZZXpuطh_O 4N(V =of2e.'.}@ߦt:R$<7d34L eݡAn*[=NVPڈ6O1 aR׻BYX540 PﰘU.,4LhΙy/VmrB'Ioay63qL4 7pDg-48@)?[*+[$EŜv!{u|JӠ_tjR'}2`pYCD[%))m0ġ`>RSl3}SuQV"=QI2ci4snAiB6oEn!{%kz`Dcl5[EF#KU]i>/z@qZ\HhPG)nCs2;r+tЖ5uv1KAģh67ۼVw.<͸˕ۍ+T#N8ja/m|\ń.^~Z]"wF`@sbL9{Z4CJIU7D`"% 5|?$ࣷN&k֟aF{<9A3gO\5ZKf@p,F{W%9{. /To1}|`6`)O[h _(ҭƄ0کpGṂp21z괩r.uk}j-4VD!tU ")_UT;s?VV$FM;rĨf%%J9 D7?a#x:i{hy^*ɊRvkiwz[_`!+qf2ОegFuXG`H-=D^r|f{cӸTy}ea7Ũ&xqz$-)?3T~lk quAg/.?fz<\Cj-b,Xg x dM SHfuok)ˤjH:*DNIK\C)d^}SJ{-S{Z\fD{:`8j/jR߭rU]-1VBSF&|%Yk)#W*$6C^b6$KNh'.BXOn ,ʢ3&`n<@CC^c(jPp9%|T b6QQ({=e7,;Y1#RߛS9SԂE95#o\Τ.19f=^41k(ٍ V}_o~}!qѴ!Bݮ']#yƳ[ˠ}OƱzJ. kԖRl=m}>!xQڒt~Kأ;TL(zIz]}`)$.{?tFnf*SD?*hž.On7;m?JYnBNűQ9;?zn8,K5Q Щٝ衏ڐYZ"&)ke3wVTr2D!:&sOy lBX^+~mJ )VM($=PS_?m{VZp.NŔu23*=K0hUf +g7{!{v_n@g \=,ᩯ2(yf{?_3Q0fsZɫ N(.57}g. k1.J2P&w+診dT!v\G+*KLRd/,䰷nu=)V8 г1KTI49R 9$n6gHW!tY!H=qw9-F$͍ rR0]2 &ˬE~LXXf}e<9خU6 צd9Ssb;cG 组b]^=:a&FR{6ۮK)2 o2/]N3^ۺ) uj;7RR}~::Q&s kb_ a@ hIg|}XA6kSsΆF6V`e& I5Y@%Lo=wUɇJV,KW}$->iU pcowngSFq4NG,.C4 zrTzx z[Ɇ]{WEPkQk2& r̓ +5J!"AK<}X^a!_d{2zk.3U)^ @g|h9!;oW)GD7 \:oyLLÚ%~iDnyt9ALGw 8Z Rb9[ロ׵&e\}ݬ#':QK6^nJR~y%!l|7[+yhyyb7DܥDf1Jlx_1`*6Tv sq8*M<_ccLbq<˵uA3+/-rcLҞ9'U G_eLiō-Ks;,x߳ @DH{ 9-u ")Cy%"a4~$Dg=_>'6ǃol≽0 w%g@4$~a-y$tDvcX9@sLէZJܒ[(>!5#0S2\.U|YyD%eBq sm\6y[n;U`@g!| 'n/\,=T3QLϥ ˄˚F/!2XGYoQ+eU nB4\K`7} " K2#5kˬuE$X)OhGuڔWfkU usz^ݾ'P2O9& gPrkVVM@C|s_e1n rH4b]K@j/ \6ăgvuik)_2ח*bu$=*hSE^.9dYuGTs$Bu=^Ⱦ :aft3(t^Yޡap5]EIm#w! U/ PAMit@SkCeJF~!gzUD^2K8X.wO*s9y;AeTf,m4Ƿ;݊JΆPP{˔xW?O|cuM5(4'6V0hcTeHk/d^Z uSCDOӣR<4C- 19tz= F(P><rr%@׎ymQёkĽʭ8$uc'V7$9O즄o zNF >낖 $`[ADK* +[xԺ=q.ZH% Kt57^?h( ̕n8؀m̃y2fYOR;|i57Y2`+ЄXlXhc< K"#n^e8:%RUZf.s̾ÊɶT¦ ^ɶnmW KңY-}Y".-(o>"aJH}4c(ѩ[vujpA wl)E9]_mi2(]@_vj1X9~3vM{ DlnubV-I6u+df&L-L,s}c5`5iPhf{q_f4 J #&u) %2,t.,$. *4ѕdMpߟ 2"a ̯-c}_-ϧ1@Z}y,x"0h;E3yR)3rQd4nس3X? ;PϮ(~s )]ƛ:̚P ~ ^ H+!xMAf="0yKB 5 }\>Þ>"X.(w\En7aO[9=D+@ڦ8&H鿐SrRR37VW4*:c!gDax^5CC?̠,{A,@ #_\NL$tg̢[Wή/'jԒ}$L0*  Bn_>;PQ6Ζ(}A$fZtb/(啯wkyQ= 9hX^a,mrc$ּnΚ(!(֫NG"͋&Zx9\V/)E%Dyc,~7oX*7N5]rG([uL>- _y[˲&}KJ`њM81K/8w_I[cMjF 6RK5$A)l!ouL1{-;C\}b-S42Ljo/ù!3:ūn Lcnm ".4?{FU!-Ĕ0>E)=W/AerXs6mYH$ YXj~#;aT;RJ%4WmJΞ)!"đ-BG$OHkkiӸ%JI{ą܋eiBm;Wd.*S=j !j !D_SA0 Z["]ÒF43|9l.*g:WU&8U`8Pe?897YlՅN:E3J*HOGa]CX V.YEx&kpj,ȄcwLJ]#5c<_Tb)&2f *~ ȠՖx%t^$l)ݨp,'bJu{anS2zW/4s/fs1%<lSehUݖJ߭v?5/=_SUxMJFE!zQ'?9)hLʟy%1v/>@jT(=j`W/ܬ\\W{;l•N:|I߆`[#.hS-`ncؿ0:diq^?S[3ܥbGps1.4sg x^[<xӬ yl֩t{EϋYUNƼO(X$juX")&@#FPtE%EqZ\KܗblC:sVpf[.>=Uҿ@tٿ*8|^ Oۄhj'&߽fwUU'hAFv3+l ݸ"JҤ{ DMk"ʐQ̞wWM,ry} ^}3y/S$ϧkŖp;~pkP9D7W76}xgʃVBm+Ex>r*Fx0ULr8/}"ttka׽N*ݑw \f{n;M v@ ]yea$Ї̿@BF@'P][͚Rdƥ)Dm[όOYA]LԿȞ (X A"4oܛE]q>uʙ;(>pjY%? hZ3Ojø;:/HJ ۥsF/#ݱr!]ڀ`~^!W9kDfg&To+dNz DvyK'(߳NмoBU ȅJw}ݬл4JmqLAM+ xгPNtQבWdgN,Eq)Ox:7^*-/D qc^b؄`tzn,%\} "2& t\1<U#waDY }l r?q X/pLpDhx]`s ~} w+AN h  X &DH5NꉢrЅ WE7oBC/ike[/@v&XpQU2,ܨEpm=Oi蔡mUdcLb-8j.ėg5̉+*wuo`5v7sK7TtrOY- ۫c0Mmqy&xү>H aJ1X[!Z?$5n #l.0zP㓎c&W;WВS㲻dF 5>CE)HWN $蘪LE1*Ԃ3\`5 '#t]Hِmt) t@E%!,l+V% iZ;uVZ1hI"EyH(1^4/*y0Vӱ#0gzPiT7Î,]Pŋ-9R}/FH]keԖէ7eT)2DabpLձYs^~j.ё99̋0624q<95e,,ZQhxCq ` P0^YUNY-f,6iޔˡzEeἷ ,.*rPwg_Y fm> z'%dRW08J\#j#XvXffRW0Q/G%֎.²Lb.%B:.>$hgN{YJ{m|Y-? >0Y"8/֓o̒+r\GnH^HPy׀wTP}#,&L\C@فBYP 2+>f !%6pwH+)"hKߝn  `GS}(&D ܔ1o|0L`m3D*2QDom7x?/ҀTF}eS]6nR/=FtW+t:U5v;egt(j!EtlDd8p^"| "?WskbV:_0* #$A7*&csxh? BC_Qh|;[nr<~M j z(2s _-?Z e`~I+i7 ,J<;~Lߓ$y$xB PFWѨthbv.lhV,Q.ѰD}V7BNI-QZRé&ItRW:{~C֯ngbT\q@7_h$g+%I*~ c%`U56!ML_ջ׳#1. n,"K /m#'ʛHDnҸA{iq0ęӫ_xOX>@ZŶmӶBe}~WRG辜}pM%"{Jfug܋}Kib-jk&ZhY` /:o!e)Y"t)Am(٦p2{pxH+>ʧW.m)⒍sL2;s̤e)7{Gg];SOD7{7wu_>2b{לis69c~G Oozm@ N^]ѥK{_v(9L"hKc,rfPOXf^ήpwKR RfYcVDOUlF-C?I}kn+f@jd)^γO9ARb*2ӜD8?&Tm)#o9hkZFaacLA6r-Yo]t 3DKaoĠe 㯺fq[S$bƒo$X]b[>p<{vt) ^aOM&TTv=O =/L7x`5#ɀkr%$ɍE1FSޗZ?jU-ƁFVV/,QY.ԙFPN D!uAMfACi[xܗ֚:d[L亞>@c4ON;ƉѦEDFa-Xp,>Z%wm GhwYV,a&c5Gf I 9U^V-Xޯ~cٖRp-'^a0=Tx}^5wqcY $=DoyHdf1Vd2pg)/L !}lp?lѻ"kWzk1k̩(k^2.֏A hnhEmL;=8uǓ|] 4 SIDK` F`H v;srb ;iBz?J|!Cc~!+ KyfͬAGg[dkK! hx]k=|" \ҚxI2khw4'Rz/ڜ03hJ]|V.RK.pnG 75+MߔL=>>F~4vCybfWu$w4B>IA;\`륈M !.9Q%8Q3;? G9S;j?VR˿z1h8K㨛JQN\X!|Vp;eFFpr '3) d)Ո-%?L?j UHЀf}O|/jt=C4 W`GŞﲤ5>Bn R_K;3;CfY&&V SdJKL)l"Ev.Q%:_N* 9:(l;̐&q){iŜ:9 FM|lXgBeӥ)^ih]⹏S M"pFdQ.KAQ6V{Pu/FbwX8hH0#oO]*r#q[Äm a(313MAЃ[L=%KPrHp۔2Ҁ}{f)7;L =R.'= qz-毿:;:Bc;(  ZB<7%G#ƜX^_]i,fms*;\si#ۤ W ߡi}Ec-g.-kBRfyJ%4xW@m+62ho 3uv?/5{y;IYFL410Aʼ(JWcN;?{ $ުWsI (.ER%t۠eJkfR-?Zٯq+{o$(̚ZM H y-Q?넽XICT f_F``xiSGs+]u1wߔE?#<80knFGA*p&?_TB<plUN=&_sk1^ mΗJO4Bɐ犈Fe[L)~FԓE2 }9[ła,7t)80\4I\ v\tx2gV"I*xV(:f8<-LB|%"ҐI-z>}ü&+)yy[Ff6ax/^ҼP$t%^b>_Ֆ`fAg…EfWP>Q`Lh%HhHnoc@FP vk 29?qF6XW^`svsHG@zORMeJT*f%P-SPvY۳%])[[%-E\Gcߡ;rx O#gݞӭˀzUJތDRT ׽]z #*o%H b2mp["O#!7k4$W{`6pM$X|s<-dhbωY]iQXDKAx/2hм#qYFxVbg+yw.v\گa/Pn)m:./M`@lHn螅|ZJ2̶{gr n6Q2 'L]!^mD\a_`NVןC ʻuY1Fi3x 2(Ƒ^BĚmH+Jhtb: 76ahftv3QZ][4jWH42P*%;֤er,L`&ṣZ70U5<w:|NYl^\Drkv,X-5\Q=(&f)5%tu< ih2wi:٘um$3@,V h^c85{伯jp\Z>Dh`R(4S!v2J +rbl ^d$\7j r0F4 @Nݫ7ӛfT*^ŝ  3c(oug0+5գn#rz ?R^` ddigYZ7zXZִF! )]ŗXi%L&D7"ȗwYS `>~=Gm3sf͡ӽցk>Jqg,}?APkc+)]f<׳8#k_O]G~3~mJwSOE0)K$\. `VE{v§_:Ǹm.l#POX7=ߦ|TE\8=HJޑ=-'a#gFpm ̵bw:AZ P"_$):1zYҜۏ2V)/G37n?{|k"G`0H~ :WBُj>[ClCx e^S̼ bjom>yh2Ud>շ]L%r諈@[Ivpd23ӿ4rsiw'+(JW#'zp4yll]:\73@ w>Tz_ zI ujpk3Q.62FNltrn$k%"&f DM!f ̨K)e*D[)G8| c >zɩt_A!g4TV ^ZF>DJRQfT.c QՑX$`?ůt{ertu9gWJU_13vÍe IRrXv8}$JjX9ߕD榸@+]wW/-RoC+yQ)Qݧ(X6/GVeHZ͗=/Wb1"D'~@ֶ>D{8mM;BQ@HAc}LV&Qg+"pY9&Hl^=3<9ˬKI{> {]#K &`kӰMsHRǸyW6 0@߲y D/ǰD?,׭dվ%b82p|ռ-Ij;yDCg&x>. &(;BZ 9>|=>pj9ȋ 66f,bwL,n[A}2au=u/mʽp{V:=UA,=95?mpE50.x(ưO^zϢ3;U{ -nך LVcGc 躴h0݆^oMMG&: "ѯǀB3TLb&'fy֛o!]U CN/ 2aiхjljv`uë9AJߺ|$k|lhr >.ܖe IО9lAr떜%J6OE _@AgY'VfGz#3֪^YkQb: 9u+f&rCׯG{$P5ʟzea>3 &OB]~_SGm_Na"S` M>b4 cDit:pNԱY c1HgI/nX3]>9+nZr݅ #RD[W$*_!z\a)dqow$@# uF8w[=r/0e;"@RV;_[߭,<.k-h3lZEOnR},1 0 n;b(iCxE8$'"V@@+XOM~{)/ )i0*2|5>z)̽ `([ذObXgOEe(e@udG7|pDX&"7Ų+Ա&)p& x^\)ٽͿ'ޣxüҟFAG(ܗ0s;UjYk#ij^Id2V|Q AhT1$q!xXN7D®qmi,6 T">Zv+ 2TL>G<5 I >-TBXak&'n Iɩ;`oJ!pvH8ZM:q[w rSmDIj@ LW7OaV^I8`z;󆰋k9(9~(&"x=8J =rE,Q.A- ʜ>j n^KXQPZ6΄8jа? H- nVJ{'!b)|@\M>/6Lx*PWf,3 jDn("ž3.p OU"oDTwVLi;>RZHkeoDϙ..OJ{b"34#I~eA'#E>@8GZ0Y}7vS/,[iar508B'9 &`!k@I?Gy&oZ?3jB}|Ҟ)eLbT;Mcq¨ʗSӽdYc;ΘFjn:K-f"I៱wn=fYtaS_'rzޣ#ibH&-O9 w,G%5>ʒ΁RMa#KzltДrQ1&p!֢>SxǓOğ]kC~ƍ=)PEYȶhe|(>M[.8ґ~- Vc.Vȟ&$+M!p, dsG`&j* CAPEA86va.M<ՀF^uD{58жA҈՚񾪑p~۷Hq~.#`|פwa:AYEKF:543Y:so <0`IJ=_{[z߉./o< 3ʽjhF݋w.c?Bq^|${e4f1Xxx0ȗvAIįs{VHӳy]u0NiS X>Du1Txw