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 ,, )$$l ]S]Incompleteness:threads=4elapsed=591.231cpu=1390.832gc=14.700factor=2.357zXZִF! !K]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0aoJ`м EC!Ā}r%TY|pl#s n*ʊnݶy-ĄV!v(3.8y^WOddrǘg0pn? nsOex|c ,7cŰFK1_t.}\S1MyPG7?V$-7WIމ >{eYm'VNp^*.tNF +wKX1N5Nw_ZM;APG#I6$LO/S hh(VIUvü'yysEh̵c]%)Th3|E4שmwka!~T̨/j^B<ԾwK*ClU40"ġjENbbH +SZ-cMW$M?+2>#v$y;1#5>Y*WBl"dd~HIB(ϝs3EP U%{n4)*ޱ<ޒjDJ^p+<\BK׵xIh9HӃ q܍g-bARkU\ *Rs8p;D/#) A|an&FO@dkܡl%51Q[].8mê"CÄ|0fLB 'A}{ GI0*]#GTH2Eg~Wxh LMF wJ!pI! St6Ošp7S1 av˧0j/qi̒yUZݚU2ݹh "Kl:/9b0 brKPnagZ6\ R/Y"|1ttBro ~Pc_uaՙpEA-F+١ws1Af EBAhּn8L8%X~DV^" U:[9^a)A~94ϫz5AL)S29jh"Fc)٧efw>z3o]uTcH ?0̋)*q3dC$,neQN9G3ga}D =Y&0 3*Đ'rŠX61!x6T%t:;x+!'f{Sʿ+4^(ĚWݑƲ g*4%XU+~ [t3B(KsFh ӄ^>%0_lI [RςFVx+L:#/^tuٶ(x^ܷTZJbnɅ"ޞxܸ]hHGķhBER/΋Toś4MH Pd+ukk2־IЧeH*pdh>&n>e\ygP}kގ@+rom|st%ϖ&/+3T;ԇ"^w|-!R€Fڳ|ln,NwIX|-~ua$&H3M~IM鰕݈x{[G]!k]>4o#m-8l$ /҉ɎOdbu n`t};В8;[{Q݆T%+lMAQ<$g p[1L{A/eygd?R3#\oE*,UWyX0Z$B3REz1`H9Լ(%XKՄm轳w2+F;7Yvג3;cृ^jrW1kj},] z{˽o@4xXtz0$6Eaa(\0~Qy"dm|+IӖS9g>1wєKwP<߄$"!ʧ]~su5 =g mv3dO% .6T{c$ 혈L)0_z#8S>ۧ,ގ2hE- 8hP"ԃq5 hʕXK-.9l j#.Z'Ǘ]~Ư!m֪O25sXBϐ M qbdr Iuy0j-kǿsE2/T1z9N3iYu,s}[ TT@ThznN9s%5X&K)je]/ A}M@+}Ob _—̗v͗EjbGu)7X daVtOÿ$t%ni؊$N>kܝ~L\.RDqyW J!VzǺ0qjJ^+Y}sW 2:$TE'6+9=Vi"7.A-mv:^Cuga쮿ws\C =_h1R%r6 @`1cqbli>nZ\8\y&v&/>#^)kW(' jl55N~;8H-!b9YZs~2"&:_pwFazߚ&ϝ)Ya'u5& S}d'URN)$5KCjojm'U3ƽ,Y%qw嗶/4pR(>4#wWq#Ser=FCh wMPvҴkٔc$bEHVCĘHUIa|f@%o?A['|R8΢%AI֔a6' lu%pu8q[LI ;TZj:y5*z/])*YbCkTQSYIh~^nqÅ|RK֒GpzkGBE=uQ"E 8ה]WirRK"*@ ճ{~V^aQ)fs μӆQ*C0OWA x6 Q y@ML!jsSō'&QjIr j=hP:EYgܪpdS=-5+'k}&rh\yޠ+ƶ*C>> >p6F:/ 㩈.`O`j0rc.V~Y^BV+SHym̻8Ʒ~(sxyxLU@Xg^+ B6e[FPu!bOqzʿ5uN$U83aXjg/2:=Pȵc@f C7!t$\|EA`) U3ɱK?G.~y*6m5.jCMb|ndZZLeH9IYeʶ&Q_| 2%a7_y.?R`4t ?qqѳ,יxg“nl#9]d& ,JK-k13 D/[#p7K_9ⱀvAP 4 A9(AguIH +8n/Ukl*K[4u<Ҟ_)WQϬP.ZIEm uO/+:*zpXRLVKZ`С/x+8 f`#&Vy/"toD^b]}ʠ;WI_}RQUNs;{ d-B/)(aYp11RiA d\HgA2cm?AC0wC2:+υ5o|$ub+ @4@FI!f\x@r,i+%#]j@W:͗Jbʛu={+-@_ɍg-9fs\3J:$EJHIPIwpkpk8!Y7(,<6?C-Pfr_\˦g#fd?Ui| ~Le E!v<&dȅ%(pڂe"!.O~6mjZj&bjqʾTl UreBýk`k.P:wKq-lXh)ir}_bMP[K%ytr:lԆ=S+]<Pjhʮ&d00a BػW5!YU[dVᣊN)-MΏ;Q9 ׵M=UMlTe: ?7qnO35qT R<-o2 B[fnߏīQzF̓f&()@ ^}ך9 fϭ`yNhn"'r!<_/"wLcCGi}LSB^ u5F $>-C3rM1rL^HN'독[S':c$аƸiYXkohVQNpŹ%uVJxvjTAI*KgF#% ~ ٷ!-k+' ULAZϽOYcQ7;0ʱDgM>-O+HTX"݂uXX;LYk&21CUbM<>rz@o[-}WDr7Hs:7FEq5adAH] HB}5t ݋qJ{e0)M^^nu۔/R)F#T{f4 v7O_[&_,`6] I|Ѿ2z"L 3-t/ ehX(e(Z: \NL xL}]+%)VG|RܲFO'Ltk(s#y]x)T3@_| aBBƛ3t.imڴ}.x =DŔց*:}ſ㓙'7@QײQߩtpܐc 62<ѐO\+}># }W83` ܭw䲑S/а>iEz]+q.s2RCjʷ-vF!8౯mCлF: =F`a:A#K{@a(KcapqU\(3P/#qju~m2yݶ3)VIi7fACk֞ͯIYB_\Oh/l(ר!M4\:{D뉨=4'm~-XQBONB&iϹtNc[=.-icod wg>p: U"J`?y5=| '}XP!<ΙnȋQ9g?G۷~ՙPt7B)c>c^flbt5sX+&؂FHUubԳ=9]>~YaHyC4mGz1Fz)95sU|j1m]ܐ&ZTXhMq3JxpL-LբCT b$:EzBЧ4FgYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$\͂ N_ /pϜ]FA![h|BgSs%U([Bmݰn>,;y-XE8 kj)sGTA1Vx\Ax8rcN_J0gg&0sy#/D0E-WӢ8 )EFL:g>Ad+Lj<'7.`6;.&159.~~$Dk9#vn5g(7>:A` ң Yܴ:Vngb964|L6$ޝn>a%D WsnDߟ2by575!&Q?D/jThmaF zrEXbKz=I-5 x[xsnOc!N i(*N8x3zf:rUdž4W|dgue>W*zi啘sĹ䈵-]QX7,e&h+U$~MՕn(eyLƠ;B(9LBlVm5,nơ颴@P8oQ:gaMq9ADiPOҤ2T&o`w\-˻[?]zyRy)mWs(:AlۼiNy'\O φ4e8n<n?I"Ďo*()mN{\T {j8:g*?"$9Q߉(惋((r&%4jrp{ܔ z 5 `ݐ[]M3IJCqMh(v[rzD6 תUaIJd:/2:"T$欤w߮$᭛j\cͯv"U}R!gX"0 Zku9a@7"NsQ J6 ׀0qOFCSy|GG_M\`r5/NH79`kؑ/݋"m۝ >E|JaO*}Dmp1S0x5a3zK0Ur"%_ۦktB1< 13}iUwCO轲$9*K\A*?m`3_Xo֛#%ԎTxՃvmLoFS5qL?5N%\T"zk? ?zhe_yCG2tg\W'~X bHlZI4oB'ak\.啷ggGUBiQ w].>o '}d:1!Q08wфlC*n `>*U嚠Y6>[(@$r yLJp $22H#P:)9ՠMʧ?zS`^<,%0%+(;FS,d OsRWǮ>32G&bk A"`mdB2g(kj$ej]]Qy`]<*OY%HEEEuQ 4Ф~\.  ؛r xpGAU*EXa)t6݉^ӄ',j.u28-׳,sDZz}7Dnwa}u M3 (Wb h8(5?\ݠ*K8 v>Y6,&zT8lȢUbΎ#VZO?m}2Ч "^M{΄117g1lKp ܻ 6q|;o6E۶ Yef}tɦY3Mk~Q@v`QwĿdA1m#`"RkOWytK[mQxۂ߶tpi]PRRCy?dMMO6ei}l$kfl$5x;Kv1n@ (~iZNCǣ-;h 6x7AF:rWU8{_zBGB!0'Hϧ<|;FHؙgN*Yv<+'yk+~:G0P+}DOgsljomj7föE1D#ݑR8WVj[X82|^ɥ)N:Œ P_!lqM5fyhЕ"TGSKi_;qQ]\WvSDX0j&!t1SY8T筱ɃC1Gk_l-T JoB] Yj[ճ1F<ǿdfMS5ܝ˖k,ݏw 拉}"/x~r7,e kʸ\Yg}{ DA5BpO>6:i Ё/Asuݥd5uJ9@K` uۃu]dBnĉo4Q9LԍR}$ Qt~=(hT[ޡ܈zR𵈗8c=mufL3\c9`+jR93n55+AڲHl(!WjLkneNO֬^9kIKnd{MzD{rΎMEP8``6},L:N;#|b؎*EN^'=\: dv ȹFoE.Bd5t@-ޔUǟwՔfS7ݎ2x@!xȑp1aO;/Xez챰e[=6S]S^JkOTrJ;WFՉ`g"ԞWgh!uEa X"qB6MNwPqvuv߻CL[&L?;>jຜN0Dz$Uy0csVv%R 2[#9#MIOۏq%GC$^䍋һE kQhG,-*m}m1:dz?(/uإޏYa[r;Ldzb9}IKӾn|Vpi0le+DS؋ҪzGbqlZ#aE>0EB{JL; k"l/?[,XM7XhE eCT^ t" q!"ځw2u,f먺g^SQCa,KiQ]Z[iCr;WY’ Q,PxvC~gf½@ߎau~9{DmS.sY ިFj.$'Qe<5lt/<g~?1wmE-Ğ́7f~K4 T#Ԏ3hQ F]S#ƿ0zdS*깺!rs.k`(Q!> v[tg=3S 4eϓ߱Wn}YWneC649yhqSDr.;3p'6jd^zW]OhfbӔH|9ljtKh<9l6"f޵Y ;8mu\XX|yQC(p ShS@}2o؈6e[p>KYV =&dzt2vcUͦ(ml!Ʋl9N~`pG9%Ÿ`-3*y )Oю% =>PmvSՙ5'0fڻ?~mMˑEU9`~N BJ'zC B9mʁ ":1Ї-_cj~.}~qDUٴCTKϠmȺ-)Jy{վ~.&#^4 e=X&=Fco9 6Dcz)&1H )ɄfɛO"s}wۗ6x㞺OF&I+hEĉuֽ[?/ϙM8ؙ+wN@ԂiwGdݗEnjS8ie1мC9~6=~s "!"|ACr.[5ObS(&6}bN 8koÒ/ 8v}qptjNƥ,mѳH5S+|:&Ծ%Mzz\PnBfE游2 $8sc#I:+")+pCKUoaJ}0[ =Z^1,nS4_KoM@B+g54OzGĿ`=;>tGT%s@^nrӑΥzdJ+"֢oCW -wBH)S} Ɇ1OuˢX5k8\'틕|ɐYr> S^K #ۥ5s1eAڽI뵛fJǰ&5,<#4ERB^DbC7x7%1rțf~IIt@. /%ҍ@}ĀpgՕ-9$_:Ļ@|՞+#x&eSI%Q(-Q#)94B |_.A~!Ŧp7/?FêFf)X\ 8:+&Y4~G.=#Š/u^S!e띛7_MȕvꢈP˿9|vXO8,Ī7BW c^枧g}tVJ K+?;G%"{`!}x4-@my]S_B(L=!G[9\&gGykΫ.yaɍ\'{hyB4s{G }p/+ĊL0^*BW ^?PȘd7qf&L,sȝdܫ9!6Ց|^) mq {sKڻf 'l^8HFLVʼMUфs7^\=)]8Y35+@rǧѐrUso&xʦG=N&#@wM8;Nr?^7e' [0ƈBtY*E1#5A)>qQ5عVd6+#153h,QG_WVc. 0if՘׿ȉ(ߥ,5Cg\{x &XΞ گ]t =Tz (NO{jO -!njM_pQ%)fF:gm#25H G}6<8 x!9n)y՜($5  E[:at]e姓Kxf$.s=z7z_dy8v 0?rq XQ$T- S$2u7 B_9ړf4@Gdb3\>x$whdṼuq3|JdHUp +{Ûnw=>Md|z?Zw>O:HI2z4^ m2ȵ٦B%N{!39l Ң2٦//{Prt >ufUIsJx{NMƪP!JdK$[mMWB|<]x}G(ޝ]zD X6~_H;bjblܥ,%)&MZүvva&2zF1VՁqX핈bRtN9}5s_ ur},QN]\LQ:c" -%QK6?x! [U0i|BG( 9,F|fo}yqnQ!>O}okāsel^ru L>'UJۼRXCF rXϖ+ K")79&f3YI]XQĦG٩ɀ:XVY:~q YcBO?EtcхaВD 3ݲ#9`jpdcYAW6%2eLLܢ95v yh/_Rahw'*+7AA5%!ߺ@44,lX /}h%X:5=&m R:JJDp Gxo$C &ȢwMo{Z(ѼڶʃVfqPVtBV-С 2b}pTZTfA ^`[:l2ErN'zGy3uvK94@+GUTq^c:ɹ:О0rG.ri٫ƗiAX<mH6 %ccunއ "gؓ"wE?˦2jⶎ*i>oxOxt eJ-PsEZ-A*n4㛋${.\|_XE|˦Eo 9"8cI&T OUJYnd'C3:^ 3dUԐ[-emr m7{1|=8זp2;8({2,iec!XFF籞JFL|Ŝr7CƬn9qFVXYۗǀQ颇SaaM,cΟDvJ*"H3"y) PHPu#a(,~@9U]uݽUIJavy+HR ٗgjAԁ$w._G-ZC c LjcaX WeUjO5%dtiЁ(e R Da/m,w^< 󲦍$6wW0SϺ{jHUjl f%[t#򐐆 "AlV΅Ҕ2(_63BS1Zl겂${D LDD}UjC)Mf]4_ 38C]dt@6V~ӔjƌNWhPB(\ް> Ly3y6Ԅ \Q%9Ϊs9jܙm[k $ k LCZ7S}( %?uk3%:÷A=vco.:鏞*lfGt ͚jMGEgIIwq/!ʭy5a./ѺLlE{ y3Kt%3:TkϹHʘa.V|^JWW-{mMUE~҂X틵'jei,1k )':Eoږ~o1V(h~?+`xc(Ry5GahHyEXy EQs(4I+.SʇK}On,97!DR@ )r'*iAg?cUlĠΈDeYE02Ez'P#wᕯ|}Tu8/F,) )AÑ 4f(TJ}w3H}PnOs֮8"21u#KKRy5(G\kd)lz/:w 'iDLӱWOvhrn#O~A9$y*Mw0`|EZ(?{Crp/&̵X;h%V=%;Do*.|ʷlἌ=Ev7Pm ,ˢ|2煐g19߃ EzJ~"M-R [x4e^J9%QXM(TLny|nT[WI[7̚*rl+@iŅ +3\Q,Ts*u0+'|=%d/wigwM  Uinae*6^/@J L- RQwVֵ^3Xtr8nMSy써Y/W}Я d_Bc%]_xt.(e:HG9`9PQ7^Q)dP[webyWQryÄ ޼ޢDmH^7lOH?`~o$؟α[P/v4iY ̎`9Q:("e$As-ׅj?ԑcӫ4"ƑUF)?hց؂8Q{=Z& 3,7w1] p&V}~jBa#@\*-%}it}6j ؖa'PjRG''z\ǔ jB{A,֬OAJ #ՌjckD!Iƪ9x*D_2N, V4ʧf!5MЦ>p@$BCl<8W3Ӆ \+p=}R[#fk6KbF07hoKBJTiV*ny`Y1~iOtɏښpR؏AZ,1#Q ?zÂ< uVT.vB}9Op !bЄ[{QaX %›ay'NfJ0|M񍿿W=d}KI0RMVmLMqb=.I{8mBptcUaIމELmmc϶n6.<$BKd&,h̄8`nvgi> k,.Q.M)GM޸tl]F1e79d "R(5,~/PV)/N/Pk5|9(2)!s)/t  eTA&zzŤg^$` .ޚ^N晹<0Fo[;%G%۪}:V.IOd&|6Tadl!e N*5ZR/:ր~`2?| +#38]\B9~VLಢZF\ +}QHiEđup)|KIqR~ʭu~nOm١!s:* ՖxÚԛMzuw E4NsqکTh?(#``Ⳅ}㾉ܑI9T2Z~Pf4T(#O\ ƐG;"c}1/5կB9zŗdO?_C#6$ [ v%#)/,yWuo9T]`5| 6f L,"k_Ylֺv`EnӔ׿\ïߩ 3PEnߖ4{Cp&k~&D' f=wTvAK}-8J;`YY,7ow[:ݺU>y8ǒi!fن ^kiByq^J#y&O:77Tr}ŵ,+=Ta8'KRN:){n eOL$і*A@7lT"idAeY3?[s 6Ǖ<~tj骔?-Bd)E+1 FYMؕN=]hev0BDZg]LjT;P< .iU\~nynkNYѵ q)ךXpu:@8ݝ6z>skoa5;_1xQsIEgifK#_U!(Qc@1zmz]:) Wٸq9wR=('񯑹Ggb٥*\.0,NѻP敄uXLr'P\yr* &>C5Dվ1O^"o2 ^+صL~%f؞ jTy7W@/:W|p>lax_PK-V %p^`e1pNYCȐ-Yb[0PP87LF|㔿A3^85\; 'ݽ:XQ јQ[f=R}bhdc Oܼ=6&FC#~/upkGc |-ݒ= /QQg d:U8X5SG do*h- ^n+99;(p-@mU2(;ʰS)t˚SXjى;_A?yȳ=h٩b*M* MISQ&.z>/V}R+롶-Lnc"NR=IK$.N- K=*r{S/`kU5T:THթ߆ QG3\.D~! ~mG"aEӾz %\a*LE{:-342W]yq9DZKO1`sZ=ؘ-Yst4?XeOJ$n-dne+d?׎_@2PGar׭WcL03-]m(_~'O 1N׵B"sH\:/+[JQ.P oLhtFwm]' ; `X=z5=ۜ9G :'#Orۆfc]v#7zhRM3՘7m $R7^`MCDY; .5oq.Pf[M ښ摍C#Iv v?\w#|=?B;|^F|9,ox|d dBǼ2z{Tt5f7IP#BW3Kxc~qa~;C_WlI;gv=xf?i%R#}P4W Se7=EW^ "C^qx0R S>5>j=WkI*4f. j "jp=v4X#qlI*_doN>C .Oux$wUoQ}j2Qjl=7g\Sraz?ɒ9*p{p.۠־zM*rC݄AţۤT)/wVxO0~lophQ87h摪A4 fŒC-'%΋&ar?Wdœ[VQn'̗bMP7RMLm,1YH9xd%*]ZV{Mέ=i s6,x]i)`*RodBIg)O"20]vHΓUaDYw  sZ Q]vOb=f4Ģ:`X; c4N%dj{_B$w*O|d SbOp}q>_QGcV_8권Z "V rP=ncVQ]PW7@{Nm J Q4I%Cs Z 8 :2%œ') u3֊MEs URoڣa|lgwҩ  ƱMJ{WGRs2P崻cl:&v1NCq{{DA`KDg]nГu,RiZO tЮYȭYq$h1LAUzN7)Êi$Ȱr~JӰcA+ C]>xASQk5Og49V#-0ĪAF_,0i%kQI+O5ʃ\=aQ6A`mnh8w9MsVCۋĜ3BWÃ_uG)%DT}B5}; dڀ6[6d5D=f̍iqgX8ZJ&xs 7-xu,d+m|T@\'b5$db:phF+gƶ_WdӗؔM^q[ڕ"z܋΄cw)KPJ)1ݯ(n|-vDSP:8P_N`8D.85Tx6}!'ۨxq\1OxxQCu5,`#wݔ̝B,_֦m>)m= g %]"wb^W:pxLnao*Ň\^ʧ;޶ S3;j:)JLj?ʜL HNݯwuFE,>C+z 1V8^5FB QLK&@;A sLSLN;>хvgЖ\&DFAj^J`DZλH& ŪYyH Gr%E^LeX=7-yXh{#o?_p,HsҠE6 g)r|I H"9ֱgup 5u,")'JsL>惃VIf~RiF9 _]{hPKpJڿŽcckᯓ3|\/`R7G[abԆscW@MtewofTw'an>"; Th]*}B=F$x! i<{`-mG)Uq/dD&rߔi>*`둛9V~Iއwcs@G "l9ݕs`0 #Oܦ`nyEK "6G=°ZƻYj39w Dg铊24bb! -p^[جO"CP Կ8##}=- I3秮r7^<1 W`=Thg3J t"̬ MKPD&fTo d {F`vp,` rk_\Nlȋ>K(N'-_nvĂĩ ,ΎȫK,C@~nq!%X>Xg7)|Q8rw,I'mkum; ؞wSP]Y&}[M)'[W?hp \ lb_4qE%5+˱0T-! "qv8'N:?#nΈ 얖dvwdw/8x,RY;00~$F>+ 6*JQR~azLVICۉ7n`m(0"|ΉG br+Ⴃb/.ԫlϰ/2T~ep8ïЃٛ=C)㝵c m҈r;~['ajR/"Ҭf/%*:J,;~i,\JXGM : sZuԱJq 6jM"t*Cp5lxDFRDF˅uOCDY(ͼ$1L,Z%,3Q!]8SZk+IPU*4ji.ڠ ПePX,uc2V}u^l/֛֋)j钊_έm\1`]V4n'(žm ҩk+j<ڬ5;^#>L$@0D#B|\f:@a[[yc٬(7jK`aFQG% PkňW^KMt3x9v˂a=۳7ATAg iAڝC޼wXۏ]q$:JY`~Ÿ܃!$=' >BEf 笖Gu9m^ofZv!#LۃHR\N}mhKe*vE0I ;R;۴634S :io*bUf{PbGƸ̪gn}Cv$ I8 _uEkq~od#N`g2^Kc18GLi*BϷ@ưᢂ2ތ,z<%} wްXH^-pM·|åQtBoMb#Mÿ"$*^}_c8 lGtTE)(3Ome yjStz ڤOMf܀,4.3->:;ZA`TD` pҰ}b2M$JLXR]J\|iVUﭼWVE!T 3f7Sd;b峡tB= ٖ: oW^bD?@NN\c #o2_3[I:䙸0IEodZd3D 𧇗 J܂&nw٬zY@%9k2 zH80|bbpkqwq $Li_IҤ+lxbu=, BKX񙐲 @ww.teHEͻ'7OwTY?6$x2 u%9Ԟ u-y} 0qXfoÈ L;pLtsJ2^HҍK8#i[?KN;;ry{|Q Je:j?He `^$yzL)}h݅DlV:5]sU$"UdB!Hض۬`ӽL`l{%G9?P*IDhFdJUoҘ)2h8z5R#?ݓ(\݀ sa6UqH}>_OExG'0=uYU$aGӰM$a 2(umVnޥ/s㾲Hpz!Լ=OP濯r C! Gh¤kFhg$ g$ VC4' \DT 70iMй8'K1<Y݃:`D{CW '6ueZ[ :ΪKt8^u67#[rJ$A`o!XrQB ^a~ffT~,\Zf_<Y3mgDsv~hw=:}c3'،M96Rڤm!Sh>z^ʨv$cA;|#T"" `&nX> 9]@%hB>OUXԷQ Pc iI!+m$X2~e!*!,jr 6x`Te"vs n?2|WzO֊<R䖈) ~MުNBbYt5c`z1qI+sm5 {RQv7x+Ā媛qVQ[su`.ӆ;jT?m隽71OdٌAq^qU}G^Gl1EeX@즂AaWƺݢF ]lHE] [0*\~Q P6N 2HWPЮ+7Vq멺ԳFbWpf*9T.,&Iyq)$Zo$/(sor#צɭ(g̮u02] CX8jg& HXCFRRm܎O5)S& ڇe\KiKd*%;(r/H=c'RVN9xo}H RhkɿTفPQ X,C{O(H p41pϤcmi c{#T7K^H3t\Қҟm1O(td5< ^T77P xۏI d;.z%_[ n J3pRz\x$Z8w<2G\6b /_'3PI _+gp01BʢNÁ]mL7I:u\U'֣uC ΅k݊KFU?enn.zy TFlԻէtB:)2$y/啳8O5]Gw]SVAcY98$7Se§QjJLL=ۺ3Sc9UYgSb󻏭fLM(4N2ND}&<礊zL}$z]jE>{Փk7Ւ؊!]9DyJc"5~L`cM9ΈVq[ ,ҽt&ֳn?I fS|۝' f5}1{R =ukDCV[;U<)a5;ܰjt`'!h B nU=  nSKIĝh.L vhcOMy[&1Yxh!9@~RmTл<+D;B$G\adXi6LN"~Jh츧9zim`F)csrP`%#ږw8Ic{L*mYwSE!lyOLpF.L*gJO;7#|*)< *Է?EH<~Hʖˆ ,L\i yvk 7u\6p4 @/7U(qSޯřhwa Nρ<^ޖofb+.B9-X')?g~|7@*=iY ?R^7b#j$my8␠Y ɴXSȉv=w+$ة^|46zu \taE,u|jÆC'0U\)y, .9]ȗR]^{A4=;dءTBDDkr_OrϻnP`DshH)h /5 ߖo^Ew>yO6 xJn;/1l4JGKQv"}uu 伻d}_m#,c4Sd2\x=,6w37I<$Gs坹!4F2 Th\d%?NO:]YV-ncւFT9 RnnL2ZIklTljnSO=GkS _58~8qdHK'Ak,xf HMTrB22glOz]%WʙK r3զ[8O-RDу7xy* sOo;w-(r0Ԏ,Gbw(FGx8lW{.AZ.6 ﴚ䘓c"sGwWq/|-Nr{5B#ĎO>8כfam2i@` l"v74cZMZՈS`w>i3byOlLdY|]i 6gTaI K0H;XxBTj$#4|cGFݵ5Wb D пPB_'s*5e$2d|gmElJ>EaPN=@"g \P^7΀ʰ183&o%mjL QC Σ0Xll0MCqy|櫅Ȉy񑸌;Xqwэ=i6l &Ēr[o Ã5`!&ζ9l' , <` KfzhrIdY]_V2⧻Es3x?!<S!甔~*rz{ s]\5O+[:~Ml <خ:iONʥ، ~U$Ϊ'~dz[`Rw7OP;"D3[2[|]&F㥞umV_1qݼa!std=FqI&?e }RJH9OV-90TpeMLx-r>A#5Msb!Ֆ#Z!%utbE^'E+ ?tc&=ay ._YEQd΀B9[ =wfHxTF,TyqON {k 1,{3Lռ& |8a2Umr,qﭬ<\z]bFaaX2E}$fi\S%kޟf̃J jy|y\}3Q yC"cuٶƟEb[ԽtyT%2У)a8z /\5|?-{'{cZJM+`wӻ^I #hf±;)^ ҜѫB+溺:#GswwÚ VK3;ygFX@7u.\!IK 4/5SJoAYZyfGeُ`ɣ@-.t1g%={s{)i?̷DuXNiGt D ,]m1(hEv8Ril sÝpІ>(cYӪcwZ^ǣ,rnyK;zpf{CzFBNvmd9j,$&_ҤLԓ=Kp=( ȕ丠޵(ш&!Cx,ij@EB?2~*i;cDZM̵wdb`;aRY'S~輑nMyS8Ifu!lʇw&ƹѭKULH: 6|f ҕES4ܜX0[bMF۪ ( UrJ2i9ZW1}1pJ Mz l ()䫡i$"inU$O"zsʉb8|2 $V Bh5ߣ.9#>6ZtRE88!z+&vgOeţ& $6U߷;}[}H2s4 \=F"YU(MЖRpܣÇ;H% :պIeU|#&aITЁ #P\F:ލHhd_"H qC;Le6jkj g:Ip+ k\Ѹ2))ѪSrW| @.wY]~}p_c2 ҧ(Aa }zI)c"Y*H )v4h+[JE*b֒yu4,aOH{1!Vv`%}w+QtCZoy~Gnޘ˵ԅUsyV/8yYn#m#*(J[ފ>-䚬! v0bk `2?5o~1riLV-vp‡fsk܎2jLH_JrҜJnVo$Rd xͱ0}zeJ.9;v-`&z%ٳWA^ު`> 8J;teHCZq©nZG.2a9o,Q׋c<$ ?ݴ}j@lm"0@Ҧm U"v5Aہdw2;0E2c9hoX [PRqsZA™Qޱb,d4<>e`_S^""\S6Ͱlı'guXJ"EWD$U,gaz 4ش]ki:)e sbJ+)`:$l.m JOThp~PԀLQH0i+1ҼQآdK.vp$)5iE B6{Ji$Ҝ*'x2WG;qޣI"I)4Qwx8Gߎ5m - L'ݸP#˞gIy3V%s1k31 -S}WMqLN@аy   fK'@(*L1ҵq?.A-[j|@ OYDk];ԡP(PxeU<|>w1,̞!9҄Xdip'߀4TltIo$a|!|q[srw"*P&_IoUk6k 0oi/]oX|`XaEFtުCp_>^cbUxL[biG@0iVe?U4c݃9l٫x[0V(Z[ܡ5ަY(<)F41&GZ{Xng 0bIRYՕNmаf4̅@g} >ZB5ZXnD &4v.i;;Qۤ1"<*eK*N\%1~$N8qٴgȟ|ͭvc4Zٰg1klxA* ׁ(kt[MRN-@ 8|͋&dl"j9'.K|DGEx`h/ewl8U,STN}! SNir6}BF(ivpi[CU,tN&1ڐ d_m;OZ+~7:B3gaZm Y#u~sc|Эb*g;DVh( pK/tQ#%yΣKKA, `U1_ݘyh8NOk%r@ c/̪Ɉ; $m̑lՄG~g90(x*aۄfLЮ<.4F?{@y-m "Q[ܠ[I)z#[E ]ip@KYJL-=v!PW*ɪ-r!)CYKd9u@#Ќܿjza2}tfڤ95ytT)ʃ/j.a*˃<ǒA7$84sӳL&!;"`Fnupe\,@|.GI.f/RwUn.% 1ø3_;,fӤK\ ⍑NG uN]:E>iMohām,OyD@Y֡6̓3)Õ'%!-҇?{rZ㨠 ppr$$wU ܦ4<[ z]D0 ^֗AF!1F益;]މroɽT@jb5'^ ']f8:bfMhA`Jb Jmz$P"1p=UͦBoW+f9A$z@:?}$vr|ͤk D&<3%uzMZD3ΤI2<8ʊ:vHJqKqN+/ެ$&גX nHk|q"HS]:4DSE5n~$U S]+=̣XD e|KCnθ8  Cgȩ֗SDǟRTqd۠reKhn,Ƈhr3g`l&ſC% XŁaq5"uݨi ¬dsE}Y;Gb-1gDQϻC0gGaCym(^^<m S؈EO^)ХDNհw1O5+f\gZ.,9sġCͼtBu M[5:QlvB% ]kq)J],+o q=߿v\AHqxf^`C5rlrHz4,#;Lnp{Q֞_Esf&pԷIVe^OM֘5ZLleYupvziEݨ%֭,M+Lj@{)o+?Yփ^v]f &n d.!3 *{mf؁%@۾ -!V 1ġL'ګ!{vyuxJ̼BÒu|dd".& b\)Ra#4uܣoV-CT ,7o[jJ9z!DC 4W5Jj5D}6Zhhg+^mzᗦac &1 . rt>UIMx0#_=%6;wx&\,Gs5 sZ 1vL)-,VHH&$x{9-QýPWeG_dҘ-u [<S"7i!Du>g{ kQ%ZqJzvAA&![Npc1 9<(ØJ T*YZi-^G_᳊AǛr!5if-F2q8A,.#U3xKM{YSE"ǂ'DN΄@!gH}!@}wޯ w^,,3Nj}xiA/{oR_Eʨik$ë#BCQv.:2W==\K`6 wɪP9߇ [|_V ɢɯZudT/D4ns+Y,weWo21Y2(;R n+Dz_Tx EsUn'ק)CO\uGsce|d|(o61ZΈ0[[apyů<,Ne6UQ` S? "m]岘*NM0_eAdn mj=}4r):фp"Fh%JT^K?[2vĻxbkZ0D ;2fC#uazTcRRUT+`v {;] E99X$at[~F; f9?]B,U)cTf%T=O*ABTWgZ+{OZ^ũA=bb$yJBsߝQ>K#=1dxmRPlO L"⬨gN}s63:)ꩃSn"FoVy)c,i*nniVS9fs:-1$BC).9%)+U\kMz߿g2&@̗ݗ*d/e%*g?$z{|U:q0T_o.`ty:sEgI]RQQ4c8uJ!ou5FĀdJ$z:\@G?0l u}m_O-l%kw|h/? F2} )8=Xͣ-b) 155["1l)h%ܩej(0jj ܔel q _WF@JvFFZ+edSk4@ o7CF b޻ oiNdƇ'6#8줇vh sz|1~Q 7Ly`qLബ9dCGuEt*_llp8]Tg}usufb((¾4VZx0ӡ9쒑kA:t̢@>Õg}M w8tn :jRn4 4յgBH@]LsyXNht(r+B5m٫'+c G0=t&D{v0 Z҃r9"#>#PĔMuYN r>r۠(kJy%`U3Bbͅ%n>FOzpCyA/8#B #|4޲z.܈4 tzHoiYW|~I{ ]RO}=|?%M:J%6Q3SRUFQ|hMHB4.{H`R/"tӃJo^ k"i 癇P|4[/kn\s-A|[x+paf򕤡c&3燄qω "?3e[ ]fkc Jv>vo*0%҅n={} 4ZC9@wOJX u*p_Rql|eDoSNbRGPDmn"H<;wpZd@JB59ϻ餭K8-qz_O0~E"-ܟ.u:)?H#o] L#CaZҵ=sؑ_;}Vsp_ ;PR7<4r}rlE-rtV7zx?dat=3 (wZq`TP\^h?ɿk12)N&:n@%j.5;ڇJ2{Pd$+='{_}s=aƫhPaj_rᓨm%=Yd{/P?*WF%68TazO%#IX3cx{EjcZT{xk.#S\Ue"~h(ƨ,ԵYcm+ m,vw56(GlCY"&ItŶb=˟4%{bewʧ$id_ڕ HmhY(!۽ ]~?M挪z I1x(xX{+-i _ȵ ٔ%K$<ؙδ{;P2]LԷhZGpNvC/"g 2TO * `yP'L#qu_dgˇvgf ނѧ ԐdW],9u\vZ_k؃ y!1JL(Wb!N"$E9翾7'S7lnO&t6um5=p&Y/OfKq]K2ŇJ a?1M0Spݙe,M/V/  7AFc'4ڀiJOR&/]r-VxI Kc)ꂶьn3a+,5a0DwOQ`K}wkE⎕s@v}f?pPq,ǂP`'@)nbDEl:0tI"P CyA!@L<]xLP/]r5l?BHo9T?uz0qS֘ 3E`I'8rg,Pׂk$:Kl&VupЛgo}Xlrʝfٯ5܌sTVyߤRȶtZez6l)q-TtrH;]ђ6Zh C9aŖp4<8|7,Mʂs0+nۑ{IIXЯQO/W shK6Ђzl61ޞV9-#XH<]p0j ?PƜ5d j Lg"ݔdoz&'tfk*|勗f#'Wx- PlQbL7M%.am[}g6~LƲQ.$쁳0 l-xmxHU6ifjk'3GY'0[Tvh;>Av)9<@jXgu SO>UTS 7n1_S,SO2ݖ;0J9(:3v1AQV+! P^2}Uoϧ0  <Ƞ-}| G UHa^)nX|U']aXun%O3`995,}ڏJN(!pMPw54L)mU`5AC2u-vzq~;] QH02Ķ'> ǜZfhr%~uB3?1NF#`Q]ը%f5YhrQI(T$ ՐR;h}ZKX{VOǸzVkBREݣzzƣ .1gBq8vH>c^$n'.R_DwNz4zR%w1R[cZ4(^|9}GnHs Qqe Y j)ӧE䊜(\1UKP@%a-ږ fzJzT٨p ԱKsD ɸoF"V4rkʗ{ƗU$ %@%?Zb8_jǤ;KA * VǏя p/[k}N.[W qIеu1qiY)z\VdJZ~V#M{մJe `1*m3gVFН1=`!`P6A(YA0q7ZN)RFeVD2P8VA=@fkٸ-o 5ڃ/KA Γ4S%Sz3mʸM<߅jHgXǭ=""r䏏/δr2cZ&4Qja\L抻$ژr"`gp8{y46:_; ܡ?on` E!`PmJ`|c%<UXk V@$ $ siS2%Vf&K' +=5%I7%nG؀,L䷾&ͧ}ZV|,d6H )xַh:96VycTjwx%J;BR#:7$0r/kUvPHAEĉb8 1<'pfi6mFNM* $jи65@}\XvW<߱_@ߧS:5rPȭ4 6_&$Bzfqa.{h+Y8m=*5I]4[bA6g{gIWj~\l\|/束?ActHujvkU-1cFl'!~M n_IWm1;14ھf']bG$gK3A,޴ݜ1|QDYƖ w6B`]]5O*ٟNri=,_{:<1>ռ`x'̝4YG b3"|[):c 7n9ţ^BFis9/EAB,lxc/"bXLU*gekJqeC&5GTyP6q)]L|9Qm w~eNvr!].Q h@ N#~^lƐNXq ˶c _NC{l]ΝlhxH5oy jxX%WSǢ>a-D:7t!{5 $|م#|;U,>T{ -X*1VDBQ7HSmJO%+|kp2HAЅ9*PS%AvvjxШAJp@(ԗ:7|LhiܶI*k 7gGܺƳQ̘ DQWXxAyiE6hplɎZ0?`[!;KUlF:,&"2p+(x慩OHgp#+*2è(-eeh_(Jy^v7[5!mHɭLیcw!s ۇmu}Bt&pn弒/sD! uڤmy(́jӵ=LKsdQhUiQ;U#⇁=2ZM~o]+-hFtan[ 9c) gWϱv/|9C\G(4IG|M@LDQAԊblʖPBчYlLg&Ci|ԚhMiҧ>M<.cK:@H#DׅOp_)/B2t@3-莕"nKY_+W'`kPu,p%XIܛ@Wn.]Uh?&(u݌rQͫP ;CI+;jdDɺcJ{]/>ō8|vYAÇLߨbe-4 [Hy͞f6w=}p[= K_.\X`(753hvAb4'9S;REۣθf JP5@Hk,•[[wΑgOVl"dž@9 ִ-l{{xLAGe|m֟ʭ5-gcgYZ33a7a74d12c74862a2f2eebde17c75a73cc24f365a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 bbc4d9dd0b59cae979aea6423b36072a40c0dfd40c73f68ae274ef736985737157fe652df0343f1c