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 |) LL\ ]% Jordan_Hoelder:threads=4elapsed=17.799cpu=48.044gc=1.948factor=2.707zXZִF! 1]]ŗXiɟH)0%o _-mX^x vlQ48D2QyzĻ Ζ+nsRz7zYPɖ$~ 둑̝v)c{N BI!@9߉YJf5}pDbbaE,t=I7>S(6,:f]-Q8{ưȮ>; UeF}#nw|ږ՘OI9hOBjl<_-""1SuR֖D1KV^DmqFaMWڃP[pЈ=$l 6rB!f5GPu$25 E)}w;}E1=08_ 9g{xCf)²;Ud!R]n9 M8BU΁G-N`1dё#;%&h? ~ED^[pI2XhK^\$35c?gٲzW/S ez<ρh&Pt0ڣK<uz|0Pгu  &:#')(n@ԓmYu+(/6 OX)&NM:eoU(0۸![ jȳ0 *,(YʤK1+|\S4ÁԒ33ɅQ6d::jg,m&^ ̙ 5PeC=Hbu@>H| .mm܁Aj n"S8OhX/qs'3O \ "hZJ(︘"3ҸUFTXJ}P_{dZTZ=H`+dvR8e8O.GpW Ƒ#*gdo 8VW;S2yrY+.o0 <ٵzpΗǢ3g'~,Cz hu :IdZoch[W/? T-uE/Ac1>G7ͱwC Fci$-`2+/L$ Ru8{]Op4apk6e&%e#6ŵOB %+("౸e5j.7tx&3\M9v4(%g%I TpR]9sWN7,ȕ1utJ=HĘu+W6M];g<5l$}ˊDtUd`g@DF\!UK=F@.Xu&8%A:<V&SA(9oC-WnSp9NXwXr~a,ϖF*gx]#r=;5|w©_|l;')_55 JA35b_8 }"vLjyD QXp/{>Kq\ەݼfpa5J+49Dk|fv~d8\sc_kz/"@^Nhl u3 4;x&ޞ*sf)}ҋ@kѕcf!z(,t[)ig& gEY߀ /# 1B yڞT2t4(nz<55R[=@ק߼\L\: titf!t#`Do2M]WF<+FE\Ƈ`BfO4.k`cop#Tݎ_#5r9nMgG,>fd p[ـ7|\48>OJhrG~] VX#nBN#,D@NYO7n `K^QnGmJDlOTJQ|ºKH5*5[aQJPw3l9($Ο@TjS2,J=8eY"w GD ױ.? ,/={Xs PS ) Jordan_Hoelder  Q'(QN}f=i}ks9(⿎Dhcc% z0H=,}&4lar,Y$=p'azBkJD(T|-f${oj/BeX 67sd 7c:!bU,xA&X<8¶7?^iᾫ뺛%>~H Ex(P̥m=- ی`n-A.l\w2bQ:LHjT( )rj}cF>eCf0CZ4('iNT4dz -O=g9vɂ,Yˢ.HF&4Db䤈QEW޳?ii<~:[&VI--!9tN/%Z a>hqUpO$X߱:@)7CQlԖ;ٲ_K ,W," BA3!{i5rR儤Cs)M[}"qp!?i2?XTrT_B2}(͙%PhNyX2ERu4a+U2)0`}DQn5. zc9d |pbDsO;eb h :_Z FNnNBP z8}4cP'sWv/GO$x&Sى?iHDXQŸGӹmKm)RK Œ%tnaHB:0j0N.\m{NV >1uYO PƥÛ-mbaE*BdkU,DyKOYzQ!S`'ػD*!mƠ#6> ^ 76JT|w5bd*W-Gٜ*Y(J6ؓE ^OHpMH`FsR$d_=E|s9\]|57ȇ'4 V\jR"N fΡd=#T;Q+[#ע?BDq\qi52 ifO{z i^ĠS,u d.ž:=9`b؟}LVN%rDžI g/=i[PǐhK%Cl,OO_?UIyt?rl#?  YK,~Cd@PErd9V듸 jSm-f6) KG7Od-(ƽ>N}REW^~RkI˓i|Pw!GV)}F 5GjP; hJß#d>az-c-% @RȨm93^s٦xrңo],] z|Z;4fp b ~ʶ$\ wۘVfkk#U'(p@$x2QbBWmyA0L!8s^pدvίt!Uʭ':~\maCJ'VO yl5+b(cn; MdҖ7Gh݅6ˮ<[w97 UtOۜT"Р]^)ׁ-)4be+ے у~54D>o߇ׄ\/FB4N,&ʝo8đccG/ 3Ǔ _ktX0ZKRQqeK. KMIs{FH bVd5E}w.ǿp <.DA_ؿw?3~\k9,_n,{{}.XӒ g@#Q9熳wa 탁GxPb /epI3cq|Qj H޻fݸLp{Dq+lfjm@r2NPx$85dNf\!nE_/Q$vנfZa.BĐH!OKh`;~К>i?0kMV]ɻ9r[*2iQhϻlR 0qjg{߼F%$"4#y s(GKЊ?o N=0]joA8U_Fn ?v9UvVTP=^|i9yp8@Eũ,~L7sjhs&WaT#o/|-2vANr! $Ý9 7]\M _3x)HJ RHAK|T RxbKk|eP۳GEկ_k R(ċLN&X֢2Sﻄ_j xO2ϛV19)&!Vn<>wN0 qV$NNoRս(5h4][M@\H2~8m3ޫTh NpMtZ\EYsCUA/<xUu~Z@V%'o/(X\۾쏵Y74"ZM[;$ h# łfr *2@խΩDh?=nR,e`6hZW~ b` ~X魰&Swȿ|A2 ?XLS}?Uܬ _3<0o`Sa_i1q&isDgkӽ cB(`w݄{俌U:?S)ŤmCv9$0pK-\)!6, vrQ[xzqTfBg܌%ks]L_rP$AZvLBﯭV'DH߳x[nK,@"ˋ%3 OY=*`.$/k7wto1SqP u>X׾|r2hC"u^~CV+Cpz3%We. _m*7kzxE>`0++f$wtH"SC<#7XӶudؕM=r\PR2٥V\(0O1Ą{aIFX/9!n[do1S/:!j1HZ6C Q f7>ɻzfLϝ%>G !H%) 4KbG5 7Z;x'B,jMz⃎8`̅u\I*IOHxt3[ád61,fFLBm>Xtt̸M nZcgxš'RR!Q-I(t:J7eV- 騴S nPΩ坑\RٝVvR `x"t%VVWFΪv($w'"d0r4C̀'# L{2nkAd[䓓~w_fb5_ 9AJSp@@*/Ja7$Rleg5EI/;= !`:zjUg,(`.9r~VC*;`lrzvߊqwW.\"ڡAtWs]}Y+^G` Hc1ݭ9G1WI'T <>Ty -_u`7p Ht\MS%aT}=AS 8H߷#/ۍEW2|MaObZ5wդZ.j,iԙ?`/^SI-X(zR'UuaT7¸EsBݾL9YUf@nzj&'6EDb-79Kk>\`O?Z&KU0㝠ŲDnvF"KSIv|lɎ\w[陈{GŸjXgc~>Ddhrb C@(6/)5f悰-,WrkҨ.Mn`%Lx$mtBvS\Ѐ뺺K&i9 P6mzQXu)yޥuI`FjG Ba59T6Q7> A*;׀7Qt]UFw7w P ]XMfc=V 4z>8/y"Z?M8qMz95U'oVxVv޶z+ٲמq'#`}qe`HR EIُӜ~mM"R`tlZ܏ !.O'K{]<:o8 )W w63_ٞ*;&:̱Ф GX5Hr?qdнgzhlVZCU/5to+C:!C%{?YYpqXcI-'Ro_pg{ q>OGoRnF?G)܉!K:otQG^Ķ\|,UtI0tAC 56QN9P@"Ӊ诰<=}=cL) Hb{SzuM$h̯ť+2an!SMnQ(XPm(%0 (La.qMbr NrWU xdBp6iCPWR\wssggt.舜 20-i`9(akنԷ]QOG5v")i09N6>7tĕ%$l2CzE Љsb"cR QɆjp6[kH,S8xM/ƚExk/W`k/(bMƓԳW$0=tH^8gIpx\c4t.}q[ݛ7I >JQ_XDS4\b,M$Lװ <Ic"A@#R[{Uj+D*gv>h 8WI^%F4TK7D1U1=pKFMoժ4ҲlfD="➗%0$Nߝ iA7lLaJ΀i/\ˤ#H/n/f: ov<O"iNZU>XR Z&0,(}CB :Uk>K T+įL6GK Z}2}p?v)m0>d+ s'˴G面D]7՜={kO-%XLr?=JN wx8}#*T9NpkSWvNis[OD# d lpLZ8SK31 m(Qz)-OZ0C?Y#6.f%#Ò7Wʆbo?3.{`H:yX+$8a'WA l2 ̛$iAŜpଋQ]MH [ۢ(M_D 4v]-X#~z3,re5nul/_>\aщBؐ^ңۢ zE.Ll2b+4 =",( K,9_Ty^ W|S}9N0s*tF[PCUOl8RFcUng\yz! ,D=9n>;Jr{9FaN?qP213tx7Yԗ@2qړbBGP\e~1&kE Ʒ7>u);smch[ U.,6xqE)z7@VOֶHZ)=u;^[ OXzm,s gVxb '$肕F؎μ`X ~DO$$LCCdz|bzx67p=I*U ]zwݜ擙 OvW[#_Gpvl:,r?mM0bN-zhȖߪ}q@@ z}op/PgF܆1&~>`%\xf^AP6.+F.)Zѻ7. X O*Pi](?a1I?/y#? :وpuDڨC82ب>{w2h28!<8yECA1$3l+BÍ,7?2ݗ?kPmrӟ;3#$O1|M-fY)V,&q x\J85$E6ڸ3)Qdgv@<xы y%6;*9#9  yC֞ Tv̇DLM[mgᩄ6 N>#.<B 2tHayUXCnHd -q:qʫ^ҲrslP[5ry$bLms][U]=X'!LW jr7dR_hic|&G#>$EWZtO=`b2K|"SHlrJW#w֠y@4R*:OAy8i3C<{y`ǁM(>_*dӉ~V$n(t s˿q>H~h1&. *qgDi9yQtVhqVft/O&DFyfz=HW6 !<[OYt<1CX;(x_yks鷂sɎ@5L.6wrw }J΃SKft;kvdaB7l+|TKoW|T[G2iC58ơ|Iӿ`av<*>,||gchÎ?|~\#* *G%.e1?g zɁdȭo'1a҉bL\2Jj&óՄr[wU@` pQ0˚4f2rpRJP{-A-G 6II4Y 7 qKŴ>Lo|FP /!$dۨ,;Y ^PpCK)u F#Ni9a H2K/[!wjǺ7Ϊf:.@PL藶ߚB#?} SktP4c\9S+2txx31?aF>7gyhF bHIe->G0r=Q*ܬFW(Wg 5ʥa4A(v=_)Dދ7D^P/B`#(Y#[e6gM @KiÂ:@pU4|.wJ"wEC~n^L/ƾѯϋI4Dl4U2op'V՟aa QK5D6i+o"ߠ ܌lJj(j9|vfg{v@;<0'pF's^DM*wV|SSgR]"S /p k"/O_3#~J^_DpTO@C-há>`ۮTg9FXVz#ᖰLGL-zƵܮ^m`ɩ2 WyZx}4F5.q)M/\:Y)kCηR$(rXdD`~i`QpXyqJpS^䪛^Ӿqi՘GSGF~w9xiF#CZg6&&4~/E;AktEY!EE[Țu[d߬ws>W]{,dnB; k6a-w^$TvO0T5 @al#u#; s@VW4ON ʡ)cPXŻ#o,o =feW5RnZxΑPz]3ql+/V׾u` Ǵ H^B!r*#pKw[ 8b'tFT,RKG hk3|/\ ~QnV!C~"PtbB{]zOv}Wɔ a}DQC }|85wxW?r~#.5=ޢϗW>Bo!،rCڸԃZϘO7 ̫ 3x_ SWlLK{NɌ$mFI{7G0Gڃj?HcP>ѽ*f *۱t2J sV,ze >QǗ rG,;,B@Faf(wy >AX!06Z%EmtFw^'VJڙ#Ru^b(0 O$.&ն y ɢ=B7(IbRSMee @R`f@jXA)3+mo1t qU113u+k Rܯ^nts|!A5l4~CMDeCN(X"7fuH/8¬q3 8i+b^!.{oz^#lĻUjJFϛ?zCci V \,<OUAHR!֫WO~a QDh^;i嵊f_[מٖhs dYM2 G@&iBؔwջ>q~@^scw\Mi-kkJ1&RņH)y]Է}NguKH hop 6Oo诛O^Tl<*8# Ls=wӱ|1j?U &ci=t-[^#y\lp6?{wccPa~%0NڿM1+~%6,E("\%0i<ވ/TPyoB}QaMpp^L~,勢w 5 xa0i58x>0s2Pu톎b_tȋRǷ8/@tA/%oƬf`wBڵ SB~u4ҎHηoptwqmRD{gYy|+]R MXİ/dJf1hLW]l7 e iHuґd g8Pi4j ; cr7mH :v`ԩ5WwmP{vfxa A"]mon3cOJ#bU%5=ѸS.=偐D`ݓvI|êYv_lnoxd*qa{(v:%x|8$THRWٙfӰh}1p#Bݺѵ_NN|Ry-Ԝa)r'1y3|Bݿ@ݔcRN9R8ϰy&M13 kk7j ``F^q~ϥVJ1|"Zs,@g!TaP%[MY^suGnk(/_1褠7܌4 *xv)ʽ,O"=킟xҳb6<`*?ƕ_uMqi&O!l,hMTԕ+6;u K9JV=rc !E9%.n?Hy顈TBKVvWH iRT6#+[-46HbuNnǍ?0V _*2Tc:#yO}Fԣ:!9@cÿ'&mVRΚ+Pap/IN{~ 6i,^ e܀.#G@gu#nB WZ} Re`N<5t޼.&NB;6 򷳗Eb^oo.rJYSH<^{?>W%otU%aܹDl%/V60" .4Դs5y] n?#b I߀fܗ\J8*6уCio'AWݕ52\,BςdJv+.%i~ aZ ?0{T\AtRTʆ9H^  dYI䯀wv%hTe :νݟrYHP"JYXv2Ft{}ȧ /κ5u}Sxn*PPa78ᰄQt+Q(hz?BTqSArJ~IQEѺ[޻7"hS*iLj[ gBC>믚4R|_KqQUYv8/،ObEE,lQ` %?Z,Le/\\d59kד%o*7vF%Y*T4i[7ۙԝ?lӘc4/7DkijjLԼG1.KbmݬYPh,ІǁU{F#̀ ] R@(C3[90 @*-k1+7U7j"|: !<;*QzKsݬ ElJUGK J!Y A[gd=@fUl` Ua@_)O)D_iRo&vjZA  aɐ$(W7jpC%<t= O[VũߛҔ),ӳ)6؋2Ap-^f|~H*.e/!f @U5ׄ.nm1Xim֊Yb)"p]04\cW9_`x{'h〹@_9rJcp y( wǨ۷͖GNö\DĦECkA?>p-Vô62, gPl 68Ux<],S܂zZEͻW' „ *!d=,bbL=Tڇ\O$l^CKdXq-1 .Q2οf^ O6I b@ }0UU=Reڞ-f"BZLoqjrN`M%ۘ0ATxp{TIQg x|h^mYo\AC3KIq;GԐ*)ɉw^͜&okܔPZsR FOxx\'@^th2†ND+X?j,Ne5 %[U"_AY:^_*LӴzH-P?&LJ`W)JǜkgtEfZȰ bDZ UGe +DvM7uYc7Ϋi[rC|Ϥ%,L!OrigH~v1+,z Q NL]`4>ux+Cٴ }Ҿ|x F4W`Y}Y\zL ~QR)L\ m@/)Hló?l$IlpBnS"lC Z(~ҒI1k D Je~/V`%^rZS??~P7mJ Oł^].xl:W Q+hN=7EwZ |sRm9Ykp%h#bS:ۺX9CX;6S2bo5QbF|Q0qosL٧脈Pd~l+.Y?AV_RDj/XSoWAe~zUezX-]5!OEW~5C@.noE85CS_ߍ尅1:[QGPl38b(9}]Ǯpnݔs~򽤫Cy3T!b|rbMhy!b U NI "ݴZWOX$D( q-OmǙ}iӹnIB,][L5h< 9&h~zIrfe->]34pDUlxnO]N3aΔªw4~9OKY2לKSzוI!!da4f\D"B6W^ IwNj?$ ,eىi&,. zM]$|Hb=:M&C 5 `&#рe"mN/XfBݕ) zmn. qy1r\o|ni.ZLxex.&V%6Bt7oU,W0DK#\ GžC#J<,\6"R@qpp3Z V%m$giE\Z|6CѸ/g1r qgѯ9~J^pMeRϝ[Zw I{9Y|tMVfrO(޶k.U׷]Fg{ZEQ`E)w */<:֜Ypm&c Ƿ~ wgyR#kՎwe\"ip6c`h7 sU+*I^=>}pu1K.BA(In⺊[2pVcp_`.LP*Aו+oc`׊nِf ^bxoֿuszFxWQ̴: U9'5ꞆQFy3s@thLKLi֫V7"㶤0t/kF}/wT]k5aǷXG?;TFx{HS0$ݜ% >2wiDJ䢷,] `F^ӎT%CE%j)`Rg7QNsѾcq ݾٟX9Y{[>BZȚD] p[r>8Iݪ: ..KrX9KaU(I#7ëe6H lB@mi)=a,;q^cATlt)P's2NB=` Ϭ0تOy"_`0u"E:nG# kr`9Py#qR(ptTiXVog~c~{s&o/'~8"fĚ]H%r 33*&hX3-6kq h"cZ&aFě9|dW/<#iYWwmk26,eez'@V^3!o>QiEi?pݾdIcÑ%'.#*BhB դTɝ$n8)!iҫ:xy~=_ŪvMtW.gy ]7>4M.TF^kP]v#e$ތé!`Ġm.N'R&c_mR5!N r.DhPNwTh0x֡={e=m !X0?IOȬf"j= h9$GT6 < 17C ot'xϺ@bmOecп=k L}9ƚ/|¶u*g?XG[r' &q4qag"w.F@Wpּ'B!ߥphkOQ{z^ћooָ ATC| ˁۓԉTxH -7 )+A1B˄?}D)qVI" b`56mXF֖7!gI7̳%WNT^W§*M6͝vIR2]ɰ LAN`ȅv2H@PSYU# TWuM{/\2Ն:kYQ]:guʤQ©a.ú+Η)SNen2Iί폡!eRO]Bhō *_lo~ |[ Tu+k~̿^r]Jd"#$d6lLp;xd\%4߰q_y]!DCpZp"/Z6' !H Nп$%I(cMW9m~2/)W3BWsVUrC,cW:YcE6& ļB2Ǘv%No\bלS\\;<֋_2K&}0oʐLlɃH9~U0Rvr;oߪL*m`2>dߠvh,oJ01oa953/" a/;y*it(>u)I3p@bƻ>F"Y=M0 %.-p]GCDa~t` 1s`ju1},VF~>**+c"/t2Gw#rn9:i&e6ٰgw)p4Ho)>Wpbl#;A,Q y4j#Ss`TYGf]dfra [gGa\ѭJhERaRAB p38lڔ##tNzj<:K&\GUp\ j0S5kR͍l5ؤ8Y Jӷ|/>6Kʎ`D`gsFc촦zl&XB;u +[qʯ@ .p39Eϔc> Goir]7}ef7܏QƃNd3!݉;BEfb'4".*T,Sm~#4,@{õ\rvNFAEEU+G/myC nc=ݝ !v-c_ +g4 7RdimGHeFWG׼'{ t9M"SmkBW?y/boU(ôig4 . 4Ƿ؄*^?g:חɼ[4H; GfDr$XPᲣGX B]Tmg;؜~]M|{G(.E'txREfH}i` LF(цp/n]?6̋-*{rž4~V<{&jq{X7l'E;QB%_.!m5`c~ s k5cYPPO+12%jeޮ_W*QuDlg{X}5d.%FBp 'MPqv~7KF%c&*< i6fU{<J%+ġK%c}vz$bюT@7a|QKU{6Kc IH̾oa~lut9qX/i(b['$r8^N18k)Sj=IV:}QșWǟ먺s+6f<~2fB)\;?@}*,3͸;Х!3 w-̫Y/7m8Bej)TSh(/&~W8zRi>Q+3; Z 7#F񃡚D=;hy!=JԁNf5e (:3/\&%S RBVK!)Pm,De9Qv.@?c2A &B+~xh$ E:js \&y3@zbfÚ(/Vt@?&át4 f7T'arEˌb Gy3#mU怇hIl>eQ|oKT+DW!Kk}ֆcKIp4w[TPҿX68v;m<?3~^|1q8^@B*ˑߤBhgFa`j7j2XM( `Xſ<]Fr`XGXdCFD>C$W‹Vdd&K.4#&ߙ!hð~62UazZ+V0Sy=qLYqq 7:I` 7}mn\Ŭ&:%ldTѫ,U5lS=ynm~Лh#K \e1cGZJO#ڔi8u-Í9ޥȦR'^tl곷hma|\C2xVX.fP~krLI{?/co|Н@mFԾXq۾v[f !YE|U Swc^0 qB Igϯ!y44ޅ-ʥFD [[8{Y>t+3rBXag~CaS7ND$쵊^gk =5\riX'g,|i!WSeŒdD/uAsF&K?/ٍBoG4OnWLzrK"UAK#pt G8*;ՌK{+`6w*|saȜ]3xv2=c:]v͓Ʃn;16O2[QS>/*VǬ2MN/d\^.1qXcTpO XFv&'QekH sB{ŒLXI 1pf8ji5| AoZ03T(8t}6c2 If:*d[ғ4= > p]{tSQjBy/5BX`HBJ}AN!?SEX47} M:̵* " }t=v-niɅe/i;u*tp<%Rr%Y}QD[3 6zO@Jhs0+Q; zQOtU7(͒zR" c߯AʙhGz`! FX^xtimսY'*tψ̕WGZw+eW3W'ΙU-xu ~3_e\Oa|-w7vkufpxU:Z5܅mmq!]^_U36D|byrlK D% /5ӗk ˣ-u i ?ʬԟLѾ%{In^~JR ҘO}d0bHX%N4Y{Q9G&s;׈Je  DZ- k^t[e< VBH}4h1w(֢b7?z(%YѾ޶(fQRK7~iʨЂ>8ĮaDg- |hŤZ? ̓)߅%9RRbo"?4N}oyAZsIзv˒.m3`;S xd_|wU70 ᝇFy p\zݘµOB5cP5g厩J@'ӧ(ن#eK脞(Zx.gʶ3~ x>BMJhhYԾ6ҧgqf?mTK9|0Z̚CQA }>>9`1ȕ>F$FX XbLbQIvnZ.rmKZ^ OEGU毯GjG l|f6ߣתGYS -؀¿ dր#WUR4py3U֞9BcWwUB<'2so5S.WyJFo:Ouv+(̀A"KлGKV?K͊fl,S7$za;sBfHFΌHTxt(/"ڋx(&|kUA=+F%ѧweXkvXT5(-8 jաnp^;NE-g6'2OƘsQR^`˟Ag yw(I*ye{!:A"XE^!YWSAcIN0ul㢻_t ݏQgO䔋Z]ۻc֊٣\}r2vNJ,kZ=q8(ڬL(p1, *=3a)xz6Zq =S?׊k9ωqWJk))^FxJpԜ#H SĤQFd2YI&L KOAX!d4Xɮ~{{9P(}۶nY^qGp%TzOx5E;޻l~r??qwi)}ێ*`c[]H+GIz~{Iyvy-)"펏D 44̘<Ơ緶/['slΖ8Tp0iw ;E?TҸ`-}Ǎ='pw^ )V?=f[=I]󅭛b#8Sߍ a63FV"Qt7a*뼏WVAs%x#: yAss/pXyw?'A/.|_G]qCl%^XOQCw|a1SVto;eBɂ, yFUAnVOJλVǷg,8'nQc-{M =<{&KܢUOخȀ OhRQ.~ ¼ ~f7Jʚ C{ >$hK_`W6fK R&-jͭ+o )T%Yq^(%Л[0fN#raG|K'=tK| #Ο#)0 8i,+ DoʽBdMsǓO?_;|(wёF6.Tvbv G %E n~;_;duH5+ӏg*:ڎϣòut.&H/i ]r,ԓAW |C\uƔjdNsIG֫j4 N(jлI@HxRQtBqBbt鿶Q<+ǧMaK󾦥u.~hEV2#K hу J@!9^ׂ IMߐU攄o/%ܸ8٘8Ay7/Vd`UX#d,"X!b]@x?1:n^kh)>86tjij;-X  [k&fCbTcM 6Д^.u*s%] mn4G6a9; Ng#ν=#]9A X Hݵ.e_raO?f-$=)TlbA8͗\#'OhY0 Inq= C-f]d%oŅfHcNFE'iPͦ(/Vo{,M8Nj\E4ۺHR=\#z 2\z[fz )mǴhkS /3րOxa/Se XS/i{=sS<|/Uwnqᗥ-rnV#k(C6~S2"h:C>{v>Я4}5@ށ4А:SWMU"#7}0*%u.B}wŦ٩=-`zstiK@C\JFxLfB= HnH<=;ԕ8jo8R\w*T?vA 7wD?UP쒤Gbɏ},YEaSs/'[4&۷ ־ ٣~2nn1XOeZ8犊Ǫ 耽GY@+ɵ({*ܟDF!-/P,=;t꟤G0p +ޏBfNd|k"}B8s`yH Y0R˛kZ)yoIw$|xB;Q ީ/"B+@5<܌zDn#L>gk\M ݠ74ajj $wv*ngz^LT6)Wn!)Iy3hbخdj?wbô&%yY8=v@œx< gu/}9G/2/mhR~t5LγqoOrW e]{BSgTݠ}$!Wuz!G/ 5{~*U{-Հ?iwvE&Evd2*d^r3 Fv)h ,O!V~GySh:71ˈVl ):R;πC$v=:q( ϕ췋%O:y6(1,G`tzyB5'GYeA0UdL~%]0 EF&Ay&i0^&4j|3I?X-@8p`<^)jCuv!P,OGpUphEX}fMNeQg` cӐ?q/G~,n4#*@?7=~{Om);v)0{lf4Մ.iG|RȾvڧ{Lبe[hqH +;mҙ7|ǯNҶƽY,1STY{"'ڃs{{~q*4H~ r/z|s9Y1KZieh W%>#xnօJZ[}پ6횤 4yJ ^+3,U G9 ZAQ:3q43 c[;;1Krjn1&!qdAiJ%35 ^—#AXBeқ/i7 IlxZB.uz4Pmɨ#}ya d?!} 1n߂Kb9!qΦ6\1QZ-1,Q>5qmJb]ӎCh +k@l4WTz+SDžy@y ӒPd" {zm8#\,{A($mnoc~;p4g ~ Y7`^xɢ9+vn*J4/YUm2"aX1T,rTzs$m-IS9gX'BSn(Ѷ Iep YrjߍlZj?<߀oW?}Q.b"sz0bx]8tGҴ|DH+N#SnHh@B\wgDgY.MYfO{wP:)ˎ&FZ,l9L>_PV&\1Mٯa?Z^瓏=s!!e*҄S2s>ocʂ 2+1 qe*ӳ_#\!:K;U"7,4Uv|R優q^\Wp{CM +GW?3>ފ㪭 vWTԙ]T|yJg0"nX݋Ӈ.9e#==OU%ɍAYTK Eq>^?5݋q,#1%*'6GbKa'3N1[(K=m q(nm9v_O?H,eoTѓh\&F-,H= i5oDEܦSoYil]UÒșrbQ(n9p-22#Q:5Ȥ*Si%A588[^0d)~UZ8^+ ["5։@*Z:DuWgZ_36Gi=p {ɋSJ5^D(Xދ#9)SՁOE^k'.Tgwo'۬,@ DftMz˩5(E!<rf%sʽWv&Hhd¢P]_E=5s[Q-sGS)~52Qdc]A\%Rx -sFޜ8u{Aae8;wg8q0 Sr ..|L<7?]]3%#04 .~7uzNM**q⤻ˮj ZMEZ[:Cc&Nҵ"k{rؠ͔x7f)|UQk|41tW5=tZk-@O<ӆ֌S BɍV ⩮>љTALHA<~9Ib%bTfK-"ӢltkH2JJ|5\f]!v9L_3YN>+"TC[p1E]}RH:~ olŚlźq\XZ_Y(4bG ׀6/ +|RՀUUJIv( STa_l6Q? z#.Ѵh2+/bDN^OPFј0eQl`Rclcw;'pSxnա'% [ XYrLC*>ִABh-v=)FLYhv&[f8a\G񟘄պтQW:aǔ. Tk| (;xװ]s䷞A3Θ$m?* T mx%uy8n,Ho(WH?R{Y[NѹuΚGl$SOj./4j.a;[X>kIZ#PByIxꗋOϓ JIG \x,u^z:%ʢ'n~䫙0k}Ldg@R!-Z_Mg"2;!3II?8jzƧp|j^#gP!"H N2x , Sm t,*cptC]m= ΉDCYvud|˝rmZ{.q(~v.?W_2˥iOc[Limy x{MFtI$E uvAGPʟsӌ3<#rľ-DKET{yT2mJwܿgMBVMāϛ6cYК9@ {jރ+ztĕ< _%_%XUd&lTCsEboApZ-}TocY" j}ju`_p0K4dr@3\_T g8ɡѼ)1] fߘ@"+H<06^@ӌD[閬GX:mboWk65s࣒G?ϪH5eAnV L $ fndCPZ1 }WARÚAM(p)ڄMf6*hN zht*a, ~0?ݟeaNvhWFڲy#:Uy;j-_>,!6#2L;~qY_/{tiU3e|z>BbYʹ3wGR؜NS.y$]nc-9WO4d4 ɓj6 C>r[;#Z w"y6Q-*DE7GpO}(Ytsعz3'L̡XBDKadDI8ݴ%S[,ISR6t֍;⟳B0+\)%XLroY 9+nìf0rMr*"EjEoHsyc)XRG;Nlr2^Q*@imbɊ+6 }#oLwD>Ef2|̨{./Toߥhȣ0/-dNnSLj!z_I~8?Zڋ %RcV2ߥGҽ Vᦌo2:7cZ-g<#$!9m3XB x8Uލ*{BYB|0u~K= ?rȺʝ oul_5Œ.Ljll ʟGx?E/`1<0û?*c#YxKhG<|Kkv&v`a"zߥ;9k=lb_%O\!OHٔUxԬ$* v?NxJ?Ȓ7 _7Q'T')BLGEDaЇa6 TP? ]C&)K_O-(y.fG\vBtw@,V H~M;*z"b|bXt udAO?c̱Rr <׶dZ@_'ii,V/jZs VW+$0)K 95AIsX!!;ܘzk=ӶwbVB01`)[6<[ThV2Oe  %!ݖ#SeIAhp2D H!Ydkܕ0\*,PξB{hc:5cw>IFȻ]ثM;{aެ.kk0P^W1c԰ AN;BBș6+#CrYnrt{+5I:|q%3G0{1'nI*_qMO!))l݅4^%]#ӤWIF2)nYx_1o;>8e3b =RCF/)Pgf~.^^L%ɇdh"QMi6OΕ$JyN;Hi/H<.@356F*A q}E/[ӂB zK25lt/|~U[v@5ݬ6Ds9e8(qÑנr 7אǚ@4j|lw`PQ`5O%w5dҤi[^SMa|ݐal<׶ɘ0Rߘ;M2}N\; ^'4%;SI٤UCzMu$eJ=4i8·-M?Nռ%`5Zm/cڶY`kzGsyv.J礞(b yO~ƋT˧{،t~gl2(M" 4TTPCadI ,#,mTIqtCNB3n o fK jsK"Tf1^rH!@e$t7I\X)AmJFc1XWw'Ȗ =ҦljELl8ػ?xw T\O@h,cՉ1^EL 0Aލ?DP&,.|gSr)T`^ٯIB̬I*`)gvs$WYn%g p{\gb5e0v%? gaOZ;mQT$^2ʇd }3D<vU+Ua-| lgѾ 9m=4ʶ}tv)wk+xq!8qX!^ԊjҮdNr*4)-e??YΌQYʎXQ'Z{ CF~0HLJ׏p㛱ZGE`/w=TgH84 B6W>zeFj 4[Sد-YstPeZ6wla;vnxÓף?.&rI4[}]dt9A>}6דES0W(E\<$,VBGjM)9L{OW/v,_jHCrR(V%,ukhN`-LSSS'?#6{w0Raι>CX]B[iзB_L+@+cem k0Ft)QC:"Z\>-90QtA}p) a{g T{%vxg*a3(zQIMP^K$J2Bxc?MQSYRo#B^^p߃]G)EC6tO6O = ltv +8Nd&ˬ+&-=KjKCϕ';ݝPMiW ԋ6܋OǪ ; \lBo#EfY,mA/{L0R0}+lOiNѶjb%9#3t(Pfg8-q^xiN{*ZF39Iƙ)+Qب`Uʑi%L4bk癲~'Z%G8P >Mq=n#"c[4C1H#nб7FTv-;~h?]&4PC;mD:?]OݼINiPF96["(a=cPoyOB+A:EU!.t],1[&l9gmnZ?#~0IO|nɹ(ijz1ܐ*)ERb>b%)%?Iy ѭN^eAKJ /oҁ>im?p176rws:(EdafV軙.#Y0WHHHPoNFBi?n}0bUi ˱0zO ! eݔ>#wb7i})^[Gn6;^_c7a ۧ;BL*S1;3EE5"cVU}S6; ^^j٥XL>g]L9[V,E/&F䔔Ǥw$]tyܐ7LYe*f؀OI kL>9.>]y7K]կM;]da8E-PL.<#rzD4&N[R<ͤ|I~@AS!A:ڐ1\#=+Pq} GvȨq.H{pR/2Q**ϒ5 ' S@")9G#0q!g;'!r&1(;^,OΎ=6t7p` =8²4iǻ[ܒlk=,WLVݴ?);gXJ{ڞ8]ny 1" !pKMkR3lV uHגrĎ{3G$.M^E oU(mW8hT <QL瞡3{SB^J%&}0VBFЄ+1#6;C`=X h~Nj^yU_ S ެM!<z9)cQچG>*#zcW5j`B) Nd>QETQOA` ^ݱfj(w,5X8&OK3ـt |N밉r$uqX;6- P;YE̜rdf{]E.+#\E8߲Edj:&qWi9@QrO֥X WƵxHo~:~Wk-~l{\6?гY!AwTU8uק#{NM{BcN0D0JGOOgt; G$&)=g}-͊cjo;-DAQO/8ӂ$bwhy\};Pwl$`[Q{t(e‰եg5)-g&z?Rݴ-&M6WP0m`X+#D r>ڥ(s3MGy%qFE&f+ h.۞)XxN9u^Qg#Rd/3aºMO*ǣ 5[/V}\kʔ]~BUTZؼgO eXh]dµ Ğ{ b֔9D"qSK C.2o- t!|\}'OSyɎ*jcr5&%lNQ3gDg _b׬7z0T7˘Nfo+d2}r? ov%Z e 5 Pq9_L'pb^-QjHcw?WLRC(-/˽C:E=ft oԉobxf]wƕX [xY$Y߶֞ $7 >ZJ2z7OhT0eDB3C(.>G= y4j GEQguimVBg=t!0 )Z53ɔ{jnI!cp*B^M4P;1[1|,Fvr# eD'bgRli>;t2V^q?)YVX:&l(-âj=Wx}q2A65(r!=o6˝'].lMj{/OMK}":<[MK0 > $m5D@_G$s d\{b%p:Z;iPQF]yL,VgpCH;tzᲵS?9?&;WuV EZjw9eiatʌ'B`x (ޫ:uђ SC5_#A `FΞ܍ 2`;'g@jokz;YZ`W7E|ڟG `1QֽQ^W_TQ#hg(sv30)h Mc5Id FiȂa rƱCB\+hP ІI^8$P^IN&Jav(}W{;qa"p>??j?jNW0@1V??EcseeªlBT,-i,dkj .HHeu(,!$DNd>krÀX(ۨőBGCoI'+Wo E `β4hr7r `?_'}|:mDt#}FI6qTPW_wMa.,T@I`r  {Wc#%}`g}ʰ+P6ITc)*T,ˬ~:PHJTv<$8lLURRfB (doS7GnVU0 I}K &g:Y4,z65 (Ȏۜu4}/]*) Aed@ltqN8Vgw#8?D_+x Sy^y!.(X6?KXD/(&)#-xl/fe"pDUJ4VK{ځ#TjƳ![2+Nt|ǍUÌ 2"o0 2ٖR41B9|vr]O6yobwP+h8d? |R{7E7+~Z^b9R';B1rާߙG۔$\<G{tC~2+;%E#ts6ͳ)26)T*oa 'Y̎c ~їo+?`f{hDS; R(1M?og"f j,oZCAX^NGOl3M^(kЖK)L]Pty5%/:C l3X3J689 Ęѧ4 T\RzbD fdy=}pqd.vdKbr9|&c^Ye"PiD9W 'fB-t|g0Tf@me0T*& _ EVȑW”Xh肜B8.[ AA$)ٸMͧƪ%D @%d N} $_Cv$ː*O.'hoq&(_:|+_"I {jj}2agt\GV%Mav؛hKUKjeƸȷ= tJϘt~J\hyw?هnP+MⰅ;B6=L|yGJ((])+ogTi>Ʃъ_Q]dʯ*jUު\Ο~^i ~Dd (GiW*ޟb k}kfRmL#bZ :t28̶ច Fj{LJ+R nyzؔm9>o%k PSsBG%áp]D\U^O>7wpX.n(sq„C>!%Fc_jZ^%hhΠ6 &DI JHm~MY'̤8TqG ܪIQF$R=1]~gWo73JrDĥ7bOVFn$TR},yL &j6rZ* %sdY ~WnI!8+Z\\ݕS\RȲe 9>g=z/UKjphB' F5$F:H#v)pq2QOzl#'oñgYZ7zXZִF! J ]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~A!a,-3j(}頳PB!pT(^zfQJ^*KW]YY2YgIG5Z$7\l+7.uG[G7~/PpA[#}ėZR}n4h Ü3>YmKL9.=s&Yyiv͹0S9m9FrE[i E#(ⅺ@:S{A\qgYZ7zXZִF! }h]ŗXi%L!l0s<5h U}P8!tn)O{YHBmQ44f^N-;'6ò@3 E(S!90ҿQa $fOh8Sayfm-3Ӣo|XE% .J'9(ޅ )$v>V\88ertÄ`0tpRͥ 2U@LoF tf=P3cTo J5;2y^o#!,mX&ԫ,}y'Džbd[PqG |Q4bEpEL{dV"|pi $4VꄙH >=̫<:r=|`F!#/yLU Y lϊn$< 'G81֎w9/ {AO0f>}ut8D88k=&jd þsZ1 BTÊٺ2VǍxb(lXTLЈ֧ 8g9C"* "F ?Pҭrl.w ''Lz 9'G'וW;6>Jm/=äDdq[$';,b~hRrh?⼶K;gyy\ ^8xg+HNLV8r=J K'͵=2j:ynZ 6[AWaAQ,,ラFev{˒.D?=WJ5ń&ٗ$VF(4Y!ʖknj#pϭ >Sf-zgу.jq=K3~Rgbwa`<֨j޻)1HY! qf7{O!yrI]ҿ:=+ޅ,MEoR-~PDȻ/MƾTK*T?o o%OյDD&| =?wh樦UaRiv`]H'tQi[ 4QgYZ1deddc73b64b565f38c76151f1b58ff0ec34545a8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 07d5259867bb6e7f9aea952548e2e54f879a11c5