SQLite format 3@ .0:  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  t tP%tTt ]/]HOL-Analysis:threads=6elapsed=340.644cpu=1717.504gc=88.656factor=5.047zXZִF! S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'o"Rޖ:[gPEkS?*1[CG mURGX26}ݣwBP)"zhΩAlrJx'1|Ea[80!t]IEss&J67Q.8t*5j0|ƃ9SK^y ~#$JJU;,3}AYfXcOats8jOxqD$QZ&§)y?T2j M3" S&%j ߷j=WTbŔ0!;1*|~ڭcL|R:z®` l)(Z}vWS@F]K)u:,,yT!eZu3cDIb ʤ'=b;tn=o(tzLPx&R^L`<-!OGV^{ NG6`A#svE"\m aL`)@#q~h@zJZ3^7z$MX-PЛoxfʁ$?{ѡůAKmp" e9nQbjlVM"bwzEQQ )lPF--%Ty+DBU[:%ٙ~mN13VDSqDjc*f)F 0d2ǨtR/ 0O.9mOnӉTx) mF&bڲ| A*Z&jBt E'3Ӧ aME :!M!Vw}~tS%!Qk_y#cNF Ŀrʉ*1rJʊ4WS `Ǣ<&N<de-S)/wqecr:1%m]M0RVD;eZ*4ң~%b\.*wIIC+Mscޖ*[?' D!ruET 5C9`qagSW?=m)1jnicFKGq <|.Uo^n#E % HOL-Analysis  u}Xzv/؝%DVr!l1-ig}M9i̚,L擽eݮkӂӀxR7ǙV*Ze3w ??+Ǥvn't z+:@39OqϤh)a6/v*r/ Msy.]r pt LhàvG6i@:J҄eEGX{4sȚ=fx,M(S-7JnZ{G$kȒ4]wW uoWQ[b8 VnԺԡ<.9k1=Fǹ>́Q٬4v5>)buOI* mUJC)6Bywɠ0(&)Q^h@Yz_i}P/ Pu6A_pȎu~xMX8~_ڝ4a0|gd[Gs`Ӣhdz>ANI~coUQ6B,[tCc> pYa"9WR"T0ҟMkjA2;%Xztځf%'^ ;$;Mw JfKؼ,MK-nsĥe8XfZ'yAE@ ۼ쑻IjL#k/ft/ɼlBsҼ|+:m>v,!l<3 ,VqBɱ=nLm@{N) WTD6@wQ@cM$WiQŘWK Ʊ p"XHLqk)%$D RG %1g&ߋ;'_ # (wE 9u5AzrQ՝)mo%혒a@=H< z}< .68{\,,mzK%?2t A*[ !9mqÇ? >+Š:vɒ7-|K;]! ܨ1?UpRpCyskon]Zu`$9&ުJdO0%B8v+t|j"\rK4$ZAcThM=QHeFo+- :lxztH6v gc*)~SC5 KRMUL* [!Ib˾,ݒ(/ӡ/} 1:TyGxl'So;"ŜIY[~$60:NM,^M83Jirs_;:~jYmi Hʴoc&Rv~@}'s+H &rBKR BF-[I(?&ziuСύ33瘀L6jGQYx>p8O9'Z,'d&QsZĞ5Jce]7\xy.B:N᷉V1Ow<ۚӶ'|sD7WIfA09SʘҼ)!4$͐\2P/G0X}llV +SנM3=?8Dקz )kd3R ?FF""tI&C:)a9r(1Xϻ@"T؁2M>/LfQC[@}:x"*ir=3:7 ]K!?eSwyx*%'IqXO=C_wHFy~.ZMƔ.Ig8uU ]Z{,;YH u;uv.N}{8H+q v*L!?AQ!6#o%R8= mYŸ+V/u[ ;=Qfees\Q$tŔqUy7&\h >"״7fIrJP Ό:!P 3e L;"g[$+76m0(;#hOh_|m,ד: w{ldžloy&΃n-̩ƛ2*> 4:(2gPl /}~hƗ?pZ.AI*y<m\K~5/^`\ZF7GSSL!wx@\yE$ Xj&oma$znhH$L#+_1|f[9K!g!gLKr2#2=fย˩U+"V];R$ϊ;=|]QNԊWz4(#cLd|w  kX9g DgJ.( SE3{o2ZxDa-)qp0,L ܧa\!^e(4 X52w&Be]AbJJE^7UDBKkfa YQIZ?ptb'wJGt;ձn_.~OnSVg_Fv79Mҵ&5+(DC҆k-~|io,D [\GܐT}K4ʿ5*TGbrWT8w$$tr:7 oxKp#i9жNvI6m(g?5G9M!~wD"|*Ecy iߎdSFI`uw+'%;7C1$4 kmrGv:m=J+ÇGoax6] L|tnMjZqܗ.yt׽@a|yѰW-v 4+(,F]uā]4tވ'g{uʹzÐjȫ~Zf qbCHJj)0(K%"(V@o t3bD[e{ rCXKu(P8i-@č\AQ`3A풵gn(& UDgaz1/*qfxҔI/w^s4*X[NCE ]XUmr:?Xy(=M7<,I8. _-L)WB#-F菑  N.Ӳ 㿤8ʚ9:I645Tl54@{3" 0D, ih9>Mƞ0\\F4du+U1䝷LDm :F]a^#:n{}(˂5s`n (Ǖ^ÙͥF`? @swYxrI1r`X-|O|`Q~nG ZtzZu%u,OvZ"C1^lҊKZ s7cNʭI$9 M{X?Ү[ U)3sjrNoӽ ;=X 푄rȥ+^C{h^AJ бMO;5jN~-2ws 7fÊS@ (4DۖAuSnbSXyX(s'pLRSr3oJB@}bhrz<',]fUβK"7O\g@i66}Pb::.q}o zA63&;UMIhz(R=2Z/4RDX6X]NFyEFVRO){7tuzT&; gas,I_#^hb]ky Χr@_YE8%EePCFúzYPyzFfڧRw=6fҘ 8%Z-^7e-c/)FF'睮I{ t!>+v~FNhh R{ |Ugy ;𒛓rn1i{QuH`-E"QP@xy9 HfH΃jZZ:Q 11tɟ#t xbzh8a9TNsIќ0Bj4i jݛβP`}:`\9_@v^`TY+7!p06ylp(3`[?s?EvVƉӤp7::&u|Dz.TB }@IK{>.h9Ž?Ŕut8C7) VFfH-E\QnQ Nү?Y"Vu<}N vM$ؙZNJ*g./w`VK Xuix]I44΃rv!0= "!U օ$2N)HaAN[@ہ΂!o$*n+@m""L LeN[zRᾭP g+cMr r5O ao@rȱ=|x8-rp6~Xٲ:61v@w󶛄3IdK}Bi60*Mz,sխTٴٙBP1<pEx!rvLf]hskΛ tvb_xٷX䱨l_1rrMIY3g|+_8rB qލtIP8{&]K0j%⫍HؑqJX ?T~((bhs:j}6 ' vnp7?H5#lLb(0xj86h=1O}Y鳱Le 7A| cUS?ԉptf*u"qD $ TW"k0Bh0+T/#DE^ݼŷg=Y@Pv7wO*ު䅉0o0g*[\m!߀Epϵ8SBBu=#A\QjqeA AJB3c%GE|hO{Mrtf|{Yx2!kѴ%$ Rt(* F$ I nȤp&|Œlw/.vźl\LXA%9`ZXqV5ʱLls}֔G֠L\u5$Έ"k_QkQw𰮉֥@)Ioe}}jL2SN׉ (p?$i *5 pȖ[_k4lƝi@id5xDv#q6UD&o?,b GP5z#@+fGޥ,܎DBDk[َiK!vQ ۚ#7[T @7bMָl]Wޘ&ۼAVSV <EƕhI.{!I5I{F ~tѸOěc!PtMڤ6oK=*9uq{ސ*'Bgsh`K{Zc9y %xyʞuc;;<#nJ B91-TYf؀t{Q:4p4@|`3Bnx鴩^}Uwu_)+Ai J}0Ll!Ci`)3 ,"EJ^ZF#Rn5Sg1Wp h8wNb%҂TU 7rLˈ2G͇q.QxpeM!'P` u"|F}E=0&Jhj2 n=+xqڄ^.`uir \9` (41 {v~v8vwDĔYBbR'ԏwF3 OS>rE}Xu1h P v2vS6(D KE2H; TN%IڄcQ(o>YCܠt b@;饈!1{j΂lbe*_⏣IhzB& ֢Wv7:e]W eF5<}Qɗ?%VD}N%?,1Pz>XƴG-{+5 rk?x`\dT팰#iK`a뭆qݠQS)1[NyqM\O1nn R@YNachV^9:4,URyaoHhu?̢.pjî16TpPSI*`@>BZ('1dkiv'DP I]pw,~ ɧ6BS!O*-ڹ&90Z~[%Cě$Ժ)Z)8|+BiCp(G=-j.ui of\mMT bӐljWȷ'DX{d{![6V+k{\E_ifJ hNN@2OL4}Ö yʕ$Q~wx}!O|SlԅTT*q0t"@*nD(Yg 3f|f|P+ 1mtuȼl <ԞKB!rF+njs76`0 B"=}Vp\ oJ&]Z5]6)ԧ>h⋬+X!)2jȓU@XJ"͠D0"ړ:ٛyW( 0o5pv\9#ֳԖgi12@5Ľȯ,NCʌ朼h| 3Hn츊1~6aJb &Ӣ.8;.Dwp()5XjN#GL$s_f>mc_nȚ ~9rce1|h*۩Ymm;/7%,d)Nk,9d-T>H ֣Y9 0dO\aŏ0v/EjZ h~qE\Kޕ`;VH03J̯\EKlQ]͖hj/D ΊaV|+K1o\~͆}*b尗r23G5ĽջN!@"\>)`u1_0CluzeYGMcS,~b邹Źpd;)MQ( wҍ _۩򲁢-'VcʸFl#8(@HBp,HE 4vUdJm5@/DhOl9ކÖZR;yX{=[EmjL3uM *JEkjO#rW??J NypJL\B]ȸ]}ȳIP\SĒI9VGG%d@սʏ0+m7W 6NGc8H˞km]ID2e=ڂ& #ڌSWV&ƣJOGcΞO3nJ6m叟CK $ Xy&61"w"" yFt߅h4l!~Bu2VAkE g# LS ^!r:{lYIQ abgvs+ҙz>Ey )#hzJe.oWCτڋ//%&pu|npn?( {Fcȯ") ڄogfy.5kx] )[{T$VjU}zr\v&9΁_DLAdt3~H2-G XZ>U&5Um5ʌEE^R*]]כX@"Rǎ!/*/ȸUuĩ`@"isO[8 uj.3,R)+tFָ_]_~ QBۋP@UUDHgP,kUVWeTK[UY Zs;@|ⅻ@@D96EK NyHŎN qpEqk<hy-uP5]);@U@b(εI2ZyIU\}H_''JVJRRh/9b9myST;98t2[GAxAW4C [u ڬh&Lnuv_gfj%@ԁ"L# hM˅VM\Wp ʦaрdV{7 Ք.[Y?q ;ll+~ CMJFXrIts_NhF"?9Рhp›f z3vf~P}3EwIN461 PB+BsbVun@S8mI\' '^BG;hD~Y7rXo}VFSRG [lSȳQȥهc+BjŦy_z)%Q>P]hk$ǸX†8hܰӢ`U oxf6z08~w_qKKWh-rI]xX6y^Ȭ[,bc$'KF-9_$S=[ꐊx*lļĕ[dܹL0x9L+(t{fH Te~VjG¬wVxlU)r_ rNo7l[m":_DBe~2",Zc>G"TʯEz_ܝrD^1#‹2t"SFȄjUY?j%Fk\d(m5TW+S-B9ϭX.8i߽gz %vJg3"[E qwTҰab*z4b4y2us(n#^vw҆}+/wXb"?")FFKHM[׳)Y7궻SeE|jr"` $\ɠB[wC r^_2EKV6,[:SɵT؄u48*hj!V.rC.åxo_77p cZU mKLln"FĨڑ h)TϪT mʿ4VLJzRUÖ(a~sJAs"(+_zg61ҕ]G?P~m)vuȸOa Y:Cd+5,c89H+#hkXc b͒Ecr؁!Im"G_T;wdʎΤՂAv"R1Ѩj\ƴ$>gKf:o-$ a` S[63מ`<^#Q s*QkBc,胹nax+(nlXoCb큢'*:/k^,f]BL dtQB!ѝa^X˴w))*Η WnKtt#ewW[g^+S]lf4[cR7k# |OŖ:OR"@9D!9y2*&5}J7nNv%f/N 5M;wnZq6f[hA\o~/wpP [41X™T0Q&{DL ylzt "L3&sv$mv\Rgt+6^&q{Wfn\O MBf|*0!e5"U;9W4ڧpM"ڄ:v,^Nz"I#d1%7Yx".=򺴇 Σݡ [Fk-WJui4ސ&X迲_ j%~vs(.d-L}}<>8ygUWc{`HcP]O) a; ڿK?k*Y#ۑ᤼+!4 M˻+%ʮ\ j^VHgv;f" )^UH`+ؽfCfClps{22n\d.G-^4Y[h ajb4 a~V3#B#[y`9;ٯW 7^Xy8YqTP6-كA;M2|ax⡙7=I|iYIAM'}soQ(t vܻ;N)0.y a'&*w5g{QfoSX˭=_aKVvaE)th<^ְf{'yޗ>>$m^S5+UNZ'J9Y-WtbΤ< 2 '烢'ko!{Q~xٴ^3 T;x kc`z%#쬉<$ ?qNn2GlNqLIk tJ8D=WHqeqT}k bdS7-ѦM d{w쏕_Nـxbv;øE3!xj9B| ~)¦ KCU,W٠oƽyIg%X;_3,}_ fjVVqs%Km5ŷP[RuwZoΘ HGaJq̃=(ͭ Ƽ geiQD[^{1i5MKOf'">֏> \gW+ptq!_Ii(HUو;E)=sZ68FSA8Lb" jB)@]4PnTB :?g {UnHC8%wQ#bWl,G֩)a6,hnBݬs}֗`,ʱ%julXC2bgMw -^VO[Ew껇"j,Fb蕪C+1/8&I+rԾO uN41T݊SDU+JXi}me*%QLrfDjYZVJ1,˃-/eXyq'T[:Qo M{MdtUԣ0.m%ԟ/muW @q̻Ӌ} fe2߾x)ORzd#Gx'nx'En;~lv7s#Pel;0Yz&8<Dx/F1yk!rofӛ±Stu?LUq]qtG ٙp{Fд)PIVX4gnw6r*HWk>Rac0[$9тx,Ȅr9]zhxO$)C254q#'Bf `BѽBwWKz.RXLPHouCJ:}O"52}c6#vhy$S)L Lvn4`Oj|&wX-hhi٦.C&ɭE/.?'cl8ܫD?(i8D&=#n«e*QG~7"Yh&_?$dS룬st&(4o:/"]"3;_MCQ*ͻ$=w$yqrEr4]/+|j~{O SD<PN_( !u$ky$YȩPqH |,'0BK.g捸O}e OX%7 &bu9'{!'/+ v&Ĉσ4%1 kN I%hVR:ZR6YQh\5Bkz;*7W]8PHv/nae O}a~@,o<CѩUQ-Y3>b95v9 \ _uC-UPOmȶ飢oUWw/7HOYд}ԩr;ͫ(0v}{uu*( *Pz2\gWg1S h1JV90vb2dM aR6U6ܳifm&ig3W*}[zʍ2EfP91[G20Cq 㰻݄b`3Z"&\bh\I30Y=9`H=& iɹ.R뀈"|ѪE5J s x%lxmۑR<*^ȝ';r7`&3u\PAdVi2z{K5v(WY&VzF#^%7Fҿk)px(z55іp}ycFhlkNNn|HY!tא??- }Qp/&P&oIRS$@R~x@#WNxž0Rj³7eYӂ}Ȩ0RhTE|\xU^C)˺OНj-S³LXWi'35e+-N?#hDjVySBZšmذ!.y)+Z,6"`(.ĶCU4Z덿)mrB~ob 9\uw"i4MW75Mџ `[K@A->N4]X@)Tljy c>͔*͖̏x+rTXPѯکv5oubE9=$sgϓI Sk(i]P~Cv+G'%@ =T>6r rO&7T`~pkoơ$f!&Ըzx:( ܍׈U5|uc+9ofS@8|m#N3Y?ڙ65o7$˼F@`u)X\1X], sn{.J 1Z66 0iRjɴ.?NaMua&HPyVӆࠅ rB))2w'Qy$y4¶\ #k4MmKy 1̉iS _{K_%Nlt ?;lT9|m,1R26>4!A.VWUc?gNet[;:.ӡ8RDdáK0 =N^u}6SeZ3e* d>V: aAU:("piT+g ZkJ @:i?\Cx?b.9=9w(NuOx%ryEw,O1߻:ހ?:foxs$z3ܧTfK0 {K7 vOM]כ?E(}.bїO%WR._Tǣ$:Bw;pY| x`-bxeXqCz X/3"\kܷ+UP*›l߮Ꙝ6̾SJș>bD{tb?+ lԍ"giL<4הxFOzW_ݬF"g&/ w ׍&*ǹj3>-JIXMUX|)qSy}-G玲3po@}Tl t3QGKQʹ6\4tLdheY/R+&;/uڗ7uLN]OG0<tp$94-PTc}ŵCv1 +˙P+V ?`dvW:zƗLa0.w;Ko>ϥzz%嵷|?'aA#qQ1eDejbshO IF>HN~( lLTx L9`4tO1*K%*VYm`p&=VdN?0v)=6L?!%v&VwH U9oRCfk9vC (Y'MLl+wɸVQVUbb/Tn$15lx7BxנNUte!H2USxV ??9뱅dRV,N>E>Oeҁ$/ b߱|/e T& L w^%r$P+۔,}K2\΃ZHXb8BxӸEqaA'wч -EJc\Z9{@lZde";DVƴ rup9x^a%.~]D0ĜņW}dnKU5G^J/ݝq,)wh +Nsd B*WmŴ>[TX<:*&Fke[qo\ Kek(?,uc9ѸżUrX+78c5dhFNߺ_壤'$(B m=l%68=Bj4jެ$<(.ht{:&W* R[:jm+?kMD{_ť4x:< nvdt\J(h+i_|Rxk q)¬B(zQ+!gV$ې? 9i]{I;**\sxr#!yR?ou IVe;5ЫxrՐu_qXic .i=L`_+Ve0BCK$c$*f!A3BȹPBNd ѕi XװFQC_8Iެ-CD.`ɻ@ ,sA_Uv{Z%W?@:I'ĪOx́ i8$KBNIUh;CtstsTEK(霯$ȸE_|,s\i/o70oc9)LbHd?yn`^A-vFwajR +K:9i$*vGʎ6QaȝuR"6$ ᛲ&yԜrg7W2['-DlNy2a~!OAhPv8e;: E*AB[aRoKz>m^Xj ~D#a'SMH]󤇼H2ׁ,ү;3\\((݅I# .%W4GmDx_Q88SHu$k, >x:q;Tcb*MIƜ),f|I =ry.8bco:Z|/L*OO஘zњg>Lbw|4AR(:oh4KNy L%rTe,yY8tזkw Y l{Frв9O+%Jfy H'?t}D4lhlGFt;H`lyݡfXSfRoz,6w<.*_9%o#L]l镉@ ÕȹKY!  q<9*j;7IZ&uqH]!3Xkͨ,{._7|hN(b {xNzlWV f"*(Avyf0kc/_=lC7f;$FqJ+_V@~3`uqˍѳ7!e.< .fK NJka(I~eD-{[UxYTj*~V&X4_~}.GŽT6mJ ^}hW7:Dj.BQRVLx/E;mx/ţE_SdO|kXАSt|h!qMUxgxn783a0WU6h] 7vu_@'&/=6=F8OetEvM۩^X#(Q÷oZl7)L-*&n-^ -Y^HE4% זiN>='\I(G^œg7D+UMPփw'!ޯcОӪ4)BV vLYt%tKCKsP; Gp*(Jsi&T|eWG.f-B6dѰE6շKPH JΨѿ am Gԑo[[ z*rDN6YT4S%R(6HAGՕEWR|:W$MK*HQ޼{d><!@d(mjWb҇5K{Y\^n׷3 ӑc" =lҬV3۠y"eݭK\s]2E/+2n?俥Ve(cTGI!Yi}YdEs"rx0Xb9?nRs : L\rgQҠQn9f/=E[N1WJgYZ7zXZִF! pv]ŗXi%EZh(3Ob )`hnGZ:~f_k[~!XayP"4Vhp>q ɑ -e#rrHM=W.Fj؜t.\Ü3E `zdfrNJmWrɳ_F&T8gQq*S3]i OB3;ǒ~ ٪\B_hDH"JsG87YġѾiu: /Z99Ob*߭~?2\@ MvPɖCz5"~3ldg:㈝{MV=2oil`rt"imk*iiLG> ް> VmEc -XEXLB3>xǧȩ^ǀǚjõ-]~͡h98 )UF7&(˧-F73̩k?ӝȠC鑤MfCW?G D9.Bz)9(T$o&?SgE"s)UKH%N5$(vIRNk#gb{b(^t&C'SU몬.n͋,xŪ\=Bw!\aΛ"7"ck@8%%J4U0#g@V.P裾w(R>w#ʌS e|8y2zxb9P6mEi*+!e)ao XrǕ#M(- OI@l>.&@6TmҚ~DwȣհFhYĻ'ebِ-r`8ғ<3 iFE{S,2I(vP {jd=W[}}'M(>'ɠ]@L߶Y#~WUJKSہK#r*pQ3XP5Hm68F B ^ɒ̟8vEQ/'iQ2 V5 9 eV _<+%_A63@7Dױ )+aΣ72ֳHNo˩S2L떙p3Eb|^TdװzuPoqU\J&g%X/C+J :2} 23y3%(s*t K"}XR5ѩ3pfV βv%x}YR}oj“~LdV>r/m΁Ը=̦w`~*0$2+YV){LEG3 G3Xx[Ń@ںf^%Y\O¨kN9Q/9_,O#R 6<۠{sv.Rj)zg:rfl}Q]l$ v=cW%[m \bviA/tBmX~JeGT::W qژo6yt56OsVn*H%( Uy[eAH]2i|FHG[ 7I4*.<~uքBTZ7U$Q7̼w6G{5)^'t]2 6$|6-zi}@$<5RJ7<+B|Ѓʀ:Tۢ "ngCO` e4e`-p,A^y&% 7;MhIEh\Ϸ&?yL\mx6'CA|eNv 6~@ah#6c@{ Ʒ`!'q<ȕ.ܳ#+^1MTI}ɖ'Na\&?Ae}Y U~KnH#%I U+h`(a?kDS'^$B\݆^Rz?Z젺3*$ .G`1JRa10dM*9hZSqS*_:t.Dp,70+0&mi!Y/WoaյEbU R{3i<0Ž2MծE7U;!RB,LlFi!&쇽V tGk ;68#D &c;Ԗ<DmP}&A5KhڳJz< G@ׅ5q Aۯ&?S?X?C:Yݝ/ ^_jA#2\NuK&"Bg.;`:͖MT>^`8 T,;OA81) w17ؗ| ]4j-͗]&#GlBB>e>sS}-pQ0 N ^PPU9Bh&b bTotvYcb^wuFY،&< 'hnw%-x^VHӕ[ N^L AzKJ=޷̞:R^؎{wL87csY(P(Ρ.Νy]]`)&>Aο9Eeimȁmb+Fc{\Gg` qBLԓJV―θÃ@7 twe.ēXuAyQ.SF="IR/.$$Փ ng\='- #B 1UF;ѭ j5en&oC4ZP +2X:VQⲍ_u\PfNP4?cY4`Y]8F"KE!1'^y O:+4hapW5tS-6٬ai !9XJ Kp܍c>ݯ7sb^){BtWZmv_4c x)[_[) ]; @LU68G5ԯYc<&ܔΝYt9cIWܫ x:F@L^f$O+;ςz(B;VNY>}alo2f!U,A09I\l֨LGr`,PkJHj4Ow2$@9 M6Nc=|ӛ: *3#,6{~{X;GW=4m"%uZo*X($q?eܿ} ca'(:HTUq9k9q a#쨬 ̒aRJtY4'n+> V!w=D2.J7sy(r1P`7~R~mSF?1k S%Az0Y3q}cd9 CN˵[T*)M7wn9رY>"}vr<'F^ ƻjt}]NHʣ4DFdGjݵpMcoDQmHD4 K@t}(@tqSDyxDsGz e؜wλ;/O @,&G((,|0)Z/ED [7TrbVV* =H/`\'ju (WajT(* ScʟV:P6@HҞ;1qUSV?੽ҘoKS-)h+tQLna} zU|B #$ݧ7JSȯM~1Pt)W46}1euRM3 Vj?<0mXS"."~A\h/3J5 Qu N;N"G/"%< hcΩufJ9򊼐1-2twVb[wjD' [woe5wl<,Z!ꟳPzͧmgUф!_`A_ 0Ƞ,'ks£vIƚ(zwZzA^z*4~}oeP|!M/O"݇v:y9ihn]z'ks? )I.x".]יF-3 Yv@ٕ$|*mWwkdXyƴ2;uO:K/턢L8q)Rݦv)0,R*寏_G䱲?mB?⫎ͯg>KMdϊW/,)ob MPǿ|NžBkܺ^aeJ R }:GPd4јZ8%2FsD\zh$һNޚ;;zfVPr) Q1=G-՞-,GlH~KĮ[$ mce[l Ҟ~Mq#F:|vZV7 cbb1ٿ7Qc3 r +c%ـ<'U\ ɮe^$5V ܠ;VA1fLEDt]es<fGsj\FF0܏=و=2fZ&<i0Ӷ\_yX"VND)c3w"n7]7!(g|+3şm WDCvf Zh1ҏLQ u - jB5tmi iYbp]9 }_H݇bCc7{㮜] NIxG>E Z"?[j 2' bXV.Xi|2``_ W gŬ{[Dz|yDdZғFOվ '}H_6uA o[aC{4[g)k1C8a5Uj~m8CWjM+FN mӻx3ӎzڂ1R~C,[fm@auwid3 Y`pE(7Hu-d I0X# 4Z jycUlj j&Xԋ&mضw\[N qMO_=j:]}a:쓎c̝80ui&q9V=ŗ>\ ~KEi4AC~`y7J+b颩*p3a>_)i[,/6Ȭ V(V#&[if-Kֲ!lSj'35bo`3h"I8?~qwj9,s!N.+`4!%Umwg3\w1ӿm[).pwXA#h?Ȅ6xYd]VB?<N`Ʊ8W@ms-t]dgKD|Ek1ĺ`õGťnKlEzʼn߯=bGCTwc^NǕ]TշglIߑB;\:4$fTWw5GwōAҝbXULaR(8{UA*2 N@BߨpŭcPo<̩=m?v"<X0x~E.s(tV ]tuAjsYpŐ1]Dgt״eV 5O*˳)}Fh &Tn lF 5‡Klk#LP_.19I=r{γ?6ڍɍ>! I&Uo} Psd*S=Rɢ%(w :e a쐘3%.i$Za6}FR0b +yZ d7Q2}2wo &u)˖LgO@rkV G),)8#A^@UZ*_{/=`C6dWo]?xlѣ)t䉈TEXdk\'=?jPƉV"G:\;.z <~w(_bsYlO fIZmjf-Ź/ Y` po.9 gFE"YE>7йnHcaDuS*8(c>D/E?ElO$Jdm0hbR}qj"ạ&8m~KU%tB w:!SOt#omaA/ i liΫj<-$.{*\,W8$r"YK^v btL.U0kȅ Q脊%ytYF3>/)(YbˏjB] '^ y꯰t=z|G+%Ӑ!sV׻ d O,_bCW-0H/M;UCzZuI/à `_oqœp䇝h9zI|WODq M!U߮w[CAδ;Ɔ9صLIZ#`!ʚݠ/)5e,@,Iiֈx"@RaMp@ĝNS8؇ I|0FrKU@sct..S9W(m -HLo/uw-(Zѧ?#u战 (la3mFPVms{ܧJڕvF{X|KEb~/)~ |_щ? .X#ޟInfH#ߴ9,WQrt@*xƬ^VطO;|ݧΐm3mgnsv^b^Ub.Tϙ.7CdCh14;96 g+o3G x((pa]([dc=Zq#e}@zrn?U_؂*%[l,PC+kl=#!Mx Z;j>m~RRwkX=׍/sTa/# BWw ,N49-|#i^?; U391oYcXZum- IWX?)BX\rv>5GUbJʦO+%#yO%ǡiNڝ(nhMrO!QYI0rLE_ UdM:q`3BGܪ|PCie$:!y' N7$a5Z=G`\95i_+'g-º:Ћ$ufٛ&A׊"4#aP?)|&h$R3#`t6 )ݦ/ ēFd{jc׎CQoe,6o~jc(Bx=L;Ld:mE:Agdf1Ⱗr +Oˇp[1qKP,l m}ћ7yiG1s*9E/xcV H2  M}uv ݅jG#yQ@X#iG==ǖ">fةM\ ƒlD\,yL&ҹ4W{JLmj*$akX| WxQ(5]|&+*ihRF[@j:<+:`p^ohlI-/c=xDdMzӁU.H@-v(BmˠyTWq^svIl&юjZnrI~Y7Z&&iV9,4M¾&Ām*_/|NjUh-TT 瞷wb>Fs- *^E>:/2,ؓ{R/کo%* &4=O@05qP'33&@{}{׊9;+础ݕ_Bf:ߒFci`4g1>׏⮞[: x O2X,UU{#/,d߆z?f4SC q!>g*A=<]Y_GZ/(SW*C Ɨk%@6o1uI29C͚u/A{I+-ኍI3d+#nnW }|I>(4N C 2 8B*A!u0w?$Q dPb93 (Z*Y~5u{fZRE z/R8],}bIƈO#uOV#{PLF`qWv/+4Z!} Md=R,p $(TbBD5#ok#38ޤf"GmF5'goάFnh3k7eP_&k2GL1f:GHҨʑ%ItOΖQ]%m Y^.>h}E2yoze嘌<εUD4&: cd#:/e fuDc>O%{oJAM䊀j{; E[t޼8KA#=ܣVNi"o\lpy-Z s> bw5\uA1s>*Ia{bwvkS|uz#nPq]Դ^)w}lb\PbѩlqG\QHv 'C7ZN4_mݦB0W䖈q _/fSɺ+-(A1+.>^Si6"4`)#\fF:A^R?PH^æb@x~ Ǖri0HTd}SU#=%J'.:5 Л/)VeV_=t^ SD(M^y [ǡ6uL^vB 4n85\(eɓ_nnu[FMv+G+ RrvÆ {a k[^Á0)`Y+R?GVY,8d=ʉihWcNoVM{+:[1@|%҇VoVf[LU{hAnHXJz6w95D去ZևUJbkZ̬7 )ܰ9W+vKi%.bnwG)S^5}Y]Cxk\!ҘHsy( RĪ @ gQF &z1`gVFwyt>gf63{ɯ1b FtLcdd__,VsK`n]Rk,Sm,Šk$| -R*ʐ %%nZl;{u"BXeIÆRDP6s0HfI9` /`4ٺs/Z9ZI4zu;rg% 1.t'ce: rQN|&oEi+Q]= R:WyʙP@'l.F9* " g)> "Dݲ~uEVza=;1gY1o' >"jyOs. kc`Gn*K^*.\ %Cݮg~D0#qWQTCܝ)dXA:Փ7.7unj5u^vۘ/%=K 2=ǭ?1<-Piy\ƻ/O%rᄟDJ議jq`d!lctAgJk0)|pmzj8EgMȯJUTnp 4qrxAa> LK _N4[X38S,pQQuabW{3LR{3Ut~!+DTbCƲOg&\J8\~P>{%ry?7LeP:\ Q~޳T]d/;h? a304|]V#_,_J q:ϩL+wۡ}t ~vƈ ҾfXkݣbEF&Yq5IfeKMo,PcA qNC#kӭ]\Hi%Y; p+Uf ք'bŽky na ;"S-%|d#Ujxu>dj/Tcz!1{(qrwQ%t@G}Bػgu24]Y " =V/(KuюG!S ڇ#ە78BY %h[F9qd mj+<&ZC%6cn2YZƿ4Tk-=`Z[Ћ5kvf2G3D+L8ʯxh;7aӜBib3Akۺ4`:ҀʟOcL~z*0/61z\=r%/fSCa{.-NfT} ?&Haj+[;+<،;ja2%Eq2Y# c؞S<2ü:k(R6(~vT4.8IE7 -DY}#j!OM#X y7M NB%F* JD jS6/0_!w [VOXW_b^w*&L8;l">D lFtezoVyZHzQOB4$bnu`[$ :?3Y hY6/0a37 C,LX(g\s(\s^ޓ#Ey"ٷ2X|G>4ʺ2~vH0.~q}b%w锳\E+\Gc5 QtJd ُ%ɪۃ+\B'H&;DTWDPTz.ܥ81X%g7?E 荄.J\a) ոH99iquLybU2mQۋh 25&t - #2ԵM3Y&x߉f*PsEL^_ølaV*miGs-OKAT+B԰r1<*,xCXc.&'P 1AQ5FQE|c+c#Ba[&y>Fe#r̖6fP=ň.x'_,?[9w6hwhH0WpAӨM1)_]c1Vi2 b%(ޢ תw_,Md ܈9>?۩%wfI{Rqet]G??|MzoameҸl-FSʻ %v95,^בY$L KI￑wTSXȷ h.aXHIo m`RH^Eblh[SeXt0W!$u*9b3i Owtsb_ǿv,t2e6;kG4|7\$酨w/ڙ=I)B74`rYs{aFפ1/f|q5~$H_Q4}ń䑸O\XLG&D,Ƣt4FJ}E9@A[C5o~v~+ml}ҎLD- ./ s FۿuS~LʻrI Oz!VXŠ޳'p<@jXoK<Ƈ4ocUF"ڛScg+l#OK ,uVQ$%5o~5V~h"Ǧ6m5Brx.NC5Mjx?J͓nύ 3+V?Aiq=J BOѵۛ XA/Zy^S f&&Cbű? NS;d+RL)t-,SKy5r&Ѕ)HS#}۸z_,'7gE S1sF aO>Wf>) l #ɅZ6Z>k hn 4aR'לS*a-D F'8+ATqfJryWw2:zm.dbiۘ?Fg Rq{ *vֻV Z$F{X1,bDm1 d9]a+FS=?2myP#<3{A2X3^^v4/ Iy(aK[ʮ֫;k{;)"%KC&ɎzMcዴr vS2K ;*-g0(@̧TwXreg~69ݡxL7g+vJc&ڙ7;]:v 5PH#& ާVͻ2cΧX ^Wbkcfn\j@bPYl $:;zMX%PPW?$G oT f&ʶۅ 7mҍ΍Bu#jN\*H7`ϑk!){d TA-q͙W<_#}YQ &F$Pe~zJ#s&:llМo "pIuݓkyTGi\K0@Vӗd$AyP4T>DBa3\L,)BtZ斦VHRO$.ouR3Q >|qՆ(Pzhl;cO\$I:27|b 4uYBO5>lj4Iֺ+Q9oʑkԇפ2tO!{^t_KV&7Icx2|#Qq;b4Iv4380/O &tL!n-rvIh"jj^q&5\ZDp0.wT3Q,| Fwƻ`+T;(#O\Ժ2(w(ѠƯơAFAGA8ϲD1lvGh*ވå8< hdmF vWAznZ1{jRe*:v-@IhVe9jy^V9ḇQm#uqK|44so@/6PFnhVN"Ey{CFݨC&5hŏQ ,w`<; 0bl RaÔCo^[jq\*mu8c⃙k~Y"V9=s6S&qD&D?ɯYڰ+DM$NѾdϲ[ b +];,6Bt|-#u^0pZUI'(zF7ŸI/yߜΥ T4AFxBYpf3< h]1$ŝDz}+H`$).H:8QcP—5zXDꕤ!#=4?Xq[P*W)?ۃ-, ~HQ2vV?ijsz`3d,j}Ħ~:A/!w9^+㬧_Pu+aڷJCiBge0]@2tk´\45 [Ng>`ڿA)*@ޤot uUFDsUr6џo9E_g܆x"()>Y 5_͒AH۫%B|ӴyX}S`:dN!mYK,3YTc($M~v{\m:XNP)<~p]JVOhSј q}K5Y*’#di . 3bPnp.L A/lW,ͷT̝6M24n8l ~~#2"yuC2IԂlI]&ڣ(u~Rl`x#SSo}XѶtSƸ+hӨY4|w_: PXD,v/(;M["aiN__^ao&j"j(4Q "9tzݐHe,/K.}ip#K}Fsp@ l.@ȇ^΋IbS4 ^fۗG 2=sDAЉ$P9K'BWWrFz0U4ZXm4­8"h96vn`Y^BACb HRϭydaLO>g%?q4!2X+*z~6 ]}2z0j~,!@Plb|KD̻iDuNf΃w"/ӉDbl.E,4e ~WYq1 (_Ium'c勌:k[x( n3UPžY uL(@æmYw޼ +f%/.}hMwa?;\(H ynvl T%ը1wͳ{e\숭Z}|Grl{/Sf85$NeZ} /0 i7B}+JuΜϧ;%Hv%̭Q, =/^`NT Cȳ )^د ,^O^۰s /AЀlu?ɵhkzkBFC=3K>";ex--_SXPlrFeQR۶PIvnuUQ tK v QҠe0_ (˞Cѳ')1*OHJs3JW6\%4pgf(d01-;JYSrBħz9鞞nJq$9&kkGK\U-Imd59DXKn, |sw1[y#u (xN7`-%&%4&l3N~"V-v:xuaWp&˃MCy\n9&bO/t}=‚N.Rу- BQ8;s0b̩7=YIzZ iX%-$PXtRDѐ>d|$ϵmX7RxnLY5TfI'[,VQzSK1I~ې0ANs61LҒdiRnl~+yJ|E<Q ƫܯD  i t\pO!Z;& P'L`(^S`T|Ydre"z8kW/!~?N)z4*\r *|ֱ`TЮ+'Yr T=PDy"tU[V@M aa_[AeNrpKl,c2a[mZw_rUy12:{ lDx@00` }_3uJ-b=Ú_=(jE 3_Xm"ߒ $$G ZLmSeWN0$g-8foY=&13yu܄sR^GΓ] u9C%eCm %M7I_SPAMIz֐Z69rr~OĀycYB=SO2sfTjTURHڿ9HTGV}%T J(B8+$I5Vb\|;FY5S@Vqy/{YNP@T_e a"WE/<(}ztczs=+ti^*&2P[F3j3p|;jgxq8s3P6J&t _*-a/<κ֊* Vdg=Gu mf).m^?]wdL'*[oGdn8 C05x!Z?:Ӗv7cNB%7)ɩĂ_U4|iCAX%stoGN&&+O- YzTY?PeIt٭՗RwRPG!C2ДڞgZ݀iގrXP)Hƙj߰.{V=@#w- oWviAQ;^' 5p[ o0*ȾҺ2r\5*ǟЖ^.ݔ~.3I瑘SϲFRG %Ƨ)_D*Ubl%6r%R#|q="ngozWp1[謑MJ**j01_IQ>"ٖc3WPfƇj_YU rG@|#GА~\x;rKDt|D%RY5\TmD'ZX6n^(=}ֆ1F<d|6`Dh]_vzjBSG)GR!uh#~J e PdOk$6v:7 ѻƈVA@ n#1xxgZr[p |k<*(;gNh+8azdJ~2~].ĭ=2X-}q^ " %gFCi*ΡBܣ6[3AY-Z]U<_8{ێPt V8`$x Ytt $‚ J_t&2s!۹9N5fʱ`!^HGrd 3'4 W|%빷s'SA+g\*RWŭ?; #?"7Te< LBa0~շ4j}%pC })G=9ǵ3r7,R_[wrUݯ3KR heaD쉨G)Lϲ,uD+m56J?V@׋a]yCGXpVYx]CNg " m̊b,:Q(17tmCثM(t$hV(5gmQd<Ԇ"3y&'\J^,5mTJ)c\LlO7*_ 'nb ojB1.C5|/@Jǧsk'f/1NV` Teܜ ?;h(=3Ml$kWUC:!.ꤱLȘx|bzab~ Vwv ?UFWO$Ʀkֺtq KʝAm}36.q+*W/'kշD|5hSQ,^(z ~Ro"nd6#eYv+yULMƹ'=R0n||Jq֧jNqMՂ(rhZ=^lj?r?T -o uJFYb\XDU{`lYyfz #Zӯ@u'v }Tk <*0iL;il T#UR-V>,{HgȆ# U bk3po7ӵW*2N:WڙL}1e`H!Iz= 1̖FvcGNoky}fsT3oFyct%,DK]íQk\I.2;MU"bJnMT /1ý3߻%oJl є#_K~4>:Cw*^SBQ^ڼ |PF2bSTиVcG&:`]vD"PaBd0ϒe݄>w]JwBzFPd c9 m$rLܣ@vwҭ-(3+]VXn3hkՒ,H SˏH(&1o~7B~u/B4m艜s׾4`EIy#Nnq3;mK:cϚtI0KWGuD!^ca8w۾so%DE:%ٻdRgFȤW 4 ]ta H-P,>D-zH;+PEF5k}u D\*i&|`(NӅ&B'͗5^.U*61|XolSOGջ9djD{1 6#4~qXNcP!Y0f"YX8:,~tcjfqXSOiZ%g[աllT!T&3TC؟0iI+5ѕSƺ!X+8ig)՛%#_ɽdj.A/bT*)]O&I)h e]D_6ui)m"ð A3*b oSݰVKHϠ.㩂Mnd ,w5nb >J xB u(49_?,T}JB$}6 8=jfyTWe{m'(azA=@6Lpsr5%0&`ÿSk!GqЌT9vcVPGFtCo\/xpɂX =y 7M Ede045^pAA'w﷊> ` gjSY+.fb"d}ϵ,T@2WmHKtq֧FčLr BBur&@m+Q]#9l6xn4 w~3~myO-H iɩ]0W\Aw; -h0,uo|r-<_DxΧetz`#r4'46 cAY*|HZ,0pఊIH8rG*߳"I#La {uNɀxW~e /gK3J:3V'tם溘cM B' B}/RgM{۬HRĈhJ)YNEniE8]kIb>(1n& v"|cQlHp :s2ޛ9aS@j3!T{Oah.,PDT`;O"CAa!v4:6\K[ `ڎCk8$}׶HMNh*p܌!? Ψp#v2&y2_Ɍc{tel3K+Oуi bvTòaty 3Dyi-UWRDgچtRc'6y5ȶ{_: df *አ`̱q!7w/^'(Tl>SîtArf _uLJȌzIZ>m2c s 쎉r(5:XvnUHփ&oBM^K/u52DCK!(؊aCӣPq0%^i֥3c|.~o?1?CzuTR|_(V pd散41O'X@'Zfʜ'ĨN4 !+6/tvЌ`4L"" ngT۪ ¯r/fd*E,Y,m. M.3}Cg.H)H;WvЧ]'Yv_2-T*kw}I%a~zy` hՖ9C3ϳbq]zC {(|x` *`;0n{eWpybLV^`F IYݐr/c{9$y"] ajWRHiG&ޓ""MAf뚩M\-5LږӼC9(RBb@uC6 uc@rgu7wj.osLv4aNfme؊Ӥx>*fA:,>sz }1u &KgZwa,p$t{0ux"sS'r"NJ-|^pi@6m]K<ڥ1Ít`:tut(s4wV,tf>0q IiV&"EJiOoK=5Z:n{ X4k|#z:0l'$f ׿9(C %i7Z%/a ODLt,B_8jmu%ߍX݂yv4rԔӈDUVW:E")[)+P[ɂo-Tz 8_a<6varWd\2A ph+̝{:^wƈ~Sѹd쳙zv_:|z<}3~4~뉅κנ@?5Pysnh :Ҳt5և =*#57TKO ?4BR;31!꛹)s?9.?;[ ~u6!~TZi _2Uh. ԨKEB|cP+6+Dsj$ 0vD+GC hytMoGvB}& pp"|bþfh e"Z@m-BVd4~ o^H\ /@Gj׾`:KnX G^U~#94ny!P܀Ղa X58ۋfLD,O qlg~a`pXcB9V' mÙ0 9:mzqUpH5 =Av/ÈDl\,`2)7X/N KYx8l׽g 3Q$, b6?)ԇ_ONb@- c Q{w (B$> OWc~Ǡ5 R,+H;F"~/EW +(:(D8HiffQv4 6o* W6j:*1YO x4ZdB'ܑD fw6bE3f.z%P\,Es(DBb`IhnQR@z* })0: D #8HY6'`OMH#gw䬰& 04 BkmxuT:Z01l RW0[<MuC9@9WL q7hHF(^)j (f dUc[.I_pgYZa42a8b81c1ee6e0bcd789fa83d4ff79fe92af1ebefc28eccda00132ad1b67401ee486ac0b5a1cdf9 b1cdb922eb1f4b9cbde0037d18a4b856bf1bd3526114a39e10c8f9aa0172b04cddeae39bacbdb346