SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 tL ]Category3:threads=2elapsed=940.400cpu=1631.508gc=89.652factor=1.737zXZִF! P'q]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo <5*NHl]d`!rXXկ H;K68F R~ygyIF+]\lCѺ;QAx }vNmc{tlH99@Y( q7rH;")iin"-T)|ǟTSmb4X|y ɄI%Ywuަ kkB냲2R/&У Uy2*;7 OORҏj|O~s͊ Qw.>u q uCC}dž[WЄ*ץ #wg893 &ZU r.+7`,)?,yz0P'v )sftsu!Tq1( TB.Ad*#Ah*|`#v`v0MsO)'|m_H)#e4JURf^O'b-Vī9:U h ý& #R%dMIy_QӉĦ\8΁u6D)[M0w՚i_: Tu&+WCڼ(Tq0W*n#Y]|/3dfvֽ4()"1iGc)[J(SwQ9{vAւw$ٗ?4l V} u0E7J 4RnXAf/B/}ӸEncY $;6)T6+fpCϽ5V7[Wt \$j  v܄C;SLb_Mjo8ΟVѫߌ\<%>Cvpz?DGUhSnv^M b~;Ţr poDWق^MB;l_9sŎfqf~a\l| (ƫEJ Pos'?Mv%90-t;ˋˊNGh=`gh[MzlIADjp$<yy\Iޑ$R;#fRvk2,i"#Xo ّ o agUJK*@ ൪pz[h,x]KA'jugXqLg$ /%@d׏ihiB<\/BànnǑW[88M(kME6yDq%,8h9'Vad+>}d[ZLD""w uF{n0)'R^[8CZmL k3##MB6D=KJQ;M*1h4M5KP|BW@;:L`;us!K`%Z9 r]pٽ/py}1C뤘-\ !MJ\+Q u]c"hޥ̊nCsPfk^Nѐ! cySR +*TkprT6SNx[E~`2x7R< O߷loWh>gsuՑ|Z]{%mNi<"LqڀJ~}8Qq2f{BКB+:{$㔪(t3e-8>+3(hgm?Cӛg1Ja=[$Y 1ګ^GȄ3kS?֍~_rs=u:-lM0-an~VٌmVʡj RM7!hT$-ەyXcnb 7"9fpQ)݌I,GZLG$ B I d5}rRy0(tR Y9RY+ɾ42trwMp{۔@كE a M99Lh_v1D.@,SVoٺsUQ'4|Ŧ"ix=)ߦ^3 SVdO_ Qh7bsm!=ˣ]Q9ޣ=ҠR7Adn wi$|ol OB(~rÍ: jknVR:`E'k"HrC*XgHQ`ӷ2.zSK tsNy%мź22Cu8i}B2<{M)0CiB\96 39h UsUw)1 SYsUŞL%ƾwn&V9sVI&OArV2q2fV洛Ńr$.ƞ݈ Q´lW-6{ ?ZMN6fKkLDқf`~4 B*_$+pRu WB].ތY<lR{\sF8ߏ_W;~+j#krV¹'XɩIwxz߁YV5,;wt25XG i:V(4ۡc[G 8_Wn/q$OBījtDZ #Y*f<R!Z)NEO=+įBB.3!67ŕElI^.gF/罯V*eW_黹8{/N)?{~ VɞB=p|.B!0m." .+9ihQI dggJ~r`^Z>lƿwЮ b19(ڡUiUt",ͽjЂˊy7u7Q!][ 6bMSs,4bKd2͚m{9oX68bepWE 0 BIh"}~pd 4ʝ= Qv6\14|r>a ki_Ty)2*k|kd ,g[%d}c;tVa&{[{?ը#Yy.1?a# gڧu*ekHJ1(N S1Oy$>GWC\qϰX,]uLuy=%,g. aa>r[f!g+cE`TDS3l.8s5:hMKn>EYzOuk}ifdm W^]!"1.{AB{\MNaz 42+ȸk뙺xvCW)U"cJ@K\ `3ŕߙZX=T;}}[ \ 9%<߱H%F3GJ}p̞!Sku)RK:7x+Bտ`|єKXZN򸝗4={z3;HBZ _LeJD󜥄k  '\Fsf'+PϹRa%(:S (}%{m\u'B1LG=SԏqN!T@{, &ub'"d]cݺ 9|ms88IEs`!` ĭQbbk(TXP$t/|==Ҙ/-jAD]iI>9Gu&hȐhpG V ɑ¤J|.+X>ћ\y* ٖHDD摛^ԆGS%ٓ4Y(@1?~YT0jHXY.CB\\.Egh.p^tQH&\bLƖNkm{HwF7thuG[q};4Y{%pw`+5ΔFUe彡6{Gn't;ƍ{3CN :ajBa\iǤu08I P׷Q`Ad X=% tO9 s eSnsO6_mÉ8"g +_#~%1PyZ] R@fn lӐ(E2 v 2E[ XWE:} .o|-Lĝl|-Yݜt&6X79Q(|pa`b7f%8Qܗ!,؇v™ˢO P"1p"gZi^(a ԱCWZ2#T E^WJ1|}{îfO?$YЉA#?'5+My|De9"g4ڿ!@ӧ9~XEYfMMOY4tBHr-25 <_q?aEǏG%qg`N{gк?FLA 6)c4C@PWq',xw([ХSr4j^- "=6Δ}Ww5I 5#;Z^Qh .np?3M&-9f1:Mϱ♶>D~I3ylm*!͆odʨd43; cW$3veN I Łg Ҭ{,`B;-t-=X3uP=hO)юS43 ^z_>pF!,J~:EK>^X >ShKuOܗSQnIFCv u; y}pŤ4J$gF8].1 RtLh$L_5iCҳ݀Y#*Py@Va1n婪.z`T{ \]-rŵt6$s]|> _[O-5q };r,qQ_0.k9 B%o!NGUs#}/l{ К*nL2j6NA x\(SzK;QՋ+b8f2nP .(-[Ѭoď*dѫ Hg+FU*'UV~Tm<܂NܩrǔԼbr\1[|H9vIZH{мgVSmTU.i{hٚaUZ)\yPMLu+j cp+ޕ}D8/ӌyUY*P jkcx9b"=9 +@#WCLmT1cu Y;ۻ|QA^S`? KԦ,a||l:yvj7Fnb4gĊ~xIw̝ K[VGN x/3O}eFWA"ن,](V%w C#4tOlys@Ǜw`d+NtX:W2=@rƈuUQmRAr*>\srVYX$.(‘NcI9n඗ĸhЪ-*;3)+E.N).W`Ci9в7ljb?N38 @26^*r͍L`` (9%ְ~=kI2oϞCqr򠥈-?ǿCO"C`j yC.*ECN*uvofqӿĚbYR.N+fL^aX[Zlx#e%Ѵ;Kȁ6A>hĬ- ٧OugYZ7zXZִF!  ]ŗXi%6S(#h˿G+PV4_#$.A򎞼BvMo"M:YTZO lwRy2-yd'UΆ{| [q;dxƭ+*/DsB!XNUoSN$m8BvOi d1Y~u'`uu #c O,DϕZuB87dik?8Έc6W.iǭx"K ? 2JA|"'IKWCwq\f^yu%LEcDQ jc79U} pQ`SFFi]y3kٴe08x`)om0>pI9nBg/<ޑj&!3v8E`pїx@A0[J/Ie}w070n,4*^1V{+5dvyagCj4;+<8_46Ѿ6rQUrs #eτn2qv=YboPXn >Bmx;NE5`-@qSRUm]rMoNkWO5{j-V*1?^18Q; _SfS=2{luxmV 7 b>")t2,Q3cX#!R]M} mBm FG|2Z&!W("s~߯Bi[3EV>ڰKBT3Ɏf9 h4bႏ9-硢u򇽥iv*906Kx*Ѐ:<DAkGݤQ"\oøpD'5,`^7cuңTIW[3F-P/1]gF$wlI(cԄ:|SoxZ[n}!1`z2]!w3&ʣѩCc@xWsa@6!"x 5'#dK HdMK)9m&-J^JUsm;~9lK虚]V+X\?.@(ו[* 18CYbRLN ! 6T$4]pu |Ǽ~N1oŭJX'w^w67#P49Op1T q) _z+\m^lNR e4 P& ĉAұ Ej~󓚇G~p'gs|np_7$seiliY,uylki~eyѠ F=1/AWk Δ8=ΌjWU Hj$My.`d T?~Dx^NNaB)g?v ۳Ҡl{7A2߭#O?G'yy^738B8ڔ,jr~\̰?G&&QB+km&Ix!jmŻr+EX8ѐ=NNJ<*T3+fU ; QX8d}oe^.zU&#cjpc]97_g6!y~1/W3Cyȏh *42w =Qom\mqNi5#N^0Lzҽ@:>~|("zf24}p>GˌQ w9?px "߫!qc#I\,pIP!2 S><XmQ$=4Vp|kKIDSu݆5#.xZ=AabOx6b q>ڎm2*ɀ!M2ob;UWMJyFA!6q]8ء;-IV) 倯t(%(#_JdcMk,62R2d%6gdHU Oy3㖙V|T7k9rR֥[ t2"tYj<:d$lyn]Zm~~1K ~Fq`.>,.O6D:R]PZ)Aj7P*G݄1K"hkư~6FR4Uy2Xg"#8փT/C)!@vW% q>g QJ*J垚4f2i\u[Q BAQi ;gw~-J_ͥ}exG7Sx#X=_C3MgMĂu`>rVЋXwTQmxfuC)!uJ1uNOY&L"DiEDW4L/ȥn$T>+=J$z(k=Yo7gCb#d_eR'[\u"l^IWF "Tl U [c)TL8pҙ.Q㋋cI]zT|#C'{.2dS%+igzV ,EϹI)tG#)*.O+&< &TIR"|ݔqcI=M!GE1N8T"%bj}l: ^l~H;,ZķwG3'þ8}[ҳUY!n1+$T:FOw?N~G'dh֍~k@Gmi:8@> SQ9ygE[G{u+:/j˩2` rE0V> bShBe3Ym^d'Qp*a4t. |uy /^6y롥 8z٦ "1*31fDf89CCgr7^?*4&(D9|~-9,eEϼULW>C:7_Ȭc%GޏJ?:EVK2| &K#R[ّz:z7ؖмaPs ꯮^XG8(E~qV)$1sϼT=-3dP^ZGC?;*mӽ.C9ͽ>>m Y]CȌ's3^|UuC̕>iuvGsC$Dj ^umv('ה]áOnnOg$ӕw_KH[euh''KikT+t=MGw崭5 T/1E,bv(b03* pI m,@OAU,i+ ٍ&@=IZ|B$ GN?HEeH*T$m˯`RHNB[S 1*loUdHੇ nhK{QL=ͅ=sZ0kT#7h"Gc]eN 7BM 04&VW/h+ςt3^aEZJjk,fB/$fr4Ĭ ?3 ͚QZ.?mkw@l "&_"i"lǒ[X%l 6'Oo؋"` qrBHHϟ8&j9!Az*ɢ*!oqf]*v%D5~uX៬" BRzky殤㢳#Z)O~60ut `0]Ly@b8\4vAKWۏq53V \-}^{3X!cIocv{ŭmwC'SX&3@@gz,s@A^[R*+8lN4w!|M|c O%hչxE9FV bQ#nӌ3d˶bIEIOC =fN+X ;I[DoA 8_E륱ԞyumC(5 E9hud z3O_h𽖇ıL>`&`j;O5OTYAm %w&%<OK𙋎L Aj[KxXŐ4oId<ȫGq<$W4lNQryN."7d߃-Q{gT9}XVM%?P1J>=:+3K,]|;:޸R;V8-4u聇9&Z݆JUrC@wa!Xut9̡IJRMxPo4'<މ@q6nz+rͥ4Iȁ|l,`)qN2#jlztI%*GXqiҁj=ipv ŁV 4o=3A@qEbk֯_?3լ,uyw'aZLUv7>j>^h"7Ru5 pGJ2pq6g5,OWqT:փtl0QG]u3pH]jHYb9vEڨ4tl2,muQnyVe}]E8tk+œbDKPl'v+@8'F ',L]A(„ ^$_{rg=uP`u8V{(ٴОN",XPԺYK0|MN"@b&L"Hf|j[w 0r؋4K$-tշc\)+'m˪IYD=pߢ5-ۢ|MkG@RlR⛟~D0KʲL Uj1B=w6+ 󭋔_Z-w=$0@9}rv?.Be8'MŰ3+Յ/E3*5lcϧMRu5IDqKr~ MlM`mL"77;-/{k9Q'޴h+^twE!J^#Wݥʇ8;|Q2|s'TLM@)湶1S#S/:ѱ؃]ꪡ7)30NM`~L@Bq[9z,3#AGmvzY#ݗ%JQ:y r@ѫyž ])t-G0~&T5Vi8/4/ca3hf9 ə` gb?XM2MfKN(W ,X%B"%~S|*;qj<6yKƍx1%sV1l)O߇LOl3ۍ—kjp C>dЊฬ*F h+"NsjĖZm&_G5ߺHKMyqP7 f 1 v&<†@T$tg0.z@t%~bxAfbc@mN!2>wM`*<{B!Ur$Rү6LAX SlEO JsK;Ctalmp>M5MCf>2K/l v(XGb4fdE};;OUr)TsC)]Pn2K;yFY'O0K@HݷX9S##t n m@fAOY5=&&:ޒBG؍m@W}CRD/Dg-:]pr,4i!*k< WHƾӃIdk'"yѶ]cüޮ2d*FͦxEP >UgMbfx$/hS(s!v i6x @[4b<ӯ(}s" fRx&]~ TR&*1i;w)jڭփ\Ϸ! /Q EYۣ,[1ZSiX8+;< c*;Œj ?lJat*@cO!%j pAIͅ4V z®P:`6#%l$B.फ़*.eNS >353q=hz&/yCwpyh`|(lX;" 'dq $C3WxbI3&"46o^!7B) ŋS>.g 7ܳ8|Hºo8Y&9N,UՁ*i-P d$,EEv?B I}E:E WxtF:&Tm2Ӯ5iI;)G5vV~܄_Bci+@P"QA>?!|s #wsX 5-64}O/hCfȦ0`AY4)LD/|J" $LǥR| y/U]r;.F?V ;Q[>] muFdaΉu'~ΦG䊕u]HhWZo@ri*d@pdkXi:8(D/~ F=#fKԵ8l3OW5+ufˆQgtDuF2l|A3x˩ 8fLTP?$r.&p>b9 59v O{Y07%v1Tǭa l0_^0tuE>.)K N]~ 3i k,R>d9thSYIAK睽D Bq(5D կxӒKKt-YMy̽'A"NUBѶL3~8K:&^QIݛwnNv %Exr:+)~7sH3rnRZnc!3a/vO8Zq*C͠ppD{q7duW >jv#1n6"bbEMJEho u\jގ}rn2sU栰RF?`8, K"LiHŰ{ vȴ5L,x(x(0q-3 O &ڴ__}lUA_j p'\]"\yEILK x)QNdd~Mq:/[ܤU*߾nyC%z<~qZ)Oߢ~kF(:#7/US&,֭鉭$(\5*D.f,}Uz~򐧉Y;h'~'Ґ'-'8(F( Ȳ[6}{Ӱ,p"m#B6@g%lم=VH09RM>) 3K96[U߮vz*t'fNz"B9siحŚ*~&AEg$0722҂+b VP96꣦I:mL!用k/w5,L=ʥP$6:)w!,tʣG,˱f,vL$pQ!gP+*@\WD?*`Es-ޝg'>y.Vosz>ĵc 遱2j+j:t"?t0-G3憉Dwҋ/g`I*Q<ʠq煒D0v-fcKE=)oqٔцnt6+gGi?P; IoaSy=z0ʊyiGY\cA"Q7?p\_nYI}!˂I$,c}-uM[_l$u-5ǯt xiA@l+u^农p x?HPz7F?]r7)TU+x΀%__1RJ}ږc53Y\QJޜ,-NQQdx3—{V%ȥܙ[=e<6d2]g?=0k%P5C){N" -#uhŀN?XiêWv8>xF BhT PK|WcZke=|:M.dCW')/;8kfi]֨+.щɵ*ͅI?M=n.њxxL9o&4♂OF|u;e܊ǰϵ>9YmV5mvۮ&LO /r( BSƮ? :4-'~?,*A-(J/}7T۹d +9Cm9"e=7Dt@8 9lPoNFvo #hE´![hC)~c$ kс-}x/QxDJ}9xflU:  cKp7.]$v-Jlub54`˜ٿWa}9ky;SK)n&]*5XS kwc(b'@{. / 9LKR+{wWbnXP(n]xdYn:?XFVK٧PfBgX xoABkܪb]QP7ԹbDďq 0^\L{%gI ][=ecnqћt2V6Xi2"g ]AAwxc:njţߟ qDY( SbI Val޾}e (dɗRo>EbLsHv$=7v4W}`ʭKsR싂#ݻhD[ݘ.žx`tn{Fc,k=䫹_Vbc5CoAa Sj=-ێ} &$\N%-߯XˀWp6u`6lF8 ˵x3猢l9i(Ġd'+43 *C(RIWԔF:w+6&*B=)A{5(ڏ=dDPJsNvmm+-="Ü,cAAUzݦgKS4>e}3EYHxU"RQB,(w W[Px`nrBD:FD챥H3]#;^-W1IqAP<!7S{IĹ`hFEoT_lXD5Bup0{!xؓf`Yup/{"f͛SviT}"yHIUߡ),xc,G#=EnPt<({m[z^N`U߿ELdg*UK$7nKPv˯Z\e|DXFXQDD4;VkmWPw"~m2,J-|Xc+-Ѫ`0 mm{(irZF8aqe@ZyM60X#x^_LDb*ҍ bl|H<vӍ9l4~Z8v9# $~f@y Q4BĎɟW~I' Vw&B>̭ R"MrZizeA:sqKWb>d—pf&N(}c3Vx3^{d"4N1s+e"f b\uEL˵fcj_6/Қ<結^u ^&^Ar Aמlj1`cmd BȤj὞ߔq]171p6jkuV7)4l$?`V~&_>,[{,{2ٱNS44:CR?;\s? 1kζoW+Ō@Xir2ݻ`Z%:CV:ucGX% GxU.AW@md =_2×|`o6d-uQmIMT֯tNOmyHEd3`vw('ؠR:|-է2gdb+w ru©n}k[q_5EM&pe}B4^Mvg0,0|wҀR* :STNv4o8BH<KݜREeNuئ #5'rqc711㔈tzHYptכށ!Eූ9Nj;.<"7/;[ث-bjky &LyLHaxrU%;{QH㒳sۮp<ЮR+U~fA_!,ᵆvfca<t .ޫ2+亟C89l,stD4$*nspA ُMLJီY@6"K ocg ;xBԃN v[}y@g5hud>gp@G<9՝83&gJ}25e1;ND ѹAqZяF?8<8^0eDDUĸ2A{ϮFl&$Y0TN(\KR>ڇAA X),M#bXi/Aؘ"?B-ŘCTɆBkxd%"GOWK,+"[g<H:œ+mID!:?-2,މ=^fiSFʮd#WD0)% ;D̛"A8X*Jt=Џ .I4ӷhk9$%s9^\ԦSy@l#e1!-#(pkx{O$_@M9O礫'G3M5šR-8I6BL[<!zh9Tp\za.(ŜʔhMCڄrYg\YKtN~r*]v9v_prE*%ToJ_C@(!SNas2R$N_^(WF :/NZwOG8z ' Yrg`Pfb 0WJ1$aDKZ'sE;vR:p; \WOhEm-_e` 7xf 0R)MDihM`ϛRU|.>] dڹ3٨;:^!OTcuoM_\T$28* pVF@|l}jy@9)!}$ rKJ!0q@rn=/Jp\V6+~$K'~Vju8<d31K |M,ǝVEg2+遖fȡ uz<;镭Ԉtwkz.m(lb4s.oΨyO#SFlElWc~?W FY},:BNkؙ\Zb1û\30!R:mui@ Dzqr0giZ"#?4?I>/ ; =79 j(Sh#)Ragjg#EV\R4Oiʢ%Eng[4Mq>90I<]A~t C+j)L×N]+|=Ml,t'ۖzKh3Ɣ̆#*{Y9Bu.0tb"C 5#!--L@)rdH:Ëq;40ن~(&\ֻhV[:ObSedɸ s|J}ZqSXV-0lP[I/kwZ4&콠g~E#|lǞ y BT|w+Dwe+M mz^4;_&89 &h&$lG wU/eHO ̲_k v ytZu*3'ߪqzNDAVt3J곴g'z5zP7pS15R5Ti\TqWY1`̙{a!;PBvJA~+k-uX֊>j\QKc-}9, >}"#kd+`sN,eBT9LZRmLl0сUʔZh [xH v'WRYT z36ܛh>d6&Mٝ(tz4hR]h3I@9w/iJj>I(!99lx, "HRN *ѡmh#[I|O>3/Љ(w-B%?%~Tph_)i܀N&h)v?(rE~\^H: XZv3,Ѿ🭰֋}!f&VCB*/T1`Pbq(DEp7LRݴ+Ѽ\-|RK0JtoXyd9$ڧ@S'=.'eH?髩dX]Y㇁o7c7ۢU|pqReQw .G`i B@ytF2PLI=2 XSg22}.[!ǎ*jU-|uIkoIp N i3{Ȉ(sШfqdc|_e vцGqpo=T;qx4 ,y2` {fM\ 0<ɛU^&:;d ?wZFVHQS1=-]kȨ5[䔅2ղq}+a;Fn$˰ui}(?ƟN'򕮿Rkzgti@=0pR=;w3vQĎx~,Iwŝʯ*'3甆x 6;$EEE&93A'MH\,%6ҵspR!Z|Vu0KڝS$R3`޸6 ¯@N%)O!"%TԫZ0`Yj uv5~.8Er[ sc V97XQtt억0eº޺l8`uDFcuKڈT6r U)ʘ- O~5+b|Q㶕`~GÇL{f& ';k!kmЦV^&Yq[7}oIZ@D?A)1ʋ0)@1+ӄ滨7[8qRip:->>lXU Άַ %=k-vIr1"Y|niwJK I:rT%GU`0hCZ~I6Mڒ*@ܫ(i2]+lȬH1N˧1TQg|Jg8yb"$ jSz° d Cft:d}~<\&,lLķ~ԟj x~I#(>͜z$ z Favݒd*eS;q~/㫤y&S=7C--ijA" =/` bkdcVD, d/驼#YyA֝şmmCQӳp]V r>^}n~K︟W*xi?,NTX fH=}D½LK0f1X_+a(9' ~*ǖL9Yz23Q. ’O 0 KPyu>HcF摨"`a.oFm]xcgS}Z`J"נJBmS!aÖ[1mLfeBi7erGje; k+<P6ڒ9Q3*.Uy` $C-ݿ!P@GGjaeHjj~ڜ~7Ч@;* 6d 3? b?n!t<ܐ:4O1v Lϲ)v4QxrBKU.\C3l?6p} =cqf,.ͯUgGv\:l{<͕l@KӍ$b(JS3^nԻ&j ]ٸnLF3,XJo_߮=D>=GNt9IzH.%//ohàSH܄ޑy76ª߁i:pr>0hѯi͇g_PB; ,f:| R XmdTԹmgRSl[ =Tيwg_đ/|!uxBll""HԧOlI .у_T+#% cgʰ]E=9Q&6a|8TV`j=Ƌ8Wڝ3WCQ{NWr71z00*/X4\o¹ls7@&eEq!87qssv[1zrC54 YwUAi!s=c> Qm$1)El`b-٬(vOH$ǔ8K':SB\!"U S{PwM蠢yg92Y#owm(6XkxDwgJKr5D~S=^HTޜFM3 :P;prmwfp "J*[CKt-wIX ,u3s~1$&Eʰ^G]m_!I|l;/a!.ŒXW1P[D{;`N +ߢұFۜDKlN HF~+ AWC>>;ֹ$󹉽`N`{Mo/h,G.bqdY+/@+mIa(0#1T+lj-/s6}`JU x4/ Pz1쐧43wܼa2 r$|HE3|GҸ nL`KB\!!W{ŷ>Qr;abۑݑ{;p 8_9MHͣ 36D{ƙYkFcig}.xFaך f \v?oXGY|\7,_7V(C5H5,ebmR]͇ͽ"8 2'Qo]^ucȥta9߹3ʮ4u1+*c"Njj5cҢe5J!j QwZX:([ԿDlo۷q22@h!P Qf8PF$6_;W 6kf MV}U[pu! _ uM](( yH~Pz&j $oˮ#a`F.+t%С.a(Uq KީJR1 V($|fXK,mPe܍' eA-y^<>^ ?RH"xpԚd~mΖD{*젽֓y"C waAGœ{U'N]eJsu>+ cޑLev{ē^z(MI};F؊y%#` )ow2b-pTw5KZefvٿA_[*B9rHwKXq=%Nz !+ Eբ2hZdw9dAIX,Bt"!O>-Qz$X(2t`U5WՌ:x_*yw,ijVJ)CR}o_UiqP{Y` 1_hljI|nUV%bs5!GCz0,@s2]Ɋ{ϼe??:" 4H']SZt)X*/f.Gd빵G0˜?T7*Smw-u;Y 218 ȵWMMC]<+)j/׵ylƧĔ',p4K.nݟj *]Aamܖ>H5A}UW< #s5#L4H suY&Zp_A^F"ȧL|Wi.7e;קPot&`TEi;ޮHk$Q`@ `NLWStg' ndQilħirxcECf !f$E|ͩU\;63%goΉurvב Eo-.Ih MNץn</<&=s>]eQ)EoQEi}m8vIzJmJYZx}.'ڲK= G'Mla¬lo b&pڣi:&G7O궥Mp!;)3^G $j5ΎC@w>rɶyN{_vsGi r]q3{X(ƺf.Ldr]ftV\ˡ8b=a38Ă6&hݾ.D˝w%V|6cLxل CG^eoi76E/Glc&έw m3c>Mn/b;mb3ߐ-^E0{2ơ",IJZNW.yy G5ڟIPa(v7q '*" $@cz*큮a@^20NZu2A@&xO-^: Xa\2q ՌRmx^|'8jC(|#` V>! %B:-JSbv7ȩ5;^ç&jFse`Qn5/p 6w8ѧ}T}4 YfGa%!!:9e->Hf͇)/5Vjx)ET ml|I`[W~ѭaX{8G?E$P(7"Lہ#jF/GSڣ~|x^Q(9.VaGQ!gq^p^%m&YmJqyrD4ɂ%J}Dn +`Xc:r@ ʪYeG1,:T+ gA T;NEIw Tn~tiq $o{rĽ޿4sQ,prZx3k$%ݽrf.7"AQMU7ج.uqL-'L.J׵i9NxjM H{GwnKIq\ ."ŭ45"D;B⠜ZE9{\:n L~ jt1vWdM ^@U,[BR~yL0FM/C8K" [4Kl;_Ɯ7I~":ϨXi0{ 4p0}m'ZeX)Fq)o6D2x.{OY!T TGezh%i+ƒ'8tϞ~ JEoX9/ا3ob _*8Н=G)`}_ͯ+SNϫ0cp3˩,w8:F^j{xO('$ga$HyI%lL.9=jmUFƥ ᠺ sï03ʾȷ4I_$ܲZ{8O6Ÿ(E,d}\U.c ^ϊ}hRP7BdJwlu-0=V5BSY92@!W(Ftd}eC&m"2dx-]G&e3N4 +iăp ^]GXu8Ԛ^֞wb;fz ȇdj6wO8PYvix0Ɓ_l[v 8DO<R Wx!5PL<yZb~3&kxoBLqê (9A^/4MQrDž-| uQl=qk cf4_r23U:KLG=r8R \6_f&?"8/Ne$6P yuD]YM~ayfB+<:f%AՊ4tr睋*kB8FЩ$7 `૟Fn~P?2ŀkxP5{W@p\APlOzA$lpTzpny&.3n6=|`(AմzJ|O^{vʵ r՗.Ii_e/wVc~ľݐz-PkmmKX_J~A')dƔ(WF5价#NwkUMх{r,QV88>&O3svt 'g~1y;z}V^aD(8A)O|h}~dPqCқ3i"L L:2h|VMw4a@~ƁX^ڡ D˛O>%VZ,_~@㤟/& AN}}F*ki fɢwbG)j`)j*qE$8Ui0X7Be4L{SFJW^{/?f-TBX,IyqomҖI()*Mc}Sg$RTaʈ/">1w^lT] lib;cUvTk;9;zdgEM-ʫ635dKqwLb2P_cRLY7}DYtoJ; {F9=+rBg佂=5>73"7kK _$H#;D Xb# $) C] ZeMXZ}ցx@n,pK]Wqj|I[ MjK[GuCFXVoEjZ%dgae`g[Ռ5rSXjY8uʔer[r*,)(j_Mdk;I hF}3Ȃ;a <@Xիr& SsJ'NΜtg4@Ŋ@ULhd~ێ,e~$o2k7LZXDƺ ́fy|8BJIgWL$- " Y)Z]i@M ?ZW`H= ]R9 `rJI՝Y"OhnC'ܕ~k~(3#ҙg=(wM7 c/6" m϶z5/ay|uOi@}aPfOhf%G's ^):8Z>T4!vT^ boIUJnT]In5hrel;kלY|Ah$^IgI:P/WP^cb +'+m""(endef+ Otyߘ^fBʓXV l>18d tn[i@^Lك1O 5jPĉ[)rw@F"TmNKa}k`.QtHiraώO^ǹ.(SNy_ T]13t ֕,r dI zwl+c m#A}/;YKI&>IN[WByꅰH-pg3%4A2G#l >YJɆOUX~J;rFԃ\aⴄ [U{y87|?9jnw24SUQüMꦴ!&<$q$u)f53;nqӆ"">i3C`+*tG5,)NF!z\$a&5y\߸7(T7s*'.%`DL!˨NVSlSpJjFYu$[ s3]/FNxoI{,|+mS_M*:PApڤn52Qy +T,8/nݼj& Zm J%t,|#ҕ9yBӔ K6B;^&?$0 u MȏmhfͥIO]% |zHMzYf))b\/}] 0YKOĴCs}Ӯۂ QG?JHEL5LsKT+Ms py<[\ﲓ):PeXZ(n]_ LUypObRğз9pwUP7_]"]J W b% ^rK 5l:)]&TiF^dqk{0UU]a׊16 kgeJwPOUQ;ؔ}"{p1NSe["6fr['P4OQ3eD2bKēzeJ6.¶d$0tDXȡ',e]۵&xJ)ljRMr2J[GIr Ә+zf_6s޼Qr!EI@ͨ:XH!M鮇l>n6ɹeByFVc[oc~b^ECZ{Ƙ.YtVfpE~RIPT|Y`Nf=$tC 56MCӮك=Yㆌ f1̉0o !)c"Z0)eQ'2!G ?߳6"(?H@(!imZoB$ fu]kBR\%Ielgl <ɣ ]$f-hQ%ܟ&B7 ['J[bExH]JL592еbż,m5K>kܬ= C^%RRl||n%4sF:+;[vHg\mQm0LrL}=[3'm8LʊW8q拄uS**ǻ!&Eyt^`޹2^~Y,prХm0&23* F JnYf  8"},/Ԁ/;[0tB$k%[Y[qA٩eSUQ5X Il6ɤer 5:rr#ഌ忑l`)m"޷IoJL?Z<0@e )"hy9ZM&%q/l:gnD .Ӏ27-1hnnW4ׄJ`}uG|>?bٱ6W5%y PRPr], ;%]`||i|2GNBd1y#7^ϴiu0jJE-vm]ٓ8C(Ltz>Ǜ0k3l|m 18ÀB*W&E 78,sb>=g{!3oL/nѮ6Ymo.N0ɇngSڊV/2bcwl.* ڢ8Y"~>FD`DANׯf蔐z'GiC%oQc4E/V4)O''+??nj8|TrhDE2.{d.^ (~slo!j9\ndMMJf- gSڡ{'( )3^}u5Q`D~qk=M9~SXr{AH'?#Q!S Q= R*ό^ [x>͞tqV`khƮ] y}GU D#bo0kXٝM8(iEf*V@^k#R6,nd7U'9 @A(!qi8bLvXκ3tSul#/5fIRi1ah?ތƊɵY. >&6l68Ua[cPKwoqa7}u;LG.XQO (TE%B4w>++‹@B TqavN[̇(uC?(lM8tp-4m4F&2P٢ڃJ&>eh9u`*10SqIX iS. <~ձզz޶^w$ !m%Y͐*Σ ?C[hիFi07 /xʹ(Ǘ {CjqFO| ]⊟*wۏB#zg/ynWm0H zT}Jί{Nm|lb-(.H| Zg> P"(Pxwh'Tk._cWEiΏdh[Oθ$DuÇU:36%MKsM]m09`̙B ) z̼&tmJDX5áy7He{S4C<" Jޅz&o^AZ3_ F~-OviWm\ C|U( _Til)wOkiĖ& QWv$trK);^ڤ.%qdiҝF/g(mzmP; c0wjOڇkǿ2O-8ϖOzSw%T̓x+5gm~D?ӹXWk[DESNdXa>[=!\ɢ?k_GOi +a*ĮhaZ*h]A;?_M=\6͞¥-V"g-+8?f9Cnzb]nCHQȾ#t?msȨl18T5x/K5sĵLM=IR0`Xkvh2+04hv-$/f^$#7m v*@.{s^<XQUpNNf,.C K-7q[ݙSym*>oPR5^j/cq=vsrtEaVUhq;bE#;dO pY(0xh c0QsSM.vέơi9A L >@㠄)~>+0Ezy,ܹ=Nx3ufӻ6!nM\z`̖wgwH 7,_yٮ*O7DsY[~CMZqNΠ,1z/':d=bV5 *Trk4ͳqEADڴVbdnaBYT`}j4wkAi^޶YFp n"F( ѕ<(TEv@jxbls FKlSNva5! E/-j|)TJ˴svSxgC&k E8Xwnƽ}pt`Z]_%}‘g3a-[x: :]nb(_&OT=0:-gIj@zk[dQ&A WNTå_8`,*З{ z]DfU΂^ORX*=Q5/4d>JiiMݿmf)ty*;GtXŹNQX6?}:/R+kP nҟ'T HAz 1xIc}rn_bv22!1.;:>F"x_2vŴ; Ab431Hӭ$Xjc2 R<ּ))@yX:Dq@nVǭ=ZnQmU*5ESI_W2]|L˄ڥ)48|+QAȤQtT#)3>8akkUtս Ft );fNu-?,= uNȖ_-I$i B;X)"ǠB[(oh-yоJ~btx+#D(r9%8_oQA ,S!y TI1+kb.?HD&߄W| Ěa]p6 ;==Dkrmo3vr?1Ttea~$ yj TumHoPr̰lxYvqd-k+δ<~GKCk":,A\~`D~,~?QXpG9vjd+Pm=(5`!L{qrsIvir(mlrt轪t[ ܴ+OǗ! ċ$i1łӮ1&! !VZG#"p_"u >n)Xu[4 6=;5 XZGrU}&hxAb&w'|ToniXCnsPÄ)C{$>$65X:${ p<*D5:ԛRUlڇ+UGԆHZRiS~s_Veޏ2z"&qPRcv-!(rMcZ~0mF arvð7vᏋ}fjNv51#w-*50i8Yr<]N5  yvfȭ"N0/;~!:B^Fi*RaŻpr7):[i~=Ae_+B쏰kGĹ-[qu C{J˾.'eHҋ,IM dUX;, J~s^cYSx P} 1ܹ ?+'Hҡ[1 R@; ,Wϑ{_n ?0Ept~ ᪃Y2N2k`kxlw3@l4,8UBFVS-#U=zDrewy{ʠIX?X7 1wa#IJ%1kR}rWe=oS* \aƍ 0_{7J)ȋ{şP:[:˩$L=*xAgZ Mzr%uQVL)Ӥ|P,hfO׼f[V#ۊ Xp7AxEP l|`d8\Lb|e4v:,5$L?*ͫTѬ'G/j-BAeT? N(iH3)؉ dˀI{MF3>-0-۱3EBwNm6=|;%[/ *$ZFU[<H'W-iE?>cL"C Y R{Q.8π\$g%5@$vR"WbO*hYqƮqT;=C 60kلrf}J{ENdvEV[q' qb#ARFjsթV&k >+aUqihe23X܇j%!n`߳ƻhꓨ/=-$X'Atf KKXz<0P" AsFʏhzn9x5^e^ g"#bhUfK}@9IlzeY7" \ D='_>0{`GG:]M6:ek3UXd7HRĥwhd5WEGɜfd^KCuߟ3ibo^]CM wU Do *$!=#]쁗wS*ox{[ϴPgˎHbw'1@ⷰ;vU¼|x.7Cl]U>ģDgngCZ?Y"u!L/HDxns!@{ԲZ+0 nZ-6p?Q1R,ջwi金/&p2˩>@? Ԩ-k[্edn["('DKz|y|Ȟ&բh1  d8^/6$ҷmKcLƽmK Np [ڎvxvS{u ;dI i{Wq(' 1X͢4KI/ ?ڲA OC0.ˠ( Za^ѴtxÁ VL4(-#OU^_?jӢ ]%\>۪ϯ:"͘ޱ墧a;߯-g 3lHI-c|`VŃm ,?S[!`G9iCnCM6*))⿧ $&5R.$NPx9au&3. ;@ݶ]93jSLển:c&d c~`b6@7fas+&DXh[nZ(yǚ6 Y> :uėgp#Rd0[<{! (Y#ï*ׁ,vRXhn=y1^e}fߍ%D#B_0|->ϣGarJT/qE3d+y=e%W̶V,jd.?܁Fn.)&acKCͷ4*N׏y q&cWJXG)ɃZNa>^l2tȲkcVHt-S#)}?tC2%d0CI=^((Ean\pdj՘L^K0!FiIbVJaKb7b3( _dтk<.pK'ػR0']? ڭ$uS"|hk1Q*`&ڂH8%0m5:덱)慅wuupm`9jآX?Wk%K (|컶]>.םJ.߿4e@73!MF0gtHm M[[r9۞y3_peOK-^+2K7BtuWӳս 0!)h&"( aљgݘO!G/_deKz5Gq, ! yڽ#t^眵RvY9>4>&]&VPOS%ATn|:'-a(%DxԭOzEf3_+,sO\ꄘoJXR֦R8pC"<}=4o')5 l'dTE;t=ϵ̪{ὁ̷#xxR ެ/ˎe^1#9fRgk\/ծ*9Db2hYWoiTaZv^Q%r. xSR`z{9]"8 X5lw׭faC ['#| l<;n8$j+;5V2|掛e(Krg裆;"/E[icxXwE h9jHL1Cg+jdEPqYeOT V"x:(=g{4%u^7 Der4&HAfF9`1Ec%#9w >zv zVo?'=ǽBYRMDx@A an&xLBamM#2m[*YYC%yyZ{PAdOR_q*2ȃ8D33_8ů p\T|kl@Fp).ƳlӪzYXoo8_e:\0$N^6oULepkI .ܓ+jh'DRobrk`c}Cަ2MEQ:xaH-¢g5t:`0&J7 4owaxpqܐ9£sM'AZo bpΧ_؊E!N> VikG-2qn,6 zIu;Й,B8L:Mʭrgff!f< I!'tG ʪ7=hj]hJ?l@8'דHJ=}HGZͫ>A_+e(`k1kmF0 @k94,s/2z#J}: ;G7xB{OWՓ<=g>?NG7;"1ÚaJA7/yG='pq^ >[ zZ0VsDj 0Ί}'VÛTc s\r3[HKt )lAP+՞߼b^]͋3#925fHswxut*F 㪑f'-""/!:kOtiƒ ./ *ښ+HCOa}Mtpqt|G+t+%У ,Jg.aTV4]/Htb*hʏ?13uVg]|?.ԉdkH}dp۞eXRc JuÄ}*Zj/nkg-^&w0F$}Ԓuxa Ubf-I䕭2JPGH2g}iL.*F}q U Em,_n&1{F2w1␹U,?`{1(=^]=rW=$TwQ(>ogw'KШgNhɢy*΄Qu!\8S-ԗr7@,*Hz=gyjgA6KK<'S~z!5ߚܠl(bE$`=~cD$L';]=*h#9 w?OL#Tpv8)J.\@=V[pm팲]fZLeL8[IU5}1E! IGZY`0-'Gbv#7ku+`nMwb&eOPuq+|-2dΨߒ4yy:k">P8Oz̀qz%c[Ļp}F}'VӞ[6bKVj x1.Ln|"K'wp2 2ˣ)jpeN=1|fuR2gYXw(֯hXvO'f D!Xa\W7E֜Tuꥎ@w\qeH٬Y0CR׾y̪>#ef\F<գ53*EϗX]WLfLx!fRjYylr4*EOӑAb>z6= Y𷅈!< [Ɵ&9W՘ahg?+e ZxRՄi,M׎H90Oqe 7\iuփ:4\Y<[3m$ 7skhiΎZ5S%aC}zں gGAZ7ILck !I chjгWՎk̇)~?иVu-}ckH^O`C: 2`hm֞J0tRqon0()3d`GDH0c~75JK3?.y::bp8cL[M8do:gpc#6o0Əס{F.wzj%LWvy^Bv uNN:7z{)B .kI*2"u(!2[L9q-:<9L70T|`q_E >zbRk۠y}#mcQE|*ihgUieǑ @S$DHcc^j3JgӒP[Yc CS%h/.hݞ4IGok)OoD$\n +jTS@,S twE_Xsa fY,yf1 Ք9u>9d,0:ϗ Uyk"~7Ng3 V7Asɯ?;@A YlW>'a3~X7uG).o0Z1^2V &5 Z!kvErKbC; ( 'Kumɀ0S%C 8)ӸyiI. w+ OG֦3hg,fKi/fx0cP5uNE/}=ϨgOKMH^|kPI i HeDFkekLQѥ!kU:EwjL9rt`$tUh,[ i/-z+c,;aI) aeg]M&%088:vu[{ʐN$%~YPd%U5i vނ/XQ_pE6X|oaYzq0E-O=KOҷWoT188F>k+eAAȖCQŮ/wʁ@uۤ+-auMd.穧5gNA5 /Bx:9JӒef%6i]g:aKkwtfȿ{l]ʂ='@""E5>ğ 70D9E@&&Lȶ,ݢsPƦ}шQ T@l8]suI"Git)qw=@ȔVȩ<ɻ?>x3pP aBZ[oS'/H^GJ{ N)̱sF g*8.W5jӸV>]3;.Zqj;岱f`67\^`d:*pX_iV΋AI4lFصO;ݵ#!a_WDqEux`Y.l#FNÁ;"kME aC[_)fQE[oο\nڝ7t٢?mx *_]=@R'SENx;FԸ S9]$̩LLmp _,ݴ^Zf<iP$$R(uMppj(ot*<(&ַpZ4TJ$qK&gcTQc}n+̕6z;u!>Y9~,zGEui;$޹B.gNz݌Ru\FD:(7>n#'|~*L)CMn|g6|~I2Z":Xχ(k枞]b׿7X'ѭ.K`]w_ FئGphw2hh ֌ );_ Z&HIG0pDS7(x'`n?xc*`G>@ӿwXB}s zRg؝'e"Gߓ&b] c*PQ\"ґu-FƧߍ~v2_Fyu2e zo?{`ߍ7-KU" e*Gx}/8WƷc_Ljҁ~ | )^VHO*Q`89  Ѹ(4#ω @N?tDgOZy4]H-<7.U_-G@@ژ&UT`g`ĝyby/U٢L|QfP:n ,K6-Z+*ݖuKoȻ# >~.YddGԗY'g.`G3!% gy(̮`4`ESL|y`/On߹+B$/Nu{_DT EDŽLBaY>k>Hc@$jI@PJq.>„V-t]ɟ%%f?]HbvF*pVM{%u-BR<*S*rCLfw%D[+6h߈ Sb \Q~*{>Mĭl,/xx R]Gy"3Ju~ǮoejEn"]Cq[ŕ#TJ4 3F,FKXdx4FV/Q#D!4%g.H~MHָ{ Dj&hnc&4^@mYh1#I@b>XҶ/_lgT9p)~(s[TKs6)˓}{s,]NӲ%RWp*SNz<C RIyEK1_AلdQ1nR12%0{,%hy2Spk3ٓ:TzSuawgXU3JH\#wS'i`WTG#S44?<`b2څ`ه8a6Rд3#J[\):p0<z_Xġe`L(, m"W1J4^ȧ9JS/H Du~IGCDz c۟N="UD%(KF%iF=^TߨKni9 ɒ:-_cڊUطAoB@rBGU힬zL{=u?)U\ߩ8z"(E0ch|#xDm.6tPw%uf!n ',`C T ukaw< U rܵ{$p.HEp3?X E\7|2Q;zNh0$+ʃ6GMfſ}ٌ qw*ajM n< Wݟ셚,0D.;mN!+ZNg"ÿG+!ozs@kJՄ1 }1X+,H3Z<QSgwXa>ݒt)z|y`Q8%?ĠN#AAk@3E׃F/ 4i*AIwb יC#jz$JѬA|5 |*,܈BaEBGҥjEh TzcViw޺,S (y*њHgB }i"#5@"SMb~bg}+a;|ƅvY:twyWGVE7 %G@ZYd=z