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$ ]% HOL-ODE-Examples:threads=4elapsed=476.560cpu=1355.496gc=11.192factor=2.847zXZִF! 5]ŗXiɟH)0%o+bW(T>&1IapAqow?>21-UAzL)3Aއ ƛАf 8/rUfǛHZ1['(+VZc](Yg&D4hA9 pRW2O')Ѝ [nrqediqIqș"|$eOe?2a1?sW߾hmd~= _&7ct}rpMWO2%&nHu[z5x9R`쟱{")R.l#E8*W$nLl(+j%J I7?aR¯XVr - HOL-ODE-Examples  x >ӕ{K#2,-1g 6+| r*rFB4_6[$tс}qLCdDa| P]9\RzRk$MRVձ)n_AZ/ l 2uʹxpkr̾,Йcخ3onGA 4D յ ޔ6In2KA ^z*|Ɵ86?.C+=ǭnzyL{yhLia]Z9:}a+#K1+|*2\ؠغ7;vrUI4#\T%/!=_K;|y[~щFpL) 7z3LNYSˤрɿݖz[[@! &UH6K1]j4vI|?U ( Y<+9NH/wQΰ f;Q>Xa.5)υI<X|H8ki^`T1%};#lϫ@yӽmm"C$Ԭ5IhF `)9JSWNjcQCX LI;Xۼz8T?v$Xk]'OCݖXթAu)j&W%(cu)*CM'ؐuMhmвdN̓Er"?UČt+{`칔HD%vs1K"[35TgVU8>}o t?¦YL?Teveϥ-,)8 ϙpW4cGiz[I8HFݎpp=8OQPX2ؑSK mjU1 > 8x+K}M#T{Y¯Ƌ6)hϩ _xMG`C;ƣ8l#:eZ*,jsghz~R冱K RrQ֢އӀ@8*y^E} KF;+ XLI)-T4m/C/Xo8x" ϣPcī1$('х:?_R-, p_ekti&kk eXҟ@\ |_ "~\/x浮JD?^ yUMC>yw"^LٌwT@%:zx'P~f/ה‡g)|3Iw'\G3r|)/ VXdY|A}SX Ӌb$Xvn2|,ʜnvtTi{-Y>_bv(8]n }y &)hEdV'3!VNǬ6Y`dQIִ>I%K%iCOw_g"}b_,R_6/Z҅S&[õ_xsUe[8M]3w`LTMۡWp%Iyue^' ߎz s(WP~ymr kBP 5,g"d` jCX2?;45X|)#z@_{HF2F9J6GA%]} 2wJmdx\' e<a˃__y-(fsw68!/b횛4 DS5.ȥ]bS:uAA!\夠>0m'%vQC; =)s› O!S.!x9lyP/y^[Ig9 4CSih籏z`)(LBd&!11^|=1r(771&+EAgn #p S1O$X#:Թ2zifvuDrY1FAF}4McVDnM,k9OUc(Jᦦ@5wDA+VDhVC~WfѲQbH"W'>z(o09a%Hbk~}\WJRvFRϏW io )4- c5!U[FP]w;`͸i(\?Gv}C?3h%ڎ[Yʱ^xZ=퉼6yk5KHGcy<Q2G.s~@;R{ʑq`5Y%ƻ:P=;_|FzPc z *0{ζd-JV W?s+"ن=Һdd\Rt[#0n3JÔN3C^k/+z#/"Cӿ'dm.'NZ{Z$Z?'B8rKnEz@52 $X!KS$Eu2vKxM~s$)6JVxirtU|GͿ)|}f>9 E '@J0;B/Xb4mߓqn:2,Q:[w~'NXM;a"]aOIp ܩ t]2W||hj&J?(L{ *pzX"?+7 G28XIQ S !E)(Id^ģAefM`w(/ދXL $sS 7 }L6.<Ѡ;LWk {kl (K#HWsv×319GlCed7;Gr޻[)2l 8Z^8S5=S*[-z{"c ]HLҾF+klE"֔hd윶V9-TCNw4_Jpɽ> Ǜwۀ$\H bOFݑ j g9,-@zg/qFؽet^,ݥ5I:bEr(- ESJu_k0ϸQ׵T5%};rOFӬN~(XX5cوXN\Af\,4uI`%&m[:eWɆ IRӮ]Ũ$#r"mCIA("?@#=Er"pӕw~a4F+wlZ +B~20.[_ p-fc=*kE-nDV؀Ve.s3j$T"r9Z6zX! \= HCDY[hs_~>`\?mNv$8iPȞDo`~eeXMlJZg&Kۡm .ȮVA,ٞX+Vvfg曦dFaW&hQ \xxӡ^F[#Ƞ^{&Rk=yLϽd;K#-,MGK~ K1aQ]HM1`n׳?k a\!B`ṁޒUF;r+шzT ׷ބ%ExF*<b7\s˔\Epg'J4疾z/5V{Lrh,Lh&c')Ō-]|(7u;N.]+~[N{ OR!<NܟДQo9!Jźu'MX^CY+Lp(?T)#gcAGN 8GX0?{g'OYN=쟼Prs s R4uEĄuvi+K߲-26|cBu%\Jl}muB%/@ѵ7'hMȃDJ0Ԃ.|4+Vh8b=Og{#'ץ"]D0{:[Dd) ~$xHY^Ox#(!ԘLӏ ?Ԩnu'8Z2|d)eԡ9zT9 4%^Bk»;s=dzyAz5ړC #j)/ƒ507sFI<*]9ʝS:q}%6Ĺ YiqH@M"ٵʮ-#e܂w y#u5)LHJ =8P+} \xu r/,<NNd*EvT>N1gk_g>4AE,C0~f_G`%\ x!PD盧CUmБbcȯn^ɯE*F6W?FjʈBUNq쫖3Ag?=e+uvhqӊmCWd2Edxij'C]<{t4N_ñk4z>Cp&9) <{UiW)8yڹokSiS 5o&Qh>U`9ԹXlw ``Z‡ϙcֵMp\}aD\݁?԰v&_ :z\3FֆPy١hZM18kifeWbx2=F VǙӊ̧˜P϶yU,AւN.TL^NPXMK`4[QvJ@~[p"N+@'_yNX_Yƕ)sjGL@hXρeUJW]|(_XNy+p*yUZäThμ9,^pg'X>X}^n4ѫu ;*QD E"I[pR â[ Cfgk} !,k̎Ɇ!4(&aTa?7aBhB`)]Iby[!Rթd^ÚjӐ2Gsr^pbĺM\gRO[FW>A8EIRfߘ]u \ VyJzȀ|!D+֍ɨn֠8en;L8N~i^a:йh'6L_U,%$*MT1\v^郛D)8Ot'HxvobcޯII/>ڟTFՉ8 M])lgtގX8Oݐvqٗ= o֍ vV.^R0N饤s[aoؼʿ翻h~!+G)aX Z-7@f/ tvv39GzCvKn3̻>J9bou[8o;jEk )3&+disdL u}Ɨt\1Ņ+:K9p[wA{qJ%b[l-_O:vG39&%*U?D'@".x3F⡍? fկ\R~~ׁ{N0)muk]" qKDgj0 4GW{fYKa$?<{`i_EJfgg<ҝ#H9EZ O>1C9umkہS! s+ зghQxi`} %]^TP}X}u!$Q%:‰# 8Q|i·KS{x׻杊θfbVg%&5\[n USIav0:rN+ASW%Y7 tLj!o:֞"{$w~l:ԃ4]Hz D t7LL[#5So WO6MXfѣ@0X%?wA@wкGDhA/=`=2 π^t^y-Σ )wxV^هƢCw>6!]TЍŹ 9* !@s|SBʙhpj䍲kKjN=^؛>b:$O%%jʰԸm ,IX k j6#j!9'-X$8n-KNQ t s Қ2C \Rw0'-w8EuLX^ED^ʆkD'A<ۯ1!w$/[.I,]"Xz@‰I_-"sE橯>@/}mÅ|ZLgZ,_uI(˾f2%]/YgN%RORV;FRYH(xS(J<= fύ~y!4Nh&\(T-#E P\ c36r\[D謑$@@K8ǛK;[4uSshiE4BlI"W:ɽ:º>=RizCCñip\ q"4sd+ .rhIpX7yD`y#uDJK в:@r#0ua>?<@l];2 n WjgcK\N8Ȉ%ԥd{돶_{HH3Qӭ9yt!@0İKAxo)V!i87ʇץE''}ݞ=2@%ɄY-Ad) >4e;9Տ!zꩼ Fpڄc~^RwQ&&b $XϤ+ZV1k3m\eaK88czic-cE>et>2TO@Pϻk>-*{=b?(b4z0](w. 7aGxøO|$@\HO"\bFRXD(_+mJA.{s=^#R8RZ,ŒgZwy/aDt.0=Cd~Vp|(Lku.~Zq-5jKݏuj^9vR7*=WJj7\fN4UE%y o`˹Y8 1u:ǔݳbFRRRHp^z*H3?-KۥW£4 '$/Ԁ mxDE [J$Sv&<;jHNKc<M 6[4'B90tMݎT[&\KC Zw9e}8NN3iŻIJI=7!|X: b~ƍdrmU'~Z'O0OyV4I޼4|.? ApZ Sf=&V,;f>#]RcWp\eHjɶB a630U)J*wxyCc *\\?͈tJ X /ϧ 1߿ݿ)=9s9!ن /aR|xQW5i~jb_ ɓE`Vq} !ysr9fa /h@RrYXs_|ʠ = ho> ) GĽ.[O3n2L6ՖSHxDž{ү888emLJB-_&h@@TjxvSA3I$DޟP>  9}8%|MHO acH1 b.uvKb}\c<,4cJ\i 6C&t6:k:,3.0U7gpMWw6O5%9双(KӉ_ [с66G*tbrQ ,_$GYaBևe*T, 2:ʗg5,u߆AU~!ٔ}-y0,?02:'L/)Әd3wBBpX+/E%27eX ^O-j8w% 㵓ϔ "|{37XÆxƟ-o;԰jyq0I׿0ՍX(GV /,ԿKg2BˋmY#Ӆ ߱_abbա!-k @WV;7tRR,  X7͹ߣg(&UyB,mr;4?;/h-)8dJG]6gZ`;/ 1-~!Wr>e`S+ikXf^mWGex׮n%0߼ kMkOp+.dO p||7\g0hm9!ar[kXUB]G 5lZOM|hܰ(ѧ4p& ` ezЎ܀vyBoah;} /2gq*Z2HЄS/ݤ@9 !y!m#ژ-jGaknBuzܣ\o%͐f)@ R G>빮iS@fP}Òr7)b^!]\Jskh =Р=[-E*Cxhed OCV}x=xX?Mx ; 5gi59W߿5^JgrǜhKSF=]+xp[tViQ]6Kv,rfZHAozưsNm!@tAL<>T.Q,lM$~oXysCtV\Si"P)Vr4wN,pXj!NXb^{[YW(|Av*gcX afmu2e3"il&^[0;so+) ]}MZ@6) o'z9![maȒ C.& CfHo^7}'n/V}74Yg\%(a5W!t.>x )Z[?1%NJcBs(O/ĝ?lWQ< $Z^؀$k@&;5Q pnEJ(@$ !$+Oalϖby1 P%vvC^@=c7٢SFĀ@xˇbn_LKU)Q xvE%Ωtc6.NwCW)ь,JU1O6#Y2b |\I4bepLF@rZ w[T䙴RLZ*@!iѸ&>*`Ǟ0OH d 4}[q:y%um ωq]}X+A]a;4Cve||$WEۆOz.P_ƫ&)*S6~B3 w"h 4ٮ(  :Ja# [ha#0.XP[g^Yy#D}C;+ܲf^Bʐ(JjH\"S >YoPWcǻV1 Y[yߌ$adg ?Lʼn7h} qG =3OjHf'Ɨ8%2Rlky(_QJjẢY] m+7,`R ͣH Dש[]\NU /Ses@}>d<'5gvS75 [&&~+{ Ϊ`R: YIC*+~yU)z 7 emz&2h%r f)uTPف^';4\#l7O 9_UWXdtwȘ]&!A]=;w'Et_ɑWar5-Քk<@G"eϹLM]@*%,VƲ2 :~QmY썸1([ُԣR!>g{*3J"h~F(ã.Rs'{kC?nխ: C@]D}J)iyjz?۾a/VCZnX<ǁdYRVұL. u0R>% 60俭/ }o!?G?z45@_ɘľVB%N㡾@+V Ѕ;'*M<1cz".{#51 UE~tq햋a\S3xmE7eh .&w?1x /ϖQa[K1]FkG\Pe($6=CZ|94Ų!o;)8ʭNDCl<1yXMԟZJYf NsjFJ:QVJ7}%~c01yZzN]H<`&{K`M6[h|+38,[2~cH?bp&i^2]6]2B p=ZPWA7x _"S*&< Rɑ(S;TmSvv.ZzAQ&I D0XRdՕW>m)"8oK{:(4dc5B c;2i s[d%5CL5!bk`$gzAAL?ÒI͗$覾KakT^Sf 5o=t9R`3qXahj+ F]]4vZ]nQj*=C6E}+MH*"U;!p阣8J[wX\SY0 Ȧț)ZZCz9DTZEP596$Im_f oŘ @7#7){r`j-\aU bY҂۸p`9fn+ryaD }9#'YN}g,3qѤFgl&5w0aߨq?WN^@LEہ10 MQ6"&1Uay2DH$4|>Y{N`GP9b+s[5wl1RQdi%L"1ha?T}@0 24):V{u`Ĥg=7B29"i[4NIzW+d*zM)Q(*Q#yPz^+('y$]מvTKefc:J")zWu3!~MB;h,xvy9'u|x#0Pɣju'faW d>* oZh7}6?? ye}i2W}&|'eW%[J$ څ~n=XI9"Q#V]zUW[='A[AZhwbS./=~B+u,X{°_{''b*6<|ҰV*J(GpmCM2)JFll;A|;vX`Q]`H,arflAvU'A>ԎM*ŀK7j_ડŜ5[ ܜAHbf;\-0tWRS! tZH^ÉFL ] t.iiwl#4O|k Z09 ,ehf/U$ =mc1լQ>SR:JKAbە2{o#8<Ͼ.Da ϣl7n[01sD]8/\)=C\@։4samTr&T+u" s@|%{+ɍv6ǫ#)SˊScUU~aژ\u oz&Cj1seS) g'h!͔}K;GZ.7+Qy6Q ?F N,zT??ezgM(U2ƬEFmTeoYi}˼ S.!ဏb,_.vb_p%q1(]&`@ъ1>X ,T.2}ZTmfw=aEUb<ʲ6?UyD5A%y$ )w$ByTgR-;$ Kvߖ}սKU1l =eTV6>)2EёdόfCCc8?3 -T]DC qL(Dt-3WȄxZV9+}ѷ1iEz).pOmqy Bٵ">N w:lPdO)A8.ӜWj;3>MM-1_,QbA>cS`U,aO?ӄ5ȥԭwI=l֣o-4(e Nre5">mZ!6ꬴ#êI,5S1L_ z޻a l!Ieo:U9~XQrK0bՈ?8WHEpZ(ׇeB,E(iZn5H?rei!Qw|z"1UfSHkT9;9GUt lUsf#njʡZBpu,lj)0tdj "b3ShWE3>`ie *Ea }z+9̕yp}Vq:{*t`zvJ u^Z{ W2*uvAxK@>RB_ o,.@@xqM.6Z(X,AD9 /\#0vG z.W7G⿅K".n8 ֿ;埶q^ߠ)M,gݙ,hl;p>(Li3hP ]DaP "R D^߂]՚v4}>!:@QIRZ\́%]w=b^$KGfgIUL=!rq:+g,ȇ^6xjczqѓ4*[t*QodOu[֛a=[?cC/~/`A_%cb+BkOo8|1 #IyZ&.>i0)p%Z^u!@}h sܓ\Q*|Ԏ&ςkɯHSW L %I9tS bԶ<H ACPᢀ׮ZWS\L& TE#q[s'CC~OY;LZ*v꩷Qͤ{qЈI& gV $~2KF 3h߭8)Yyμ%?|7="i!9bhJ(%kc~^L: D1ùrSr<~C"ƚ '3V:8iT)$r_G=6Ц֌I쫓U!&הQ'][(~dnZ٥ t@ĥBҳ6R,BK1E U/{QEYYةAOR'1q,,! ̗"~v.ly4$| &w_'Ճѵ Yo0NkU*(%l|΁}ѲdEd3;CByo|v#m69g>s] 戾ZǴ/ wgG(XI3)#D1~%a"џD3ypTyS+8sG@ʭ,~ȿ}dp%JߠNxnQaӧ'r9?He{dc82BO5ܸк`gS& `>ӺgdNFJ2 gZi RD{t$UgH4~#gObml&⟌JkŮIw:^6ws@nOw 5VR ZΏ~NvvZwn;ۏƅDψ܆Oe4&HP |d<[pԡgAgHb93qTAE$z5ծR2u\flZ+ 髻Ryv4sLnFi> $>cgl/ożs{fXbO_HTD:y0l1"bikחҋ_9B<"Dusc&BKC3-|*_-Ŧe<)؁{Kʔ)[7l]q4zMͺsh`!{:M1S?L^ 8ϒgAn/.VoI~ p~gEZNS.]ot0 f鄎56eokѷ_o]G[ P]7[)  ơ~ḵO3.ՋۍJK_-tX"Ӱ}+`0by@dB*LϾ;I#1|h,8sIcٌD~ZSZYEnEfY 3oRګHZ}OqPy+)k/H0Lƛmƭ>)- J9?OЏ /)z]$8]3hќ ?^ ܙb=oT'W'1"X0ףu!? kDim'l'Uzs[vx1lTz܂@Ox`tya? `1A4<n'|kHTV>KУ-"C7^v165ZL.7tA^_B7sK PoiJ?Yg G1&Ss|V&t& ,q91-&z+#q]g[أ;Ւegyn{81n6C8D=@/`j,ͣA#L1LR |ۛ: kX,݌J ){Uzp?Wʫf !rX߻YƇHҍ:+u o6EKT47P`|O.gŜ1wq!mVbc'LO ~tM[s1]~ !cM~ (ƞ=, ~j^!7kхsXXPDko1' cō46tKFȥ-b8,w>,Z`%ޥ%G8e Xno"+s֔A+)I~qk (L/Xg^RefYO/qEXFSUHGp54`Qʸ`= +6^)cž-'6z:-tFJC kh۲LJhZ9b4ZFc69o)M)s$J=ҼiJ5] ?%?<\qԙhK\- ^ J:\wLp D/pvDl&|_73X()xhc)IV(I4kT~q i>{69{[>ӣ%d'L0_hR [WRǺW7pq?N,|!GD7<Ę,8 `;&>x h^Q$^0*vqV6/!l5Ӡ2g AB-h䬓8g'tL=O*1sP9R)(yV5ΓB$Vnt@itQ&']+}Xc>2g 9h )d@$1׻{b_% oA`<o??~KJZ*G鲔!vh>71 6)ͫ#Bar6IB(tdh^JlG?'"]+n3GNV"Z '΂Zǚw7$/5pv>ıkxqlݼ0k3=h8} ;9 AkMi2*yS>Y^o 0޺V.40'~{~тi{b.u9DJ0cc+1a⛺F'ʸ}`Ib׏B naSz˼Z C. @KW:4+߶+794`eiUTP`(&Z X/l2;/R(G#rwU޺͠!sO;fނ2' }}<&"8VLb/W]9¥J߉dNkP_9/cAL"Wm dKTaG" ɫx9f}mBl{XE)߆*/ӅRud݁Ӝ'R,+zD֔IRĤ$iΔbp]'iѝlZd8dktЮmAP~ Ar'm($ч3P2Ϝ`sv k"d r<qH5O~SFLؕUM?dg#ܺ tn.OdoSO>H_ ^iVy1HVW 3Wx&4~46eO :fXsS\#ѵSgFR>$?+dxQ )?,%?;,? O¼H.sWsB Ҽx=46t#OBFcri7m[C GZ_ zeVa>[&y͋|"/"i>.cvPũvO ^| 3ZmQnY&A*R|pp(\I*$';~0T&;Iڋ-ʼ6M#R)+{jm>gdCO?'>M Fl`dtk*;FuTp3`td=Ȋ?fs^Ϩ8+i9(*|΃.oD7%ìm65y-Y,EUJUhet닁v.ib!)@S=@N$Po۽cbe 4nK&8dģһMP5#IN4qL' X=,f|7)π ]/ƌ Ѭv(j HU%cZN~l'?;?;.sMbr~/DS2 Xg d"n>3m VF(oIDXͽ&q_浍;{6(]܅'gV94Jl9pt1%*;|5B?k|^YujkqR0g@W/a; U <6!(y3F)D} 4v"FD874`oBYDզ&-D:9;W gTH,x0ݱʐFh *Kc_?xvޟݢHo2c;F MYؼ, `Ǭ?U+lw# )n,/"rm%IZDYӋb5v7 0ޣRDуw&*UVBqe0B2~ְDsuN!3%-D!kjgtFEIհ5yl{Zk&" O5K T\y>^23dbWr]ou<xJ&23 [2qQRU-cb~3a{t{0DlG} {֠M4}-?J[DsjܓDel d$B`>ɪN#S." Z:ۇ;4߱SKqWш OJCӣTha'@Ha:@16 |W>5|>X S.mT#e썿%qn.1&~! Ɍ#QG>FJz,Hcj_h/dx(c ݸDI3GB-0gOֈܢs9Sp1^˧"aO MSpO+y/,fQ?]5kQVkY!=bFA_C2omE,_<6şJBQ~В/a W nv3"I7~WgNVÄ\֭ӌ3t+2G2mK\ Des'#!%4tE Rp# N+yTK5UYy34=P#vZ!ZI\%Pv[h2+WiBIrykZˠ50_v e81(!}SFVXSp_-MqZ{LS4ݨt{Q2 c&Ӆ^zL)tT^z,^Bd!wZviZنfK/upG̛.qE4ƿ! ~On3\vǷue(NY1==_Ln7, ůMSFrS£ a X=#q~\ʅ|Gt߿Pyџ/4G< ooɿ>F|B33s.ݚdEO Ḿg0h`~yYPJjL1xIx]y+ByKHcQӛ[:kݿo[·k&J {`mTB! '@kH!{=gk݈S#,\=C4(D.I;8?r|8,Wi4msRaZ:e- ^2HbQyq ;`WAqDu1/Rz__A=RېR )9' dPDeI&XqH9tbƒV{'oZ"yǔN}V]0:]SmQmq*9,T{6yR<<ם Vq ˭4;V5LspZN[HXOUNZ&;6Nb_]K|X5-R~[TZ p@w0S6@e<0s@I{ +_3>A1]]jXI]bpox7Z'@&<&雍i#6`wC@1k A#̐׾m~xîa)[48}(Ҋ#RջkO݈޾JPbª2?H^4-`TV}ABE[/7a3.BpE)ٹPjZh_.p̶@Y]ӗn]Wra2;jH>-+ (1 k&f%EgRƞm[ *C׳uؼOOMGlI] Y'Zw}ީ^FׅWF&7ƶ#Gca۞c^sqD*A! GMH=k* <_sðBo1)GC]s>hu X2zXI`m0.JDhLy$d^O 8: Qϟ@׽ WPy/wb6+T6<6sbHn?Y\S 񼖢wf0[t&.F%F^,9;,a莠{7[[yh-DO;O&|_m3QzhfhB?fG$x\{猳EiH]?wD8¦9*s(1;QWbN*?0ӹBHwCa;f8o\8 DPd I/EJ:WAclJ, P煜>Hӡ,Ɉ͊b>*pnlKr]h 4g1JPxT,e:=a2j*s)*!;$p J^*E6tadXEU4Qɍ_GEuZ \QPeu TpÞ؁.y^"~4+G8u."{y ph$PGX] A>yJӡ%(Vn^(]RvZ `g+UjDd`E E]}k֯5W4AiAP",~G;yjso^Vdg}vMcjO 3TU}QůW2uz~9a6ǡLqP=4&S}rB.fvÈ>OUK66Ļy '1ŐJolKb ׹(s)Yjպ-+iYt}yz=jP>[*)SGU>|[ ́=˯nwNN>=gW{Js♉ٸgs0j>Df˰3ZHߤHjkJS  t'V8Sm:os5>(<ͦJ ~:㏘@~qI@D~C׀g/"6dX`2^(q|k `s&nI;%<\,Ϡ ӯ˧e+qg(|l F= r\ M A.v!K4I}6l|h,\m+V&Cf޹{^Gh){{m9^&n# 8I28kv,ֽ1 SLp2VYa[0E2jY|6܀k6兀`o^?xWN~j T_92|W CrC!yX;P 2_WtWPntM/7b^w4q m욨D 83_z /4Zf_/;UBgKN lErCʧ]V:6F1oD<(w䲝MEsQ. g?-AUC ^sv&:wٹҠro ZX#`XY#ށL6B$LjѬ:|WrgS %7PawS+@q5L:vv ?ϙ@ZBh=fA..O3wjdJ#@+&9ϕ|Ksz{o~-h7\V$VJGz/Ќ`=9Dp)}% !]X -0d:JCEUēbdžco 鏔Fo .:Pv;H?f?S#v73D6\Y5[z]T쓺qT{Xk՛hJ9 dYNa2>Te;^QOILR#wV2%P6oZ-";=?p=!~41xfDy˳5B"[\>S`PuF#{E0M3?7PJl@:=QdcxH#;!cǂڍ!AtCHL7%t(pVlIV樌UZ@`2 . z,Lr">;%&4-J+Dk,ҝx.S?NQNΙN@1 'm)-۩oUlZ44"ÒmFsLjF7)/Y^pC{A#5:՘*8@MubcQ>H>:r,rPO`> ݭ^o&t8mPSE }tO,nzrc֯;牠^A!kЁ GV3<4nlJa5[^>wf7Dw̝%!u)8C/q#O"H.=}"ւ~">m%jD-yP)z7b]^T-'0+[Ω1ALIHm?[/f>Q )k-I,֢' *S/ ,p0`{I$w+FUlF=)vp_ kfvc`DKG|fg_y.:Z˻8wt xphl+* ݐ!^ ziӔQzz;XB@jb:ҽIo^o[P[*<:̧=#& p ZZdgB" pq)>skp[:Z0Pb M&P ]$-gnwf0&Ӂ$_  wnL3,жԔMTPM>,嚳p ~]"JyqIJINg7vVNNJ7By¦JʲI ;]xan O˻Pa#F# "< E5-s} I'/0gΒ I@ʢ!xQ"aWf/-p 9\KuQFJb3J-X v6N2g{f]&re9c'ߎ!-\7"X]Mi eߡғiֲnu9#/^x!C{XoƇ $ܙuبb/8<ǂdٮT&`P@L-_861n~)ym^n:h' LDLס-Q3](#  V}@S#pF9K@nNegCzi7@lTUHv=y,|2 9vԆ-l [Y5 4A*"ڇ\V1ΩPp-Է6ڞVɀe\8b578BcnTYx x\Wgs0e}6Tr|!ؾX -`M5_YQ,aV&I &0~qr`k(*o?? zR)LI.@%IlWUg/m11;KJ{S n@ f\H*Vu~@貁4&Uc=s,s#Ve i?JS@h,Kł;u9ՓsaKk^܅n$0M+_m<ᰚ= &6(ɞl} zʋGEY\wŒs~RPig#qFGX-+4kCl?[ l'-\n;>*$D<}HajKYODed55V@0S'"RU{@'.̔ΣϪvvԅD`J[7&N|1LAIqHJPEph޿e@C@(44=),?jɴI"a. %>IFNr ]Y?zDCcJ̽O7L̒Ӌ3'h47TgrE㗾=K?gtԤAU͌&c\5=*7c {>#eaqjB|,$}`NNf/r| @XͅS0Iʔ@W!KSߡ\&:&@MŰ_3ܴo!L|Z u *ֳtM<4.pq0c[-.2분Tu J Ͽv]&݂UHB㘱˱'˻i;FP,oĈBBR<@CeȀ~ș|6 Q\2e*)a gYZ2d21aba39ba19bafbd135ac64e34d1db946faeeb8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 36813ceb6d9d9e5757031a3f18354857a6ff33f0 a1f8e001f20ab818f11a1b249a657cfdbc47f2bf