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 N! ,\ ]]]HOL-Proofs:threads=6elapsed=323.598cpu=530.176gc=61.544factor=1.647zXZִF! ܎]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3"qb5;BB`^TYK J5 J$p\)måmj,#gg"$b3w 87^s1< vI =~z3OjmݙިdzӲ_lxCGcYFcKrW鏿ܢS_M@.K%itk hW7m[Uf H^ezع9~̺X@9}Vxf F1!fɽ w`fT}ԥwAmL4 G_gؔ/&BSd&7c\ͽI,Knu(،0;b2}?z)[ZjnH*8T ѱ_c$^1`EZL<:0ơA2L >Np|%-߆VW@Af#E )O"0bh4'Nr3Й*A2$;#^Ơ-|-D@p$u} #@-n1_*bVIC&;l 2l 4wd$crT ʼnyo&OgvM28:T"k@K*8ivY*(@Q]1O&Dz5SY+CeR{GqTfؠ7WBfڳqҝ5 WvOWgυ#GBb#z34 `+/d'Ci@QĐFI̹,jσEɎhF߸(S"M١t$Q&6dn-eavNZa0W7 ;׎`5f)ESVn?"W]4dwQk 6Pwdkc˜8'#Ѐ=}8۔,9]dS"y>T!5yV=+;L<h&t!\]r4rjA %[&j枬)eCG #9>%wE?C@x##F9R&ԍ!5KQ//ygFD7MId.m9|;Y6`kmRID;M}6F vCo} :ZAҺ/mAZ#<bJ簰q0dӐtxȜ:f:m]JK磦곗I(+\5^20 `t{e#Q%f[ˆAjx}\d7EΦa*CG&.&ZA]]W!ͨS*Aノ*3֋E#ۇ&a|~Hz ң_1\!pC_EY\.`7?S0wNqaemv`g.&\b#f[g=۩EJLĵ֗޵(%yB3+#jtXT ݫ&)۹ VT3 b`R!}=If+ӭnÐe*?eNsbȠ/L ;8"eFz4hnLkZ?eH) 1WINM0bRWML~ (+Y Xr}fHWW܆z@nے(y62T2)";]$_p3O QntAF2otR/fo$LF]ؘ2ԛ 1癝`W[6LZ?=vSl;״Ƃ3uNω17"uKQG_% r%DǩF+Bij6Y ž6hT>-+ڠ ?R,=4:Ȱ"K> hr5ÛO40ԏ_y2<~S2B0FkٵqM@u2 sL@|ݕIkK3j $TaZY: Kܡɔ ñ OnI4?f6 a<&i͍zYKzfUI-r Cx\hw7î;cV031ke[h?Z7^'*s0{̠X’ZXhHR9 }2#8 !V!-q*y Ђ9]{:EyHb̍ĤgĄȿ5x^8Sڹf|1 |SaN}ft gH-2h/Dr k%N 16gU3 j&-8bBsm+A0wڇ*4MbҖahz0!3Ѿ(qI0"b-vU#;1<ŌPH* xنac>o޹LmZCb3ѧyO[@ۚINJ$ۏRl'K-? {$oC}GJj촙Lp 8[> Dvgn0i (m^3!KWC:  ! HOL-Proofs  $?^'('QpoYءBfܗd/]gx<49_ 7ɜlFvLr!촒\J<)~s ;.#~{,5iI?i%Ơnx#3 ֯QC4*;%YDKDO.]}}+/*,,ې̨ (hz/7sfiCyDK'XьҭraDv7Fct9]/1%$ 9TGL93܀DR8uږJ:2&˱Fq;N&GPlq ܢȭ 4țπP7qP?"grmk/wfK!k]~@5QAX4ſhrwEjvfԕ5)'_v%;Ub6CxJo9R= 6=tABpR8j,V"Sܺo+b9NB/k>A_=X(+@' .,e6Exi UUpЕ^,u1+TsS{BTSm+RFImn{EcWΩ^vdH(>[ nΚ%+!^؞ E?Ee۪MqlT(#N 4o={n0r[F?&ǫ:B AtkOy{q6ŲdY{VtQ鉐s|H3>n(c˝]"Y~j0:`j7@Fjp+lF5&&skO\aBfuY.;Ï>&{<=pTQY?I WU* raFo5ѷFKMeHH(cJEFPr)'YϺ-$jtcO]Wl; s:ʛMd ŝYQBt' % <c_Zϩ!\؏|29s"E>PnI:K?_ {V?er!Wlm 'e*Ƴp.k#9)2Sww5}Mbrg)GxԚNlv;W™nkdYkhpTatH$s7~iiAv&2<3/ayi!!ܷ%%_.8ctMX̦/ViLke9PO1tA)IoI2|\~fIvtu6qRU.iAFjlD7WGE۰BOw5WG[v8uOrq0RH\gYZ7zXZִF! Q]ŗXiɟg_$N%Q KβO%_,:"{>zIV~?G- mne a}(p|؃\V9t$z¾ߘ:V[.W~y Uziu_Yh{X(ŷ]z1E ťzxP{>Y#&SH?27P w_]4MHhSyX*HvGh4?yAP%_Kg{K/d)vKvO=Ld&4z7;m|@jCM?E#*\ZWκ$&MfPIeʖ,M4r$Z ϼUp!H/m+L=n n¹6ZHAתuVcZj *GrӐܣFOcG}Q2ԮW4k=.H?|0DPDj-zFΠY]"ldBq* `Q g<ulX8yt} E3) 'R;*h{œmүW(Eqv" ᢆv1H6- x^x"Qs+fvZm4|Pym,B9&@8H"@臅8=n1ɆW-ez-_zo\1\}Y;ZI1;,UɋWAQK*[GM*@Rf**ͳ=L۬*$5p_QJGHhUԸz~sQX ~B@v~4YjM}+wgN ju=Ƙ $-CJnBmf7!w'`m.U슉%m{TjsQLJ* q-ɞuUvL&BdDy$ 䳧$5?Jy?iN'?ڹ ?ƻQbĮ +3f_bHQ572g1[P@v u>5~aěnGCFdu2vm:qO`M=%xҔ>S~I23|%\dDvޗIʘ'\7~ȧ >5%;鴛 S9MsMB(n^Mfb!j!0ezá&ǫdmԘHIVh/ RcW9 Es3( DնSN L27 Cf$QR`%+uܱ80֕և(̯n^]ܕ[XUAؽ꭮nB7E|1_ r Ō.2d@ p0$i-*LCl./4!"oi6 X9֒2cȭ";~ iU}y W9⻙"۔٫E{ٯh̽,Z3 g{jzҔpe<> 3 bn6M Jq8WqrŽM(F;-˵ޱK?^?})\0Yg.HGJ"ޖ?E\xsӑJȒ4kHKӈօr-> 2gYZ7zXZִF! -K%]ŗXi%J N)rWPe/sOՎC{m;bO5R,);+VngkF+P[7)#Yw~\툹|L7:xἼ/aZڅ4D\q"bGimyi$zqbݔ!7Y;]Do)tZ$=/(DG}%6YU/wKmmc(kZi0-Krsٵ,!@6u[ÏUWFv9n GEu~.|:+}A7Pxݿc ӧn/ԗyA" Fe1.܄O˪^{Ԑ{ĢdHǐ-7t6-0ÉzEuOBnQmLYxg R؎CZ E:ܴ_a:$EA27.Sد^եZ˶…_jNQ?ِGjS&KL /r9Ҵܮ.O! pWvb^؈t"a'g.`˜K;Zp-Au Hr]-2TցMm4#鿰HQfXbZp](5 ~( O;hhZLZ&HֺB= bp!ᨗ\C#]]_G D^H7%9n{$gd@<'{h쌊\Ú:өܤC ºP۪N#ߦFmyO I͝4简w$rY{qaCkju탴P,BBH\|&ZNNȷ RٙWVEE *ˎ?'SF vCn*d´97Zug9۳@^ɷ'SDV)ƃB9v™ԙ^쥔9.?gZLhTB/]V3J .g`,I~ơ't55(3x &rc,jTMtK+h(Udyl[9޲fO=xSK9N촲s3is⇻4O:O-NZ==˪.# PVY}E&:##\(ÿg OwE$TQ>놨YdYY*2ݍD狃=.$]x5-]cmM&(u'i@ǂLc@U~K“ Mɺʜ6yr@tA%Mtx毹ϷBTITIMKq{x&6:B|)j)Jc03Tbl *rd74[=5L x3G"6~Pٹu,5vqvbQ DLh}P}^e:K9cۆLnL28Md{+ ,M1\;etGJp+Hc',>P'V *]2;dh*ҿűl0rFiDrbwOB[bc,@ Uըn2@\׼V8m΂ ,;-]wFb]T$xȘ[:}S?sh4( 8r;i."7B~wޫNBN^E1qZw3wز&3d'N`^ ڂ~"V@џyPe^}k4xpLҋQ@W;)baeEffTW[;3d }(Wp>jREC0+25Mp4Bv3$[5)<r ;w8{c?p|sV;֑Wi!<ڟi|akͫ&< ,3Xr FVB~d%>PIc%+@6K@N.H{)A|LA4;۩^SjDx? 4=9neBY7g d7C'#'B-dәQw9O"#Ԙ3@Gv"N8տvS[xi2cV?=!DmWO OS[$_G \4  C?5k8$žX-JU$3g\ZqV'Vk +Kb~ Wow)!DLګ.FD`01+ss81zljYRR }gHWuR-DT8@^,}2~8ŞO$:7coƘ `ݮWMJ B?k\G)ҹloB #0FJ&m[Z(J-+ |I@N "hy"(ʽro hǻM9#ĭ]d,xh頉4SY:=|Ano@o`?Wb`T'YY}TN^!NY\SzUƣX-z$=Nn#VTg&Yk}J;̅f>&pweƅ L`mB<Ҕ @ pvwβ)moK_+i[Nm^nXW~@8!ojg+zUsOrmƃ̳BO7b#>5aQ"8%US5dZpϵPrxc(\&}4 q쏹]_`EijL{1u X b##%3>yI A{AI0o07-|^= 5*?yB xli=>r4)=ZM:mה8_$S<Uu`ցU1Gn{_Ty/eqU`?wPq42`Ւi=)1CpWFFy8bS sࡪBb5 qU\;~N՗:Hk%.蚩iq1aX,{G;`#̱|/ @m+V٣Т]ȰI:6rl$5 ĺƘ/xY0yu x̫S>M| ]|x]m1A]sLZU5NwNtq+")qZA(]e''z:,.p+0ՍSby|pppF`깂YI94y> >#P!N{5_@Z\8|=ipT)ZEcb3{=Muhw5~:Іz\\T8!L$Xk4w6k0nMO EWΓ\2}7BL9+6RT([Bq0΂`$5v; mxKaVQE݆( =:+36{#iͼV~į>Fy;IlE@֢6/m?2>H\:^ʟcԷp,.Y 'x{+r"RڸAȫzm4P 1Z[erbР{2:p*K$z2R_L@GZzn}|*]tLaͭ\b &Fwf͉J/Jn6\.׍]77Qp%:?biD9gm2xjj"ɯXBzxla[6"Oj8T`Y-AG5n'sc|Q K: .Go"K+mVG +32w' |! gk4ynF$͹GК[dWʱWm_¡U(:UԀTyVH~L'iuIJڿ?^uB&lڼsӣo)0ʐz8^!_xyj?=yUD>GRR!F[dspYQ3zSȁ2GwaFTbkન÷O1S 䴭<jn7$h|MJhY_W>nT!OT2M @Tfj;꜏GWtUW mYq)ӈf`kMXқ$v'yv*Hv=O8|3 }YetO۫:;KkBJQ@saiNe y,"(r't,~q#$hK+j6AW _/`hwk8^|/Lxꀑi?\ZZ)z%_s{3ʅ'k]ye `wM=鬖Ij!Zo[ $\s:g)d̠i P1UjdgUyY+krڍEC׽ ;F~75-8ͬ ]a.ĞFm;= ?T@:4p!RNj -&q1C%GWA^ʯ.8eʆzAFXKAOVƌX/]˥3,CZzcM%A1ɭ_6 Q$"–h6Ǻzfv폩hh#_,T.0w_#|{!S̲xH|l2^˘^87 ᤚʌGO ܹ֨ԥJ3tazAy9@eμrn3YsQZ '#0!v$w'V>M\k֖DSYzQ憉1)@#+&<JKH{`;b?d r]W@ pЮ4&0\75Jl>0v7;I/-zf)̂ Kw=D'ݯp~ pc.6?Z׀ 1g Kr/}C >Eyj! ]D'dP _GpB_~Aה$tvLG,֠ ƶbVeL߫|ehO>eX, p}mx#L_0{_]4;BKhuh_>. YhQ,^졿xvbLt' `#>nt3JX;{kn h/'2D&WD8[2\20ٞEҷ-`qk˽CBqс싑JirICz o\Nq\.iX'Z!d%mF7{gXAE|]o/@bp&ڕbMґmE7mgvIyͶ|iHCy͛Kf;6MJQ@עyAc"E5*٬U]ַ [ VCh~\;6jOc=ܟ B[0kulv.@ }4N瀟_ņ'.6Cu·;p\Õ5k608o\u J aRcYÓYs T@zq>9,GȂBuNWπYypK#Tk}/NY~觸dGo^ _c&<sW&ab*jnIIb t b~- MEʙ ?'CM1C,0KTƭfq. d1VTЦϗa'جW}V]/#kz}YȾ p : EyE)Vsce^{DhH,y<$ Ոwp_8CȜHdt+Xj9c/Qר`xb&]HN\[zh,Vj\x#`_zpR6{eaGI\/IYNz_"+oEwA"bqi4;81B\'[+4yNʫ{B/`][Yq[Q:TqfE k1Kˤpڶ44B]I.RDӘdn BTs?5"9gj&0QMn%ˀ\uK _iYS*Mt!!~.D-3sP~ɔ1riKu.^[|\F WzqzT#))/]x.KF^B|*|EᱪQzaYrN+<iU Zy )@s@7ҴѿZ[W  $4vHfPz@OD =0Z|do,H@ǓJ~`)i@ qʣR]!165hГ"#CkFse+ &\b\&y̼>,O{ ^ߜ,v[r Яd0^$4fib7׶ytoK ~ƩHOne;aPĔ܊5 &4\TP:>E!PED?hPLi/n.wdMÅs0{m,u96Y]v-Q ۚ8]z)نsٜl{ ?ueMû] ڻS墢v %DZ߶橒dAUUہvLzwkrnT^OYjygsK.蜿ϊ) 2Bjuio1Ԙ8]I%̖R7būd>|3&P%=(ݴc5f0xogGo {Ҿn3R J@D|Ѥ}Wf]iQFTZ$CsH %ӹ;t&lHkn9Fj{a9#w"HO-Dz?sBH!0wLA,>!22wfRP$)J&+y`4xug:d0:1D,, c(OCY}@t¢~|(\%;w7B&ؑfd]M,E2:܋k+ 8Wq>@4ۚ",5j%$:ۭr /ƾ`_(W̑?Cm-_3+gi?C?[ 5o1_}t|h?wĎ6LwP=PhYrީ bSd h8v?%{Ke&7 G u>(cpէjǒH؍FlC#7|gwIC0a瀐^~yU-oӍ4]:h-oj(ܶ 2J6'r>]?g1o|wcM0:"TTBZ:J*by>+";;%GbxxH#/j+uݥ*Ye kaf՗X oJr*k3CeEb}gMQ1npqak~} M2FF%DLL' USpHyuY2BIs&%Y='ӠVJTO]As~߆]fH>iW;0Im+ }Z)u\C5qТ! Rlb>ԓ{585RqZN!pZ^\wȐLVrSp 'h͚iw/dK|@tn1s0eh23l}E"Њ8AC/ʙ32Yљ pMϼ/[zj$?oE;{wz|~8!l7ȿ{ xOMf6Z4׼͠/SMTft<| m&E+;olD\AXoQ)7m e6{KzYU[ӣ X"`NNهmHk%C|(7aH=o};!qORΏ M4k~DBa]#qzyu(B30X{B}'g˿a;e[&V^ޔ=Hz*W|1_ٕw4Y#!?S>]40Ns֥`<d34CK!H\7:pK29̓$Lf$:SN[7C @7pmɤK]\=9 `>El8'N 7>{CcĖwا3sX"UIrmH d ,U3(#Fhq+o䎵TJcdq֞E634N0&a[hO 72O^G&P69I<1N뛵..w"p_u!WԂ$5~hۘF:Ue_wR\#lT{ W:! Gw9VⳍlDˇ-DjSﻄ>;l޽hfӧiG(tWs$M}?\kj7V+sx~?i~XM3?:y; y;"] '>/x2nhκyi{j "'"kb@;Iop˙ajP¹:L@1ب_/Xrr a'\$:^1OaƣN@2\JIcx}vӟkfݝ ѱI~S),m8}WB͠/n)ޞ&kH%Yn894fC^e?*ɂyԀ T9)EG;7X~BgٶHi;4'3 |u!fO_^ _bF|ƔbopĂ@;%JbSY=5)D󙽈LP/9Fr'ED>Bt$W_5g1@!M4VT_8 nAsS1czPŞw΋a 7N:)1RѸ$Q90 k+A'ᓹgM}X}&Əۡd84/"E 6d=֤9,6Q.r ʩ>TĖmze݄"c}ai mڪzGʡ8!o{Df|#3']d3 ;9z@MLO\;C&gRقϠ6gc)L,h/^-Ǝj1R@a JK=d8}6'2aD.2Q:`Ε5/ɦ<;?h5 xJsde{+[b܆L1% z HWg\?RseйjfGY/c-}*36qyV8g^bA Ls3t۰'c)hjqs'$w&F֧9,* ޒG%7 Q>rw8B)m)2<HIetF[t'_@6SJغ(_4@:ZѮr-AڐX M] Syk1;G l`zC .N|e XJf5xpZ7FbkKMS*Q(D;>.: rRF0{tx\˙A 9,:N_}2)\V[!Q\f[Su@1.e"hfA/[q$]X'%lͻۯv3쵻(H]@a"Lj=QyX C#l .1EI6n\X)\~ies$w'Hjo#I[ -"tNیcc/϶bism|֝#QZV N$dMse;SINY C6txCa\ov@hmwa;?r)0/,yMIŤi~_IFByZgny/X#*zdxQ{K,˫+; S ِƸ']ђޠRyװi쵙E)5 ]϶W$֯ O8ЋcV&>yϲL.)]KHkE=o1$Lյ#=|wׇcr}2EwbcMlbW<-ɽttE~KGf@67ZWhDb:$םvg--<֔ˤJz{6 &p$6W#!+spD'1i(D.+N5v<|eh-7GJqZɾn T S u9aͪ]r9ҍ5#9 NV^&COȊaq㱊CŃ8lB:2v6r;/0[O.Vrg+2N&=(_0gNr?2y4ivA;ad#;m4.rw}&0pIЖY@ &Ds i"vjTYNB%yxLCP_lVM^¾bH Z|wEۂ]{yf}, Gee?jr2IU Y<$ʁghy"T23v:-exKf%g.l8"΀[k?]5 v@ڴM*6s9$8Ng}P%IoXqhl kfT:WZ+ThԾ U|q'WGMe(cw!nDIf}Ob"X6@0iM?Iгl^a9tu99&Pn^n6,,5eqvTL>mia7Y!o]gV$7eH r DymrOWm+-d9|u $Lj Eb8A/@ĚߴW@|TvңK[.NP#nrZ緖m;+29T0V4%-]W n,&e @ ,(RL]LBɗ 8TURrclEu}41r dpUƬ' R>ϧ&]j0l%"-3X ]73; Rж1(Lb֭`S_z+r;ҭz蠿q)>-%ƚԼ\CTZZt]8X"R?¢6c10aP g!XvZ=SBXw)%HY#E[XȪYmWs+=|WYHl20+NZeƱ*2 UuocwFm?QWشJ WmdM)Z[_.of-{Q4̳g>ƙ+?gF@lvsJH|E!ȃġkq#/N1*|Nȓ_jZEk|>rߤKvO_v8/nÄP/~\'45l~iFqTۺshنg,O178%9;BC+SyZmUNXy~J q~xT̬) kVLlԼvZֈc|h,kഘ_!!FS4#轓Fcԩ3OP_wvuAtS{/,1}`Y0[R*e.yt`c雄n܊sQX0jOu!GU o(-\͙#B]a QW[ .qLj Q\$[W όB (uP`F+m1۽VKKhFEGӰ[3=JS\xưgWC(s.nAe99y ˫2DcrvGk?P{L" O JSPDhxW  2,)W:8e*ן1 f C|)~QxsM¼YXSdO7{ PE3$ͲB>y&T}pR,f3|)kJXA*l@yy[m9)o .GK,VXM+Ӎm}Mp4Jr'15P r7V{F;<34ӕWJ6dxQ2a:u6=Åv soObӬ7y9`^.ѽYXyGm,!nw(ִt,r>qYk **\4{-%e6B;bl$ϖ`hhߛC;}K\![Z!9fn,ۛHgP;8g`'8P<^~T0& *Ո v0uer0P 4I2 )0^qI)7`VE1VcǟZ1%8WHpC:k~{)Ź&TNrPLJzWR(6Y.K+G*f Z'@ʢLm`Z`Ӆ"d$crb=O㜫jwu0M̏X g&m*R= ĎbmdGʎ}t>#Ĝ(Nvw79ae`AlrI<orbV45JB]1 ywl\`g8AO Jt ޸| ̣v>Kÿpl$sV,xvG~b?x|akT^Ǯ꾛QڰUⶊЕ~j4Bf³̘eMYjT,!aAq% olzb~rR5 ]{m $3#]9 U#l!BxX5[ŶFC4ʚlЗ{DD6}c+5}#U~ҤV ez *WOIg'AqH(T|;1X~.MOW0 \#qо.H(qe辋HKn*ddÇw;p:a|!e˜*I_hB ;Rp(@־8rޢJ#:N**> vj;Ӛ~;,Σ$: Bӡ噚XYdn1$BYHPE8nN`U64rC1Ah>l{<<tm?BtMX8⟤!K^`Q=iG$̐5I&VTѥl` JF>Lu}o䕥3ĭ7Rp&ԯS⇖&:$[q @ D3,>kYA)Z'!G3x4֯7j꒮wmÄQ\&vf(^0h؆Xd{2r#9b k%#0ՕǞwvC]W J7i$IH"$[rC4#}EESYKcS&/"ϸCq vGo1 kn_I`l\cCmeyxثwdDxSv9 a&UW];v - [[*]+f?W`s<=YLG 'ܸY4腿qi6o)oN[4W 4qdndo?9ؚl7Oj]RcLei\JLю4WHʩľ63gDzG΂\9TPg!8by铑Nkh5Z&>;^'SY=$r^^w#4FBfW}!84SM},T>"jU#Ҷ!8U%HK|Y{6\FG {TE!#ٮK=U'92)E_@C*)d:t;&d1B88kHǹɐ~Ur<iJ7'(\Yެx[CZdi|%9fn꓀S!D*r4yb:qPE[ܟuAI1L(KZ 1 K)U=G&ywTN8AnT|P   ~eip&q1alvX.mtxɕ2.do[$?J4 / "A|Ҹ˽S1, <ڍU oYS.ȍ12>#߰1 ;6TS\u)STup?u!R\ᇖ3=<=t Uʱ 7mDum5H<oI#ӣfݝOY~C*, O3 ztA֏8x \.//:όV S-8^pKy6MOG(W(s 93 ml ;M75A1I'͇a  x/#Z4G3 mRN3:ȦF3V|~IJPшa f;RZ8W@^ _^$;3N B?Y@*OnOA(Ѯ3o0:r & Tw1+_I% ];"΋{pbd7U~wʩ*bh7B̗]XI^OV(H$#R`aE#+R'j09rKJs"tS2+HM(]іKG ;p8k>nKq;koYg2FZt m2MY\'~=&,*8u0Lsh!{3&0 61-V2Zcu\.4(JXݣnzJ}XwU4~4>$dByF#\j7-c2=XX Jګpgh 51-wNn1]Y. @`2Fpm6= sTţc> Q ~ ̑qHI[:Q>[ L^jzM6l>@ٹ9#E؎v :LXa$z8.̶xa@;1t ┨L8H| wֱ脹AUhNxweX#.Oyg5W?j+ vX7Ashcr:ik0Sq#jU9SЌ;,d([wۢC -ї`0TjuƮ;azܶN.K@!̏ lH s; |AB?I!`ힽw=]S cAf6$y]vt:hsAqiVH PscuX5UYh2 teF;3]_OI6BZz<]>~jn[Hy#V;?< Ƭ-\19{ء2~A5L,pzxW##i꣘NA ^\CP`4;[ҳN­†TVE$ij4֠Q?r?_""ü`|sJu:~i|+n&-)a( pb 7ʞ P[j3t+n8!u3rC8'!T21_$$A }Fb)PUI^ y4eM%3Ht6t0sgYZ82b2823ecd242595b9fe6ce1f72b7743d3419a98a8d2b2957cf6386ef71e6190a6c8f3ffdbb4122945b94bcf20171a64c8292eb9f7e112c5722299db