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 eek $\ ] ZF-UNITY:threads=6elapsed=6.161cpu=32.696gc=1.124factor=5.317zXZִF! ͡L]ŗXiɟd)&]hS.J}+%%:b(3m&ۇK†di{"ɪR)g@xFIީ&b ̘&"Q:Xe`=(g [ԅSeQױo`3 d!scu 1# gk~__3LCa۷1#`WF{+4z!d4bj_LhI=-E[k<(/*Vj@︰/>g0i՜8\VHINB|-p0É~[o52 oP-#&j ? J6|K+̵1 X606r Nv'$VD,żR;m7=Pݽs<KQO/w*Dq7'ʼId'BRfJ-˒|.&g.bʚb@\V0p?sIX8>*[nxERyrvJ.,(zdƟycVX}][8̤!n#ģʗQ GrF.@J֦eTj$%VoSǥٵ;m1%7?u"Hx!b= ٕ:,k.aA͛Yf[)SE1qA葊}`XT &[e y&"\s1T~E+`aar:[3V|ՀmHjdP/.Qf<;Ϧsj`)L{Wo7|׍B\בǪC%NCa`#n5kFug%2HnN0Y2V+PS+Ѓ9# ^&E?fk5# Pfk kc! a_vz#2:]+ckC$G]b9oKsk.j74] ߑlar݋4~QƮ&N/Hrb2mg+:ᦛšƟ5HsXEo%C"W#\qSvh< \.8N BsP# 8$&&   ZF-UNITY  G/#a-`&pBU#kע{=ÛZL[T. 63n=..Aw ע@m<dT)$o\Jpަ95_wt$G͛MyCbm,{h=r%P6.O1dJ3FXîzaQ AE^%R`"(8o)1uljä|ACEm+_nZF/b\9\>."Xzup< 7 &wK S zVa^6-T _:lRKr%:X&X!E (x-F% Fky 昱!澆XÅ[mYq u~:߷ &YQoXg jkT1fWVґxrx%rQWUތ>~ O yuc(C5J[dN!Jτ픣hlkDӾ )Q%1PͼBiۘSC&hNVaRLef>I;Bw1 Z 2=-Jz  @ZX I -5!϶^_q@#g4t P~|ZJ#_'Af$ql^ 9|/+w \Xd$a. (b< yga򻞒WC 1վwФc;ULS1i/tsiQA_xzqEO_RS]!"P`d@bV}+B1X[*T)F-%*,KܪЫ&j7Hq˲#[$/Aѫ#Hk ;Ws\o1|wC 4|SoB{aClN$ v1286f,Nc.ܿNBBXz#kOxWc6;'Yo3Fl ĨJ{ipw & q /|r M0#q?hMv.v仙ʩ1ROЄ늢 7B2&ϮS䪆XyiN8ygm-ZdJ{û\ l!_ҳHA_lXd9vʋr:Av_([ۮO_ٲFEs~Im*_H*ZCP=n>#MmR|DܿNRdNM4=zTl?Q{Pp*eH>c"|z\)ShfdmA`(">,8=x4ߢn1NgGՒfz|cOZQX:gfvEe)%Uc!hT&)Tz()Ԯy~gթ4I\jd \~s]pP/$`S\Dy,]j,6kP4ZۺGy$]A+F] d,gPD *bl4.p3Ol_|jRduvV2?^-=;Ongm`0 0Dh¦95zq)o) @["=QzBDKJP$`\ߧI-pDnw 5r@b+HËz*DC|FLi},4ϩ nwe_ Sܧx^>Ww=Ly|}&~(5=qCSJϨ]P -( +N+:m᝻Ш˘ό^~ƺFYemz?18],3GJpxن?C}lFwd!~S)n3 UmEs^$TpeXz3ET2qM:T3^a].+مF-J+{4^F $%6@6痵 ʃzfGfY֗=fPSoF|J]T#[iiHJH [W^!d6Xq?m03Y.~j`E> #@ukۢllU5;OZ2iPV.ؚyjĽא}ݠlnT0 # % /ه: Nӗ[:5P=F׮zӐT񇑑f_fd5Thq 7ʼt1l7٤c[5 -k\R$"eKf3 gTP+&6WQ$Qӡ[ðr 9v!{Jtk ߙS:0Ư P͞Ac"'qH%p6һN[X]zikKt3m:Fy?}<;oJhyoAS\1TP\+qccC>Bw|=[# ۢUI쩆> +"J xuҡ5kUxm]^ı*ոO5&(PC?XJ/pl_koYzqxk@K3> o "ͥ:4^Wh} [ON/9W uMCvFXL1ݏy4XWxӥv6gCEHd)hq#:#v5 `2`%HV}(@55 mK#YpuE5jL]AG>VFIsFh]ڏVG厴>YV z kS6Lj=D^ÃU}r!VސO]irZ0-%b:Eӊ ۄ(aFбQC,e\hѧID+Z/@i,?ӏ1AtPtliwwVYkB#Pc2H~AJ*2^|cXw݀ pNd5_hnfTsBJ|Ew苸鷦$+`]E'7)gIF(P9 'Dlxaګ LaC OpY-f.\م}` LeƼmE@0 S36Sp\S.Pԩ3&,)BfVt1Ob:0!X~>JDmSm~d w;5r@szUDcnd`Y%Rf7DY@h"v[Ć+kRegGŠՄ(&1rmY@ lC5}46!. ㌌ caDc5X9Ϸ,'a NIi~γjZ"#w0-ꎖ8ZaiN22_] qk 6,OH/"V82%XkpPGMv%cQu8]]Pk4DSkn&̺ή1BmM5w 58 ?npY|)gz0fág:d7 &N@@z=ۛAaDx$s:@_u5j룄rD *_3S:Y Utq:S7u _?j֛[} N(<;= REu&: TQM1IeZ<*\{dVQ}## s$jZMo]nVk=D:l'mG׊=mq\lvW!Jg]-zgB>*\ql4,d֚Lp^bh<Qtrm`*cG$Ƃjg)n,L޴wMȁ\f6 !M/ *V vɊHEďq hE\*a74miM]:{; X)=ŠԂ&8OUi #$kY7}Y'HXb;fڽZK-7uImaףw<θ O'D:g ,®pxc~/e>e'|#Oq8iH_mcFLzn"?nGȋB%=A3528Gݡ]ExZ0)rJh_w^١R'lZ 02_fRy騱?ٓ5 "\-ܖ]icnZC/*t)m y{MkD&3M0X`2 :@bSmmZ?j="E݇}N$bk|tokچ.+'0Vv*g*4?@|Lz6$ͩ}2WAԔ0o^ކS.u335ᣉ^іh.!RđOFM8`lZ"~Gw&>kDیS1ŢaE0 A.X_ !2))jN\LJ4ݏ՘66p7YR>|1m= bUh/1_D8)83l5XrہKo\Zvlr^!D>N=Ni~B9-@CsCb|wBBYN3ol`;s^"-`rB`0yZ<nTP[ڔuƨ_-Snޏ_),㇆K+QFax nG6O5<n0~z y2 >c ;1&Hs@Q"m?wWo DN0ND-9؝uP+NE2x&IGvI5G਋.bs\{8qCYD͝[NoxD Pw‚=9S]λhv5;|±{ i>?O6a ^N^P3}MER/YKh(_rv4͈뭂"1tJ\wO~,^&XlGGPF6}o΁,բJvCd wuvx+뤏=21bvq˕%u+jbeY%;X ~fOO~~ArBxEe/Qxi9+_f\F;\Aה(8ib=w\RILzC F5oLeOF99K* *v+Q XĖJPȍ2^B~,)ܽJ++=6X-WNzscęlquΦٍm1NC"YxᙳC_taYp18ijpk!msa1Fg?d;k`p΍cr^dEŲB%,Xmjӧtq|id_wØt/d%L'*Xh4FmZ\|Ҋ,F( i5/DNKs1QoE.B|ܕuy=0+":7{ 9.*FX7(q&wMcdqo-hKM 猆 XLjdf# [>o:Bӝ-WC:SXNDPq^_-&C#Okt#z9Xc 1qebjc+$VWܩ oWaifQ9 Ƥ4!L*Ø`ݰ$q%t6ʊ-9jY{ߗo9[9@䑦2g4>;G3rσDÙ[)@lvoK 7l ,Y`4> 6;{:2ejdřYG*|Xacj'$X; ;WJV vϒ;IaƮΊ1 ԰E[#`t \FkXcRtp?xq< \ŻQ1R!w80]SJ2.f *D%#evHh|BW@I pʕVjW<=ës?4Wk \ hьaMVx lV{Uǒ@c陹 0C 3!G` cB'Frr`D<۾gC5_TUT-' (_}IDOJ.h ^ֱ 2ueXyZb5ri?7xgi4dJe`]"AVoޱ@8ͿnAjN/M>ZUWA`(@eAX,)c;@;Rji4Q2WX@ߪUPw Z+q.K0Auu qrM$f4,}n-yux荹>AbMdiaC8y2,Xx~uJ}`k0(HꪬqP]6o6QgL4WHjUk,5 ƇF '*U?@g 7)gKp'>z8K_~(*޿AYt̩>?"01y׹k"\.`2+$gV!6y++B@wXFIxzk\#`H,T!\vȈa~*sDJɇ- XDc?538s)j)` |Vm[+ꠄƗWp&&lEƍAtOB7kP4G_F@Q!OE|WEY 5ϰGrko>EXsD`J4G0:6Uu,R X{M(5X^, ѸwT%\{ KOFC2pX,3||Tawb<-/Ǎ]‹Y,TDeG+p }fPI]V߱ʫg m*$N3Rfhx*(m#dM聀s%!p6ORNL4v27b,*Tɰ#*B؏SVm@}^yoELrC͒eR 0rFMn0 /B45:ԄIEOmo=9])D [ah#u͖5% )꤮d>6c;y%G]mZȷaA&:VU^ rù aQ|v]o7 #|  lc *o7KgrW>)~?0NX̋ $zi@JO=~g7Q};@w"jI#1?S2#!.ry2vL$+d8+@PٳRG<-?gIe{X61Lr]ٖIfrEFDhD8DPcٹ͋C'.MqGV--6U35i&kGL0/⭺EaO²_Z2~5pqJo1:GPd0:4oAal7k8FX& dmFI:.Wo"~` xh ͬ ͶTL8ٛfcJ337OzaSWt Q\^3@f&pV1~4>LNs$A5{^bb_w8׿xrj~7F9<ͺ}ٮJ.|ը6u2Ue4R%&@f$.M! <+Sђ.nWvկҨQm͇׃[+#5c\c>=Σ+G |BA[+o*U[័ïu ٶx<Ч@W*K5.hyjZH!Sb:Y5cV()m6sACC\8K2nH>db:\y8-?Y=jZҜĔ]扜MTd/F7\8*u㎦=v$,'lA3#ؽ6If(Y2ݕs/Z-dFy)}CDϚq zO G=)Dn}o_*_DFw,5C#)O)4Dy7ǿUQ&+vb{8v{Si\GǠӸ#IS t<ie.{x QdsepԵ:cV1%Z*@>~'36-3] Z5F}^>*S<³MźH2ug$"Wk8 8D*!b]U{Dxn&+`7|VS}>hF}[Jݥb@3L>NsOVӚaaarMi](bZgs"-c 6L]"{(Y~|cFM:8M&5%L'\3 _vKN5Ru a4/BD{R[wj泭GJ߼INC*I8SoW*Jg2L'6hA֐S70ȢC][ҋ;}i[AY 9heAr%D_Ln6Wi"h%k `D@ZHKK,)T:p)[GOx6/ uQvBQRp)~"CPX"b}L/c{ꕟ _/zmyb_*ͣg >agQ\Yt)VL'r{6D23xwӨ:Z7p'|؁B倉˜eEWR\äwN}!DW(āڵO|sQVp6dUc䵦KcF uIn4v,)e6COjAMxXm X-Z0;[=' ٥C@x|DFiʃҗӕw׏wrFS(g"O|TI\|k^ 4J'gzRDY~i$ښWbI+V-xZD/Rj!/hb@cC ]Kߩm=%M|AEДtܬ $j͂o6ƦDx]YV)1RtZ&iے_9iudXhG_u~a|CU})H&!p?')a~.+&w9Dנ6+au .|{$B݅>+-Fty`G`i.e>ƯR@d-1@uD`|_Y)UsN< u}!#k|Ϯٺ{=<>9c;b౹m1w-29_9[Ohp uK,=Ρr$56VViD?Ez~ym9kt o;5/ݕ}DG@24@9-`"ЫOή 9MhlgKreڛԲB\M35 2m*B|t]̑0)XT!SnFH o|X2$q0eYv%Sê5~S|u)[yX* ă`ߏ5Zuk]s\XX-ےtzTx*ŌBKyYű+^) 0Wv<>tGf=d*ѻڠLaC~۱zG(=֓!N6ЙpB$iH ^f}P,sљϥԯȖpʌ|Y".b7JU5[ip0:Wx[ C[W࡜xā/ NOl45 qҮ5ݏW1 mrnBBsZ/Jעg!.-Q :6S3VɌGgH)xh6=Xk۽OXO&øGaɦC͐qF0xNAhtT\.^D> uP`?KOt RKE)^XwKw,i{mU*ɥIke^`qN&!)cG|?"\cSɆϗʞlWǑ,duBj"j.,MA4|ςIVд(8&,̤:`6 TIuVaTw2#U ݑ3@**~Fqu0j]@oE~*5,hאrK(uRsh˗Hjx7pT LI4 Ľc=,0 6OU`G\vqimFk|Ռy 39N8sy+Ͱs|RW%=O ٶ7T$2dB%HKv`|}сҗʍ;Tݛ~(TSi\8xd]RS{1= }9C!;Tgv?ɾݴȉƘIӆѨz2e-?<(Pnfzڻ3l@z }SkŶfUaQ?$sFH;xk9o9ʙWlU] N6ᒀt|Ozs `o'ݰb68d?c:| رx$Iy<߀xo:AyE=wiZA 9M9;YRo1OfrR].R)̪rSjTڔK+ǣ' ij)-lj_t}d ZqPT `avG(ލK= SZ|6KyTzx=>0gP@%r4GF~p)rxc։ŭ~xV@`'kt_NVuM߷=b)]nkhd?T-j>+#CGu@WSkh7ߌ2pr(I>g4zuCv0tS0?`=$̨{w] CFE&)rU OUE ? zMZǘ 1oma+xQ'\O~А] f ,bͲVgoaM092A*W񈸮Us$2*{^sCUʭnSOs+'aAݓ]6Y]b{Y~ zV'zH\A+brFhN2%AV:81yU9QJ%)g('b6Q(2a) ^:'O]yT8\'v{u C}/~ݸ=P[1jj6CEvx(1$rb"FyckBO`˧su pĥG6vkQR3~){/BE,t~n-ڭ_zNP_l$,İ6E{U*' $D>`Uwުa*ݐ6iú4y+!3k*"7Y8-պb4'zn1;} 4x=Q6tVg˿ g-k< 6+?F(ma:sh LK:e^l5 $ޱ=.N!RKqu@"k#D jA +_~](rzn@cX/14H)UCR ߣ5bqUgw ҙbiGTDO2lFիNs0frw+!i]ȕVa} !ތ6M>Z'[2QHV)¯97o->K n XP6lĜlz+d\i@ sqqecjJ %.NGnwL%LvB%ʹo@_bЧ<;`,j3Bپ*hFHr(ih-z|`>^c6殰=b=t۴6isz`ꕅhCo0"p.8X )$Hf~huŜ֭w"Qz%W\~@fe[b. m^ցtJOfuR P®q 2ܦx-.whhkmE0;bga5%Z:k[NLan9TF >*|L&f*x#mM^9Ǒo{4 ^|mb%դ8Ee=,ՅnwZSt 3Tп4^^nTEN:tZ\ t{v_*m=ix^ް{L.2̡?hfo2YIK'tFBVB$XRYW%hH oچpX T4m6n2Ю[J;ǩr-78P,nXq\i>_s:pǚFFt6 /Ul+@YJ2żGA[E-cM+NdEz2[U MC,݋A #GТOqhL‰ d |X0_*#uYX30 }:ݧOɺn>'=hNx t$4/9zZ3ܪp'K՝L  ބmTc*bTT0x܌A/"R<X9k#z%"sI jiLHU/mxNhoq ",'2:.w>s # FxA΋I'ݢQ>OϛLؘߊ[(Ma('2^)9+v|OmYOͤ'"$H` HY0!"sM q1iwMSV9Y֠<_"^a[%@T2`8CjrX)~9݉2yQp4z-X@79ػJ ]۷B.'t J,l9IX#^PgugX _Ѭq.JcVy:(GQtE !F3 S-O"wǽp4 evRxR\_B'$VnάQHB0(w77 (63{s>Y=HG[򅴃xU'9Zۍb2]P}񪘏%ҿ[AqP4]9x?~|lpx_ZGu Z&&,G-Sp?&=ڍ7VRp0{r$\?b t-]يV1-{;F@:у,. FJPv"S ncAwM$=m/-e !11ړb^ISty-P%kA 05;X͘,!+\iY`V =I?&YEx[k[0|)BhƎӪM/{?N J|$H/(a*5=Ԍ靏4^[YuZah"­3L ˳t#P@Wْpz,)usAv)["q[@pd$h}ez̔|IY*6Y:2k+=vh|37 /!i5zX&M '%}eNM0lT[ݙ. S_֒X KFy3o'ǐbG Rڴ'tm^TgOe{Tu~XduZFNGk Jo WEzL KJ6*pVWZdٜ8n'ZgsSd:\>/6Ң}ُ=bm*[\gFf~n+dPf lp:,o3p-p0/K\մ q*Rtm{ܰZjb9@T}q๭Y=O{ޭ) vI7TJPGڬyB8BK ?፨SlG v=2Tr:HnfpT#^ѓ!ybR.{ LDT)ES]\m~M-TFsܸ=ZZ7o%vJ6ԦC[-bpzx2NcK_nmÏp͵iEG1dCm,CL Tkc&;{jf)4 TЏ<,4"DzZLOP?}݌7׶dԸ% .`]ؿj_ɔFȕ,۫՟5H#B4f7`FKB3T9q=W+BW̲~Muz˿<#:_5 b\?eo5Ea7nf,.v!m "a1_'?֞Jca6XKe&W2rjm;qRFljԓN+X= =8fu02+YK.k}ܮ{JBmNƷf8" ŋk)`Ӹ@)J7VwIbFc= $yVj}>F~ѷQawÚƩ XP6꣺;DjxsrjcⰃ%^@]u9\ NS;]]쁝t9X =Η7$~2=jW,uLc3aWp4Ñ{!Y&B/+6^'j4!Oi ٟaZ{@Ux6{ qN횇t%k8Iu S%Wõ*U=k#58Z= *lԕ/ޞp{)k6AYʰa9Rh 53(v` i071kId`H<tUCCRNCdN ?j&Ʀ{Ϳđ M' \{=~2${J?K%_` J}-'ZT[Id 0Җα$|x5aqй0\ Ѻӯ2*c0e"ZRP 1K(q|c@!|8#%>C;15#戶V ɈO.mP;2uTKY)bU7I24_w嗢 lM20'nP.-^T %ԃh#"PD+2X 2]y*!$+.΄o(EnAn]Qehbf?{{nqLe<ek[!iDlzo ~0DFʻUq j2;L"b6fyV J T@P^UK~n|o4ϯ&" 4^)+l! tpRH/DjJRn-.1F-df$Ix0 Z|YL*%>Xr5|6TV_VK-Hhiwj.&Oހ 6OSd~iuHge9GB#܍|N 7~o`þ%5cRD2?&Ѭ,|7u T$̗|]6ٹ433VA ИUqz5_*po)uր@GvH!b6_P()> !h"XTԋU[Fkok74eD/HTY4" Ti/n" tqmR+NlԆYxbMN~ֱL N)DG | *sި^/{:ɠ8pQ"i]*Qa 5pJjKol u\6 jp  o&W4̴?\5E! @g:;[Mh15S )Ən*wv؏qL3)o;31Ǜ0aňY{ZJ@kA)DCąp. !{A!07yb/(.cj@cjÇA҆ATv#8P܊ov\/i;޻C/kFK}}uRz@Ƞj <|2|c4B,׍Rlխ8ZU_UZ;94Wl!4y7 ƵM2m/wugnHJ" 9As߅5R 1 f*n0#ꁥ%a.25-sJ#7ӓBܥ\]6ﻬcްh϶TnW*l('bSݾ̢k1X_+F p XLde^@e1:N;6Y^ h$rs/W-c" <=-XJز|.Xg L{ofZC'> Zb_$#u*\ީ~a?So|.d 8e"|- SURm,!Ӝ l aMUvxzٓDuw1tc$96go<"O嶪2JYl3?tHp ,&B NԵ`^c' jG,jg+/'7%LDp6}!0a_T ǷϺBn Q2QCG}٩|!5FЯ^BXKhklӄobTJR˛D[}9nU#083!}iaUz~t3fYO(%Kl] "ŸwMLR׮:oNb^uIyc$X9fBY} {M̄ZqA yT4WzOAxhf NVc 쬴I,DbpvԝT_ fcA<}(+d]S7 a-}cHdxqgE1Y[EIeK!`L \h,f6& =cH@1=3uUgМeJ]SB˘!R:;0$V3yFܘ|-|2(K0E.{HpfMf2ro~'=AU% ϠTf`I.sI\_-KPj%@#bV]Peyi1A^հܮ^c.:^wN;Ž?{А\+B gCcQK*#K]PvcTcwڂvWg9QbC1Ngsn~K5PFg-xTnR 4|:YIIGgfka<>Nq4-'=|kьITh*f0y(G֏iGåcb&k%]Sr۳B3 ( jn9;/)n؏5F:Bj3._zW"tkx儳BeM Nݘ gJ ҃sBɤ[aF"Oۄ[,}wҪ4aN79C eCOÃ8VpD#޽KM"c8[uMW O#~=x2Jcq< eVÒRr. ܟCoٻ'}VW9Ӽy*`HxmL]Y lep2Cz91*X)vR7UKAmɂ0n|GG.zog2J:ǂj)1w_oX|ʦ[.O{܎e#(}Z 36R Ip+rʒarb}}N+@.I>MXmF?gtIk)N8!(]3t%'~\dNO^ k7+Jچ-ߠfEk)[kk?_A,n2]zGy,Sqnw3 }AdSZi!ɠ`:C8AQPz +H/5`)AqpFHȧY>aq†\!V Ydc8}Y,YPhq76vfhŤѡGb](I+w !0S:rB(W*"!{ͤ]]0?~YظP 2ef60KãӁ*'*f 8 R' Cŋ5_BrM=hiZ %Ok"htՁ/%}[K+㽩CvpJo*b2QrH >~ oފ>].քA[:^ b87nu35` C RIú-Y%yf=@Ke "IomC$c6OvW}Y/5,x!0N}ILnˑۄa*)fL{i{<4^p;;'Z-5,Қrof,2lByr{&0,\$]MKC7зw*'6HaPl#r-%Y$;5Q %Te 7AC *`;*;+KB%Ч^pjy :a'R4S>yt}/:!G}D.{]ǘFlA|K҈b*9l)ߌW ɰo>̆ѡ& q\T(lzc{ǧE?جH )"7 Rɇ-ZO@|3^cpC;y`0Nz4ɸT3XT?z3JzM6Νb>d"~+ws- }LP#@06-RFv`!`3uJAQEM@dw׏QI])JCY#=%^8ށ7N)*hdAp)zIR&Z;ofx0݂,u %a}1:bUdzP=3>#Bnl"TA@xZ/P{n Do ZK^#aD(VJC1j/^L=f ddw{`|@G,̎[PB3НTah0hk51[XVE- <׊k5b* (P|Q/[ghZg`iܱj>)S?;P"Z׆~N.::B{CkkQ*zzO ^iv%ޔ Q~]b^kǼډ!vdg-T; Vxi>O矻Be Yb E7]0to}U7e'񩫛IȰ!O)!a&k˳/  xص;8ux03FqhU;s d,l%| MCeNvm%#0(Aw_՟W^*)N MdE1ޮk6QwBgUZR$G~q$FcmۘͦS6I9;WbUo RIRY? ?"oțH:kSd1( X< X* \>j\Mb0|+t8^%r"0gt5@<,(EEk ٵgnJߘ SGH ΗKPRw3(y ZD:Cԫz8Tz,5Ro*)"\|+n.6N" o=+ |K%aCmWI 17탓DV?@͛y]n,gM헐dž#㡗ye 6'dŮdo7t㹦yh4S!*E;7 R #bZ L'⬼+:;g;2O3.Pw`ڣzoMN@ch2{IFFc@K' #rMo7*^IC:74 BD;mֳlۓ1 c/NDlF O FxWgjp\ 9E!)"Sޜ׃E-ctIMEHrI(A6CNh9PF=x}PS "ZqkGPAᣩE I:хb"9üojAkb[!kph/OH_defv94kX>-Oicz:ćmUדˈQLno}ρEIY'ł|celFڍL`1S b @}2?fOz'scZs7i1CwEYYBN85`{&_52,BGj}zevRYA[lz E4VnS#_w$ $D 6#>$#س% ͟o _Jr7ʬbL43<كt! 2\bpuFc{v% K.dĘtaݪG}~=9:%6:k*W;ՇX2e`TEX[ GoIjG[?3%ݚ<,ɘ5\XI-0!ޞ<F3Xd\)G=x`m*!{{w;jy|7P.7RʀOкA/+_D{[->_.&^kF q~ŋ MBO)3(H/Gᐶ"Պ=х|V :f!,ZRE.k`R[ibZSg.,thuo7*c>ߨHN Gz1`n@`C$^MOW2TwIPˇoyߋ¯kiKpm(L"+riµ 9lIEP.JiKm3m+k'bĹ P& v /Sm`'#l$o峋\(2@& /dӂբIA'h!RUA m-3^P w7v-ވ >R'WYi: ]Klax<ɮg&+5x͝0,{ $}laJ: =#S+8NN+9FO ;khq@BF:&-?{ؑi5e0 S@=>sΧZ쮾#`G83A S'.pT P7Wꆞ%G6쾕5J+zғW @}&BDY6B5fJpIE/a=1tXn4`!6L(lNz%%rtu\kцn3ِϪmv2dw2GV9)^$}@00tsNQAD,xV>8ƅ*ֱH9* bfADM1HC v'oUN˝W=[r|<_l}cvt DET4k[wZj,R0jQo~K,80:'^adfD#8/iDeV]L熞1Q`0mtǿ[pmFPw6-)$\50\:s2K?MC;u }15yzU3 v)8= xL_/:r|o2t)rF%2< }XJ.hE5Ax;D=R]#Pވi_50t"B|s M 0z6nXsՋylDluG~kɫ!kd3{98o*)ҸnjoW;r޶WR2كE[E}XꛕsI4<mJ6vXP.AXMgR-dݏvu۞x$S3&i-"PyI'EN wEjhp- )+8=dûΩUJ+<]xX{LC3%5|a͇$T\P){A"WV48`J"}2^߁_7$2o43>Y$H.:PҌoپR 26.cfg7 5(:Gz GT,wk.$)`$yVF l eBsu=]KA38ǝ#! (:-OMd|=ü-U)ʊ\'o%lq06@25:\XX"/dkM9FT0epN,A1^fV0DC\]<&Wck :;ӫQkSX נtOLa+*T{kQ ~[DZ:#'dqg 34΋YTٚYXɍ(LzLz?L%QJɝ^(O`Qa9=Hi+S jPKw0oT𤩻R*sj32! 1@俩}~ȒV4*aqVM6ZjU\uL7\u]hzC-|a>=\n'nd*|V0N2aV 9bt B-,%=][*Mʘ)ޙυ )C(,v`?u2`Jv!% $S| pdP70&4w $*hn֥YJԷIb,NcG-{x6$6 =&yvEvR3/M i\ЊS*(ChR܌wQɰzi( )>`U&H`bβK](E_]EJ.Mb83IR(WZٖ(3V%].=0=x-KerB->3M u, YKN,.GG쑍 4AjF4s;e 61w O\389 ݦxYOPXtR,7"*T8́qkO.;MIko˼n9`iyI%fY5څMFVǩFCO\")?'Tx 5_>dmԭr?1H,j_ '(a ZTbi6H=$'!&2ېck7+uF0 Sk:3<0pCrrTK3^Pbrڀ*cޗxR< g[T/\> 71^b^C&V=")ja]ҺrJnCUNo+6X"A{<n 3e.J o4UzuI&|ߝ0Uwa,!ME R]ζgDsqJ|F@3@hP^#־/-رBz cOnP%рo?FܒyƢ!Z{{7M*o6Nqw[~(id K fv:OPf+T<;rQ9!/Ǯi!@A:uwR䄊ҮX:X߀;l\E |,-j! Dxa,,(P OF㞚@'V>ۮ !UֿMr\j<6KՖyHF#PWr8* "p[uB\ޕ\aOhx] d+%Q-4\&f:NJq9`<ACqm-4[bJmc/(yOMx=V}fSZ#t#^(c}`j`RHCLnuJ+ (ނk8=0 =hJ Ղ cE )Ͳ9N $F&=' Q%Q&ȶSA XkszoSfLYŤmT<ӟ^eW<Ο(%h 7LϾVһYca,byPR) 2Zd YhU?uWHݽ6)VDm!C+i5ĹNʓOG7ηs ߌ:`gXOˌyy[hPJt')O4yXhPp=d ib[daì'm^B 8 i?@0J Z*e(4 O,G=sxԨlU jpkr~!X3k_fK-Fbކ]/3S#_L~3д׎ 'D8=l6:~AWW[fKLy[hOɊ}ί ^gYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7l'i^n.87m9WS:^Yi!'OӟNӔߜCߟYpC!8Vʕ@^UOX"kKc߻"qSrq#{}4?1ٽ V)Հ"yȔHB{ bDDyuǍ,d݈^\c3UsF#hg3\ҭIh|XO+a {A5N-BCJٓjgT+szd@$y33 W?5Pĸ1, bE_N.FbW }]h'9gUzÄ|hWEf"\yWۮ.#%P0*d?mwyX1Lz`zφmX¸u^MYudb!h^4[K>"W8bXrv]Sǜ} f+,{m7fe佫wu?E{C[ vp0--]*->If^e q_,:_5ͨ:J@#g})?="}/n條vMKr^ͺYg>ć,eW!PZ%3U=s|_Ŝw+ 1@HU#gYZ999a782e55151a6a1970c13c5fbf0567bef9803f6efeb224ffc75fab8ec850f4826a2d863a08be88 93611f451f0eab5dc936e61ba7dd2055d8eb68f9 1b1ebb43dfe088b74b7bc5a0e7cc197c60929dd2