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  # Lt ]]FOL-Fitting:threads=4elapsed=19.841cpu=50.336gc=1.868factor=2.547zXZִF! .k{]ŗXiɟH)0%octjmuG$[Nx:mNP6]t:֣o LdIjsaPy/w.sR'Y]j6SָH.6j f͐aД⇷eUUI*- X,+-Njh4ވYSQ~2fVAE;uغC&DDA[=]{Y̋vX9cO?)] C$Z^;sG 4VSuGnPu">bW!R&Ӫ c%Hfɱs o}\$ 'ldgPѫq }?܏ h#Ab z/qU` GB(QθY)<p2.DJSaaz ^;. *g }#\^pΆ[ݭnj˗T2*ܶvvg;k^7 tɔzmyfӢ rDNKL;Z:QO;HVosr؁6I"xJ7#TZ`#PA^sjG E ൩Բ|<""쉼6u2V7&*TQ9*GJaq;ukpՔq4%#)pp(/b:QC0,lo#j$ Of=ީŷHlM޵Ƶpl<uOWcB*#Vo$)t4/.⩶.B'mg%1V ԴY @<)6+Ǖ0l;4)xٔQ]&f;Ms d1iT[zp(pO:-Qm ȡ]K|YLY |g݉0-0ܟWNT$GiUфߣXQbl ;^fy ޮ<{ E?v\@e0Λ:C,3t`o[37kW=.2UʠXiCC%~0=߈D?-Qn#Ht_G4zЪh&!mE1.SG(Y@UQ|P?0VB'VI+G0O`eufߐ@-oacX6ɂ/32m9T߈x˜_.&ݡ%ڞoF\]/xAGpic3`+_@ !BX00ޤlAd"G]52P(>_AATDGU/ 5-̟7Ln}ɁO # FOL-Fitting   o%t"(߫BjS 8_[@ ?|G+2bLKYwTOqzni]_ld^eXn%?qb]dUFHpȈP$szPA>wn${Y$ t[7v }<cK_@ /e E-5l3D;B(4ԣnKk(ZѫǂϨڡAڐ.d)/rt/LU2Q4>d+5}$X ˴1+h$h1IbJЏ3^$Nڙ . w?ݼϘ,aQakʀi%][EF]1Ghgf0[9fP' =r~﶑uw7;R3ޱm5pLlc(`Z{ҙD+D7 -5K%'Fq%JRy2=aGҊ9!? wvb\ ݇(V%_F}}\ĊF؟7ڷZx{SX\uܵ ¢I,@@K2r ,50[c-.\&~lq΅zaq_ %#tq7 eFpěQ`m[)M ^l^X!cf':~QO`9I-?;x[qo 'R4% Ψ66Һ8j46?I0筓~/8*ӕ֍p ./%1JW,T!Ny2֎a1Oſ2.Qu%,1]]6^)=\\D#X+0T YO ۿXPHgbwG _He[@[ ڛw0[5J&XA8rm[ \lᤀ-( [G=0\ t_/HG-άS LQ#?k@#%hADL=ZL^j* J#iPY7+鬋݈Pmd xO=FYM͠mfjnշ++or,ޑc m{׼rr~l]甆{0o,u҅6KNMg]sGY0WqFce݋ $etp٘o-Axxeˈ7s`; K:(e2%s[7p М-/+1{\#pݑhDC0ˊW*l-zP*% Y R#du#fv4Kv @P8p\%ޗ?{4JPB,u'~oTYnxN&Fg(ldl3% "7=-ad2c JWD-N9@R%!@Hڻrh#YȾ(1T: Eɴ(狖A።GQ0pw[W4'?~?-~G~`R,xS?8e9y*P[˺Lʍug>[h>q%DL.j9&аHbaΥCK̽r%9~f'Y'KG9v_}O~j%ڸto* }ϒHBS4tRM 7YE2Y(^lW)dC@V)qV%:;fhA_ TGjM˸ͻY ~ި )9 nq` x}zxϵs=tk{b\t1Y d2 *t%!R7策K퀡G<$F,Q*zWmgc9'$Z~М6A}5~}<d $"7kD3&qSiwpod`)kt綆,l6#bjįv}..I8S,_+/>mfd,z kpӚg2ZFe D΅_237KO ăbQD[-6)# acŏ 1K#PsԃwDˮF6>GݎEEp2 - %Ka.4zSj2; MwmG-R\{@ǒ߈w @y<)̾р:D,pٹ^ͪ~M}F)E31En ۽-)I׏. Ģ >,V'2zFҕk[j) %[*`u) Q&Įo%L#Nb)iicq§Ai!Ϗ=C3*Q~K^Wډe]??&ž؏&#ML>_'f\t=G&abq2VGf\=OԾ'S76ukR!g@JXL_MskIg*~#`j",χ]oxZ+ ._ж[(ޡ{nޛ1l2ck_gbAڞJϊ ԂW, QFSoN}Fed%'sӘKyz(ZY= u< X5}u&)]ȡ6)U?h%_gWC* O}(ɞYC(ڰWɀ}9_M]KSQ *n ktf2( Ͳ3傧&ʪrΉA d4rǝeS/~s3φjaG[>#;JZa7 Y1R+$mg3"+ScϺbL; |> )q x蓑5hOd8"TՔRg80OsOpzpS}$gDٝ(ÙX;wǖrUbuxk2݁I82m.#,2E*-k/#ΣdQsRtv4FL <čvNL#Y -X"l*L=h3I~A[6SUڹ3Y?]p҂xZFc9Z2N)MZ#/ayqzZ⚴2Ȼ@"7Y͙;b<`7$aU8Jgq5rOoYɂ 1?D^&cfr~՚/y UWAxnC-N'w 5龜S w^Ⓓ}G1Kr|.n!ԣHOjDY6`nK|k58w+*rwψ2hcF,3R@ȱ$t;j'i:o ,T ND0Ј/@uVc߂A4C2ֺM7m*멢kR"LcGcYħ%ܣ^g96.N})ev;u&2 T[[c/J;v0cjo[_ HBtY8`KVd!6cC4Y h 摘z 3`>E־ߎ|<컻QnӦbFI4n[^9_?bcK&Rӭ;.+ތ mw6t]24Tҗӝ. l,zKbd3ǜ6Y䁞zeq C,Nߎ.*:^Ň(M Ci;1749/fUYE:i[jMZߊx*ۙl)$k= &_#,E'Nq W՗UJO $5]+83ew-6~Ӷ]UTꕓuI1Fw"ZԖQ& u)K)Oʕ!ҳƄwhh|*ԿwKZyvu#V] HG fbg]NLx9UY~ Pk<.^_d|>VmS q -ޟu/t8eLV(owǙ:;9BaX?n[""/ GXQ0y@mEQa6&If)@}F5BvջVWBG L+Lw7 8x 9e>S6046E͝k۶ K4d -|5dUe be`ƈwug(P!c2˱QD- ԖnVAC.UET_"b\|^䵖|4tmAW ]b_pԾ+ @)N:_! F!b6i(kUwIB[u?s f1}7PսgR:?l 4D4K;pzn\o( TG{ ]~(*< a hk6;u:BB@=a~Z~GrEY {=V#&zgE&W:Bm$}{{ieݐQi67BN_[$sd[|ܻ BíRs;IObc;RIϴz̵m9)bG՚4 (\Gr}âqF\]3s&+&,߸i|HM'8s߱ ~KnIC 1DSbv,7O,^qk:` +'uVsťNu}훱/a HZYTd7cf)`88聈"Tf*S#s1e~Ԧoeg.C2sBx?6~w/V2sK^Ӷt4cii'h(rax7pk3b{^EoY^*?h'Ӑ y2xo,d7 gmΕ[kh>1=je:SF«Ǽb̪F`AoY@4$a&yk-tn6k\r!AhZp ]`1T?) pZb'{!_߃`NL<`(bfYtCo? _znMJRYk C#$U" _x߇ox=phm8i{~,#OKImVw{ZEFF֯4IDS oZA$mŠMQ\[X}6Oq̬"-($؆n$;ZgA"42<l^5,'$Nybg ʹD$gY/9W=IiG)BP\R=Or0 c矧DP Jw%Tqx 5"<]$&~qIn{5˭I7o~ݲap s*o6\$J8rFH¤\,gv_}@Ts0h[Ƅ7%z6'IT Ex)'frڏ"9 e&2NR] b2[ |Z9WT}pӯnO@Mgdg7 ') e4my,hğ!; CpkF]ˮ;JR y!fcD 3sʭh 2,"GGxK \ul=h_}ggVP̵sBcMj85 UC ,( YK# '_a)AiQc#}FZm^jK&ď"Kuڅ1X+Z([d"ƂQ*qWv QPÝ伻7nR](-zXTż[)֛f*wkUH=ᾚdqaU.c*27KvtDAqBs0ʿV8/ZJWPȺTj  1>b"fpK0,0sXp뚅T}dlq/5JS Ԧ.|ަfp,HO"ϡjbaw+U*9tSNܠR[n<@$Qٿ3{+_YF nKśSVRgVM@!)-$ўqIt5SnW%\ƟBdw7Pxy%UayYd*a\tV? u HLy`=mB} )=-SH*J{⬪cS[mG|R[%Bz&RnÉs, {sM 4ӥ` J3&.K"6,zA'C죘Kjm>̩o#..ˀ?U˿t/q.ʼnn%lXT>G2-5 O3?dr U-#+4v` F>7Xj$&Sh+r;/~kGe=SXpG%wwomx1&(ܥ pz2gVՉ\X'z,N~qϻdB2ުz x)l=PURh{S;e"h\6>DQ SobNvvJXCڵ+ _ce8meDO! nO_X&'hDV]a2$Kgg\ }J*TӦ06y'{7|]@!&}hMH^1\ě{~yu_ EVq&qA̠t; eyAVn$uA2<$?hpF$5C?ؗVn-"'~Znie(O7=l8z(Y"'Rk)wG`%@ vրl;Qq_(B; 2v DX5ȟ /6?ЦJψB%>P)I <s `,|(¿$ɐy aݭ&[qtTum4=s?o;b <C ŏMr]Ddw9l  <`#VQǤSƁu6,&_ Q$]a JATLM7t Rmx|NYo%'XdռnUHSE3)-ES0<Mʯ7. 9}UlOXWNq- zvJNJ;M3H mן,2\s!#~:v3L}1">#n0Yi5N0"cUE5ݧ,|Yku<啂 c7 Tu 촚tMϷ2竦JCMdE`R*yz/cʳPcW+Fnn~Ϛ1Wdu1Gs&8EhiG˱JQ;=RoFzTMO  OR˹+΃ƎrtiHiuFEV!2{5R0 iMPL+xõ3JmL%OpKНʱh6/F; ﰆĸx(۹̛C ~tf}8ڟ&~#1D~(| $bΓ=jڱTy 9R !:h/9}`ܔxЬQFy 7Cx4YTyRJPeHZ|Qf1lcULI 3K8T}]gd |$ӋiI}3,:e2.rzzAa %7HCn1{8Qeɺ*tGt2-/¦7Q!C.qyK+@L 47( Vp'l6$h rA7n#_Q/P'$ɐ-ouUc$p*;/!m[A@"+Qa1^AA߱Bh-ШvʺЎ02D˂}ۇDjaNH(d0q檄4瞫1.EZo~bI}j/fyU|W;sTBwekDZ4#C< TɁm ]\mV.$yxĄcO(I7g$~3 !Nc ).mߩ}!ӞMqM^4;~ΈSG w3sCYcѷS$>s7tlw5"6̠%ImgOmYKwUo{}yGqkhiuԛޢ?⧳ENQoi$DZ2V6#zH)˙I?GK)Rc:}Wu&/zD{]F_GZlAƓ w&X:ur^;U-KkOxTHΥ:\o4uSH 54}Gw_iݸmT|8pt^:,A`=AHסd#,q: YE7BU9 JB ?2cXݛL- a) L8&I7v@{wJ|b?ڵ.1s}dp⌣Ls7ip`MZ-&%Sh. OTjŧ6bnfe*wqFH?9ɖMݞ5vFqUQGp/YbJAM7%Ǿ(o|p{bݪɷ ɏ\9K3T}UE~D!X|v甉 r|,USF1*R %<vZ;J[LG0*$M wΙʢ:n7{oV&d!_4gӊ/-c>eb'\xs:N˃'u\%"V J[V cϰi:{+6n*skM/<5CBcyNwq[eNc7$K1Z`wP})wn : V3'ޔ1vyFdihJ1)9lMWѩDZ1Dv[T' pVa3Xr-%]rt*p#9WkW8ݏ=U7BBC |:A=-DgȺ[%zbT|XtFBbG+]X{oOG˼觍NˎޕcL)K}:,;;~^/ #fB䆒]RGgr. ]9p1ń} ^*A_c3sĕ=WD x`No- `vt*VI5GaB2W AZ؆N" ] S~C0?TYr7+vj\8#Bd0T ] [z|hdgt!-+ya˻%S;"`Cxs+?} ^*o,} }\/e1Kn Cb=P7mJw4<n@Qxuač!Lk+zm(x7VgCaqcBGgg4/?ae*%;uح>TkK~|g8%0UÞU CDF1T(߼H{\ 2s255izmk3m5fcL@nJ>f;6R]gKBȃ[VNxccdQҤ#(Jw)Inarɦh[.FGF:3Ma אpxS_ᏜI,xf<?*ѼձOmD62ů 2} L Xu(%0{5 =V7A=DҮ @9>TfS,LO3[nTE M0y@3LZv["M܉Z3|d:8M#Zi)vTBl,M 5{Oz ~!n̛Bv8d8$6~̉=ri#_f:Żx9'5z'w΍]=&~B9/85 `>Dd9w+ >ʚm$\0veRSafGXDaw2p2NZKtUx{- }Qqd_3R`|M mk͐O!fF#k욆gJQnEsӊyzoOW0#I5TνҞ=?1ƃ;GC_/m"u74" fYP{ W 04{wuB)= %ӖM+2\H-ֻ4_X0w(`O_ >+b21/ ?-^9@ݚ!dS#}lͣ^oª}|RESEiCNrߍ˷ӈ9n'iH"폾Ҭdk5n;Erxv(znN ~'Pd"o@Y.?Q 㙎\+X8)FO-\nnbD˃)jգʱ녥CyoHB ;NUOv[x~/و Jeч=Z`pN(x==tKtu.kP"Xt腉nԂ٠Jňkҿ{"hbxxڹSKwUDBih@?]NvDy"\7EhoK_SkQ?d ё"4sA`gD@w*|mT:fʯp~gw*pQ=0~Go (@}hꜜ4K4 &S?EbM: DC+ޖoyTo9u%-2@_UOVQO : ^!ZzlbT:}&5?jc UoG^$y\>u䳜` T#k&σq؀"%rqo }trwXވ4sAU1W<̯8 ]pZyqHK{ ҔW7շqg`X)c"|gJczΆ1 *%j'ΰRNg@‘m O^pVRUoH=zeAЇ04Pj{ eo1}>(,c+4.Vcq*;CFoZ؍?EF?uu% \^J`gpu?ZnUe-O\Izvf~JE"*aGW랒G4[zUeac9* 0Y# t"c8zZ}5_ 5N*z`Gf)fhl;6=GJ~LpE{ʷ +۲By{@nt/A}(u]ߦGy`:~mТ˨b%SfMtFSX== 7l."wZv8kO՞S,Sw^JyZX^piSć-СzxW^P2{_rTXi|ւ516s$>pRCd.IVS(n*e. ,4Zվv?o6~NnY9T mݖ`q0lU@ȇ#V@:覌?By 9=SqtN jP YxN<#E{3FZi_h i+_ i"e:=Z\,-r[{xKwviXS2OŮ1' VWA#{=J{Q"L6,PϞ7ɤ 5b2.^wtB훭ڦT1T˟x p/64#Ug'#M~,/1m1fb2wEv&mkQ[MQ)C-Y)+imKs¹@آGB<ڳիGL)ƬΉ w)KZV'" *6ۮl>' akgб t~z9L}l;$_$HСd*GG iBUe!V Ͱy$#mSgwJHW 6+Ƃ8ɹ꼍 WA9N8N2 XdO f^qC-;o JmjȝޙُOAitӊ[q?sv*랡{/ˠL/κw`7];mGjӛ91 ޚrbmzVz|V9VpfO˵;+ RmmvNn{,^Eyje4FjZtÁbHR!eDQ(w`Ti86Ѣ*Z(Njŷ2/Z+1 c w\] 電 ^,Q k7n7[[)x@|HuϘWL ?諼O4OΣVҗNv{q|vh3Ε$ZoLj[v,ݠ I@5س(v?5*2U#jT U-ŋKOec0p2NO5{Yc!^D_)䐠q%Z+3#'3A) W]D~J/-p Z~ʒ8Kz$y6?^".-Eď /J@>8q06%&_#iua[(cJکYD8VtKe=IHl.l'A;3D/g2}hǛDi}i-?Tu[Jꔶ q.;$/쒊 "ܙ4NXJڸhړ2CTZ ]:fT)rBx ]_A2`C: o (N˷\?$׬uRCN~RY5, Cy}{Vduypv|)}P]#Z#DlT[ff4q!KľуS¥ֲ%iS}?|@z\x+37FMhI C)3'P&kE,p-^O}wmXd 1x?g{FXv.~Ř*Y׃Ʋh^3U.ZJ<1EaY7^,<ѮE :1vK# R4[E-5gcq]k15-l`MHVwms+*yÛab}qLbi đ C/(>*Er3&m/Q(v ,lM8]hݜ,7zfR r0,㏢iݓDZو|fQH sڀlM EI H |(cz*c&2w!sh%LИlwlgTK?!n ä%)^1]$޷ j ^b7+-U8%+hM8Zk/{6Jk DVz`~)*cW|Qz~#`3f!GN~ [c#*-?eX=%X|Lwv4м(,jQ6/_;x hd #]BWǯqA\մEkIaubWQAe&`q-H1p'f'w/,\'gO:$f1]]ZW1- Q.idp6]0a Twɥ_0E!`pvȽYnߙ)&J?z Nv%vSTL$z,q@g(193qg;~J K<QӎXN!QBF&T[2cX3)o5)Y> 1vaG:6<"oDJSL#g4e 맃DfY~t,?MTﴰ}iAWA,@W6IR.',_cC. *hc_U/XWn&;#AQWa* tEnV*KóDI?5-=S}L3weGsV$ߴ+Qp5VvM"ck#IJ x[E[aʋ75Γr'*ܩ Id%CH߀1t@75 13繬<}т>m.B֎#ǔOT}\uJSLdM:YY8dL H WS|ܯ$*WrgSt3']tnM:ǽ 7f%b>h,>pޟ\\zt7*%8$w2Є=ɗԜo$S=.Rq\⹾b"Q]: 'S!Qʚ+qKc37q[E PmSbI""4xIi[lDANrsфNy^eF€ۭҝ&PlL'/S|UHYŒ~If2kZ]% cqEФk}f67 4I/zeimGLF bFyʇB5MX{&%3b(NfIs`P XukuĔq`nFMY]/x'Kű9ԃig2UrJfG4 ,jQhhv DrZ N(RͬnDVz UA&q9(/Jޜ64NPRF{XNRbë vkqMH?03ҼEjxrWBDKH.8=_#[I(KQ~6#$o4N9!_Wj=-"]ʨA9XjݔdNa(H<{^m+_cߑudg:ЍI Ġ)OuD[Cn8gӝXNI˦tBm(~lTfrVL .v^Kc]b6P6p?)^jyb% 399IFSdk~W5}WCM**FSd>7sN>NWdգUL"LPKT){?X4gڳcɿ:}7 ^ޠ{YwF5E8g?#,B h\W;άvnZLiu}H f=?sElEZI kNG)d[,.@]ِ߆(;_n6w[K_w msM˂`U2eNzu#4"4_<=jjĘsRoppF^(_T-.qṄ\_^Ⳳ)^.ubxpJ5mbJ~`'KJoKP#eZYL5+O$ G˹bʒV #A1 2D0cp"ҚǤ! cE%vU˽/U,wVI9^h$%իa{,L80dYHb~T hm%@ K<ǕRtI^L\Xoȋ^rpN.$)c(n؎O\<8x=G[jƻjgvK y:rZqI4[wú=v¼kP؂;1B0Y:Pe<A.VJc\wYtwjncOu Cgh<ĝ%j⧻x$_ӺI oO\B&Z*NtV#䉻.},!T!l 32'C^!M=IdO0ҏkr?Y\~HFuW3rT ,TR r$Ǜ! ]axIFiAC8;]>N\sL3Pc,( L6jL)i%`G}^]ByA:MKCqۓ 2^]oh! C!Ow.+DVT֯1skOR6E0i sCu}L%҆-Mt%RM(vt)B/:e +bm}՚v'$ixtb6chEkU7£t!ٝ]p0*]piK.>, )?pliupWa9j#j8ZJ7bfl*fp,kS\/#5,0Eٻ[,A$@=2GKy""TW4pX#4>8:5e_+c*޵ͽ|DŽ{3j /%ƺIP?pb}zOIeފ'9ٶfz$MVd &r׵ԣNpr I&Y\$VKdCBdlLy$52&OjB&<@T(GX6# ΣR欦dHܕYbO8Z}7v#yɼ73zbchQ-{;2oI, %+\j0tԹ@,MWNFnH'T{?%ryg QR?QSal,}sqw HF=%37ZwˁhrC tôC8dXxwB탌jYC#, MlNFaBֲ|%0UvR4Snr~_}Tq1b3f#$8mW}a@lsX{.u'68Cb駙16w쵛~f n  X$]C)fq8Ұ!qZ/)I+'^٢JAJP-qSdB.X7A^+-0ϓo&I8QQK5pvu 7ԐǛ`aoנ.RlӅKPA?DD/jp\1~uwM $-l+šxuyFMyu_j xZ69*Bt5k) ] %PlKfGNXF ]zNYW"CѵZVRvFxŻ?ʌtyl$7GVUGIghL1XT~З\G㎩ o- ":B g_υ-ꂠG˭M#s\'dH#<ŋi M):xF8]h txpֵTiCئ {n:udVM7unǭ:Sxb0BJ inJ#ڱ.GkHpW^)^>P Mz}B^GH{el 0V<~ A}&Kdž9D/l)uW)='9>4IveAUyo@3 H&o!v(`+Jx@;6)׭Kcæ4]wi-_,$L+[D @'%S<0y6(FዛJtnsOiA\]jUyLhiX|qu7g'ӻ{G_opq R 3Li#^A^"'eT@68~Ҩsρ^-uUVB, <~0}a`-:BÍEAcODR\H矮DhJx!v,I?pn Խ&B=_ex˄N~oU/pzgFgy[TC^CwSc; GN(wu1BL]o2J&̑q>C+qBo"#m"a6Y a !)Vw0 =YۍPB U }Frw1~'| Yw[g}_qpd< _f ~NC0JD]I^QԛӉL!b{B哎qQ?o mρۑ{0aӕ/V C{q;9W Np# DC{>y?seCg쮖OfgJǝӿ3`s<=HJo uGMRwըZ9{cܤ mCBSS.}Tj9z?@=P-TI]4pUS 5fqJӖ`@.O]5}v+ZӃ&%{IEK1 mP+c7b9>q~9rp:Ux;FaM+]vcFRVWܭ̫!O* =NY8Y!.h| toǥ:qNUOh>ȶHtRUe"t}>P'BrJsd>Pojx<̔6Ϊf9?!?-́GtDc<~^˝2&NY}l!O}8]/ZdrHorDN:Mw59"#f18%s: i{Ϧ+qW[ Qg;d{0o%[4NG$6޹O=>(zYk"vܩsy0iC XWsH43Ouuh,o҂<fV̴6s0gX KSR)X̷G&YLӱD ,6;%9$ OVDn&u7eF$D[l}»l偊.(3e=BbqXkZQ;%]D밫)A+oV^`{bY`c7q޹?óc,aEj(ujhXXo`<В9-+]7Szg7ps>֧[ٿ͚*ÿ T*#DO9nbkWɣ:5k2= O#@Y{ju+)Ml8EZ}FZ#W _2u_]30NEB&`f1bzE ̬Ӳ}bVҡ9F%>5OM.޻A@?1I3sJ,zfLYJxR|;Q'*^Ȏ8*#[^ZIOi^} +G_#݇`W24FJQ]`ÒJ]Fɺe 0߇iYDR܈ b"*> /Nȥb C„%3@]K!2v+Q"2AM;}yq$iRλXzV{Y>)S_fipsJeD_m@|YU[U:@@eq%Zb1#{[Wi3#@0%J!n+7Qi3Īdvŭ!,)1$Moep7*x=[<Ҋ#ߒl'(b*8w"Ҁ^s)8TG71 o>j0m/% 7d-Be{LF0DNi | cIUΏÀ9`TKբ-r (`nX?@3A(".{퀧4T_DΗft0j6=Q3=ƹ,3: \2Ⱥ}jC<ϋʫw&DVf=T UMa{z B$gY@xsEE/ rJz?%ݳ Q5C-~+7 @qs1~!|:y/A:>&%`\a]upx(H u'QxfC[ ~H:"Y@׸$Z3V7I-jC3Ŏ$ |z0_驪m@"#"7ũ9_eP[ۯ^wie=ͤ'rmxwS }}6\y>٤"CYUnVny̽RR'PGrF7*Qjn/ה렢>ESQc"{? qrM7!_Rq FBtq@N ,f=` ( ]iO(0c$Xߜ4|Q @9si(?iV.FGQ۽@uЮzX[LӪG!>т>ƺMUAZ46̌4V0t=⣲fj] L}ePؼY[ 0p7RmSyOe) `ervB}hѪI@]$m*΀7]軛ك#BC4Smy* ^IC̍ϼw<'!h3P{PSTCi}y Ι$K%ؖZ5.ŽVMtxLŧm,q'!+Z`;٘fy^:. Bd_]JPlT=JrW9P! ?4,M$5a㠟LX>ou*d˫b"=Z&:F 4'e0O$?<(qr yoAgYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HI@3DP ԼY~ڀpUA@syU,_cN2}YZ7zXZִF! ]ŗXi%L!l.RD,~(л({Ja}=zT .ӫ dOihLG6_$5l\mqZ[ 4 Fl?h'I "i}?c{9l|pk [D8H7=h)f/t͜j/(V)>y]Le!w+ J#3֘ ^A'͉ef՛7ygV/yTv4BvcGbCrG?_ !=UЍF[kRݘH w=k0A &AbSC[N\oFHcf TplP;4NP*!FI=Q/6>BH4 x}7k"->j=̊vKҷ ~&#m_[L˻gPL4 W}Wf$O.GaUtSu?gцI~Ό*H@0] 9l@鮥qz/g%&*"Gz$G[H)#HO)@ez%@<5?H6ha3ղ X5D ysC/8 ^rBUXOhԾzj\v#u; 1:Xp҈'B|mSnUNvP/ }Ӻ#G5ZPG\aiU =4`|6qWfOF':I)3o-+(JL7)a!Λn jݔbfŹ %߸ jO̽p?QVML[NZO7MBcDtt_ޔP̴Po ։jUOJ戅3 uCp2j/X-a֮mã\\5Ͷn(aG2| &Xm¾h)lA6ft>^J$S)k0uE]!A- .f 2Gƻ1YM&LP:;;n 9PCP[,CIFįP]?G{#  T+«!Zbu2]Y+Xj;tEVm\o.!҆w+3ɪWrEQi KWY$eA:EL+}Ur#]XdruCh2Q$:Ǹ1 Yt JN7g곦_#';`$mg.vw15AkAfw&Uѵ)x;V(<Q YfMQKE/ 0GV Y52ˬ31r\>R\CE*[?ѻO,P伋?υQu XL!kvԣjf?aNC~E'g\ .a&YT`Q+!Y_$0G;|bK]y yy,`j%aQdj- U:XwcͫPjMრA|#, /=`=h}ǙtdSbت؛ìGCXjARU1K$63}E;EBG=SysJkיG'"!̉:_v܂_\MZ"qoM@u_6An)˩˜RI%:~SSJɰuHpnLj:cA T#e^_݉wF0 N _Tܓe E}:CAVͱ N. W,4^GWSbbA 8׭9uIgemjgn~5E ~2O/@׶pH0̂{=xԒ~'jD5`Էcx[QytҵS43Vlju"9&f I\JD[O6߲n1 v**vvܟ`zۋpsR:7mޡC?jB3TQQ,!a=Ը& p:N P:ݙ riH_FϨ_ |-ֽfÑ#7tԱgYZ4e0b2db69b9977a737e25d3baab81ce613c8c57e8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d3c5a8fed2c7b1c7b2a0d9e887ceab455d9ce2d67