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 $%Tt ]/]HOL-Analysis:threads=2elapsed=773.917cpu=1384.140gc=61.948factor=1.797zXZִF! nA]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їG9hRhJ#.pEd6r '(WІM"U0ФR@ʌ8X(?MnLn,hx y&,ͱe1W+QD:ڏm Sw O#&Iog-m7wNpUh)?oCMK;y!FXPBtXvRM5LzxlЮpM/Y5X6 ˆsY6ToOopvYBxTOo2 KaTmw6YQPSm:Du >Q/L[+ |ns ,! >`Ѫ_,.QL; agֳd&h֛ߪ[FD)}U btEdDC,NX-Mg>"Ƥ"@W3oeJYVD<4aQ9.Z~'|c Ke *>pzsF3 KN+hO\ ם+*8YRlG@҆`a`C~iK.QC7.A/ߎc>,]R\ZD8ƆX3; UՏ=ţ)<_W|c6a;+vW % HOL-AnalysisY Ś. )v?Jњ{'6"@"vL՝},5$@lzD! i9 + ٛM  l4/>cG֭VnL#VC5wsY=1h>\Ph( 1}؅!3Ruk3#nm[]$Д;B7nyC[f$ _v(/~jۣ¹ b"ģ QɁψԡe g;E9wލ-OYڷjEeї64O! 3Qy&!I%\,va<B'[ۀC[[ɣJ[\5C_, |_$I`o*VVz5(?Ѣ`PQ`t>г1D(i,[hg_{3Y]H&o^}\y) E8 \ʨQ= hobs9\IJ6$$Xf8LJHkJ)I.Hr0W\}М31I.?#9gؤUW{0>V;gZ[ {Coܺb7,c\OAzg"Ό>0TgjItN'go.߿R(}}"s 5 Jad42ʯyWrPA+9S5:*M; }A 89p)Bgc ~9!¨J\'KeA€!G@][ ~FՎ Jkz#c\Ewk1Nd@]@>9{q?, wUލ$Gu竫tccWӍ<2e/ 2;XTvVuTYKv};q-r34 0֚ YZfLmwPڱ/+<,N\{$<(>Lj;R3Inw핡f,öֹdw ǔkvp%[_qu,5s'g@l-tUu( =ԜpQG4~^p@12NMLuϔW! wJ0k t(Fyy`1ad[7% L2\~RݥkCJT)A+4[(,s;ڠS/vͳ"3_:Ƿn_-+SSaT m#tyncd\ cJBMek0xVzo/|pmeg[.gx{XYCO h)xEkd&1zΥ;yP|qK=G&)]VfAz:5+eff0}s/=ɽp\Q^߻Ƭr):3^eQe;&\;] 4 Ihe ; jf3]]!)g[w/D&Md=/%i` .gi]J{^ Ql8v*d8վԓ)=6tҧiBFUh$e =違;j(Bd oYЉjLoGJ2% رQ4k8IрTs]E 22fu 3d_̖& 9g*-,Swz>8,b;~*KxBS%$F37?%s SQ2 MdR>QprkJ~ 2p G $S1˾`H⑂p_']8T=bD(HVB׭1m 9yb>h2T?K!-ꂒħ*ODF/DA`NolX f DPy+q̄΁P};jM(8_k77N`%X-T°x_k6y Zb!~1Z9͈ [`k^ug0!ͤόfP'/xZ59k _}Cy5[}_^T_TK,'UZ̨Qy4Kz2&{v(cIl/Wsg&̓x+H:$$P7$'Ԏ]ed<6r{cY4h~rԸz50EWBpF"؅M)>A`J%ci\Ꙁ >*.%ţ5Ri\DOC5{1.p>t yz ?%A%.cu P 0AbF0ϫj3Xٖ0} 8q=DD% _:ʓ|h 0+*q!2 9F]} wƬ&?=V)Q7hpP H V@kA}8a<"8+t&ꨦ) /rsb Er-y.;|*UCM=qeXۏ_) ftyApCm-?:SnWD-&'WiwU.p(xYH{GDyP\]Q+.2Bp!;p`m0G,+%UlF9MT\d2}qWe ]ő4 ˦^H7 9~WpXoIZ ((`Bùđ  ifcHǛ^q^N}m|AM ^t?~Aэ؏7p`^.0kl_](|»:Fg- 4 9uohX$^n(*ݣ9s\Ou=8UFL5Rp* Ε%kg1w)+Cͮ5(J1iGUGq|, TxAwOZgĨX]P;cJ`/ QEG{`z4#hl7z~Oēf7[7ԅV45:p%x&#oM-@G 0v?LIm PWfݡ}aHg'=/ִvZ,E~Cnb+V) W#'.B_QH^uI655dKڢGpn>EYNWIvk`1 i5̬(,&gd*8Ytayj*7\ϳ\dtW]DsR(Vt?WΞ/[/ K>aߘW_vr2O:e''SïvWHTUW{|ZǴ1 D`KIή;]ߟ9~][߱9^'8ѻ;' wS~a/efR+`B/mQp XW"D&ϓSl;7&ݻ""/7]ƃWv5tlHbszU7ˑD<'v"~W/<R]vM0ȶn[5hD$Y5N@X÷r|!1novh!Ȕ &J?cSލccbto J$gISdvи*G)+ 5kZٶZta>%πZ%VFY lG Ec*W^'fBT/}ձW:ۦt"u<0E>P;.ž!DF= Qd^hѷrTx}Jd7ԡgǍ Hnj7,dЬh8/)%}Rygײ;[3;̃P6#K1QpԯQ7&ڂ#y 9@cNLX1EGD>?Z ;b90H:^aKcvRZphnk߽Hh=3lX3^<@ {ԍ@7T,!Ӭ?&^.cCRO$nCiö<^(P#K4O-JBߠ=rHD2laAPL٣sЛlU#*|;(ΰ16dTb`?rr5wv{:4dщᴐq-oDxH@4KI滥w* cG*byQL1=K*mr$c0YIQ!Bas5#z{,.>!ͧzNPju̺=pئ{GgK;7gBKT%r)ۘ0YTnzDKޙXG:uҜ^A=oHQV}[?SD6Ud*pfѮ½EZ^ d6V^rPU`VdߠTfJ.k%E\!WӼ;!ys|DEA<Dn7ʗbMV2P|e1Xw̺2!B$\/ -e x~84\#۩ohxhڡͰMC*;SeBQ;=HKvjYR@Z-a Sˆ4kTVԟ-d߫G+{'O;N"`D!K=+fַRD7$j: ~@MÂSfy4U 9| !CK$t}0x,k1H4d״W׵ 2@w1Z2AQ_>pL/qY1rɏW(.Dq9֊'`f݇fa$]@6#9Tc/W _Eb E XXU.4H:{HJ)-26Iґ$M8|hnh\{esƋ_g{,BE=ݺɸ[gV9u ( /[wq@Atd4 kjNd"mO2_oSFĮJy=:ЍN & iUWv;΃t&mpfPEx?HnGfg+$l]L(UwDqҭr\|d.#Q^4e,Q,%v{5cq@+]I%<^j`w2qmj?Ʌ::ؔ_]קh]PZ ]O<7EZLQ\6Krhc=`b0'yb>|'7Ƈ.❔N{'ݭTKn+]SWKչ> C8?3kO0)8U-u@PLq `q{bcϘʼnCnI?wiydS3T_r+PkrS@ʪ8DR)NpzCӕGbcslAU2!<$ NqQl?dƢf|M'&L55p56 M)_̈́>{:k@e ]{DmӢ0߅ne!xAk@g59ƒ0UYB^FͮvG襆 8 =k}-?o D,l|.F$)H>vss9ZW7pU2z 6k b t,'dew~߈?Z?;6ɱtéӂ},? Qǒd&'7XB6KN0D02QlUA `_͘e=v]`#dBSfn0#1=a`Y)ۡT=u25LiCmX/]li~V8Z{xϼIuUq=Ajuݷڤe|G2h&Mc– zt.,\őʴ!n# t݀ նf 'HKn#l<<^|xGV.se 14Yb{͌G9"a̳]#U)6,3IL6O'Nȇ4=^֟{A 'KOfe=ŞP6K6&hНGsL !1k MmK1~g-Ϗˠ T{*WL][6\ IbaմQm|&WX XCQQǰ&EGxow (~ ?ѾsK PTۘBx ]Y\<'AQJ>_(jF2`t>;]:9ה*a]*ڀƠ˕?ZЦ2Ufd?XA`y%k&=cڬ|uhT&r#!/,"Ү5cq`SQюb]THaWQiyc:*&#/ޞ^}kaw'n}B#[B}lAefhy(ozfba J(r/3\f \/= $ZKڿkһhM9?9P^Lǝ4qumX%98*6jd`H hK 35azmF%Zhgu6/!p4A~r>’&-/s,煮NMCi=K1[)?%Yօ!qsޡ|x܆ݓD^!,z9BB}p#oA,I3,j'T`稜FF5eLe?G];t;ۂS?+\pv`zrۤ_V7ٳ2l4Q$E L 2:jHbm=˓N3ji#7X]٧Iep €NUhǎE}T1="| f3 0^@Fn9H3'N$`h_L1aSR]XxNճ46^2cGX+<SAag{4D>S](l`3ĉVIF\Q餟P[^]reKR'e}2UF8o2OwE}08KXk6I>-kH‹E]c)>Y/ \@(sC$ٸ(#0ۍXGLKHcXsЏ!X\Pk)|a/!"Eb&ŒSn UP"uޘDrя&ଘʹ]RY,l=. 4Cz΋* tHl7iahQ^~:kn-_FrN"/`T6$%.V]:!YrKYu"pz8y]xӃDIӸэA2Ns ̑ȝ)ؔQ2 A}ծYvg {\A>G'V>aA |d~H!ͩ6M3ZKo",Ru8ړBsJLV>4ig#ȹwg k)MPg$qc~PA1,x@+:5 {=e-jތvt7F-ROxP%,[1)j=6<1Ĉ WD8T2k*Uۆj0SaTt>n3/X@hlhB#,ews98տssw:ս 8_p:T2483ļo?s Be;MӐ-(;Nf{u~ y%HzC~)^Xol ~/-{C^hC:mb-؆NR[fcOIbf5_oAg>?iR(!rTgG>D3ΑGiNη)&/wRa9i M6yإ韋I-Ϝ=!^N697:C/E&.[C yt0r(Os@H(>Nސ o:"EWq,nYW&~mx Ԓ3;G'^z*2 s6a HzDD6XsBfJV+fa89Xe8m%y)E%)38]"fF&NWtv(1mŒ (Yi}|*!Ms>r nd ߹l~t4Ih$/ JL`35ԔR)*RZ- s=O.,8!1J6-vvp(zERRH< x[0p}%hGq QDgYZ7zXZִF! t]ŗXiɟ1˦r!cHkMeBd4E]].p( S}([UoaQKGϔS7U_N$_Phe&Ɨ,[s;~=*^ o]{eT*bKGפ_tyL4 c zoG$˞ERW2kꜽÞTIeR0}]Ieb!D L9bW,FN2KFx̕Ք9w~L0ބ T)@߁EC:sH0z*g+R`i".i ݣ5Cym cĀQJ HkH&2V& ( +p]jH@^*[xق%߮rW~e˒Zv7sVg/y?yLcys[0Pv~0>,Fw[ĭK{$YU &; M?VhK54 qsQ}rQpqJpjg4I.tR[rJ nz g.v~!q9CwO⨬§[:9VeF?8@HiJJMWs&f ?(Gت4W=G>v07;p&FT-}06pt GG+Ǡ))PУ WUQc}E{k{Pf88`\%=׌ R(XJ8Rr2dG=T:x pKui(3j0P\Hl8 "D=hLl?-%ԑ,{K>XX,@fաsԾэt͔/(*|} ++Fp+Yk;X{ ]CA:uy( <]M $Nt Vl۱39Q ?B><VR S˞9Qui~rYl#yn5X$lg2iW;4Bk3N`dBũb)<\> #汏C+ǺJQ2v3dry^wLc Y8[쌡I O!}Dȥg; eWLY7xBlQ6 ðYLș3 "v#tk&VpR1 uChdtzJ,)3Oz xY!da^}.\8}ckM)x4)iiAd>s#;CGqmP+yÿN߷Ą\\XUg hGηj`FeIQb8M.? V 0̻"<ک@?u3 ӝΣ^毬/s\L䤾{Ln; \fer[W.b S EY5 U0`׳7ؗ0QCU*J\y-$Lpj/F+XxɤŐGʓ%ԡh)]* aO(RU;),>b;ޡL)L_jP 4uo~,F`VKRbi' >q:*)Q<~ʪbQ:ϖLIII;.8DAUֱgYZ7zXZִF! ]ŗXi%;oG+}G.)Y ^'x .DEO&!XP-s7n6_ooeVkn5 )$ݔ6H1_uə-PK n[iGK+IZo7C&9٧ExZJV1pq~_ n(Y(8\JHkEߙX>sQCpq;Mc8ax4*d6",9lӱR@z gBӻO$k[qy3Dpc*t9Tk"48[A~ .xç,Ye"} 噿Cn_&z Һ9-",k(`0saV}B "H.7H*;I>5rg|d_-zRh *_jD0p͟{cmJOkT9H2⫒B~Mcg6fT-,M8s`WCm7 HְDl_< *P`F x> u_-\"PS?;Era%_&9MVY#4r+i܉rY6zl3*"I:̽?Ck;y-1>0lB\2n8mCKD='X=v]Q.UcG P0 ^9랥}K|p۔ Z7i/r|o/!%*#-Y&#wR4ͻKSb7w1x5UݙMvg!h%b<h;Ao$ɈpWke$4NAdQTARR#??%`n*Mp$(۴Lٸ8֛Es`]7m+,_1Kt@$šE쀱h91q#<.C NcC,LDjoH4q@5ndd4| a 6ziIkh&֦1+1|dm1G8<g3Jv_1/\T3QOc#."b} vxikwZ@ĕz k&)>dz339ȈN,G8,EGx1&.q*:1[/Sh#'4CGrO{\LhXTR}X,H)ԧRĥFE=EF h)SWuLߊ~}gg F|ф#{FP^?2$XiӔ'I P1V!F\LlHЋwuԷك'y}ybX!siG0dx/o.W} ʲ PLBM;$x!JMbbzKL3AEG$qeTǬ2PߏP[Rt()W AҜlLL<LHmrr:W01xZUR/JWsK`q!WW.G/ֲsM{8Scx[0G'*HY*d_I'Ia @edajYkcʃӣoxgSC^a!$)wj:]Ϲ%?`W"$,ui+ɚ;aËMNbо@LRB~Yϥʱ&ͮA=H迤idaj ղ\C5X'sЄ EZ6抗_ |xtY7ռ.p'FBKywE!gO9W֬qPDuٯkD&:w4$~XW%`oVYw[İAR>Y(զtv{aLJ0L^':6SAD!]Qw8E)e7 %~TL6 ,{,KB@nc9%a!k5c[bs HiܳۘDgqz q <~ަu&Jjfܓq!෧Anʘ< id,ۘZa4 23ӳ?a IȚ59Zs#=)3~6t&<@e6 C E&[nOxr CլgyEHL$WkdR>(=ϣfѳo屺^.OBbGX;2 ∀Ji쉒x #.@Sj:Fn3%l¯ ДP%L?U \Jv_ 1H9T(UeI7*21o-%U}d&aV|J{ _, PX$7@G;PYTԣ3238R[ۑ ,e%dߞ%Ʋ7~㪚6}vބP! {A|5b(E*^pWXH,$`f& EXJJIA;vG{.\[Qa߷BxD8ΤU`R!T\<ޛA#~b񶍟=7e; 4qв /Ab ,@A'ާuRL1tH6gvlp ƦK>=2e$ t`Lt< jYۗ{p[ E,e+?@[뭡A<1z5G*W)U2f]߉[ݏ42R{Djqek{ٱBUQ}!G dDָMDlH?kURsw#ftDMTf~t螢ŴYHs-nyN*WPS%ud(K.1&}z~E4a,6l2ËNA#mX =ߍkxj[׳ s~W>9n[47~LO6&6szxq<\$4aVξ,:%&%)-R[kzՀJ9l13JaQf%zxH~jS;+RK~3{z܏93M :N9# eopkWǎ1|FyBmfB_b[uЏq+5|辂r,`WC]jh8 ܤALr|B{0%dE߁\2> #+ +n| 8L3ve7hhG.c]o֋Jb (u-`hHgMiAc0vQQb.%-j }{BHˉh>Bn7 #O^A*FQacC`L>vN `ur ;x*~q ya?fxZڳit k#`C.ʯ IvmY,8n?T蛱1`9'WQ8R0 zf&sIL01 cM1;&;۪W `B=1ȆRbρPi&:R4ÍS8_șpG2 WBYiTKCTRmE^o*!duD1Oa#n*uξF~Nv?y v(R/\!K8ѯ͕20*yA%Pwi3b=VXM|[b QͲ&׈Q6Ie/6g9֝`ls=5lU{ˌx#}oJ,xl XE5j<QQ/xnU:>g|?&7 j$ &akʻW 3?V_(2,Kvgk )s΅0˪h]_h|:'5Y(08r=b.֪JVZ^, [=4 Y۬;+{=` _b;#;޲=a?Faa*Nv܉'x
    `3.Eo*uFKa1G5+ f.Q|8SBҁ}eӈ3D.bG>+Qgf=ڄoCʌ+`n^E9gcSO:B^Ql^< 6x<>ȗߣNYz)l]rf"̛YWlb@ w,s(„$cMmb \Ep'olIѶQ&W쥝jRNej_zMdeX9X-Sey٬}gRp)N6 Fgk[-њ s(buL `C\_%6wbyʡڮ{)&FRMRA&EOsQJZլ@l~nG1̏r^ Y]ʺ] U~%z.ulOp9-$ę8l"cp0*bk .;T?bKyOlST//+~Q|r$Ii,;dZnsȐjX@IUzaVjן9eEmNwۻvF4 OEvsi)bcV `Fvs w/UBC_\CTNL@svX>6=d!墁DU{DV>S-<@H#vN+3Rp*UzL 6Xdi ^_|}a늃rEgvo9LWyW[<,`.|RT`ire Ao\75dTnex8R.'ѥڄN[PNpy13h{-6On"$PCz&On[<\1n\)O•"+llK O(wD'ٜ M<+?Bs$!˷\H3c"іAFqX|ӡ:ore;qe2Ȟ, C3HuQ!N]Twrb"sjp,͑VE5݀y- L'NSكb[,yxvh@ 8h^^JuSADI6͙ZG1?\gצ:[9tә .AG|!f$E ]$#vUq>V&p `:1 ȻV% ,vjϫ^ 4 FLz@vrtȜ=tGLWڗ 6 (m-Bm .&6T ETՎ'DAXy]l_I[% x]Keޒ?[#qf$峖6BP$m%M:)Բʮkms`2wNp0< DNd3vexB8ֱLM|wKIpo43]*kǛT^4n4 N+9l cw0, 4fEޖ5z8fg p.Y!k hPۦ}#)8dPd'S\7}+B@[{_h+m 1-H|^i b:(ú%mD3D.6@ bj<eBCxI>o8 Г&K4}rWFo $d[]ŭ6=ȗKKeM(^{ym%뜬g v.In-_ _`59l ܶ2P{2X2͟6cXhW^4)+vNnϪo&rT ’g0yDxېۗ*?N=X.":G,yO6X,HS0,9Gg7ْpceXZ 2ufGP܆\0 jWOpUE2 Q5EwNos#rbyè=o:,MBp!XA撜J$\&@6Ecx%i=<1ɮba/%ضXrqΆW-,D\&nSAA1瞨j*3xM،A&sqsHߏ91c.]w͍yU J.5D6u,zՐn%HR+z}Z]y_d5 I 0qPN= f^_UU-jJL&_Z/0o}ﯨM!JtsYF M7/ς+R %y7"2{g3 [pak6mwc嘖){j-K ✄3NB={e5R|QbPdD8F^BAHu[xml_2XʩjJ?dy-y @-{1k2QvײY!<+s>Hz08^ LYʢD@ .sNIՑfcc=s]MW~ahDz}PT *wp7GҲ4$n)n^$.N[X~I%՞ ɔN򪴱| Fiq@y<%HqsҰj=yeMoEA*Mg…Ůu+nxAOl^ͯ,X#rC ]&㐹xi&@WZ^#ژ3sRcӍh<p/N~a72} Rg+} 'ӭ{: U ,&jzrZ/[P˿ɉYD-Tq߄o˱tj^>_$b,e/fʀ(7yV)] m|*;YIh㗏(M T$z'ēamkݕ*KGtlBm,(x@*^e;NO\W~-z MzQ5#\gj;ylkI` e%ScnCj{9LK@'72BS1)~C.77tUz;!rQ(.?@s<0=V`.y{S)*?z{XN88LqjAŔ :L g ~[Zd E4qȢ 13F+ImܓzIáە:V]RѢaޣ\{J4RC֮"P1d5Mn8KjΛԾ9v^1KćYs'gqlh]Wm!8qaǔRr4 ֿ\, T.ED|7U(DD`pKʫAu -ޭW`ZQ?ӗX\9/m7MuM-E d 1>Tf&@QfC1o>GBfz Sub}Ts}f~jN%M(»=Պ&Ti)Y x4[;lV]eZ7Mvcr6Ӂ 2A 8{mإBCcya>f2T٪R*?G48Pmw[b37̲P+udaTxRSWD:t$0v @껤%|\ <\ Vĥ+ܾ5ԮܔP8HhЈL4ɘC6}Kck $9}̞_VYf}VWvjWT_b`\V!rXy6F5'x\lj#{S+7g񒕆{׺HRl F;Pn*cMsq1D((LxzCj~1)KMzNK#au^-ʎw*po4RiĈ5i ]:~bkI=cjv,MbIҀ%_+ dF#4ȵT"k{::k^<߸A.zZO|/XUF|AUCvFO۲\/_[[t8.hJQ%1pdN\=ݻutL,=k*77w^J>lW;קUE~s|hYLЈ05N A4 %-p0B!FBH 0t_)5iTX :BgA! 9BelZr8Sn!Qn:(j8}2[3lVb޽_:#haA_KdC/QT42@M0Qy@^A0`Ez4˥ʛb< 6ȏVb}\Qڭ #_=3 u;>ڤ{xy}%=.׷\? |;(>'
    bmpOE~sR&BgKXzcf\NK~2nN2X'] ^4Zrc`VqWj=JKnCK|1@uq='Aǡ8[MÝ-TJop-4o?,vܞĚV.Z˅ԁѝ1LCJqG=h7Vt e[<I xlӞ\iVj-9>A{%QS#־:Me&XD?xyORu\ɭ:@?R2kEK̭%Hm|A:̬U imIoߑ!9 L*s#3&z _ϖohVXޙUVbrs{*^=k nAΚ79B͒]5Z_dr~2"?x['1-uG~Jtq3~_Vgc7pVNedoLyT_1c#E CIVXzwtFr#l~?zG!_#k yMLZ-}Au)`WA>QG'ũH$Lw5[Dׅj׼cyQoȢx$ .4CȯZcCua$NpQqdCKޔN{:9CZ#'٥zwy6٬*΅6'.iݸA/zVF~˖&/=FW g Gdq]^]iPi!a?|Hctd"'%d,,";`=QM $;!oB]CΡ56Z Ԓ Ui\+Bޚ8/NRQqRNC nb8? PC‚axx&`C Or&y4#WlQ!,7XW%iE0Y=%:(i 0 @>׃B컺4Y%lt!a(_ MfÓЭVWV=0-,cДAiߢujqFSPYhh!h_8Tb0 90ŮeG2$Yr>!ϱOLri#@mEG(k@{3IGkZjxAPi^2cN}Z)tLݘ @uCkh)e*6ptGE_G)ږEW͘.'d!C~..E^oZ|>EZ@륙[McFacUIomʳEޛS0sE&t'1*2 YY ohQ9͂j? }xa'c1봒`)Y_5M6.qڲ1+@=БeE, Sk~QTWqg_;1(j%N=()+8۟S!uJ?P|w6`LcQꪐ"I2V\@`ڠwflfw&O-p=M)voB OڂiDIDʆh(%lZ ʋyp'ڹ.Z& :Y} YiGzN g2rd3;̔etČN;ȳ لvk-{$5^Ҷ0EJ;sI+ua-0del%D { rK1xWve@_ Q S}˸sǶ/ 2Vv6orU_qg,ҡ lUQ8W@v?!a P<513}N8W8!W{?9qyNv Klc)U)†s}@e]ƶZq$c2pёˢk 9v6kHu*hmmbˉ{If̔[>ۀ&( Ѭhl.*U]qlD(bҺ.+WsmM3lhc٭jVx଀nP1ud lS]V{^X~D=h:$G)Nݝ֓pTDI-PbeJϬ]A?oVLWvI/),O9' 1[.o\C^\-aa醝rB1~F؟l;ڷy_M q!O6(%G_| eA<LjPEqĭ  EYQ:n ޚbN^%Cv.wg-A}e?Pg@xRdhRfr&vd+wAd\G[`l13빧 -48:!%o~f1o)'J]GG4$X4afB K(o9UA x_&Z EJ Iv|ۿbiP2 +29FjY/ I1>-.*!qȤ6' %벞]ToV{ۋj9Ɠ!~4)t`i415gx__1UӐ85.E _i,7''깂*c-q+3jrb6:sܿhpӅξp;o ,__')e-xě$:Ta49Kcq۵nL(t,rYcW gVM pzq, ,{e}~"p/{ lSlۈ}zLU=f"CSLU3C{OTrԖ7X#ASfo;ª8ikp~nDX,vsNn9}ixkYaDq{}^\[F5~hm6w? nRLIu-j ̋'Rcg]҃QY +leHYTFm:(g! /lT:v708?4UlHDh;3lAϟ57 Xؙ̎$">ݥTEBx6;hpcQqM@s 4m0AT|Z|vP8bܹ,nߏ'dO?k JYO-skRi $ABUEN {-%7COA<̐.֨&¸VYځ('ZpF·]i׍'Ճ>푙LU~¥!~HT/Tx7WFgDDʔoINV9?H>~"6;sCUdT,! 9S7;6Nf4:c P@@} ,0 U0_Xrsm]ͻ7XGt1˙4a.9JEC*{˙ZWfP}áDinC9n;cCV;xxiF%g鐕9lnީϞV>c(延yņΟzz+E tj^@:"l̘>%15ly_/QWTMa; YI( ö.)]Xel2_K%Mq לT`9fG-r)jR*}A%@hQe.yH Q 6gzfFZ^h%Xa6lbىZj?R@iwj079m`^_.E4 '&nVf1 g o؍`T}$ Ҭ|?4B碅 Id1θM ɴrx= LUoShe;f%/ǹ橀kUH v,s 8i_uRāuⷚ>CSxәC0/ruXF@1A ۍ! n "{n@ƃS*ֵ.'tE"rRT; VʼL!|YĉS|t[{PC2qᅿdOe>5dVjǻۥWy;T=h0}TmbBCDbg:GU>ƑQh$ rB]t~{{+?Hy*}S@ĸF-ųX35xԡp-㭫@g  +~^"n:(:<:7D6Y„S8*^h"@q*;? _ϯɝ-5Ӛ~N9Rr -ުU)b -4H?)4J4QPd(F(O&y^S}͵ţp Ѕ6"~]{M6j|&fS R D[k'xe4һy}pja˰sY,,Ru\0k?s|ULqHŖW]BF|NTXJ%b5zm+t0m{bh{tT+7PoӔKBL) Eqwac!'F $Do0 ؔb,XXKo)JQRD*/@ѱ6L} a 0wAN>VP̓%F ҂WgO#%,EʺaC˸ q|{[!_ e[Gfk>MPzv!VIXηA5-<1l%KK&8ŢƧه"ȸw8Tn|Mq?S9a3dLb ҌJ:,x̪-1@nJʞ*n#F%o|A;}\ia` /2 uMc3O X_۔:. ܄s <\ 6]9} +:rRl? 'f VhɌN^8Gq:gAtxBCezW=LɐYoy>Hc?dKE􁄿z :y N.Rq19ݿ#nlMSrLI7 vmܟj(<2rT-30$/OE\Yՙq5g;1qU֕j{:sĘhbpf'!m{ʠ=?XQ2aY[ ӜƧ7kC- GF|WyTLDvý\)ETQ9ϩu}&x5׬?]HVPd3̮\h's.f?p0w! /)j20XlXz>AwRFhٲ~t G{sV!PB4pck8ϥcf_Oem|,n!*DVR@g͚$p'hYG2+:Q+M>mP(un`9ÕcyDn+E4f<5g =jg zq~~hJ^P@qaQQYɴhtĚfkga8R9u̇fq)jS6N4Dyi Z)\~o k5vfW6\j#mMRVfa IT7 f{~xfyx0T^xqeGka{~a_-.s3~ yg|4 )zuW)іnBW_s_ Ի<ژmPРxm W@ kG0$ -F7{L)YVz.vyV&V2zqfW̺QInGet0l p&o}Gk~O8ar̀UR*M&L**ВQ:]ݙm VAU?LxUŎESʱ_pҠ /\ڮ5"L2rRέ`~a E3PP,$YF1aMgïQ#62%OsfwGmf,is8콚1)^<FK5'dHT]e-WsW}e)b=m k8z[Hr353fȋ q҄ s\p4V&;]7z+&ESHTOwdul rh6PCd^_ ó>tj'r^Q=^CŐGI4{0Uh|­p{ΧMt\y~|U *4w87ri3|7KIɅ""7FC`K |?b]k%Cpwg:{Q*"lU!L O+7)PXYtRӣ*lPoꝽ q A]|$.[fDE/T4PyZs <-@UeGdB'^!% U<;l9PRmUDwUpࣱP'v o< 1>~n./gqGR_ކwVw3pcosFh/_^]-7cb'%|6e5dIR"c🮺 Q$+ӽ`PxT%Lv9O,P x7 `V+Rx p8Ie'ژfu'O|2'FrD0|\-=ˉ 2 o:SŽ;#6TԾǯ؜POuU=$vol,C!]Ò w J V|Ds<eovso&Ȉ HArPnޯi*ZGibobL(=!)zP9䓍kVKu*QUE_EU[z~jw$!rMx@ ґ$|\I{DXtnk>lZjy[AOkF*fkPEyoB6A9&O+pկXsi[{WXgu7 &glF˦FV0B=_kU=Zq~;Kw<ٯ=;RMkC}+x$x7`{ D*S⛘QU~~FeX/&^ǪjG8NTJ)mb jL|s7o\H80dǪ--4NE']ˊ)V{Mб9tw'UРıŖQjq! {!8b,Bzf~I1{)-w_?m5\?kl>pNbL*MEy죢 Gv==!ItQhu׺NȽ "qVB<ʦLdݢ/5 YϚvqyfkkp>\ɴ i3ew.cxnkG:kp.I"7j<4gzNa1IkxIO('qdZjM8P Us /͍Sn)k7;-fUwQjFG`ѷĨnc,TF{ ;AA zy!b}\-`c:ivؘqWeqMG&nѬ|_x~ -^AN*Vnl5i_%2d.j_&HѷL3PלA]!*V2o6 y0fXj(#Uw'4oYmV'۽'OCt<(miuG~X#YR f?{\Jv^lVMŽ)i:p(z0b;)$ރwW_usܘ+_H~Lp#K,)GL . P~x9&WQl}ݗ52r;Ц-7<[Jc!o}c6X ,HK [a'>rŷ L$C\hԏHm8ΟUg7rڳu@0u]fHYgB}qMKb> pAyszK/G."-Zo44Tכ_E޶Nlr%b OfD[-t0zk6X7R(>jso(x(`|)JoA"=Y7RDJ7Ơ$["Ua[N {U®G V K2Ы=ˑSW(R(H|=:qj -,pPne!M]fibmZ"K:Gǭ5!TRvL=v] p+Hfg3p̿<M~:=8[-On+0@^7E`o :g@nfY㮏xW4OIpg{B\?'K[SX}B}eA'?gT 9ݧC4yNK)/؆_h`}w*13%M"$pQWzѥLE"qR^׃rg`m !I-yG)M;=R0Z"B\|72./ÎAKd0~Tox(V?%QngK1wW2\8(?'/5L RP:@ٳU<GSɊ";?wՠb:9qh#WB*r,FAXFMϸl ]b7~wg!+'jRQ ]-bB6rf .[>c)VO^a&7,8N W>8(dä p"C#B|I"ÂHc,Ì'  'b^vMԯ~J32,r~tN<Тh$n&C-7>mLȷ6| ϥlݏ@ӱǬկ#R܇RW#U]ιtgi_psP)K]F!L>RVCu*E` Ǯ 5,;(,UÈAzehgq5j Aݶj"(23Wf+{.]&mOE87*LD kP1^y9lӳ"ـ1J{ =et:PLA g&]?`}l yqW ʹK2_*J&ћ8adNO @wL hR򋝩7{8E* ݂akG(b4+S?xDZ(sNك9_zTr692!t+RTe l$=ZY09~kOH}E!-Wg?~DPKrJK&5^=N  WP5.(,zSh!AM@y9P)v{=Kr!VCW^ynќTU$̗.ɢ Hw>Wy ͲVmou+NVo;@GqkS;ɅJ|C?vJGJa}r9_S 2Ҙv%sV hˋJFaRۯ°h-{*plDE-(RnҼa=axpq@m֞ dV.,!_l=ʅ/NleVE9m Mێ\ S{%?7Ʉ6ps _zP@j=pnV3q F~;FnvUNb.ڛ_VY?vm#~!qdE€|v-T;kAT|^9"}Q'% sh tl?2Z"$8M; a{{GYs +c8hʒ>5QɳZ2 Q,V q$KՖz*Q߮Dݻ035ZQa%)vG9Rb a"2V"3\IA l^SYO,\笠N&䁎%^psl,7A./m4׎#x1:ȓ*QG;O܃EV*`C&;1+ tVrسn]/ .ڄUf%6c(:aGyVb$/`7Du+wjݶ@ij}F2y kF.! &T;SgK1m@KZ CE f~pou)| d]N V.odhyq1h<@$~޸yP7keӏ?op=i(&U ʭ@"=v6`M޳T|,So"LYL*{w%p V69RuФ`1MSRUlf1C r ԸK!R-4(}ȓO>%Csͪ*L`Oš }+"5\nTGl3AKZ3Ya,y{6]?r:؃&R?Ioe:*OŐ ߋ+|)SKsgo Þ[ŁWgY2ʊV'fmumL٥C3(HO_9ͻtGb=W8фcvmEv=Ax(h.80)3=&xyw!y2ciޟ`jR} ^^R6}EťJ|ցk{Z

    }GD0u?1R5O]E׺rzVp#zH#[4әx5.DutSڏ%?4NGXc[7BV(Aruo9w7e>hsxB2 c݀ 릗 @|˙(KB]Q}TGu,ۭ7E5_WL/oX@!Œ[V1;~cF)iWFPPx57֓#s"rB٨5w՜ \ތ;Cc-jk06rn,R]\Q >Q]T>662~>i4M:XCf}i%>[#m,ȂZZ?ɠՑ;-[u,اd l&#܆NX^Ԕ' %+zd*W\xAnC?y~!sBL`hccg6'"ѽvp LVDצ|K&)aSfjV~ᅈ60CO|:bV/EU,hP*a?"4׎j<><n`ӑ%̇]a@~jsDZ#ױX ]bJP֛^y#k^ͱ߂Ad6R.ǰ5_ GϜ$ nj~/?j1ݸ-@wj*Xd$k!``Am`-tS=ϊ Tk Rr2-.w8a-0pTwhW0 s ({{?N(@ ܅ pK!I08,q7#85 GAJ-&ԳU"]).Ve:.]\8V!6EIǦ\ zO0gD\訃@oO'Fm8f!"J]|_Q]uC"Syb^ǑB6h34uM]z3fMYCY_`MƬ'34\iݭG ҀeĚzBM"Hzpô =M71hI[xIm4/(СXAile"CS䐪[ :Vh_yC&3oP0ʨX<k rVvw0hrLw)G=L2-yHG*a9jfCnjm>'bc9]κjqfqZu;7.Cf.cSHAң:w Ȍq^ E|֬}4NPJx(pB%E\69HΔ3Ƒۨ;ݟHx;[KVO3thξz.jɁ%咹 CVP(T!pL Ա;\NxnP%҉K`bt,mI`JVT9)kKյos0?jSY _+*'ɖ.cv!v΄ƙŪz BN Hm|Qx` j<k-Wr>b036/# a -i͢91ۿSHv"qV>SJdUA4r f;jf--3C_$8qe Q\J"iQC nV ۃxzb DžK3kKIz}>l6J1;aB2W~ m m0j ]` HSL6`Vk֏}ᕊ o=%cS:`W, $pٿlHU&XF3݊tϳqwBrϋq -8 >!?0HIt})4V*_Ln̅?E XU"g!*+OK 1GiM }q6 m6^y(0_cIk@#zovCK{wiW巫lt RR0%~z?HxʽBVUk5}J__݆~5ZU ^u*<7U/pWnXwS ,Y-@Y*n=}.BW+㋒<|5Q(I.7N:OIyGKjȉkƻDzP5`9-Q<{eҗS-M6'pQͫ[;'47nK1S:^cHs +yU$…eUL]̣d :BM 퓿b'/k T u/>DRel0'a2|v[-s}duZ 3%GM 6!zmowa- WBȫSn/hu/7IoAkpPʓNſq)S 3sgq"%~FȖcpBD_"û#bk;ro:[敎l_`0BwyE'zs  8D^tE nlhȆk&y:(hkҮ3zŮQ@#N K!E5:Y=`^3Ot̥ڋMx)bR=> h69V3xCo S `TW,Q1[_ {<\GOIar>kۖ]D܃NCA* xo9LiV{1Mzo؎gp":}ə|"". ?#[I=ѻZLL?׈゚6V#hI@)c7' _'8I.D #@FɏZ?7V{[Ҋ 9 _,g\`y-5{HUoȵ?ߐo8>͒0w!c)rf#"4Ns9Q5> H;X m\dKԪVGQ7stj+_ckG-hA*x$ <%j-pn\;tF(࣊+V:xa\_נao(U,R( #b-??i:g" BlXe1 8T@#Ǝ.+";%5 wZu!uFo8姉'f&[lᖘT470;gϭE ų=1lHBC!ifjZ4,``$+=<&^9D]$!gSG0$2 . |}N#s(Keq_R윫*_ ~9*}#U:XB ܚ!8&)^sBT578fj)l_69C E.1gcfnODalg=1 J7ո(p%L,;1գ15='lZ|tڒ<_HI3z"6eiz?[Vy{K ϻv!MyG g% 5wzqbz} táSPpS3~ G}kGU|zdEj^M[䍚, WB@;ҞXJO< b )~ ߎ.VJ&ߓ%l4C9YfD ;qї>e5Ǟ%e&6M;IVl GPei&r p3kj#<(u8?E^#Nt.K 7b^ y{K1ύZ>}aj11Jq*%mSujuOInSu_"l࿟> ?skՖjo.Eל>Vi1IINg:'8c9sňsm=bmh xLTlI8 !S1;wnjvWt*_h4-Z툅MlqeT#-30Tkr!ofQNHtCJٱ7/S|h dEۄ1vX~bNBE||p%ESP#:2g7ld_c^7Hi茚ŧNĿ=1VF%Γdy=Me.1iSYS5 6oۨsQ$ wE8祣j0C#(!p5'[)MOúѐ`741U {jJlL,:qtD,ʿ펭okrw8||RLy5I3r!ijb~)+0Vet:r'REPT$e p+:;@߫ҁMB_V?wʝ%M!jc`j]."Rۅ94\,% [Y_Jp\-g3cSɔzm^nHIZ`\h1_u`o؟Kы> < .724'?p,N\0I)+ :x((+Lo KԻ`E>&*c$!E0uIjMeVm;Y3Nq@1A_'zMÜHWS[㑔ZB(GȍM izKZxP8cH"@O$n}PНy0d`ku-yL|m|3 ?݉P P0H(a" Maס~PO;,9rx6V I dNu+UpMĒ#v!Nc+F󪪱K';tzl!iUl\νB J9XlyIY3~?6v*vkh`)F+iBPů׈vڎ!ݱB%vAa!Psv$Z&Xw`sXS: 3yA2wFO?yY Em8BDOfXUYmUrD-CY"ֻ˴a ,8V Ld%݊g(jV1+ cs25AB>yVBzQm(_) Ȱ&Bknɺ@m(KTByZLqlzH"˿jy2wtS噫<'_!De[P`)*J̀v= 6& |l-*;J0t p~D^֮I(%8<칇ySgt:ZrahU l:Xѣl{> aȫ#D1'D_Fy"ؼr(w ǟd_JW5n tvViK6  '%kt)`xTxn}kw}y&ܵY2k9}H&1F݇M>~񲇋1`x%T[,_Y2lA{C#IrWkrV˲鸷ӄ( MJڕqݘ/MgW]֏bJ;Ww 't,eSXHtmԇv3_켳O*oMboLzxu}|/!R7it+5@X)%$w4%^ז+Gg%<ظ) R Ghj-UNg7u~ é/Q`Tn4k+ [G(HWJ,c9{C 869qB}kn܂ \qZ:݋N,K|y9: %KTeֿ-V{ex^'!݉;ޒ=%0ьLMvCX%?LĜh@"q<ʶ̧1"&}s:% tXIpmy"2 oER@pkkTf= .L~@-8HTDQ BU :G[Ipd! 9"ǀ-cӎ_،庡Sk4;aB˲UN3L6ZV%$9UIxB/ HM\6rV/$tbq [dzUcA$)'{G1%R-vlfB"  kطB܃~Pe^^D@Ptei㵕QP,p:!lפkGǤ0i6 !^[i Qt d']p~D+[ e߂DԦHPt* avVz{O0 ls|C`$0Bo"C{>w+e@D}!ڊ0!dJ [65-bT$do!w3=YfN¦Ց3.a\SWAeBi*|(nSE&~Y77ø 'YKWBƝvxbwL֐ r I_Z_AtpK4şR^jFV?~z 0jYޡTFMyg&:$cy85B&lEKbͣ#Z!vhhʒpV' l'hY;eQ+y܌bse-aH䂵:M19 TC?gX@,]U0ބF#_sꤏ֜uJ^|>@cvPjȗ1Rߺ꧑c$]nV,:h0,^$ܺaOb_zTRwC"IdSSNf’2@.\.xrG2wC4 ׆u~͊6&wy4 no'21z;Y!G2Y| eAU(@u~e!JcWfn4]?ҿQLJ^6*I>& yX򐘆.%?Z'TըC\JI$B2Xk%c,"{'2^+#&Z}8Tɍ^mwBla/LvW!tI\ߠnaS(kgi`:(|?qC)d"ﶠRbfSQ iwz%7|5i?)N-J<I6sf|>~UmVy}Q6 ӻJdkD4@gNQj8j_t b*ށ 9I ySj QrIVՌ21&Qm BnpF('_G+0}#1_̩%*`(GW cnlXh9Փ u1MT+$&UW$%].= NY*QՓƌqcR#VID6 f-">\1qQN*ZRwC {(@ ||4 3_A-c\#5+UVQ MedGՍdr?kz:7{([Npa*'Z? EȮϙ9"PoMi ۩fƭFВ 1o&j`GR =02a0hb4wDH\2׆aWxhX}z-0OAgd<{7Zn -S|x9GEѸzmH9NG$fE${ <\A(!.pBEO8qՌ#0Zv|uD7|3EɏQ=kWSjPTЍ<[&D>'څGHpYBmp53Uaq 9 9Nt@^>ר)zᒷ 2IKiQQ8Xd+|L?uH=gڕ}YfF*c+݅OECEvmT5=T(yLQP<7>by'CpDڇw1[75/ u>8=זƶoTZ Yё?{+CJdKIC-ݍ\eaR!U,.5c˕}߫T]-QNC`fj]B. 4n7/&z N~+cq`DXw Җ.2)yV;N$6Y9GR4e{y< e7>5F㒻.* Y&lD"dը7`r{SkɦrHp( ѨѬ8  h:[j ȅC8[k8S½@ f%ubwE []]]elX_V ]"〗11o#+T_~gZ45 ~c UnUsp˛bO{M/ /(xhij#dPE3 <)Rfְ}a.^ώY^ߟ\)L tOr%L<#;j%@V5ؖCEmo#RrȪo\J]@l3Vɣ1mFĉm3arj-?Пu9LWnY<4  ;AhO "&.@s7ˉ%1owME^cTWpvuqiu.w-ܰ@1b\h8iHL-럴RCAKc 0NO$E?H 58\ &䍅$*Z9voɟEe pƙb+ޖ8= LTkaKC✴.0&9`>ya>[qȭ.vpblz4'U&9fSq%z<Om DBTSAׅkA˶ocpi3*s{M Ptq٣ﺆW |wH. }_7_. Uy+jgV8P${H^KnG-ϑq}|ȏ~枏Nnn@O"Kd>)6९+?>&WĕY(y%z C]ܑ,BO&/gQ^K^h*h2Ln</J=|&LfL:Y\Pɪ6(Dچ=C+!/HΩGsWK ~Qlf+pW2<ؼH8h?[>9lBEQCo"/m]-4AB& 7#(cJ^"#7KKiZz\GR"8ɻr,>ut)W]Ks93n-Pb >3k&,,qri֊"$e@ 6nAꀧrx %LٍQip_"^~(4:/㋔_[ F03'CǛLƈ2m|ߕ&ҭ>Iy #nL0)Ñ0/&TNxc蕿FKsrF'085{WۆO|oxV_Sߦߝ.>ퟦ&T]k`V{אWmF~&\AW)*.Jd.tµ@j<ؚhwZϒIFD\u*aL7 _TFFb\![`ۼ2(9#YȆFe7z] s^di X^MHoԞོR\^mìQp,gS fr^Jca P#UtJ8/_>zgU9mb9UvDa']X9 aƶ*:6XIY,40n7Zk,9Zu>jˢplժuxfMVCM2tӋ 3C|GnVm >vlJɽM>1t Ťl7~!jM|vLΆmc>i9QLpi?LΖph3- HlIJN"^M)8:[8Rm]')XfAS= IɉOos1> z}@QLj'ɿV[$oU7C G5*ǼUѲDŃi1d<h?w+H,v'4ز]b@i9!B@Vw0),OJR&uCN# PN_pv?֕?A ڿfDh/ *ݸTid9lܹ44t̔ka+5!7Hc|N&'40R.pvb7|πT?8F>;{> + lK3Q#<`^ȫ* 5Z)L*X,t2` dP=E^ H$xQ:!\I[76bhRt`;oıgYZ37d520d8a50467b1adae82ce868e374d5cdf8a31848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2ff352491d185e0906ff4ffa03a2c6e6a34be2eda