SQLite format 3@  . BBh77otableisabelle_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 ?7d$ ]/]MSO_Regex_Equivalence:threads=2elapsed=769.588cpu=995.972gc=36.924factor=1.297zXZִF! ,]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?O7hxX˅޽E_.i>K.΂hVC]UVn#MqLcڏ4ө_n2~>Vi~h8X $H{xμWӚ?q=Y42dNEܰvG_ӮLLgv7ƺ\! p+dzp8fh;"chSbR!Jt:3[8Yy% 7 MSO_Regex_EquivalenceKW(9]{Y[LWP/D{HÎ_\"VҟB"gm%[gdgXܕ@SD{uE+d1rolo !~sZEr-W}~x~ Rk ՒǝNC 1ijVmڿ؞9dotpp.hx__}ZgNb#̉ZO#܏,\9E'̎V_`s|~ߖɯQ ӭݗuM;XV+d$T%~)jGq5P6F۲] ^'mwA4hP#䔑צg"rRaNfXd.}HL(,TFzAGr:P:˙#]Ru'!MGt|UQZw'zf^GP<=CG4J툦:R[ r}xouvO2łi~iz?ðsS ":8n=RNmRѶ\R$qȟpGNŮj>g7=/$.8GJ"m\Avy;RUx)OijWW~sX-9Q>K."x2o@K?t6(hS/8ݔj7m?OTSx(dPkL \~VH=w?&l9 p:9K?Wd-$g6C\|_ Wu`V#Od;]YWQvOrY?PZKEC̻߀tA's~i@ˆ](8:6jJmkX kah⃞IEsT c9 g>J+_x:@!jT߈+gh́{tٛiœD fBA:iAOb[S)~X$rC/\$)ߊ!|6J;> I׉SiS$ɔ0j}dˣ`;;Ѥ.[G訹pvw%QGtiE Y&=YztF:jí`ñǎ!H&/>y9f3Q=X![RQ$*?#<58c&L}03`կTo`)kC2k\z?H˙L;U_zELWi2j]oe{'}1\;`TL\4pv o#5L 3 ɛmՙ2 ~ψs08*8,r+D5;ʚP mgS;$Vh[MdZs#};4^IΏzO%Y@x>1N=9`<جo;7dJuL`mCM!8&9[m᠓ԤB]5V&m'i_'+aKafBv ;`BOK9gBNc@?i%U1j4ب^II"ZbOԎ  LJe̵C'j 6gsk=ې*gR5|huoxa~X;FRZy 7k}MO8@'_l.ST=/F(g\ amtQs@}ﮌrހ-폫9Xइ~(RG~sQQh7& iS3'( RAM=_a?^Gn$2!:Sy yHjj_h+2&.Lqc >&kSڴ%vI檘X0HIյ3ȼ|--Qٽ C.DY~sΧFN 2B) 8Gn"ӟC0OHbݛfr3HDVw;^bGT`#*Ҳ/qy+D*m8 L~Z+K8p3OR"2߫)5T;V瓛N{cK>T~(^F1E?N Ǖ{Ry:U|n\(r:Z=-V:T:4m ^~8Y 19$uO.!D.tpL1 -Ǹ Ơ3A3D{D?57.ַ0 fS31o {x=5H2_QT? Bgum " |.k5Ғ@uVvJbit$W'|5W&tðo ~~ BJJAQlK/6ǢDdY28ӣ8t,sabA-wV]Et7]_qDw4oxb*`;gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵B<. ~DM4ȏH\=lݲ2=n!N ;_84ӗ<_P+I=^}?w xA|ro%^N%zsiv]dWtnıN{u& z{J}Ѝ_:Sytq7/e`&e§ gvG eo8lc{nzurc5^t/C^Fɓo / G9++Pl'H t*nCI,[|XOyq(޻3|!5a>˵:_fYbkI</RGT2WX,p qCbZ^/~"8B=;9vp] Q1x7s.%!?^z29cMZ鯑ѳ|,Wn~:Y~Lg,-w30䰥fl}JB^PO&sʳqh<`iSYb*&Z^;Ds#m 9*mOsOThr42((#!=PV^NFzD%5e^H}0;bEY.4شRV?`!gYZ7zXZִF! :} ]ŗXi%92M` (^}.mG UnOܩj?T-mBzW/(T&q\גgff ( :V9G^+*6*Oz(5vqEku;xFx^OLp#B.33Z8۳ݩ7_ߵ;W_v3EEv&6's)Z`r>hh30gOא{8`-..O6 **4p4;jѫgNླ<q6ð>;+A#LʇLZOr݅.C"Wzv|/ ZL8tMhI6Z" Nԣ8Zw,k;k=6wbΝwb*Td%T ~3͊Tt\; q I6 d\Y [cl&aP0]bgȓU!0{̯X. _fxn(l ќ~QU;V+!gZPM\h`Ǒl8% 5LuW=s m$WZ>2r?&^m %bR-{ח%fEuOCur=i?B8).LzmC2f}=/{v̼vεaOxtUh!xO8W]U`fKIl@%ܔ aqۓі61 9)Y۴ZBJH%#I~5T;T1X #mLq|EPζB0v{ee.ݳ@8c%W}~8J2sߊyD-ltgQQ#z zD 4lmzאP<*å^>ɛd53;iTa⳹=@f #X4/Ty*1[}BHxήqu}Ӊn}cn)Z^ߡ-@̓ƞN`%%=)8U={};r:T{+=KzSW~E;͇zh=r jLM P<^~Gz 2}s[x' gN_]y|dk L!OxN2>Srt$(gd no?ӿdsҗLq DT @8 u.YAEV LLutK$ &( ! G⢣)W+Sbz&%iH3ȮycX> ֦Jxs=)V['L> ߵ|f{?5L}oY_[}nqQ⊐3`H-އcs+rPNu!V^HK(&هa.QAb,ze.",4֤0\a|~Fʼe iKe @lB.KדȱA?n6eC׌H^axۉv'T%Hfߌ%(9IS;)함ay&?jWhvH)"m5k2K;LAbu"NFf(* (6~}F:I~ogۼ)5&R,9Οu%imVtAÇ諑 M?NO'Ć}t+Wdиd*$HdXk6h5N+w =F[ۥ*;iq*lf-~$޹po/$'J!Y~ۄ i,a(#oTZxp;ft1cni"ȘGT/**r$LDyr$uT 2O(>Ga{Dzh]UD,z}Pಃ2% Vg㇨ǡ*ro1~>dLn֝ڼS,ͼ£*_=[yF0Hy$7MqɬK[O^As{X:M"A["\˖SØ =rn!6/\ 5$v(?hc]XNu[^b%2)#q̷ﶀ?I L_utڧlE[<g k!s&i 'Q!ZOUr>E>QwI2.ۭ7Zo] ~j/#9z,{xzFKެ_FF 00@HKPmD ;j \# ̇ SJP z']=6=IQyea|Ikۇx28jDN-)h9I>B\GǑqdӿ#^3*csf&^Z7Ł42eԝ+D K9D U4(u &"rb&y|+] VCz"?z)@;Ê26J43`a NРҐiglYE'YGw:ŔUTE*Y=(L dɞt k_;=6UAe`q'܍Wl؜J@;MkHwoSBy (1+N ¨ޒ2ɸhl#UXqcWZ<K%D<R;u|DPZGAӨHZ~b r,rhZmq_ΐ^{ېGCFUՍ a*l5K+*p,\O'Lqٚ`N,s7s.\ϕB!=3I>e-\{֎w1[M4cWO%fM&zy})TJU7 E[9"zy$V,IGQ;š.9 _cX^md 1?n|K Vp_r@u\|tnԐ7mJ ڧ\Ѝ#*N[9*X"Ch ivW {:i%$ꙮ<Լ>@,`bgَMTᇫ0^\''Dz&B Ltӧ)06אdzo:/&J6Ų_s>I 7_>?ɬXխfV.iƗ(4ȉ7(rDU=>{Uvqґ78#\%ɍWxe5ܝ? :sr<#;A}e2_Q*:hsnzGI7to͊Ll<;F#ɝB:@Ew3w%VABꅞroW1opS(Te!VӬ2M>9ǘ$y[sj^hSn[:M8w ױEطZ-<J5fMduF*8l4Ƶ\|#DBd%9x-"Wz9%CT#BWoҎeA#p.P%Z1W$\,jdSxkҸTf~Z9)tFΧG0Gz>h6'|ZSCq*%HS"*V&osu"WL.ER`(zU/?WFhUkV2tc9s& ^f3ۓؗx #wonDz&L>y)FhBߩm8tG 9ZX %fujXP_GI9_!?ng% l:NW?Ϝ^źqBH&L>jZRG iwI+tDOƯC n :a!S:f-`~U=AuZ2XҒ&O~r?FV"4,h}2E=j .})pn[4ZlsR$+ҚOo6o鞹CFFœ^#]Th >eWʃ/!0ajP%!NMs.5 T@T=~^Pl>KyJjX8܎5LHM:ׅЃ MפĚ1Mݳk6ZmڐFA:3FbPsy˦߲ȦILt&q<_cfgmhATT6ஂZݭ TqBfC2A ^97*mk;5YjÊCa=sMGW.X,4φ\H5";th" 2Ӗ)f¾tՍᙓb.a1-ZV_ٞuo˹siTYY/Un[_c>}bԚ?`9ŹQF[G=-焎*^ "SZeOAo\9\ CT- 9$P̿]fw\5peHσZ>p[!*KYeW̤wY֬#5PW㊉UVve|:D>ciLV=lkBnNg" ʯ)!^@f/Y8'"m"=Š@ʋY(|d8O1) /mdK9\`jk16̆t;}LƑ"I-YNEIK}SHU@ xuVbؕAqJ7W.mG՞^^HdPڧgUnIJ×Ks.pe  smOS-$NŨyO\"n-D4U Zy) RB9.ko~&I! ^6Ehu{6ԍF`P+>B_42q,io2'5J[M7uFq;Kc- Ҭ]u̅YK/V!FQšCn@ҠW m(pP.pn^hPq~#Ȳ0*+u:Cl[Z%ל xtn4Nŋ븼'(C4L\$ &k(ZY8\igWgtL#+QvzzU%-W @ӄ'22<+T;{+M?߄wJ-`. chݹ ւn@3,[kw(d}[4M]@ mylm'v2 ǿ)oz<7;ATQ qя[nf ,m(IqG~;F%3IJx*;ŮU{5jM˺Q]w.Fuab.pl0&dl!bewe矡e7Hj@ǻ5sWkVGhbRuVT fA#~X#ڎ%߽!&kCUɀFvKZҔPBX3n,d4s࡚m`"K]EWm8 ;>`b@ +-^Fw˼7 ՜GȇHS0ѨgjØyBRY'aiĶӁ aǯITw:4uXdQ/"o]D*^L mq-Ƚx0Aɱc%^k;iQN.T 7HP$G3GX/ S6ވG QTOzY+<M0eSȞB+&I17KyB+أP Է99rbH )>ݿ\ 6G"5ߐ8;ʌn8;v}/a~jLoL-Q!.I\%eսF-+/g0k\[[c \/0%qf;R+O&-5WdR1)M9NAXx^h"zhhU}9zp-6_?`Gqq&I9_-:&'6 O8_PtĴZ-E!=dzȨv_R3EYcLrt$-Rkr! miJ!L2{ `Bg3 Hʁa=2"9ȓe9-%NFM<ύe_`)¼@oLk* wc)" ւqiڌ/Kڮ|tFv=MO)x]m}纖 /;ux<xw}W0>68qGXG2&2Vhԉm5AwDvJc yAmR2lȜpzu4U$1̽yvvtP(+]U V~BsjfXZq8JȲk{Z-cڼ=?;V]'; ʬ_'=ԫv ufP1($OȳzEDڑcS-)J Q1#-,ryھ] GހyO nJSD'IyBPI{f^BE*cr)BT,y&EP+8796| A!@XUvL]V2CghYj'Nd} WE` }z S)co-+Fm 4} hA-:59C lG mSn6B#QY*E7͑p'`DimOgg^ bзc_{Ѧ3L4G͟I, TY->3Vq4?]60߸hWSXm/&`wvO4WgmHxKսe~QRqť&K8 |46}'Z,LjZyQP!R+茦fٝy~AS̵'G_#q>BCɘ~]__[\m~ˣR)rVܤ}zO ),p'qO:v4^cÙVjl|!oyl[\|N*ֽ-d[VfB%g qSWGfOqVk=" Ș$' ӅAI BNvMgc4l@+D oŘE`u_!V"dM+{ fPN2CwInWmrVVUpMrv![=s1;-͌=o{ySfel߮dpX=9`5P@FFT{ ?3?_S7^-Qdr+p`.=rpNRT4Y`?HfIo6dݺ:Fc8XQd0|JZ=^ͻ8\OUd՝8R.Ý\Drv ~Q5>XlH{>>@^A0_<@wŽ#n9_TY s`fܟ]k\ hVrs-UﺦtoK 24W}m;;(%7W$*.M*#%1zv ҡoQNi'iKx$ۓշ4W; 0Nq!*y6ً1Ճuv)oW^CnNLD0#G+s3Lwr;oV\\n7sMUx}A dČHtJKy5{.SgF@שGnVgaS H7[.2E_`I4 otl|XF0O">!֊&F@&"zA("ZHDe?ځ[ź7ӈ{o(Q"wǪ'fQ%~#mR?$t=g;{P_ӷ" ?_c0%"tHUW2(1;3/J1(d=t$޺(bRE=PbC8{5aQWwP#Ճ g.ϋJ76A0mSY$Y~'vVm["vr@;(*ӂW:(uvKTXv~~Sc񌍒aٴRwtlsɍy A%dăh3D6D\˫+CU!3B聈(e&e4'0إ0!q"#>cX-=!BZ /R]˺*^ʴL= )1۾2X["wa tׁQwomS7k)6FM IP;gO|UwHVܳE =~KӨ Ʊ 67ls&c85y&@j)t]St#+)S$N<[%كYĴ$h~04}({GB,t9"[L:.eLIا8ZXҠH=8dS> rdbV3BV%氬wxnZ5@Ϣ:bڷyZ>imnKEG(kf&csFעK$W@Lw",8ǴMHOo=L@~(Q|q\pt3iи0voTL^,}&4a Iu :auѱgwa$wXѬ3aZviNJ $eIj6CC7ga&nY1#{q yL6n^{3b7]VϚ:'S&zRT#LCbUA uւӧ<#n)5Wћ@JgS<|7&>.ٚt.0yH,KxBJ3C{v2]}&.)AJaVJ(vV$+d{yJR( :h'bv>F"صS[ _h]r&)T~&S9ǢG Od( oOgHV i3gCnvK!ֿ^XXW,X._8OE<=KA13uNv#*f7K` Tu{< Ii\Z^-UU5 H|dӤ7F1 fZ>x~p(@}x6źX1f݀ NR7z͕ o{'<آ)$Tnۺ98~aP[, t wp%r4 + ǦPRg\ڥڍ%{ý'2s JT9X)/'R8qu㝘Cz%r+hE"qSVFN#tO;K2H :c|!2p5Ʊр1Օ6=nMP0E'{A9(d6Rli0ЄV4~'2T>2 F[2m&BBo,PI&F+c%7$0?o6Y0ܑ4 ;?qr]Tb 7H@O@/<ۃLU$n`dW[KfFn/!eV=#079uwsKuիZH w@ҔPޛ:a?z %̵Pb`?#gL퉘 >dSN檆^Ἢkm5h)8/R(yn\ ȫw6]qvq_dg?{Əe{Lk_Q0c N$pl$O ʪY.zOD߈'8Ȅ1| œIFܺ?[/@B;d#1N-Ñb؛ؗ)~ h @VPkb/_ t؆¬Tm)( )2bP.Dٚ̒`'} xwιCB44:VtEm5(V))Rϻ`0TFwCwK k#Jrp|'TuJ^:W-kK*RH4)K#ZUVQۍ!Č_M?z0QMlAY3æ,_ ŻѲaQG0\[c>y%юiA||kf\2%xZ]D.#gTr l>?6hgVaTt UBfx$ *koNDi?cPջOoqdS^,3b jzūрRY#/"Y;ښl炙fĢدҠ Q{^TPL&7w Ui0P@m!V-(L?mM\[BQ>BwR|+B%{z(%jGϓf5AT}&EJVdK$ꛢvгcH_ƀ3 S^ kEtf&{Jan+F &P|NJF3@ 34h\)Fk%s9ƎgAqm¥ A`= 7 yo;qcb_7V_T;*Aj:fLslz( phlz\c͞[{[u1̐r x9Ԟ cNIR`0oQxs}B#IQXk8P+EGe^%E*esG{#B|DB s#VޝSp)t'b-c%o7c]^3[]-58H4`ܭVYV98_%:zT0-dv-Y3fB$I!ݡ\C$zIK DJR7(bjhg#p HUWѳ>7a9;*1vp޵%! 2f$"OV> +d+~ΩfXD(H RɮFrZYӁ4B`yr~C+fӡl>I6{]MA#8졇^ L%[L3]w'ޭ0"]NS:z:<9t5KQL&2B0+4o^**=DZ@)UA6TiO2/Rɐ*vizj6jtfZ܇BNR0C ZrH(3HZJxv t%0y5oȍ.#jF;qDN@MqWv ~?$qI]SEqr076Y*E̢!kV4* ֵO<'h[Lsa鳛h Ҋw%vNTgѥD9(](u&[T}yÁ0XKt s3^4U&iڮT(<5ۅ ErW vb1>+1N.zj5;ն$ ґ8YU?)v1Z3nKF^ DLPhJYcȥ0;Y+%\9](l-39g$ɤ&)&gb*u6L >]aD)Zpl-93{}#~FDSFX|(hh%\&pOpIWbT/n*ȁ*Y0.%hkQ!ǖ8J^Dv:LmK̂^cg0!^ۤ]a &0JyBd >tLEũ8Qx\7ݖg JPeL 0"D x/\lҶ/g~7 ,W롕͛fmtjV+FigX 5Y&2]&@PѬsqO@A\<:V7}>UEDq K~\GRr}my{ɇW msLw篱{qWAd =ahEDpg8F缙'|l"M.g@B* Y `,֫y)$G=QW9ih8#GL 1oF`Aŭ^5\o׻|Gq8SxjT%Y3ڷQ3},RADG7Es^:x۱RT殥RAqh@97 T,h\xTgƻ辸<c EK+z`cV4zJ|)Y⍲ƻ=fB|֋1~{А~730UJ#Q`Ҵ<ߵd2`g\$`v18uCJ -e6.Z/hwM&p2%1 Aś]Pl09Fx%Ul񡌓CȎnS)c 96&ňZaⱩFC ƧHJugޭSNL8JaF8u0dP?S"cnqL _\kT2c6&pw(R]8;9u hFU[DQH8 ZW*i_gYQ=:w 줪y s'9w'L d_Ido1Y-HӮ+DSyajt( '|qr,&Y`.8ًEY -0!˞SŨW՘ Z:|LJ),ʑqMpe@ s4qÒ 򁩌[)$Uj8?/\={GN>wKML>=Qn%u,Q)܋= Sbm*c5&^i/tgj":_=:>!v1`®.}H28egK*Rz)t"ܭi*L*%FD}XfASlwyGZ!qxɐw4Ń5D2X4dաYv~A9i+w/gOx0ô[;l q (t`+)T'<[mܯX<oġ˭⨄||{nY'RZ7?ߴc;E >ymN'sɥHK idf= F?nmm\FơnIdSCP[dzm9Nٓ1>^w`=خV֏.{XZχp3b>8sCMMs!k>uAĂLվ.*]}3>3U<1!lUD05p3Ik?ΎVh ǖlYV8&z▯ w#4'XoF|wWONKnK(+mBbyGtnP[G#cu T|nT*A<>ϡf62g'82/gh>>+JnLUZ@N? #PT EB._K7IJԘf$S8Ҝ#+?xհjKg dpu|AJ{3Nvi7R&Rv/9Z!H(ff/J%`{5G Fbbe!4^=dTi]KfwkS{n!ӟA􈱼:8U6})#^3œ4$ar< ^*S]=[Taq{S D g[,B:cugꨗoeS>5*ق{&J@qހPOn o2v캷iq* 7>Eʟ?QiXOI?ٱ4Yed4 kh_H vRtlL - aW(834I̱ PJzb4Tп`] 9>&ei.}S's현$ϳU~) !n~ >As|5 OछWͿGiP3&9b%-] ;OFO 3ng9<9m¿<dkwpr<ךK(x؟8oW6LZDX4ImHJ ͊O(cje^=#1_2d<#qִ}R]/f+Be|Xp8F3˕$EKv,q~"HB9qh?M3jʝu޹ޫ9a<0:_:So4(Y^=oMwj(WF#Gɤ81o]ɤ*&a 9@8_(ufY`鵈Yն6ûlۧ/,Y+:B^UBz^ %݂JQh4xTro{;*WeZćY}i7;‡ ;g/^՝A1ڿ׬V2XyޗߎLeĨf]WGzۃ PaٯG [AX>k6WL+FΫx׼}*?{ɑ}XjyV&6jMV(ƈS;⏸K%(h LJ{~֫UX6.r^ 3rI[#(&8xc0Py5]$%\t,ܷ y*(6P~1MWʙP:fTƩivt-]`f,'=DVEK.~jkB=I7_P5'*4Sz./rJJ"%5Y%-ph`|\4},9Us}HiNJz m8Xbz~(@Yz@0~/Ycd i{Q)$!Elcm]p;5c A$G.Vfbqߣ-Ke6Z/*FyRAtl+~,jU\ G]uXBf4 S|&JZ=oy>GXa'K0*3{0VUx[+4 :L~FK.&g)rCkrnl"/>:R]ל1[~6jv_EKpp0+ǩt2ґ|ϧ1S eD 7T QgE4O-Ch uOn+j(jc0Mwξnh[e+uUi%uG5j4K=K![;d0V3AH;L9B mJ7P 7m6Ⱥx^Ťp :`IJnEcHӖSש';VΪ >&yRC{U$jo ֆn16R3 <79`8䤾'odV y2* l(qƾ'f%R@˜:iF_GM3A<;Pi#p&®ӷ[q)SzGy|-v>'é A>oE([ FA׎,K:CI4 b|Cΐ__xH@}$>sXy䋣!VYڙnKL$3ΞIm%1Ŵo4G v&UFh;*)ұ &fS(UjVqJ }&a>UvC^%C KP kBC!Ӂ7439Un},B'dǹQJD%Hlin7)󸃂*Ք\G8#r ٮ#vC;!hea7쁿Q0X`MQا9'mUkuیDS1< P=8%[v4 ~.*O@xnm=q!W"x=AXFP?j(uߋ n\D-$1+yr:-T.r=S:)JY}Htkv=霃'vg0LvJkj^6曍~L?l_Gm{ GJĮ2[R2 {-js"HIo60sE_P`JwhHG夦\ed*71];oj {{)f[0m;Ŵ|=K \AC:19$ &HP<:<+I¡]* bD+\ؾ"壅~6Hk{H1Qj,ču`;̡ Sr׈v*ZĆ*Numʭ$ .osQ}`!Tua4futTy;wojfsn7EJ?xؓlqbb-#a}{uWf nyQ(Ӎg`*$׻Z?zxA4WM+|ks9*{nZáILWD-K&9?z\'7PpiIHNC˺Z씘[RKp ʞ.Ox* dc'h;Y!t[@vfCICMpB#s!.^bs=fY=[M?rE1рW5%6!?{UYN7-<$Y1}a;絚:D̷K2acHCF9(gr;jE ~V ]~k ynҒd~jVخ韙ĨŒKmxf HisL09&vKq]: H-Uuqɸr#MDbSM~|'YF̫"'=.[C\3n뉕{A UMHl<ĉ7n[gcӶZ3b  k0} Ps$ X"Ks#0 2ǩͥ(S19\ 1 dc#)Osw+"5~%%}/9PN9MSQpuي ~?U;쬄 Y|DO'ջLw ⽽FGx1/Ep/SDz\g [Uwjjr2w$., L1p Z\Ps)MD!~t%1IMX+%5ZR$pᰟNg5/Q !W[8O QwzDO/?L~A"#i_qmj?.֥=ZɠygɌ (-{뉅zӫ@22Y PdW(@6L[\R.4{8 0eodH/[rK%-k}ų [Uz]!bDoRC6l@p|d*^-Twd_cdsuC(~ ƌw,YZx,)cQ8iWmz*4B،su\N iR C [*wHsi)=˪BK^FL4 >1CU`oGa7:ʰ}և~d@8h!}5cшb*zQ|JM Yg3o6gw[ B]<ۀѺi߂ $bMQu(!N@d6Sw^5.}k6H &b-._4 Ciu4oqt1ޞwrݐ X3̊—y'$NwgFvɻ[Ҿw٤rK^cl9 dȅSG kifO)`)'L1 Ο=xK&%N ^ I (/T ?P">6xg` O{lMWDYrظ+{&]˸#E( )2p(U~h P?/}S2X]1=/VJ͋E86ת Hځ'^)A"^czvFy2ޜ%-i!!M]z_}Ķ$ɟ@':$&~r1-&e}ҽ1$2ViC 9d&uϤ]ڹ9VʄQKgmLđn3 &R͖_%UC?)zŮKtTu(Iu$v7ti0H>㈲[63bpVPi+_[ 2Kݫ7}YnS3Zc#M zVX*e-95[2 +nW|0 4<) B.8&XXPi=җ75Z(9QvgOV1l,[?8 mEq-pcna֛+kJG~є aM{i~YȢD\l ~c8U/aRX_.ҩMsdth"[PwӠB"~_T|D1긃!OYj5 l5 <)cIŭ0$_+ݷk-_@RMhe&p!)LUŽ*_sd6raf,ܑLP6pX1$e|?Q龽=uۣ0bYғ@qѰ20fI/V-2h`aq>{`D ujCqa \` \ qz+< :Z euEO?Y1T XlDc~F$3T- I'۸rS1Z+gWx+uG2A ׯs_@|~%1)ݓ&C^јeNmpDIF ;@('c˥Or ΃})j̏ޛ:a_+pWY@@)̍"2::7b=W*%h޶Qd@ZU6s.7Δ5BMyb c% ,؍n^a0 [e,vlg.Ac)vUS[M\2_l*UyEh&/C2˩ rV_v 1(9R\~"0x/!}VIsb-Nsn >Gm,pf5WRIjdϗ]%.ԎDtRƒ I/)iM# D$W Wds~N VGDE$N-õSfI*6kԫ8i\k FΉ/(ȧ_ɩR^ ,VL>D':L0n(&a\^%.& ;k(Hp68|H <"og$}ьzXqޓ(^mNwU zE -MHׅ/Bܪcr[+hBLL0d:006n{=\'b~lEƔ":L\e YzL%}nݛA@i!90Tnόcom^@D(K>k p!',2ؙ=S3k%`d[ʳH:6ݜ^~2Rbs]ep˜Gqm8]S&5CȄ"nb LV Kٜ}U:'d +Fsdvۍj,JX~`6(_# Q])+htsOjr:2Dx,R)J `VL~d]Hj*NOiNk,b`ЎL"LyNT9Nl M_'d-qME-K38EOamhuρn!r;gਢU1Ps7*7nO? ^=/`S`~۱rSCqܼwRT_j:nH5͵I̓M?'ToGqX#!f^Aj oPBm.&:7WÌ?7ڽNs}тW}*Ltz9O޼JZk!`?YzzRY8ށ8|Զ"8`cBftl#i@?|hr3ϟ1GBrn޶=+>7_V17fG'/oIsݿ$©k` .Q>%#x3 ҿWBkyLoƇrC*36y@V _-M0jVcϞwތq-fsOBӌk; IR/Ξ OsT~H |IHRj*y} "zq7I },\B/ OeҰp&$D}X-xɅ<7 MGthR`K磉iFC> J| eoHUmzu$T8YyDרHfzrbl:X/¹,0sۇQx[jFmWaNt]22iR0ex'']r^sKI*s#<:Cܲ FyVd\:*RШqGee.bX< '5TM|Dh-?#xlp?tNSb3@G$Yk6V>a#Cpa %Ai Tq|O-934 ~`ɐHbHI}2] ١0 ywAq`O/ce9>ͩ"?&{Z$诃ggj`IEۀ{F2^IfdJR ֡81 r)U&tMD-"s~kQ#ϊϕPTu]E9N}]Tπ Epu?sg05gq֓u$?, ߇Pػ1GS K ⿶ak㵀 á8VO_rV=7( ^ue("z[l|Ymʵ+m(HUװ'iNG,ÌrʲF,Q :9w7:*rZt9vpB4 ܅,u_B Ս!&B(Bs0xW[v,)erkFV/-\+Z͓CD/q:B3NJOO#޳UEsU#iɛ.H7*RcB⊦nw"Pujt'@C{XYNOX({/ W"P Gx)tsFn]ZBAe丢BB!*8אZdş19Q3#IH6p0}ЫkZVr@_KTUG%cy0N uĒ_Ac:sJ)b # &n)Le@ 5nT@sHC#"m`GA*MDT[~׮~>MT_!<p]P0װ=>)DwMFQnݬ{Qz/ Hibt1-&?*-BY, `3/D^;'柫Z䊯8؃r'%4# ?2 ´uc"Erp ̯)_5fV% bU@+̸.ϟ@$G RVtH;;?oX!DMq ܥ;ۮѮKNQSpۜ).X׻~q^wLpK rЎOyFB{ļ oZ