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 :#t< ]]FOL-Fitting:threads=4elapsed=17.147cpu=45.544gc=2.0447zXZִF! ~]ŗXiɟH)0%oG і黾xҮҌt'߭3 1:ِ<k"&d rUSҺ3*Z>y\u;hOpӻF'8]IgVmVxip MC\gPީj{(_LZѻt@JK->d8bb` k`B*f9|+Y֜,? !Fy>8-4z ȏöz~ה cϙEq!ںd:&0|B,E͑cAUb_޳+$l{$g+ K˹ZI 8N{-|:Alw>Uh(UOwٰ q(&eK-pZIU}SlGp +v!9Knf¤eBSC5ٿɢ~D =pRSo[e6 GRλv u/CH =3== j=Wb_*n'JYЅP FY ĉe(ߣ`D"YxGG5M^x-R%P}\"q:p=_&be1d93JŻJ䠊 VW&"%l=8{ek$RJ-3K :F$lߟ!X)Սcpt2PiEhLe#3i-tqU\!=POJ:v&ˢӼq i4lRPy_ސ =F:p fs{P𘬐 QWvģVj^j=R-ٝOk1_Ƴzkg Κ_I$ksjBA5 M=&N\{WclMgϟD-  ba%}AY;9Uh[Dv4n6̝} |Ƹ2JFf͠087GīX~ݠ@k=f1v͹\n>s͈4$rMlvyC\XbFq3OJt;f}\2q1-) WdjC(xݩdf>gMLnٮ{Sp)diCSD"EdD5GkަHJuᄄ艴#noGu <u?;MިDSl64Op+1ja#ݵHK9 4pXI1,xġb0Cx0Z}K*I=B3KZW$6p3OrSv~|.(]RkV%vgtSds$#—->}$Zļ= +С .xp"K%ޙ6!'xq.C =}{-^+4["I+6x-zs90!1^([vu]i% kZ韒t#](/Tj#ގ:_$HҲ\N⣋cq $dλ"ZX ;NN 7 _i~5_V Nǻ+'#]dr퇿2" ?2QNzB0=[p ઈY; ۔*eh_8bNN! j\~K 4WI'ؘc}ѻ"Iwװ?ؓ*^U?{̸#=O[++%:(^8 ށ1) Ksͣˍ=݆o3кm^eƕ sեCQȽ;D=$'a3xOxFMC>)1]JXO2]D#p fE^=u,J. # FOL-Fitting  j  "zeb ײ]#u8Up]@zrGĪ;Bo @ (D8y?l}tuS~EG mj$1\]| S/f""q\Py+x]⸆yYbno(*U^7p7xW"A9ķMB_9q9=bLy(3Gjƙ01ı}(\uo}$+b#T wq WugI?}4mbM4_(&AlX7I54"tOL0$0cLD&^q[;•|迃L ""e005p1x(&yffVy Si0d{ ݍ[fO@HkFe#_'&%@fgktz]˽l3vg/̳𢆎;Ru8I[d~Q<-} lϤV?S\c%);/N A/[8X~M9M^{c$j~mju^V"7ǒ<7_29I(9I` Qg 0p m B&IoAE(=ĬfS%r6s/YMEQR#H>L==AikVЧa2fڀj촉dTkό@78奜W$Q4ڣô)+{ah>T=pT'b#KeqvYP5|In5ucyegswC s|C-6 AwՇq+x _&p[n'P_.LJtCI&zp "+Z 9-a"U)qa7t7Blǂuk- xgN©}w <{esxgPӯ-2] 7wў&38\[ -u͡Ɯq I]CB.>Pk+PFƲx;EhP#v +mܕﶧO5_+ڲXUV9&'#wm桩yG5LB +:Oy(obgnF96\k"0=lQ#!c8EsOrM#mLǴMZt7َՐcAYC]rfuy|p/l­wݧ 2LT[GJUSr @zȲ0݄ #=ua#R&˛S'`#qerZ_9 i3q3 bbReWus*QU^0P2d[j;3h=IUhΚ(S:x@6T(3 JbWJZqPVΤx _lnq'pvwJaqƙ&3T[L{M7 Nk;>у5"M=qR8\ 9cqT7m-ZKy^9v?w{ L}|-$) $ Ό)[ABU%]2Mr;bK8B.b8`TЁ!҇2q*s5Rs zKsxfFIU! frX*IoQHb} jtb^`dwqBjK@{Κ1@HmVVMO4Hw0Jf)^0 [{´tX _*;l!ȁAvJي,őh/֘iܒ|T#ʞn۹Bg`LU?QħF8չ]RUBPl *Wa]X"X[B{n;:2\)TT1#MeGFH,˞|J/1a),t:uaFSwzl:2jJ=m[%@HC8yw<}P>‡5{'oK6([3UgӤxz [+|8kMӎ `6PaNoΟٻ^8bݫ_wtȠPR6ᷟW d9C$ knRݢd$K=MaԜ nw?hNaQfpQ,rȺ{) H7?C 5f5PIXX> 4_.\+S/i'\؎q92ΠEdL\Ű6tl$ybԅ|Ux_v^߹bC 5Z4lI RJ8p ]'$*zu,X>Pjra&xᱳ;+Mk7Gʊլ+t^@+ <¬Y. IkY>KM c-Kud4EEX(,U۸3!G1@M\uixSM=m1:4b#6uqRA(7(Slp]_dk͉@ ^hXQ1* Y}' ބ+ԥ3=$ :17ڶ/5n0ɺį+QY!oU 5 M-NYN( XQ.t"S58}ބKB!q[cf^oi 6!viϿu%in{A$󦵖dnVx2Rx+3 5O -x9? h[͖؍<墨WJX1h߾Ŏ=4?2vkK7$.lM̗Q!X>;&+;NHQk &w_OՆh4.ز+.jci7_ GwUq:v o[GňUE|0$|XAJnTЬ2M‡u9J#J=uJ_bQ (OOc53OH%Oim}tbx/ڑqlU'_}n&w%B4x\CRgrV白Rv<U&/dK=?`<ТM `&Y+M-@DX$b윲׆sڣ7}Kd~,4B7 i$>11v-afzTI5܁loHh$uO1J 1mPhxvqc昨ߣDMO 2Egp7 yqO)`@3orp"+9hʻ0XO); _3Y渫 "xdO- ɮ޴'L)T>LZ[<@bCfkcy2f %Ge:a13 yis&ȩ7~ܭ n*wBЪY`/j1 x--Blz!OSõF#!޷=gVdԗi|Q7&^TvZ21û ov(:>Ex <#[IϧJ{mǐлcx[L.0k{4ԭ w Q`IM3XDMtUߖܽtVqWASaLK֚E99<[ݒѰ42 ĂDz"Tbٔ7.--u#C S끮( %y!I#<d:fA7zʖ&4gL#Q7.ꕇn_~qPUܽ:M1ob6%\QF3\KS k,Tٗ$״+/vE: ?7PxY""c@d*Q|'̍^+ $2?8v#И0햯/!Adq fBo)1ټc߇\2ybEC i{W1|{@O(vF O_V -XAiwH[B qyn\mO |7.MEmkQ{eT!uϞd͠we'E[RjJ!JYInb_˃6]Sx09pLkjwc8~af emU^*al3ܐ&{Hyc Je|v<J茂sZ0~CP=J"(e= nu$_65 2tU~r1{3Ao@m bԅy+uc8E~ 79:{r@hW[M6jiw(5eO/sl&2_-)xcM6u@w1"v}Bm[Ce#OR!)o;8~y´߱5Y/*S/c)0hօ@ wfwn*N #̂ }uUm:*|D}7#)kD0sIUg Jad͝>fw1ѭ#>KwYs0 W$T Ty /3nxy`0#`aj5㞢PssNyYE7t]!Kۚ|x胇|`i\M{9䬶#/e"@`WZEu"ȥQ+6<_J;9lRNz}vM¾er/ٮlfQJzȶ/U]30~RID kO,>Qx:dR-yۨL&r$|wܰ`q CB{"]R[t&cYz.xt>\yQIOзnE.sm-ZlPl7I!_cyZmt-[G}e FTKy45F fBكaC8eNe .LO)Ra5geRdy.eYr+g=eDN\*oS9tZȒRAIi+ WwM (@)Τ=g^{9ZDϡ$Zg6؊^t®*}T'3>!-7ʙNÒq{%O+ͧu4V8|慷> W>ӬAuJ.Sd8wnϡCCl_>S2ו/Hݒ l M䆟=]Q쾑9fq9ǂPo$S0V&%>0aĵxuD9d0};OJh>m+pbѱXXԖ\zuUkip CK/}]+5`W;Uݠw ˻CiBnr0`rS'8^ͯ[x:Ml-;2iMðJ.aQ^:ѸPLTIf?bC5=$=^mt36\DžԚB'Y_%!1jFwJ9FLVWctYj6)3>a_? ,Ȁ5LC7 &"7x !C7̧IxO| kc643gړ۠d֒]`'4 Sht2[#<w"TQkXp1IB[mh<.K趢rE ȿ{)J 5sT_[sGaSqs1IwU K*gB,!ЁV9ޣΆ-z59If綁Zm0ed ,h NEIxKt/>UeEXMW3a,6(o~ʚy(ŝ3%K*j ~o\Qu<GaPL[ W>?adE3Ĝ||7ჱώ.7]At!)WHW\9OGN_c{Xڲz om,jҩskAN|iĤy75_;E{C̞2޿G㪒-@L. UR01J*y3].~SĩE$E-YQ}DXRl!V/ 9g^ih R%u {hMZՈd0(||z}{pۻ"u͉/Hc-m_\5VWz ̟[ $j9g@]~S[UEA,5Ңk 0 -@3 MrWAD̰Cd  c]Z=K̔lHZ4_pXǩW@@vrE.C:*at~\A]PfEe #Yra0Lfx=w`2vbq^hm$ S~v<2F4zr`{_x:_-akw L0?UgyP)5;&AZJLpa<"wQ Y0 =2}V!uBr!+OⵊUkǷjtg&I`Rw\d|J`rB$${iY{ $3 `_MG@E?IC3a&9SEehzNזȠ増, ] S9:6ʹ$[?[8Lv'N2&>bb8 wn͕CS6GiL Tڂ AFj6!qqj[Y;z9QG+,]jjCNd;N< LyJLV~=d FOa1zpN dɥv.-i|riT!5գm[^*KVqZwd/"LdBj#@\D^.s$*ӡޢBDƷ ez @zuW<2q,> r\b?0+^O]6 zsU|,d5?ŷ"5 ^[ yJP u ޣ>\ic`sDҵihMBlJƓx tU1Lm;Jy;5} !wvxi' }[HXh0XE 2]n˫T@,D0Bj3s`GGT9 -1c` Cg7Ւ<}* 5 wlRW\[?Y9 @g1 npVS!In yUUvTǤ/Gn$nL^pYu1:ԷlH:`|\  |*GYPvapI#B7,sd\@_ s. nk O<.Zn0@])ȧnRV6VtHҽڸifF"1JÞolNV*$b*'"qOIԙogh0a9n [dy)#s|3WYBwxbN N%lo?P||: "v 9(+!/|W>]pqJ>5pwWe`X4]䜱dC~Tn qdt Ʊ VO)jccBA]1ʢMtIfmН:ڸ:N)c{-0|f]#[릟& BBgr ȴwf.C:,R*ms\tӆRRϸyTbxz _||LKQA ُfI=zÅA2(l?͓LTJ'Sg!S^&+Rm24,\VW|p+Ik}کUaTP! ZrbR^smN$dm xC"X5Gmfy0qaJ aJ<ؼ+ZGOlO)|}z|X3zgwa*. +/hҵQY6\z4dWpQ%BarSIqC >AK-G9-F ҳ%Q:e,.pw%`s>(zbԧQTx9<]-\^[ A(`Z 6zݨqzsM;aZtZ[ap3/1\P|<J:baJ#b3-waqg@'$fb;H,.II;BGa>0:rhDzjyII:}ѝJa<"zxQkczXGEI M!din t]> W=?Kl,Y喭\祟qRjˤ34~3J_?>,L,F[­"8Z?IP8hQV2f"We{z+f!mMX )k&6!{BNX=;7ʾx?\EC=:#=Dpb­pb-~o;+pKAñ` ?׿;*RUhvMN tebZ5vJ%H'uŲYPtDƂE`*'Obo,3D%q:>2A© :cr׉"];X>-CN2tyLL~Iq6[jq. isaDv\#Vq{ϩ"בKLǚejQ֕h;8k[Aۼk$uLp ]*)Hb x;chBJSB'8uMrWQAz Zݝ7.\:Q4GCxZR(2\^ʕC PN۸}3 A4;FyP7(z;1Y/#o$-ː6&|g?5t[k W/]0M:TB vc(E#ͥk)1ʸ]7qͱs{F牋p ZLspbg=58t MMPAL'ĐDU}Q@/5u Zd(Y}@ݝz?IdJyF)v#к.E"tj_u2w( K+bFJ 7qU03İɳa7oB֋Bԟ[lqD[~#_10''?xq}}7iq= CbN r'{Y}ʔjNc$|] 7/6( MXV\k_i7M,44yn?ś5f[8y3USJe/@v p/;l$w6EOG5MRtEۈ7; MC cMis}g?| 5?yD:?WXOX-y x`m)}B~jD6<L|/GIu26jp\O+IQq Ruq!ޣGȩ:)M &<"ԺAHðgV8Lh]k^rH)5zi|﹎$<}F*ggBl9TZ7 ^HNTCy' :Q^|"ԍι d 8/i# (,vyȭR݆}Y448|2wEK؄߆#EE?Hf(MLQSC9gL+ҙSSa(36\~?Cӱ8?m!Ȑ۸hSD~>>jdテncẠ:_i]AD+c3`WڏAx191q9SvZ^, ΧnBEݖ VRM 紋; ~j >}fe_iwXAd>yQ,JF=P7}Zӕ:By8{!ZK4jj"DK, :Vl'rEa{6PL"鐭9Y_]SE!ٖg&?i/s[ZAš>arJN%ҝbٶXj:鴛k׀q#*iR ƑA|ﺯ,/{%cӇwE飛d`LY)q$tO?O?7֬}IwC&t{/OX7rAew!Q̰e.jj9p?Iel GШdl&$vIqB&' 5T!3ڐtt Zǽ]̭< dƧJw+8_ ҿ^/\ y-r|x8ؠBuc.utMӣ Ǡ΋)GYnAIͅ-V_1VVWbكX /&Zp96)Pю-7|be82dd(c؏K}쨋, Ov[ŋ`f_~YfWձVv畔V楷$Q }! ZTm*3tEv;p;b=UΉ_ !->ۯ6*Wo|ux :vC̳;k䮎o/cdN ȏ(,Vxh38|}A, 9ï8n-Y!oM:*L('p` /i0n|FOQX}j57!ߺ \Vo1o{#x_=k87 Dq e0p^M`%!h˲) Akԟ8ҵ_sF7pk\S{fhEcO8 7+Kz -b )N/0i 9kPe: }Ay.Ƌ\Q׆ؚ֡I+?_%VY)⿷q3!(~"6~;E!{IzF֣L: E W=#|iEdFc=ݻ5S0`~Ķk3xcN:`9|$?%z[e(QI*ǜ]3Tg ǀ E/lJ:/,PK~a{O sʛ%\ql_u@L98@ϺFB Kv\cڊS!0g+c`x`HV{ '8ю>g(tswv5@{Z.F(f vG=mo7Cnϟ?$65bX3Zz2x|<1M/`\i,\nyal>,TG1.WOd ?kKYʆΥqd:)VX '*ԯsQYb`F%_+ٲv p2n]T{wLȪL5mC {kgZ-ϴZ)^ "ejխa<6%f' ~掁|VaO4u.ѷ\8GlS<`%6Q ά~0-㞤ܟoyƝSJemCi+:\=՘FG m[.B(ldio;c0`ŠJ/}1+J&}m0D7,21)jo#Cn{8q/}d o"lsrGroMbkloa48HOz \EAuY09`'vb.~.oePhc 4Yj)[pk~A:^E0 `|WTp:Sf*`>aӅ'23(%J0Ϯ[|m{8F=_+BKoTy MB<7sFt*gQ O}YƩR#Vj)w~CmE,2W*{6_wn]E"8 Pe^5>cPM;wݥ)-d%C wƑ^fS›B lhR1.-ìpH r<11,OXaT7Kxb#eEF.qGa%OsB08[GI"W(zgU}{34&ojNOJ }_7|`چeN |0th 08,;5MVT*OeԔp^g*\NzDIE1;BCY>֨!3KR)C~'K!E̟,;]_jhYa a@FM)qL|$:gx { #.{]GIq`r~-hБ:J̌r~Rd,=׳~J~Hk8+ܯ{^uw 'qh=qxr($v >E׵Lc[~i~ f#߂^z侃2tv%0PLvF&k6KKhLMbCQ”mi]:YX{(N\sFV:GXm`U}Knr&O$~]訃cgW RXj6_ȥ9 ?{!6#uO-TJL}=͌n髳&*PƞA4j=IfeqC-=C?ng{[xn32A4n?B DtHz]E#iH%\fZ(F $^Zw*@~BB5Y!9mO|W x `4dKYn5+p!&7x<Պ+"D{ dc0xLxm7h7dsOMss1ʯ?.Qh9FyUHZ P1m6%G<+c!s 9our^~s TrZ&w,~nLҊwٮ& l; 47[9dAܻЏHJk'mnV"ue)ϻp \dG'vhXaAPa>h0#U7b4XۇAT9:ڲLcPt0Hh%'8ss7lb=KX.k7F L}(,0 rcԃfb9x&48ET5Љ,n'S'`ԪJQ1D]p O\bM>k.# n$',_.j~ʙ<"iP40{Ѱ&`7WzVmw+;#hb ?KPƜB$:'MZTsę*vmN4X@`.,@ N-OeX@AT;WXPN|NXrp5:~G"|cs&UL־憿6Rq'8s=B7sd˾אt5̭K ؽl(^+FyȺl46JHruhCpv) t;ypVeS>Rjh_?_/vPI$hhPG BG% ~w4s\u5/԰c] xzƖQê˱լJueKs=>n~8/q[ f'֡: }E}C¾uKH{e/(UE;%ʎEA<,S)*9*V@6TAJz]81q=F2j*f8'd TpgsgpԾ(XAR[8swxBj~X0yy4pLw{HPl ցeh &'2* L!v׍v_ALxjymMF[ ؞"=0Jf{ǣɒrA%2*D4LY,dNOl|E{KIK}D"?V6 5shr?dPp^ 'z+_׽{fnvEe7qQ\f">mx87ګǜdb1p7W;GFե%IC(^m78>Tju %DlX4p/ *`ûLd8eiS}f+ oSc3~9o_Y ʷ~rӱeѠXG YkXp/FIo;eOUV]v R:ݔ dasRk򌓼#FbcUܾ+'H pjh b@ףX2OG~@gaDZ-bR?5n!JrA7Ӿ<eҨH?S2ȼrRp$DžM_^3"^Z޺IGyp z.}U $,$1Iзh^K$LC`d4I\ 'w.rXF%kT:zN 5j*/|¨xuPX%6i6/tlC>l5]ql<( *9Ы)9بFWx&L4t:-y9}9 dr8L=bƘh_LPҊ ";w{ửwe~J$݂co˯:?| O=-)y<0kK'v<ޮpPAc< 9/$fT ㉀6Q/Jٚz)%_ %])e>Jy}^άEuc7'TL$R>FEv-][S,=Ht~9⮁iP2U,3gMD"%f+ ޟ2@b<Vɳo.k;J#egl=qeB>q4/$ᣜK8ZvUX8M3OKvP;" /OլUBD!gM?\9$sr[j@\ZhZ9j^uqp?:^`r`]%_AUYg _r |A%,hzнۚO}Oo'ohO}_ S{ym?=RLF ]Bo`G0s5G}kjw^ݙє?Qsf=X7pN eL 4 [~]ԼAW_ SB FANݗq>]08Q);iW`gI~&Q=i)l5"CvxӅ^#^>4*_J~Y>a*2Zܫ4=(&UXa| B ]x$vпm2m @mWWbPw_63f_V!k6*x'GBLXE.ut*7D v/ɠ|N [R?}nߖk4ar'Nz2ʝ. h +`€|[lke{lMR#va7ea[D=P}'B0ώV8d.4JQR-x!';i];Z 29mHģ>|v_jyL,@d~&:Zy: f,|Hmf͔Dȿz~1yuԧp: \#h?~"(W=/ҀSb`9?h-KR;K;rZD#|caI3Rl@X*u4Ҕ~gE`\h~ߌ|W!B<l̬gIJ {9y`6®+ q2B~]'؆$ӡ8лU@(1ɊVaVgV3ib@W _`kzB4E `MΠ;SGhȞ^#cb $&-U_beLS>pJrudBCⷎZ8af;}jכc!5ډ04.GEqт{ZO_Ijv5KFpl-S8׈ϤI/.׊ Va- Xݙ 5*f!V崜m] 2l؆)fe}I pQ#d:[IF7N# _u9Ufۤ&;Gf[ 0_UDkciב-Y|xzһb J-_Lt. |U|Z*(yJm!'fg_ /Akx]AdzIoh牜~*Y"+/5 #]C'_39toyٷ_D68Qz:Co"P&q _=͗\V9nbT~ϦYE-VnfbǓpYm2/4cэ{]@;(y'AuoS_CGۚ_n10VRm um~} z0 ,}9s}fd87THR"úF=͜3G~H4 Y0QƒztX³3I~y =Fi!(ֹmTTnagF (k*B7mdk TƯ M,pK NYM)Lwt"G4v m tVhj\=@9<}Bl>y2 [ hRsi=I$5LJ8! JnCO-VAD +; _ۭPY^r#M#}Zk[VXTMGVZfܘm\jڔ֧EB]&~\|?pTNƳ9wIXsƼ7}Uݯ}L-%=e0^4ATfE$/2F&}~x9t104|%Kgb,Q'@ i>[u e<ߴ3#xb?v dhKymԿ@[B"'ИW5o2؛S/K=K׻􉜓<7M(T%~kӱ% QuZE:lsy@(||\כvUo X>נd$ۢ)D-\eA!l2BW|Kw Y_k6OFj_D9ߔ\jZФs8Bh=pIhc/$PUbP85&KⱭ8oK>oo:Bf NWV>q-UYMD5#r_.vTtۖRɚUDA*慴niҜp_s0:bfVb!ig*FOV#|$,Xc({9kՖ8nJTG%0u7f#yǠ[{ Um"׍)`F\?G <L}8o#DPf[w.eFl?@a&D+!׭g3^KڈP'P! QOMhÚ|^Ib π*#e0>:+2#,ò3ay?+ ]KHڴ377ƇE Nxd-*:s.8̎f Ӊ+,~*0* 'WDGd$5ÿ[6Uc|FbHi=֮N 3w[5}j׸F1Pv k}%nymΚxOB7nES&B~ŴѼtBإTK)Ο4EY (̼' RE!%T eĴCj/,iv{GB[xMR,]۸DRƢ SKX9;H xJy ,\K8'5`TL3 Xdl[݈fS94w1q\*(=JZOa}rLu_Gfd~ +7 +.OZ;l[{:!Wo<M'`hht1IĿ!Z6qx+^y7FzTSY#TA+c e#[rޙs!!_g,@G壘xdQN۹r8?Ј2<`?Yp糧.².LB5+ۣx0d|yXywcQŁjǼ<cm{crKo&2^t9@U,6x k F13ʹiO!q8^;< Bܨ$Ls8X GkMPd=KR&o]eFK[, U!&k7…iEA3XDѺ/Kz)OsbN8=6K gP{e i,EƗb#trs=,Tu{Hx\-6Ho/b"0E>ͅϜͣ~ڤW?kz< g,{Sk.Gk"s\sNu?8|6L[栚b:S_Eo,ں{iF-6EZ#bs|a"+05kV4?ɸ cGzpǧa }}l=\2[H}-ՠbmrЕokvE( LҧRVB0gzK\ hQ~+1r }&,& (pč*GT}'oEπێ17pF#8}R9iѻQBv .x} U9VPUR* }M_40[wtN~:m2:nwBu; = 5“B)`i)iz3=.44TР{~6KӆjqVЈAxoG3SzeR&0]8.ۆ)K{Zylha!ABիC5_0钹]H*00l\pZl$?=B~{1Lf$f -gH'6<y9E,_eB-#u^7IWKO?YWP3][q1SΏM5[Ʌ'm^Ӫ/ni`87)tyUӹ\Xb*X"L?t5Ҳ{,v`[A7 ~`Cm Ⱦf/*0$pf3:6O]cձ÷)vS.R;Uo ?#RMwHރY2nb!+cWWYnhBum(j li1`fc{PKΚ ^1r&(y ǥU#TA TvAW AҞsg%B,%X9 mu;btsSod60t89v>#t#h*rc"[ᦀܴY\Ez/)D.A(D"TŌh8\CJh6\D"4u>ܴp tq (. }Q%{/J3d2պGQI C?+c~'y|vI8HfDw`rflcu=ǤIR!Rzp=Oy  ӽgYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HI@V[EN!zu~˹'ccN2}YZ7zXZִF! d]ŗXi%L&ʸv3C { $Ю7P:c_sJteyLX] Gc`^qy5"kq΄$*2QFd"emZ4M{2aãnJIM[pL׮9jSS*m)2tOi6hZ?1'"-RD؛L-2eR.6FsML׺te>~}pfF<%v0b-(Ca=JaxJ5jR)"5_¢_o9˹%+)GcGi02ȯaSL3Nydz*6luJ@pG" +Y# ,/IX-^8X/G??>~7fSsO{ Jw.Foe/dDP"d_(Jl 3LM\ytaJ%HvhIљǍ"'yq SٿEC,a54@Ch]9D`Kc<1?$Zݺn8[o,#:~|&[֨p qcEP ʫ/Ԓ ذ)+WWQ ][sܳ]ʹ6smԺF\J}7 ό 䁚b]q˚--O?B8K/r nvMgeGPD1~GP'bG$3 b%]k9-I %뷥qrFȗqmY7;h)9S11ptGVj< bb )AϚP2}o"p^OшUdz 'z_8ZFWQ"DQصpR!P*5y:&u#3Z&p&\A\oLf;bn&Hi,K'iv"6U:{S%~g|ZyTUU˷| E'{PWM ݊3zEccDCL3lс(cؤ{4TͲ>qi|5QcX2Zް.e_5m fU#HU&͸ο,wG;*!k;Njj%|yp=g2BR_"Mޯ厸UV]boTݹqrk<|UZ8L= gxFG890 dM DGϋ)د7 bL9Vl*Z!ԛ=k*9XYoehMjKh?h0|Az(UIbr &u)\~'lC̅G$7|ɑmZy*H̟ W,ǒU H>JIbR%ќbGB_1ښdyJ[ clws;lMK ӅY*KE7 !d f==JIq!.9!yK]\<5̘'h/#^~ _X%9OΰCe-)Mvl@1wc0iU^91VȖ O %fJ󍩹hpM47Q3AkWgBʥW',f܀M+( ,;EOo&{$s^&H'? rGm2vnzώ ckBLa,eBesqgYZ83caccc785fa28c42ac4c6605599eed4b9b8b63f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f9ab81d4c0f886bf90b4c2979cb420d071c38f256