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 "+tt ] Cayley_Hamilton:threads=4elapsed=13.401cpu=41.964gc=1.7247zXZִF! F4]ŗXiɟH)0%oŤdwkMFcM@QcGT;c|]lJ[nC'YZ5S4sMA7W:7:+dlkj?fVo:n\MSa׿X`Eζliy]z.9끆@: =pe1#&=,vIDʳSt^BN0q(gBWc"xAY1^8'UGzߠTB)! _VMZhej} =GL)hPloordHQp{"j.;\_<**3wKS$Nfd"&dQ)^ӨH#XT!iLpY_߸F{a CWT5Zrxg"H/+"-whЏu_mKY[J]E:imVyP?1B[ĪW})^+7]h:ު!.G@J+A͸o8<xLh(󦰇POTt]`,F5.R#cZe)Kp+ߎ6mpbs8 *?*XL!I!\MVeƜ/!F30"6NH_}.b3h!tmd#eo֫c:T+2s7{A#mrKA(IpGqyp?bP)BoU6&){$H@vmGV],Pߤbv}DRgZ1~mP1wӎ_#1 f0T?[id7d  h:q~V%&ew]}%l\S&4 Q\ٹ&c&S-'xA+ D^Eń]R#h웹yi%?zDE@<{30#3l@=2l,@L\f'_w$[$h#JGŲkb5ʓMS~>.;3B(1;Ǻ:wwSNNxirOPR&.Ĭ'pk.hRhzC⎌ r\"@WYXJHciLB@:L`6HǤg1@.E\Yo`s a` ΞڳuW(jEĭrw} sT|.h? ZIq(AUXe.V$Ґ L.¥p@+_9_q6Ddb ](r@λ"0glnaGqDq^{F#˿ȕ~:x/0y6`=9[#3)  fQ:cP ]h[m6yW8]m~h fq/ۃXV P)RWaA,EJ\ԊAN6OoK1Q̔^/y^d@7E^}!'KG> ߅汸3vRa%BixlN="HFe}dk' VխmPχ43'Iq9.u>e0;3Zx43jYV*!U 3֙dNn^󧬘C%[S1w:x1ѕ aХTw-Kre8!ST]sn[E^씶"\7 oTWxU<q:,tw\)H:yΧnQa./;Pȳu DT.,vOaMXU i|cMhRcQ~܎Xe/iT`_8MA\#|WZ5q'%u>o<~ɦrkeckyNntq+-Ut'tU̙$̉R˴_ 4BdzX$?+WVTCfbL\~{aOg 9«Of -"7ri,MVΞOm+5tZV;L}Q*>H ANRPF¢̣03vze"mg>3a?+6Nm_Ha7b#oc4d/(28H 3׫Qr/B3̓r'Iϐ c>"3[>;̲͘G9Gl-_GPJ9,PdSW'j wY NfOV!{gK&巤3R5S0xՕp iq;'qAϧܔrTHux j'1_A:eF <0"S&ԓm#{Ph<j~4Rf]Fh Ei9iix+X2?b-ƉYIOFRџm2:M2 8͡حR >OOPzDC"8ܢ'l +D˱ Cܘņ$@qcSs 37bJ%5HI + Cayley_Hamilton  $x~y=5=lvZ.ـ`H fId~D2Jo a'/&Y;F̒ Q"G. ƚH+(rgNNѭdbvIUl9?vK&cd+Ő,'ֽ/ `e {EsigG{l:DS)oɦ ?e1+cp{HN%i$jDZh!G긑l0Ve-ɗ3[A3{0$Ӳ%K. Ȏ2>bH[fzq4$lHUL2δHXygFATn . TrE83=* c\gO{߉t  N{7Yx\HG6a?8l# 0;H`y ׌eJ7$pt3kP|zb5 -,ԛ/;vxb՘dzuv\?5$P͵j"w>ѳi}?@kswDŽ dR>xŔ;ȸpp3[w^F]Q~ { GbCazdn̉$QzR);6R~KH$w/j&ť U}y<u O0 GRr^~ir4-w8טde灲 n&ۥU:LY s/~Ze7R W$z#0mkRd*xqW%^؋z,9x*wJqCɛ"I_= bFJ=?T>BptQ]1ܘُAދq"GKw8{Dģ+n霜y0xE$akatdE/u>]\16o5iÿ<]B C=M{ !4ڀ)-޾v|J׃y&ma|]= #qo Μv-Nbhxm z[r.Tj\+8;cQ0:|j1(b uw syfy1.%ZXD:ɏ*nUG!i Tl[aW-tb2̥qR9wV*\S!yFr%=LS>Ǽ[8}b7ň̋@Cb?d5ns]#{jO|Nxt%a/f7GMY}&TH'/# v/UשsTL S7l> `[mގP*p;̛e&w`L;KP!ZmO# {BS1X$,`έK&\H~yhI5n0nxQ}G`fEbXV/|ޗU"52,+I!= $ Uۇj#!AnUW@`١K jkWG$8_ \?9b+>5ڰm>̞=!"<}9( 9`q`@ARܒ<L[HEvF툠W{ߥ&b 96( AsRR%ޗM%֏YLL+z<^<͹>bx'La=JJ!!穎yG"H2 .QQ֖4wvyFqXy.a1ݢwX 8Ȟ*l3 MOp{8u|nMAJCI9וC܋N~ BBVgV$;'I0LgVVHmc-ioެᔼLıZՖv9ʖC#FCIvx {W},.l6^RjPg`6P)֫NM-.r]P(o{KC!,|9."y0;=~ų ']n)xXvON$D%c"Y|FNDIp> X]//KʘUZB?ǃ"[.hAeYOs#X@NLhqwj%߁}7ᐥva23SVzDl`_TR#БrƋcNtȳ2P8(xW7%!o 51۠gzr!4P)OBf]H(N 54CJ#ƬZH[ 8nq+}t/@r~]r`?>3NL<$*~I$+Tkcxzz~ki5=F5VEu<t 2<[tцvJމQ1,\_Iix`VceL)Thdg6xSW>a< X\Jl!0U TUa쥔1pMw[(mpVqRFz](Nڗp%a,#s ·8bjݢ0hA5 6j3r:kPF6L[*/"ҍoO uF7ܭp hsxI&c1W2HQ.j|+c nڅ6_  ^Zx IDTzBkǼ 9x6cN{W?<^Tm@R(˃MU\"sYE4 Xc6e 2:ǙF xwxAY>=ml/z-hr b4(&z) }C`@ْ$U0=:tby}:+\aR-<:JMK,mM7G\iMpf*'e;$Ǚ*4ܵ|kLjzm b]"FHEXۤZYRJ!M9?#Yʼ iOW WP{ޭgn`w(= QQW^5=CuF4issfCb<@twgKGϳ2.mw{thmoaq{ٌNii5+AG~cC6r {V:"biaf)&ș}bgq{Ыm ؁T9ZAs:BSvƐOcDTGRr G(.?cm]ҥWwrT\wPL@Eæ^ n؃D$fXJ<ڕC*'mIBI:r@=j!WuĜ<}&eP  BK=lJlS¶s)rPە>}0XXqH]m>{Q1LW-E 9p 8jRɩۄcGUPZ|ZyVؒ>\g~qukA€l}ՆsYfq2E8dpjLqD>M+sfz^7}!ŀ]]Lk–Lxl)d̰X3sMͻ9M%XgcZ}<1g0Ħ0|d-JXgxO7F|LgӕUsp#{up( RLދ5%%?_NA:aGDB~H F1 *ib9I0E+47ʺ>lsTOCw>$޺y#z][ \+4SʳvO}'~G$&Ө16Yg5X*!V_Za&4u{!lay[YbѽR1,͛)YY:8i$?.D?)b?M/jޏd nj)EXfɍf(a`9'T]Kx(".׮ ؀hf8s6pЂ)t=MjvÜDr4/糹ި=ȩejԜ/R1–ZĐ<'Mxg֪-eNJd05qkdPs[߼U;LQ`BƊt.U0WZCjrikNFyxl~9n˹WԂͦ5[\kZsF>g; Sxmi2ffr@2DX{͹=#X''Ӽ=ʘTjEmZ j ;l]eYI4喛)߅*C$)@2Q+X=ݶ/ur` VF'cLM5K ibZpb9NRrb&$Ȏ7tp6M֥ :K\H)N~ǖ ΢ծ"*i{lMX*?RRZ> z)R&:VOFYDT%YKw]V\/U͟i) x{pkl4IiƗ"- SΊи.t'8 7PϠR;Dշ@,q ]YX+sNv?mw%[L)7$M''(mΩ M7ӗ8 |5q|2 hM aN R9lmi"G+ۘIQyT2o|^nN {I('BƆ)*qݭ5S72rvf=Ͳ(0,.s"m{=и53cSL?oj>Ag& AvyaCjN*ReDpEw@YEK'򙛙 gָ6.zD;BK9kcɿ@6M6J[AamyEIYT2=y#*p<*w!҈_OL54X\ xX>F C,F׿d1,ޢ煟G!̸6gtA[b33 5 }> x.D=@X?~jXNb{3)Jr ڳK/^3- lRf2wnͻIݡmRhEZ)خՍ3(ڰ:z6x(I%yGs}?ں~'s9;#"zFkvw$'VY`DƈNp?{\6^_NЎdo)%WE QDJ:M.]maMCdAD1omu7^G|"2o擝5"+aVRDB_-lvT* p$fY^rjGMj|͹6~hR5XG7/ knG 5:~%䇣y𵤋R`v؏Q^QX8ۘII@@+9Z'iz;֞8=*0AU0 E_:Si 4J8krEE."@8"E2^NwɆyB3 Z=Vzly,EYB7a']ST|d6m Jn&9Z.9n])9pRT/)l@1Rg;",L!άim, x㴿䌎֪ ?JVc:- L$H!4Mc̷dsꮎY _ G9d-O\/5ݽN|i=9" +i`&><ۣ@BE\&!|N fW[Xިx|>#wVT J]-]4U7T/%; 6ewn?ڞ#\Q(._J;8KZFj?PG՜}Ą+J``\urrI'̶0Bvo zxF3²GZڌTa4 95,w4{T ZZ pڤ4LUC7[b:`TZ52QטEF-S7Ѽ?NaS#_yaq(ȶn] %jIRv}3jTD]NZ}=ַ}0A t弑)bʽYwl4[ȲϋNtX~Jۑ~8C 6LLEmLg%nFQκC;_%ϛ'l@|DY\hd'y~KG  ;00=9|j''4/]b[C`-d; xm}t +;e ᎟ xZ`f3M].iHAoMĉԎ5v9g!n Y"326ANF)WkduqƱЦcGkEE]s * P^zsYII~#L4*?Pax^v~5ى* 7sʳw/7xO4.z_bӰdȗفᏩt I3vUeV38  ioWWr$ OI)Կ>]kA>B \MW`u,T ᅰẅj:ۻ %Ado?R<䓍=PU(`%T&$Hd3pϺXxdi'瞆_`:Bd_q27߁urGNHUmKUi5NRf?/7]-hɍ{ ";Ƈ$nm $7KUyT08#p6@`AkF/kEL>H~RSyZہ:gDJ2Bys573?Gqu*A+U}2n L~F<&tQi&'6{.34`Kĭ WZ< &MOQi4t,T3 y`UʜJ(2:rpI/L%lQg$@IIrcWGVvlq>=}c40Ci3( HOhw('0S^{z(񛀤s`]Ҡ?X,%W@,5mkj(XD.`DҌVwBrym$)@dw98,p=VH_>J*>տ^v&73|xsLn,^/ O"Edf8.G2HcQD~տLIgKF z@KiӋL}cyXȶND'$֏,Ss@-{ ڥ#G-ڨ.\.Jvj7u;fL# Hg(m>b@3hdgmjGKj;]=sGff .I7@aƈs"4%N:xjLlkm NኄΗ}h1;ؘhtV SSs/wԎKA^7EGbڰb׈3̧y[ aҀ=If&-"6nKxu)vi%73"zcnDBOI¾j4SOwӮPq{%Ce]$HR(NPk$kF%RR7zן4nՔ§cL4&tpCk0-k'넇4pE e>ݠckb[?p4LRYB hsn7r s&WE[g|{5e8TDoՈҫwr wYyOG+\+&b_JGn&ٍTvBݛf MT~r7r,%M~ڤѓcy7n&eOwPq"TcW),JjC9ˉI 6ދdL!Ri]yWI/ % / !W@.y2a 11H@SX)[Nwnes6oTC\JcŇXc`Xcx=Q_a% 7M6iALGIh:՚<`uĔ}_m Ռj#Gr" +j` /(e3'p-XQ|~[_)I(EmfF[M3Y si̳uƂ%Z;*ל )=KׄٔHB%ԙ`r9PPgR Ұܥ.pnˆ\GPlENt#/SkEm1AAmF+WB3\ϓÈxp1 gF7!oc+eFKKN֮p]\qW_/ !〈Qg7XU"m%.%:V6n|Ϗz取dl9[jIts:O[iCD^./ˆɟz\zG AƏ|_4ϭ=Q",z{y9$\x@ gZ֞HgSXu$)V+ٹCP>qӁ ]SmڱG {EGVE)V2AEYZ㱙Z}12dOV..FWϪpT"&6ybX0QhcSjbШ6cx7?hTcA6%ͼsNI(HdcRB1_Z̟TU@/:lz M~ xCY`%A[ ^l^dԖed;g_NQ}~ΟTĖm9a $s٦6tBnY;Yu;an]uŀ[{ s%'+Ze;8-<=ڍ;wYiE]h{!>7>W4_]LVI("C^$pZ!/ezQ3j>dݨ~ s;06E:6Nh{$O:2wmhg9TLy-ZA4Ԁmk[ }A< &nT]EH5k`XCu1#=c ȷht-=kXFqSӎMe l( yl~}M7eq^d"A oz2LIK*+ä^8dAB0sWvgj4c&04A? ø`{]bLl֟OLӌ0V@2=/aV杤[k%/[ID]3&nvD/M}/f7UZ z:+ #'iMDxH2֟hϠL\#02I~NBE* <bj=Dd@gV _ĶŪ?uop\в*Fhؒ#.A X 8R/ݎT7ZnBjBҒϴo–ʴh$]_S, !T[YPF~Hף!~a1HY,W@*%y6trF)89(DA *JZʽ~[E~ovǕ7M[.`BAcqѮL܂{ :op ִp3k٧4׸]0Ð]:!Op$}.MYAh usBgyW}G, k_i';d~#˳z[_DеZ)+8e;D YrZ眘XY6_yF0Zq%Z1Ӹpnw*%$Rs)iI=}`G]sR7t^ F c FLW R]y$ZAXڧG߳ǁz8oԫ _kewK8ľi1!蛖=BQ3bL&Ӯ8F=Loᮘ(V/R3a{ #` ~<5 1 /Z<'F#Eb(bGp`Փ^-ktD*ޜ"?< qb)mAU98iwֺQuzY3/3v4f]75ۙ6  ڬٟ yGBH 3>Ft GɾWTL3mx~AqzsU=$[Gm1Tt.]3xp)06Coآ?p&+<)4KLҼ\Nb=@Wv+ۉangA=}F\k&[7GUNa:M,W(wIq]-m֟%$zv 9y0FL)q!0ah(w/ኋ.9S9Zt#Ȗt.S]Ek[|zeHG_\tch2~:QC}gRK5 MX o-Wȥ\J8M)PoNf;պ &XUT.2AB%h<%lg9ě0VK02Otd9j ([$_Y1찀#br-\^%tlٚ`ٽ=]qĿ= qRNKU^ٗtSavMt*ʹx!WSA_7e LjWI"V1)SP |M!3'l)Cmɖ o#.{û LDŷQ8"`eJ7W8a!fb)CZ;f^2LCJ7 0Zߖ?w Ln;,7"ҌRs|p.G*4faA!>Q'IܐNZaBi?H!B+G^- n@&};Kt0^Ff.0˩EVbYv50bWACO}kLHE&u=KpurƧ0j}4x^N9l$H}'V-u7̎>ϲqhA+Jz}evgK寡]`#pJcꜾ^@$Y.0wa<6T:"alss'Ox $]iQn͐#ܦFx@3ʜ<۹`k50U]Ie2Alt'}~Xam/??> H0 ,K#'D&kƶƭMTMn_zPޤ5yΘ?&U 8#MkX_8 F. D&Q٤eX:Cݐ4dmNRcٯH&i 6TxW 3 2Vj>ƍG2ԺH.-+9' 5T l#٩'c^\bψGlIOX00yL>̌zt>w&=,ѱR)qa$jm--ln D#|/uLzXqnAqVjiCZSoh)<80 ,+NJS8mww.f]yw$5w͆=ty`cPr($':b'.OBaTParMMpjGHf !5S>WeA)b8.T0- d %j-'5rз lz#9N2u]#&iyņ5Q19azz2XAM s0gR f.d8QKsa?6Ƹiy6(2ƒ juxccb#N ֤xB~suAr|`FVdABM= pdQ f IAM)髯ȏmLWU(}Y-zECNv׵66n~+ґ3:- Fn Aj旌j9/іo$G",A_Z|ZRt1Y1P4P<5ŒwKG:1!w# *ۅ^]h^0Y y1$L0[TgoIm<ݾf?&2]N]<;)b~AG7ȱu;-A'&)$՗ΉԚ]vw)GهGqK~$gω掾JuwjYg@tmH]!ܳlD/]`C߷YtPUC짣\$.y7'AW}l]>F8\9[u,fbp٠X!~:"\gYHqX_dʿvch^M z'Uk{-l2vZ9]MI1Y 7}Yi' aJ_h8Z^WeC{:S#S#P#͡pIB};vi.$€usI~I/_@C,+<y>1d]I"Blv(}w ] =t\tǏ|ThinmZ.Lj1Rӄ’QDG X@2ID6Eo?ʨ~IV\cG) I0!v@v)%Yy $7a;}'/I~aڣ۷-e[Z5C dwq1.tzwx֌6&Bb+68a_8q]R'W~qXNR))d+&0r8Kmw԰%/q&ށ'fecD-Ff<  2Tb7N7~@} %&tQ=o/Dp)~aF/]FWsk r9q׿T^ޖ߬H,RE2aD&O9\G2ѹS]M׃P*%}H}|@V'0&'\%9ibG9]J6^ s@ǭHH%#o (&cA~Lcce475bG u_2k>)tbzZH8`A >v( 16Ϧ6hUu Sѧ pubVz\/o(8q:}_UK6 D4t1=qsұ5#pu`0E$yAoU0=p6ɻ4DtբҰBhE At r }"seƳSgW43pOK̍S{'' Y`RŬ)B["tYa)n\*"X)ڈ-RsIcK:`yN(0!|3ѕ2d/VqSny0&x%&.X6dTRIjP[R kmҰO9٤=9ݢD) *S*?^W"hsvތŷS|p=hd䥑Vr.\z0P;GW_p!ʽ+i_q3o3|67V(ĔmOST^t(RꕘP\O\K'M$ȴ-Z [cpCSO%pVTkӹd!5]O|%sj [J3u*Kd$ Y9I˖AP!SG{hǂ*1"Hοr7r{trqQ(;{{qk.1Ci|La NQ8~VȼNvc1O̚h@YpIE@+ ̀qN,:LS4@a9lv!Gj "|Z<'Sǣ0\t@>Mօ9?K0;& I'l}NX fki5$)d*t&oUvs@^c!ݢձ}{-u`u`yXyңc1`~/kja֘dVz;fMMqo{Yx9p_n'U9x{)$Ïygd\A(6S˳6ǯ7f}b9A]_%wG yB…lr!2\(6|sJP}- QtBL:ac(Ո ./-P P~CY~F4Cb,$;5,GIv(-fo缓Iq+kbFG$*SSgtgIX^$֗\0kNÅs! &xp }4qЀ xY*HÃ'Ɲ[kh8ȭ+Qh5[h]&/LS+)2 ʓBW>E)-d[2$vEYdM1K*et圾g-贤.s^K]&AZUC(TƗ^TS 9:"Yu1*x>HqQ-БBD*xߊ]?8fhi=g-VGʺy3w ARb# l3ˆ ԼO^DƓtĜvoP#*>(p:BqUYK *I',:IԪ@>_jN l9Ҟ_כIk>P^d-Kkc&8M$TV_rPNTJ{ \ؤ+&H7I.D_~`)4cj ut6 ߤ=dp+D:}&& ^ae=L gƙP7Yv?|=#{vW):EqFNNGvK0 7%GH ~} vZww].6e6!PQ,fkގ{sgrdk%VmbUXМ:tKX2 Wx&;U-iw2 2XkrDc؍겣lїïɂ GAy2|ʂuHpBƁ_Y-8)$(ad?X+QMvNT6M 2> fv߀ٰ}c:o0ٱx^B4۝΢eBum*'@_ ]=P+SaҧjD41@MI1}YY'wafJa۪,Z\ Ai :o!f22oC0n~پ 0iU/ѰY@Y9}<Ȥ1{ARw }hBx^!k1׳'Cl'RlDkߗ%'b]aͪC% {wEjbqt:9]MXl|SR7|gz9 bi#~u[dut91J3k[8kTܓ_̯kXXU'6ĵ'r{ELThtTCX>jR뵼ZangPk^Jo/kbxO>w=TAAw~Dτ%'X%8kDv_xgiCѻgZzj/,L33 .ʍzG Ew5)WF . [n!l2'A:nfLI+fhRsۨv-1c/>a /QE $T^oN7䍵èU7oAkR?&sXRQQ}:^-뜆5VDKe3LA"qpRyÑ'yF:T_'2{i>42eJ+M.ޱ.{y:\cp hZ1ttr;Qry^IV4'fSo2 0XOhH!>)t !!!q)Ln#Cɻmx, ̛Y4~*y-0Q;Wxx, (#2 ,ā63yp %U-_*bk/5IMK;s,/l2ѲXv*ܑz XӀW0=h%M=Uѝ=nrY#SUa[/9Ujo)5fNڮ?Lb6k-:6VԸNcH~ jP>8a(ELj qG3_8*߂v1 q#^]M2>H}i?_ c-㫙:rρ-KHnZaء#ߵ˻٧HiF`z ߊ?@h]OEY~A<K0cD&'C"~wy*/Kϑ:El?A{ghp$BOXAFLJ015 Dp)]Zl Ng7N5[]%?dg&$'Kq F^.^ϖv>*h4:w3f4`lhZ93#Lg:6ynfs VsZ$3?7Y9.gY54 IlMR@ 7[viθ7QuH|, 3졈 IAkiE`+l@2Мz|ƅJr9>~$d}CmjWΝ[i\ӛ)Zôdt g ZNG!no2ؕ(fAN\ucJIw9v{NJksjR _ onqz|)GB_Q 'N{Iޣid7Dи gϒK C~˗&8ti,bbHiCn=LL?m?i&m_Ў,lC*:Y`sKs }M&mH7۔ >lX8?ɠoAfTYOxC$vHAEaY(hQ)+lsS8mEW˛:< -%׳XَK0dqըJyL5GQ˻%.J"V@0=31ڧsC9J*5ǗtsK^V[2 lI1Ч Lf#iq9 񞈰)\dz K)LdA t۩qH ""Ll h 8lR c∧7Yf$ $a~Co(/4rk5P:4[z}7'cVK:ت޶?;Dpvٖn`v%4uh9B7Xe >H< jArcåo$PuVqGSj]ݭ Odj;llq ƃ W6_\rtx9v$BfRq4s[8 $.0 >ǽtSy7&r)=wiU $q#is4܉ÃZԳ !1[l$yŽÊN5/`;NEef6لv~ g F:F?{inl:-Б\=懃ruõl$dP=*4#ջO:#W] rfZJ he@\ `.ɬ̟,o>I&{ |s{Y֑>; mJ$wx B*[w[>eIo_C"&w7Sy, B@\́N-&8Ma0+:3cE$*>!1#j4'ȫl;RYtt5ywvy2@ W3A×#D"@bH憀mƷJB7. 84U`[Y蔬M08[R_j݈D{;{NN4xO4 'ifaiW8Ǵ *qqQ2OH4^˟C} >Ql7)H^1͘O,TMX$,y4 jN8?v+hMKj2+])H;R͏:p)H 3l>ۏ Nv5ǻ=58G( 0 83R.7,݂wo.Uh#!7"YB~2l[Hsr7N)QN"ik xe:2#*dmcRBV{1Y*3l)mV`\<^ U| 8 n[lž}uBv yTGkoE>̗w[tLcȁzOz>?zV\ 9,j@Ir k/?>=?-ېǢs3h7a8BtC >LG Nb4_j-J 6=^\j6|s,WnDK!4q \f"|z6M`*äkvCMڠû k`ͳ&>n5m7j "%x_%yyZs ̰%T\Y:1xmwU֋HYw~SX`t&9.'-hEB3tj `Wm`C>p^&[v[+PV'PFnq/#4eb$йL~O{QL.uja% +XRpbԮᕇJf75oýC[z|\E-'{$qF_ċEp2R:x! 2[V_.T-Jck&n|6n,6g=ͼ)ͫ.2aTU*aaƜ)?7.|=6-mD&"j:.a%F< -.]nN3g^_`hbXYB$u Ծ:q'?q͖:7(v߃S9(ø9Sn)y^)SaOKxn(a"N[|&AN61c&\S9ݸ_ED5c9 6u7P|NH_Tm]|T@UͲ&Ŗ= -h5D-m7beѬѺn3Ea1 ~a=Fx :a ^Ftt%ոMOBb0_MyLnr`6+ԝ1dm|5tCy)Ϝ~ɮ r\co(V\M.)´#SfR"m-L#$|=A (?gY JqhQ"Sbm_dH$m|@)@|yTZwI R YO =OY% >g<;I"&MQ#D=]ѹaA3Asnk"!rCK9ww:_ؾ[wC쀤 nĈ}z3O$#_":p%!Id>}ʃ,!jΑs[s/1.Y-B֊R8GCR6N&^k<c"ً-p$A1?t4oT2Jrgѫ4͛8LU![Z>zzWZP-:Zxfls\̢Jy ( 4\  Ri_]Vx2.S9Po K"M?LK4f-tވ!ğM;Q?=~c_aT267OBZ(§SY 5-Tj 2oq:0&r1bQsMha"6^̲!v!S7nr݌}Q7Gt 3ܮr`j$e._ sĩ^sFHݰ䋏[`@k_zr٢[bsbWy8 R:E\nў9@0'Ǧr_t[BO:VTusFë`YX)/Qlz6=Vqhc=(~m^&qyɱFqa'XѼ(ߐ-,\;7O{ WuݚxԶ9{3-ʔLGP+DD >n;Z/){b9u6O䯬_ÊDʙ0@3Yb,ě>|̜.knc`[Y55-'|]P Kp b+f p-^#Ѵ.wMG%c gPkodzA/nPsDzlLf6 J2WUjdgrkproaJƮfaC`=ʔQrXDpGfR\zց9#0ҼSvY,yqtfѐ 7-"i[, 26:^9j] .Ie@s֣uxN5}.mt޳YS'T6Ro"+-R8>o𞖪<gb>VَÅV-E,Vq;%Cr ?ZhA@*f3 s nE̔4 r&aE_YAn1m+ŁEFHԍ.V3º:I^!Şpen CёG- EA~bH#Y9Mnn)A8c 6P݇ztt7җ_._Eplq:a!;RApļ`FKV3_#aq2Wmx&I-P2 I3aکYcd)sY|ÀhխUzAoz|+1^5EG`r;|DM<,}uPo AovM6(T]NIw:EX⤺y}?9D[.%WIߘt_>S\i&9USx2Zx1;߃Q^dOʚ)4\j9sjU=6^qYOﭳi HEi[K1ΊVwOU8SlZa1֊t\fGlFc ydfon'A5Ty ͠83ʌF!Q) 4vn ,20H$Lg`wl79>^V"5<)h[&} WUyd{W)4e!@_~nVŐWp4G ғk#IxABbg7F$&frdc fj7aZT젴<@_&yO(q"3VdkpK$]|\ǖ{Ai- E)^3lD zM/|}W-~OP (J_|R~f5ޘY4{Z6_tƻx`"X(< z(cU]wּՄO@Swax,(w /0MP藓fr4Q"i=@¿вvDҬ >ovغMXg:'4î(9&ưs^%O^5E(& +YH -xȈI=Oh#y#R^09S{[Dl8 M0xNDpi<[d!Q DV(9(۬JAn9ui1~~UkMh访AFk4%|:t6+SA]'NU9 E /zk٠ј ^+ApF!DG~NP?%Ϫ(jVH` )Q?)TdOx^^*U`@'Z`@Юz G6-82r Pdh( Xd_]u妜a:mW)3حkL=rr$u<|sJt,4.F<i!v1tՑ]zDŖ/ (|xHOS3-"\E~0T%w72BtA=kC-z0}!2]nrNRȤ7BƼLcw .5,/WE$1m1 jO{$}!pGR&}k^&+lIGc;%FK aBʖT<+4,@pQ-(NĽ,*PbSb+Ŗ(ѯ lH8Ght/>F|,jbO/n3JxKZtWe1A U1z( Ƀ?טugY{-<|렄㽧|sLJ%3w?C_`F5E궞Y\y-v~@Sc9}:i? (6l&RpWܓhxBX[>ٛA[XvWicw@`6 vX86"`Qi-Ͼf*vB;\ZúnLo>eZj.+ݍ@1yh`W^6.Iv'Yk&.ϣ_.{I"PYn PHXfK. Ęw8'ɕsKJp(UV{sV؆~'TıZ;Rk+ i(#V1K1h9-ᄦl?QQB1]*+&.ai8t+^$ -YzA$X(O V yԋO{ ׮)wK:z}o-t>۰Eb~dr|f5QVGT긯:`;M$33wq{ey|d2\Tczf^})RMӸK[Y Z7cmyp-tl9@BMҹ{e0 4k6:  V}g b'A\|5VE] ȕ9ДH o#þ@3 k)-26 Q#ljCM@B1-a# ֻs8"2G>P$|ڐa`Sxpo35K~X:9zd6^jyk2X 筪Ǿ3et,_q~.;PxLX˘-lolHAW, }t/}Y-HWβ ZkS}zmU aґ` uZȀ"/VDxco‚60+UQ~^%2ML0=) I؋z68UWH]WVϢvmU28"lD :@ sYw1=c ;|B)[:Hچ)27jJ/ *]Fl  ~xV@VnFrLDѱ@]|YgK`: z 6Gj|"*2 b&& Q|q^*û;*Cx@>$$<Ʀrbx,j?P"Ϣ_7ʈ絰( ocXXcH3>_}}QzWx"it-o/Sr\ iAā=; Nf#AXm2҂iRL,S1_!o7#C%Br3hG'O!LNHeƃEˑ j/M`o892cB 7sɗ(41f5$߲ lhf$<'::`:4EO*83&ݹ{>)"w<>%M!0$&.3&eO%P]̜W:z9C{Lʰ3g%{p'kv-a-\<3'āp?1<2 CI:f/Y_x{,QA#\]3ՐbP"̙J&ɺT xjb&tQȻ Fgg (HX3jɾuw Cq̙G<@l'^3ѥCdu2n;. whSsWpq(o [ <9HJ {/t7;!BiXNJЉ53d* ]RNcՋJ?sw*Fm< Ʉ?,Y\UFY.aB!@\&c\ A^g hKBRZ ag~Y7 5'gy{gEl0xN~]? B'NJ*ѕw Ke4$qD9WJEx/7+Q;iL35HRۭΝYCMfa;812x|<#qxKpv2omP~|>)Mb$wf6(C[|0 X0U_5My*>|4{݀ݚv*)Elc{nSl'y@Q|ުޛ: ᦴ+n=yxz)E}h%4|V| -)E:2ARwG)*ܹ%^"uPoF0[\ rs,): (S&(.L9WԱ7= вՙ?CkTFd w| EC8um;[ָ-T{DCPS=>#Tq *{oz{!K&TJ'C00Z bǟ^+Iy!#Hb3O uL(ۓAtbq}б/ǹ02@mBRV40Vqc%mCgJ\ka{~)7.kcMA:@Oߝ 7.'"9܏>-Ϣ\! C/Y&)9Xcj?I;G:qlQpfg@]Rw@W57PGjkFV{_pSPMࠥH+g]4i }\ݏQ" 03k5~@j6/댭:m0jKt5'6<;nh S}hb2꘳čMwoEz pUh^"ߪDM?qJr~n}7=r^Y^K*T_HXSEh(k<_"fj)˓ +3O;Pp\I}i?rVcߨu elo5vQHpC.e< w;3G>m1 `L B)􌐧7+LuPϣv7d2"ju!C_ݎ Bӧ=b3R22>  H^ Lۢn2iY3[-m!g,U).d=?[~1hbUS/f{O\=nԣ( q2emd ;Q/[twJb'=76;_q/d:Au[L4Q(3LG-/}!)HK cXݴ"o@\%נ#7RmwG;F5Ȁ!ys,^պf_)F .gOɾ-5\=3@% H uд~N$%6jTܞJQbU'`շN$S+ ,3Zeձ.*>AO6~+ KFXhK]l_'TxCv5;//KWCtˋ(}BV݃!zv] '8أaN5AqSo&pe5TZ5M݂r} ~v6꣊N/"Rhnׇ,\%BiyvIYg<Y {dLOainܧƛCO;?6΃+(+p!x0Ð>AՏ `y6ί:9xHi)$3>ȇiBZMJ7㴞pO)j(! #JZˉRE0ƨ+0o fRN}5K͓,VQ;+Z%?%wFlN./OBj^^^v'̘YY_(3ʇq mģ@ID i[^nM 7Ќj]~R&;z 蘅i~*Յb],RZ}۲PFߥv>lxt{SPC_n{_z@.$<¯ȗb%IllkWI.}^qٕ'O` a_q@ dhlAYgI2bpS-vm*:g|N2nE٣`:5=^.N" @qR:dK7J &-ê_=,s۷^-ŭp! `1u7>h\!cIx܁"Ge׮QGC%ZZ. pĹa]|r];=!`nquXIi4|"۪Y 7#~mAep='E@PҘnjT)#pQ~kYYO5X_Wr[sM%uM D\gh+]S]!P]:c»DߋF.u{[͜ rnX0ƽ(^B-}Q({ć Ǒ"$o~D!+n-=9! աb,$41eyF.3`I]ߏ8C.ЉvadT4hXfҐl9G X`Yn dJI&QeIIeZnKY4L$<{$6л&GcG'칳F􊑖wo1ǂ2/ԧ&=4eΜip#?e-vcBg'F^Y'th׮4FA"UhşmRy&hb(ϊ L>;so`@t)vVJ}R}LKxC7"SJgV*1r6M) =VWCvC'__}P*,cT `dfX*CJα;.!ٯ6m4. BX#=:GUV(-0 i ,Lq`op@\~JE1+!}ԾtE2~~*?b>.lKѳWc XT߱ BƬ.i`rgc siр_ }M̚X VbchFB~^NӹQ<; _qILԃ0xo@JVI\%V,˚)Mζ6Y['HZhh[ TC[[ӏْ0L3U we0/ᣖ:R{3]5 (\t١q8u97,$=+_j3jU` 4q@eBaO]!OG|I;M#=7\^+8JV g0Qg{S kO7V٤.gT\phpm4B_q_#r{1B,! R4 *[Un 3u[w,Ȼ_ 9e"[u#:Ab! iHOӱ0O$I5dWe&n%^g- ǦL Nd\ciN3̸8%9 Q& T,r[js/0ʃpkձ͆4GoES:/c$0k/X}RJҽmusȹ:ͷm-lT1-ͥPP*vb(nqoWkShkUݣYBY=E%eLCڕkو]zZBlA@A]bk \:4 =44a^2LyAuOf_d=KDž edž[[@RfԦsk5wam<4(7#eH_pFىT#`-?lj@*'$HB}@_-J> nwUH]n8obY|e%˾UMMKaµukZ3jpo)T-ZbCL`NZ|Ixp='֏sɗ'p4@qClfz_BbNckO't!ceuc.%1[Um`d=w$ow0Ј-QjgYZ7zXZִF! K]ŗXiɟ1˦r w/8OA~koW"'f'QʖiD ];֕ڢdJQ6O@UTLSW06[Z0c;fc1 /9" %> h欢)liZؤp21c^`6N^lh G?gYZ7zXZִF! Mz]ŗXi%L&H61n۪~ Y:D2k0cAВ?x(JTTQnA7@8I;/8OAild?.f&)lG@5zކ/̴݀ȕ5b01dfQ̗,`F*'tQǜe[),$2mf 783Hjkw­Wbs?jBIR YB&ՆDÍ3x7vkM(z5؇eMW Ѿ^фe$Ly) yqǫ1Xz  X[V0o6U]>S&I:.˨uS'7b.@O\[ p1"p)^؟o4ѻH70)D ݛ&̱gYZ31c3de2883e6e13ef697ad8a07ff1bf8193b593f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d