SQLite format 3@ 8- 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 /5| ; HOL-Nominal-Examples:threads=6elapsed=363.657cpu=1369.960gc=120.188factor=3.777zXZִF! z]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NF6\:q`=a07fߕxHՌF,:hOԩ%`O+_>8貘䍓-^4=`dUP2+luV~i.;|ffS=M N;?+D|nW4 iCPeӫyq33MHb;(^SlBCJCJnQ+k6"1h9 P Vk,4sCC۵ #퇷 u~]Ȇla1c;c`*2T(^H^I<"-c>4PQ vE7i:¶,'l1'(-cY [FuUM[(L鍿sʇxɣb+L\RS 5 HOL-Nominal-Examples&Tg? {e_αݸd sSN#rڄ)*1 VwRAY$eZKHUnڢ[h GY]cP5puq3 l[Y8#5I%?ZKYa)kE^W1"*IFqJ 7 osF @| 8AMZTw;@BL|߰J8<͜Yt6R6KNqfXs)K~Ͽ"g= 7AEGpzsd( "^BCjU]+c1 W]'HzcJS=l1V\EK ӴaEywpl5C֮"ԀpJ&Q7ဋX;7wV&@%/Ma e!QmM\aVz 1ɓЬ =PXZ㜌/0tS~ W)v3wF~XF_{Z0-YfHDr܋9^(% EXIykPkNLG鏜ޔS- kH p k#nǾ m߮Ӻ(-@NJ}-P٭'oѻ%|-QxЋ,cP% (ЊvZwsrCe'Sޏ`_ó oZL4Hn0 fY,ɕJIؐ%CexpS䦵kS&aTSUi9/ԢLrVP9r3hQ-סۇinL>TT ޻H|H+N:@+%yw뿣,q؅z.ĀR>IJ6D^,saDixMF2rPdf$1*!oǺf]^ xO}Kܱ޶J%? )e4]f d^P< '^5~fVuFh55$9JSQBoh=WbWr8;NA R[q:ȎGaTo-J{Qs#TUWr}H͢Djka^$× {j?_il{md r`?i9ly,J޽Z(?d_ ,}7e#,~fqC3oK{gDV бFϴ)XF1L`WOp{R/*v~G5ۄ 8bǒE]О!D#jn)]5yV#?ofL< @AK2WkgkIt3Cov!+|h<~p"5svNŌ[sPM܇LGWh;yPY)'p`O@qKA=^m=,՗pkm8%+S;4婪XWͼAIi}'J- rz157# RFC089=*QI KwJ1^U dn\IgrgM^W0Wb@9w! mLu"qG+2j}QVRT>d.FZ\=pZ^TDsZϰ&b\\dHtF_Ya x)оX&h쀺c'2v #^a\Mc–)7 W_]С_D )ԋD*έYVe9ȸfQZtىZKڋ4ĵЄ]N0/tZ k`\Vߐazź[r#0D'gH-k䈓eWeXF+Z49ya( 2Oy6/@Oa>3mFkN:!Yb$}誧V9CȪ9 P|B*"Uc XD\_#QOhBfY3={R= E#lN;O)υ^R.fnϣt?(+MGM (qP(XQg /l2lf+ﱈ1/n.ƋxbpՂ06UsVIrfpsҢf[EUcկg,[Ӆ=ce6Xs, %!''Vs ~jqa}LB]UKK9lIl,wN[p$v1r;PRD;O/K`"d#3 zˠ'eVy7^SZ3%])r03b`& \7} UxŹi| ߨrx~HU]kl!0I&%y=lKX$,`v#~d.9ݣ VB.rx%r,R)a sK ^ۅv oզ6㘫3) &Q.dztxKcBy1DKRkcq _7`ى=︼Ѡ}[c(fs-ϣ+_lBɋ>PԠQ֮mdV1$Tu-042֦ B1 YohoµUߪVe,5ؘ$@"1n\wBE-g=^F4Væ ^eq6Hn}aT1SltDn5+ \ {5oJR9'hb[~ke)4^@VOո[``F +]u Ri̝ X3ˮ%{OD)'N2`_ t##3Vң(>UN_L$tE{;-[3We~dgW鲙 eC`*k󾁌< ЪnJҋaV2 Y2 &\ 4(JL(1 MMMftGsbh w}Qlg3h4޻5NTt`.ijy8< ʂog\8qs]ipPŴ{SbgGXg5/.kd$Vv{$ ڀ y}N)p@*O3!_xRXؔZZ͛dDrPIu9d&r_d3SC&muk`~btaږb[J/pL" ^^֗,l_hgY $#̗Se)M0fJA.;Zt  HhK2silgExTX\B,.Q2gD y܍u 3KMXB@ Hu(-q[?4UꑽRm,PC޾fIhx9ӄY3`J!C5Dƹ")Smt&),\ P^-/5cgo)&B=$kR)'MxGBx=Upp!Nf@ڋDPUP^jA.m ~XtĜ<>8E;-H)=V5y<[Z%^\D[7YD.UI>˻~X5Z*=WX6#eC)&g[.lLhKGFJksh#2rTս|͜6H)ux%qaLh.yWsk $.I]|] ee^ I))`5agL&nVQvTJV#7O[`Ƚʻu}|K)W(q,|-CsiDǹ1Fr翶a~~9^XrhI R;a!Q">7c-kG",_hRMPM*$=ή3RueuBO;cG~^Jbm%Z{Aɚ 59贐rr+rMCnwex #O-` nDe1L 54K# hSI6QKlьvB܋7'g%<&QF-rg9'UFbЁ8:?SQm̳\9Ln[Mm쭉4yE-^M^ 8nn%Ĝ gc'{`_CƯ^ tl2GI;C[ 0W~^5Ic햫/1'CZ Mm"7M+),\@/1ϻ1n:=3&zNҦvZebMؽ\4SpNl<_]etI2R2D칫X6s=;n3än vp@+ u b?jW& gwIAZܙ),'^Y,i#,}2ԏOo]n} +G["B1őS53Q29 |\(y_udaCoPR.~h 6BWVedVc1x}"+dpI2<_eT3;X$F9 m%}XnQ{</rYu{GW95$Y%W4',<3`SPM}gfJx|v+~ bɭc #ڽ( erRe H4]tJLDڷe&3oܔ.I}6v.hޢ9cYŅ6Dj +x~Irxk^ 03 Qpp@,WLſ6K]c5$<,.' < 1uɼ|`H7'd!ccN۔lFD)9ly:ꅒO u6 }'@/?ԁh<9.TonJЎKmwaF<-i 3yNdLW*^.7=nDS# !P;4p>sr'#/'(NJL S,nh#!/3OF2T2NC-l5'bێt7뒧NLrNTDܓk[*-'&oG6ЊJ^*ϴ1ٓY4ϜՀ}7Y?R*.lz 9u69%P}`s.|tyVbfwoљD*iKJի42Ţ!S@JqXm[C Vݛb0ILSh\b+8;y3U6k Q֫î7\|RG\88OUpה '_<$ugl9ؓ[&#Gq@ȉo ygWкVFod5$$|$Vۡq*ғoXR1'%ϵYNKsakJ l;XZZ]znI劜rm[͍Y6 w}!3e< VHHT]#y^R$@u B'iv8rc ^8ʬOJ#R# W.'KůcĨp$eA>i"^ .wjڕpbk^zp;Ccnv/; p ;يN;PT]T?zʪpjAē؞į%wfN;#R̓W4g{%:,k2ܿLYOyR'45lR;5~YHV :kaI[~9;@ഃV'\LsQ^ħ"GTw?Ss1BMi}I9NuxQ ljNxpH5OjMd4dbm5Ժq+ţ|i)e#m3;0 434CiRxlskk3ֹ;#c z^`r_W +kI!mb\8|Mq4pz'<} Qr텉.&ObM6kWQ%D=aPtPQq[BEWʍ9)pƉ!C6MM%yϒ',:-Dg:`&doH'̟Ǹ.7@ Ob2Y)5^i DhIIpU ('\HU[+ Q|TQkC4=\qWUXE^,ORvJhRXfD{ :P=؝kZ9;߷?ϤTe,%fd~N x&ʠH\X%fH " i U+Qޞͅx Qa/Jign*jwTQóˮ8#sŖg=ElM%W46#S$To O;%oe1U-o_<&戨Kc_x8r)(VTMy(r "H[.CplwR%b 'uLnد/~ \5k(v 8xJ;3|vwz.XFL+(;A>x $6xU/N}TQh2*C&{ra"0B%&I/BT ̤]unq 6Pm❪j9]+EJ| ~:v̫|tn #]2BF9d6ɛw!Kܾdr^Ǻha{F԰kn?'z3 q7ߥެli:*,궋 THy0c gɲ߯-T`ܲޠBiV7rAI?LjjU%,0^9yws{NoOCxkxbyU)枥prOphz.e9I?zU;P`Jv [hږ/8JYs$5jkHQ={­7G=:tUc¹qA"C%p _l1\2S<â onc)%)"S q!/Nj*R]YW3@ߨv z˞TrT;euoMW:ڍ޷ U{UBJ;ʌCXݛij%bf֟lw@5;K[sMO#u*)?F,Ԁ04Lᙼ߶$+ }NvBO*?}U"L8v&0wusYWВ[0/L35M.p6W2-5Ӥ͊EcB˹G Ȫ;O JS+ wXIt ;!J`-@jm;.z Af_gҗXTzKzѝj(24sCF HM鑁mO1=afGD儤}q)Ak-Gՙ1j'< I)p`5N Rqᕦ3*5ќ5@IQ]rO&!7([qVx@4~a5-mB%]#Ǣ3"낂=P= vOk%#E^WK{ȴ2 ϡei[ S>B׾ֺ^7'^ $;."xsItL{#X5+QKJ[e/Cܥ}l+*P%m:RVhP'W( v3{T!h2P (nSCY BEA:=hS#-ր^c/.|a;p)"(a$^:~grcC͵G K^e H='Eg ŭOlXbW~\sd/oŬ-9&-Zu!`f%)K_tc/0lHRjT/%8X`Ld"VhR_HNR'/[8N2=P07i~ГVz]SlYSM9+Ot?VT΍wMp{Hz(/0X?hNKrVNB0cQ/#uRu;,t!;\||`1l.t@uw&dxKGܤuweqK1+Q\jU^hj ܾ|[BKLns) 0rSU;lE,MXL :^ju.% +6Skfu\Hefv)nS #j06.- ozS|<41:-c s䥅WmEV3*3>q_>VRHv\i;Xpe8gsZ۝m[w*9Z\SNn}ԫ1§Z]8/ \LaU|?9f{Ӟ5#r;RC1#8 g&jK;o+bi8jET c>WfK47cK S&_)>F;<`#- Lг,5L R XYv*rfl,M 4TK<~S5`jIMVXŃ8f)?%HKI.3Gx>|.b~"M@>NO`ޚP; QX$|S%~7PmՕnW2 WjS{ů{2%I2\ŗ|Ǩ9L:pa GsL9T c7d;,!a4ȑĀi"guNp0@<CQK7^Ӌj4=k{:A\%mʘ;I԰el_ӊz>jlbwTiM.%m%vW642UEٹd&% f'ud4$RyYz>%ɋŠu4ㅟ*F鍦v˜QFG>K:]Wmp$IyhJn[̛m [󕦗7R/GuCzoڟkEmIy8P LIOwBLWR6}mYTPC ~d`0(3mI!C6]hΆ84#ܸQЀ¯Ko|n&.ۨu"k#vAd\+PV{\EL{Heժ+*MBrl"{s$Yz\E3 *( uR v绲rJBK?kW_\2%"уW z3~\۷s핏3dx \mAK LtM)QpywUF8l'I\!Q7/g]ǡ\:-c}FO6jLi`J˂YdW~sq^&]})ŀ |8&4CUE6!+CaWǩ4<hfZbJW3_/K7;%Q%a7iޜ[6NnHyBul~+ajd}gZr`)]=S82<[EmIDpZ:g|>{BooX]/V/a+BdO՚zSnwf 1pơ<&nvq ?@7!t ^\v g_tmEU~6Ǧ!4?|}->ȍ7t-ϾH3}%;-cS|zxa57"tJ3So615Wn~~CVo1όDL|lR'נƟ;m" !ƍTY59!alb* dCZr7Wn.RՁW&W-mp->{~u r4J;Q6˽|OJCe9{~->c7VHm En8?8 ̚1kJhMWdktn@ 6O\GRz"6nrkH2؈ S5h,qRӿLH '=8)^H=3?ڼICG=[a&U27ƠXC3 XQ=$'wcCQAVߗKѡLĜmÍv^ϣIcC̐bM#+v:)._ @YRd0렸,ø9qcQ7+*os!'hXN[nvNt5,s2R|TiU%K4cTV4BC7Fxt\S'+R L,')Ed=Ej]R84 }(S}խ'K17c%Vf$-s @ȭWЪ LRwbh]hjO b+&%Iz7G"/\>/D5k_жQ% x~zoUmDϒ~Vi;lbwaahPӼ굡l9SV-O":5{zfg 22OŌ,) 1G•9*( }@qɾ[T>>4@H,5yLE?ڐ1Ts0XK"@]`bSK'-нxq?ABz/<:g o:FcnԻ pDR[ovϱAX%7?UmpRȨ4q0 ^$ůV\ګj؞2jF=<Çl4xzR/#uTii."_AɬR{d̼!o:,"mX}ӡѫh7_'9΅ ˜9XF[hxnh̦m[V+[B>&a0 XȂRt1j0&K%ٱk(ÆCFY׷F,ciۀ+޴ :swgXH @"B`݄p Hߒʖ đ(1=W)#U5tv p4p U"26{Ƞi4C0[p}+7ZMDѰwP)&Ⱥ9z6'K[d4Jaّ|%mE8ъ:Hzƪ??.<|Nycdt1T z@ dԌ2*abP^ʶ̆0U3/849}@{oZP&cW 1\K]x|_02 윙< ̈́jDySP)(<{[¿q%D ekd,E<`h;+=bI G"T$ 9jm@2 ^ZZR|Hd&7bggq|ݡp/Y{ /B[*27SՆLlʶq&[=UexѨ5\ S*1- 'ГoI4O,0Ԫ(ȳ-%gLm35 r.)h$ |{wF0ۯKC͎[}GXy @bJ9_k=hΕkD|5vxLFpm8e5v g4 V1c]騧e)S5ZKG%|*lAiEIV!RCeRljJ}+=烡yLJՈ =`zv5TˡfyO _S \%eTmVwwCU1rWhb=jyZ)1:ólmD;D"v_ek啽 ;ڍjIeF& XDL]O1҆4ݣlC-<K^Jij9$WFҧj}݂ؽ`R֘қIF*6zp5!/u$U% Ύ12y鄔M~V `ط r+`k{tl*I\<_;DCzJ+i5I_:Rm_dzLJ}E̻Ip rpی0ʟ=ozD'c2EIhүeJ NM𡨩9Ebˀ^^Z`0 ^`y7W)t~$V/#f]gڕd2ͻ1aYr?92R[!,LpIH~^lpVu7)o+@J,pd>{+S"{zH#th'CADɉwK-P)d)x35mln 9 | ןH.H@jt |Ѿy< *RP^\TgAoNi#ۤ4 BU3]py+?ew^<:|[^cA*t !v+} c(1.\P" ZZ1zq)X_C ~h]'j&A|4X2=Sٿ(\E-p"';bEX8>K 2`#1*g㥞@&FPZ[6o=#ehY0ߒo!88<$կc<6MR{o6n ^%s$NQC%ez_DV:/ua^$(gt= (~h7Yaz˝dM$/*T:tw),R{~bKC9ze[](蕶Ckiq=t l1 pp֧ ]%ܿ#o³.4FkxOA5E?] Qsnlv֙O5{Er۵^z 9u'`vh"g2+ĹE,Z4+>OĖkJH=IYϮhN+E=Qy"E\ x+rnvs䊼9 =+'b]d pĂur4 5t;޽5lI>>GiI~/gu~ǩMU}Khޓ~C4["ztJdLdJ w4jٍNeFPd/+V`CK{H);/&,vhS(y<<.&kݐثT+bZ3.#\;XuC[ S"HU"|aNpA97ĩd.0PM)&H2c׾>j,;| o' ͆FrG|ˑc4#4R>\ݳ h&o,\F'w u 9_mÎ/UZt'H0Eo  B}~ jLVNL]1JRp"nNe *@,#Hr w`éKdv 8MW*&|˕,& {O,rzVYh HY} ̧d "j] O"|₫T!+v; ٲ` DYҲv^ɧ!#q7ޞ;}h7>~NhѣkJ|vkvc:YxRyVRpft9D]xF헰ǹP `G1Qdg?;u#0 䘎MD:o}פOdjKj#eYt/髻r[.JF%;5nY:}LZG@Eopp˖ 0 TR/0ؔ F ̀um Ȥ㌍|//I^73쐈(by.҅8T0c.tJ2F*wtbR C, %"dRӐC0ym\PC* 9y0*s..-NPt>Ab kfH~ :+ٽC ŸiS@}j"JUaYma<ܒGSQŽ;4Ό`Y/#B\.?:i H"ȮVx ) ,UxbӋED-N{h#֚0ńb2/W6E>N\VV0Y(Ns9rR6Oni0,:bfن+=X6QD<}JX_cd)^B%}[jtdWMjuIyn 9 ~ vlknAty^ {'5IT? -䚦Xe|@E@WyR0H!?lp<P^݊Hڻ, 3%L݁ORb]:z= s2&tΧ8oك(hF\?aX`\yoA3rWw)kD?Mc9 dS䒭KB>4 c~ZzP]),0Am wDzs_'wa<%|gQ@:_NA)AJ-ƻ1S蝕㜣b-6COMjqEv8% +NKU3Db# E\~j~ptկ)yJ76|YU]c ]8ss[[ nTv-ؤRĂQAc0l+Oq͠ ek:_XL7F>9.&tok8dbbG(''9Sž߆K:09a''h]%2{55 SC^nuG[ W=71l*R~B`i Rq4;bKCqhq'w̉YN6cz+7-1iӐcR2dpB' e2fWME0dMrښB~x= c5@>n&WgK aLdiQ@!xZ"roX ǚFvPz.,J6g_[3ʙE)- hX^@ncQU/}< V:m q[JkU}+T]$'sЀ~CThwf8ero#{ g1~]yVYn?ޱB<eJaUR<o)4ڗ_Y.FҩBEb޲WbT{;! j^gmV;c>M*ʍ2otۜgFuPnW!*TZ'VУӜinbmQ18~0QF 7$K[%͌0*a܅:=-|B .>وљɽLjZ0*hBLI}3l+`. _\)d\HUxl_G]xw ?FһDpt&CI"^7=UUHzh1hm_rb؄l[K~ "XV}>e/"T,(g0&伍<_5 # UC :ڨ¬upÂэ&ݪ B U=Fl;ڥ ">G ]~TqZf$ VK(/Ϝ3t.q>U00 1p,@8&D.vR~SK@b+y_3œ gQmLp]89Q^nAf?[v] ?9}lo]kűn\Ra&YJ*^">ze*̿}\Z2 P$(=!(-ua26/ʼ99`4p: .8cKR( uݔ*1eygodP[:?=˴E q%^r^# Z2,1!ADQ>{&(lRA+vSd5%?`{Zj ^l. ??֪9 j?j[!R`fL=^HU0GnK'~I$ ar'pRl 8/Kj;TSAY!)*[2յ_0.Y Ǚ &Po{rN6$'(5:!!5ٮtȱe'l[R[W?G,a $}11ʖ:G\e5Ĝ0 :u%zph# Y]o:VNZWxO0f{QZ`g<'#G0u.Xzm_i؃+Kktk:'ʯx.CPЮ ϱDT*i^-܉}Ek*m^]}r]I|4 ѩ??)SHmIofG|D5g}m =RG'M!o%ع(ZCckak=k QI CQWQ8:eMS-IzOnCx7U%&P~0 D#1B>K>H;?fq9tD{;@ۇI/έ!S:ESF*К16'sX&+(# :ZzĩGç=T?}rH"'tv Cke#۳Du fV$FZ{Y<"A^"r3ִH,Tg]*C k Hb#!/ JݧƱP  Do^Z$b|> qûuҩR?uh};V6@`Ę?]!K\uP yU~5?'9`vH.ݖqW{J1LUNlX3ЃdMM#UxͥRmHOZet,FjKSIg6 1~Mn^W*/a#v-37Dix޳T@!Ol1[n1#kt42Ey kZ7ѵ2 BjʼnMӂ8DAy0*&}dn,'1ڒЮ-L%TgÜ"sq3u|r3~1n3ܝ W>[떒H U.2Иq*Ee>@H|e%KQ ;|DEci Bzk3-,Rю4-( M1YP ;HBqLi=D!0 fL{Vdu-:vʼ H{o8^Iq&C˛p Ϩ |vyA`r5Kٿ8(*D(!Ϧ8lwx p.?xvV$`U˺^z<5i7H}e=A};}}jS'w˥8OW siQ p#.*wDjWG 0;Kk$ː ôJ47h潳Gj=|ea~ ?X|mad,-;: NA(^.Im/. ,a2FTOIgP;@!}I"AIy#XLW~2˂ngcYiH$!)8{Z,t09U:^X w1W]Sr8ҹ/?񿱮~ː'J-8%{~RF+xn)NJ2HNwGq fR;1͝>q6 Dw>pQ;5JT5ݹ܆Y#aB, dJYL55MwVf c3V.yǣkBq}? buua`گlA FMwϽ@ϲX1uSTXk:|W^SfgfrqwsEp-֧ 3S(='ztZCc:o{]Pىb5zar;X;~|v@/KBdֿ#U-d0σfjnWӊpW|yH.3NʰZ;0& 6 \I%&c/(}`ΒUxmd )&C뻧V&lYѠ`-5Gjiqm/>"dt^S2kmsT }^j"CT-LjЧjErmCS3_K8 .c/+.۸$1 YRBqN3a)cuhK@:!Yro-ĖLaW ƔH Y3veVm,~#尘Oze['ǧάg]n{MTrwsD-U9Hulhj\ɝU5Upbe65hT4?ȗcΊhfnwŞMor% #xF OEZ&jS):>vE/4>9 Y|"PE?^"jueOЋ!;DUSy>xͶҨt+MT 1#-KiV}ҳYUXV [X?nÀ1TN(x[Y}aqQ (َBl"tNsGtJ9ޭݠ9Rg6vq8VPnKX(Rxy\#`Ǚ>1m S#+V#Q&6(A@|x8J/=3I=X-Z&STq6ғ`~_&-A$~d]69"XF/z½d7 nE|e QWp%.XUY]HU&yځ@⟙ZZLGT곐h \_3]G`ȸ2‡+~ lTk<>_qCțR6u'i85\ӲB +TJ1_iŷb:XA6C9GpRt+\ TY+;{[Fbv 6xgڊ bY>>|r|PC]q5 ]JkՌon9:j]×`񋉺҂8K4lȎ? f4bY]զxܻ z:bEF&#7sK|fDq1<a}mm.j^n^>WwBDҮr7MF<'lH t+4q1>mRA]@\cvy8ͯ`z `O)¥4m5)̓N%1ob/hy|3C~;,YrY,k s$,P Ȟ@W]>2~p `2h(Vfe;^?~H&%lE@yrudn5vls&N "nĠfW_qxصc \= H/dU"#淼r+?KIZL8An.rɡûG `Zp?̡,2k 7ȗp>f ^R5,MFϯhgmr6樲wjmd3& /D,a15ܩt{EJ/cS"ߐHFd0='J~qW*@' @ kZ` }ڢady@`OHDJI \N;H0#gYZ7zXZִF! y(U]ŗXi%\`t!}N6&(G=nzi_.XqΟݦT4VJSEh6ݩVZ5&HY\350S\^A/z4a@w$FaM ^ ,Cȿc@+!?0`̸i: c<C$ur fnQ8 )ꀐ+)P1<<_Lf Y}5;69.މ+oB@\1ZYG0!4~B8gYou݈v1ӻXEHy!=wk"άV DV |(6,mY>r`#/7_)VZ]ﺸ~ntu7F~V9z:5K59|3MU{":*>`Q 01iG xz`xj@bl:\c&1wts跍2V%Fޘ,ow ImLleE%>D@y>+Jܶpe%zuz߀NEl6\#XyĖғt{(ܟ}h2D^uveKֆl'<]իr`6/N8*κK|#R 8-/R#G])Dh R+j^YZ>aIʗ$~mvl(Q܅_ o5wt<8Z%BkЂI>g۳tr~_ R\^+~U\V!Di >ƍ|":7jy.@p$ L8Ƀ򠤌u|{NCM'G~]uE*'Nw ~(1߱Ѣ T(Ƈ}WG&3-…Hѧ@CH,N)tKYkAU}<J(H9jH͝"r;Pl {l]C3b 566p+ǘ۽.…N x:^*ӼcUYLG+˲DyH]<DOFi iq%.:iWʡrR3JQ@m/v \.ͱvo@N{ԃ{ ifww̤bdao/Sr6X~{q|D%BՒs!]W0UISM4L[Džkz勠ʹK1 ݿw] &+ d'%zN|BtFƳG3~]vX_s&&9gێO:4>:tR+]NJpL`f*̟ Ӿ ]k @!aIsw#d8{ Ō&.̟0)c?#ai;I_ YEՁ2 $o4| cK_%#%^y;,Esyuj}G1?]! 55݈(3ۙ((zf6VJjni,G=H(Qd `j*3 3vtWBKא[cta["A *O0J1'ڕwc=)˭y'nXvj@*wLŎ%Jחpenmp&| Tگ K?"깨d-$ ^ɈIh,k"d (r/P}4CQK)+tq%$bIuus`D{eQLUR=3e0Q Dg,S\0sZ 4}90aCs\i,ȡMC.59*z.a$ؙ8Af{uX:EKv0&VFlin@ۇM/tس 3*ҽ84qZDI6̭e:}Ʊ;_)a/"XxRe׊IhTñZ^ MRC%] sj-7UZBE]5 UT66E&{zŞ~Gw/[{?0r>MV.vϳ qK껗EվM8=cH 6X*Q܁9yD~ʢ}Inlk-e܃}wS4c`sq9({$Z?HY',o^6Җ\+,VLv8{95(Q7܉[E4j]:8"1K5)ۑ驏E# 6]rGhIq4B"T] |4#|gK6̮ HinMp[\ݧv_I@q2*9hVqoD=q<.#(FF#f\LK'YݑyKkV締@7Xep2^Q1J2R8,?!Uik:|kmhTbdW=mݙf%蚖uohRkNKz ɷ<()ʈLQ^κnuID%15A;6_nbgWB;Y|)xWJxzR:CL9 ڈq/h0!OQ u&5! ׂ:bڅAA=$P1Y&,1O["^zw9GgNg)w窐$L2#۳Gnu LBT6)'Dj}i'I'SOž߿b7ΌFU5!H%_GSMNQG@ p#&("o'(i{qҿaalҌ; fcUQ6w[Dդ#F.D6_lَF%%#MP7~G lϳ2̖kF̪uT{ɰĊLai;0hmno[& X x#!6>>Qh ћJGAփ{#a)Q"B_MBgzY7!S")ad7VQA8aRZOבrkz~ ^aIUxA0OMjkg#v5dW `f傭06\/N].PR+yfZ'0wHrZ[>pӏT7QXM8OP+"P@ Gp1rAy\mV;O[r`?H A?|p7OЃY3_ty 'E4~y؛鏜@{v˸xc1<"G9)0ƋA}~D)YE3{n_?~t~)ަD?TQԑ.FC B=x79h^U>EamMp/d `L W0mu"DΗٸ%c*Ÿ.bd6nj٣hL䕡 M&*s9 nwϤ|0~X (zG37Ъ3QnkyxbԩĠYBy 19CQbM7*.k__j.`/p O) jn?zRXѢ<_HY pN=wź͈֭"p4[Ġ?Q  Tl.4hT=F<BǑ~L (.sڄ% ^o_"B?x?0H1f3:ݶm%_Iςm|48|tw+0[?i5IF|% (gxe/{R Y+qLl*3brgS1Y~sxB8j)وQhߦ;čuɋy/$OW8>"ye?Tð+A~8! X#v0Wه ٚ03reliG-m8;l=,8%y Õp}24xǵ#nȤF&۲45*rz%RAq 5H!弱ESrXzaX(<&5e/!Gi1Zׯ! 1O%NCLQ0j PxĂD| `2w=Y"Gղ@uP&Q~C8OIdLXoVZucci `DŎ;tYjhE{4Ha)S/w[aZD(uUzpw:VBV ]ϒY,׹b?-[^95g j }ʰgWpK)Q]dEp-L M}v%~ w +$9εJk~yתeU&o8儱,ppjČ] _NM_Y(nS,Cit2ۍ4q}‘Yn kAhaWKT{'ɿi^9 >瀅ˊgZ;d^[b*Q"7n73dM')9Lt8 Z1?ak0=g-#erE*r1v0g\*$◯C0/Ch}nOt]5_X?&xz<g͊>_4R5Uo)|l9"H1cXI䙎 J{28\8䪊r0121-SQ!KNR~+f Jfr6ŤZl΅x,]c 8`zXV2zߐhV;w4i{gʢ/s{ɤ,7W2 k_[RsBC0ėS֌  )p˸ěP8:^M1A/Ig/,be_oU몎6K MV6?W޲r?fQ.b(9DCHfoNHYAQ79PUrtZ)Q–z>o)NcҼ}Jd!ҢzqvnƦJ8&nbTzy5FDƾm2~̐ۯP;V/(sΓ!CRmt F|Et.}aLXt<%ǠTw?+3"ӑr U6Sh~;RTMk|꘍ /bV)7n:kP8JkH@{'1yTGY˥FƦR=`MVpAuLȕp(<R)~^AAyjز\) *:z蠬(&i)8A7c g!ƒ%ņ(h{ BnJa1'brMLBN11\n/J֡ZUW\އـ8}Aԧ!}o@hp$HbRp3DY" @(ZJ R(Vn[KWJDS} \tܡYn.,{}SYZdliH;:\@5yC)2Ȅ#)d{1M$KŔ.Q([?C Tr f͐D.rqQk>QE䘲KB?X"`Q_VD#PC Z>x6H[uʑ-=qh͠m_UGQQɜC"&'F+CX!Sk÷Ω >2UjONQS|KrWCv" /}d/I"B21&'n XT 6)IqIhK6;>o>5/4 ƺ}ӏLG/2ߞہIXp/fW0=u1qʾtAsK)JAq2@cRc -HW@隟,#&1y'CPq~ Cz5|.E2zA`Dk^Z )<%T)ʫmh]9qW3DѦ+aEmᏙhܝZL$Gxʩ$wY *&bJ $›4B}ys /v\1)$\nzu3nj|߉4.o5/)6-qkT𰪩&sEcڇ//™8 ؼn7Sg2$(ARhr*tIW+,)l0UDdj^tDIQH a?n | A+PEm oSrrA]<kqo#1gvJ@9R>M@2l&In$! NCK@Xu|&ptQtM_E]&.2 j0̉HsZ6,V+ ItNcf%=%4+ÚOUByWEΧ  :@#ЫX!g$ 5eja,ͣuٍLD!^344;bR)181ep<:"Nh[ {Hw/.3 领?l ޟƜĢ\trrgvobTc϶L⦬> P; @3ci] } g#ڵ7+ç)R+~k:jA҉/8wkus@Y}GyGΖA{@B]UM&à(Xb_a͖2,-AN(}, NMLkb\r3 iӷ+)d& l <\ `g;s|}φ3w\q3MrؾfʹU>6&(rfôDdQ__w ~@1QTgآTw'Sqn.p XGi~|[ ,<[]A *2W!srTs*#%,)z/RZV ꗿzD!Sl8Jpģn}WRTe+ 5t6 QU"JA9{{>sk=am]h{*+ )>_hEo`]bbQrbq]q>CrêSGNdK-.Y6""IUgq&F<Qq? LZ6hmM 7i  @ڪLu=Bƞc6,l,g& &9P=+,J3e*3%|Kѹ=BJt+CQbF\n$'b"7S Ox,i-Y3<{!`mydJFWvMfBv|b,E~az'j8H̡Z$^&VΛY%:Vʑ{[ zپ!d U8w!`}xsn 7\cзL'lh qӽc_TC1UuxQtZW%&o Ů6}hJ2pOV-8SCNo۞aэ\D_J ߔJBBy vY/ׯ.|UD .y2s<[-4}?S2℻$Ady{8*P1b0^on7"\G* x𺿱(4̛PqP$Ow+o𫄌5 D\##40݇8lHn:^AUD ǘq )7ik6wusS$q;24$ZLA}=q:TB6ӵXkVO|(]EAFsGE Fl7<(/X%fa.[^>r=ż[ i!~,%'JXїgJ!12RCY;;U@ro9#M >5v䞌ZK8C\|5:Q)AƗʝSz>C14yHRQq` w+LS [Iw*ɹ'=t3[8zQ_n.}rB^KN!B^ˮ6 2tx[,Gg*v Qa6j_YПlǜ!1(wA{CUgA(%9~8}=|l&潏>OCUT<{-z Q3 [ Xd=pQj=&wk &*x3ȠW3m!3Y#WC>Vc="l8rzDoOz.3֕v,Գb&y$ӥ^Dͣ'suך޺N=iN L"xv9UØKBawٷWoB*JIol";Onkֽ˭0  $'#ת(wƴAgcn…3T,P0?^y<˝H6".oNǎ[˞/rn|8\:3sl2 NDT%-TW+@Iژb R>zi"0ŤijԙnVq:ܮJ:J% J]p/ Q!'W5>bʦDfp.fd)V8hĄVHQwLHq.P\RD<~@lm?ÃYqĤR+mxo0BB]Gq>\=X#_9L,d zdBQL|}H44]*9Ya!X ~+"xaoSyv/Ze2 ='gxb2T{t=2 5:YIxDS,*%' 7+>WSmݧd}]7>S6jKv@(\.)9жy{:փ 7  +uJLp!u{_!2myQCwE~G"S8["2dl* [s*+u>>KT΅ GlmhOjjh \:7yM'e=20Aj˻~ C#A}kWi%ܽKypuA,h70)~(OTzP9/!>`f_PfL C |S 'g>ԘjYѭWp/B++WKGN;ոC?-QRp5™M/oLm1Qis 3x3s$%݃Z"*X AV6GxH8ڻ8T9lc }Qpm&JxXbI DO@IX BWÒ0t.c~2Sxֻ22-tT5\)jiIϓ~yw. иWOUj0ӍP+b_ _,Sx9eYw *W\ppAw+- ep#-2kûՊOT y8u kT_w{zKDw()}d_6ի+sֲ]+wɹgA>!EO_kveVaV@|zH,$}cPVs{N9߰%"ɏb !sRuP)0?CSLK_ Pfꢈߒ0mG^{g`[ܳ6v_c)'WUw*^7t>xNw0ZM[*@'٭);sBD+0Sr1]7YITnuEF5tk˯\$n? p6Q];\cP5vBc,xciTmouGDSYЧ60߯λ8*+vIв(s^ v4&q(~Y>, b#"!V0̶|ԧnx} BNa~Gm.3]/5m6y8HKbyKr0xLS*,@`m}h@wX\*7.ŝEJuXsv[@fH a5)[xq 43褯8ו%zHEh(_X=0}YώvQ,"_nH@~qLnDo;Y^:-1 |AS@Tڌ*%W ]k$xr[ @q)=5_|(V"n$`GɃZ!~P(:҄I?9#ZmhikDY6Ux`f^-ugw/dc*"P 4nau*)3mCټN=҅V񆦻6ŐU7]i"F$+үQ]r2I^4gL| 2d9P^.p`LeQkcs)C]-+/ -'2ߙI/Q[~r MSnّΞS's+[bW5SpI&4V ^sz7POĀ+|]7<" mx hC3m3o-htTth*t=2-Ѷ \*J%G֑BG j{"?w=8DCVTwx(%Qexq8=Z->(ҟiT-m/8 !n&[:$r9p6Ȫ01DsF;Ò`MAر^ LľM cٜjֳ7Bkʭ5zpX,muh$ )&ȧDth۰qvJُ31+%>1"`TDXB"\p5P*{ ?fïuf\q>'@m}JA`KIC ,z\d-%% 6$yhD:UxʲD>6w69 $6]qz(1^?^!! Ƹ୼WELH G 3/ *Y Pp>G.aOC71uKsF߄-H]X*Z h`BF~;\*AFfq`/]H?IۨYHD0a,_`jO{8|]Syf3}\@, {zNj,(%s꓌Y|c:NE,~6_JfuF.4s=;.;@d7#DU)'3}]%tkޯ-ǭˆF~o;CF7i%#i,gsC lR#d+*m* Z ɢXìf<7 vk*z~DOe|ũ~=NX9]J -m Hctz2'M8+,\hoomFIگ|1*f[KebH8 ~XY'7*Q*¶3}s H!Zzμ?eWp, y j4QEx&1H; a71(cª9dX V>B&\B_M#*{eFCjzJzXI)} ߲8݂"mݼqڡB17oˣ0/;4>C4QTn_>xШWC3u!QrxK4~ YH-ʯҸ, j5wPQG̍~y^DM8P6mnIcb&]tqz9b(a-(խ%> Ͳlz>B>M}l L:1窇0 '{YxĴASR7KV7wP9'%ɻn}T2ĕ$'.ֆר/BG ^vQfG~ĥT%U7p5($ᶺw+c3g!g\oܾAYëMr_^;u1͑񠇲1QO(p sȐR!:2d æj*N`` hPGLF:ާ _@ Ϫ8F-P0Bhl(JT}~y{'C]JP(Xj1~BIoFv4i4t>nCX>¨ּ=4 ۶|#md` H ŵп`ktq?,Gg]1%_XN =1[P ICրOd߻_Fn/d> }A$7{$@5Ec~2ķ/'l!8S"oj;d6s?pl yJyE!Yu!L_*KIR󅐏ɬhӝMӵբqR(/Z+#䋑mI71d6'sl#κˇv1bk?X(yޖӂ ~7a7mձ|§:&,Si[W3~Ó?.V.rF&,",By CԣrOd4Ԟߎ `tA@P,*ի]p3k͆֝E2 YS 2Y0FpqrϑbC[nq2AY(@9`X5Q8yYR~Lĭ+'TG8Ŕ}rR]ueOKAuהF H֊`qr9g &9i7g 02NVb0_V} \er*F C~%ZWɎ4\ yH緶ZbqᦺU$)_ MdTvH 0k!.{/v_iP`Yǧ5W*T-|=!˜8/} WP9DRՒEOxKDm>ioGndfȰ6]>`3 w qn20z[\S4RE8+VV2oL>'k5/&/;!Ph{V4[s,1"L'6[8 ַ8j:1C-FDJ9yn&|?}́XZBad|u(x05uXqAԒ덨2YpMLaÜh^ߠn&Rhw?*#;u>jy7bOu?3-2H6uY<<% +ksRxi{dpNb./Wr[_pT)ڵc{aUi/p 8$>>!JtIhd:`C:attX ;$q9רtfjvYJDGTY"S{- e Dщ7Q#(L9AFb5j}嘰[R}zU蔋j2*Yց '`cQ E ;*%n.CQDNکGIM?ֶrnDLqAmNRTLJbGNS s1bwTnf0ڄ^ϪpgQbj: AC"&Wk}!+ơG*_5sV]+26yd4b.5Jt죏V5)elը*?X^8L.yKe u6G YA8i,eM?TwgDe Pi:'dѢC$6vVh͈){rJ[ZisKiYewqb&DۃbzuK6g_k]y<2-jŶ0.:3 xnRPTYq}/'Z)o=9A"L+zZ9Q*hSV#8f`ѥ!v_AwŘ̂rX{͘xV.nt5joUgɓ"t%k 7Y2YOR0O::<N!c'w)\S@.ER|,z  vLޙR拒^`\@ "ne͐ESsڥ9yWс@jk]Ǔi~qR6LZLA4 b^k^2{z֒[Ic'n]JC/J]{iEDڅje*3݈g^Z UFiIWJBJbmulcgIQK9OE1gEgXpƁi o V*|WзC, %QM|2T>je`:~J=X֪H%B D.R9@S֓7n &Er]ɚ:ER7qMۙ+-Ew3-l{F_ɀ*%L_+n7DqO1TCs"oE #(*?*(فʦ;(qח/56k|ax-,Vg0 5ּy0n){тsU\ud|͓Zl4%0`z]3 ,KM>1 ; gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5250c07da28432d519c95f28fcc6765fa1dc9b8127e db86dba5b5fb7d829c1100e1ec59430e15f326a0 de95b49ab21d7efb1ab54d47418cd0419487d3f6