SQLite format 3@ 6- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info OO]/, ]Group-Ring-Module:threads=2elapsed=250.956cpu=478.720gc=30.424factor=1.917zXZִF! UM]ŗXf1-/6vRZo - *& / Group-Ring-ModuleEI lmʁ=oL;p: =|fic8hUgKr ˦ [ >itiDJ>50sҪSsx"$/O.#^ebzTy2\L>~JZF>r C9nϺȚ[GT>M}} 2O6" 68]6&W%h;8@H7NȠrgZ%ZʇO ;tI<+*vŕ .ֳ&uBARz6xG$ʼnI]Q /&; P ON^?U@0F~VT "1w#\j8^h-Dc U  `q29@ Xk+!JWOCvow21򞋷7*V SI>66d-m2^9ʂć !hyyv=3јJƣF,)dx\_85׫hBp6q}욚+Zޮ;qҙ;R}ӦCw@9% gԵ9Wpw=!̥KŲ;H~ɬ2{ꉤ9 6j~_coPtFepwhcNg0AFqrЛwT>ɓ ,1KDqIYIF@5aJwvk7C_% : 8%raH3\㾥O G]EЍD# U|eN5UuA4=Zbumm(0Ѹ <|rQ!$m i!ls"?=Ս fjph`9zr1Q֍[vXrjg6GЃiw@Ѩ1@بˊh  u$Mqog2\8p1R8U%~`Q:gV]52"Y R`& rujg)^b&ԞhH8f. _ y SYj~1P/A* wz^n HsԢ1d7 4TUі;At2$mN%!O$60ܱS U0Z!bG@#BIo!N [ +yDy+ϴBU.>q+u Iyb /E'Q( `[vM9y(Fs)0hemlfd# 7diy"k薄^MS->VC pK<1qJ^&8`ӶHAZ8oo]3{F9L<╂T40,=&'ƘwK#9:Vָ+"h^)K.MxĦon;>| a1 /q$AL!y b)䕋5=3BCuN7b3dj-V֨[eS I{E! 5:7Sj!oJ 5_2ic$s: X(!nyJ9?oEwe/`yf<}S7㓄L#A oXmj5'zx@*M3~=ܞj턵vJr:#bH{ÙN~Sʕߩ%,nuey٭Ⱦt(VF`afR ּiwIF՟v6?HޟnZ->2"-$(9 jq&/%tyLpKp1:)j/]ڊorY$2yv5bt(3h=vhc2/CoifT_`") pzRXDZLAӉ&X2W?wN8mN? bQW>̫(1hmd3n"PIq DڿWBoR+:qU uOnpeu8(y.'Wd bɔP鈽׀aNͳ'7oLo(P}MV ZA"6V9h4s:1kdGXυguFH<؛6? ]+ t1#-PuwW9-,_0?/skgtsVJ&lՍzrt?b 7r+rM1!%NA/JS*Jg/k5v TmľmնZTIwƧzqe9w8LPE4/e*Γ Dv7Ŝ3hen+1S!f \ڛ=Rb=%\rL28{à4 j=GI]ݳf&iLKٱ.Dq2e~mt_X٩'0%"'߮Lyl޾QH Ra]8f9+ő BH+x\[1IOg>D/)ՊsϢ?9{婆 ZrMc lk$f]_\ؒ< i"Wf[e yی7uL h.25>Nm]'>:+/f`fbU0ѰЀ9@\GTɪQfМ^[H&ٱ;P mEķíWŧ@wH@WSi w ^YB~|7rSJ:EZ6MX.bc1d|R%;n84/5&fܛ՘]O!T1%'z˜^1.vW[4 p_ⱆeC:F\q&,n鿨x#Uj 5{͓r-K]sR"y!chp $E,=|: nCR 5u^ZH'Ϩm ~To\ ,Bru3|RI Yp3n88xnR:^˔(c G9vo- I[  g3fjOflfhvnK8]c68 ;{?J-€.az`h>踳3+&_еsI]&.bj_s]F3L 7`ѢiEVqƸڊMƝHC'x[t[,Zd2"| wSMXa mUwJa}k{1%G%i͞egLP-?D+5&#p.}(O,_LqUrWPiFbhi+/T iߠJ:LaI2ҁ ;&qDB&l[Q2U[z3x*BYRQ*2Wޫ[KMf@+cRjZ rOBיblV-6S\:=0% =O@pY@ֈ^{ww؄1G )'xnwkk ] -L8 `ɽp=Y|p**K<\TP\TRo#RZ+ XwڭKGR`k]PqF&#t7rUOt4w~wpWz%h=?&nAs=Hۂ:bo*\jc0yVpZ pme7؈ TM ,AU/snNa::;e+ Nwwt˘gWUk_`&`lP !mX]OзMٴ& >Ţ :޹٣%sv3`ֲe @ʔsca39,K(5']ttֺ/Yq'L ذUDYsBu^DÜoi, Y1Їm7~*0H+śe9bO֝'<$D d\􂴺?u>ȿQP/ nlF#rg'( O -ӥAL,3 ųyd ),ҶPQEI )_R}P^[haPնQ~Tz~0j&Qwx8)Lx@*>fa)pNV̸ ~)b|^YdFFcc]4,50,Rb I0ܽV?1;s=T"to36ز[`qBοFϠ4Q[cWa}+]o=ly\NxU#?e>й? D.]PRڹltU eBŅrE@Uho'C,G5WB~ik0Y{\ѣx= CαV߱{fb-ɪН$jKrQPf Ee r? b*]6wSYu61t'F1aL@˥Qz^u/e$ϫ97yr9v!bsv7ִr+wWߩMJ+=pns1~v{UEH "JѸFK~ r( ܣxocA٘xk ,eR"J2^4NwGjW L%sܦdڊ1SȼM(_./=5h򻧉1Tt!rj^D_aqrt/w< AjLňo8좵M&9#c CYZ(9wkwٳSJ,pcx u&EgH2d5K .W#Xt> cAoc&Ok?{? k'VpC&ʹlƧkҿSQYgLTn|ey^(GȜ2ᔎo!P!w9Ui6)&qsg^_}!o>=Mj}-2nWo|7B׻K**osh!x,RZN_9{5^%泊 |ی4tvMH&(|Hz2SjBi8 rsDŞ!5֑lɧ`w6iDd\a.F |kBv5OjLv*<ɔ}|a̾׺1+I;;; "7@Eո=rIE [0| D2ioH'H%#O 07xMa]5ǂnfhU(M_P%;y9Z<&CPCl"(InX\M5?=j [~auD%@,ގ,"nͿ0Lt.Xs;Tks iq6.y@}jޠD%[)?og ftfBGطCՀk,L'uۣ˱ W8^S%ߞ.κ\Ӵgtw>qR[u{hmRoQW5Οz?Ԁz1ΫԠ YBJc\+gR$n Y? j7=?Ka"`,2ᕈ`Sxe_ bDuw#!zmɟl1K$|:Zv ET)7kc)ĺO̥+sWhbHr1 +9@*=݁@r>yje cՑ~aYHVh3YJ3t?yY*iuhuTnxV0QЯn?@&mv8HtN8=)E)mm(;] nwdt&D-8y82Oa ʕƇMe /5&M@a3oJwʍ4 dIe8ņ|WvnQlkK$Xױ0?$C`A V~j,Q2(\9:d?NưE]^h;"J Gݞ[%hzIGNGƏ&1zyhI+{C\p$yψCFZq+uݚ`dIt~ ^0BYhf#`g3eʴK)WIyGA7TӞRp6b~'mHޟS3Xx=\kHs!^ZUFiÔC@}XT!e$,ԯ36Pҕ+q}_ R@2i.^&c pԈ :> !Hic~& Q_SδhqP!*' FSg'nc?yvN{ bwK<5EpΚHlP32Gl#FA 0EC{t#O@5B xK4|g0y+Y~O[d B)]55]f!1Z}#\V@sR ȟ֫ 2XD0ڰ׺3d\^|Pfxms%`t/_M5arhLQjɍ-}EeD .Pk~n%]33v1:zk}L+Hrxt-9'<>H$Auv?d,篏Qa9:dZYh.tUq=VN}Dc}Nsw`&o0aݷ}Ns|A/{'(:%Wl?Op9_[c3aKBAi$a;:u]ՂݖMBOgZ##{w +2nPUbafefvW#vx'C NSoSlf5vD 53 ]Wr?w1~ؚRJR 7nvePH &'0 {daw vwBuur+wByarҿޠj<bĂ`)u+y78D|sְwixhE8$Zlmޒfʺ~209Sf ÀSػd߁J "וBǻWG<[ @%Eͳ7aL IoaɁ߀3gkրB0t8#DYg3qΌnMҷ|Ա”٩W\M=ƓZ8\g-[Zo}}yߔ 側; | ϗ&JkJJȔ1/e]J(eٍib4qBU 58%Whbm!003R#_>\6e {&F!5ZJև;ZrĐu<|Q6_ka\YAwG9>A쯄!GvP>}pwWqDGR_/?eV^A˺PC#oXѡ)۽R%8E,䙧_͵:LNW@odUۑ_7'l*~JUjf?7ʎƂTE9T`D)ohW4+5ﴂy"d8z+AUU]6^u34e¹IAC@8ZW-E+ppG50dژلHxKYI VQ[W&قg;\>7v :FZSP\f.$P}:*$A>J1vx9l4_r[|0K[uz]*-9 ;,{’Ut\Wz1 `1MSMMNҪGp Wמ{qۍaѷ]UnvyOa]0΍&6&_0z+EQZύyT5QD܄)|s-""cJQZ兴Ouڔ;BxKS::3πb(vL =S`dbkZIZs98,UVvq9Jlx,Fm*OTTapjh4،\@8ëH}]y'DWƧ؜/3>!:qP o؀Αe3*QH }u-"<-ZR7X 'lJU(s"p1IsNw~NQ: L3Ph ؇bUR@x @ˬ8]ou,r:^υk;1=ʸ4+^͢8]^M(.rA0G(֗)&nId=y;\mjlf* W1_P/$e^]!!y!I=Zq']9:y, ۨ^czȚ GGrϓ"O4yDÑ7} m:ͬ6l{pC:{.q"_P,:9W7V`S0ͭr͹!i4QP7NsqDz" h'zx~/) M|JHG9@!,?a696-L=:UyýUWܫ3VAISX85mNQXdʲ7iFB@b/S ~9ӏM5.ͮR\I-Z=-H$#[d^tffc<-^Ku]ܧj^qCك<$]S ]ᅇvp0\^5nU`FB*^䐰6܍!TwnU$l2z,gڐ8 L f9Y nf*٬-2ʗΘn*A͝"&.4-km | jE]XTZ]6ᜩOg -IkHcB2w#SRRFzItY~;l%U0U@]GiCZXd&u߯3H#P맸yRبGHQL#m_~CKmח%["Tud MuNw ЀH%yWGa0bP%;!@ ꅍk9A1> 6U(#n*tSe1qD&G?U+.`qrX'!xN7a،˥'ӊOo ȥn,"SV\k* Nol~3dSyĆWA1п¦  W'5TNq{6޶RQPyHu*O{/5ߡ0= h9Dqvƙ㾆s)%CrGpi@oICn6Uz?| *EUɇ(~E r0&loĜ9ENţD t+Rc:GdǹGod7ʇ(pe AyC%̗llbJ": hb_ctT]`qWu "̭n)S3$3ht" Yd!RlDoa4hZȶH\eI5=om.\)wO/J(cH9J[cc(z[JˌZ,dPPXp^=~-Jڸ 0!bq}/ƫjݹNg1 LJݸ ~EqVPw$c?]]pv9m!T6<ɩ|6Dt)W(W,۬hה9{=f%ogQX >վ#pڣvT6[o.coݯ)Ԕ;BY` Eram:}xb=7].p3W֫c_uI0ҹ*7O1|1vД2Ҽ2M6G@ce{l]g6\#}MOMjf]+NR8ކ,tܴ\3j˝uًA~2P^8g OR~/0)) @7e wN GFՌHNQe}em!lkGR< raBS&wy bIaFKћ]=2bj{`s.v0iB9Q( ںkf1܈x {}QHKd >[#Kb)wKrglL09U# *܆eQ| Q|՟<H/ӂIE^JJ()Sʬ;]}#r)Z?fG}C>+_1Hao|IF9'o#HB@Us(vf ǜ–oJ[L袹yT@!kx*[ G + ]hG4g)t &! xM:LG񟁯ǂ6J&GFn,HY'`Ký&tWwu<%*̸g,׎>XTOKળ)a{5A "F| HfO|2AjjmĕqTV +yz;UӅq3~VN C}6s3hXTf/lC ḏ}?q1 P /RjAajo?M0x ?e@\/8͡iP -o ) &O8:-q5G40{ d?[+o:/R!:e4bǤ:ߣOt[w=(0'g>ːd/W/-LP= Ճً>}vY##m!q9uRKSY=_仞g+fc yjX[&WDSm}ÅD]QoGmo;+Մ= 9Mnq*,m~5W``iaVecwr ۄuध\i5f|ũ')]̌s߀#+z~/ɾi>A\&)8DTOlԐmM6s9 Ao5>-Rk@7 OՔ;kds;'/VIF8C.4Djv"?I҅[^a>x to`dg|2́Q uyt` JB{UyΪgas %za0E!&*X0m`2I,Q!K>/ mxaI#xWr5?If;3v_&07J8D_>[d(c+-htbF$_ٷ9O-5 djttFڈ-.J`|ibh72oԬg[' He T{heW hIr;wsŠ%׺m7HSm-AϗwNy"T m7L2 Z$)3H#8Pbđ>nKDc^^^Vh#._%U3v_Hku{1Έ)~q:km)y"6Bl0Xл RFs{vUC1T"a SF׉v.>&:Y |F6H@3EuDxqJmӵqdxJnGOahb )yzR`m̮J *d(^zvwXHb;gi q "O'r,;1h*Z,; _'ߵ~/o{,:\B~@Qv`&g(~0qWLzn#e5б8ђꉑ9X,/`N&|0%K٪ >.FUU*dy 7G#g#sk{, lq[c!zc' їdt@+cJ N9*mjH筞ЙKUѴ'3wfϙeY;ǓL|p6j͗:CzElRĝU6M6]oFkJo_oRýHt`z&+3nLߛQ158ѭ߱'v");֝BaC(OV^1S5ZN[ W8P=Ӆ~{Q碭h`Uf97RbWo7y1IZٕ~`'R,HSPH_;am8ٽK E[vhΟVƴxdJ<"wvlY3c[7"2rǤ Y=2Emh{>}K!:^!-na~IVtzU>EXL~RA ˂Uvl"xQ/JE?/%[P;۹1i̠-\[=ꢽB0+?n&Op& ٧!❢ kyYv/x#=χ6!| {{֟ͯXG$``uo#Khm?q<-M=@q<"D7h Q azF/a8;0Rm_E8/h4o.qFn5C)ơͼ`no4A=~%*y`gQaHGKR~u8W[6pQ;p16 Sn0:cvDz1o8ܯZr Teaj6_іI-P n?b"k^8> #AARqL)f(援R cBm> gϓ-4zHFNv)/oۏuv9tkuɤ_E;{,A̕N?&.@E6N("Ě>Lz)I[g%u//"9*NIg,rh&oVOʾ71c̎FU3 {{G̓+|Xg[K7  I#ς7\O<&g#˨d]\/~dRLtUDTd51sߩ'qez5LOoUg n>׋X.#bau/6)AHLZf4 Tw~ֳ]Ir=SPMG$(#`#6V'FqoW(d}WL F--;o,mG5uK1 LZ7ܰS2Dze:] %r.(0S~9堲sC >,n3`i*~h67{Q*H[ H3W RFfHzIa`%YePO{AKW_\7BC`O.%x˺/Y[Gb2E5PNV.4p,C޲- aF@UG 6st$LԙP[E>Rb9A,؂Xߟ%omƑR*\e *ۻnajs|֍D1J 47 }Q0ܩݫCg6.hFHлau̶wLt7Z6i(/K,hn#;y#S4[lt U ec"Hs԰OI X`CCws'lђN,!_ղT `N\w-kg΢@RXb[{my$D)݌Gu#=ˑou[)$iNSMbugqLR0Hڞ8eT{W1 f~\%-Y2,m¼"ɏĦV]phx8em!WGys]xjQ*ip]Oږ0 z<>>I$[mJ.a ?ZqYMgX^>ILyGj H7fy|&9l6'Ә ǂcRvfcL4\iHRi/$;'n[;~HFtlw$T>_A{(R*yʱq[Z =._=~z4s\nۻgFfYyFhEY\]U&Ic>Wn?lJݬ 4Ӯ乾 - smB$[bi,JvnAX."V GF$ɚ `Vr^+69>rZA jLQALza:*ClkVUɷj :5.Guyam>ޫo{f r-&@5\NWJA--\aZ3w 1,]~uq8B|ʙ3m>YybXB)\M.f?oө'A98:tp bmEMްunkmh,@UW%ҺBpQD97)":2vv.eȏTD&yi,im>**(,!xvM;"I"`DjXE/c-!uOюyA`EhcE01(Ep/jcXv,7]Ul"{eeoa_#xOT#n&enxF^/Qs2d6?' IS@0%}qe,t[R !J ޮ6~>o1((1ۤnHF0)r"pܶg m/=VH(aWy7uI\o5rW,pYB*‹t'yYΔ;c.OMU^bѤcdvbҤ.I\o.+gGf(iSl7/[eQI4 N>M! 0W@gG/O8̣HI0`u?x2a&ym;vP ry^>fKૺ5WeC_0&eWTNO@EdJ Vtw5 5$iokNOXfa8hXJ(b Hl[[V}q<2qd|,U!;?nQ_kW*|ڻhpOX 2˒_>5~~aL:]R;Ej,/y·H<'t=b+l񡿿6V]:jH1]{n|Y:cd^sg# V1]X;kp/l퍖Np;-{`~R258ٓ!;BӞ76I쇕}MF̍~X$$otk82RȎ8QQb͆/=87%6G$9  )0^eWJme eXl~=Y ~[{>HN4n͘)]_XEfqbXtٍTrH4 )l>\ωv/:aERe2 a*m'o!G.AeLy N}Df1H4{wn7\6sQ:}ҩ-O8rYfo~)m2Tj?DŋΉ_Ca xp{@fZ=ك8b-ZJ??=nΥQ 9\ĵ嗬"ӚJ u$Wb (B"z+awzKpJ#(y":!y$xU7QLxޮQXEY;q$ѭeTϝ @Nrչr} TԨFbMְS!u=&;5ETesOb84ċU=mmwYG4AQao8`]0,LJvI%Ck5$ʪJ!MيKPu.BĮp_QR,!58vºc[oG1"qE[U+EpFJb{DAXV1D(!lY%կ!ѓHe $dxo:qfEPs.Q9^?jo1uC/K׃>a*`3ҜudV2nE MO+̭BW!h*MHhV5!rR1=~ [n.g2e%8c( QS=ęudfkn$a51"-A4x΄?*YCj",GZeui}H[+pRcwWwM]WK = ewNk:!8`mCD2ϰ@?@kZ ){e*w=qx Տ9"X^ ElKdk=! 9uSk@]IEWh2%+{,LU`^&miMx'̜yv"'Hl62r<@,A[wىmWlf&s;U"b= (R}Ƽ "_<8 U(ڳ5 5B)cB{#y9Avʛ*d$Q?]-a @5s,qO[o[\Yܮ?:3wXG d=ϢP"&./rZDn"+E.TEf5 kNM o] *9uio4wư̏pYì|GPNntDN)Jپm9W.7D:7V&KQkV@=:KΨ#lwIH DO)`urā?oq"$%aVadWÝ[.h{@DD#Y?D^~6`aڜ?*?GJfzJ5gCYaq! C@Fm)IzI_C秸,'qQk8\j4&< py5 $4m"Q ,Ds曂6z` Z*f9vyzU{ڙdo1ٜxsœHnA CYdP_`tjũ:6ĸv[bc0`a֡/yx߀+v %oVR)u Gp3^D/8<ғU%U u8"(+9Y;ͫXsM:^xM3+`Vz#tǮfЫ=Ekl&Wb4;TR- _5p"1 ? >KlWN#)5C)5QĦR Zɯ*t)9`}Q8n< \w9I, >U!--M^" m^^VX") As+YLc)&2Tf>HJ\}M\e91G{OX;Yc짘Crv)c{ #'Q225uSxhG c+t3Հ!,wIf9b=hA\Fu5 >C$L ЕaȑsSf?&&X?q桹Bqk*֫P#{!⓳-pY!J@li-`*1~GGD ry/@>uCu7AOh@t#-twV O=˪<vASAۯVZ| ."ir=Y"zO;2VQBI>F]Tӎy6 X+KS;[,Ѡ6J}XsY&jt]+53c+ڻ9b@ z//< 8=ٺUfS̨PU˥;/I7 /Udc UV}ϣ_FU+f2NyH,Q42EH↔@+*/neɴ O8l h2h5']KRI,MWt@ nzJ*Y'Ʋ)7KZU*4러 {&XDfǁ"?Ԧ]mu̳Y"8!DΩJƁ!JPHX%@HqdIt@_9I tXuA^%hۜsacܒ˥;1!H`0x Ո*mfi\ZugfyUGN@B<Rxc V=@e{ pzuC] G&_%x"T.:JT˗pH{&3GPq^ W%bilܾN2*k^J0SvP0&R K/rY ,$5\}I%8][@⚔_I't ªښW"Y Ys^JßiR8nss @XA}F3hĐGE&6Q%M:f~uKj/pA١7:UA%*_KXyM"}'פ]iE%Q_V{OoPU&S]Dc74 ?7lA!KO?:vn@\!_idӿUmT;mOHW' pV!Yk4N^')f3& kg5hRw,U41kk x'P5W?\\ʨ-`zf)2B9" Y v.a},*mg->WT{H3긩 |Jt`2µ/OATN8[]V|ӇnW8ʪo ##v pYfx,m,Lbwo8Gցyh x.CS: x*7(8K`X~wC]HPKb20mnBNl-G#RN/G[} '02H$dꉑMB!0auz%MHTD1-ѽK[Wy*H&,=ɊWu8 y̿n{Y f@) R PT59pI$ujXo!$t:U0ɐiy+#[-˚Oo'gUIȦ/:A+[kz" K;dŅ0X۳%{WhF1xuq{|+RO11F$#-~)sr4.y*Eq'RsUlA6yl#Eq0d1^i#&זjE +99[d7:Ɲ&OKctDQ)dlu90aɮ.ԍ=`Z6M }A .ݗ]vJ>g'rYza9,flZwj9{N" ̀6b`)6oX~Vؼ0a\qEgfouc>4! Hu tf(.U{~e B s]"S)ȸEWS.tڌصmdSh9I,euRt~+EWhTXw/ %~EDpH00k\!ЂҦ9CUQ0T뀻5$d-/1< Tlt1a"n[t/|$G5Ge`#gQ sڠ'],E3n= .Sg'ʢ 7t!u^cf}cr:'S^9"k|E HOA;L^*?ӐׂO‡b΀ ^][tB nu~b (E0aHz.e6*'F\"ϱ1g@"˄/icgfce$Kŀ] z,~#M}*'f[=J\%3Br O͙&W=ED2/{untD:>xf4;%fw7,kf95ls^X@R .Axtuϴ t$#9?Ƭ;1:݁{kHdYw~WnC9[9 Λr@-{Ɨ1)Eս M!4x;AINQ%IVP xLcSkBU}~ #?2H|^ q$ $st 2QYI /[VV_Ѩ"\Q%SYv-V'e54zjNXä?_ʖXq ˜„,V龁LW`HHN,^rۓT4Q%Y6rz169c͌/4.}iB>B ذjР z\Ŕ;:oot>fndzZa6` |Sy$͗F\AM`K68 DbM,Q>%C {qdc9<έ ;¼Җz ˦CZE!Eњ26tc:"@{r  ]Epɒb0\gFjax3V2o 5_Ya9+&*ad"}-\M9I(hMǑ38ob^O3Տ i-oO|onXְ)\v}  (K@"m(3p+3,HHfu ,D [ 3Ӑޣp>KhG11 f⧾-l͈ [ w(kvö}$73{'WNxk/Y֒x3I1J* [ ZSyW#諫Y5>S,!qTƪPCc_?Uj2j{RvIgr748r 6ܘU Y3ԓzM9ܣwøJ:ɼVњg{nW~ܠI/~NW]q1ve:وj-~UD)\d$˺*iRbwdv` R|h7L\9JƹdE7)WCMأDm:/\L$N]H\ ^MWc @J'&(Ҫ]üé?^ qf=t! Ƙ8 q=6 .8Јc_7>8)2}Ʀ]7^{qϯlvl}G{$IKI .6D%FKW6k.scWW՞[h,APO,1`dlؽ[DTg'Gɘ֛ƫߝƻv- 0y87L#kY$?ʐE/xVp]QT9o$W9]96no6 A8d <&Lt43%PaFg&`MI>"BK`H47Mm=@'}Yً?s'chJa"HEI($.6LyyQ4j͝cYFs"h8@5QRSg@V=s$5>ıܶr\_֒DklՆv+Ds;˷#Oaj0ҳWMr|$֮w6`fHЖ],-D9/2nt ]]!/ 9[k6#UޡJ=ܷ(_r: /v@IQkǪ lPЏ,C) o[b2`;!cz>f]*\ $vu8OuױErjXC=( "K[қX˩h! $C.Hr۫ǡSS0ʻ&] Ŵ%u&z;QֈVn1"TB_ZlCFFQ+#9Bu"_0r.+,>jd\V* h%X kOy\;K!}5,csٟbF͝c oҽ| 8ۄm|\f"7]N( |Y0q DA0nVlua_NZh?JeL.2mUx$hY>; Rc$ߎw vo‹Rkl' 'Ы0#%L*DԚ}6Zю ʓ/RXkkq: < Rݯ_.Аfc5S i7Do4$FT Nu>67أ!hyA-f>ӎ>4#źQz %.@yA}nZWi !u*NtgT6ćuhO I\AkzV!ʓ")]l\+VHK<+ ^%6 "բR.k:[Fdc-[r[z$R/-n-qoq_vMƶ-[4`J(n jPTjsBb)C7j)XqҚfs&c=tG( dK¸_1ԝ~Z;] StbQ34NIMRTf?!Fѫ`#ɏ+K-Ϭո}f?壢6^d u}\LY~7\z)*VKxo-]ڄ8>Yw=@%Ul|/PoLPi}}NjkKW}sF_=0:h9|v8ԌR#KG~{#T։+͔?I fQ<.mfl`k$⽔ar}Ud3 0Do Q=lca1ޏ`\ܝvvÚ=nvG:EWaF^6 ظlxc49* <]f1gEC,ISg6 YpYC\X]7kW_]YgҥM穱7)EVmu a^{6Gl7Nm7j$k`W>Gf:*$VW#!@sԝOX`<).^Y`pT6aBYp.6[S.mj-醱>H):jbrV"O_L0{$iv+Sе`c^YYoP#C9$׭`|t ^iD J,JRs}~@P%v!bgTwNQ4D1\yU_s6ɹϛExCȋ_uSd/ܓNmv%~7Fj_S,zqAvI@M.&Kq ,Z4bGZ 1?w4RA;_nObT!:9-8Im/uk.)qXt*cH}qܺ&6!³ ;Qaᦀg թ\h9l!x(F<l ὚+%Lma)8c0oy0Y0֔ӂp~lXRQ-G7?s.BgX*MI%~=lZ!V@ydsuz ?4B•.ف)23̙ Zj|q9ESR,qnF]7BߪG"@z{9%ܔ~?dާyhm[d1ii,m/NSC؎FTJr9@ө#dznd2J:l!#+!Uu5{%A•m,$),jL#("bB[^W7}a찲N6Z*70+QR&NG<k#xCD d@PIg_V@FX+og@T  _3Pлm{&?9M_Vp~rcckR PcD /EfY,Ҏ?L[#!S7ـ#0h}ϾgBX~%yӜJ[w :HFaoh6a ls(Ε^b8 _ ӻZ5xZlگwec8"?[3op=&/Y,9е5Йu$ (bNA49e-yF0O(y>~s)udIgʫ(^l\kX9&I>5v:r[\ZKfA3wM>ICsCeFR2rrNClz395(ϠnW=" ӱT$,M`kUyQJ"(3Q8u/`oouҖ_;uW'giOK.*S~2~t&"ncdءq`0N^,w{XW!Ͳ]>̻twNGև1m< 03-^Fd!pIY3QB* N|"i%Tm&$DFt R`"YU_dPd1;v(熧@3xO-Q.6v% #гp)n_ HddCrONd[5 G| % a'3B%6?^mIh@[~"-<&nCT?fӅ!TD]Э[ 9 G&3L3V7Tpt!!nQ]e NpHa=bh'ʵuEB_ZDO-20Hr J|8A .y ٞAB3.CD$][6&-/D&cRcjPk?sZ|k(G/'2~[AXV#٦4oa5E r2C"g` d0ObZ;e'=x.Y\{[h'5A`[N7@oē߾Q3S`w,jxmDY;V4[t=_WE\ {¢v2ya HeqdqcV|Z^Pi*A0T^=VpNMp'PNlؚj0p˞ut?:?t)L* _E.X)?yxP*!*+P'$#o ClHPT+ǑEF % ~] b[XǘHʆ=H)˷&nA+ MU?ZDdKiLÎlyiW{E,f1Tw,t[zì:W~;W^odb_-6ie{6tZ$-$y'!o~Axd.{΄b(P(Xٽɲ1 kמ" x\+ibUv %Suvri$ڱLjU5nj=0J'ؘqiyG˃P?ng U n ݱ3qP`iteα&iw` *JP ,nʖ, Ex$)ʺ~e&.Wf5{ V'f(gڒ>G=qkrkNӃBRopJǶ& LCvSM/qmy$4@Iodguԏp^ܐKƄGu7KD= ҝrMN5\Fax؁fV =/٪:d6NMkt(At'h'fˎ%H)kЙ`e.Ꝗf_%_ޣ̞ ![W`&ƜݤS6Ϯ RmFu ZT # 3JFf\&7p8ST C{v>"RiYV|VRc3-E)uQ7 YK.Zb>*>E_DwUd"|bsd B| B&x  {w~UI^ ­(}Ja| {Л7ddOtX %!0R3`KFDG>~Q.p+J+K&{?sHȃ˩ݚ5Qj9"x٤RRRYm"}' #*ͧ܀a -8hxn(&^<\"s: %inD!%orUUIpV^ HGĸ$ |bT# !!zND=,xԟGMGiS3bxo*_XwM I0L,~6񵳥I"Ϝ6?TvN,~|Va٩:H;Ol&ֶhUk85 >-f4)  ic-UJv|?. @T4a\PCc @t\B1wTAus=L|B7 {/?Tn}Z< p0h#z)ZҦ(v GjHNH*9w -ˆTq#._FQL IBʹ?la̗i_`0cXg %OZL[#MuqqqΝSǬ/@[iS{2(n.Z<6)ޏz.ޔ-!Kv$\ 0=93`cʚ?G񉯲*y"zk,ȴii`!|^Ԩ4ZW{ף1K >O޾ԛ^U"3>& ֎b_˴ayׁZk_-X0NCv٧F7`ۧzn' =u4nAר@*홋  >}#܏)-%󐘭":~t~`I՝ܖ QSHEpc%"&kI=%jl-+ :|H1*,L1Rij=/}uzŬg6YO>ŭ[JMF Ef[k:mh^)(0eUA "8*/PREŕ屢% .GK97VRQ=^|hcB1E0ngHan=Ra /\ZkX Ơ/}Ѫ׏>$Hc*UIѽ 8$[=XՀ.(qSM׻{dLWo]A[0jg8x)c)%s}Ayuۄ:CȜ&al?ɫ,"3~&ORy2ħ`dB6W'"Е}<~Łjx:c7ҙUl5B L/Q\dlQN.Dv )(O0!qbbT"K4SDЊ KÛ#o1GjReU7iuQ LJv;K9uB?jE./֜,cPNFKߧ҉fKFk4Wã8zTs&zᗽ.>h5uzϊ $ )|AJ! (ҢkK*1~ۯ3ȺiB.w^oǶS34"*U]S# G=ޠ̴huЃ &#ǭ~RHUЛGDcG;D KxcL#jpfM8Idmy$鳾7RH"'Y1 dt J =ͦR{Nzf6JJxIh9JUGuHcOrX[5zZ<ڤRtPh`|t,ti=uzt{ jp_+7v1q54þ&,P^qwuyq0--U1BIJ[bbߝ_Cu0DeLI"@L2h>B-%ރJn4s:Q,4h&бkLY`l#؟z˜^mxZ;_%hfN1SRwg׀7f5y}G2Jǎ<K7{U6$ۛ߬*A(wHplW'dH4Z Nޘۑo FRidJi0l w'ܒr9,^umAFY $5lUgvwd1vE02K2e3T߻އ- +0* m֞ p{;r{*+_\pVC[ bu'IY7+{jL=;"OXB@eT^Qg-ci(.؜^QnWJw+UKGb/VdKy}e'4yn%`&֕-!k  #둰a"b{?>֔*BBgYZ7zXZִF! •0C]ŗXi%>)ZeR`9h' zk;TLƕǼpzW1Z |Np]cHA U7yTZXK璄~xw(^n'f٩(2(| aTg+&R˕A S?.ޝ4ۨ-K]FZ3"Я=s]Lnxk>\[EL Œy|h@sɭ]88 (xIpk&a,/%UoUt 3x /NO%+,ّ rcL)B@湟&e[qk YJxZ,p"F 8| ޮk Gڮ9}ATwz{#Psp?h[9YKbMrVsɫ=u$ ;quBBa˄cͮ]),4b u=LV/qy:C,45^ |ןfS+L6VSvvك+7TNT4Q(-7uYl'DU[٧JHj79w̳$'S,8 Brv;[j=Elі"vzX=v ok>!^f 54gc}il`">^[sh p,~,؛OZ򹐀q5s璹}jpfÎ #akRi`SzMC;["cR쉇6儫|JRc(MՋŐ'vK,X.QpdUJMNOhqt, Y's>4M݀Ȅ[klmEU;e#4iu0HSw!Z:Cَ@07J-.Bڳ̔Հ/5f~"kLU0 -O<:+R!& Eg#GU?'-}i+To۵a>X3ROcx%̈́4)s-hꅬiui>SUC'*^+RC*58YhӈWA@ESyXa0I@}e|~ip-ʙ]qD҂E~ݔ15ۦSC 焙SdSrB;+J(m?u䕧MԻ׃(~M=m\8OLړJ+Ɛ:pܰ7֮*?*PP%]$q BTQ{g%1Gux`fa<1b`=^an(7g\\YFsjڝCRھ: ¯F -?o 雏p=ˠRL̼>\v9'?0 B0r^nKn\gZIh2iMdذ&yIkW!9Bknmk-TT#?Gtw\ltP1 Kj)ڳV(ę+HAQG.b+cQPӫ쿲Q8$S *f6_͏ tkoe^V*-ްE~yUJ$i*Wsy :N"zs6\Om!r ӝ6[Bs4k,Y< VW3JUYMDҒ\$gY#^Ytu81M "]Ԡ{&=ιc*i-2+Fx8]pMw9]nąs;I{ʶW FjBSل,+26fn!D`7Pj]" N_06 ^ u"Y2Z[æ@l򸵜MAq~q"l ˰A*%eIsGh"~1炲7ȣ@@ߎe 1!,K}xOԒnw`3XÄ_KDUeQ_[0 f45P{eW[er"Q{0Z$Ѩ^>TLxEx͠4VT Wjψž~k0 /JME|7mtڧ/M>A(gW-}OJIECo"M"'j5;GU)@`&Tp-J5eBr ֠J. Q;NSVãw};iB{!o#N< g\dkD d(hECښA;].ċSϾG 0 呈 ]0hC1k&eP/Քay1)YB$3~Yi2(aXD oZVftxɄ<#}oNkx^zϾNAP+DK R44Zp t˨iK`Eb-&{^pb觭tʖ@sc"'=)aS\R+D$;Ttw#*lZ2@qF> >7UK%8m`2<3 *`^f">&"ƃmRp==p4`'oc$oЬh0"YD FjX,m嶶>bɔSDDUǂ{^ͦm}BsUø:73ib6΂H j$2ae!,'rޭt89;.4'0}O܃Ү,GuT%PͦL\]/a27@*6PXfJ5%[tl ZdO4T'woMώWȩ JVA7ʎvǿtGG#Ixnp##mQ Q3%lȽ:R˒`r1 ?AH"Ld;C#^hzcܫrՎs[3ta#:wc٘?@`T썦4njKW8>~TJPiHk-U ю]9 D;!v|rmE!ehҽx $/Uʴ}<^$μ )3+ufܐ!w7fv@΅>*YR?4Nx~C \9*03r%{|t+뮬 ][>zb'}Ts,c13W{:&^4lnйvM ):j-̾cdn]H?L oᜭ)`mMQ;â |%jD%{f\Ơ Ly2}!:x1ZB,xCr5Kb MH@* h|i7.>j+cDDbKG-% r7PVE~SU=ia_aUQbdm="BۥOi CD|{"HZHU璖;Z!K?1g24%._B;؇ͯ&qn@./)ͼA2{E>|j1gllc9?I 9r*,ǂ!eZ1oQ̶/WP*&(QVV茁( 9MP =0!C*d6dl7pZEv];~e h)S.vFnN^'2**3 ̂dpm*$`n`XkPAQ,+L/5bV? 8ׇEeÃal*fPL[!ͧ S.zRdy{=R}ZJnKWr41ڻJM,3t}c(@//YĦyd n81䴙{Aw$w> 'ALu@F+"I=߿*vIZS)3Imo)oͼ?k+h3Mֳt8 m̎>ѳNd/k#㐫,h\ƵzRޣQ Wa|?‰rcEnnX3d9n!yī,Z;樂.G ')4Ϊ\#ώ ۚ\υ gl-sjLJdQʊt* U͕==*~ sP+瞊hKd# w qb1B3F?Ԫ&X4MAƐC;V7%Z ǢC9a`],Q (s ep厑󦕡A;XOW굊̘ua&|Tzwv|~# U;xℌP-'4iy]I ?[@zi*[5&c5GR>1>ҌQ<)490m)xtFad@S0w#MI-DCזCH@:K5pPKO< qįG!ιTg $Vc/k\팉c%${B] GdSPJ@,}M D]K3*ʔeXϨ8oG)? aȈYZ>_EރQs;Wfa5Գ:,= `vrL Φ ]'aK@UsN# H+o0}V3KjL`Ą~X0VPS4ܺ-K79 Tqzn~r9$N$9Xƹ^%$D$ृBwÕ<ڼ%?OW7Βu1XtR)$s:Ju:Ťm#Bo]' $x We;o^H"4Aq} ʖկPifi͋>ꤚw,OuJ-J?֎R,;ףEkG!m5Wٝ9jh?} |߱G)HPwwu?)ԣGV_H%YĔD pY8zYr.g]d{2cnѤ+;W@?].-uˈhksxdl6p^!HByC]L51;xor15RM>?l?@(γ,sѫlėA ,&1}7tO2Im;a =Ǥ1jbib?@78(Ûq %VSeZ~f6ȗʫ)LsZnZ(>JǖB4I6 Vf;ͫ=3Uq!OZl(ym c `.kHÎ~H..7( M Ԃxv6  j$GaMϩM4 ,қ`r"ucGEJ۳P F9LyKkGH.t)}ю=/@Id1*|bpy7dK\]ZloҎ%T @ff@kixl Iv7:]!s8MtxkFL5*ޮ_gAї6~+V'(λNR#V=_gyD~4.vr7ʍG+!>:roT]fIo)Yn\5~UB(6ާ29*8!DQ1|<. Ä` ht&O$pfϙtftKfJ"EdlXtz)7ARB7 =.ty6 zL=Pa9Bmi V/'uTYC5xofTbESjg$ kgce}fq!oE)VרSfkRe ^oikݮ,(O^v;-_(@2f5 M«s1J7%g;M,eZ@d:ݏk%ce[|/; [s\Ύ eN}7xlL˜Hj0qȤՠa2Ԋ]f'61=~3 '+95R[5(;29k_y*X i'/+c%x`=acqΏm$ bFbz`J2I^ȶ^2шűdk=]I&t ^2X8W$Goos,i5o{ug,pa<3]bKַoTo]A#; >Ws7J0ߍC~!F'R7`sKه~})&p[_ {gZ!EYe{U׆OŅQ$NY;S{hcnug{W2\H-'ㆁ*Ψq{YX#4WmnW#o{WFQqCY,OzˣLn0+內Y29cP,Ldat@H:8Xܛf\UR75P:,nvȸxLɾN%=XT DoeofeVE&ɤ<"RU]i7l˘ëϳ<Ð+Xݢ$i%`}0V*I 6aIA U5e(HUmVFdQE !m:~VcOBU-|Zȼ|"mXpmd\1ĩˡ`a;&J7+h+ 1Ŭ 37G;*;z_L肊;7/'{LaKdDk#=[ɏvB!6a|[<>l6̯Ȭ%x`9)'œeWv2#2LBvOA`~1қ?C6_$\O7jx1lTG%XcL!u:*^p!V~d)w,gO'p\KմwevY4&Q uXܔrd ;6@I/D|(ܙ ڼ. `ss?~ ^I S/ ndw\㞀p^Lօod|E ScPЖt}2yD 2yh];3\k=(ewoq6Oo+dҺc$mP0:3KiXmY=&o\)ULW1y^Q6;o"ڼ]P%{ez8wO#FBܛ$KE`t,noa?ZGIg" v&"_6z5]]+O(ĵC衄bᫌoe(zMG_nRA\EЖ붌 sw3Qn3 zh!^l/4$?,aX8"',w:&C-AvƟ% Mj[u{_Q#J{/MO$ װ" Lv?A8 Xe/Q=r0M,'2pB %D'.{Y^%l2"SMt?tT{d}qgJyܲUnPOv%u"8ѪްTP|W5xR`hQW:0 >|+ *&sV4#Fb!}U&35R3 ѕ  nP\Ms~٩NZ{K`N8 v:;'\(5EEğgJNLQܿү3d| K.#˾ϫr! D%sg#1ZظMw5Z=y" [.L$e>uDGJ0b )Z$zuf4vO |07ow:fL6d Aq߄[>Z0Ll,KO8j]1*IںwL1$ŶP,/scY8IM>\X17F ^[&me&2œ.G\y$y^HljH8OAb5eN^N\d*þ9On [/5 aGqx*]Ejhonm?W}T<74=&6o $)k?r8G}T ߗ^L:eI:p%K[N< aW!҈RMՖzҭb*T_rl >7b=^P_V7"q9 %87(M5M0[)N$ij+=ng,=d}@љmt # Wy)RurY'bZw4"OBbִ mSm _{SP ۛ&oG 5l.!)!B؞LvJ&৮i+y ^ohubE݋Vp- 14 c^ tC6EŠsT?, [(0*'}ɟ2(0?Zu_+ 39Q:p0vH I/Cٚ|i`xĀQy-߈;&]#*{8 10 4 MffUy Y5hF6%VAO *l$B.#8dJ5}XnA+Npﭓ6T:O#r:xWPC[.1%r6 #Ѣ'[=Yb\Xgm ~ /&`.˔Dd DV *<5nptbhG-%#9B8 %9g6)Q%!u<"='ȊUN}:TGظ eJNFzD%aPTG7ltFjbmuiZC7khS V!^z(q~n3].nEJ) $K%Rlh =r!s)})Fzt„Lyú)!N F;v2zmc%e E}u84qo!9q\z ]rg >&Fm\k=AN,ﺫ? 0G&1D#%jڄlF$eg*6`[3)VUW+GscՌЄF ַwAT?,f#> ĎjQPd[PXC-AzKEtCyzpœQGyNw>Cp,˓NXИ%1Ǣ1r B#@GyTY0DKƬzYxs%lEQ$.R_Uӈ~ 7ekߙYQ"0i~IeV`LIS?:ybhEtYh-|8[-9 iS. ~ n"Ls4he Hthi㓇ʞ]y$p, Q80mT@oGPuUDp'3f1dЄ(j UVnNqu[>QR%7Ŏ0 S,F{A|:::eE8҇fʡ*|`/䷃N <~@lyZm{bBUQ>g$ѵ93l($uGxyء`eP%v1md2Z ]ݤ+#"|CLK]rIF^'͵ 7Vlp WcD@9bxU{B'o1d;S''K H0n "Kѷra*܆3ц]ۓ;ri2IyZg7еJ@qhn]) DNZA 1ۈ0bD{Exߡz |9q3?;QKb'{X 2FhTZ1*W·`+5gYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c f65f8aa3fcf251f0b883c8a555df7639a9c194e5 fbba7b7c4b5dbc3bf765c8fcfb1e4bd61a4203d6878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 278d3a45d56163c7a0a92ad467d4e69c490882baa244bfce810f469a9265e41ff00f285ad15f0c60