SQLite format 3@  .  YYQ77Atableisabelle_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, "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 kkm1|D eI]Jordan_Normal_Form:threads=2elapsed=342.228cpu=579.420gc=15.208factor=1.697zXZִF! FE8]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcCECrL͓2@Ofuгg_G7k*j%~b|K,tɃXEZB3E_/A ⏩I{CtHwC'x"s|q&INp(Z{:x,8$/~@mbGzE%IZx#!-mPЉPVB)lbwJD&9SPXkze(@P&<Ҝ'V/Nzקc5htǞ; $(`4j;xܗm{Cɛ<;ft򐕿0Ƈl-SBhn'Ѭk\?ς s&8HIEW5 [-{GUynGXVE< '-vC8l)s۸,HDu>_x1~uW(O9>@ `)=LxjK>̜ JtQJǪn<'\"ˍe+r}$! )bC]i]2r+Xq?WF7=Rvz}9IV*Nn,JpshxhMvyb4g/!m"B6 tDnI°/!dyFado9oZD!l%$iW1Z8^i/ǔm Õ|L:M)}IͼtFi;@@h'œ-B'5N[QڵyFt%4X\S*ԗ;)0.ꊵr`ZR\]1r$HVzWO,1ImJ!:SA;?QxTO]gxÈa<Be c;pX<'6Y~KV ɽ (Jtqrcc.M w_ #S)Cq(=/%>o3A_`aGD2 sԋb'i{駘jXuLj#p.W*,pΘRظ,(=V%SPLx0|>ƿe19P~\;.ģ}nc! fR1r],*fxTPOo喩ccWѣfHeQw;d0oIz |A GaW|kiNǥ5l k1]I5q{iC?a踎 jEkrt"> Ë68H#.0޵a"z<>K;] Z5#Z}9yɷ0=٢c6uDb vo"ˡo!f(ly@ K~ pIೈd.M*ub+Ukp"$kȚ>C|2B%@NO;X`Munx2]˙?_r]vfs&0OJkzֵ0ޤgz$ Br֖XwI-WfSO@e>Ls*voa@Y^3F' 2h¨A K>#\ 8ƞa=qVMωBbW( EE!%YX}c2R&dJHI.Whd驄tiߌRJm!yk|CԢU@)s+8K (H4iG'j_4q`gW]Poq! nr8Md al ]㟆e78w=z꼕C[#'c;dX1["Sҟ`jƏ"QۤB,AZ05C|-~,j,nXZ%?aҞe@T|=K̞#ャY=K Ķ֏I lмCYw_Dt} G5."My~ $W;E3ߨ1:}fk]&$ֳ#.'#%y,/cxϬ oh62y<ŔDI'|}?7Y(bnUULX<4٨bo;|HB Q55iCq6~;(.?W(5\HL(NhxFۓ h' {4넛mfb`;mLЯIfɴycj1_܅F<9aڽIŒ)@L.5<7I6N/낙L!j4w @[7q]|XrR Vv 6Eئa{XR2- O4 gB]X\5ӷ|J^n@Ld6{1*斁8mh !CuHz4Lv%PO9*W= ( 1 Jordan_Normal_Form&e*׀vkGEJ௣ Y,՞.=I J9WRؙrE)LT?CL:;;1"@^LKD?sW쀱s;S%bl9ST+}@/^S13-(-v a< ,Id YmYߤ>j.RO Y22L}0cZ;K91`JwiB3l;IH$X? |<?{&WpAbw6 ]>Qa2?b&1tIJ=WЛbNǜ>y y˩DO=A?/N!P{c3&j!IoR!v>5,frR!jvqĹy:4iH?=Ch@.29zn㗟#`iÎ7>ϳG ƔG`+@05eR&m ǭag` jo–X gw/8 0K'u 41\yTQoXMJ޳oj?1aC<#2mJh>-9zCx ºȄTJQ3%dre|FI-ÖBF.Pasi!4 Pbe[DQ;l<%%6%+"nܠ0Tkw itTَE^ p/3C-3-J99MJbG6& 2_,!DQW-QňN 놳tH泎 0H$Uz譥-=|U,CU{py}.6$@#(2^2v&80J/Ё`3,x%9ڢ'ov 6j3g\ \Dlױ=4H`ב_86^i1P2ӖM3 VėYM!cq %߳KCNg9',srS~ڭhTwnb8},m z+>]M,DŽwi͡R-/KBKk>}# 进|%߾|kIk{W3@8 iƱ{euH_mt's@NMn·lu-IyEIHꗓ$~!T}f pޞUlTnz$Iu*_+j\dǐ=C[CX:ض`R7_] 9dˬNi~|0wWe* (R00Q9rAópaI6Ӎ)دJFu šz$<VxF;{ku}*<_(P&r-jv/v= !-zuͰdх 5"tلs QX~$sq[]h 2ג!E> r\[8.T : ZScxDV1Bd1 Ɠ[WvuOlP#IPpJ>᱑4gQR/,,ZuVHخ`\G-EAoޕIn~jɗiОwA,$%t ,L"$hX푙Fj{@d/ vX#0t:JV|̪45B+6笽bWV!i.=h`E\]GHĤ /HFx36R]*[@/'P%k`R蔖FVF?-b-XǕ -bV퀀̓z=y 5ʷz'UKrnۯBt4K>3{m~C1RLϼ+*a <~cA$)N_@rE"Q&=1,wCeq/*R:je|Xn^<WhwU<𷂬#'u4^"gǁ*f7E/-2id[@6 eҫ~_֞^:4)RgxA'$ġIv-lr)Ǘ4\T"y+VPZ 5G;&Wqq lLscgҽ=)PR^z1f _rʝ棏zbtkZdCNWEݗ^N1Kaz#tDu.&>Bڽiا##yR|#S{`tGw? m{f + /R;Ta(/yE + ~e?ŷib>%$'G[;͖Ҧeֱ 9< H#mtong0壂3m*?g|s,64f$̌ ҳ~ɬ{ ia٠k܆n㝘S>Q7RNшD d97bXd;u*e! !8ˣ_2¨N5ӇxO$Ы^&wp,F;GakB,)(yy,ƭ[)1K$A"V ) a5鈯`M^]72rfm1R'd5 ZEtuϐ'nAnGwG :7+sH.)ޯ ݥ~]3m^`4"2t?Ԭ'r~G0ϸ :|S&Jc/Pclj]P%'4߆sajOG=!5cEzl1ras477ō`1C*ncoqsJ0zեo78t78A'wLi=y?dbq lA 9\0smW=˰f9l@#$('";]YO:)q1m>?[0[PNè)۩ǂF8t2|\*.%Bz"K0~Gg} {QK`׻XRF* 6oh}C' 6~ *Iklgshmuwf_\R<~~KLG{gc]^5'W/3[goࡊCJsƷ(,g^7 M|P wQBI;4WrFR'Yu5Nӟ. OȘAƅd{'$C!MLd.̸"<%QM~EBS /1oCD!L1 GaڛܺS3=1%d?U ܼT ItoV3 ZFӆ +opl+n%{Ŋo`5poJ:,:J[(q>7T< ʜ 2GuL9H V!EoA6S\޿x_A)Ίc:K ykNN&%[?PV(DW ߸,Meu >cdOwL+ԀS.z%W8Hmà$«BYM-FT׀&fSZؾOg}]6>ᅓE**P+^#-~퉅#MtG?qJ̋),oڦ9'%O8Rd3Id0蜖I_lU2, HK0= YirW1@21lO1>#C!SS2JӌB?C&Zc)k+6Q Rh*" ͺm"0T gMD?psK[4giAz9ʻ"8?vn3:x~bt?-(1j3\p |#vxq68@ Gl({2 qԖLO =bNRƖb:R$Ht<ɵb&wĥ.ri{*$sYyXSf(^-1 ,y"rY|L{Lۖmb!&'[6I!;\yZkB#OʤL~f;lcAhw QkRHSyf/:Ÿ$%"MROGҺt,/5]۫M: Fn 3fT4heTi[q̏Io|pIRܵA1 9A6&uo>2wۼr"$N gܛe~fl9XP8Qy+xg );1 Ӑ*P"3WdUj"sd) TʅD! JS;ӌ;g|ۏxxz5Kŷ -@:}5qrk/Oh5,ӎSHpKb{Ql"SG{>ji}fҤz!--1 )y'$OB' Gu<'-l_l3D2Z2 K==^/IJ? -C3VBwsY(U#z.[X>tagx/ZiuV77Vg9 FGf=8,;B:E^'TFMPCq*nu-\ԥAm([a 27W΁TF沇%\ԡmnQʏ)jG}{36Yu"5nEUBH}򥽳ў h& }$]G{@[.&\HԼ(+g7y}`v֣U Һnx&mrh ӈk+$)HImd5=ki"c|F|u0dsd jST<}rI%RMN}8 s^c%ܔ9x}i"jfuqBq=hB )ƏQz•_!s44N!p9BS!9{v{2kJ7}Q*,02𫃪%Uø_?nP $u汙ՃL{7d^4nZ=pCPr*)K7vħ_[,aW`-#[sUX`_0t#ގ} `өrk/@BgonUM-bT[գMbQ9'a|Е' 8|O:\0~^LMYq\ Ud.)7vS|]%k.)2o)zp l /[Ta+yt~VZ]D뙸kX,WD7u\T+hҗη(3V+g1}ɣk2ZS2ƦvaMoR3-o5Voe=P8: #5a&Pu s*_T d y B0ViIEi"4<|N^@M!BV:U?jZb֥11~+1.1g8/X7ċ}m!Y;B~:t8E?^^)o}xyWE]Ґ#ȕ:Ԗ9ąKKLk,P(&{{Da㍁?W"ffyN%6Rh}#2Su!CLM}&u"W\IS@B7dwm)qixn?,Ҟ"Д p{Zp^?fe  ƣɁͼ"QɳeY g:X}&$LToiC4p_>xJKRjl4˭ob,hH~hGeUvTG,+ Y<.WF$R /[tBrda63:6%¼pִDۦ*٢~|գ@̸kϧU)wNU$Giގ ˀNI0G),hY1pe&*{6^f3_)ƫET,!P{E@i`o"t pl3/kjbso`6=9 Ji?ߪJ3ac Nj Cb7v,a㓒ylV/qZiG 6|eiB_V\x;vK]NC,v,rZWX#XIr ZN#0lBWq^،H@@S!1=B5$R|JYlJ5-n3y^;@L cm@rC]([|};+P.)qӡ8暓 dBn t ;h"M~R4.2ً-4-/3&]6n dDžYE&  (R"gDZOƑr3ׯi!=23aq:dKUjv$9q NJ`7P@t4ʽԨ{>po)[}zJl،C`Qه$x &D&S FJ`0U^`jYu TdI({y~uq}BŪR="xEUe3!OkV4:„ @w͝r14B!ōdZu8urt#ʄu ?>lV}r'fwhѰI869DnyuRQZw3E~87UԄqiĬ1y:R,N$%0N`k6J_c/jKUl&,!EB}6v%rR t>єo(W>cДǬw1S7eQ-߷R W,3bkVP4U)ܚ58=S{dLz\="2Wa'r+p`+)˼GZYE` !coL01q!X+0^/=]2j)~BxDy5<<ْpBq[loA)ؕaRM`-NBOMH;T]:n)qdιḰMu`6VRpr{c)HVL{B)_["fo\;gYR*xԃ5Q$|7r_ƫ;fTA:ǚ~r-?t\)Du M}e{dbMaV.?9Ytdֶ/!h M3;UF59k}'X[ܰN\m88RM7-2?tɈˌ]9 A i~%(25 QESi\ӈM&0YžDa$Iټ%$hZI½D/5W0gXH=ikܰJW4ȌUkcّ?߇ MPU V6Ex ܛTߕORѿS0/UhJ/P\\`9~wq]䔿=[]QCC"`!dꖆڂRS2A=ʶpY= hjE (E+j&tb[Mwc=vn73tE7K(?gv?ϑ!PZaj&*Ùсxp%q8L'eρhX܌n3U)%AqNM?>F8+TյĝT4Pt.L̪Mٖ*AV24D0xAFP$]^O7A&Q=q~֖ZcHw_܍6_`y▁Vˣ'Q:-F?%sLv<b9$Α@g]Յ~ "e듘CWLUɾ2룠`/8iE`A׻ 7^X5hVH:Q~S-k@iane#URPJ<(0.d-DWǭ}BEcS9]EM:0fZM3m·u7ϸAUڬPu!b/Os Sdp*/gQĈxq:-(t\rr.Hgþhcr0"bpg/gߎQB墁n,*R% S+&,PJXæ4c8b*:s?fD[QTWk%2N):  8>VJ"KaprGj0. PI?/9Ot.L=ħ d8 OV%lی&֘6q3%:2 +Z;PU3inWne 6>y"҉/D[ɔOHCx/[xC4[Ue끑Ibԕs mi0[2r mAzɻXJdF&1 đa-`~_ZDq0{p;]DsU dȅpWl*=Rby#CKT"sl ݠE>Ĭ0dB,*/q'5 {:;'x8_mҍzY913lxb*+8FFuvP{帣Z ѧNH,JYGi9Q*w $4 YbEi[&X+%1`ޔM"b+ w嶈^!pr}&]ʨ/BPc6FQN+ GG=J%eԘy`h@4]Q@OɌRYF7ZqJ&'@qꉋ$d*XFKf)CsJ_S /5!˥-[}_Fn$ЉyMo wb}IJ|OW;\@lY}_lNwmvXB?Ip XL&a~#q l!U mLP }Vj_f Rs :bO'(itqލ!pWn%Mo:a ?D.&p?6vYoS-xq-;Gd,['  &IKbu8AKw;zw* Y*g”,hO?MAT|3AM)~&o?lcN+!Ee޽X4MTRzRSRry+N?G6X~!)lX-<Ă|S_*~8sHnUO\@#Ԋ֍ʉdgYZ7zXZִF! _A]ŗXi%n8G~gqndް1(T9 JŶ8쩪!J49DIͲw{hK'QR^ؼfƣGz =Tq} &܆-Nu.XPǍvYiJ#)'Z iHV] H9vyue4hn _3eÍE,!;8) jca߹w su_;P\KM߳gs֞gTY+K1R{\J f4;re>ӳr _eڭ9{'$xLh߇zsI?;A\D2VYt'!Ġ@1;,,*XᥨDzhoB:&msKuxQ|WI=G/;3b~1ƩŀX\\K6̆Ar]* Í5M܋Wz{6iQaϮ5{_,#>I3 /p)h6Qh`3&s/rn㝈s|F;ȻTy*/nX-16^Z<d f) [{KMY4pl`K5"jLR៺~IQ5Xi tg/!=g0#ӺduPt(RXBn$o"0Go'OtU/C% ]Œh"XWʇ]k)I$XŒȈT27DII)+z7UnHviȹfT o;a+\ߎu}@fmU%Ie#)r^g|Y,p4(_WGo) `vo8Plyȼ@RUN-[v'CqC(l@HQG> fJ` jc1Q#nꇙԩTC" ÷)R;ڛ| ӯFDz$(X/^d6r]II9r?Փj0\XqQE!E݀?6nHxM4iq~9ZvvboROgRS@<;`ҥL+ׂ!}nb c$kUw*6t$fC?dMH ̬qOs`̪6MUhb؜su_焮 2?jS׏x' Bxx?As}*GW B,DئE )eƒ⳹Ar*㕑Uv/zܵe'HX}cbA8IALiٰ~yN*h\u^^m'ܦAkԃ>[FI YKq:uw.]1AaIO y^JN]x6lHd1w/qZ4QB0-!a5%^(hXiLtm@:0i-ì.q(w?gg,ά@WqCE.Ix"J]I c !U!dĕC48+SQIET:Dž +!2JMΟ +sG1@{{)޷J@L''iC='yUr'W~RM6/ݤ5 5 Z>驮6>ɇNʛa`옃 `x1`QΆt$pOjs]뻒h[}MdA왩L@[ԟ1mb'7 *P%N]He; AI+ }8gzJh{y!wdu )C@ ,#hՓfI=z8 `n9<^g+f1\j3!:?[WXPLO6@G:)t,B;M2,%\p ~G.1 >[h|݈¹}:B_䞮x*稆DٴŸűM hiZ5]%#ܑKil[m`+=aA}9lJ"'B\ͩ!$/9I\8op)̂iAs)^qUϗԒ|/,HI5g!2/r"DVUsIңاa5l 'Li s׶ů%08坞/mn_ k/k.<?_̴",xl\fhFDoQ JFel& I|;{!Ȏ4m %k >ӹ򆋩tÎH סBɖuatL- ˬ|j2.LFa*yhv t}@WOpm3U>]otǀ>9gY y*sv8 T&"A^F21QDC{aRWF4wp'Y(7_#zw83ZG2!W@ :h- O(_2[wR&Lî >G)O&z<{}6&+ZIzpo ]X)6%E(E[hblSoւCŦf@+WB ]Yjej#$#HZ,rJyDW{+C%r\\#}V=0], (WrMtP3lDfA¬7^%6iW ua2ޯa.aPq8Wt"5a7DfX&.:COWfmn;,|p8yUmY{إ tP@TU;szfو9&%%`?TȈ ߪS4G`6J']gmC-Z [hXI[]׆fХ4T*%:v=CCVI5Lb ;= zS5Va|.}l\)S.{/"A\Ҹr!gT2G*S!6%(U6/`k̖{8j7@9%WU:J{=Ə9HGx׼gŀsȗnL!,t7DBj Pܽfc)3#D%2$c3Ѳy qԨSj:rd^! '~ta;I͗qzFvBgr;6%o}C =24ZS)S~fݗ!e=J8Q2ګZEe s㯁>[#Ny5Cw3jR6&&Nڍ~'zroA8ؓЦeC (?:V aj1z `Q~^d+ ^,G@ vr% :UMtu-4Ar*MO,?"H+̉ W<Uk1~2 ʬfY%Zh@s0|ː]Zd]giB9HSkjl~ԫI}i\ǧ"E6K ^]z>p 9Τ~`0;@(u";-\V5 7t(Sr*,TO.yI#-ԑv:RkC1 XfPGD}!UCKv71Ocat>G`$-6!ID.|g E\[&`LMhb~Lkw 䜽fdA$mtT J$Ԛsb>(rzuuR'~<[MG$b^ImMo1IWeokK$k8`Q?_MT'+IrI-"9~s=2jkB(NЙInXF_60u3?GxuiPdtE%H~MZoW/"%j ~]HJw\NLswY[rz2 &ySr]\\acj6d#R5gDM"e7&ÜuD68ul-N^I-]>,id#kN :TDZyZ߿>tKYeVt: C(0g {1i=\<RoXrCMlG&سBFr?{kf;cA޼4K&7VjO.X33n>٫*i~qכeEGv7a>pO7nqM؍mX!)d@!wľcl3#9 V܋F0/Uu}Wr$cU㻩}rΪXgNU4q@#Ƀj''6jd!IY%s.مhI$6&-d½OQ3RcWzIro'ak/nH4N#DՏy4vJUDzs X)w+RKPsp 5#ѿL1Ÿ "5ghpk/Q(Xʧ)g|ȅ1Zb&t z+)>QCRQɷ a[L7hb2Wi" fWe}$[$wr`il DaD.[ @L=Tu<%p&Tt2'}/{Yy2Dy$xb@F~a()f|qtSfb;tAˬ ;Lpy 辰H`f '[˜>J [3-ldF.۞K U9M 4aF̠k?z5_Ry#PoY13kzRp L**<^B9A!{*FyRzw+E* lˑ40 ۘ|a5WM#zŁbqĻXdze]H Ugv)GsV\𱸛 !^^%:֐z55$eC$U L'-/_i>= є|-pgѾ2p|'#xe7OtJn*{GJ&)^*4sSu+:4"Zz5AB!?SQR{T4Nw3|Ђ"G1\g7c\{SY^i#QU["O$^2^ [cDu>-H`C0<5|JO7ȤÙ ,ehlr"Ln`/`KZ {P5^ԞwZCŪI;gC ++$kg礎~օ/IY8-iL0JGR֒ #oݢ=a˱ ] I[Zatzmy`bֈEQ ry )р[+~>N*ynZTZ@:^~[ӫx[8[Fm[Cퟬ79~&d i}o~({ICCQRN173vs{aC-vזXjJ%n,M8v? ߶V`L0}Lt$m9=^t8n3Vj:9q;-blPFk&voz@TC"a@L#ǫ}-Hli0v5 JQbKdUy/MF cKlS2늽/dsT~hmkbO^"'e?c>'|bSO@F\)KƎ+rNxr O Xq]L?53Z+V<:|Zv PeQ=rMI9'"=e3y{knvTpJv(JۨT]l)g7k)Z+:vV-;AyJIIQjD#&`xg{0j+EtC 81{V #s#ʯ&J5a>o*@ZB0 Ǧ!Nz} ;$b%\޾(dSagLTs*fP5spiJvC?\Ї%$V^;"b]3xo\9p8zvKG"؏Ēu6׎[v8ʘT5GY@F6{_Fv*" РPɭ߇D9(Ll ^}&񙊏nYŤ!T m׬6WY|ԗ35*FG9qם+iCWa;hMmxz7UŐ9}7I 9h0ۼIr '@-3 h&nRaM=#WL CX!p8Q?5`8@Rz}ƟH9}ݳroݫf vuTio-A_nq )ltyDjAN[HXQ~.DijqMPxWu4mG 5 bEfWb{N #]xW9J1~cQ#l^ݩ4Ri⩬/0yb:]z%'c֕nAwX ya$pYpŒ+T S-Z|*@$z 69{D Tٕ(gؽQ))\yI~%[0Q0 N!gEqBщAX@c&R `_G:p VoL]7e;Ol0zܲ U᳜!pvƀpKC:1e?{}c-[ htnIp)\BA6n;k/,ل9J ݉L7V\Ug>yjwѭD1-P΅8 },z  j**΂Tnho͞ac%Ŷh.6_0ZZy;~ K4V%\a/ sS ûGmS6o 2eщ=3&7#g,byǀv:DA? o`kHҋf  gi g$K/AzwÙ҂u 9YwiS5?uQ9?E-R@u oOQ;eT^m;': ne54C+f  1f?9c@:[rnÕ>%+ ѿu!y8c+[FST 4'P@%N@2y;)LLNt)|xp>s`Gox Űܢk ?'X0}AQRf7Ӻo޺7pekbԛ"clWMxLW}fW`@}v ARyO Ǧ]PG>fIqbrR8BI Ho3饷620^` >W w`zr]h__*'\\,ۥ;@uM O2`%v+!8 R62 2l'=) BVT x- /UZ>l}1')>F;\"BYJ]+PGdZ†6"H n Jŋ/ZUIhd/HUV;|뢱Eţ/ s5Ϻ 4A٦>ҶkG^\'3˘16:,8vkUX h!WT2oi^-%-PaM%=ja a$asa ׵Oɉ}$|r(1S'v9jY.꺳QX x*xoq;1"ΙR`QJ^}k͇a:i7]>%M4 v}e3ugџshlCVR︫uMtXnbNq3FgFZ7YWAk#F!;V!ѧh&[~9zcp]e !W,aH<6.2@B Kޓ1:b 2HO /D/3WY6̐lY2|kϿ qBV-Q@mw܅[Jɖ;ϵQSs"ࣣGFoc'p?~M̳D4l2W.L;$(YS4pA1wNEc`>C.oExO>C&YlWi+nl]zjv"M\=?Ӧ1 S_[]/fίnIS徱^p^ `\"W&:;/Rc9i 8yBg(>$*znSx^AL{/Uˏ0zg2LƉ`QL:hBb`,~#[Xy |43qM΂Rd^å#vggj s?7#yo}Nܦ!̾:Sͥ,o@Tx-wɕ HКWdή{!ELۥ(@0ꋯV3`@yّxN'fBqNmnwY{#PHGڷ sM);u3v˱?Ӡ_:j 49o`!+kȷ0Tƶv&U\n)k$=֖D,^L$kSaC}#1PrH PbJPKu{sgd~nns=i;t0;j-Vo/A{.ب* "ȇ !O&h5XQD搼V-Tq; ?q"_ݮ.kFzSHCѤR^/@CY3Ğa=ۏw`Z*DSD8* kq dMԛ.⑒tYCy!&~h[qxMZ2GBNc׹G" ǒHUʢ#xϻQE7ޡe=Elv*ŮXEeH r S%#4 ה-+jp4IUFO Dd@?b`9 ҇\l- SgxqZW;Ƙ0n Xug\%*5;eZc 9CRj=Bv>gA[tZr,D4iðar/%~eahsa<@ 3GQqi0w7&ӕ'L}:,'"S/f{jbqC열wEBkz~ȴ};uB 77@QOGG:2NYg@ʸVf Xę9\j2<^Srځ Ƈ;sF}GySGآ\&[p\ U)(פ7RV-3Ґpv۶_>se\|(!e,:)FXf dXWL]0v* 8/($c`h/T #/i< .(= MXU fV\SPCeK\WC7VItIx13 If߬#w~Ĉ>Ś A1Hj4EP{OC[ T(u^T¾bX|y/")&|QUv^)at~2Lpe,KގCMP$x,oÁ:7lGsK?W7Jgέoj@G~s)TB9%TUaU"P jHlg@p^xpۺ޴ v~ag}tqnƲXK1l-16a;;Uָ: 0#q{|T*߇& *)ojWqȮjXiJV(M@송!R~5$ڞOG~_^*qP2z5e}ӗg@ܞ,h0>>(_cܙ\3J>͊Vd;˒ .(Chs!#57cLܿҐmG'ºtIRa8 WSsWQI7 ;\5@4\)9#{3S!T,s"(R*np|Ox`1WpˌcU-]$q6/{W/{CoL%SgwĎY&{jdh2 Exa[g:ﵚ^>k}2ڢUmZЄTa=xh9dVp6t dYL 5R # \[ⴥ3 \hCP109OkHq'9I/("+K9[}0޵r74ykƾ>Y{G_֩aM}r7jЛHhv+PK7\d.S2.D~Q4n_D[Djm=N*)eƬe$? }h ( `I+?,B/G(ŅnSJPQv6MyťZ=g{oW;͹a (b`3c cI/N.e̕Ma :$io1!Woѫ7̴ٓ/D]3JS'm*#;7Ľ/JћΝl^{J+H|ɕ_h$f2zFAFI!M o`C*iXdyΠxʤOAÍ"GQ Tƺ%^0) Qt׸qqG1 o]˔/&q<]8Jk57Uzn/H~ v/k30#ipCzɨyQs:d~5#WUZ VW iNNCWiGDrr\rcì{˗,)od{geyၤYpFESV[2ѓjܿ.6Qg7pV(ix3~!($teuGLF¢riWJSzfX@6z3Oxmf< 3pnq+rm ) :Zd%#c$"y{ĞK!J9K-Q= -Kg!2 U C4+ g rgc*9hJ |k$Zrc*(e<_%xMP5(ɞෳO곴{eN5~ĖEtk1pc;zi:eI4a|)Wls~IjY$7QZ%u1&J_"֤".m j~hDŽà@hgo`S >@Q;FBjEecuLnb ZY$:(o궗'CN®!AFrICXA'=KԵ ^#1JʏaoojsdD$b^^z;.N::i4Jp a.6LBr ZAZq[sepm\5Nj)/e. ioO΢xH82zC(fqpZ5]HKXCveCEo"ک^r3lt9?>\aQa軱=*-~?Í/JIWl9!)q$9mEOsc;c2eZ7CIeɻ^`4!Tɳji;jΩEQ~LsBU Gλ |EV e(^ȱ^Ϳ6{;b=BYȫqߦ,J.ۇf1ԝ5