SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 <%
`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE5 >dCC]Z.g=V  E//Vrʥ{A|X :* r.؇<|~aMBp@DWئiR!ƺxDpG1S@v5!˯h>Udhj$6IJ#DcU5ףoPHne9'seNPJMp)7!~woJچTI/dglR$mC L3^@2nJ/PnM5%+u?# %m(;{<ϥ4|tıgj!eK_ &fl; k Z,ovby4[ 'l?QI؛vfG,r39GA#|[Hvq% )I]Ӛ ͜EZ+nD%1fZ`!C<DD˗[ [b B/VB[m3[]8KC,mF|trrA=x}kOYԿ[ {ǣ>:# jV`‰$`@(‘-@Vo7"jm"^.ᅃ' ?3Q ue_ 1*/ɇ7X/Mxy=9X_x S ,jaRiNG bIfSЮF`~n#<–{*>zH~~ȟF/:Ou/\x'{.t:tj&Q I*C:&\hNaϡ_ۯ77w| #\G|IagW4w+zzϢsbzP0+z“*6֡(fC2~uF{JzzPGq~!꘽kH)eUՑ :ޗs5*-Sg1d8xuY*яǨe4&},@3cf»BfKh 7PVZ&5&tIɴZZV +=nUR.ɸ%ZB-Ws`Nd%dl{u߁7=ϨQ@d;W=|C.4!A6ױu7% Nv3 >z`GJsKo[.Rd)i/Ӝf~qL]v~@t*0 3“ -?,a]L$a)-+0ٚ*2ܓIs)T^/i&/d 쉂1@ Ԏw q@O'ܮbt8<F&Qm1zJoBSLчzvqY$4 qm[zE7szTi]4~& 7Ka1BV4ޡxM .DLCVuo^^Q '\7\1\&ǰT*4xoI YQ ̬rݍ%Fs_oM&b2l `,E/ͬuR rղFKC7 1rY IJ%} =\8Y1J1矩 % HOL-Analysis  DA: 5( y2<0%rZF!RXB1l'ä0Ó'Sһa5GlLa !W8 -5%nie+ZpVo[#Ai/<39!StAuI~ OvNm<kOˎ &=xwO ՅhS4Z  ϖ@m䛙+kËH @;ܝv ܳpBӮi,~ֆĉLSq:dli%镬l_iX,cAѐ1ʫzwbГۢt йy'LӞ2/U򒙱O$Z#p<ELj"_0:M;/YK҇5@2zai SiPdrt?3 mB:8HM68"U#\x#EFJjZJ C꿾O8*d|+]MD[k@R1LiTiQёg~{>H[K8$2u>f=Y;*n'? ݮ5;bձv,i??3Qm |8'<+w Ѵܼ5G[ts4Miu䯉@p z l׊\t$,NZȓ/.RSCl;RN9瓥m/^^k3 IK#B @o 6P:ɛ$h[3j_*a1ZFjJwe=u<>rt/{dyp^\>a4 ϣ$[Im^yK ;VQ+Q*@ }xCT_(L_ѡΕ;?Ձ-K)[/v} urDv}+y%{F,07̀gݼߖ7(edrm@5ѠEYQURQ_hU6m' :T24hz4&f+`'TòVzҺ zv~ڋ&m.K&p"L*gC)B(\kB;t+sC,KN i|dTng{ӝSyOXNyG$l#("gdA/_2'EvYɎ#dݞKyV6Zjs2+NB  W>3EW,B $}88|ϚCnȎ+c"Z熎j9Y攖`%e]A$ځ7vWoMg:uWP dgE.At\z j >?Js EO[%4a!SFXaj _d㨪xex+Qq__7Q!/?ckjiguopo l\(&LL0 / %I+NbPa zˍz7֞+WYxS!rul )SL9>8>vfUOOi+]-B\TrEdGF;S[l !iv_2EV dٽ.1Y9hp$Q) >nrI`2Z|ǟiYqO0K19*A X^uWXyY&u]JϕEDЬv[ eFhoǿַ>ڵ`-{ѾZ2ό'M8sC? |B<֯XP]E0?7+v#53I9Sca;.'0f \֚6X(iqI}Nj$5N̙B5${Hl u2I-,  M)P+6T괯Ӆ`M:'׫;CWw1L{{m5_Oѡe0}[jڸ$s-?10Q~gVibY/yH9 ߿!ZS*Q[qlϜCCMێlOܕB\S:dVΥp"wTfr~>  Ϙ%LO#y #bK~Sdsl#6dI$QJO_s-A0Q"{ѺVov@kYju2!w9a3=Cg `{,'w FQW]Z<:U16sMA~4۹T>>mA\vW(KeA⒫W (C9 ڻu P棥3%%l'^@`*\soſ7DCϽ. T"JDvZj#>..F~Sk,=uScwAjpVw~yL֕j -2mۖyFn ,$6}mbuɍD2ӎGvxOqtզxJeK={eu83bF+vNCqzn@^]An2uz@1,#Rmz0`;CPJ4(47R lpHgl/ #Ӿv>zҕ}Ty=Q.K_7E/JE&qQ`hෝtH犁x 0QM̧z?K~z"jg0c)o"f&RӮNl\|4:O;.F]ePM}c~S$r%o݃轣H6۪TVHd YqoJ2cN.nt a /It՚c⍼iaH ʹ2B"/R p4狖=¿1n=z+r,oTnU^ 10g 0P%^z<Ih}'݀Z\polo]^qkH9D"jRӓPD sN+0@E*鮅cp:@$qp7L<" LMÔQa#̝sɠPNGc>>9jdϔ`PV?g7sVI#(La4T2 R9D2fkFXʩmO$g bȶ-_~hZQyT+Z|bg/DS 51]a~fMuld"@l VsB[Lj:m 1:‚a\wq1"9cecT_&Ϣ?s5,rF$r^㛥``ysBRM+ցp"{b*6kk̰ݲ*䎩.LaC3AN@ O3Zx%A,z@e~[O](U  mal0~4-bS_^hKO&g<7QG!k"y-C:4[ m{(*[|BZq킶0~T8(;O}'OR)QR1kݜwQGJZ׏Ux7 dyEMqbAP K3Ҹ=#X>3@>EQxB*> R{*5ɓ#p 55LcSV zQ/}w#y3_@@$RXȨ\bOI .XL/f,]ԣ^8*ת(P>`ڪqCit b]v;;"Z5f<{r] eN6)h"݆)}a' ^"U! ؋ Ώ7_o]@PZP +W4ߓOǕ!rk.'~aRgTy-$ͭ\ sf HLI&7C;,گ$ TKDz/n8d XI34mw=ϥi$l9 t XZM);׍v]j e̷͛3oSQ(N򷉃#+ :9 Ft'<|{nLji-o+ؑ8y1,9)~2[e~\+;2((ZIS~]t]mwA_#ÚG D=SԵ(Y}a]o0Lʃ N$j<x+knӴfS:hHYd1= ΚsA=D8  Gi0wخm3Q؆7Y9qD ^g{H hU=y섊 _D!)]ϕub$BXKzO! O:w;v]p]?!P`j^QfQZ 9aā@9 G>ǼSMU1+'EN+Bz/BӭMMa ,:WFZaȴtQ-%P.aw?3HlJ/7Ec'r٢< 39Vc'wkO}!Kv3EwB%=ս_ޫx"{.g⽛^Nޭe5'4Xzڶo!S5G ki@fN i~o0j1XYA ~!B QN?>p-Zļ3+*E1jIwIfFQ4S+$/l|3퓽6/ #S53رL{\:6=ݽދtԂ :^J*c%A u6h3 ~j\fW}$啴RNc艬˵7-`8Fw5rȶ׳zB:C( $18RBҡQK 9j@GrzFXU0 ÿ́ڀp&g (5Vͯ 'kL9+-jVpFkn&E<1O 8DGbp׷geX}" $^'XuF/ ,.$ÙEWCe``/[Jv ¥Zx7# ~N]I٥OaXO Ba">N8gZvt/7{Oa9>;,ĬllR#kib [D[_ *OL ֜JS^}6WA VYOY=h< w5ͱdf4d^̯U9_ PPBSbμDdj]*3l>|_v"hx$M%5i4H8壈"vq܎"#fH[n]^S?737a$,$8 d P 9f%O7YԽYhc.eu*? !y?OFjb޲.F ym"k۝Kҗ)٫.c?4h]I}զhtN PIA+U(!ib/?hNhF{Tkkw@fBϦ+i=醚G(8/%A`,[xWI#!>ӥjbqFhp%mK2ǜ,hֱ=_fo {?c6ķlێͽ2Lys5;LVP6xO٨{;<.1ޖlZR:Tb5*"A7'a;:Rbs(C+& e m98beP>jr6DrH|ë zU?%r& u2ix % 24&qcv7ѡ^+}ӟU_ewGT Kf0"aF)\̎މޓ>/_!clS( Jp}v2aєDhfN$C)?lvlC:|G6\k"zCx.knڜ7p Lb`ͽM_Kqٞ|H,$J=7yCJdٝKCt@2WR"gP>Kƍ P&=Ʃrp_crL^ϋ0rb4w+WFKWbd@]6$C:n6>Yh8s<b|2= $-5#2ZE[ƒ('Bs01k4烤%J?"ZJM9vvrc&s 58#~X*"U,8j1ܳgk?*mY^neY9A@rJ>yLӆ盕b;1!8҅{"=O1vm%MEZ`Y۰ ]2 e7#W~JpL f}hh?[/îcs$)h8]{Sz޾ HR~ peE%^mP6WM`k*~^u)i%JaT`~m%|@ ~&IjII vq=5FIǨAjKo\ݍ@Hu. i7h[m o[]P)T+վC`Y״ڮKXҜ{[5"nи|AHey'G50zuѷ¼c6vkt;`}P{1g]UixȤ=ЎP$ĊoSSBf?xR)X6 qߠB@qYM. wVmPtazz?Kz3R࿤I׻‡>}:2u!+>E#G6^Ii5B;_ք|ſ|PAn5./ .O+6_}ohf\cjbk)9S1mJs?iOz>#VBNqlf"D(^) $˳`FJEnx[Y UbQ2@\ k3 áBVnp [7:gRTS/5a'گԟ)0Z^P4k83iS2!yKc:;F"d4-*G=I&FK\P?{Ls/oYWn# [88SALEe { LN]Ȗ\r HߑXzۛo1:ruXp0a1oU 7fqCf,^ =xl\5 =OS9}KpY^nN(D~/屛 '=x^2>ZC2}쑂}= hQ9* Uoٌ> ٭W{bSsq;_FQ9dއc1V8X&bJ7nWVi.. УJc_]fޣZ^juA*o3JI`(ךyXyV3RBqB^!v+(+Q;gk8 qe.{ H_>yjlf? Q0 JRZ>fۜ~!CH5-k@h *L$]P`@U%㽷\H*\#S:C䙸Q9pc>'tLxw g+I&-"!^CV2P0 IFZ2l](aq׎GF2#yP!Ø9L,]btm{A~2_a D]!dqF񁄦L*` R Ͼ.CENfgN @Cc(q޹qar$Aڌ@ +&lKb2~`%ia*rkkAK6IB]^ruiS{Owge}Ьhȗ ;u_&Bɱ;Ϭ [49T 㨷f:Kk&JL6.)wk"=(_) e`~&qv8+M3ֺ㬗uc5PyKvРG  U8}7=& 4Z)BBjdtu6bLd\ly"xA2|q$WF#r30GigAN< w43+}v7KkjmNb ~D1"[g?:M2jx5Fw~_eԕ/o0>a)^4o?O)Ҟy!h4E|DMs_Hk=wte)NH߱h.ԁioEO/^ ;N=nL%[0뱈V)W xxy\{:bs0P@|s:Nʁ}s=f?iHͤ/\s⫧FY+B6?~Z 0v54y20 > R=~~0)C"h^: z.@P=O6ifԩ>6 *KH#D{|`#4gkPAh"WlPSK9n-umnZo'G/fR魒^c˘Iț3'b%K9n3QHܐIprc *hY?3܋;㹝Q̗\]+ 'Xps/奈 >S6ur }! Q! . 3;l$(+B[_ez%/{;deRnN6}A* 뒄vTʀ[Xlb`=BX wRA;9G<&c,.N,Bf k'T9O?cU`3π'9]5ˑ+^1(K+ ㉯*sO\|oigt22gd4Q1#9BWcr{]x!wF^z~崘vb_S݆A_N l' oX49e" { %euA#BxETDħ`It ɦ^le$StO˧uU$Cc? kI(ҁլ'À)#vREY/_k*H1=#{4j1*^B:1v\w|ejԾ*dw]&ι$B-.B@sWyA*t5 żݠ:&hB~Mvi_@=ZR~R@}ZL# uJNHAip},bce0 - 8Eg)T,ܠ2sےtHnŵ %\VMْ-\թ\ro ՛@VW &7!jP&h})bʈ}O];rJ&xT8[bހ$ҡWJB\6$$SG@-2/[<;I݌n%o "GKKxI;^v}@h#,G}Gޔ[7y'w;F/)ԓ0@E_`+N ̖\C޴zWͤN{Tk4K ^n}GXl}u/9q8C*M ѣdV4RW,u }zb\ėpG_6zXB+þ9L絷gzPp֢h",GFZ-8"j^ƀ.(Z V;1#Y%KSNo~jE$& cn`DuRh E]=+9B$}WI0OpU ~:r+J}n(Q 򜳙Iu>;S4,O (󚾃_G-~}۶Tdj5Z.Kn,Lq#+b.nnDa39HԘ9L;9 ezC7^^TzQ^dHLG q}x^-S\mqvnVqJ29܍]+VMZ5x'5ΎC>iҩw%*13%]ؼ:q/Ɓj0s!;c[ne& `2ґ]_Uu㏧q٣m~9ʒi~BVYM5 b^1h- .Xz_R<"tA"ݶiUߖZz+E{ΏaF饌t9]t"}X7ܞxd' *A=~Tm色T7霭Y4_g&srz#rlx݃  :>]%8K7!ӝZ#&vcR_6sYFc:#=I TD];+,+aY;yr$PLjZJ*O%ze(9}\c[Rqgpd@^d[ke2kQ-~Ä߫V+H$4C:jAj_F\ CA<IFW"nr*!BCIBY<8gHOQOG<{Wd3Q\k y=Um;-M l۬ MDw|lʎ/ǮDo%*&s- fJ;|9qSI鲹I/ F ל8WUl 7 RnKʍ]B _[tc1:5ULA6lت4&S9>Xu`u'22Y6ؼ΂!h:QW"+hQۅqD;(Ød!#$ጢ.Gx p O4Av֭$߉)/ZAB7l?/$QDC a 4¶_& z?y wջ6[£0!M(+h.凩kJo3]R3pߚg BAY@#*% AdM~ł LJr*=PoeU4ePm;sK_D) 6*Ϥ,0ØRK<KlM&.:f9-nFs=EZ14dBٱ#=X}4X>8hɫxpN;3JW}Utns0H ։t(T|z+9f޷Ϩ4 0?Gc;ڶP\O-U\?P ZzˌB >gb}8'xaT\p^׾qvXEǤ %#eb SHʋ`T.)r#;\!ɾxb$D fpy˭P#Ԫ. }trζ݂WWs=v G2OyzW.@!pɘGXz(J{HPCz[* !5 m:agDvQf <9#$B7M`/!;66䭧4.@6W m%L^h 843Bnamq,bUu^a+7ݘ[E䨈=GXbj7I4 md %f @v/#W90bZR"oqxw`ַ#3*^=ހZzLVWBdC8кO?A(n?xXbnG\$[xVy"OSG2A)CvaPi] 'm=Ʃ@Q3Wc~9PoU$>CH))̧'-7I~.N"ͯQKDXH:לjZ짺Av<&Jj|ր p:qunyR+K|js97nHaZ׏-c/@*T8AËAwYygoȗlET8&S{3WlVfH] ~##'~T۶L}'+g{̠SQMgP99n:>J]|>1䔹>K"*i.ɶSnh0of"jS2-CW.kgYZ7zXZִF! #Gi]ŗXiɟ1˦r!cHkMeBd4YS xÏmtΉ\TnU4 >$ɝ-bP~ Uh}1Hgiv\SdOWtL\;K o57 ft'|?;P"0ψ$V.M`"?>]EdmLSu[gv. ]N)ߌ%'u(kJ'7kh/ =Ru|C)t^+"\}(<\ 3xOYaΤ%7JCVuv:>B&1ც},oK{bOJ[p./A{N㋵a[S!wP k R~nlqN&0"V)XO%fx 1쇼$Ӎ$Grˋa{3R^ ѩ3Հڭ#$C_awMi.EC V&-ZH:hR@)?ˬ&!E, њd,@UWnz8RxE'k\CEv'L+vC12qgt|cػ՗{Bs≷_ra--o!?vYݖ;5"w#I Ln ~N0UePO*8bOOȱSe@ f!Ay0 @\7z_d6Ns ą}[3PHQƅZ9j 02Z͟h-41&3_f2F3L1Da"4U\~Kz}=l[Rс_@~lehAmwhj,w;Vfx1DF IT{1cœN,MXv@zspFFgYZ7zXZִF! ~ar]ŗXi%@Z}Ց.>lsjj#h7kCZلƱ,h=$|#o`\wN|wg^CHU<@N!&ӬS-f0d*/*] 7IPi 8:__vx FhA_%#j ջzgEBIŅ#  |w}iX .B41 W9P$^ZO* S 2޿^lN0^$Gy2o3[r'& 4kF+CV } wXcq%N Y1W& q[!fz*FQ[ G?ꩪ%1c |} 6mx987xQ;D' HW+ňRupreOt]|&Fp(R;ȣ9F7[p{]t6DLOȋT{8%#^+<%ruM$ @Ÿ;BQ\*=:RqklG3K9eQU"pizNRS=1`2LBYvv,tHkdK"v1cRr.qm(^s.O 1z<X_PmL+G^%ҍ`c,0=T⿮^ h]QޣWwz? йWT 72ܳU0Hz@u:/=@ Q4n+,S1Wv4Gn Ee""L~nykPhW\(|msYgG^@J>iR?lݠW\\MwaD]1* 3ޥd?yţ'A[ :'AXJ\ɣ-#`t==3XaojZFq!$B]wz"bl8kgrv̚20J;._n0,"8z=,!gp3E()`E(TQ;6KNV/n+Ygͩ6N8J<J}"J05ˎ;33Dz$3(;:ZO ?3*!h]W yn.[މEG%I#Nm^}E-МCkW6`n}l-c`L:Qhw (Zc!D²謊yQkLy h)(s5{!zO߁ '~wzBlh.ZG@dYf4{BA" hԻYu?<,߹zX7Ot x[EՌۑ=*5.KZ2O&3 lxq3sS2!e7'/]Q`GqRZY ,Lѧ3x%Zez5Ocuߔ0jxX56E1:s_R.ڔ}q 4(6cy:2CC^biZ APc2I >\FAIq&-&nCKf;6($Cѻew{ -aȧ>!]؍p¹}ϞXFFSB9P(r5`1?zI?Y?hĊ }^MX$N{/CG@I~4GW2m]cGSD2!Vu5_:ݿ OVJE(:gLjݲ Cq>ӓ~TI~ 7jaJUqJ'mAi{FbB+|,[7@σJODV옥8"X~&&6DN'3e&w{}]c EnDcE:*O'Q# +1[zQy^u#Q;GI Z0 ;[SGqcȹcsKLı z[+ aM2Nfz%.B ~.շwvˁ˥b`19gUg 5N8eTaF+P ]se"#x]@/XC pFN/-zDBV(DiPI+ J * EtVܸ1S`6[NJK$,et7-h*" ;w\YsO l[  ֝*$4h2Vٴ]"˷!@H?vަxL %nK ˋ4h$_vTR(l"AŅŢM699;#JzH«kzhINf# .B@Mwns:(CeַRז>Hz2LNUS=}-,@ŊgV%q1%[ݻ8 K.E삎*찭TV3PO҉M~_ܬ*" Q mbۈ]+ IL.jSmR+^;; C#lU5 *Nd'Z@N%Ôÿ@6ɇHr 6Gv˅c\+\6lڿ>VȪ/s]UiYllE9-rt8[GɺAMV@(GrŸh WT]ahM)dbh!y(]XCJӸ{1~LLnYE_2˃4xƛam}$+V屧”TJ CSbDcgvXZ7xְԂBg?6&ky6nԋ bF#d ?K +lΗ$R7(j꼑oy6(sb3AڂN-J-R0M8/2mQ6#%1${v;}+4ۤe6 3ZMLL-bھיvJft 8:+$]uU)xqG ^4V8-y$$Ҋ}GGEÚ5 $NT Bd~STV+1[Z6H8WNŸn3fV2ĝ߅H̺k9/Ы*Ad#M?MOqe^;0xhiy}ɛG~',D-ܵxDf=a߲{^Lߝ tOO@Pn+a05`߀T*$d6nWxc(vIgiSP*ubʱSC,ph~w;DW!![S%nz$Wz(pPB&E[Nuozbr,hX{AڴZY LH+KH=?Ơ螺F]@=Bў?=J=4RchJ,`:oe0BdpKl<0})| j:*+y{Qdt[5 -?gsp`:$=eeG,^vVM5B Q<y΀NpE 3z?f=mb :4 P縱C <Ӑv!fjᥛq-XQ 5 3tu%phdxN%ጱqUtP3!Íbk<"E-xOmPg[_҆[)\.zʫDaIqɖuIIiZ v|'ȊHX4'r |72WA81PG 4Fni&|qZ7.h}  b$ateXV69a p"crH( ,I*yMe}pI 4 r 6 oJCr'H찼=[7m'>Gijz}Pg6u&:0.^ R X NlƣQl<;). )̔2b8 06GP;ǼEz89ضTn b@QϷ$6to#)E`@TxL,&Y˸>  D]Ejҟ,Ը%Ym LI<(KueACMS}e2mr0f$G~ɐ"y̷Z*K'ZHQ okQE9 $q55Im`cCC/"&a[]s8 -cc9 w$4쀊oD(3ˆU1gd?^y *vKN 5S&ˮOOSbedĮ ]ϸS@D+S)A,t_1%0gVU&l2@8K~=u9]rҢ}uB3>~W^")hD~j8:~5/R;r2hfCz`q󙇡,G0̇7*|&ڍݡ=DQ *GģmoB X ,5tB]h:GE \-LPυ 8^G RQa CdwK*NO!Vj\ӫj>?`Lnh/ZyYڵ ް[ `'Ɯ.^'Y]Ʋ4(y/LoKkŢ5F2̏w ά0ӿ &0n5 %ɱux%J%U+fXٵH7^p6- T;얀 0N<@?wQvQNHنe,G M̷M BZf&*.{4f8!Ŷ[(wGu faL,z{F} x '֚ EI&5}߇7랽6 sKX $v^y}S<D0iqY?|)V* e @t4wg  v&^48^(].2=A-+tֺ 'R܎U6%@ &&UO!B)\#?/Wƴԛx7q["iw P @}jO}nThHI%Q0yE~%ɵ~0>'k4$n!9qb-&8xھ?O|`4Ju0eK7A{;*鏮)/0!jDp[`8C`{h:ۺix٤7AmI1S+Sq5kcnj'LDJ@ԕ&ﯺ slSdhö:UTpbz[ A;m67&Gϛ 5tұvײ5KX?& ¢Ѝ~LF@\٘ fĻۘW1%똩h2rG(L= ZlC^EFɷƁEcS/H5h+ aqGe4tg^DN&aNe, ۈbc[#K:#@ [-l$0}BxPOv"iy ⥬)mcx p4FzKߵ2:=lp_)̬ e[jXM)*jΦ,r^Q3VYNϺV{bs=y^P;^ψgSq]O_(3~(`2ЀOR%hO 8` Pec.ƌ;N{pomyOnRm7cH&v/<8a#.,o׌f.KL'<_Xs&8BKR.Q&I]t#i5mcEeʏa0%V94(Vz+ q0jWPa]U^E3}~qluC6@ahtN"lgY|Ɵ-Nwe\;h!; ? ѿnvjZ nlp9R棎 1d%>3' 3G P82UkRhNgaۃ#j;n|hP*x*# g֤kIgVXcOFqG⯳ZQÓ[)P+6UЧhfX962)f?ewyGd l6 T К{)[ƪޯc4v294*"BxVV3< l-1{Dի lԹŬ.MGæ\JL,=>yL wll$3aCxl_ "h{6 4GA1| pt(xZ-NosQ!40ħTeNUbV-e7q6DU<'`:'~fZcrzes<(Ŗ5T"8mZgaZ7.7J6͟|)*;J \h j2t;yz"b W8J02c`$1;#91<'Z!$ҰW)欀@`%~;Ϡ[y},P 󷇗5]8үs ߪbT4NN)+flAXKC%ΞHVjE}&E pH›Q}c ڽ_w=9ULa!ݛƹ}/t,vdr˹q: I֔P`DqE)WT97<uO]<5@Qp<歫9*,bY}_pVRXD`ߤNmqJ)ը8А&%3#]l}ù0E_%.nOOcK\Geh?~PA8:3ح>*0R[6rʔc2$x@d;>\Qaec %6%tqbEIwDjd=}aj;6s=L!hfJKgh:Bce#DP*T'h-O{{$"?$WOMk@\LS ΁a Lѧ= l :)I37n5{%+[Q"3vpGO* &jEqRIwqKd$ŵ-.W\^`(0ȼ #}^K{$N(>%1izmlb닓K~DkQ.b(}]S/pH/OBXKK_B08@,vO.%j?DuGYiHt0dj[IF_Tk?STZ4;]VP!16`XO3eG5MFh],Hqu^v3=?' I<nO7tu%..STp\ll9էN=: I^ȥtWF9\|]0Έ$bV8M:3B3꬚J:Ke'eӟ`U\2\,6ĘE9K-&p1FJ3]xAzvAc+"'$]N\ߢAW dތoiICl#PA، ,~a݌;) k0]V!= ;Y `CQREʼn|BS(;ƺ@wC^AA&m ErOrQأ8Gb. ۷2uJtNx%Tzwb)0? ^96U!gF,I`NpZ`N ''gxE6V : aYLh|a|(m'TlD?jb{Q:DS&@*;nջך8hi<"{M*eGSی jRc%nq:@5D'l1uvJzD]I R PS3ZV$p\ǤM&AfڷDxW<8VEl0 omA쁴_%OsIC~.WkK)%c#k-]uiܘY幁0e)Ϯ?11f, ]"ntLܙJ,NT YW,l~ *OȑwGAfFhGX8CɪNhX6th\[n^ѾRdH%%+0+_R𥚒}1.vb `ٹX'A`-w/M nk?w5ؼLgrefdj[h\PQ_8.sT_?Ac5®C%$|)"rq.٦0elU,=YxPx g #Ü'-S6RvϣՁl8CN Tղ-5^Uѐ>PQ!{AZgpnH<@6v:-DO l #z(+g 5&Ħ1NʿHBeB@tEF2)K^ߜoQ9=U驹ju{@ J)vtz'T^۹!IG_*Ა2|<=3xX.~&B^jY 1`@7 2IUQ gyoyDVO2݇ZǨyV?~au^ LޣWˋ wa0>`IMFqq;"IJ](2TM˕:rS+xqRhۙTVȹ!q {|OpoV^6a \f[ Ĭ~<6*ղbI 9p_ݵ3@=W{E?#H4Ė3k6]KX[&Z_#q@ۭ>O5P&}8K $ x qhTRHChaS47[*?Vt?7Pt4+#/ 1( !&帒J6MVuX(K mTz0mh2^E{ v1Bh/xjc,fCK8Zs[l,殁&0PƷg'.bu qD&rЁYNNMu|^P.!z4y2Y@im6t@q D1(pΠugП ǟP ZX.DAjeqwZEgtβ*h79o]Mi:oozk;(J FGN'&؆^ΞCq]CvUji~'IVߣ @sL(a%26=/` U 8<s\TlX wЙSpIɃ}/gL$'W6ӫs0"aG$]6{H܎`k=EfYAc|(=G7uP_oZȪ󮶲\6T bۋ& \ITv ¡a6wchut/^6t`Lgvm2:c.%|m Zo-')8?a%?ư>Qkc|㚀Rds Ms?19Y^Riu`@)l6e98Qr+8ڝ#Bn! p/0Pkl,v#Y7jp|ҏ:kjyDy_{^&{q\yo_L ba)aɨ)$ mOk t0d cG ׈ncmnCdE}y <)kOL86W)H0UWӁ@9b8l4*u7RA4$x`MdV[_t&/բ17lY(dZ:|6&~-,cӶOpEu%V&3"6I?'x*sf{oS,k&ظӒr@:t{v8{)'?MQwym%֐zaCCM-l +{+: .LD샤Ыbnss3V2xQnXaGKis_ߺ5DZi1^o}qߔ]MTP66L臡w_\E-ֲڠ^~'8@ @6 I l}\9=L \SwJцΣ_"t`h{-eV ntpǘ|$W+'ohӂa@$ֵyU8}6|nly:9Ĥq>?}fdge=m[;1WV`Eɍ`?*(jQWdjhso L7;Zގ0 #:*\u-u2 'Q>7d ]P1,ft10أFTQ94dN\\jd|#X~Qz%({g,= )8nܯQIȁt#awŽ . nظm0|aG+Ν{H(˻^#k|_Zn fVE{3 85wz#9Xt?ddjr(U;ć/ 2 HfPO)N˺ܤ{XuEdX~ !AV݅ʿ'([՘)>J7/!*:Ez5 tp ؑTP]^z#I(0-ݼp**~a1!n;ɷ`44E?6eƓh ǖ}  QRV cS4WЪT.y_60$p,I\&;H6@L' >d%xؠY&eTjmG;uLPDԺEg6k.#\]9U=o2_FduNymXA+)')]bEF!5ye:֙pxi7Z,v!/ߝԎABs!#FEDZ n&#\9mgUz#B+D^2+|j*B`^P$lCșG va]!f,>O܎pKKH%!/#KJ,@Bح+{w#){}bDV$3+vW< =>dǥplAkn1x<ÐV|UOwÝK`; b:gc}ef{VwdB"c\ebja-*@v*3< uOU*ew`gb s#^rQ:<o l^":Ku(ɉ(}u:ċ'ۚ|<{fݝLp'A`}[z[G Qiu;TRfl rp; |Rz o6SO<%GIw T}vضbv֯U١L)2DDMqsd~ qc+$ +HޘaaY1.jb;kӬ"ߴC^ W̒GWpzˣvӧ^Hrvjj_s,7-PT)UM|TgCfuUrafojG_$ oLMy˓Jߢ*4@ah;ZAS~Uv~7kWΖd"9g M=2dߎ#f] !%Zeo.P c|7+hbb8vHּ~b_>J70Sc"x;IU8_b6?jo[ހ ZG_ߖøږWsx7ɅwIyGN>p+IَH45\I&9!@W[no *牄+l扚❶ڟeRJ䗸 3t{)fzdїaB2a+ Ybsu4k\a(5mdd'P6x4ȷmқ^=AZXxsʼr(0] ur n*͎nEwOw߄k)Ea'zsx&9.o5WtmZ¯@3)̓莸x{DQ8G_="爸sOmKtC [|&}1:^r w9I)~'S!:=8dwc;*4d9Kh`?F`|9<ѡSӐ&EUv~mf:̚cݪT/= 1 A5NЙs/ѱiSRU _Rjé7ɢ^eww 64/Gݽ7J4?݋adVGЍuQH;d@ u0lBuCJpȣE]Nò|n9%l BWd:B.kC- [{k6..oA[hEs%3Nϡln\sEuKM#XV0Y֭:xOIoLiQ]82nc&c1+60<.=bCzqXI~`J.(9lɓmhߍ;OъR*O};c0}ajV.khi+-=¤v 24Cu3~/Ņ`樾BM*Q!#cu #p-]v͟CLK\z0^l věGW*Q9J LRoѽ2>4Jكb8dlHgX 9-^lV5b@Y,}9%q{6:)#$p+C# Vuٖ_PMiT]f/&ɱ&h11$j?'Ϋb\_-:Wg9 DsU8*V+yM '3jڳc YJLJ"|G\`b)+ - ()a\Hd=2o5cZ"YC9R"gq*ǽ7uhWKt*eY| _Q0uM{A +%zqVn/2Dl/?u:l&sxM3 1$WIrk#P啻"VPlʙ]O<Mβ5jXn4eӇEO+l>W;l^A K^匂OXbހP #/ueL)}{$uS`r?/RRm: KY<^0ѝ[ҺtfLbe/>Vqr/!/uS $F3lhcLԵqܳvf}Hb?ٮ>y}_-sR3i'iAqRiA74l ὠ,D ;-?M'p/4L\Txh ]kQi >-=:"yTkeRBQi;GIJYv-<{@`J'`.MPڅOؑ(VKԠVgt/q}-3뒣qz~Xhy:Bv8.̝ &\bO>ĀdcWe!b5d_/0o#?@9޵V>RB؇W}fWi{!_L `QT@ps*uMJςdƜY= YjiUF:2:<גsѩEV:Q'ʞ"U40m[(3C 3<knD,]J[]x{#ʲjT^]PZɘt!^ȥ^fB,{xP,}|u y{R< S5NANhMc/^^ſ>'pT#ڱ7 kOw[tŪ[wW 4*㉜\־2:W kn|>hUq/b yJMa'~vb0'w;R! 惘-D2:'ml1C>~u2҃%2tFE G2ٌK]C8WUG/"eXXFkv*qɸQGG2Q5BiXKbdm 02'|t" nQށmX/]Xs;!_qNG[i MKLsA ohb^\ie`wq,e|S }EwnGC~ܭ(۟ 9sEBԔ11Ev̉4M||^yhT7(zz nE-^vILBfc2U[]_TᯧO9<ؘKU-fyƉl5s^.5[^l|k$p|R'`}cI!g,|hMDuk=b%=fҵn^N<<>!aN`lU(bWW_nKՂ ۷c[[ R\$7/sx Ӂ_U&B|%]L1M u"ܤ74-&$HD}ބ*#q10Xuc ?t a}*!`*V& BLB8\3CЀ:4fyA0غe"5phiA5KvۈpC"Ȼ-̍ j}c}. 3O1H%Q^1 o6ZuF#C<ϛ0L'ؾU4 ZEBg;X xW\Ã',9X=E+ҳ{M s>Ji/覜0 @| u&֮EhXAbKԃ 8#K3!Mb1װfӤ*_ _}nT7vrg:R4]v5/8Rg,;*qڔ7Iݔ6vv"C"> / uPi ړ |$PlduxQJ3јT&yXOJ $5Vr.E߀91CO, m/iY.=O .XRY/QV5OjM~u."ޢh X9VKFIl#Ek+X Te—ho}7g'1 k_dHn^dIk$ZVfTYG_MBx q.ogڿi->8>S鐉DŽTA}`YX:KÇB$1C$#P=ٓneFG'{v4U.pktG׭9R*̱ nanE8ς)_sHR9La}SS:A f.a< '"sܪ+kJ}'EU o_Pk| yBߣ;Azz"R6!^Ni&-P2\}[S0 _)uh ǯ 6y:7j#j/S!,UK;.vz{>3lFD;w9+&m"%Td !c⃧Y.QJpѧ3$h # Jx  G>o"Āuc3$: nO%ݗ'pibB/HbTLD߱agj4ћq"1W6GRJJ!}qG* t+5sht[>cuv+⑏J*2^cLtcgKF4>yd)C'9y,ГG>}o;.Mp{+t0}uk p( &}[P%d8|Uz6(t{@Xw4|=<ֽb{j0-VxfS8a?r_r aO2<9x| O.p?)?e7Lu%S:#6aIIa|r5<9/?V,:1dIvPB8Ȃ\t3Ѡ : me:eU-Dz`F"4>VEzt.0\x"[HS{Ȳ3:g2TચԐⳁޑeOMZ@ZҌ5f]5C|,IV'4؝05$њQ@XS Y/ޭ`!x2ЙauImWj ^aPşfއ} &!0my=og Ujܗ8Rx, N/8PDC;9QƷDuԅ,3o *k$r|4?Q`lf%N'≯MsPLTzvѩ (9޺d4Y2S:0<ΗZ80eitˢ `'Pt6]0 }Mu.d W2%F%g1AgG]HDV˂r 2i8׶7eblB?kЃ4îBQd?y~v/ja舘m/ vRQFO%[Xb'e9ɔ(nz"{2H)W-꽩::Fz`{k B eIJwwOQ:y2󅇇N2;s^Me`$#f{iZ9,tΪ'm#ysIݼfp5>:Q3HUt$|Q7JdRhN {#EhLd8uc]-"~R:=in~'B>Kt*D U6 V9:ПߔfR'GM31սO1HUv1XlJ4TQcW d7T(T` o35iYѯDW6>i7[_T_Mt) (J1M62Ň.Uڎ=`?+:?{RuWHTyx ɒ8zNA2 T o}^|cN!= @u;?"p'/gN3Uhy/@Q)f]ۿfz/y^x5]mK۵%-dkپΤ$Ϝq #7gSynKӬ>i ÿL"tiQVcG>74GYN,>|@EFDQ$*b9+ @v@5 =\Spv57/V>[O_E XC'|[973[L:)Y UITq]t4⭰:,9 Ux2Ԝ Ґnmp 96;lUlEy?|Nq$5=~vŷ;2<_7Nm#*BI K{&B>bⓏچK'*2Tυ|Fmͩc*obWp% Y]OgYZ7305fc3d2fb945d4cc39d96444e22a5858713b056323e8ae4a2a39809963028663529f1011d7a0db 0078a6bb432ee63117c92ce3b78ffe13fa962525c3f4ecfee061307550455a214ea35574333ad3b9